Filters
Passenger Check-in Process, its Future Trends and Human Factors
This article is dealing with the comparison of passenger check-in process at the check-in desk and modern methods of self-check-in and future trends in passenger check-in. This is followed by passengers’ and ch...
AE - Řízení, správa a administrativa
- 2016 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Using Check digits.
Basic themes in document: Check digit; ISBN check digit; double digit algorithm.
BA - Obecná matematika
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Optimizing process of check-in and security check at airport terminal
The paper deals with possibilities of optimizing the process of check-in and security check at airport terminals using simulation program. Proposed model is based Simulation. This program simulates the process of check-in a...
Applied mathematics
- 2018 •
- D
Rok uplatnění
D - Stať ve sborníku
Local Quantitative LTL Model Checking
the global model checking point of view. In the global model-checking, the goal, in local model checking approach the probability of satisfaction is computed only checkingproblem using the global model checking ap...
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Bounded Model Checking Using Java PathFinder
This work describes the using of bounded model checking for verification of the true races in programs. The model checking of a real system is costly, thus there are some modification or alternations of model checking of fe...
JC - Počítačový hardware a software
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
Architectural Interoperability Checking in Visual Coordination Networks
In this paper, an approach of architectural interoperability checking is revisited and utilized for interoperability checking of architectures with connectors and components treated as behaviorally and expressively different element...
IN - Informatika
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Fact-checking as a persuasive dialogue
The aim of my paper is to provide a critique of fact-checking and to suggest the current model of fact-checking as a branch of applied epistemology, its methodology-checking process modeled as a type of persuasive dialogue....
Philosophy, History and Philosophy of science and technology
- 2024 •
- Jost •
- Link
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Výsledek na webu
Drawings of the check valve DN100
The drawings of model check valve DN100 (their modifications and components/parts) was prepared as a part of the project. The check valves are going to be produced according to the drawings and tested on the experimental track of th...
JF - Jaderná energetika
- 2015 •
- O •
- Link
Rok uplatnění
O - Ostatní výsledky
Výsledek na webu
Examples of Check-lists
check-lists of various kinds of structural parts and constructional activities...
JN - Stavebnictví
- 2004 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Draft Method for Determining the Number of Checking Devices Utilized within the Regional Passenger Transport
passenger transport. The decision on determining the way of the passengers checking transportation. This issue may be solved by utilizing the checking devices and their appropriate placement. Applying the checking devices ...
AP - Městské, oblastní a dopravní plánování
- 2016 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 7 736