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 synthesis (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/127)
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
journal article EST
/
journal article ENG
Evaluating architectural, redundancy, and implementation strategies for radiation hardening of FinFET integrated circuits
Pagliarini, Samuel Nascimento
;
Benites, Luis
;
Martins, Mayler
;
Rech, Paolo
;
Kastensmidt, Fernanda
IEEE transactions on nuclear science
2021
/
p. 1045-1053
https://doi.org/10.1109/TNS.2021.3070643
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
keyword
127
1.
logic synthesis
2.
logic and philosophy of logic
3.
algebra of logic
4.
binary logic controller
5.
Boolean logic
6.
default logic
7.
diagrammatic logic
8.
digital logic
9.
dynamic logic
10.
epistemic logic
11.
formal logic
12.
fuzzy logic
13.
fuzzy logic
14.
fuzzy logic control
15.
fuzzy logic controller
16.
fuzzy logic controller (FLC)
17.
fuzzy logic model
18.
graphical method of logic
19.
history of logic
20.
Hoare logic
21.
Husserl and Pierce on logic of probability
22.
independence-friendly logic
23.
intuitionistic logic
24.
linear logic
25.
logic
26.
logic built-in self-test
27.
logic cell library
28.
logic circuit
29.
logic design
30.
logic diagram
31.
logic diagrams
32.
logic education
33.
logic for pragmatics
34.
logic gates
35.
logic in computer science
36.
logic in society
37.
logic level
38.
logic level and high level BDDs
39.
logic locking
40.
logic models
41.
logic models and simulation
42.
logic notation
43.
logic obfuscation
44.
logic of bunched implications
45.
logic of relatives
46.
logic of speech acts
47.
logic simulation
48.
logic teaching
49.
logic-based distributed routing
50.
malicious logic
51.
mathematical logic
52.
modal logic
53.
Natural logic
54.
Peirce's existential graphs and transcendental logic
55.
philosophical logic
56.
philosophy of logic
57.
pragmatic logic
58.
programmable logic
59.
quantitative logic
60.
quantum logic
61.
race logic
62.
reconfigurable logic
63.
routing logic
64.
S4 modal logic
65.
S-D logic
66.
Service-Dominant logic
67.
stateful logic computation
68.
symbolic knowledge in Husserlian pure logic
69.
symbolic logic
70.
temporal logic
71.
asymmetric synthesis
72.
automatic program synthesis
73.
behavioral synthesis
74.
chemical synthesis
75.
chemoenzymatic synthesis
76.
circuit synthesis
77.
combustion synthesis
78.
control system synthesis
79.
counterexample-guided inductive synthesis
80.
data synthesis
81.
diversity-oriented synthesis
82.
enantioselective synthesis
83.
evidence synthesis
84.
flame aerosol synthesis
85.
green synthesis
86.
green synthesis biomaterials
87.
growth-synthesis
88.
high level synthesis
89.
high-level decision diagrams (HLDD) synthesis
90.
High-Level Synthesis (HLS)
91.
high-level synthesis for test
92.
highly chemoselective synthesis
93.
hydrothermal synthesis
94.
in situ synthesis
95.
low temperature synthesis
96.
mechanically activated synthesis
97.
mechanically activated thermal synthesis
98.
microwave assisted synthesis
99.
microwave synthesis
100.
microwave-assisted synthesis
101.
molten salt synthesis
102.
molten salt synthesis-growth
103.
nano-crystal synthesis
104.
nanomaterials, synthesis
105.
Nanoparticle synthesis
106.
organic synthesis
107.
parameter synthesis
108.
peroxide synthesis
109.
pigment synthesis
110.
Protecting-group-free synthesis
111.
protein synthesis
112.
Realist synthesis
113.
Self-Propagating High-Temperature Synthesis
114.
semi-synthesis
115.
signal synthesis
116.
sol-gel synthesis
117.
solution based synthesis
118.
solution combustion synthesis
119.
stereoselective synthesis
120.
synthesis
121.
synthesis gas
122.
synthesis of intermetallic phases
123.
synthesis on hierarchical service models
124.
template synthesis
125.
test path synthesis
126.
total synthesis
127.
wet-combustion synthesis
×
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