113 results on '"Mateescu, A"'
Search Results
2. A Study on the Correlation Between EEG Wave Patterns and Conscientiousness
3. Foundations of Molecular Genetics: From Major Genes to Genomics
4. Transnational Migration in Wallachia during the 1830s: A Difficult Road from Broader Themes to Micro-History
5. Understanding Leadership in Agile Software Development Teams: Who and How?
6. Beyond the ‘Last Man’ Narrative: Notes on Thomas Glavinicʼs Night Work (2008)
7. Internationale Wissenschaftskommunikation und Nationalsozialismus: Akademischer Austausch, Konferenzen und Reisen in Geistes- und Kulturwissenschaften 1933 bis 1945
8. Biochemical Conversion of Residual Biomass: An Approach to Fuel Gas and Green Fertilizers
9. Engagement und esoterische Kommunikation unterm Hakenkreuz: Am Beispiel des Hochland-Kreises
10. Automated Transition Coverage in Behavioural Conformance Testing
11. Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities
12. »Zwischenvölkische Aussprache«: Internationaler Austausch in wissenschaftlichen Zeitschriften 1933–1945
13. Risk Management Methods: FMEA and its Influence on Risk Handling Costs
14. Asynchronous Testing of Synchronous Components in GALS Systems
15. Hunting Superfluous Locks with Model Checking
16. Compositional Verification of Concurrent Systems by Combining Bisimulations
17. Reflections on Bernhard Steffen’s Physics of Software Tools
18. Comprehensive Overview of Biomethane Production Potential of Algal Biomass Cultivated in Wastewater
19. The Potential of Airborne LiDAR for Detection of New Archaeological Site in Romania
20. TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation
21. Enhancing Agile Team Collaboration Through the Use of Large Digital Multi-touch Cardwalls
22. The ContextAct@A4H Real-Life Dataset of Daily-Living Activities : Activity Recognition Using Model Checking
23. Improving Communication Efficiency of Hybrid UAV-WSN Systems
24. Dynamic Task Planning of Aerial Robotic Platforms for Ground Sensor Data Collection and Processing
25. On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators
26. Interactive Digital Cardwalls for Agile Software Development
27. Assessment of Left Ventricular Systolic and Diastolic Function by Echocardiography
28. Organizational Culture and Innovation: An Industrial Case Study
29. GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems
30. Imaging of Neuroendocrine Tumors and Challenges in Response Evaluation for Targeted Therapies
31. Verification of EB3 Specifications Using CADP
32. PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
33. Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits
34. Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems
35. In Vivo Assessment of Oxygen Consumption via Deuterium Magnetic Resonance
36. Property-Dependent Reductions for the Modal Mu-Calculus
37. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
38. Ten Years of Performance Evaluation for Concurrent Systems Using CADP
39. Translating Pi-Calculus into LOTOS NT
40. A Study of Shared-Memory Mutual Exclusion Protocols Using CADP
41. Fair and Associative Infinite Trajectories
42. Specificity of Romanian Black Sea Coast Changes Under Climate and Human Impact
43. Partial Order Reductions Using Compositional Confluence Detection
44. Approximation of Event Probabilities in Noisy Cellular Processes
45. Sliding Window Abstraction for Infinite Markov Chains
46. Hierarchical Adaptive State Space Caching Based on Level Sampling
47. Formal Modeling and Discrete-Time Analysis of BPEL Web Services
48. AND/OR Multi-valued Decision Diagrams for Constraint Networks
49. Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
50. A Model Checking Language for Concurrent Value-Passing Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.