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
Advanced search
My bookmarks
0
logic models and simulation (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/273)
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
273
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.
default logic
10.
diagrammatic logic
11.
digital logic
12.
dynamic logic
13.
epistemic logic
14.
formal logic
15.
fuzzy logic
16.
fuzzy logic
17.
fuzzy logic control
18.
fuzzy logic controller
19.
fuzzy logic controller (FLC)
20.
fuzzy logic model
21.
graphical method of logic
22.
history of logic
23.
Hoare logic
24.
Husserl and Pierce on logic of probability
25.
independence-friendly logic
26.
intuitionistic logic
27.
linear logic
28.
logic
29.
logic built-in self-test
30.
logic cell library
31.
logic circuit
32.
logic design
33.
logic diagram
34.
logic diagrams
35.
logic education
36.
logic for pragmatics
37.
logic gates
38.
logic in computer science
39.
logic in society
40.
logic level
41.
logic level and high level BDDs
42.
logic locking
43.
logic notation
44.
logic obfuscation
45.
logic of bunched implications
46.
logic of relatives
47.
logic of speech acts
48.
logic synthesis
49.
logic teaching
50.
logic-based distributed routing
51.
malicious logic
52.
mathematical logic
53.
modal logic
54.
Natural logic
55.
Peirce's existential graphs and transcendental logic
56.
philosophical logic
57.
philosophy of logic
58.
pragmatic logic
59.
programmable logic
60.
quantitative logic
61.
quantum logic
62.
race logic
63.
reconfigurable logic
64.
routing logic
65.
S4 modal logic
66.
S-D logic
67.
Service-Dominant logic
68.
stateful logic computation
69.
symbolic knowledge in Husserlian pure logic
70.
symbolic logic
71.
temporal logic
72.
adaptation models
73.
agent-based models
74.
aging models
75.
analytical models
76.
animal models
77.
atmosphere models
78.
bottom-up models
79.
business development models
80.
business models
81.
capability models
82.
channel models
83.
circular economy models
84.
climate models
85.
competence models
86.
computational models
87.
control fault models
88.
coupled wave-circulation-atmosphere models
89.
coupled models
90.
data models
91.
demonstration models
92.
didactical models
93.
disease models
94.
dq0 models
95.
DSL meta-models
96.
dynamic models
97.
econometric models
98.
EMT models
99.
energy models
100.
excellence models
101.
factor models
102.
factor-augmented vector autoregressive models
103.
fault models
104.
feature space for taxonomy of models of interactive computation
105.
FEM Hertz contact and wear models
106.
FEM Models
107.
fraud models
108.
functional models
109.
goal models
110.
governance and ownership models
111.
habitat suitability models
112.
hierarchical service models
113.
hydraulic models
114.
input-output models
115.
input–output models
116.
interactive models
117.
interoperability and evolution of healthcare models and software systems
118.
inventory replenishment models
119.
learner models
120.
learning models
121.
linear mixed models
122.
logistics competence models
123.
lower trophic level models
124.
machine learning models
125.
Markov models
126.
mathematical models
127.
mathematical models for economic problems
128.
maturity models
129.
mental models
130.
meta-models
131.
metapopulation models
132.
models
133.
models for risk assessment
134.
models in psychology
135.
multilingual models
136.
multiple regression models
137.
multivariate GARCH models
138.
new learning models
139.
non-linear models
140.
numerical models
141.
ocean models
142.
optimization models
143.
prediction models
144.
predictive models
145.
pre-trained models
146.
price models
147.
probabilistic graphical models
148.
process models and modelling
149.
radio propagation models
150.
regression models
151.
RMS models
152.
rock models
153.
role-models
154.
second generation of tribology models
155.
sectoral models
156.
service models
157.
shared mental models
158.
smooth transition VAR models
159.
sparse models
160.
Spatial statistical models
161.
stage and maturity models
162.
stage- and maturity models
163.
stage models
164.
state-space models
165.
static load models
166.
statistical prediction models
167.
structure models
168.
surface models
169.
surgery models
170.
sustainable business models
171.
synthesis on hierarchical service models
172.
synthetic gravity models
173.
teaching models
174.
theoretical models
175.
thermal models
176.
time-averaged models
177.
top-down models
178.
trajectory models
179.
turbulence models
180.
wavelet models
181.
wind park models
182.
3D models
183.
annual energy simulation
184.
back traced simulation
185.
building energy simulation
186.
building simulation
187.
casting simulation
188.
CFD simulation
189.
circuit simulation
190.
CoCoViLa simulation environment
191.
computer simulation
192.
computer simulation environments
193.
cooling simulation
194.
co-simulation
195.
data simulation
196.
digital real time simulation
197.
dynamic simulation
198.
electric field simulation
199.
emergency simulation
200.
energy simulation
201.
energy simulation software
202.
environmental performance assessment and simulation
203.
Fault Injection Simulation
204.
fault simulation
205.
fault simulation with critical path tracing
206.
finite element method (FEM) simulation
207.
finite element simulation
208.
fluid flow simulation
209.
FMS modelling and simulation
210.
fullscale simulation
211.
gait simulation
212.
hardware-in-the loop simulation
213.
Hardware-in-the-Loop simulation
214.
high-level fault simulation
215.
hot/cold pressing and finite element model simulation
216.
hygrothermal simulation
217.
impact-abrasive simulation
218.
intelligent simulation
219.
intelligent simulation environment
220.
LES (large eddy simulation) method
221.
magnetics field simulation
222.
Mathematical simulation
223.
MATLAB simulation
224.
medical simulation
225.
meso-scale simulation
226.
MICA2 simulation
227.
modeling and simulation
228.
modelling and simulation
229.
Monte Carlo simulation
230.
Monte Carlo simulation (MCS)
231.
multi agent simulation
232.
multiscale simulation
233.
numerical simulation
234.
parallel fault-simulation
235.
parallel simulation
236.
phase diagram simulation
237.
power system simulation
238.
ray-tracing simulation
239.
real time simulation
240.
real-time simulation
241.
register transfer and gate level simulation
242.
response simulation
243.
rheology simulation
244.
signal simulation
245.
signal simulation and modeling
246.
similar material simulation test
247.
simulation
248.
simulation analysis
249.
simulation applications
250.
simulation based static optimization
251.
simulation based TMY
252.
simulation model
253.
simulation modeling
254.
simulation of air change
255.
simulation of energy consumption
256.
simulation software "Delphin"
257.
simulation training
258.
simulationbased decision support
259.
simulation-based verification
260.
spinach simulation
261.
SUMO simulation
262.
supply chain simulation
263.
systems simulation
264.
TD-DFT simulation
265.
urban simulation
266.
validation of simulation model
267.
wear simulation
268.
vehicle simulation
269.
whole building simulation
270.
visual simulation
271.
3D simulation
272.
5G New Radio simulation
273.
(co-)simulation
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT