LEGAL KNOWLEDGE AND INFORMATION SYSTEMS Frontiers in Artificial Intelligence and Applications The book series Frontiers in Artificial Intelligence and Applications (FAIA) covers all aspects of theoretical and applied A

Source URL: orbilu.uni.lu

• Computer law
• Artificial intelligence
• Trevor Bench-Capon
• JURIX
• Applications of artificial intelligence to legal informatics
• Leon van der Torre
• Ambient intelligence
• Computer science

Flashix: Development of a Verified Flash File System G. Schellhorn G. Ernst, J. Pfähler, D. Haneberg, W. Reif Overview • Introduction: Flash Hardware and File Systems • Project Flashix: Approach & Tool Support:KIV

Source URL: www.isse.uni-augsburg.de

• Computer data storage
• Computing
• Non-volatile memory
• Computer memory
• Computer architecture
• Flash memory
• Wear leveling
• Solid-state drive
• Flash file system
• Dd
• Page

A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

Source URL: www.isse.uni-augsburg.de

• Functional predicate
• Model theory
• Symbol
• Limit of a function
• Universal quantification
• Mathematical logic
• Mathematics
• Logic

Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering

Source URL: www.isse.uni-augsburg.de

• Computer memory
• Computer data storage
• Embedded Linux
• Data management
• Computing
• Non-volatile memory
• Flash file system
• Flash memory
• Data
• UBIFS
• File system
• JFFS2

A class of control certificates to ensure Reach-While-Stay for Switched Systems Hadi Ravanbakhsh and Sriram Sankaranarayanan Presented by Sergio Mover University of Colorado Boulder

Source URL: www.react.uni-saarland.de

• Control engineering
• Systems theory
• Systems science
• Control theory
• Cybernetics
• Computational mathematics
• Sliding mode control

INTERNATIONAL JOURNAL OF DISCRETE EVENT CONTROL SYSTEMS (IJDECS), VOL. 1, NO. 1, MARCHOn the Use of Model-Based IECController Design

Source URL: at.informatik.uni-halle.de

Stuttgart Research Center Systems Biology (SRCSB) Systems Biology Seminar Talk „Heterogeneity and druginduced plasticity in colorectal cancer“

Source URL: www.centersysbio.uni-stuttgart.de

Stuttgart Research Center Systems Biology (SRCSB) Systems Biology Seminar Talk „Analysing carbon

Source URL: www.centersysbio.uni-stuttgart.de

GI-Edition Gesellschaft für Informatik e.V. (GI) publishes this series in order to make available to a broad public recent findings in informatics (i.e. computer science and information systems), to document conference

Source URL: at.informatik.uni-halle.de

Checking Models, Proving Programs, and Testing Systems Marie-Claude Gaudel LRI, Université de Paris-Sud & CNRS July 2011

Source URL: www.tap2011.informatik.uni-bremen.de