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/227)
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
227
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.
Faith-based governance models
124.
fault models
125.
feature space for taxonomy of models of interactive computation
126.
FEM Hertz contact and wear models
127.
FEM Models
128.
fetch-based models
129.
forecasting models
130.
fraud models
131.
functional models
132.
glass-box models
133.
goal models
134.
governance and ownership models
135.
habitat suitability models
136.
hierarchical service models
137.
hybrid models
138.
hydraulic models
139.
in vitro models
140.
input-output models
141.
input–output models
142.
interactive models
143.
interoperability and evolution of healthcare models and software systems
144.
inventory replenishment models
145.
language models
146.
large language models
147.
large language models (LLM)
148.
learner models
149.
learning models
150.
linear mixed models
151.
linear models
152.
LOD3 models
153.
logistics competence models
154.
lower trophic level models
155.
LRA models
156.
machine learning models
157.
Markov models
158.
mathematical models
159.
mathematical models for economic problems
160.
maturity models
161.
mental models
162.
meta-models
163.
metapopulation models
164.
models
165.
models for risk assessment
166.
models in psychology
167.
Models of computation
168.
multilingual models
169.
multimodal models
170.
multiple regression models
171.
multivariate GARCH models
172.
neural network models
173.
new learning models
174.
non-linear models
175.
Non-stationary Models
176.
numerical models
177.
ocean models
178.
optimization models
179.
prediction models
180.
predictive models
181.
pre-trained models
182.
price models
183.
probabilistic graphical models
184.
process models and modelling
185.
radio propagation models
186.
regression models
187.
RMS models
188.
rock models
189.
role-models
190.
scaled-down models
191.
science-driven models
192.
second generation of tribology models
193.
sectoral models
194.
service models
195.
shared mental models
196.
simulation 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
×
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