83 results on '"French, Tim"'
Search Results
2. Finding an optimised infrastructure for electricity distribution networks in rural areas - A comparison of different approaches
3. Testing for homologous recombination repair or homologous recombination deficiency for poly (ADP-ribose) polymerase inhibitors: A current perspective
4. Positive Announcements
5. Digitalization and reasoning over engineering textual data stored in spreadsheet tables
6. Teaching safety in design in large classes using VR
7. Sublogics of a branching time logic of robustness
8. Implicit, explicit and speculative knowledge
9. The Expressivity of Quantified Group Announcements.
10. Synthesis for continuous time
11. Refinement modal logic
12. Semantics for Knowledge and Change of Awareness
13. An ontology for maintenance procedure documentation.
14. Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
15. On the succinctness of some modal logics
16. Preparing Computing Students for Culturally Diverse E-Mediated IT Projects
17. Exploring the Synergies between the Object Oriented Paradigm and Mathematics: A Java Led Approach
18. Reprint of a process model for developing usable cross-cultural websites
19. New test case prioritization strategies for regression testing of web applications
20. On principal component analysis for high-dimensional XCSR
21. On XCSR for electronic fraud detection
22. The impact of germline mutations on targeted therapy
23. Homologous Recombination Deficiency: Concepts, Definitions, and Assays.
24. QUANTIFYING OVER BOOLEAN ANNOUNCEMENTS.
25. Automatic extraction of angiogenesis bioprocess from text
26. A process model for developing usable cross-cultural websites
27. Subtypes of primary colorectal tumors correlate with response to targeted treatment in colorectal cell lines
28. The diagnostic landscape of HRD testing based on cross-sectional survey of physicians and molecular biologists conducting testing (INDICATOR ONE).
29. Modelling Systems over General Linear Time.
30. A complete axiomatization of a temporal logic with obligation and robustness.
31. Learning Time Delay Mealy Machines From Programmable Logic Controllers.
32. Characterization of FGFR1 Locus in sqNSCLC Reveals a Broad and Heterogeneous Amplicon.
33. Expressiveness and succinctness of a logic of robustness.
34. Complexity of Model Checking over General Linear Time.
35. An Algebraic System of Temporal Structures.
36. Online learning classifiers in dynamic environments with incomplete feedback.
37. Culture and e-Culture through a semiotic lens: E-banking localization.
38. How far can automatic translation engines be used as a tool for stylistic analysis?
39. Towards a Context-Aware and Adaptable Room System for Intelligent "Trusted" Office-Spaces in Smart Cities.
40. Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL.
41. A Two-Level Prioritization Approach for Regression Testing of Web Applications.
42. Awareness and Forgetting of Facts and Agents.
43. The DarkWeb: Cyber-Security Intelligence Gathering Opportunities, Risks and Rewards.
44. Semantics for Knowledge and Change of Awareness.
45. Trust Issues on Crowd-Sourcing Methods for Urban Environmental Monitoring.
46. Modelling Self-Led Trust Value Management in Grid and Service Oriented Infrastructures: A Graph Theoretic Social Network Mediated Approach.
47. Integrating the Semiotic into UML via Enhancing and Cross-Validating Use Case with an Enriched Domain Model.
48. Identification of Biomarkers in Human Head and Neck Tumor Cell Lines That Predict For In Vitro Sensitivity to Gefitinib.
49. Virtual Organisational Trust Requirements: Can Semiotics Help Fill The Trust Gap?
50. Exploring the synergies between the object oriented paradigm and mathematics: a Java led approach.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.