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
linear-time logics (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..
(2/265)
Ekspordi
ekspordi kõik päringu tulemused
(1)
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 kogumikus EST
/
artikkel kogumikus ENG
Specification and verification of a linear-time temporal logic for graph transformation
Gadducci, Fabio
;
Laretto, Andrea
;
Trotta, Davide
Graph transformation, 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023 : Proceedings
2023
/
p. 22-42 : ill
https://doi.org/10.1007/978-3-031-36709-0_2
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
264
1.
linear-time logics
2.
continuous time linear switched systems
3.
linear discrete-time systems
4.
intuitive logics school
5.
substructural logics
6.
temporal logics
7.
bounded linear operator
8.
degenerate and infeasible linear programming problems
9.
electron linear accelerator
10.
graphical linear algebra
11.
hyper-branched linear low density PE
12.
initial solution to the linear programming problem
13.
integer linear programming
14.
integer linear programming (ILP)
15.
linear
16.
linear accelerator
17.
linear accelerators
18.
linear and nonlinear unsupervised methods
19.
linear belt
20.
linear control system
21.
linear Delta robot
22.
linear Delta robots neural network based model
23.
linear diagram
24.
linear diagrams
25.
linear dynamic equation
26.
linear free energy (LFE) relationships
27.
linear heat density
28.
linear induction motor
29.
linear inequalities
30.
linear integer programming
31.
linear least squares
32.
linear logic
33.
Linear low-density polyethylene
34.
linear matrix inequalities
35.
linear matrix inequality
36.
linear matrix operators
37.
linear measure
38.
linear mixed models
39.
linear models
40.
linear notations
41.
linear oscillating electromagnetic force
42.
linear parameter-varying systems
43.
linear polyethylene (LPE)
44.
linear programming
45.
linear quadratic regulator
46.
linear regression
47.
Linear singular Volterra equations
48.
linear systems
49.
linear systems theory
50.
linear thermal transmittance
51.
linear transformations
52.
linear waves
53.
Linear-Quadratic-Gaussian (LQG) controller
54.
mixed integer linear programming
55.
mixed integer linear programming (MILP)
56.
mixed-integer linear programming
57.
Multiple Linear Regression
58.
non linear eigenvalues
59.
non-linear
60.
non-linear calculation
61.
non-linear circuit
62.
non-linear equations
63.
non‐linear estimation
64.
non-linear impedance
65.
non-linear internationalization process
66.
non-linear least squares
67.
non-linear mathematics
68.
non-linear models
69.
non-linear regime
70.
non-linear stiffness
71.
nonnegative solution to the system of linear equations
72.
piecewise linear droop control
73.
positive linear operators
74.
pseudo-linear algebra
75.
Random Parameter Linear Regression Model (RPLRM)
76.
Recursive linear algebra
77.
rule-based non-linear optimization
78.
solving linear programming problems
79.
system of linear inequalities
80.
accident time
81.
arrow of time
82.
berthing time optimization
83.
cargo handling time prediction
84.
communication delay time
85.
communication-time circuits
86.
communication-time processing
87.
continuous- and discrete-time systems
88.
continuous time
89.
Continuous Time Markov Chain
90.
continuous time systems
91.
coupled time fractional order reaction–advection–diffusion systems
92.
coupled time fractional PDEs
93.
daylight saving time
94.
dead time optimization
95.
dead-time effect
96.
delayed time reversal
97.
delayed time reversal-nonlinear elastic wave spectroscopy
98.
demand time pattern
99.
digital real time simulation
100.
digital time-stamping
101.
discrete time
102.
discrete time control systems
103.
discrete time filtering
104.
discrete time switched systems
105.
discrete-time
106.
discrete-time system
107.
discrete-time systems
108.
discrete-time systemsstability area
109.
door-to-needle time
110.
dwell-time calculations
111.
dynamic time warping
112.
dynamic time warping (DTW)
113.
effective travel time
114.
elastic reverse time migration
115.
execution time
116.
failure in time
117.
failure time
118.
fall‐off time
119.
fast response time
120.
fatigue time
121.
finite correlation time
122.
finite-time compressibility
123.
finite-time Lyapunov exponent
124.
forward and reversed time-series
125.
groundwater residence time
126.
holdup time
127.
homogeneous time scale
128.
implicit and explicit time integration
129.
interval time delay
130.
Irregular multivariate time series
131.
just-in-time
132.
Just-in-Time manufacturing
133.
lead time
134.
long time behaviour
135.
manufacturing-time attack
136.
millennial time-scale
137.
multivariate time-series
138.
night-time ventilation
139.
nonlinear discrete-time systems
140.
nonlinear time series
141.
nonlinear time-varying factor model
142.
nonmonotonic time response (NMTR)
143.
objective time
144.
part-time employment
145.
payback time
146.
peak migration time compensation
147.
programming time
148.
pulse arrival time
149.
reaction time
150.
real time
151.
real time control
152.
real time feedback
153.
real time information
154.
real time measurements
155.
real time monitoring process
156.
real time simulation
157.
real time tracking
158.
real-time
159.
Real-time Analysis
160.
real-time application
161.
real-time availability
162.
real-time collision monitoring
163.
real-time communication
164.
real-time data
165.
real-time data collection
166.
real-time database systems
167.
real-time demands
168.
real-time diagnosis
169.
real-time digital simulator
170.
real-time economy
171.
real-time environmental performance feedback
172.
real-time feedback
173.
real-time feed-back
174.
real-time HiL testing
175.
real-time image segmentation
176.
real-time information
177.
real-time kinematic (RTK)
178.
real-time measurement
179.
real-time monitoring
180.
real-time prices
181.
real-time pricing
182.
real-time room temperature test
183.
real-time simulation
184.
real-time simulations
185.
real-time systems
186.
real-time tariff system
187.
real-time tracking
188.
real-time water fluxes
189.
real-time vibration analysis
190.
real-time visualization
191.
residence time
192.
response time (RT)
193.
reverse recovery time
194.
screen time management
195.
settling time
196.
short-time chirps
197.
signal real-time reconstruction
198.
social time
199.
space–time modeling
200.
start time of charring
201.
subjective time
202.
systems on time scales
203.
TDABC (time-driven ABC)
204.
time
205.
time analysis
206.
time constant
207.
time correlations
208.
time delay
209.
time delay systems
210.
time division multiple access (TDMA)
211.
time domain analysis
212.
time efficiency
213.
Time factors
214.
time lags
215.
time log
216.
time management
217.
Time measurement
218.
Time of Use energy price
219.
time of use rates
220.
time scale
221.
time scale calculus
222.
time scales
223.
time semantics
224.
time sensitive networking
225.
time sensitivity
226.
time series
227.
time series analysis
228.
time series database
229.
time series forecasting
230.
time series of meteorological parameters
231.
time series to frequency transformation
232.
time series variations
233.
time zone
234.
time use
235.
time variant bioimpedance
236.
time-aware modelling
237.
time-awareness
238.
time-averaged concentration
239.
time-averaged models
240.
time-delay renewable power systems
241.
time-delay systems
242.
time-dependent density functional theory (TD-DFT)
243.
time-dependent drift
244.
time-domain design
245.
time-domain reflectometry
246.
time-driven activity-based costing
247.
time-driven activity-based costing, TDABC
248.
time-fractional PDEs
249.
time-reversal
250.
time-selective data fusion
251.
time-sensitive interactions
252.
Time-sensitive networking
253.
time-series forecasting
254.
time-sharing
255.
time-to-digital converter (TDC)
256.
time-varying boundary conditions
257.
time-varying phasors
258.
time-varying systems
259.
transit time
260.
travel time
261.
travel time estimation
262.
travel time model
263.
volt-time characteristic
264.
working time
autor
1
1.
Time, Berit
×
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