Results for:
"
Jozef+Tominc
" in Documents
- Separating Disbeliefs from Beliefs in 1997
- This paper investigates separated autoepistemic logic which is a generalization of Moore's autoepistemic logic with separate modalities for belief and disbelief. Along the separation of beliefs and di...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- Down-Regulation of Ku Autoantigen DNA-Dependent Protein Kinase and Pol...
- d se- to remain stabile and reduces the efficiency of the DNA rum-deficient quiescent WI-38 cells. Our results repair systems, although it is not known whether the showed that replicative senescence s...
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- Down-Regulation of Ku Autoantigen DNA-Dependent Protein Kinase and Pol...
- d se- to remain stabile and reduces the efficiency of the DNA rum-deficient quiescent WI-38 cells. Our results repair systems, although it is not known whether the showed that replicative senescence s...
-
Rating:
Views: (1004)
Pages: ()
Uploaded: 15-05-09
- 50th anniversary of Prof. Dr. Jozef Cernácek, corresponding member o...
-
Rating:
Views: ()
Pages: ()
Uploaded: 1959-3-1
- Slow And Fast Diffusion Effects In Image Processing 1996 6 citations ?...
- A mathematical model for a nonlinear image multiscale analysis is studied. Processing of an image is based on a solution of the strongly nonlinear parabolic partial differential equation, which can de...
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- Emilia Oikarinen and Tomi Janhunen Modular Equivalence for Normal Logi...
- ? Optimization of logic programs in answer set programming (ASP) gives rise to a problem of verifying whether resulting version of programs are equivalent. ? A translation-based approach: combine logi...
-
Rating:
Views: (1035)
Pages: ()
Uploaded: 22-01-08
- Professor Dr. Jozef Bozek, the honorary member of the Polish Society ...
-
Rating:
Views: ()
Pages: ()
Uploaded: 2008-9-9
- Extending Hoare Logic to Real-Time 1994
- . Classical Hoare triples are modified to specify and design distributed real-time systems. The assertion language is extended with primitives to express the timing of observable actions. Further the ...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09