search result

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 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
Cover von Mathematical methods in computer aided geometric design

Mathematical methods in computer aided geometric design

1992
Boston, Academic Press
Media group: GESAMTWERK
Volumes loading
Cover von Modules over Monads and Operational Semantics

Modules over Monads and Operational Semantics

Year: 2020
Media group: LIPIcs
Cover von Conscientious Classification

Conscientious Classification

A Data Scientist's Guide to Discrimination-Aware Classification
Year: 2017
Media group: ARTICLE
Cover von Faster Coroutine Pipelines
A Reconstruction : article in International Symposium on Practical Aspects of Declarative Languages PADL 2019 : LNCS 11372
Search for this author
Year: 2019
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 11372
Media group: ARTICLE
OPEN V 11.1.0.0