Filters
An Evaluation of Methodologies for Legal Formalization
, there are many attempts to create better legal formalization methods and to make legal and thus, it is difficult to recognize the“good” legal formalization method” formalization that is based on a litera...
Law
- 2022 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Formal Method of Software Development or Railways
In this paper formal method of application software development for railways is described. Formal model in RAISE language for optimal planing in railways is shown. The maintenance routin of railways vehicle is used as an ex...
JC - Počítačový hardware a software
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Selected Methods of Specification and Verification of Industriall Application
This paper presents some formal methods for specification and verification of industrial applications (for example embedded systems) and applying those methods in frame of system design. One goal of this work is founding th...
JC - Počítačový hardware a software
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Formal concept analysis - The popular method of data analysis in engineering
This article deals with the theory, methods, and application of formal concept analysis in security engineering. Because the formal concept analysis is developed from standing behind this powerful method of visuali...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Formal Epistemology and Social Sciences: A Response to Markéta Patáková
'Predictions in Kvasz's Formal Epistemology in the Perspective of the Historical MethodThe aim of the paper is to draw attention to some possibilities how the methods of formal epistemology can be used in the refl...
AA - Filosofie a náboženství
- 2015 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
IT and formal methods in process control
Contribution deals with utilisation of formal specification for HW/SW system design and modelling.
JB - Senzory, čidla, měření a regulace
- 2001 •
- D
Rok uplatnění
D - Stať ve sborníku
Methods of the non-formal teaching in the education of art history
The paper consists some ideas about the possibilities of using methods form the non-formal teaching in the education of art history on the high schools and universities....
AL - Umění, architektura, kulturní dědictví
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Decision-making in the EU Council : formal models and empirical studies
Formal and quantitative methods in the study of decision-making in the EU Council, advances in formal and quantitative methodology....
AD - Politologie a politické vědy
- 2007 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description
and formal mathematics by statistical machine-translation methods, (ii) to develop such methods oriented at the formalization task, and in particular (iii) to combine such methods with learning-assisted a...
JC - Počítačový hardware a software
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Consideration on a Formal Frame for Data Mining
Main topics of the document: formal framework for data minig; logic of discovery; association rules; logc of association rules; GUHA method......
BA - Obecná matematika
- 2011 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 out of 232 333