Results 151 to 160 of about 823,326 (291)

Skolemisation for Intuitionistic Linear Logic

AbstractFocusing is a known technique for reducing the number of proofs while preserving derivability. Skolemisation is another technique designed to improve proof search, which reduces the number of back-tracking steps by representing dependencies on the term level and instantiate witness terms during unification at the axioms or fail with an occurs ...
Bruni, Alessandro, Ritter, Eike, Schürmann, Carsten   +2 more
openaire   +3 more sources

Fabrication Technologies for Soft, Multimaterial Optical Fibers for In Vivo Diagnostics and Phototherapy, With a Focus on Extrusion Printing

Advanced Materials Technologies, EarlyView.
Soft multimaterial optical fibers integrate multiple functionalities—such as waveguiding, side emission, sensing, drug delivery or actuation—into a single filament for wearable, implantable, and tissue‐integrated devices for diagnostics and phototherapy.
Zahra Kafrashian, Jun Feng, Aránzazu del Campo   +2 more
wiley   +1 more source

Light Switchable Ionic Conductivity of Arylazopyrazole Modified Polysiloxanes

Advanced Materials Technologies, EarlyView.
We present a polysiloxane functionalized with a novel arylazopyrazole dye that undergoes reversible photoisomerization. Upon lithium bis(trifluoromethanesulfonyl)imide addition and UV irradiation, the polymer exhibits a shift in tan(d) toward higher frequencies and enhanced ionic conductivity.
Malte S. Beccard, Thulasinath Raman Venkatesan, Michael Bauer, Valentin Razvan Lupu, Philipp Scheidegger, Francesco Taddei, Frank A. Nüesch, Dorina M. Opris   +7 more
wiley   +1 more source

Advances in Solid‐Phase Processing Techniques: Innovations, Applications, and Future Perspectives

Advanced Materials Technologies, EarlyView.
Based on practical manufacturing challenges, this review examines advanced solid‐phase processing techniques that overcome the inherent limitations of conventional melting‐based and traditional solid‐phase manufacturing, enabling the production of higher‐performance components at reduced cost through process innovation and improved supply‐chain ...
Tianhao Wang
wiley   +1 more source

Transducers Across Scales and Frequencies: A System‐Level Framework for Multiphysics Integration and Co‐Design

Advanced Materials Technologies, EarlyView.
Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu, Mengyao Xiao, Zhouli Sui, Yinpeng Wang, Daoye Zheng, Yuxin Liu, Luwei Wang, Huajun Liu, Chengkuo Lee   +8 more
wiley   +1 more source

Enhanced trajectory tracking for autonomous navigation of wheeled mobile robots using an adaptive fuzzy PID controller. [PDF]

Sci Rep
El Zoghby HM, Sharaf SM, Bendary AF, Hessien A.   +3 more
europepmc   +1 more source

Recent Advances of Slip Sensors for Smart Robotics

Advanced Materials Technologies, EarlyView.
This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang, Liao Wu, Shuai He, Zhao Sha, Yuwan Huang, Shuying Wu, Dewei Chu, Chun H. Wang, Shuhua Peng   +8 more
wiley   +1 more source

Controlling control: toward a reflexive concept of officer safety. [PDF]

Front Sociol
Staller MS, Koerner S, Zaiser B.
europepmc   +1 more source

Fabric‐Based Wearable Robotic Exoskeleton Gloves: Advancements and Challenges

Advanced Materials Technologies, EarlyView.
This review highlights interdisciplinary technological advances in fabric‐based robotic gloves, focusing on progress in design, fabrication, actuation, sensing, control, and power and energy requirements. It also addresses performance testing and validation, including biomechanical, strength, functional, user experience, and durability assessments, to ...
Ayse Feyza Yilmaz, Gökhan Ince, Ozgur Atalay   +2 more
wiley   +1 more source

Oxide interface-based polymorphic electronic devices for neuromorphic computing. [PDF]

Nat Commun
Pradhan S, Miller K, Hartmann F, Spring M, Gabel J, Leikert B, Kuhn S, Kamp M, Lopez-Richard V, Sing M, Claessen R, Höfling S.   +11 more
europepmc   +1 more source