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
logic models (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..
(1/226)
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
226
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.
logic
32.
logic built-in self-test
33.
logic cell library
34.
logic circuit
35.
logic design
36.
logic diagram
37.
logic diagrams
38.
logic education
39.
logic for pragmatics
40.
logic gates
41.
logic in AI
42.
logic in computer science
43.
logic in society
44.
logic level
45.
logic level and high level BDDs
46.
logic locking
47.
logic machine
48.
logic notation
49.
logic obfuscation
50.
logic of bunched implications
51.
logic of relatives
52.
logic of science
53.
logic of speech acts
54.
logic simulation
55.
logic synthesis
56.
logic teaching
57.
logic-based distributed routing
58.
malicious logic
59.
mathematical logic
60.
modal logic
61.
Natural logic
62.
Peirce's existential graphs and transcendental logic
63.
philosophical logic
64.
philosophy of logic
65.
pragmatic logic
66.
probabilistic relational program logic
67.
programmable logic
68.
programmable logic controller (PLC)
69.
quantitative logic
70.
quantum logic
71.
race logic
72.
reconfigurable logic
73.
routing logic
74.
S4 modal logic
75.
S-D logic
76.
Semi-substructural logic
77.
Service-Dominant logic
78.
stateful logic computation
79.
substructural logic
80.
symbolic knowledge in Husserlian pure logic
81.
symbolic logic
82.
temporal logic
83.
actor models
84.
adaptation models
85.
agent-based models
86.
aging models
87.
AI maturity models
88.
analytical models
89.
animal models
90.
atmosphere models
91.
bottom-up models
92.
BRT models
93.
business development models
94.
business models
95.
capability models
96.
channel models
97.
circular business models
98.
circular economy models
99.
climate models
100.
competence models
101.
computational models
102.
continuum models
103.
control fault models
104.
coupled wave-circulation-atmosphere models
105.
coupled models
106.
data models
107.
demonstration models
108.
didactical models
109.
discrete models
110.
disease models
111.
dq0 models
112.
DSL meta-models
113.
dynamic models
114.
dynamics models
115.
econometric models
116.
EMT models
117.
energy models
118.
entrepreneurial role models
119.
estimation models
120.
excellence models
121.
factor models
122.
factor-augmented vector autoregressive models
123.
fault models
124.
feature space for taxonomy of models of interactive computation
125.
FEM Hertz contact and wear models
126.
FEM Models
127.
fetch-based models
128.
forecasting models
129.
fraud models
130.
functional models
131.
glass-box models
132.
goal models
133.
governance and ownership models
134.
habitat suitability models
135.
hierarchical service models
136.
hybrid models
137.
hydraulic models
138.
in vitro models
139.
input-output models
140.
input–output models
141.
interactive models
142.
interoperability and evolution of healthcare models and software systems
143.
inventory replenishment models
144.
language models
145.
large language models
146.
large language models (LLM)
147.
learner models
148.
learning models
149.
linear mixed models
150.
linear models
151.
LOD3 models
152.
logistics competence models
153.
lower trophic level models
154.
LRA models
155.
machine learning models
156.
Markov models
157.
mathematical models
158.
mathematical models for economic problems
159.
maturity models
160.
mental models
161.
meta-models
162.
metapopulation models
163.
models
164.
models for risk assessment
165.
models in psychology
166.
Models of computation
167.
multilingual models
168.
multimodal models
169.
multiple regression models
170.
multivariate GARCH models
171.
neural network models
172.
new learning models
173.
non-linear models
174.
Non-stationary Models
175.
numerical models
176.
ocean models
177.
optimization models
178.
prediction models
179.
predictive models
180.
pre-trained models
181.
price models
182.
probabilistic graphical models
183.
process models and modelling
184.
radio propagation models
185.
regression models
186.
RMS models
187.
rock models
188.
role-models
189.
scaled-down models
190.
science-driven models
191.
second generation of tribology models
192.
sectoral models
193.
service models
194.
shared mental models
195.
simulation models
196.
smooth transition VAR models
197.
sparse models
198.
Spatial statistical models
199.
species distribution models
200.
stage and maturity models
201.
stage- and maturity models
202.
stage models
203.
state-space models
204.
static load models
205.
statistical prediction models
206.
structure models
207.
surface models
208.
surgery models
209.
sustainable business models
210.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
211.
sustainable entrepreneurial role models
212.
synthesis on hierarchical service models
213.
synthetic gravity models
214.
teaching models
215.
theoretical models
216.
thermal models
217.
time-averaged models
218.
top-down models
219.
trajectory models
220.
transformer models
221.
transformer-based models
222.
trust models in technology
223.
turbulence models
224.
wavelet models
225.
wind park models
226.
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