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