Filters
Non-Classical Mathematics. Workshop at UNILOG 2013
. The scope of non-classical mathematics includes any mathematical discipline that can be formalized in a non-classical logic or in an alternative foundational theory over classical logic...
BA - Obecná matematika
- 2013 •
- W •
- Link
Rok uplatnění
W - Uspořádání workshopu
Výsledek na webu
Non-Classical Mathematics 2009
The first Conference on Non-Classical Mathematics - took place in Hejnice in June 18-22 2009.
BA - Obecná matematika
- 2009 •
- M
Rok uplatnění
M - Uspořádání konference
NCMPL 2011 Abstracts
talks presented at the conference Non-Classical Modal and Predicate Logics which of non-classical treatment of quantification and modalities and their accommodation in these non-classical setting...
BA - Obecná matematika
- 2011 •
- O
Rok uplatnění
O - Ostatní výsledky
NCMPL 2011. Non-Classical Modal and Predicate Logics
The conference took place in Guangzhou, December 5-9, 2011. The conference aimed to bring together experts from different areas of non-classical model and predicate logic....
BA - Obecná matematika
- 2011 •
- M
Rok uplatnění
M - Uspořádání konference
Mathematical modeling of AC electroosmotic micropumps with asymmetric co-planar electrodes
In this contribution, we present predictions of non-equilibrium and equilibrium mathematical models describing electrolyte transport in these AC micropumps. The classical, and the Laplace, the Stokes and the continuity equa...
CI - Průmyslová chemie a chemické inženýrství
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017
The Ninth Workshop on Non-Classical Models of Automata and Applications (NCMA 2017) was devoted to investigating various models of non-classical and classical automata studied both as theoretical concepts ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- O
Rok uplatnění
O - Ostatní výsledky
International Workshop on Algebraic Logic in Computer Science
Algebraic logic, as the branch of mathematical logic that studies logical systems by giving them a semantics based on some algebraic structures, has been proposed as a unifying approach to deal with the populated landscape of non-
BA - Obecná matematika
- 2013 •
- W •
- Link
Rok uplatnění
W - Uspořádání workshopu
Výsledek na webu
Back-and-forth systems for fuzzy first-order models
conditions, based both on classical two-sorted structures and on non-classical structures...
Pure mathematics
- 2018 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
From Fuzzy Logic to Fuzzy Mathematics: A Methodological Manifesto
the constructions and methods of classical mathematics recast in a fuzzy setting. As a particular solution we propose a three-layer architecture of fuzzy mathematics, with the layers of formal fuzzy logic, a foundational t...
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Mathematical modelling of the electromechanical actuators
The paper deals with mathematical modelling of the operation parameters of the elec-tromechanical actuators (classical actuators, actuators with permanent magnet core and pulsed induction accelerators). Computations start from the c...
JA - Elektronika a optoelektronika, elektrotechnika
- 2000 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 120 503