Chalmers - PDFSEARCH.IO - Document Search Engine

Chalmers
Results: 1415

#	Item
761	The Inverse Method for Many-Valued Logics? Laura Kov´ acs1 , Andrei Mantsivoda2 , and Andrei Voronkov3 1 Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:24:41 Sequent Intuitionistic logic Method of analytic tableaux Monotonicity of entailment Proof calculus Rule of inference Proof procedure Modal logic Natural deduction Logic Mathematical logic Proof theory
762	Invariant Generation in Vampire? Kryˇstof Hoder1 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-05-02 08:17:07 Mathematical logic Invariant Loop invariant Automated theorem proving Emmy Noether First-order logic Mathematics Software engineering Formal methods
763	Personal Tracking as Lived Informatics John Rooksby, Mattias Rost, Alistair Morrison, Matthew Chalmers School of Computing Science, University of Glasgow, UK. {john.rooksby, mattias.rost, alistair.morrison, matthew.chalm Add to Reading List Source URL: www.johnrooksby.org Language: English - Date: 2014-01-21 17:04:18 Aviation Fitbit Tracking BitTorrent tracker Pedometer Tracker MOD GPS tracking unit Eye tracking Technology Wireless BitTorrent
764	r-TuBound: Loop Bounds for WCET Analysis (tool paper) Jens Knoop, Laura Kov´acs, and Jakob Zwirchmayr? TU Vienna Abstract. We describe the structure and the usage of a new software tool, called Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-01-11 07:16:42 Control flow Real-time computing Worst-case execution time Infinite loop For loop Algorithm Signal-flow graph Control theory Recurrence relation Computing Computer programming Software engineering
765	Global and Planetary Change 24 Ž–173 www.elsevier.comrlocatergloplacha Neogene uplift and tectonics around the North Atlantic: overview Peter Japsen ) , James A. Chalmers Geological SurÕey of Denmark and Gre Add to Reading List Source URL: japsen.geus.info Language: English - Date: 2009-10-09 03:28:35 Earth Geomorphology Tectonic uplift Passive margin Paleocene Neogene Geology Plate tectonics Historical geology
766	A Novel Bayesian Approach to Adaptive Mean Shift Segmentation of Brain Images Qaiser Mahmood, Artur Chodorowski, Andrew Mehnert, Mikael Persson Department of Signals and Systems, MedTech West, Chalmers University of Tech Add to Reading List Source URL: www.medtechwest.se Language: English - Date: 2012-08-30 06:11:02 Image processing Geostatistics Multivariate statistics K-nearest neighbor algorithm Kernel density estimation Segmentation Statistical classification K-means clustering Density estimation Statistics Non-parametric statistics Machine learning
767	A Parametric Interpolation Framework for First-Order Theories Laura Kov´ acs1 , Simone Fulvio Rollini2 , and Natasha Sharygina2 1 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:25:52 Video Video signal Craig interpolation Pi Mathematical analysis Mathematics Interpolation
768	List of Publications and Talks ´ Kova ´ cs Laura Ildiko 1 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-02-19 17:05:13 Mathematics Formal methods Anglo-Chinese School Automated reasoning Algorithmic Number Theory Symposium Model checking Actor model Automated theorem proving Theoretical computer science Applied mathematics
769	Solving Robust Glucose-Insulin Control by Dixon Resultant Computations Laura Kov´acs B´ela Pal´ancz Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-05-27 08:16:44 Algebraic geometry Algebra Mathematical optimization Differential equations System of polynomial equations Optimal control State space Resultant Linear differential equation Mathematics Polynomials Mathematical analysis
770	Vinter: A Vampire-Based Tool for Interpolation ? Kryˇstof Hoder1 , Andreas Holzer2 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-09-19 03:03:42 Formal methods Logical syntax Logic in computer science Mathematical logic Automated theorem proving Interpolation Satisfiability Modulo Theories Vampire Theorem Logic Theoretical computer science Mathematics

UPDATE