Filters
The Bhagavadgita and its interpreters: problems of cultural transfer
Comparison of Czech translations of the Sanskrit philosophical poem Bhagavadgita, drawbacks of "second-hand" translations, application of methods of formal and dynamic equivalence in translating religious scriptures....
AJ - Písemnictví, mas–media, audiovize
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Equivalence of three-dimensional Cauchy-Riemann manifolds and multisummability theory
We apply the multisummability theory from Dynamical Sys- tems to CR-geometry. As the main result, we show that two real-analytic hypersurfaces in C^2 are formally equivalent, if and only if they are C∞ CR-equivalent
Pure mathematics
- 2022 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
The Latin bonus - melior - optimus
is unsatisfactory not only from the formal point of view and for the lack of unambiguous equivalents, but mainly because it does not address the non-standard fact of suppletion at the level comparative vs. superlative (opt...
AI - Jazykověda
- 2016 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Constructions with the formal Object in German and their Counterparts in Czech
This article deals with German constructions with es in the function of formal object, their structures and equivalents in Czech. It tries to relate German structures with formal object to their Czech equivalents b...
AI - Jazykověda
- 2013 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Constructions with the formal object in German and their counterparts in Czech
This article deals with German constructions with es in the function of formal object, their structures and equivalents in Czech. It tries to relate German structures with formal object to their Czech equivalents b...
AI - Jazykověda
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
Logical vs. behavioural specifications
; the behavioural approach exploits various equivalence or refinement checking methods, provided the specifications are given in the same formalism as implementations. In this paper we provide translations between the logical fo...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Computational Simulation Formalized by String-Relation Systems
The paper formalizes and studies the similarity of rewriting processes in formal language models...
JC - Počítačový hardware a software
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
Computational Simulation Formalized by String-Relation Systems
The paper formalizes and studies the similarity of rewriting processes in formal language models.
JC - Počítačový hardware a software
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
Relaxed equivalence checking: a new challenge in logic synthesis
The functional equivalence has always been the integral part of virtually every logic synthesis tool. The formal equivalence checking represents a key process source code. Although formal equivalence check...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Diatopic variation in legal terminology. Analysis of legal neologisms in FranceTerme, the Grand dictionnaire terminologique, TERMIUM Plus® and TERMDAT
. On the one hand, there are equivalents showing mainly formal variation (syntactic), and, on the other hand, there are equivalents manifesting deeper differences (domestic terms vs borrowings from English, descrip...
Linguistics
- 2024 •
- JSC •
- Link
Rok uplatnění
JSC - Článek v periodiku v databázi SCOPUS
Výsledek na webu
- 1 - 10 out of 77 530