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 synthesis (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/154)
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
154
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.
logic
32.
logic built-in self-test
33.
logic cell library
34.
logic circuit
35.
logic design
36.
logic diagram
37.
logic diagrams
38.
logic education
39.
logic for pragmatics
40.
logic gates
41.
logic in AI
42.
logic in computer science
43.
logic in society
44.
logic level
45.
logic level and high level BDDs
46.
logic locking
47.
logic machine
48.
logic models
49.
logic models and simulation
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 simulation
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.
asymmetric synthesis
85.
Automated Synthesis of Software-based Self-test
86.
automatic program synthesis
87.
behavioral synthesis
88.
chemical synthesis
89.
chemoenzymatic synthesis
90.
circuit synthesis
91.
combustion synthesis
92.
control system synthesis
93.
counterexample-guided inductive synthesis
94.
data synthesis
95.
diversity-oriented synthesis
96.
DNA synthesis
97.
electrochemical synthesis
98.
enantioselective synthesis
99.
evidence synthesis
100.
ex-situ synthesis
101.
flame aerosol synthesis
102.
green synthesis
103.
green synthesis biomaterials
104.
growth-synthesis
105.
high level synthesis
106.
high-level decision diagrams (HLDD) synthesis
107.
high-level synthesis
108.
High-Level Synthesis (HLS)
109.
high-level synthesis for test
110.
highly chemoselective synthesis
111.
high-temperature synthesis (SHS)
112.
histone synthesis
113.
hydrothermal synthesis
114.
in situ synthesis
115.
in-situ synthesis
116.
Layout Synthesis
117.
lipid synthesis
118.
low temperature synthesis
119.
mechanically activated synthesis
120.
mechanically activated thermal synthesis
121.
microwave assisted synthesis
122.
microwave synthesis
123.
microwave-assisted synthesis
124.
molten salt synthesis
125.
molten salt synthesis-growth
126.
nano-crystal synthesis
127.
nanomaterials, synthesis
128.
Nanoparticle synthesis
129.
nickel nanoparticle synthesis
130.
organic synthesis
131.
parameter synthesis
132.
peroxide synthesis
133.
pigment synthesis
134.
Protecting-group-free synthesis
135.
protein synthesis
136.
Realist synthesis
137.
Self-Propagating High-Temperature Synthesis
138.
semi-synthesis
139.
signal synthesis
140.
sol-gel synthesis
141.
solution based synthesis
142.
solution combustion synthesis
143.
speech synthesis
144.
stereoselective synthesis
145.
sustainable synthesis
146.
synthesis
147.
synthesis gas
148.
synthesis on hierarchical service models
149.
synthesis strategies
150.
telescoped synthesis
151.
template synthesis
152.
test path synthesis
153.
total synthesis
154.
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