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