Results 71 to 80 of about 395,811 (280)

Learning, realizability and games in classical arithmetic [PDF]

, 2011
PhDAbstract. In this dissertation we provide mathematical evidence that the concept of learning can be used to give a new and intuitive computational semantics of classical proofs in various fragments of Predicative Arithmetic.
Aschieri, Federico
core   +3 more sources

High Throughput Arithmetic Computing Unit for BFV Homomorphic Encryption

IEEE Open Journal of Circuits and Systems
Homomorphic Encryption (HE) enables secure computations on encrypted data, which is crucial for cloud and edge computing. The BFV scheme, widely used for integer arithmetic, faces performance bottlenecks in polynomial multiplication, especially in tensor
Rella Mareta, Ardianto Satriawan, Hanho Lee   +2 more
doaj   +1 more source

Reactivity‐Guided Janus Graphene With Asymmetric Interfacial Electrostatics for Tunable Charge Transport

Advanced Materials, EarlyView.
Stepwise dual‐side functionalization creates covalent Janus graphene with chemically and electrostatically asymmetric interfaces. The resulting nonadditive surface‐potential response and pronounced charge‐transport modulation demonstrate a versatile route for tailoring the electronic properties of graphene.
Shishi Liu, Zhuting Hao, Mira Kreßler, Oguzhan Yücel, Lotte Polling, Adrián Dewambrechies, Wesley Pietsch, Philip Nickl, Felix Fels, Kevin Pagel, Markus R. Heinrich, Patryk Kusch, Kirill Bolotin, Xin Chen, Siegfried Eigler   +14 more
wiley   +1 more source

Logic circuit design of a 41-bit residue arithmetic unit [PDF]

The application of residue notation is another approach for solving the problem of carry propagation in arithmetic units. Most other methods for solving this problem are based on changes in adder design and the use of improved components.
Routhieaux, Thomas Robert
core   +6 more sources

Amphiphilic Non‐Isocyanate Polyurethane Coatings With Tunable Antifouling and Fouling‐Release Performance: A Log‐Ratio Assessment Framework

Advanced Materials Interfaces, EarlyView.
Amphiphilic non‐isocyanate polyurethane (NIPU) coatings containing reactive hydrophobic poly(dimethylsiloxane) (PDMS) and hydrophilic methoxy poly(ethylene glycol) (MPEG) prepolymers for marine antifouling (AF) and fouling‐release (FR) applications were investigated. The coatings were evaluated with a set of representative marine foulants.
Nastaran Shahzadeh, Shane J. Stafslien, Lyndsi J. VanderWal, John A. Finlay, Peter Allen, Anthony S. Clare, Ivan Hevus, Dean C. Webster   +7 more
wiley   +1 more source

Efficient programmable power‐of‐two scaler for the three‐moduli set {2

ETRI Journal, 2020
Scaling is an important operation because of the iterative nature of arithmetic processes in digital signal processors (DSPs). In residue number system (RNS)–based DSPs, scaling represents a performance bottleneck based on the complexity of inter‐modulo ...
MohammadReza Taheri, Keivan Navi, Amir Sabbagh Molahosseini   +2 more
doaj   +1 more source

Leveraging Mechanical Resonances for the Selection of Promising Materials in Complex Phase Spaces

Advanced Materials Technologies, EarlyView.
A central challenge in materials science is the design of new functional materials with enhanced performance for targeted applications. This paper demonstrates that “listening” to materials through measuring their mechanical resonances is a rich, and largely untapped, platform for the rapid identification of promising novel compounds and a powerful ...
Christopher A. Mizzi, Osman El‐Atwani, Tannor T. J. Munroe, Saryu Fensin, Boris Maiorov   +4 more
wiley   +1 more source

Non-residually finite extensions of arithmetic groups [PDF]

Research in Number Theory, 2018
The aim of the article is to show that there are many finite extensions of arithmetic groups which are not residually finite. Suppose $G$ is a simple algebraic group over the rational numbers satisfying both strong approximation, and the congruence subgroup problem.
openaire   +4 more sources

Wood‐Derived Nanocellulose‐Biocarbon Fresnel‐Zone Plate Lenses for Sub‐THz Frequency Applications

Advanced Materials Technologies, EarlyView.
Wood‐derived nanocellulose and lignin‐based biocarbon were combined to fabricate fully bio‐based Fresnel zone plate (FZP) lenses for sub‐terahertz frequencies. These sustainable FZP lenses exhibit low dielectric loss and high directivity, achieving performance comparable to that of metallic references, and remain functional under environmental stress ...
Riikka Haataja, Mikko Kokkonen, Niina Halonen, Sami Myllymäki, Umair Rafique, Mandeep Singh, Ossi Laitinen, Heli Jantunen, Kristiina Oksman, Henrikki Liimatainen   +9 more
wiley   +1 more source

Residue Number System Assisted Fast Frequency-Hopped Synchronous Ultra-Wideband Spread-Spectrum Multiple-Access: A Design Alternative to Impulse Radio

, 2002
Ultra-wideband (UWB) systems having a bandwidth on the order of gigahertz have recently received wide attention both in the U.S. and in Europe. The family of UWB systems may communicate either by generating ultra-wideband signals or with the aid of ...
Yang, L-L, Hanzo, L.
core   +1 more source