Results for 'Mikol���� Janota'

7 found
Order:
  1. Solving QBF with Counterexample Guided Refinement.Mikoláš Janota, William Klieber, Joao Marques-Silva & Edmund Clarke - 2016 - Artificial Intelligence 234 (C):1-25.
  2.  31
    German Literature of the Middle Ages: Dictionary of Authors. Vol. 6.Johannes Janota - 1991 - Philosophy and History 24 (1/2):105-106.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3. On the Query Complexity of Selecting Minimal Sets for Monotone Predicates.Mikoláš Janota & Joao Marques-Silva - 2016 - Artificial Intelligence 233 (C):73-83.
  4.  24
    As Well as Physiological States, Pathological States and Therapeutical Problems May Be a Gushing Spring for Biological Theory - and Conversely.E. Bernard-Weil, F. Mikol, M. F. Monge-Strauss & P. Jung - 1999 - Acta Biotheoretica 47 (3-4):281-307.
    New class of therapies, including bipolar therapies (BPT) and paradoxical unipolar therapies (PUT) were firstly proposed in relation to a clinical insight and to some results of biological investigations, then they gave rise to mathematical modeling which brought a justification of these therapies, at least from a theoretical point of view. After recalling the mathematical model for the regulation of agonistic antagonistic couples, and reporting the fundamental types of control simulation by means of it, we point out the validity of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Algorithms for Computing Minimal Equivalent Subformulas.Anton Belov, Mikoláš Janota, Inês Lynce & Joao Marques-Silva - 2014 - Artificial Intelligence 216:309-326.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  1
    Minimal Sets on Propositional Formulae. Problems and Reductions.Joao Marques-Silva, Mikoláš Janota & Carlos Mencía - 2017 - Artificial Intelligence 252 (C):22-50.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  7
    The Royal Constitution.Józef Hen, Natalia Janota & Benjamin Borek - 2007 - Dialogue and Universalism 17 (5/6):43-52.
    Stanisław August Poniatowski (1732–1798) was the last king of Poland. He reigned from 1764 to 1795 and, during this time the first Polish constitution, the first in Europe, was established. These excerpts come from Hen’s book My Friend the King (Mój Przyjaciel Król). The book is narrated by the fictional Gaston Fabre, who is a close confidant of the King and is privy to all the turmoil and machinations at Court in months and years preceding the signing of the constitution.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark