Did you mean: systems

search result

Cover von Design for Geospatially Enabled Climate Modeling and Alert System (CLIMSYS)

Design for Geospatially Enabled Climate Modeling and Alert System (CLIMSYS)

A Position Paper (Short Paper)
Year: 2018
Media group: LIPIcs
Cover von A Single Entangled System Is an Unbounded Source of Nonlocal Correlations and of Certified Random Numbers

A Single Entangled System Is an Unbounded Source of Nonlocal Correlations and of Certified Random Numbers

Author: Curchod, Florian J.
Year: 2018
Media group: LIPIcs
Cover von A Hierarchical Scheduling Model for Dynamic Soft-Realtime System

A Hierarchical Scheduling Model for Dynamic Soft-Realtime System

Year: 2017
Media group: LIPIcs
Cover von Integrating Process-Oriented and Event-Based System; 8
pp. 21-64
Search for this author
Year: 2017
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 8
Media group: DAGSTUHL REPORT
Cover von Computing a Complete Basis for Equalities Implied by a System of LRA Constraints
Search for this author
Year: 2016
Publisher: CEUR-WS.org
Series: CEUR workshop series; 1617
Media group: ARTICLE
Cover von An ILP-based Proof System for the Crossing Number Problem

An ILP-based Proof System for the Crossing Number Problem

Year: 2016
Media group: LIPIcs
Cover von A system for scalable and reliable technical-skill testing in online labor markets

A system for scalable and reliable technical-skill testing in online labor markets

article
Year: 2015
Media group: ARTICLE
Cover von Toward a Dependability Case Language and Workflow for a Radiation Therapy System

Toward a Dependability Case Language and Workflow for a Radiation Therapy System

Author: Ernst, Michael D.; Grossman, Dan; Jacky, Jonathan
Year: 2015
Media group: LIPIcs
Cover von Data-Driven Optimization and Knowledge Discovery for an Enterprise Information System
Author: Duan, Qing; Chakrabarty, Krishnendu; Zeng, Jun Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise

Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise

Year: 2011
Media group: LIPIcs
OPEN V 11.1.0.0