4 items matching your search terms.
Filter the results.
Item type

New items since

Sort by relevance · date (newest first) · alphabetically
Uncertainty quantification and the Boltzmann legacy
After the celebrated Boltzmann equation in 1872, which describes the time evolution of a rarefied gas, kinetic equations have been applied to model a variety of phenomena whose multiscale nature cannot be described by a standard macroscopic approach.
Located in Highlights
On coarser interval temporal logics
The primary characteristic of interval temporal logic is that intervals, rather than points, are taken as the primitive ontological entities. Given their generally bad computational behavior of interval temporal logics, several techniques exist to produce decidable and computationally affordable temporal logics based on intervals.
Located in Highlights
Combining Logic and Probability
Combining logic and probability is one of the long standing problems of Artificial Intelligence. Logic is very useful for describing domains with many different entities connected by complex relationships, while probability theory deals very well with the uncertainty that is associated to the data we collect from the world.
Located in Highlights
A brief history of Mathematics at the University of Ferrara
Mathematics has a strong tradition at the University of Ferrara which goes back to the foundation of the University in 1391. Focus here is on the early history of mathematics at University of Ferrara. Recent developments will only be mentioned marginally. (In Italian)
Located in Highlights