Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments Adina Aniculaesei Daniel Arnsberger

Source URL: www.falkhowar.de

• Robotics
• Emerging technologies
• Robot
• Mobile robot
• Industrial robot
• Self-driving car
• Autonomous robot
• Collision avoidance system
• Control engineering
• Technology
• Automation
• Humanoid robot

Integrating Theories into Inference Systems DIPLOMARBEIT zur Erlangung des akademischen Grades Diplom-Ingenieur/in

Source URL: www.logic.at

• Mathematical logic
• Logic
• Theoretical computer science
• Automated theorem proving
• Proof theory
• Logic programming
• Logic in computer science
• Type theory
• Unification
• Uninterpreted function
• Equational logic
• Variety

METR.systems M-Gate 1.0 | ​DATENBLATT HAUPTFUNKTIONEN ● Gateway mit wired und wireless M-Bus   ● Auslese von Submetering Netzwerkknoten über wired/wireless M-Bus 

Source URL: metr.systems

A Parallel Identification Protocol for RFID Systems Linghe Kong∗† , Liang He∗ , Yu Gu∗ , Min-You Wu† , Tian He‡ ∗ Singapore University of Technology and Design, Singapore † Shanghai Jiao Tong University,

Source URL: wirelesslab.sjtu.edu.cn

• Radio-frequency identification
• Automatic identification and data capture
• Privacy
• Ubiquitous computing
• Wireless
• Mobile RFID
• SAM
• Computing
• Technology
• Data

DYNAMIC SYNC-PROGRAMS FOR MODULAR VERIFICATION OF BIOLOGICAL SYSTEMS Peter Dr´abik, Andrea Maggiolo-Schettini and Paolo Milazzo Dipartimento di Informatica, Universit`a di Pisa

Source URL: pages.di.unipi.it

• Models of computation
• Concurrency
• Computing
• Formal methods
• Diagrams
• Petri net
• Finite automata
• Model checking
• Analog television
• Finite-state machine
• Actor model
• Information and communications technology

Vorstellung Smart Systems Hub + Initialteam zum 1. SSH-Workshop & Meet-up amab 14 Uhr Auf dem Weg zu IoT-Ökosystemen

Source URL: www.smart-systems-hub.de

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL.X , NO.X , XXXX 201X 1 Surface Coverage in Sensor Networks Linghe Kong, Mingchen Zhao, Xiao-Yang Liu,

Source URL: wirelesslab.sjtu.edu.cn

• Differential geometry of surfaces
• Sensor

SMT-Based Verification of Parameterized Systems ∗ Arie Gurfinkel

Source URL: arieg.bitbucket.io

P Systems with Endosomes R. Barbuti G. Caravagna A. Maggiolo-Schettini

Source URL: pages.di.unipi.it

• Biology
• Cell biology
• Membrane biology
• Anatomy
• Organelles
• Vesicles
• Cellular processes
• Models of computation
• Endosome
• Endocytosis
• Rab
• Cell membrane

Assessing the interconnectedness between cross-border shadow banking systems Tom Fong Hong Kong Monetary Authority Angela Sze

Source URL: www.hkimr.org

• Banking
• Economy
• Finance
• Money
• Bank
• Economic history of Italy
• Shadow banking system