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/318)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF 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
318
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 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 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.
new learning models
172.
non-linear models
173.
numerical models
174.
ocean models
175.
optimization models
176.
prediction models
177.
predictive models
178.
pre-trained models
179.
price models
180.
probabilistic graphical models
181.
process models and modelling
182.
radio propagation models
183.
regression models
184.
RMS models
185.
rock models
186.
role-models
187.
science-driven models
188.
second generation of tribology models
189.
sectoral models
190.
service models
191.
shared mental models
192.
smooth transition VAR models
193.
sparse models
194.
Spatial statistical models
195.
species distribution models
196.
stage and maturity models
197.
stage- and maturity models
198.
stage models
199.
state-space models
200.
static load models
201.
statistical prediction models
202.
structure models
203.
surface models
204.
surgery models
205.
sustainable business models
206.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
207.
sustainable entrepreneurial role models
208.
synthesis on hierarchical service models
209.
synthetic gravity models
210.
teaching models
211.
theoretical models
212.
thermal models
213.
time-averaged models
214.
top-down models
215.
trajectory models
216.
transformer-based models
217.
trust models in technology
218.
turbulence models
219.
wavelet models
220.
wind park models
221.
3D models
222.
annual energy simulation
223.
back traced simulation
224.
building energy simulation
225.
building simulation
226.
casting simulation
227.
CFD simulation
228.
circuit simulation
229.
CoCoViLa simulation environment
230.
computer simulation
231.
computer simulation environments
232.
cooling simulation
233.
co-simulation
234.
data simulation
235.
digital real time simulation
236.
dynamic simulation
237.
electric field simulation
238.
emergency simulation
239.
energy simulation
240.
energy simulation software
241.
environmental performance assessment and simulation
242.
Fault Injection Simulation
243.
fault simulation
244.
fault simulation with critical path tracing
245.
finite element method (FEM) simulation
246.
finite element simulation
247.
fluid flow simulation
248.
FMS modelling and simulation
249.
fullscale simulation
250.
gait simulation
251.
hardware-in-the loop simulation
252.
Hardware-in-the-Loop simulation
253.
high-level fault simulation
254.
hospital simulation
255.
hot/cold pressing and finite element model simulation
256.
hygrothermal simulation
257.
impact scenario simulation
258.
impact-abrasive simulation
259.
intelligent simulation
260.
intelligent simulation environment
261.
LES (large eddy simulation) method
262.
magnetics field simulation
263.
Mathematical simulation
264.
MATLAB simulation
265.
medical simulation
266.
meso-scale simulation
267.
MICA2 simulation
268.
modeling and simulation
269.
modelling and simulation
270.
Monte Carlo simulation
271.
Monte Carlo simulation (MCS)
272.
multi agent simulation
273.
multiscale simulation
274.
Multi-valued Simulation for Hazard Detection in Digital Circuits
275.
numerical simulation
276.
Parallel Fault Simulation with Critical Path Backtracing
277.
parallel fault-simulation
278.
parallel simulation
279.
phase diagram simulation
280.
power system simulation
281.
ray-tracing simulation
282.
real time simulation
283.
real-time simulation
284.
register transfer and gate level simulation
285.
response simulation
286.
rheology simulation
287.
Siemens Tecnomatix Plant Simulation (STPS) platform
288.
signal simulation
289.
signal simulation and modeling
290.
similar material simulation test
291.
simulation
292.
simulation analysis
293.
simulation and analysis
294.
simulation applications
295.
simulation based static optimization
296.
simulation based TMY
297.
simulation model
298.
simulation modeling
299.
simulation of air change
300.
simulation of energy consumption
301.
simulation software "Delphin"
302.
simulation training
303.
simulationbased decision support
304.
simulation-based verification
305.
spinach simulation
306.
SUMO simulation
307.
supply chain simulation
308.
systems simulation
309.
TD-DFT simulation
310.
urban simulation
311.
validation of simulation model
312.
wear simulation
313.
vehicle simulation
314.
whole building simulation
315.
visual simulation
316.
3D simulation
317.
5G New Radio simulation
318.
(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