Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop

Source URL: cgi.csc.liv.ac.uk

• Artificial intelligence
• Multi-agent systems
• Modeling and simulation
• Systems science
• Agent-based model
• Artificial life
• Complex systems theory
• Model checking
• Temporal logic
• Intelligent agent
• Sociology

Composer Best Practices 2018 Nils Adermann @naderman Private Packagist

Source URL: naderman.de

• System software
• Software
• Free software
• Composer
• Npm
• Adermann
• Rsync
• Aderman

Synthesis and verification of self-aware systems Radu Calinescu, Marco Autili, Javier C´amara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska

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

• Computing
• Electronic engineering
• Theoretical computer science
• Electronic design automation
• Service choreography
• Formal verification
• Orchestration
• Autonomic computing
• Transition
• Business Process Execution Language
• High-level synthesis
• Systems engineering

composer.lock demystified Nils Adermann @naderman Private Packagist https://packagist.com

Source URL: naderman.de

• Software
• Computer programming
• Free software
• Composer
• Giraffe
• Git

Developing and Deploying Magento with Composer: Best Practices Nils Adermann - @naderman -

Source URL: naderman.de

• Software
• Computing
• Project management software
• Version control
• Community websites
• Composer
• GitHub
• Magento
• Bitbucket
• Package manager
• R
• Git

Protokoll der Fachschaftssitzung ETiT und MEC Protokollant Daniel S., Max K., Viktor W. Anwesend Jenny L, Viktor W, Daniel S, Max K, Chris K, Eike M, Felix (iST), Lucas B, Julia B, Florian W, Richard W, Fabian M, Nils R,

Source URL: www.fs-etit.de

where .com meets .org Open Source events since 1996 Nils Magnus: Docker Security Nils Magnus, LinuxTag Association

Source URL: gotocon.com

1 EIN POS-TAGGER FÜR „DAS” MITTELHOCHDEUTSCHE1 Nora Echelmeyer (), Nils Reiter (), Sarah Schulz (), Universität S

Source URL: elib.uni-stuttgart.de

Protokoll der Fachschaftssitzung ETiT und MEC Protokollant Julian B. Anwesend Ruben M., Teo S., David R., Viktor W., Julian B., Lucas B., Richard W., Daniel S., Max K., Dustin R., Chris K. , Florian W., Ralf M., Nils R.

Source URL: www.fs-etit.de

PUBLIC HYGIENE Nils Hansen Elias Monzón BA

Source URL: www.industrialdesign.lth.se