Deputy head:

Secretary:

Phone:

286581419

Publications ÚTIA:

list Most of the research activities of the department belong to the field of applied mathematics. The focus is on theoretical problems as well as problems connected with implementation of methods in the following areas:

- mathematical optimization
- nonsmooth analysis
- differential equations
- variational problems
- probabilistic models of decision support systems
- conditional independence structures
- uncertainty in artificial intelligence
- mathematical logic
- multicriteria decision making

Former members of the department.

In this project we intend to model individual decision making (DM), a cornerstone of microeconomic theory. First, we will participate in a long-standing discussion challenging the transitivity of preferences, a basic axiom of the expected utility theory. We will propose a DM theory with intransitive preferences and then explore its relationship to existing alternatives.

Classical mathematical logic, built on the conceptually simple core of propositional Boolean calculus, plays a crucial role in modern computer science. A critical limit to its applicability is the underlying bivalent principle that forces all propositions to be either true or false.

Many-valued logics are a prominent family of non-classical logics whose intended semantics uses more than the two classical truth-values, truth/false. The study of these logics is stimulated by strong mutually beneficial connections with other mathematical disciplines such as universal algebra, topology, and model, proof, game and category theory.

The accurate description of the complex thermomechanical behavior of solids requires the efficient treatment of strongly nonlinearly coupled partial differential equations systems.

Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus. While classical logic generally formalises the notion of truth, substructural logics allow to handle notions such as resources, vagueness, meaning, and language syntax, motivated by studies in computer science, epistemology, economy, and linguistics.

The accurate description of the complex thermomechanical behavior of solids requires the efficient treatment of strongly nonlinearly coupled partial differential equations systems. These stem from the combination of balance and constitutive equations, which in turn can be often rephrased in a variational setting from the specification of suitable equilibrium and dissipation potentials.

- ‹ previous
- 3 of 7
- next ›

Matematicko-fyzikální fakulta UK

Přírodovědecká fakulta Jihočeské University v Českých Budějovicích

Fakulta stavební ČVUT

Matematicko-fyzikální fakulta UK

Přírodovědecká fakulta Jihočeské University v Českých Budějovicích

- ‹ previous
- 3 of 3

BELIEF'16 ,
2016-09-21

The theory of belief functions, also referred to as evidence theory or Dempster-Shafer theory, is a well established general framework for reasoning with uncertainty, with well understood connections to other frameworks such as probability...

IGAIA IV ,
2016-06-13

The fourth conference on Information Geometry and its Applications will be held on June 13-17, 2016, at Liblice Castle in Czech Republic. It is organized by the Institute of Information Theory and Automation of the Czech Academy of...

Information Geometry and its Applications IV ,
2016-06-12

About the ConferenceThe fourth conference on Information Geometry and its Applications will be held on June 12-17, 2016, at Liblice Castle in Czech Republic. It is organized by the Institute of Information Theory and Automation of the...

WUPES'15 ,
2015-06-19

A series of Workshops on Uncertainty Processing (WUPES) has been held in the Czech Republic every third year since 1988. Proceedings from several previous workshops can be found on their websites ( WUPES'12, WUPES'09,...

Spring School on Variational Analysis 2015 ,
2015-04-19

Following a longstanding tradition, the Faculty of Mathematics and Physics of Charles University in Prague and the Instutite of Information Theory and Automation of the Czech Academy of Sciences will organize the 43rd Spring School on...

ManyVal 2013 ,
2013-09-04

ManyVal is a series of international workshops on the logical and algebraic aspects of many-valued reasoning. The aim of the workshops is to gather both established and young researchers sharing an interest for a specific topic....

WUPES'12 - 9th Workshop on Uncertainty Processing. ,
2012-09-12

A series of Workshops on Uncertainty Processing (WUPES) has been held in the Czech Republic every third year since 1988. Like the previous meetings the forthcoming Workshop will foster creative intellectual activities and the exchange of...

Measure Concentration Minischool ,
2012-08-22

organized by F. Matúš
Institute of Information Theory and Automation, Prague
Room 25, UTIA AVCR, Pod Vodárenskou věží 4, 18000 Praha 8

8th Workshop on Uncertainty Processing ,
2009-04-14

Oddělení Matematické teorie rozhodování pořádá ve spolupráci s FM VŠE již 8. ročník konference Workshop on Uncertainty Processing. Detaily lze nalézt na http://wupes.fm.vse.cz/.

Geometric Aspects of Conditional Independence and Information ,
2008-03-13

location: Max Planck Institute for Mathematics in the Sciences
date: March 13 - 14, 2008
www: link
Workshop Topics:

- ‹ previous
- 3 of 4
- next ›