Filters
Can Objects Have Dependent Types?
Type discipline on type systems equipped with dependent types allows for checking more refined properties of programs at static time. This paper elaborates on the construction of the type system with dependent ...
JC - Počítačový hardware a software
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
Types of behaviour, personality types and their relation to health
The paper offers an overview on the latest development of research focused on behaviour types, personality types and their relation to health....
AN - Psychologie
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Realising Some Types While Omitting Others
Main topics of the document: saturated models; omotting types; realizing types...
Pure mathematics
- 2018 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Bernoulli potential in type-I and weak type-II superconductors: I. Surface charge
Bernoulli potential in type-I and weak type-II superconductors: I. Surface charge...
BM - Fyzika pevných látek a magnetismus
- 2004 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Bernoulli potential in type-I and weak type-II superconductors: II. Surface dipole
Bernoulli potential in type-I and weak type-II superconductors: II. Surface dipole...
BM - Fyzika pevných látek a magnetismus
- 2004 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Fitch's Paradox of Knowability, Typing Knowledge and Ramified Theory of Types
It is already known that Fitch's paradox of knowability can be solved by typing knowledge. Distinguishing Russellian typing from - a bit derivative - Tarskian typing I attempt to defend the approach against recently raised ...
AA - Filosofie a náboženství
- 2013 •
- O
Rok uplatnění
O - Ostatní výsledky
Apatite internal structure and estimation of initzial fluorine concentration in the Western Carpathian granitoids
apatite; black apatite;fluorine;S-type granites;I-type granites;A-type granites...
DB - Geologie a mineralogie
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Additive Types in Quantitative Type Theory
Dependent type theories enable us to reason about properties of our programs, while substructural type theories enable us to reason about their resource use. Quantitative type theory seamlessly combines dependent and substr...
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
The Ideal-Type in the Work of Max Weber
-type into the context of Weber`s conception of reality and methodology. Weber`s conception of the ideal-type is compared with Durhheim`s conception of the social type. The second part of the paper is devoted to Weber`s ide...
AO - Sociologie, demografie
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Landscape character types of the Czech Republic
In the Czech republic there were distinguished types of landsape character on the base of combination of 7 types of settlement history, 7 types of landuse and 20 types of georelief. Theoretically 980 types...
DE - Zemský magnetismus, geodesie, geografie
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 104 325