Results 111 to 120 of about 34,934 (297)
Verifying Lock-free Search Structure Templates
We present and verify template algorithms for lock-free concurrent search structures that cover a broad range of existing implementations based on lists and skiplists. Our linearizability proofs are fully mechanized in the concurrent separation logic Iris.
Patel, Nisarg +2 more
openaire +4 more sources
Bio‐Inspired Molecular Events in Poly(Ionic Liquids)
Advanced Functional Materials, EarlyView.Originating from dipolar and polar inter‐ and intra‐chain interactions of the building blocks, the topologies and morphologies of poly(ionic liquids) (PIL) govern their nano‐ and micro‐processibility. Modulating the interactions of cation‐anion pairs with aliphatic dipolar components enables the tunability of properties, facilitated by “bottom‐up ...
Jiahui Liu, Marek W. Urban
wiley +1 more source
Transfer matrix analysis of the birefringent fiber Fabry–Perot cavity and laser frequency locking
Results in PhysicsThe Fiber Fabry–Perot (FFP) cavities are reported as various types of sensors in conventional experiments while rarely reported in application of frequency stabilization.
Guanghui Li +3 more
doaj +1 more source
2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics
Advanced Functional Materials, EarlyView.2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit +5 more
wiley +1 more source
3D mixed finite elements for curved, flat piezoelectric structures
International Journal of Smart and Nano Materials, 2019 The Tangential-Displacement Normal-Normal-Stress (TDNNS) method is a finite element method that was originally introduced for elastic solids and later extended to piezoelectric materials.
Martin Meindlhumer, Astrid Pechstein
doaj +1 more source
Actuating and Sensing Composites of Liquid Crystal Elastomers and Poly(ionic liquid)s
Advanced Functional Materials, EarlyView.Ionic conductive, mechanically tough, flexible, and stretchable filaments of a composite material comprising a liquid crystal elastomer and a poly(ionic liquid) are produced through 3D printing, which exhibit large actuation strain under stimulation and electrical resistance variation in response to deformation or environmental condition changes. Their
Zeping Liu +6 more
wiley +1 more source
3D Printing in MedicineIntroduction Distal locking is a challenging and time-consuming step in interlocked intramedullary nailing of long bone fractures. Current methods have limitations in terms of simplicity, universality, accuracy, speed, and safety.
Zakaria Chabihi +4 more
doaj +1 more source
Computationally-efficient Structural Models for Analysis of Woven Composites [PDF]
The paper presents a novel approach to model woven composite using the computationally efficient one-dimensional models. The framework is built within the scheme of the Carrera Unified Formulation (CUF), a generalized hierarchical formulation that ...
Arnold, Steven M. +8 more
core +1 more source
Advanced Functional Materials, EarlyView.ABSTRACT Breathable membranes that reject chemical warfare agents (CWAs) are required for next‐generation protective apparel. A dual‐function graphene oxide (GO)‐polyamine architecture is introduced that addresses the long‐standing tradeoff between vapor transmission and CWA selectivity.
Hyungjun Kim +6 more
wiley +1 more source
Numerical Exponential Decay to Dissipative Bresse System
Journal of Applied Mathematics, 2010 We consider the Bresse system with frictional dissipative terms acting in all the equations. We show the exponential decay of the solution by using a method developed by Z. Liu and S. Zheng and their collaborators in past years.
M. L. Santos +1 more
doaj +1 more source