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/251)
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
251
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.
spoke-type PM machine
66.
Swiss-type cheese
67.
three-level T-type
68.
three-level T-type inverter
69.
timber saddle-shaped (hypar-type) shell roof
70.
transparent p-type electrode
71.
T-type inverter
72.
type
73.
type 2 diabetes mellitus
74.
type I collagen
75.
type Q semigroups
76.
type V hyperlipidemia
77.
type vs. occurrence-referential notations
78.
type vs. occurrence-referentiality
79.
type-2-diabetes
80.
type-driven development
81.
WordNet type dictionaries
82.
3-level T-type inverter
83.
a coherent theory of proofs
84.
activity theory
85.
adaptive structuration theory (AST)
86.
algebraic number theory
87.
algebraic theory
88.
algorithm design and theory
89.
beam theory
90.
behavioral reasoning theory
91.
bicategory theory
92.
Biot theory
93.
Bond theory
94.
Boolean Algebra Meets Graph-Theory
95.
catastrophe theory
96.
category theory
97.
chaos theory
98.
coding theory
99.
cognitive theory
100.
commitment theory
101.
communication channels (information theory)
102.
Complex systems theory
103.
complexity leadership theory
104.
complexity theory
105.
computation theory
106.
computer softwaregraph theory
107.
conservation of resources theory
108.
Consumer Culture Theory
109.
control and systems theory
110.
control theory
111.
Cooper-Helmstetter cell cycle theory
112.
cosmology theory
113.
cosmology: theory
114.
critical theory of technology
115.
cultural theory of international relations
116.
dark matter theory
117.
decision theory
118.
Dempster-Shafer theory
119.
Demster-Shafer Theory
120.
density functional theory
121.
density functional theory (DFT)
122.
design theory
123.
development theory
124.
Digital Government Theory: Development and Application
125.
dispersive theory
126.
domain theory
127.
ecological systems theory
128.
economic theory
129.
end of theory
130.
energetic impact theory
131.
engaged theory
132.
enriched category theory
133.
Euler Bernoulli beams theory
134.
evolutionary theory of policy capacity
135.
Flow theory
136.
formal category theory
137.
formal language theory
138.
fully nonlinear potential theory
139.
game theory
140.
general systems theory
141.
general theory of information transfer
142.
general vibration theory
143.
graph theory
144.
gravitational waves / theory
145.
grounded theory
146.
group theory
147.
group threat theory
148.
higher-order beam theory
149.
History and Theory
150.
homotopy theory
151.
housemoney effect prospect theory
152.
iceberg theory of culture
153.
image theory
154.
information theory
155.
innovation theory
156.
institutional theory
157.
intellectual capital theory
158.
interdependence theory
159.
inverse problem theory/applications
160.
inverse problems theory/applications
161.
job search theory
162.
language theory
163.
Lawvere theory
164.
layer-wise displacement theory
165.
linear systems theory
166.
macro-foundational theory
167.
maritime investment theory
168.
mechanism design theory
169.
meso-foundational theory
170.
micro-foundational theory
171.
middle-range theory
172.
mindlin plate theory
173.
modern portfolio theory
174.
network theory
175.
nonlinear shallow water theory
176.
nonlinear shallow-water theory
177.
nonlinear strip theory
178.
nonlinear theory
179.
normal torsion theory
180.
number theory
181.
organismic integration theory
182.
organization theory
183.
organizational theory
184.
peer‐to‐peer theory
185.
perceived customer value theory
186.
phase field theory
187.
picture theory
188.
protection motivation theory
189.
proto-theory of design
190.
public administration theory
191.
punctuated equilibrium theory
192.
rational choice theory
193.
real options theory
194.
realization theory
195.
reduction theory
196.
refined zigzag theory
197.
regulatory focus theory
198.
sampling theory
199.
scapegoat theory
200.
search and matching theory
201.
self-determination theory
202.
self-determination theory of work motivation
203.
set theory
204.
shallow water theory
205.
shallow‐water theory
206.
sign theory
207.
signalling theory
208.
social exchange theory
209.
social identity theory
210.
social practice theory
211.
social presence theory
212.
social representation theory
213.
social system theory
214.
social systems theory
215.
sociological curriculum theory
216.
S-O-R theory
217.
speech-act theory
218.
stakeholder theory
219.
Stakeholder-oriented decision theory
220.
State Theory
221.
stimulus-organism-response theory
222.
stochastic learning theory
223.
strategic narrative theory
224.
strategic narrative theory
225.
Straussian theory model
226.
structuration theory
227.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
228.
switching theory
229.
synchronous reference frame theory
230.
system theory
231.
systems theory
232.
the RAT theory
233.
theory
234.
theory and practice of meta-modelling with application in healthcare
235.
theory building
236.
theory of accounting
237.
Theory of computation
238.
Theory Of Constraints (TOC)
239.
theory of economic development
240.
theory of inventive problem solving (TRIZ)
241.
theory of natural disaster
242.
Theory of paradox
243.
theory of planned behavior
244.
theory of planned behaviour
245.
theory of signs
246.
theory of value
247.
theory selection
248.
unified theory of acceptance and use of technology
249.
value theory
250.
virtual disc theory
251.
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