search result

Cover von Improving the Analysis of GPC in Real-Time Calculus
article in International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019
Search for this author
Year: 2019
Publisher: Berlin, Springer
Media group: ARTICLE
Cover von A Game- and Decision-Theoretic Approach to Resilient Interdependent Network Analysis and Design
Author: Chen, Juntao; Zhu, Quanyan Search for this author
Year: 2020
Publisher: Berlin, Springer
Series: Springer Briefs in Electrical and Computer Engineering
Media group: MONOGRAPHIE
Cover von A New Analysis of Differential Privacy's Generalization Guarantees

A New Analysis of Differential Privacy's Generalization Guarantees

Author: Shenfeld, Moshe
Year: 2020
Media group: LIPIcs
Cover von Improved Analysis of Highest-Degree Branching for Feedback Vertex Set

Improved Analysis of Highest-Degree Branching for Feedback Vertex Set

Year: 2019
Media group: LIPIcs
Cover von Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
24th Iberoamerican Congress, CIARP 2019, Havana, Cuba, October 28-31, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11896
Media group: MONOGRAPHIE
Cover von Smart Ultrasound Imaging and Perinatal, Preterm and Paediatric Image Analysis
First International Workshop, SUSI 2019, and 4th International Workshop, PIPPI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13 and 17, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11798
Media group: MONOGRAPHIE
Cover von Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic

Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic

Year: 2019
Media group: LIPIcs
Cover von Analysis of the MPEG-1 Layer III algorithm using MATLAB
Author: Thiagarajan, Jayaraman J.; Spanias, Andreas Search for this author
Year: 2011
Publisher: San Rafael, Morgan & Claypool Publishers
Series: Synthesis Lectures on Algorithms and Software in Engineering; 9
Media group: MONOGRAPHIE
Cover von Topological Data Analysis Reveals Principles of Chromosome Structure in Cellular Differentiation

Topological Data Analysis Reveals Principles of Chromosome Structure in Cellular Differentiation

Year: 2019
Media group: LIPIcs
Cover von Combined Security and Schedulability Analysis for MILS Real-Time Critical Architectures

Combined Security and Schedulability Analysis for MILS Real-Time Critical Architectures

Year: 2019
Media group: OASICS
OPEN V 11.1.0.0