• Functorial semantics of topological theories

  Publication results Year: 2015

  Solovjovs Sergejs

• Categorical foundations of variety-based bornology

  Publication results Year: 2016

  Paseka Jan, Solovjovs Sergejs

• Topological systems as a framework for institutions

  Publication results Year: 2016

  Denniston Jeffrey, Melton Austin, Rodabaugh Stephen, Solovjovs Sergejs

• On a topological universe of L-bornological spaces

  Publication results Year: 2016

  Paseka Jan, Solovjovs Sergejs, Stehlik Milan

• Localification procedure for affine systems

  Publication results Year: 2015

  Solovjovs Sergejs

• RELIABILITY-CONSTRAINED BEAM OPTIMIZATION BY GENETIC ALGORITHM

  Publication results Year: 2016

  KOKRDA, L. KŮDELA, J. POPELA, P. HOŠEK, J. NAVRÁTILOVÁ, B.

• MULTILATERATION IN VOLUMETRY: CASE STUDY ON DEMONSTRATOR MCV 754 QUICK

  Publication results Year: 2016

  NAVRÁTILOVÁ, B. HRDINA, J.

• Control of 3-Link Robotic Snake Based on Conformal Geometric Algebra

  Publication results Year: 2016

  HRDINA, J. VAŠÍK, P. NÁVRAT, A.

• Oscillation criteria for two-dimensional system of non-linear ordinary differential equations

  Publication results Year: 2016

  OPLUŠTIL, Z.

• Heuristic challenges for spatially distributed waste production identification problems

  Publication results Year: 2016

  NEVRLÝ, V. ŠOMPLÁK, R. POPELA, P. PAVLAS, M. OSIČKA, O. KŮDELA, J.

• Shapley value approximation for games with distant players

  Publication results Year: 2016

  OSIČKA, O. HRDINA, J. ŠOMPLÁK, R. POPELA, P. PAVLAS, M.

• Topographic spaces over ordered monoids

  Publication results Year: 2015

  PAVLÍK, J.

• Theorems on Differential Inequalities and Periodic Boundary Value Problem for Second-Order Ordinary Differential Equations

  Publication results Year: 2016

  LOMTATIDZE, A.

Showed 2086–2100 from 2578 results