Bisimulation games and locally tabular modal logics Valentin Shehtman Institute for Information Transmission Problems, Russian Academy of Sciences National Research University Higher School of Economics, Moscow, Russia M

Source URL: logica.dmi.unisa.it

UNS Faculty of Sciences, Novi Sad Trg D.Obradovića 3 Non-Standard Forms of Teaching Mathematics and Physics: Experimental and Modeling Approach

Source URL: www.dmi.uns.ac.rs

Representation of Partial Traces Marc Bagnol Department of Mathematics and Statistics – University of Ottawa The notion of trace in a monoidal category has been introduced by Joyal Street and Verity [4] to give a categ

Source URL: logica.dmi.unisa.it

• Linear algebra
• Monoidal categories
• Order theory
• Category theory
• Abstract algebra
• Partial trace
• Andr Joyal
• Trace
• Equivalence class
• Equivalence relation
• Embedding
• Natural transformation

Uniform Interpolation and Compact Congruences Samuel J. van Gool1 , George Metcalfe2 , and Constantine Tsinakis3 1 Department of Mathematics, University of Milan

Source URL: logica.dmi.unisa.it

• Algebra
• Mathematics
• Abstract algebra
• Algebraic logic
• Lattice theory
• Algebraic structures
• Fuzzy logic
• Adjoint functors
• Boolean algebra
• Heyting algebra
• Universal property
• MV-algebra

Jó szomszédok a közös jövőért Good neighbours creating common future Dobri susedi zajedno stvaraju budućnost University of Szeged - UNS Faculty of Science Novi Sad Non-Standard Forms of Teaching Mathematics and

Source URL: www.dmi.uns.ac.rs

Symbolic-Numeric Aspects in Computation of Invariant Pairs for Matrix Polynomials Esteban Segura Ugalde XLIM-DMI, Universit´e de Limoges The generalized eigenvalue/eigenvector problem for matrix polynomials consists in

Source URL: jncf2013.imag.fr

AUTOMATIC COLOR PALETTE
J. Delon , A. Desolneux , J.L. Lisani 

Source URL: dmi.uib.es

• Image processing
• Statistics
• Vision
• Computer graphics
• Image segmentation
• Histogram
• Color quantization
• HSL and HSV
• Mode
• Palette
• Color space
• Color

Sunday, 21 9:00-10:00 10:00-10:30 10:30-10:55 10:55-11:20 11:20-11:45

Source URL: logica.dmi.unisa.it

• Logic
• Mathematics
• Algebra
• Fuzzy logic
• Non-classical logic
• Lattice theory
• Mathematical logic
• Algebraic logic
• Monoidal t-norm logic
• BL
• Residuated lattice
• MV-algebra

UNS Faculty of Sciences, Novi Sad Non-Standard Forms of Teaching Mathematics and Physics: Experimental and Modeling Approach

Source URL: www.dmi.uns.ac.rs

Using Data to Inform, Persuade, and Make Decisions February 4, 2014 Division of Management Information (DMI) Staff

Source URL: www.dmi.illinois.edu