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