Results 81 to 90 of about 13,015 (267)
We combine the concepts of modal logics and many-valued logics in a general and comprehensive way. Namely, given any finite linearly ordered set of truth values and any set of propositional connectives defined by truth tables, we define the many-valued minimal normal modal logic, presented as a Gentzen-like sequent calculus, and prove its soundness and
Karniel, Amir, Kaminski, Michael
openaire +2 more sources
3D Printed Multimaterial Microfluidic Transistors
We introduce a biocompatible, high resolution photopolymer resin that closely mimics the Young's Modulus (elasticity) and reversible stretchability (no hysteresis) of poly(dimethylsiloxane) (PDMS), enabling the fabrication of microfluidic transistors (i.e., microvalves capable of proportional amplification) by multimaterial stereolithography (mSLA ...
Alireza Ahmadianyazdi +7 more
wiley +1 more source
Data Scaling by Differential Evolution for FCA over Data from LMS eLogika
The e-learning system eLogika serves for teaching logic. The system collects data about users who are logged in, e.g. time spent on a particular activity, the number of activities performed by particular students, what data is a student interested in ...
Jakub Kermaschek +2 more
doaj +1 more source
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 +2 more
wiley +1 more source
Light Switchable Ionic Conductivity of Arylazopyrazole Modified Polysiloxanes
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 +7 more
wiley +1 more source
Advances in Solid‐Phase Processing Techniques: Innovations, Applications, and Future Perspectives
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 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 +8 more
wiley +1 more source
Recent Advances of Slip Sensors for Smart Robotics
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 +8 more
wiley +1 more source
Fabric‐Based Wearable Robotic Exoskeleton Gloves: Advancements and Challenges
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 +2 more
wiley +1 more source
Truth as a Mathematical Object
In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some
Jean-Yves Béziau
doaj

