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