Search

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

Search Constraints

Start Over You searched for: Author "Larsen, Peter A." Remove constraint Author: "Larsen, Peter A."
8,827 results on '"Larsen, Peter A."'

Search Results

1. Phase Transitions in Quantum Many-Body Scars

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

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

4. 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

9. State of the Art Report: Verified Computation

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

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

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

14. Bidirectional UML Visualisation of VDM Models

15. VDM recursive functions in Isabelle/HOL

16. Modelling Chess in VDM++

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

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

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

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

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

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

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

30. A Survey of Practical Formal Methods for Security

31. The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions

38. The Incubator Case Study for Digital Twin Engineering

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

41. A hybrid approach to estimating the economic value of power system resilience

42. A framework to measure the technical, economic, and rate impacts of distributed solar, electric vehicles, and storage

44. U.S. ESCO Industry: Industry Size and Recent Market Trends

45. Implications of a regional resource adequacy program for utility integrated resource planning

46. A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems

47. Revisiting the Common Neighbour Analysis and the Centrosymmetry Parameter

48. Resolving pseudosymmetry in tetragonal ZrO2 using EBSD with a modified dictionary indexing approach

Catalog

Books, media, physical & digital resources