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/257)
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
257
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.
ecological systems theory
134.
economic theory
135.
end of theory
136.
energetic impact theory
137.
engaged theory
138.
enriched category theory
139.
Euler Bernoulli beams theory
140.
evolutionary theory of policy capacity
141.
Flow theory
142.
formal category theory
143.
formal language theory
144.
fully nonlinear potential theory
145.
game theory
146.
general systems theory
147.
general theory of information transfer
148.
general vibration theory
149.
graph theory
150.
gravitational waves / theory
151.
grounded theory
152.
group theory
153.
group threat theory
154.
higher-order beam theory
155.
History and Theory
156.
homotopy theory
157.
housemoney effect prospect theory
158.
iceberg theory of culture
159.
image theory
160.
information theory
161.
innovation theory
162.
institutional theory
163.
intellectual capital theory
164.
interdependence theory
165.
inverse problem theory/applications
166.
inverse problems theory/applications
167.
job search theory
168.
language theory
169.
Lawvere theory
170.
layer-wise displacement theory
171.
linear systems theory
172.
macro-foundational theory
173.
maritime investment theory
174.
mechanism design theory
175.
meso-foundational theory
176.
micro-foundational theory
177.
middle-range theory
178.
mindlin plate theory
179.
modern portfolio theory
180.
network theory
181.
nonlinear shallow water theory
182.
nonlinear shallow-water theory
183.
nonlinear strip theory
184.
nonlinear theory
185.
normal torsion theory
186.
number theory
187.
organismic integration theory
188.
organization theory
189.
organizational theory
190.
peer‐to‐peer theory
191.
perceived customer value theory
192.
phase field theory
193.
picture theory
194.
protection motivation theory
195.
proto-theory of design
196.
public administration theory
197.
punctuated equilibrium theory
198.
rational choice theory
199.
real options theory
200.
realization theory
201.
reduction theory
202.
refined zigzag theory
203.
regulatory focus theory
204.
sampling theory
205.
scapegoat theory
206.
search and matching theory
207.
self-determination theory
208.
self-determination theory of work motivation
209.
set theory
210.
shallow water theory
211.
shallow‐water theory
212.
sign theory
213.
signalling theory
214.
social exchange theory
215.
social identity theory
216.
social practice theory
217.
social presence theory
218.
social representation theory
219.
social system theory
220.
social systems theory
221.
sociological curriculum theory
222.
S-O-R theory
223.
speech-act theory
224.
stakeholder theory
225.
Stakeholder-oriented decision theory
226.
State Theory
227.
stimulus-organism-response theory
228.
stochastic learning theory
229.
strategic narrative theory
230.
strategic narrative theory
231.
Straussian theory model
232.
structuration theory
233.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
234.
switching theory
235.
synchronous reference frame theory
236.
system theory
237.
systems theory
238.
the RAT theory
239.
theory
240.
theory and practice of meta-modelling with application in healthcare
241.
theory building
242.
theory of accounting
243.
Theory of computation
244.
Theory Of Constraints (TOC)
245.
theory of economic development
246.
theory of inventive problem solving (TRIZ)
247.
theory of natural disaster
248.
Theory of paradox
249.
theory of planned behavior
250.
theory of planned behaviour
251.
theory of signs
252.
theory of value
253.
theory selection
254.
unified theory of acceptance and use of technology
255.
value theory
256.
virtual disc theory
257.
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