Zobrazeno 1 - 10
of 53
pro vyhledávání: '"J. Voda"'
Autor:
J. Voda
Publikováno v:
Pedagogická Orientace, Vol 22, Iss 3 (2012)
V textu je představena metodologická aplikace design-based research při zjišťování závislosti manažerského rozhodování a kvality školy. S oporou o teoretické principy rozhodování a koncept kvalitní školy bilancujeme reálné výsled
Externí odkaz:
https://doaj.org/article/72ca1327278544f8bb0841e961f66dd0
Autor:
Paul J. Voda, Lars Kristiansen
Publikováno v:
Information Processing Letters. 88:213-218
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::acc793b056339d6cc2b6dcfef33a5f6f
https://doi.org/10.1016/j.ipl.2003.08.010
https://doi.org/10.1016/j.ipl.2003.08.010
Autor:
Paul J. Voda, Lars Kristiansen
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540792277
TAMC
TAMC
We introduce a new subrecursive degree structure: the structure of detour degrees. We provide definitions and basic properties of the detour degrees, including that they form a lattice and admit a jump operator. Our degree structure sheds light upon
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c9d94458e11d2793ec658c002b46d8cb
https://doi.org/10.1007/978-3-540-79228-4_13
https://doi.org/10.1007/978-3-540-79228-4_13
Autor:
Lars Kristiansen, Paul J. Voda
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540340218
TAMC
TAMC
In [3, 4] we study the functionals, functions and predicates of the system T−−. Roughly speaking, T−− is a version of Godel’s T (see, for instance [1]) where the successor function cannot be used to define functionals, and a functional F is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4d0a01e085e770f1e1c59fe23bd99086
https://doi.org/10.1007/11750321_62
https://doi.org/10.1007/11750321_62
Autor:
Lars Kristiansen, Paul J. Voda
Publikováno v:
Computer Science Logic ISBN: 9783540408017
CSL
CSL
Consider the following imperative programming language. The programs operate on registers storing natural numbers, the input \(\vec{x}\) is stored in certain registers, and a number b, called the base, is fixed to \(\max(\vec{x},1)+1\) before the exe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c6a4d43728919aa44d6baa5627375c50
https://doi.org/10.1007/978-3-540-45220-1_28
https://doi.org/10.1007/978-3-540-45220-1_28
Autor:
Christopher Carreras, E A Tucker, Christopher D. Reeves, L. Feng, D. Robinson, A. Schirmer, Y. Zhou, W. P. Revill, J. Voda, John R. Carney, M. Fardis, L. Chung, G. Ashley, B. G. Gold
Publikováno v:
The Journal of pharmacology and experimental therapeutics. 302(3)
The polyketides FK506 (tacrolimus) and FK520 (ascomycin) are potent immunosuppressants that function by inhibiting calcineurin phosphatase through formation of an FKBP12-FK506/520-calcineurin ternary complex. They also have calcineurin-independent ne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c749f7be5f3552b34e1801200929036
https://pubmed.ncbi.nlm.nih.gov/12183690
https://pubmed.ncbi.nlm.nih.gov/12183690
Autor:
Paul J. Voda, Ján Komara
Publikováno v:
Computer Science Logic ISBN: 9783540659228
CSL
CSL
This paper describes principles behind a declarative programming language CL (Clausal Language) which comes with its own proof system for proving properties of defined functions and predicates. We use our own implementation of CL in three courses in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9fcdb06b425b3ac6f68179b6907b458d
https://doi.org/10.1007/10703163_15
https://doi.org/10.1007/10703163_15
Autor:
Paul J. Voda
Publikováno v:
Computer Science Logic ISBN: 9783540645702
CSL
CSL
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8cfb001ebeda40ec1d48d2a0ccae5b44
https://doi.org/10.1007/bfb0028033
https://doi.org/10.1007/bfb0028033
Autor:
Ján Komara, Paul J. Voda
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540644064
TABLEAUX
TABLEAUX
CL (Clausal Language) is a computer programming language with mathematical syntax and a proof system based on Peano arithmetic which we have repeatedly used in the teaching of three (first and second year) undergraduate courses covering respectively
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2613c1d2c3758456ddba77b9d2ba2d01
https://doi.org/10.1007/3-540-69778-0_12
https://doi.org/10.1007/3-540-69778-0_12
Publikováno v:
Experimental Neurology. 198:592-593
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ae134f0f890b1ee4283ae78c448b865
https://doi.org/10.1016/j.expneurol.2006.02.101
https://doi.org/10.1016/j.expneurol.2006.02.101