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/273)
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
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
273
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.
default logic
10.
diagrammatic logic
11.
digital logic
12.
dynamic logic
13.
epistemic logic
14.
formal logic
15.
fuzzy logic
16.
fuzzy logic
17.
fuzzy logic control
18.
fuzzy logic controller
19.
fuzzy logic controller (FLC)
20.
fuzzy logic model
21.
graphical method of logic
22.
history of logic
23.
Hoare logic
24.
Husserl and Pierce on logic of probability
25.
independence-friendly logic
26.
intuitionistic logic
27.
linear logic
28.
logic
29.
logic built-in self-test
30.
logic cell library
31.
logic circuit
32.
logic design
33.
logic diagram
34.
logic diagrams
35.
logic education
36.
logic for pragmatics
37.
logic gates
38.
logic in computer science
39.
logic in society
40.
logic level
41.
logic level and high level BDDs
42.
logic locking
43.
logic notation
44.
logic obfuscation
45.
logic of bunched implications
46.
logic of relatives
47.
logic of speech acts
48.
logic synthesis
49.
logic teaching
50.
logic-based distributed routing
51.
malicious logic
52.
mathematical logic
53.
modal logic
54.
Natural logic
55.
Peirce's existential graphs and transcendental logic
56.
philosophical logic
57.
philosophy of logic
58.
pragmatic logic
59.
programmable logic
60.
quantitative logic
61.
quantum logic
62.
race logic
63.
reconfigurable logic
64.
routing logic
65.
S4 modal logic
66.
S-D logic
67.
Service-Dominant logic
68.
stateful logic computation
69.
symbolic knowledge in Husserlian pure logic
70.
symbolic logic
71.
temporal logic
72.
adaptation models
73.
agent-based models
74.
aging models
75.
analytical models
76.
animal models
77.
atmosphere models
78.
bottom-up models
79.
business development models
80.
business models
81.
capability models
82.
channel models
83.
circular economy models
84.
climate models
85.
competence models
86.
computational models
87.
control fault models
88.
coupled wave-circulation-atmosphere models
89.
coupled models
90.
data models
91.
demonstration models
92.
didactical models
93.
disease models
94.
dq0 models
95.
DSL meta-models
96.
dynamic models
97.
econometric models
98.
EMT models
99.
energy models
100.
excellence models
101.
factor models
102.
factor-augmented vector autoregressive models
103.
fault models
104.
feature space for taxonomy of models of interactive computation
105.
FEM Hertz contact and wear models
106.
FEM Models
107.
fraud models
108.
functional models
109.
goal models
110.
governance and ownership models
111.
habitat suitability models
112.
hierarchical service models
113.
hydraulic models
114.
input-output models
115.
input–output models
116.
interactive models
117.
interoperability and evolution of healthcare models and software systems
118.
inventory replenishment models
119.
learner models
120.
learning models
121.
linear mixed models
122.
logistics competence models
123.
lower trophic level models
124.
machine learning models
125.
Markov models
126.
mathematical models
127.
mathematical models for economic problems
128.
maturity models
129.
mental models
130.
meta-models
131.
metapopulation models
132.
models
133.
models for risk assessment
134.
models in psychology
135.
multilingual models
136.
multiple regression models
137.
multivariate GARCH models
138.
new learning models
139.
non-linear models
140.
numerical models
141.
ocean models
142.
optimization models
143.
prediction models
144.
predictive models
145.
pre-trained models
146.
price models
147.
probabilistic graphical models
148.
process models and modelling
149.
radio propagation models
150.
regression models
151.
RMS models
152.
rock models
153.
role-models
154.
second generation of tribology models
155.
sectoral models
156.
service models
157.
shared mental models
158.
smooth transition VAR models
159.
sparse models
160.
Spatial statistical models
161.
stage and maturity models
162.
stage- and maturity models
163.
stage models
164.
state-space models
165.
static load models
166.
statistical prediction models
167.
structure models
168.
surface models
169.
surgery models
170.
sustainable business models
171.
synthesis on hierarchical service models
172.
synthetic gravity models
173.
teaching models
174.
theoretical models
175.
thermal models
176.
time-averaged models
177.
top-down models
178.
trajectory models
179.
turbulence models
180.
wavelet models
181.
wind park models
182.
3D models
183.
annual energy simulation
184.
back traced simulation
185.
building energy simulation
186.
building simulation
187.
casting simulation
188.
CFD simulation
189.
circuit simulation
190.
CoCoViLa simulation environment
191.
computer simulation
192.
computer simulation environments
193.
cooling simulation
194.
co-simulation
195.
data simulation
196.
digital real time simulation
197.
dynamic simulation
198.
electric field simulation
199.
emergency simulation
200.
energy simulation
201.
energy simulation software
202.
environmental performance assessment and simulation
203.
Fault Injection Simulation
204.
fault simulation
205.
fault simulation with critical path tracing
206.
finite element method (FEM) simulation
207.
finite element simulation
208.
fluid flow simulation
209.
FMS modelling and simulation
210.
fullscale simulation
211.
gait simulation
212.
hardware-in-the loop simulation
213.
Hardware-in-the-Loop simulation
214.
high-level fault simulation
215.
hot/cold pressing and finite element model simulation
216.
hygrothermal simulation
217.
impact-abrasive simulation
218.
intelligent simulation
219.
intelligent simulation environment
220.
LES (large eddy simulation) method
221.
magnetics field simulation
222.
Mathematical simulation
223.
MATLAB simulation
224.
medical simulation
225.
meso-scale simulation
226.
MICA2 simulation
227.
modeling and simulation
228.
modelling and simulation
229.
Monte Carlo simulation
230.
Monte Carlo simulation (MCS)
231.
multi agent simulation
232.
multiscale simulation
233.
numerical simulation
234.
parallel fault-simulation
235.
parallel simulation
236.
phase diagram simulation
237.
power system simulation
238.
ray-tracing simulation
239.
real time simulation
240.
real-time simulation
241.
register transfer and gate level simulation
242.
response simulation
243.
rheology simulation
244.
signal simulation
245.
signal simulation and modeling
246.
similar material simulation test
247.
simulation
248.
simulation analysis
249.
simulation applications
250.
simulation based static optimization
251.
simulation based TMY
252.
simulation model
253.
simulation modeling
254.
simulation of air change
255.
simulation of energy consumption
256.
simulation software "Delphin"
257.
simulation training
258.
simulationbased decision support
259.
simulation-based verification
260.
spinach simulation
261.
SUMO simulation
262.
supply chain simulation
263.
systems simulation
264.
TD-DFT simulation
265.
urban simulation
266.
validation of simulation model
267.
wear simulation
268.
vehicle simulation
269.
whole building simulation
270.
visual simulation
271.
3D simulation
272.
5G New Radio simulation
273.
(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