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