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