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