Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
dependent type theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
3
Vaata veel..
(1/208)
Ekspordi
ekspordi kõik päringu tulemused
(3)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
Bicategories in univalent foundations
Ahrens, Benedikt
;
Frumin, Dan
;
Maggesi, Marco
;
Veltri, Niccolo
;
Weide, Niels van der
arXiv.org
2020
/
32 p
https://doi.org/10.4230/LIPIcs.FSCD.2019.5
artikkel ajakirjas
2
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Bicategories in univalent foundations
Ahrens, Benedikt
;
Frumin, Dan
;
Maggesi, Marco
;
Veltri, Niccolò
;
Weide, Niels van der
Mathematical Structures in Computer Science
2022
https://doi.org/10.1017/S0960129522000032
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
3
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Mannaa, Bassel
;
Mogelberg, Rasmus Ejlers
;
Veltri, Niccolo
Logical Methods in Computer Science
2020
/
p. 17:1 - 17:31
https://doi.org/10.23638/LMCS-16(4:17)2020
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 3, kuvan
1 - 3
võtmesõna
208
1.
dependent type theory
2.
time-dependent density functional theory (TD-DFT)
3.
homotopy type theory
4.
ticked cubical type theory
5.
type theory
6.
three-level T-type quasi-impedance-source inverter (3L-T-type qZSI)
7.
activity-dependent
8.
cAMP-dependent protein kinase
9.
depth-dependent roughness
10.
frequency-dependent attenuation
11.
groundwater dependent ecosystems
12.
Rho-dependent protein kinase
13.
scale-dependent processes
14.
space-dependent coefficients
15.
space-dependent diffusivity
16.
time-dependent drift
17.
voltage-dependent anion channel VDAC
18.
Abel type integral equations
19.
atrium-type buildings
20.
Blackman- and Rogosinski-type approximation processes
21.
Blackman-type approximation processes
22.
Boussinesq-type equation
23.
Boussinesq-type equations
24.
case-type furniture
25.
cell type-specific gene expression
26.
cosine-type approximation processes
27.
direct matrix type
28.
electrode type
29.
entity type
30.
flow of the “gas–solid particles” type
31.
fluorite-type fluorides
32.
Gauss-Newton-type methods
33.
Gauss–Newton-type methods
34.
generalized Kantorovich-type sampling operators
35.
ideal type
36.
massive machine-type communication (mMTC)
37.
massive machine-type communications (mMTC)
38.
massive Machine-Type connections (mMTC)
39.
mixed type building
40.
multi-type dislocation substructure
41.
narcolepsy type 1
42.
optical water type
43.
Piston type wave maker
44.
porcine circovirus type 2 (PCV2) ORF3
45.
porcine circovirus type-2
46.
proprotein convertase subtilisin/kexin type 9
47.
proprotein convertase subtilisin−kexin type (9PCSK9)
48.
p-type 4H-SiC
49.
p-type transparent semiconductor
50.
quasi-impedance-source inverter (3L-T-type qZS inverter)
51.
quasi-impedance-source T-type inverters
52.
Reetz-Keck-type allylation
53.
Rogosinski-type approximation processes
54.
R-type anion currents
55.
singular integral of Fejér's type
56.
three-level T-type
57.
three-level T-type inverter
58.
timber saddle-shaped (hypar-type) shell roof
59.
transparent p-type electrode
60.
T-type inverter
61.
type 2 diabetes mellitus
62.
type I collagen
63.
type Q semigroups
64.
type V hyperlipidemia
65.
type vs. occurrence-referential notations
66.
type vs. occurrence-referentiality
67.
type-2-diabetes
68.
WordNet type dictionaries
69.
3-level T-type inverter
70.
a coherent theory of proofs
71.
activity theory
72.
adaptive structuration theory (AST)
73.
algebraic theory
74.
algorithm design and theory
75.
beam theory
76.
bicategory theory
77.
catastrophe theory
78.
category theory
79.
chaos theory
80.
coding theory
81.
cognitive theory
82.
commitment theory
83.
communication channels (information theory)
84.
complexity leadership theory
85.
complexity theory
86.
computer softwaregraph theory
87.
conservation of resources theory
88.
Consumer Culture Theory
89.
control theory
90.
Cooper-Helmstetter cell cycle theory
91.
cosmology: theory
92.
critical theory of technology
93.
cultural theory of international relations
94.
dark matter theory
95.
decision theory
96.
Dempster-Shafer theory
97.
Demster-Shafer Theory
98.
density functional theory
99.
design theory
100.
development theory
101.
Digital Government Theory: Development and Application
102.
dispersive theory
103.
domain theory
104.
ecological systems theory
105.
economic theory
106.
end of theory
107.
energetic impact theory
108.
evolutionary theory of policy capacity
109.
Flow theory
110.
formal language theory
111.
fully nonlinear potential theory
112.
game theory
113.
general systems theory
114.
general theory of information transfer
115.
general vibration theory
116.
graph theory
117.
gravitational waves / theory
118.
grounded theory
119.
group theory
120.
group threat theory
121.
higher-order beam theory
122.
History and Theory
123.
housemoney effect prospect theory
124.
iceberg theory of culture
125.
image theory
126.
information theory
127.
innovation theory
128.
institutional theory
129.
intellectual capital theory
130.
interdependence theory
131.
inverse problem theory/applications
132.
inverse problems theory/applications
133.
job search theory
134.
Lawvere theory
135.
layer-wise displacement theory
136.
linear systems theory
137.
maritime investment theory
138.
mechanism design theory
139.
middle-range theory
140.
modern portfolio theory
141.
network theory
142.
nonlinear shallow water theory
143.
nonlinear shallow-water theory
144.
nonlinear strip theory
145.
nonlinear theory
146.
normal torsion theory
147.
number theory
148.
organization theory
149.
organizational theory
150.
peer‐to‐peer theory
151.
perceived customer value theory
152.
phase field theory
153.
picture theory
154.
protection motivation theory
155.
proto-theory of design
156.
punctuated equilibrium theory
157.
rational choice theory
158.
real options theory
159.
realization theory
160.
refined zigzag theory
161.
regulatory focus theory
162.
sampling theory
163.
scapegoat theory
164.
search and matching theory
165.
self-determination theory
166.
self-determination theory of work motivation
167.
shallow water theory
168.
shallow‐water theory
169.
sign theory
170.
signalling theory
171.
social identity theory
172.
social practice theory
173.
social presence theory
174.
social representation theory
175.
social system theory
176.
social systems theory
177.
sociological curriculum theory
178.
speech-act theory
179.
stakeholder theory
180.
Stakeholder-oriented decision theory
181.
State Theory
182.
stimulus-organism-response theory
183.
stochastic learning theory
184.
strategic narrative theory
185.
strategic narrative theory
186.
Straussian theory model
187.
structuration theory
188.
switching theory
189.
synchronous reference frame theory
190.
system theory
191.
systems theory
192.
the RAT theory
193.
theory
194.
theory and practice of meta-modelling with application in healthcare
195.
theory of accounting
196.
Theory Of Constraints (TOC)
197.
theory of economic development
198.
theory of inventive problem solving (TRIZ)
199.
theory of natural disaster
200.
Theory of paradox
201.
theory of planned behavior
202.
theory of planned behaviour
203.
theory of signs
204.
theory of value
205.
unified theory of acceptance and use of technology
206.
value theory
207.
virtual disc theory
208.
2D+T theory
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT