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 and simulation (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/328)
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
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
book article
Number of records 1, displaying
1 - 1
keyword
328
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.
Compound logic locking
10.
Compound logic locking (CLL)
11.
constructive logic
12.
default logic
13.
diagrammatic logic
14.
digital logic
15.
dynamic logic
16.
epistemic logic
17.
ethics and logic
18.
formal logic
19.
fuzzy logic
20.
fuzzy logic
21.
fuzzy logic control
22.
fuzzy logic controller
23.
fuzzy logic controller (FLC)
24.
fuzzy logic model
25.
graphical method of logic
26.
history of logic
27.
Hoare logic
28.
Husserl and Pierce on logic of probability
29.
independence-friendly logic
30.
Inductive logic programming
31.
intuitionistic logic
32.
linear logic
33.
logic
34.
logic built-in self-test
35.
logic cell library
36.
logic circuit
37.
logic design
38.
logic diagram
39.
logic diagrams
40.
logic education
41.
logic for pragmatics
42.
logic gates
43.
logic in AI
44.
logic in computer science
45.
logic in society
46.
logic level
47.
logic level and high level BDDs
48.
logic locking
49.
logic machine
50.
logic notation
51.
logic obfuscation
52.
logic of bunched implications
53.
logic of relatives
54.
logic of science
55.
logic of speech acts
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.
channel models
98.
circular business models
99.
circular economy models
100.
climate models
101.
competence models
102.
computational models
103.
continuum models
104.
control fault models
105.
coupled wave-circulation-atmosphere models
106.
coupled models
107.
data models
108.
demonstration models
109.
didactical models
110.
discrete models
111.
disease models
112.
dq0 models
113.
DSL meta-models
114.
dynamic models
115.
dynamics models
116.
econometric models
117.
EMT models
118.
energy models
119.
entrepreneurial role models
120.
estimation models
121.
excellence models
122.
factor models
123.
factor-augmented vector autoregressive 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.
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
227.
annual energy simulation
228.
back traced simulation
229.
building energy simulation
230.
building simulation
231.
casting simulation
232.
CFD simulation
233.
circuit simulation
234.
CoCoViLa simulation environment
235.
computer simulation
236.
computer simulation environments
237.
cooling simulation
238.
co-simulation
239.
data simulation
240.
digital real time simulation
241.
digital shipping simulation
242.
dynamic simulation
243.
electric field simulation
244.
emergency simulation
245.
energy simulation
246.
energy simulation software
247.
environmental performance assessment and simulation
248.
Fault Injection Simulation
249.
fault simulation
250.
fault simulation with critical path tracing
251.
finite element method (FEM) simulation
252.
finite element simulation
253.
fluid flow simulation
254.
FMS modelling and simulation
255.
fullscale simulation
256.
gait simulation
257.
hardware-in-the loop simulation
258.
Hardware-in-the-Loop simulation
259.
high-level fault simulation
260.
hospital simulation
261.
hot/cold pressing and finite element model simulation
262.
hygrothermal simulation
263.
impact scenario simulation
264.
impact-abrasive simulation
265.
intelligent simulation
266.
intelligent simulation environment
267.
LES (large eddy simulation) method
268.
magnetics field simulation
269.
Mathematical simulation
270.
MATLAB simulation
271.
medical simulation
272.
meso-scale simulation
273.
MICA2 simulation
274.
model building and simulation
275.
modeling and simulation
276.
modelling and simulation
277.
Monte Carlo simulation
278.
Monte Carlo simulation (MCS)
279.
multi agent simulation
280.
multiscale simulation
281.
Multi-valued Simulation for Hazard Detection in Digital Circuits
282.
numerical simulation
283.
Parallel Fault Simulation with Critical Path Backtracing
284.
parallel fault-simulation
285.
parallel simulation
286.
phase diagram simulation
287.
power system simulation
288.
process simulation
289.
ray-tracing simulation
290.
real time simulation
291.
real-time simulation
292.
register transfer and gate level simulation
293.
response simulation
294.
rheology simulation
295.
Siemens Tecnomatix Plant Simulation (STPS) platform
296.
signal simulation
297.
signal simulation and modeling
298.
similar material simulation test
299.
simulation
300.
simulation analysis
301.
simulation and analysis
302.
simulation applications
303.
simulation based static optimization
304.
simulation based TMY
305.
simulation model
306.
simulation modeling
307.
simulation of air change
308.
simulation of energy consumption
309.
simulation software "Delphin"
310.
simulation trace
311.
simulation training
312.
simulationbased decision support
313.
simulation-based verification
314.
spinach simulation
315.
SUMO simulation
316.
supply chain simulation
317.
system level simulation
318.
systems simulation
319.
TD-DFT simulation
320.
urban simulation
321.
validation of simulation model
322.
wear simulation
323.
vehicle simulation
324.
whole building simulation
325.
visual simulation
326.
3D simulation
327.
5G New Radio simulation
328.
(co-)simulation
×
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