Search

Your search keyword '"Larsen, Peter A."' showing total 679 results

Search Constraints

Start Over You searched for: Author "Larsen, Peter A." Remove constraint Author: "Larsen, Peter A." Publication Year Range Last 3 years Remove constraint Publication Year Range: Last 3 years
679 results on '"Larsen, Peter A."'

Search Results

1. Weather effects on the lifecycle of U.S. Department of Defense equipment replacement (WELDER)

2. Phase Transitions in Quantum Many-Body Scars

3. Power Outage Economics Tool: A Prototype for the Commonwealth Edison Service Territory

7. The importance of capturing power system operational details in resource adequacy assessments

8. A Guide for Improved Resource Adequacy Assessments in Evolving Power Systems: Institutional and Technical Dimensions

11. State of the Art Report: Verified Computation

14. Future Directions and Challenges

16. Realising Digital Twins

17. System Monitoring through a Digital Twin

18. Modelling for Digital Twins

20. Advanced Digital Twin Services

23. The Value of Sharing and Consolidating Critical Community, Electricity, and Natural Hazard Information

25. Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users

26. Model-Based Monitoring and State Estimation for Digital Twins: The Kalman Filter

27. Bidirectional UML Visualisation of VDM Models

28. Verification Technology for VDM: Craft and Automation

29. Towards the Composition of Digital Twins

30. VDM recursive functions in Isabelle/HOL

31. Modelling Chess in VDM++

32. Comparison between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins

33. Measuring the economic and societal value of reliability/resilience investments: case studies of islanded communities

36. A De Novo Whole Genome Assembly and Annotation of Parelaphostrongylus tenuis

37. Computational exfoliation of atomically thin 1D materials with application to Majorana bound states

39. The recovery of European freshwater biodiversity has come to a halt

41. The faunal Ponto-Caspianization of central and western European waterways

42. Constructing Neural Network-Based Models for Simulating Dynamical Systems

43. A Survey of Practical Formal Methods for Security

47. Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems

Catalog

Books, media, physical & digital resources