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/264)
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
263
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.
effective travel time
113.
elastic reverse time migration
114.
execution time
115.
failure in time
116.
failure time
117.
fall‐off time
118.
fast response time
119.
fatigue time
120.
finite correlation time
121.
finite-time compressibility
122.
finite-time Lyapunov exponent
123.
forward and reversed time-series
124.
groundwater residence time
125.
holdup time
126.
homogeneous time scale
127.
implicit and explicit time integration
128.
interval time delay
129.
Irregular multivariate time series
130.
just-in-time
131.
Just-in-Time manufacturing
132.
lead time
133.
long time behaviour
134.
manufacturing-time attack
135.
millennial time-scale
136.
multivariate time-series
137.
night-time ventilation
138.
nonlinear discrete-time systems
139.
nonlinear time series
140.
nonlinear time-varying factor model
141.
nonmonotonic time response (NMTR)
142.
objective time
143.
part-time employment
144.
payback time
145.
peak migration time compensation
146.
programming time
147.
pulse arrival time
148.
reaction time
149.
real time
150.
real time control
151.
real time feedback
152.
real time information
153.
real time measurements
154.
real time monitoring process
155.
real time simulation
156.
real time tracking
157.
real-time
158.
Real-time Analysis
159.
real-time application
160.
real-time availability
161.
real-time collision monitoring
162.
real-time communication
163.
real-time data
164.
real-time data collection
165.
real-time database systems
166.
real-time demands
167.
real-time diagnosis
168.
real-time digital simulator
169.
real-time economy
170.
real-time environmental performance feedback
171.
real-time feedback
172.
real-time feed-back
173.
real-time HiL testing
174.
real-time image segmentation
175.
real-time information
176.
real-time kinematic (RTK)
177.
real-time measurement
178.
real-time monitoring
179.
real-time prices
180.
real-time pricing
181.
real-time room temperature test
182.
real-time simulation
183.
real-time simulations
184.
real-time systems
185.
real-time tariff system
186.
real-time tracking
187.
real-time water fluxes
188.
real-time vibration analysis
189.
real-time visualization
190.
residence time
191.
response time (RT)
192.
reverse recovery time
193.
screen time management
194.
settling time
195.
short-time chirps
196.
signal real-time reconstruction
197.
social time
198.
space–time modeling
199.
start time of charring
200.
subjective time
201.
systems on time scales
202.
TDABC (time-driven ABC)
203.
time
204.
time analysis
205.
time constant
206.
time correlations
207.
time delay
208.
time delay systems
209.
time division multiple access (TDMA)
210.
time domain analysis
211.
time efficiency
212.
Time factors
213.
time lags
214.
time log
215.
time management
216.
Time measurement
217.
Time of Use energy price
218.
time of use rates
219.
time scale
220.
time scale calculus
221.
time scales
222.
time semantics
223.
time sensitive networking
224.
time sensitivity
225.
time series
226.
time series analysis
227.
time series database
228.
time series forecasting
229.
time series of meteorological parameters
230.
time series to frequency transformation
231.
time series variations
232.
time zone
233.
time use
234.
time variant bioimpedance
235.
time-aware modelling
236.
time-awareness
237.
time-averaged concentration
238.
time-averaged models
239.
time-delay renewable power systems
240.
time-delay systems
241.
time-dependent density functional theory (TD-DFT)
242.
time-dependent drift
243.
time-domain design
244.
time-domain reflectometry
245.
time-driven activity-based costing
246.
time-driven activity-based costing, TDABC
247.
time-fractional PDEs
248.
time-reversal
249.
time-selective data fusion
250.
time-sensitive interactions
251.
Time-sensitive networking
252.
time-series forecasting
253.
time-sharing
254.
time-to-digital converter (TDC)
255.
time-varying boundary conditions
256.
time-varying phasors
257.
time-varying systems
258.
transit time
259.
travel time
260.
travel time estimation
261.
travel time model
262.
volt-time characteristic
263.
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