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
Liitotsing
Valitud kirjed
0
delimited control operators (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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
1
Vaata veel..
(1/357)
Ekspordi
ekspordi kõik päringu tulemused
(1)
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 kogumikus EST
/
artikkel kogumikus ENG
A direct version of Veldman's proof of open induction on cantor space via delimited control operators
Ilik, Danko
;
Nakata, Keiko
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France
2014
/
p. 188-201
https://doi.org/10.4230/LIPIcs.TYPES.2013.188
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
357
1.
delimited control operators
2.
finite control set-model predictive control (FCS-MPC)
3.
modulated finite control set-model predictive control
4.
bounded operators in Hilbert space
5.
exponential sampling operators
6.
generalized Kantorovich-type sampling operators
7.
generalized sampling operators
8.
linear matrix operators
9.
Mutation and crossover operators
10.
mutation operators
11.
nabla and delta operators
12.
positive linear operators
13.
truncated generalized sampling operators
14.
access control
15.
active thermal control
16.
adaptive control
17.
adaptive control systems
18.
adaptive droop control
19.
advanced control
20.
air traffic control
21.
aircraft control
22.
attitude determination and control
23.
automated control
24.
automatic control
25.
automatic control systems
26.
Automatic generation control
27.
automatic voltage control
28.
average current mode control
29.
BESS Control Strategy
30.
bidirectional power flow control
31.
Bilateral output feedback control
32.
blood pressure control
33.
bottom-up control
34.
boundary control
35.
Building Automation and Control System (BACS)
36.
building automation and control systems
37.
case–control
38.
case-control studies
39.
centralized control
40.
centralized control system
41.
change of control
42.
chaos control
43.
chelation control
44.
climate control
45.
climate control in historic buildings
46.
closed loop control
47.
closed-loop control
48.
cognitive control
49.
command and control systems
50.
composite winding density control
51.
computer control
52.
concurrency control
53.
congestion control
54.
construction planning and control
55.
consultation command and control
56.
continuous control set
57.
control
58.
control algorithm
59.
Control allocation
60.
control and data path tests
61.
control applications
62.
control architecture
63.
control design
64.
control engineering computer applications
65.
control fault models
66.
control faults
67.
control function
68.
control interactions
69.
control manholes
70.
control methodology
71.
control methods
72.
control modes
73.
control nonlinearities
74.
control objectives
75.
control of multilevel converters
76.
control optimization
77.
control part
78.
control problems
79.
control reconfiguration
80.
control strategy
81.
control system
82.
control system analysis
83.
control system design
84.
control system for grid integration
85.
control system stability
86.
control system synthesis
87.
control systems
88.
control systems commissioning
89.
control systems design
90.
control theory
91.
control valve characteristic
92.
converter control
93.
coordinated control
94.
cost-effective heating control
95.
crack control
96.
critical control points
97.
current control
98.
data-driven control
99.
dc droop control
100.
DC -link control
101.
DC-link control
102.
dc-link voltage control
103.
deadbeat control
104.
decentralized model predictive control
105.
delay control systems
106.
detailed control modelling
107.
diffuse pollution control
108.
digital control
109.
digital control systems
110.
digital current mode control
111.
direct field-oriented control (DFOC)
112.
direct torque control
113.
direct torque control (DTC)
114.
discrete time control systems
115.
distributed average integral control
116.
distributed control
117.
disturbance rejection control
118.
droop control
119.
droop control bandwidth
120.
droop current control
121.
droplet generation rate control
122.
droplet size control
123.
duty cycle control
124.
dynamic control
125.
efficient control strategy
126.
electric control equipment
127.
electric machine control
128.
electric power system control
129.
electric variables control
130.
embedded control
131.
emission control
132.
emission control area (ECA)
133.
emission control areas
134.
encoderless control
135.
energy control
136.
energy control unit (ECU)
137.
equiaxed grain control
138.
equivalent control
139.
EU merger control
140.
eutrophication control
141.
event-based control
142.
event-triggered control
143.
export control
144.
fault tolerant control
145.
fault-tolerant control
146.
feedback control
147.
feeder-side control
148.
feedforward control
149.
field-oriented control
150.
fire control by climate
151.
flag state control
152.
flatness-based control
153.
flight control
154.
flow rate control
155.
fluid flow control
156.
fluid flow control
157.
flux control
158.
FOPID retuning control
159.
force control
160.
fractional control
161.
fractional control implementation
162.
fractional PID control
163.
fractional-order pid control
164.
fractional-order sliding mode control
165.
free predictive control
166.
frequency control
167.
frequency deviation control
168.
fuzzy control
169.
fuzzy logic control
170.
Gain control
171.
general control modulo of the oscillatory behavior
172.
geometric control
173.
grid-forming control
174.
Health locus-of-control
175.
hierarchical control
176.
high-level control fault model
177.
high-level control faults
178.
hydraulic control
179.
hysteresis current control
180.
industrial control
181.
industrial control system (ICS)
182.
industrial control systems
183.
Industrial Control Systems (ICS)
184.
Infection control
185.
information control
186.
information flow control
187.
intelligent control
188.
intelligent lighting control
189.
interfacing and control of renewable
190.
interleaved control
191.
internal control
192.
inventory control
193.
iterative modelling and control design
194.
judicial control
195.
level control
196.
lighting control
197.
linear control system
198.
load control
199.
load frequency control
200.
load frequency control (LFC)
201.
locomotion control
202.
locus of control
203.
low-level control system transportation
204.
LQG control
205.
LQR control
206.
machine control
207.
machine vector control
208.
management control systems
209.
master-slave control
210.
maximum boost control
211.
mechatronics system control
212.
Media Access Control (MAC)
213.
medium access control
214.
medium access control (MAC)
215.
merger control
216.
metabolic control analysis
217.
minimax control
218.
model predictive control
219.
model predictive control (MPC)
220.
model reference adaptive control
221.
model-based control
222.
model-free control
223.
modeling for control
224.
moisture control
225.
monlinear control systems
226.
motion control
227.
motor control
228.
multi-loop model reference control
229.
multimode control
230.
multi-mode control
231.
multi-rate control
232.
multivariable control
233.
multivariable control systems
234.
Networked control systems
235.
networked control systems (NCSs)
236.
neural fuzzy modelling control
237.
noise control
238.
nonlinear control
239.
nonlinear control strategy
240.
nonlinear control system
241.
nonlinear control systems
242.
nonlinear model predictive control
243.
optimal control
244.
optimal control systems
245.
output control
246.
output feedback control
247.
partial control of emergent behavior
248.
passive flow control
249.
passive solar control
250.
passivity based control
251.
passivity-based control (PBC)
252.
PD control
253.
peak current mode control
254.
perceived behavioral control
255.
pest control
256.
phase control
257.
physical control channels
258.
PI control
259.
PI control parameters
260.
pid control
261.
piecewise linear droop control
262.
planning and control
263.
PlcOpen motion control function blocks
264.
pollution control
265.
port state control
266.
power based control
267.
power control
268.
power distribution control
269.
power system control
270.
PR control
271.
predictive control
272.
predictive torque control
273.
pressure control
274.
pressure control valve
275.
pre-symptomatic period risk control
276.
prevention and control
277.
price based control
278.
price based control of industrial processes
279.
primary droop control
280.
process control
281.
production control
282.
programmable control
283.
proportional control systems
284.
proportional–integral–derivative (PID) control
285.
pulse control
286.
PWM control
287.
quality assurance and control
288.
quality control
289.
quality control plan
290.
randomized control trial
291.
rapid control prototyping
292.
reactive power control
293.
real time control
294.
remote control
295.
renewable sources control
296.
resonant control
297.
retuning control
298.
ripple-based control
299.
robot control
300.
robotic control
301.
robust control
302.
rule-based control
303.
SECA "Sulphur Emission Control Area"
304.
SECA (sulphur emission control areas) regulations
305.
secondary control
306.
segmented control
307.
sense of control
308.
sensorless control
309.
shading control principles
310.
shootthrough control methods
311.
shoot-through control methods
312.
SISO control
313.
sliding mode control
314.
sliding model control
315.
slip control
316.
sole control
317.
sound volume control
318.
stabilizing control
319.
state-feedback control
320.
stochastic control
321.
stormwater inlet control
322.
supervisory control and data acquisition (SCADA)
323.
switching control method
324.
Synthetic inertia control (SIC)
325.
temperature control
326.
thermal variables control
327.
three term control systems
328.
topographic control
329.
topology morphing control
330.
topology morphing control (TMC)
331.
topology/power control
332.
torque control
333.
towing carriage control
334.
tracking control
335.
traffic control
336.
traffic signal control
337.
trajectory control
338.
transmission control protocol
339.
triple-loop control
340.
two term control systems
341.
two-term control
342.
ultralocal model (ULM) control
343.
unfolding-control
344.
uplink control channel design
345.
vector control
346.
version control
347.
vibration control
348.
Wide-Area control
349.
wind turbine control
350.
winding process control
351.
wireless networked control systems
352.
virtual inertia control
353.
volt/VAR control
354.
voltage control
355.
voltage mode control
356.
voltage-oriented control (VOC)
357.
work locus of control
×
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