128 results on '"Larsen, Peter A."'
Search Results
2. Complications following surgical treatment of patella fractures - a systematic review and proportional meta-analysis
3. High risk of complications following surgical treatment of patella fractures — a cross-sectional study of 798 patients with mean 6.4 years follow-up
4. National population-based reference data for the Hip Disability and Osteoarthritis Outcome Score (HOOS)
5. Clinical, functional, and patient-reported outcome of traumatic knee dislocations: a retrospective cohort study of 75 patients with 6.5-year follow-up
6. Satisfactory outcome following arthroscopic fixation of tibial intercondylar eminence fractures in children and adolescents using bioabsorbable nails
7. Results following prolonged recovery show satisfactory functional and patient-reported outcome after intramedullary nailing of a tibial shaft fracture: a prospective 5-year follow-up cohort study
8. Enabling continuous integration in a formal methods setting
9. Tibial plateau fractures are associated with a long-term increased risk of mortality: a matched cohort study of 7950 patients
10. Comparison of nuclear imaging techniques and volumetric imaging for the prediction of postoperative mortality and liver failure in patients undergoing localized liver-directed treatments: a systematic review
11. High mortality following distal femur fractures: a cohort study including three hundred and two distal femur fractures
12. Forensic 3D documentation of skin injuries using photogrammetry: photographs vs video and manual vs automatic measurements
13. From Embedded to Cyber-Physical Systems: Challenges and Future Directions
14. Co-model Structuring and Design Patterns
15. Support for Co-modelling and Co-simulation: The Crescendo Tool
16. Semantics of Co-simulation
17. Deploying Co-modelling in Commercial Practice
18. Industrial Application of Co-modelling and Co-simulation Technology
19. Discrete-Event Modelling in VDM
20. Nuclear imaging methods for the prediction of postoperative morbidity and mortality in patients undergoing localized, liver-directed treatments: a systematic review
21. Automated translation of VDM to JML-annotated Java
22. Population-based epidemiology and incidence of distal femur fractures
23. Collaborative Systems of Systems Need Collaborative Design
24. Contracts in CML
25. One-year development of QOL following orthopaedic polytrauma: a prospective observational cohort study of 53 patients
26. Decreased QOL and muscle strength are persistent 1 year after intramedullary nailing of a tibial shaft fracture: a prospective 1-year follow-up cohort study
27. Carbon Sequestration
28. Industrial Deployment of Formal Methods: Trends and Challenges
29. Combining VDM with Executable Code
30. A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM
31. Proof Obligation Generation and Discharging for Recursive Definitions in VDM
32. Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
33. Connecting UML and VDM++ with Open Tool Support
34. Using Gene Expression Modeling to Determine Biological Relevance of Putative Regulatory Networks
35. Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM
36. Incorporating Knowledge of Topology Improves Reconstruction of Interaction Networks from Microarray Data
37. Incorporating Literature Knowledge in Bayesian Network for Inferring Gene Networks with Gene Expression Data
38. Balancing Insight and Effort: The Industrial Uptake of Formal Methods
39. Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
40. A mouse model of the 15q13.3 microdeletion syndrome shows prefrontal neurophysiological dysfunctions and attentional impairment
41. The IFAD VDM Tools : Lightweight Formal Methods
42. A Lightweight Approach to Formal Methods
43. PICGAL: Practical use of formal specification to develop a complex critical system
44. Combining VDM-SL specifications with C++ code
45. Evaluation of underdetermined explicit definitions
46. Statistical Tools for Study Design: Replication
47. An executable subset of Meta-IV with loose specification
48. Contracts in CML
49. Combining VDM with Executable Code
50. A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.