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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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 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/155)
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
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
155
1.
logic synthesis
2.
ecological synthesis
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.
linear logic of Petri nets
32.
logic
33.
logic built-in self-test
34.
logic cell library
35.
logic circuit
36.
logic design
37.
logic diagram
38.
logic diagrams
39.
logic education
40.
logic for pragmatics
41.
logic gates
42.
logic in AI
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 models
50.
logic models and simulation
51.
logic notation
52.
logic obfuscation
53.
logic of bunched implications
54.
logic of relatives
55.
logic of science
56.
logic of speech acts
57.
logic simulation
58.
logic teaching
59.
logic-based distributed routing
60.
malicious logic
61.
mathematical logic
62.
modal logic
63.
Natural logic
64.
Peirce's existential graphs and transcendental logic
65.
philosophical logic
66.
philosophy of logic
67.
pragmatic logic
68.
probabilistic relational program logic
69.
programmable logic
70.
programmable logic controller (PLC)
71.
quantitative logic
72.
quantum logic
73.
race logic
74.
reconfigurable logic
75.
routing logic
76.
S4 modal logic
77.
S-D logic
78.
Semi-substructural logic
79.
Service-Dominant logic
80.
stateful logic computation
81.
substructural logic
82.
symbolic knowledge in Husserlian pure logic
83.
symbolic logic
84.
temporal logic
85.
asymmetric synthesis
86.
Automated Synthesis of Software-based Self-test
87.
automatic program synthesis
88.
behavioral synthesis
89.
chemical synthesis
90.
chemoenzymatic synthesis
91.
circuit synthesis
92.
combustion synthesis
93.
control system synthesis
94.
counterexample-guided inductive synthesis
95.
data synthesis
96.
diversity-oriented synthesis
97.
DNA synthesis
98.
electrochemical synthesis
99.
enantioselective synthesis
100.
evidence synthesis
101.
ex-situ synthesis
102.
flame aerosol synthesis
103.
green synthesis
104.
green synthesis biomaterials
105.
growth-synthesis
106.
high level synthesis
107.
high-level decision diagrams (HLDD) synthesis
108.
high-level synthesis
109.
High-Level Synthesis (HLS)
110.
high-level synthesis for test
111.
highly chemoselective synthesis
112.
high-temperature synthesis (SHS)
113.
histone synthesis
114.
hydrothermal synthesis
115.
in situ synthesis
116.
in-situ synthesis
117.
Layout Synthesis
118.
lipid synthesis
119.
low temperature synthesis
120.
mechanically activated synthesis
121.
mechanically activated thermal synthesis
122.
microwave assisted synthesis
123.
microwave synthesis
124.
microwave-assisted synthesis
125.
molten salt synthesis
126.
molten salt synthesis-growth
127.
nano-crystal synthesis
128.
nanomaterials, synthesis
129.
Nanoparticle synthesis
130.
nickel nanoparticle synthesis
131.
organic synthesis
132.
parameter synthesis
133.
peroxide synthesis
134.
pigment synthesis
135.
Protecting-group-free synthesis
136.
protein synthesis
137.
Realist synthesis
138.
Self-Propagating High-Temperature Synthesis
139.
semi-synthesis
140.
signal synthesis
141.
sol-gel synthesis
142.
solution based synthesis
143.
solution combustion synthesis
144.
speech synthesis
145.
stereoselective synthesis
146.
sustainable synthesis
147.
synthesis
148.
synthesis gas
149.
synthesis on hierarchical service models
150.
synthesis strategies
151.
telescoped synthesis
152.
template synthesis
153.
test path synthesis
154.
total synthesis
155.
wet-combustion synthesis
×
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