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 (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/231)
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
Logic simulation and fault collapsing with shared structurally synthesized BDDs
Mironov, Dmitri
;
Ubar, Raimund-Johannes
;
Raik, Jaan
2014 19th IEEE European Test Symposium (ETS) : May 26th-30th, 2014, Paderborn, Germany : proceedings
2014
/
[2] p. : ill
artikkel kogumikus
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
231
1.
logic models
2.
logic models and simulation
3.
logic and philosophy of logic
4.
algebra of logic
5.
binary logic controller
6.
Boolean logic
7.
Compound logic locking
8.
Compound logic locking (CLL)
9.
constructive logic
10.
default logic
11.
diagrammatic logic
12.
digital logic
13.
dynamic logic
14.
epistemic logic
15.
ethics and logic
16.
formal logic
17.
fuzzy logic
18.
fuzzy logic
19.
fuzzy logic control
20.
fuzzy logic controller
21.
fuzzy logic controller (FLC)
22.
fuzzy logic model
23.
graphical method of logic
24.
history of logic
25.
Hoare logic
26.
Husserl and Pierce on logic of probability
27.
independence-friendly logic
28.
Inductive logic programming
29.
intuitionistic logic
30.
linear logic
31.
linear logic of Petri nets
32.
logic
33.
logic built-in self-test
34.
logic cell library
35.
logic circuit
36.
logic design
37.
logic diagram
38.
logic diagrams
39.
logic education
40.
logic for pragmatics
41.
logic gates
42.
logic in AI
43.
logic in computer science
44.
logic in society
45.
logic level
46.
logic level and high level BDDs
47.
logic locking
48.
logic machine
49.
logic notation
50.
logic obfuscation
51.
logic of bunched implications
52.
logic of relatives
53.
logic of science
54.
logic of speech acts
55.
logic simulation
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.
categorical models of Petri nets
98.
channel models
99.
circular business models
100.
circular economy models
101.
climate models
102.
competence models
103.
computational models
104.
continuum models
105.
control fault models
106.
coupled wave-circulation-atmosphere models
107.
coupled models
108.
data models
109.
demonstration models
110.
didactical models
111.
discrete models
112.
disease models
113.
dq0 models
114.
DSL meta-models
115.
dynamic models
116.
dynamics models
117.
econometric models
118.
EMT models
119.
energy models
120.
entrepreneurial role models
121.
estimation models
122.
excellence models
123.
factor models
124.
factor-augmented vector autoregressive models
125.
Faith-based governance models
126.
fault models
127.
feature space for taxonomy of models of interactive computation
128.
FEM Hertz contact and wear models
129.
FEM Models
130.
fetch-based models
131.
forecasting models
132.
fraud models
133.
frontier models
134.
functional models
135.
glass-box models
136.
goal models
137.
governance and ownership models
138.
habitat suitability models
139.
hierarchical service models
140.
hybrid models
141.
hydraulic models
142.
in vitro models
143.
input-output models
144.
input–output models
145.
interactive models
146.
interoperability and evolution of healthcare models and software systems
147.
inventory replenishment models
148.
language models
149.
large language models
150.
large language models (LLM)
151.
learner models
152.
learning models
153.
linear mixed models
154.
linear models
155.
LOD3 models
156.
logistics competence models
157.
lower trophic level models
158.
LRA models
159.
machine learning models
160.
Markov models
161.
mathematical models
162.
mathematical models for economic problems
163.
maturity models
164.
mental models
165.
meta-models
166.
metapopulation models
167.
models
168.
models for risk assessment
169.
models in psychology
170.
Models of computation
171.
multilingual models
172.
multimodal models
173.
multiple regression models
174.
multivariate GARCH models
175.
neural network models
176.
new learning models
177.
non-linear models
178.
non-stationary models
179.
numerical models
180.
ocean models
181.
optimization models
182.
prediction models
183.
predictive models
184.
pre-trained models
185.
price models
186.
probabilistic graphical models
187.
process models and modelling
188.
radio propagation models
189.
regression models
190.
RMS models
191.
rock models
192.
role-models
193.
scaled-down models
194.
science-driven models
195.
second generation of tribology models
196.
sectoral models
197.
service models
198.
shared mental models
199.
simulation models
200.
smooth transition VAR models
201.
sparse models
202.
Spatial statistical models
203.
species distribution models
204.
SSL models
205.
stage and maturity models
206.
stage- and maturity models
207.
stage models
208.
state-space models
209.
static load models
210.
statistical prediction models
211.
structure models
212.
surface models
213.
surgery models
214.
sustainable business models
215.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
216.
sustainable entrepreneurial role models
217.
synthesis on hierarchical service models
218.
synthetic gravity models
219.
teaching models
220.
theoretical models
221.
thermal models
222.
time-averaged models
223.
top-down models
224.
trajectory models
225.
transformer models
226.
transformer-based models
227.
trust models in technology
228.
turbulence models
229.
wavelet models
230.
wind park models
231.
3D models
×
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