Investigations on Automata and Languages over a Unary Alphabet Giovanni Pighizzini Dipartimento di Informatica Università degli Studi di Milano, Italy

Source URL: pighizzini.di.unimi.it

• Applied mathematics
• Automata theory
• Algebraic structures
• Computational complexity theory
• Unary language
• Nested word
• Formal languages
• Mathematics
• Theoretical computer science

Nested virtualization: shadow turtles Orit Wasserman Red Hat KVM forum 2013

Source URL: www.linux-kvm.org

Path resolution for recursive nested modules is undecidable Keiko Nakata1 ,3 and Jacques Garrigue2 1 2

Source URL: www.kurims.kyoto-u.ac.jp

“Nested system functions”

Source URL: www-edc.eng.cam.ac.uk

• Function
• Structural functionalism
• Science
• System
• Mathematics
• Functions and mappings
• Systems science

Pre‐press draft. Article published as:    Crilly, N. (2013). Function propagation through nested systems. Design  Studies, 34(2), 216–242. doi:j.destud   

Source URL: www-edc.eng.cam.ac.uk

AnGeo Comm., 33, 719–724, 2015 www.ann-geophys.netdoi:angeocom © Author(sCC Attribution 3.0 License. Electron-scale nested quadrupole Hall field in Cluster observations

Source URL: www.ann-geophys.net

• Space plasmas
• Planetary science
• Magnetic reconnection
• Magnetism
• Magnetosphere
• Quadrupole
• Magnetohydrodynamics
• Magnetic field
• Magnet
• Physics
• Electromagnetism
• Plasma physics

Contamination Prevention and Decontamination Purpose ® FilmArray is an automated in vitro diagnostic (IVD) system that utilizes nested

Source URL: www.biofiredefense.com

Nested Virtualization Friendly KVM Sheng Yang, Qing He, Eddie Dong Software & Services Group 1

Source URL: www.linux-kvm.org

• Hardware virtualization
• Programming language implementation
• Hyper-V
• Virtualization
• Xen
• VM
• Extended Page Table
• Hardware-assisted virtualization
• System software
• Software
• Virtual machines

Forest Carbon Asia Brief No. 6 Methods and Standards Updates February- April 2012 Scaling up standards beyond the Project level: Programmatic, Jurisdictional and Nested Approaches Unna Chokkalingam and S. Anuradha Vannia

Source URL: www.forestcarbonasia.org

• Climate change
• Forestry
• Emissions reduction
• Climate change mitigation
• Reducing Emissions from Deforestation and Forest Degradation
• Climate
• Community & Biodiversity Alliance
• Carbon offset
• Clean Development Mechanism
• UN-REDD
• Environment
• Carbon finance
• Climate change policy

Automata and Logics for Concurrent Systems: Realizability and Verification Habilitation Thesis Mémoire d’Habilitation à Diriger des Recherches submitted by

Source URL: www.lsv.ens-cachan.fr

• Computer science
• Finite-state machine
• Model checking
• Formal verification
• Nested word
• Formal methods
• Automata-based programming
• Automata theory
• Theoretical computer science
• Applied mathematics