search result

Cover von Ophthalmic Medical Image Analysis
6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11855
Media group: MONOGRAPHIE
Cover von A Novel Riemannian Metric for Geodesic Tractography in DTI
article in "Schultz, Thomas: Computational Diffusion MRI and Brain Connectivity" : pp. 97-104
Search for this author
Year: 2014
Publisher: Berlin, Springer
Media group: ARTICLE
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2026
Media group: LIPIcs
Cover von LIPIcs, Volume 392, APPROX/RANDOM 2026, Complete Volume

LIPIcs, Volume 392, APPROX/RANDOM 2026, Complete Volume

Year: 2026
Media group: LIPIcs
Cover von Approximation, Randomization, and Combinatorial Optimization
Algorithms and Techniques : APPROX/RANDOM 2026, August 19–21, 2026, Boston University, Boston, Massachusetts, USA
Search for this author
Year: 2026
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 392
Media group: LIPIcs
Cover von Programming Your GPU with OpenMP
Performance Portability for GPUs
Author: Deakin, Tom; Mattson, Timothy G. Search for this author
Year: 2023
Publisher: Cambridge, MIT Pr.
Series: Scientific and engineering computation
Media group: MONOGRAPHIE
Cover von Relaxed Core Stability for Hedonic Games with Size-Dependent Utilities

Relaxed Core Stability for Hedonic Games with Size-Dependent Utilities

Year: 2023
Media group: LIPIcs
Cover von Proof Repair Infrastructure for Supervised Models

Proof Repair Infrastructure for Supervised Models

Building a Large Proof Repair Dataset
Year: 2023
Media group: LIPIcs
Cover von Planning and control
Author: Dean, Thomas L.; Wellman, Michael P. Search for this author
Year: 1991
Publisher: San Mateo, Morgan Kaufmann
Series: Morgan Kaufmann series in representation and reasoning
Media group: MONOGRAPHIE
Cover von Higher order logic theorem proving and its applications
7th international workshop : Valletta, Malta, September 19 - 22, 1994 : proceedings
Search for this author
Year: 1994
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 859
Media group: MONOGRAPHIE
OPEN V 11.1.0.0