Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
logic models (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/226)
Export
export all inquiry results
(1)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
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
book article
Number of records 1, displaying
1 - 1
keyword
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
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT