Filters
Case Law and its Binding Effect in the System of Formal Sources of Law
The author proposes changes to the traditional concept of formal sources of law of legal decisions. The definition of formal sources of law is also vague and unclear offers a new distinction – based on the criterio...
Law
- 2018 •
- Jost •
- Link
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Výsledek na webu
External Sources in Field-Antifield Formalism
We introduce external sources J_A directly into the quantum master action W of the field-antifield formalism instead of the effective action. The external sources J_A lead to a set of BRST-invariant functions W^A t...
BE - Teoretická fyzika
- 2014 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Formalizing Cover-source Mismatch as a Robust Optimization
ago, there is no formal definition and no adopted measures for comparing different solutions. This work, therefore, formalizes the cover-source mismatch and proposesCover-source mismatch (CSM) refers to the use of...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Sources of law
The chapter introduces the concept of the sources of law, focusing on the various formal sources of law, which were formed during the historical development of law (legal regulations, court prece-dents, normative agreements...
Law
- 2017 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Formal-Method-Based Software Development Applied on Embedded Systems: Platform-independend Source Code
on embedded systems is application of formal-method-based development processes. The goal of this article is to point out that some specific formal languages can be effectively used for producing of highly optimized produc...
JC - Počítačový hardware a software
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Formal-Method-Based Software Development Applied on Embedded Systems: Platform-independend Source Code (Third part)
on embedded systems is application of formal-method-based development processes. The goal of this article is to point out that some specific formal languages can be effectively used for producing of highly optimized produc...
JC - Počítačový hardware a software
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Formal Methods of Software Design Applied on Embedded Systems: Platform-Independent Source Code (/Part 1/)
One of three articles informing about formal means used in software development for embedded systems. It concantrates on a platform independent code generation.
......
JC - Počítačový hardware a software
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Non-formal Sport Coach Education
Lifelong non-formal education and informal learning starts playing a significant role in the coach profession. This contribution outlines selected data of non- formalcoach education, indicated effective forms and methods of such edu...
AK - Sport a aktivity volného času
- 2011 •
- O
Rok uplatnění
O - Ostatní výsledky
FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: PLATFORM-INDEPENDENT SOURCE CODE (Part I)
on embedded systems is application of formal-method-based development processes. The goal of this paper is to point out that some specific formal languages (more exactly usage of Finite State Machines) can be effectively u...
IN - Informatika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: PLATFORM-INDEPENDENT SOURCE CODE
on embedded systems is application of formal-method-based development processes. The goal of this paper is to point out that some specific formal languages (more exactly usage of Finite State Machines) can be effectively u...
IN - Informatika
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 239 270