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
logic models and simulation (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/329)
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
Lower bounds of the size of shared structurally synthesized BDDs
Ubar, Raimund-Johannes
;
Mironov, Dmitri
Proceedings of the 2014 IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) : April 23-25, 2014, Warsaw, Poland
2014
/
p. 77-82 : ill
artikkel kogumikus
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
329
1.
logic models and simulation
2.
logic models
3.
logic simulation
4.
simulation models
5.
logic and philosophy of logic
6.
algebra of logic
7.
binary logic controller
8.
Boolean logic
9.
Compound logic locking
10.
Compound logic locking (CLL)
11.
constructive logic
12.
default logic
13.
diagrammatic logic
14.
digital logic
15.
dynamic logic
16.
epistemic logic
17.
ethics and logic
18.
formal logic
19.
fuzzy logic
20.
fuzzy logic
21.
fuzzy logic control
22.
fuzzy logic controller
23.
fuzzy logic controller (FLC)
24.
fuzzy logic model
25.
graphical method of logic
26.
history of logic
27.
Hoare logic
28.
Husserl and Pierce on logic of probability
29.
independence-friendly logic
30.
Inductive logic programming
31.
intuitionistic logic
32.
linear logic
33.
logic
34.
logic built-in self-test
35.
logic cell library
36.
logic circuit
37.
logic design
38.
logic diagram
39.
logic diagrams
40.
logic education
41.
logic for pragmatics
42.
logic gates
43.
logic in AI
44.
logic in computer science
45.
logic in society
46.
logic level
47.
logic level and high level BDDs
48.
logic locking
49.
logic machine
50.
logic notation
51.
logic obfuscation
52.
logic of bunched implications
53.
logic of relatives
54.
logic of science
55.
logic of speech acts
56.
logic synthesis
57.
logic teaching
58.
logic-based distributed routing
59.
malicious logic
60.
mathematical logic
61.
modal logic
62.
Natural logic
63.
Peirce's existential graphs and transcendental logic
64.
philosophical logic
65.
philosophy of logic
66.
pragmatic logic
67.
probabilistic relational program logic
68.
programmable logic
69.
programmable logic controller (PLC)
70.
quantitative logic
71.
quantum logic
72.
race logic
73.
reconfigurable logic
74.
routing logic
75.
S4 modal logic
76.
S-D logic
77.
Semi-substructural logic
78.
Service-Dominant logic
79.
stateful logic computation
80.
substructural logic
81.
symbolic knowledge in Husserlian pure logic
82.
symbolic logic
83.
temporal logic
84.
actor models
85.
adaptation models
86.
agent-based models
87.
aging models
88.
AI maturity models
89.
analytical models
90.
animal models
91.
atmosphere models
92.
bottom-up models
93.
BRT models
94.
business development models
95.
business models
96.
capability models
97.
channel models
98.
circular business models
99.
circular economy models
100.
climate models
101.
competence models
102.
computational models
103.
continuum models
104.
control fault models
105.
coupled wave-circulation-atmosphere models
106.
coupled models
107.
data models
108.
demonstration models
109.
didactical models
110.
discrete models
111.
disease models
112.
dq0 models
113.
DSL meta-models
114.
dynamic models
115.
dynamics models
116.
econometric models
117.
EMT models
118.
energy models
119.
entrepreneurial role models
120.
estimation models
121.
excellence models
122.
factor models
123.
factor-augmented vector autoregressive models
124.
Faith-based governance models
125.
fault models
126.
feature space for taxonomy of models of interactive computation
127.
FEM Hertz contact and wear models
128.
FEM Models
129.
fetch-based models
130.
forecasting models
131.
fraud models
132.
functional models
133.
glass-box models
134.
goal models
135.
governance and ownership models
136.
habitat suitability models
137.
hierarchical service models
138.
hybrid models
139.
hydraulic models
140.
in vitro models
141.
input-output models
142.
input–output models
143.
interactive models
144.
interoperability and evolution of healthcare models and software systems
145.
inventory replenishment models
146.
language models
147.
large language models
148.
large language models (LLM)
149.
learner models
150.
learning models
151.
linear mixed models
152.
linear models
153.
LOD3 models
154.
logistics competence models
155.
lower trophic level models
156.
LRA models
157.
machine learning models
158.
Markov models
159.
mathematical models
160.
mathematical models for economic problems
161.
maturity models
162.
mental models
163.
meta-models
164.
metapopulation models
165.
models
166.
models for risk assessment
167.
models in psychology
168.
Models of computation
169.
multilingual models
170.
multimodal models
171.
multiple regression models
172.
multivariate GARCH models
173.
neural network models
174.
new learning models
175.
non-linear models
176.
Non-stationary Models
177.
numerical models
178.
ocean models
179.
optimization models
180.
prediction models
181.
predictive models
182.
pre-trained models
183.
price models
184.
probabilistic graphical models
185.
process models and modelling
186.
radio propagation models
187.
regression models
188.
RMS models
189.
rock models
190.
role-models
191.
scaled-down models
192.
science-driven models
193.
second generation of tribology models
194.
sectoral models
195.
service models
196.
shared mental models
197.
smooth transition VAR models
198.
sparse models
199.
Spatial statistical models
200.
species distribution models
201.
stage and maturity models
202.
stage- and maturity models
203.
stage models
204.
state-space models
205.
static load models
206.
statistical prediction models
207.
structure models
208.
surface models
209.
surgery models
210.
sustainable business models
211.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
212.
sustainable entrepreneurial role models
213.
synthesis on hierarchical service models
214.
synthetic gravity models
215.
teaching models
216.
theoretical models
217.
thermal models
218.
time-averaged models
219.
top-down models
220.
trajectory models
221.
transformer models
222.
transformer-based models
223.
trust models in technology
224.
turbulence models
225.
wavelet models
226.
wind park models
227.
3D models
228.
annual energy simulation
229.
back traced simulation
230.
building energy simulation
231.
building simulation
232.
casting simulation
233.
CFD simulation
234.
circuit simulation
235.
CoCoViLa simulation environment
236.
computer simulation
237.
computer simulation environments
238.
cooling simulation
239.
co-simulation
240.
data simulation
241.
digital real time simulation
242.
digital shipping simulation
243.
dynamic simulation
244.
electric field simulation
245.
emergency simulation
246.
energy simulation
247.
energy simulation software
248.
environmental performance assessment and simulation
249.
Fault Injection Simulation
250.
fault simulation
251.
fault simulation with critical path tracing
252.
finite element method (FEM) simulation
253.
finite element simulation
254.
fluid flow simulation
255.
FMS modelling and simulation
256.
fullscale simulation
257.
gait simulation
258.
hardware-in-the loop simulation
259.
Hardware-in-the-Loop simulation
260.
high-level fault simulation
261.
hospital simulation
262.
hot/cold pressing and finite element model simulation
263.
hygrothermal simulation
264.
impact scenario simulation
265.
impact-abrasive simulation
266.
intelligent simulation
267.
intelligent simulation environment
268.
LES (large eddy simulation) method
269.
magnetics field simulation
270.
Mathematical simulation
271.
MATLAB simulation
272.
medical simulation
273.
meso-scale simulation
274.
MICA2 simulation
275.
model building and simulation
276.
modeling and simulation
277.
modelling and simulation
278.
Monte Carlo simulation
279.
Monte Carlo simulation (MCS)
280.
multi agent simulation
281.
multiscale simulation
282.
Multi-valued Simulation for Hazard Detection in Digital Circuits
283.
numerical simulation
284.
Parallel Fault Simulation with Critical Path Backtracing
285.
parallel fault-simulation
286.
parallel simulation
287.
phase diagram simulation
288.
power system simulation
289.
process simulation
290.
ray-tracing simulation
291.
real time simulation
292.
real-time simulation
293.
register transfer and gate level simulation
294.
response simulation
295.
rheology simulation
296.
Siemens Tecnomatix Plant Simulation (STPS) platform
297.
signal simulation
298.
signal simulation and modeling
299.
similar material simulation test
300.
simulation
301.
simulation analysis
302.
simulation and analysis
303.
simulation applications
304.
simulation based static optimization
305.
simulation based TMY
306.
simulation model
307.
simulation modeling
308.
simulation of air change
309.
simulation of energy consumption
310.
simulation software "Delphin"
311.
simulation trace
312.
simulation training
313.
simulationbased decision support
314.
simulation-based verification
315.
spinach simulation
316.
SUMO simulation
317.
supply chain simulation
318.
system level simulation
319.
systems simulation
320.
TD-DFT simulation
321.
urban simulation
322.
validation of simulation model
323.
wear simulation
324.
vehicle simulation
325.
whole building simulation
326.
visual simulation
327.
3D simulation
328.
5G New Radio simulation
329.
(co-)simulation
×
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