Planning as Heuristic Search for Incremental Fault Diagnosis and Repair Håkan Warnquist∗ and Jonas Kvarnström and Patrick Doherty Dept. of Computer and Information Science Linköping University SE[removed]Linköping,

Source URL: www.ida.liu.se

• Markov processes
• Partially observable Markov decision process
• Systems theory
• On-board diagnostics
• Economic model
• Reliability engineering
• Statistics
• Problem solving
• Troubleshooting

Approximate Databases: A Support Tool for Approximate Reasoning Patrick Doherty* , Martin Magnusson* , Andrzej Szałas*,** * Department of Computer and Information Science, University of Linköping, SE[removed]Linköping,

Source URL: www.ida.liu.se

• Philosophical logic
• Predicate logic
• Propositional calculus
• Metalogic
• First-order logic
• FO
• Modal logic
• Propositional variable
• Closed world assumption
• Logic
• Mathematical logic
• Model theory

Rum, rytm och resande Genusperspektiv på järnvägsstationer Ann-Charlotte Gilboa Runnvik Linköping Studies in Arts and Science No. 624

Source URL: liu.diva-portal.org

01 February[removed]Present place of employment for Former Scientium, page 1 Exam Lars Ekedahl Anna Fyrenius

Source URL: people.ifm.liu.se

• Academia
• Helen Dannetun
• Linköping
• Linköping University
• Sweden

Automatic Control and Systems Engineering The Department of Automatic Control & Systems Engineering is pleased to announce the following seminar:

Source URL: www.sheffield.ac.uk

• Electronic engineering
• 3GPP Long Term Evolution
• Internet Protocol
• LTE Advanced
• Ericsson
• 3GPP
• Linköping University
• Self-organizing network
• Assisted GPS
• Technology
• Electronics
• Universal Mobile Telecommunications System

Electronic Publication of a Thesis with LiU Electronic Press

Source URL: www.ep.liu.se

• Linköping
• Linköping University
• Copyright
• Thesis
• Liu
• Publishing
• Publication
• Education
• Knowledge
• Information

Linköping University Medical Dissertations No. 677 Management of patients treated with left ventricular assist devices A clinical and experimental study

Source URL: liu.diva-portal.org

• Cardiology
• Implants
• Aging-associated diseases
• Heart diseases
• Interventional cardiology
• Ventricular assist device
• Heart failure
• Artificial heart
• Myocardial infarction
• Medicine
• Health
• Anatomy

Transforming systems of PDEs for efficient numerical solution Andreas Wrangsjö, Peter Fritzson and K. Sheshadri Department of Computer and Information Science Linköping University, S−[removed]Linköping, Sweden Email:

Source URL: algebra.rotol.ramk.fi

• Differential equations
• Multivariable calculus
• Partial differential equations
• Finite difference
• Numerical analysis
• Method of characteristics
• Spectral method
• Calculus
• Mathematical analysis
• Mathematics

Hazard: A Framework Towards Connecting Artificial Intelligence and Robotics Peter J. Andersson Department of Computer and Information Science, Linköping university [removed] Abstract

Source URL: www.ida.liu.se

• Artificial intelligence
• Software architecture
• Computational neuroscience
• Cognitive architecture
• Subsumption architecture
• Simulation
• Middleware
• Actor model
• Player Project
• Science
• Robotics
• Technology

A Software Architecture for A.I. Systems Based on Self-Modifying Software Individuals Erik Sandewall Department of Computer and Information Science Linkoping University[removed]Linkoping, Sweden

Source URL: www.ida.liu.se

• Lisp programming language
• Functional languages
• Common Lisp
• Cross-platform software
• Scripting languages
• Lisp
• Programming language
• Interpreter
• S-expression
• Computing
• Software engineering
• Computer programming