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
Otsing
Valitud kirjed
0
dependent type theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
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/236)
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
236
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.
calcium/calmodulin-dependent kinase kinase 2 (CaMKKb)
9.
cAMP-dependent protein kinase
10.
depth-dependent roughness
11.
frequency-dependent attenuation
12.
groundwater dependent ecosystems
13.
Rho-dependent protein kinase
14.
scale-dependent processes
15.
space-dependent coefficients
16.
space-dependent diffusivity
17.
time-dependent drift
18.
voltage dependent anion channel
19.
voltage-dependent anion channel VDAC
20.
Abel type integral equations
21.
atrium-type buildings
22.
Blackman- and Rogosinski-type approximation processes
23.
Blackman-type approximation processes
24.
Boussinesq-type equation
25.
Boussinesq-type equations
26.
case-type furniture
27.
cell type-specific gene expression
28.
cosine-type approximation processes
29.
direct matrix type
30.
DyP-type peroxidases
31.
effect of cellulose type and DP
32.
electrode type
33.
entity type
34.
flow of the “gas–solid particles” type
35.
fluorite-type fluorides
36.
Gauss-Newton-type methods
37.
Gauss–Newton-type methods
38.
generalized Kantorovich-type sampling operators
39.
grounding type
40.
hypercholesterolemia type II
41.
ideal type
42.
industry type
43.
massive machine type communication (mMTC)
44.
massive machine-type communication (mMTC)
45.
massive machine-type communications (mMTC)
46.
massive Machine-Type connections (mMTC)
47.
mixed type building
48.
multi-type dislocation substructure
49.
narcolepsy type 1
50.
optical water type
51.
Piston type wave maker
52.
porcine circovirus type 2 (PCV2) ORF3
53.
porcine circovirus type-2
54.
proprotein convertase subtilisin/kexin type 9
55.
proprotein convertase subtilisin−kexin type (9PCSK9)
56.
p-type 4H-SiC
57.
p-type transparent semiconductor
58.
quasi-impedance-source inverter (3L-T-type qZS inverter)
59.
quasi-impedance-source T-type inverters
60.
recurrence type
61.
Reetz-Keck-type allylation
62.
Rogosinski-type approximation processes
63.
R-type anion currents
64.
singular integral of Fejér's type
65.
Swiss-type cheese
66.
three-level T-type
67.
three-level T-type inverter
68.
timber saddle-shaped (hypar-type) shell roof
69.
transparent p-type electrode
70.
T-type inverter
71.
type
72.
type 2 diabetes mellitus
73.
type I collagen
74.
type Q semigroups
75.
type V hyperlipidemia
76.
type vs. occurrence-referential notations
77.
type vs. occurrence-referentiality
78.
type-2-diabetes
79.
type-driven development
80.
WordNet type dictionaries
81.
3-level T-type inverter
82.
a coherent theory of proofs
83.
activity theory
84.
adaptive structuration theory (AST)
85.
algebraic number theory
86.
algebraic theory
87.
algorithm design and theory
88.
beam theory
89.
behavioral reasoning theory
90.
bicategory theory
91.
Boolean Algebra Meets Graph-Theory
92.
catastrophe theory
93.
category theory
94.
chaos theory
95.
coding theory
96.
cognitive theory
97.
commitment theory
98.
communication channels (information theory)
99.
complexity leadership theory
100.
complexity theory
101.
computation theory
102.
computer softwaregraph theory
103.
conservation of resources theory
104.
Consumer Culture Theory
105.
control theory
106.
Cooper-Helmstetter cell cycle theory
107.
cosmology: theory
108.
critical theory of technology
109.
cultural theory of international relations
110.
dark matter theory
111.
decision theory
112.
Dempster-Shafer theory
113.
Demster-Shafer Theory
114.
density functional theory
115.
density functional theory (DFT)
116.
design theory
117.
development theory
118.
Digital Government Theory: Development and Application
119.
dispersive theory
120.
domain theory
121.
ecological systems theory
122.
economic theory
123.
end of theory
124.
energetic impact theory
125.
enriched category theory
126.
Euler Bernoulli beams theory
127.
evolutionary theory of policy capacity
128.
Flow theory
129.
formal category theory
130.
formal language theory
131.
fully nonlinear potential theory
132.
game theory
133.
general systems theory
134.
general theory of information transfer
135.
general vibration theory
136.
graph theory
137.
gravitational waves / theory
138.
grounded theory
139.
group theory
140.
group threat theory
141.
higher-order beam theory
142.
History and Theory
143.
homotopy theory
144.
housemoney effect prospect theory
145.
iceberg theory of culture
146.
image theory
147.
information theory
148.
innovation theory
149.
institutional theory
150.
intellectual capital theory
151.
interdependence theory
152.
inverse problem theory/applications
153.
inverse problems theory/applications
154.
job search theory
155.
Lawvere theory
156.
layer-wise displacement theory
157.
linear systems theory
158.
maritime investment theory
159.
mechanism design theory
160.
middle-range theory
161.
modern portfolio theory
162.
network theory
163.
nonlinear shallow water theory
164.
nonlinear shallow-water theory
165.
nonlinear strip theory
166.
nonlinear theory
167.
normal torsion theory
168.
number theory
169.
organization theory
170.
organizational theory
171.
peer‐to‐peer theory
172.
perceived customer value theory
173.
phase field theory
174.
picture theory
175.
protection motivation theory
176.
proto-theory of design
177.
punctuated equilibrium theory
178.
rational choice theory
179.
real options theory
180.
realization theory
181.
reduction theory
182.
refined zigzag theory
183.
regulatory focus theory
184.
sampling theory
185.
scapegoat theory
186.
search and matching theory
187.
self-determination theory
188.
self-determination theory of work motivation
189.
set theory
190.
shallow water theory
191.
shallow‐water theory
192.
sign theory
193.
signalling theory
194.
social exchange theory
195.
social identity theory
196.
social practice theory
197.
social presence theory
198.
social representation theory
199.
social system theory
200.
social systems theory
201.
sociological curriculum theory
202.
S-O-R theory
203.
speech-act theory
204.
stakeholder theory
205.
Stakeholder-oriented decision theory
206.
State Theory
207.
stimulus-organism-response theory
208.
stochastic learning theory
209.
strategic narrative theory
210.
strategic narrative theory
211.
Straussian theory model
212.
structuration theory
213.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
214.
switching theory
215.
synchronous reference frame theory
216.
system theory
217.
systems theory
218.
the RAT theory
219.
theory
220.
theory and practice of meta-modelling with application in healthcare
221.
theory building
222.
theory of accounting
223.
Theory of computation
224.
Theory Of Constraints (TOC)
225.
theory of economic development
226.
theory of inventive problem solving (TRIZ)
227.
theory of natural disaster
228.
Theory of paradox
229.
theory of planned behavior
230.
theory of planned behaviour
231.
theory of signs
232.
theory of value
233.
unified theory of acceptance and use of technology
234.
value theory
235.
virtual disc theory
236.
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