Andreas Furrer / Raphael Brunner Goodbye Gini-Durlemann Ein Stolperstein im schweizerischen Regressrecht fällt Das Bundesgericht hat den Regress der Schweiz neu geordnet. Die rechtliche «Trutzburg» Gini/Durlemann wur

Source URL: www.mme.ch

Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process using UPPAAL Jan Toennemann1 , Andreas Rausch1 , Falk Howar2 , and Benjamin Cool3 1

Source URL: www.falkhowar.de

• Real-time computing
• Scheduling
• Technology
• Computer architecture
• System software
• Embedded operating systems
• Automotive software
• OSEK
• Worst-case execution time
• Real-time operating system
• Uppaal Model Checker
• Model checking

Supplemental material to accompany: "Peer e¤ects in European primary schools: Evidence from PIRLS" Andreas Ammermueller and Jörn-Ste¤en Pischke May 4, 2009 Our estimates of peer e¤ects will be biased if students are

Source URL: econ.lse.ac.uk

• Probability and statistics
• Algebra of random variables
• Covariance and correlation
• Statistics
• Covariance
• Variance
• Standard deviation
• Scientific method

Balanced Clustering for Content-based Image Browsing Tim Althoff, Adrian Ulges, Andreas Dengel German Research Center for Artificial Intelligence (DFKI) and University of Kaiserslautern Abstract: In r

Source URL: www.timalthoff.com

• Computing
• Hierarchical clustering
• Network analysis
• Information science
• Cluster analysis
• Data analysis
• K-means clustering
• Computer cluster
• Nearest-neighbor chain algorithm
• Document clustering

Defining Nonprimitively (Co)recursive Functions in Isabelle/HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 15 August 2018

Source URL: www.cl.cam.ac.uk

• Computer programming
• Declarative programming
• Software engineering
• Theoretical computer science
• Category theory
• Functional programming
• Recursion
• Type theory
• Corecursion
• Coinduction
• Fold
• SCons

Libraries as Curators of Open Citations Perspectives of the Project LOC-DB in Germany Anne Lauscher, Kai Eckert, Lukas Galke, Ansgar Scherp, Syed Tahseen Raza Rizvi, Sheraz Ahmed, Andreas Dengel, Philipp Zumstein, Annett

Source URL: workshop-oc.github.io

• Information science
• Information
• Library science
• Business intelligence
• Data management
• Knowledge representation
• Records management
• Cataloging
• Library

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1796) FINITARY APPROXIMATIONS OF GROUPS AND THEIR APPLICATIONS Andreas Thom

Source URL: eta.impa.br

• Group theory
• Geometry
• Algebra
• Geometric group theory
• Topological groups
• Infinite group theory
• Profinite group
• Residually finite group
• Kazhdan's property
• Amenable group
• Sofic group
• Solvable group

DASHTrails: An Approach for Modeling and Analysis of Distribution-Adapted Sequential Hypotheses and Trails Martin Atzmueller and Andreas Schmidt and Mark Kibanov University of Kassel, Research Center for Information Syst

Source URL: gdac.uqam.ca

• Design of experiments
• Statistics
• Probability and statistics
• Markov models
• Statistical theory
• Psychometrics
• Statistical hypothesis testing
• Graph theory
• Markov chain
• Bayesian inference
• Matrix
• Data transformation

Defining Nonprimitively (Co)recursive Functions in Isabelle/HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 15 August 2018

Source URL: isabelle.in.tum.de

• Computer programming
• Declarative programming
• Software engineering
• Theoretical computer science
• Category theory
• Functional programming
• Recursion
• Type theory
• Corecursion
• Coinduction
• Fold
• SCons

Towards inferring environment models for control functions from recorded signal data Henrik Peters, Falk Howar, Andreas Rausch Clausthal University of Technology, Department of Informatics Julius-Albert-Str. 4, 38678 Cla

Source URL: www.falkhowar.de

• Finite-state machine
• Image segmentation
• Machine learning
• Cellular automata
• Finite automata
• Automata theory
• Cognition
• Cognitive science
• Artificial intelligence