Nordic Journal of Computing On the Expressive Power of Polyadic Synchronisation in π-calculus∗ Marco Carbone BRICS†

Source URL: www.doc.ic.ac.uk

• Process calculi
• Mathematics
• Theoretical computer science
• Logic
• -calculus
• Computability theory
• Number theory
• Process calculus
• Join-calculus
• Lambda calculus
• Distribution
• Substitution

Building Power Consumption Models from Executable Timed I/O Automata Specifications ∗ Benoît Barbot , Marta Kwiatkowska, Alexandru Mereacre and Nicola Paoletti Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

Automated Vulnerability Analysis of AC State Estimation under Constrained False Data Injection in Electric Power Systems Sicun Gao1 , Le Xie2 , Armando Solar-Lezama1 , Dimitrios Serpanos3 , and Howard Shrobe1 Abstract—

Source URL: scungao.github.io

• Mathematics
• Electromagnetism
• Electric power
• Electrical engineering
• Power engineering
• Power-flow study
• Parameter
• Variable

DOC Document

Source URL: power.itp.ac.cn

DOC Document

Source URL: power.itp.ac.cn

DOC Document

Source URL: power.itp.ac.cn

DOC Document

Source URL: power.itp.ac.cn

1500 Watts continuous power 3000 Watts peak power. 3 Grounded AC outlets Powers up three or more household appliances. 2.1A USB port

Source URL: pdf.donrowe.com

Introduction to Statistics with GraphPad Prism 7 Outline of the course • Power analysis with G*Power

Source URL: www.bioinformatics.babraham.ac.uk

Concentrated Solar Power and Thermal Storage Nick Jelley 2 June 2015

Source URL: www.energy.ox.ac.uk