Filters
ATP Cross-Verification of the Mizar MPTP Challenge Problems
for an independent cross-verification of a part of the MML.Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical...
JC - Počítačový hardware a software
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
The equipment for the verification of the initial geometry of circular cross-section metal members
The equipment is used for the verification of the initial geometric imperfections of metal members with circular cross-section. The initial member geometry can significantly influence the resistance of compression members in the cas...
JM - Inženýrské stavitelství
- 2010 •
- Gfunk
Rok uplatnění
Gfunk - Funkční vzorek
Pilíř 1.0
Pilíř 1.0 program was designed for verification of load-bearing capacity of masonry pillars with irregular cross-section loaded by eccentric pressure. Program allows to enter polygonal cross-section with non-intersecting ed...
JN - Stavebnictví
- 2012 •
- R •
- Link
Rok uplatnění
R - Software
Výsledek na webu
Framework for Formal Verification of Clock Domain Crossing
Conventional technique of hardware design formal verification is based on modelling zero-delay changes of signal value. Unfortunatelly, this type of abstraction hides the problem of clock domain crossings (CDCs) which cause is eithe...
IN - Informatika
- 2010 •
- R
Rok uplatnění
R - Software
Application of digital technologies in geographic support of the Armed Forces
Use of remote sensing data for topographic mapping, use of terrestrial surveying and GPS for large scale mapping, verification of cartographic visualization digital geodata and man made construction in a landscape, verification of <...
KA - Vojenství
- 2004 •
- O
Rok uplatnění
O - Ostatní výsledky
Manufacturing technology of a cast frame for crossings with movable parts made from bainitic steel
The technology was created in connection with the verification of the method of casting the newly designed cast frame in crossing panel of a high speed turnout, which is part of the crossing with movable parts. The newly de...
Materials engineering
- 2019 •
- Ztech
Rok uplatnění
Ztech - Ověřená technologie
Pilir 1.0 ? Program for design of eccentrically loaded masonry piers of irregular shape
Pilir 1.0 program was designed for verification of load-bearing capacity of masonry piers with irregular cross-sections loaded by eccentric force. Program allows the user to calculate polygonal cross-sections with non-inter...
JN - Stavebnictví
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
SPIRITUALITY OF AMERICAN AND CZECH STUDENTS - A CROSS-CULTURAL COMPARISON
The locus of this study is verification of the cross-cultural robustness of Piedmont's Spiritual Transcendence Scale (STS, Piedmont, 1999) with regard to a sample of Czech students (N = 410)....
AA - Filosofie a náboženství
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Verification of Asynchronous and Parametrized Hardware Designs
Two original approaches to formal verification of hardware designs and verification of parametrized hardware designs. Considering the former contribution, we introduce four methods which we use for modelling the clock domain cro...
JC - Počítačový hardware a software
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Verification of Asynchronous and Parametrized Hardware Designs
We introduce two original approaches to formal verification of hardware designs. In particular, we aim at model checking of circuits with multiple clocks and verification methods which we use for modelling the clock domain cross...
IN - Informatika
- 2010 •
- B
Rok uplatnění
B - Odborná kniha
- 1 - 10 out of 41 924