Results 71 to 80 of about 69,255 (288)
SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction [PDF]
, 2013 In this paper, we present an automated technique SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction, which uses a combination of Nelder-Mead optimization based testing, and induction from examples to automatically synthesize ...
Jha, Susmit, Seshia, Sanjit A.
core
Anti‐Slip Material‐Based Strategies and Approaches
Advanced Materials Technologies, EarlyView.This review highlights the principle mechanisms of slipping at the microscale, linking contact mechanics with a friction behavior model for surface interfaces. Main strategies to develop anti‐slip properties to the surfaces are discussed alongside standardized testing approaches.
Sogand Abbaspoor‐Zanjani +3 more
wiley +1 more source
Masking FALCON’s Floating-Point Multiplication in Hardware
Transactions on Cryptographic Hardware and Embedded SystemsFloating-point arithmetic is a cornerstone in a wide array of computational domains, and it recently became a building block for the FALCON post-quantum digital signature algorithm.
Emre Karabulut, Aydin Aysu
doaj +1 more source
Exploiting Structure in Floating-Point Arithmetic [PDF]
, 2016 The analysis of algorithms in IEEE floating-point arithmetic is most often carried out via repeated applications of the so-called standard model, which bounds the relative error of each basic operation by a common epsilon depending only on the format. While this approach has been eminently useful for establishing many accuracy and stability results, it
openaire +2 more sources
Advanced Materials Technologies, EarlyView.Binder‐free EGaIn–CB composite deliver printable, recyclable liquid‐metal conductors without sintering or polymer binders. Only 1.5 wt% CB yields shear‐thinning, high‐viscosity rheology, ∼60% bulk EGaIn conductivity, robust stretchability, high thermal conductivity, and strong EMI shielding (35 → 70 dB at 100% strain).
Elahe Parvini +4 more
wiley +1 more source
Auto‐Routing Fluidic Printed Circuit Boards
Advanced Robotics Research, EarlyView.This work introduces (STREAM) software tool for routing efficiently advanced macrofluidics, an open‐source software tool for automating the design of 3D‐printable fluidic circuit boards. STREAM streamlines tube routing and layout, enabling the rapid fabrication of fluidic networks for soft robotics, lab‐on‐a‐chip devices, microfluidics, and biohybrid ...
Savita V. Kendre +3 more
wiley +1 more source
Advanced Sustainable Systems, EarlyView.Microorganisms colonizing photovoltaic surfaces in the Atacama desert form biofilms that enhance particle adhesion and reduce energy yield. This study identifies UV‐resistant bacteria and carotenoid‐producing strains that interfere with PV performance.
Douglas Olivares +8 more
wiley +1 more source
Advanced Science, EarlyView.This study designs a novel mRNA‐LNP vaccine targeting VZV glycoprotein E (gE) for herpes zoster via an AI‐assisted pipeline. Validated in mice and rhesus macaques, the mRNA‐LNP vaccine shows strong humoral and cellular immune responses, with CD4+ T‐cell responses more effective and durable than Shingrix, offering a promising prophylactic option ...
Kai Dong +6 more
wiley +1 more source
Advanced Science, EarlyView.Depression, a prevalent neuropsychiatric disorder with unclear pathogenesis, involves dysfunctional adenylyl cyclase 8 (Adcy8) as a key risk factor. Chronic stress selectively reduces Adcy8 expression in the dorsal CA1 (dCA1) neurons. Depletion of Adcy8 in dCA1 excitatory neurons induces depressive‐like behaviors by impairing neuronal excitability and ...
Zi‐Jie Liu +14 more
wiley +1 more source
Hardware math for the 6502 microprocessor [PDF]
A floating-point arithmetic unit is described which is being used in the Ground Facility of Large Space Structures Control Verification (GF/LSSCV). The experiment uses two complete inertial measurement units and a set of three gimbal torquers in a closed
Currie, J., Kissel, R.
core +1 more source