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