Did you mean: systems

search result

Cover von A Linear Type System for L^p-Metric Sensitivity Analysis

A Linear Type System for L^p-Metric Sensitivity Analysis

Year: 2024
Media group: LIPIcs
Cover von Privacy Can Arise Endogenously in an Economic System with Learning Agents

Privacy Can Arise Endogenously in an Economic System with Learning Agents

Year: 2024
Media group: LIPIcs
Cover von A proof system for certifying symmetry and optimality reasoning in integer programming
Search for this author
Year: 2023
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
Cover von Information Theory, Mathematical Optimization, and Their Crossroads in 6G System Design
Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Springer series in wireless technology
Media group: MONOGRAPHIE
Cover von A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic

A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic

Year: 2023
Media group: LIPIcs
Cover von Low-Overhead Online Assessment of Timely Progress as a System Commodity

Low-Overhead Online Assessment of Timely Progress as a System Commodity

Author: Sharma, Sanskriti; Mancuso, Renato
Year: 2023
Media group: LIPIcs
Cover von Proceedings of the thirty-first Hawaii international conference on system sciences

Proceedings of the thirty-first Hawaii international conference on system sciences

January 6 - 9, 1998
1998
Los Alamitos, IEEE
Media group: GESAMTWERK
Volumes loading
Cover von Singular, a computer algebra system for commutative algebra, algebraic geometry and singularity theory
reference manual, version 1.0.0
Search for this author
Year: 1997
Publisher: Kaiserslautern, Universität
Media group: TECHNICAL REPORT
Cover von Multicycle generalization of relaxation-based algorithms for circuit and system simulation
Author: Dmitriev-Zdorov, Vladimir B. Search for this author
Year: 1997
Publisher: München, GMD
Series: GMD-Bericht; 282
Media group: MONOGRAPHIE
Cover von Repräsentation von lexikalisch-semantischem Wissen in einem System zur Verarbeitung natürlicher Sprache
Author: Burkert, Gerrit Search for this author
Year: 1996
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 141
Media group: DISSERTATION
OPEN V 11.1.0.0