Results 51 to 60 of about 37,011 (230)
Second-order logic : ontological and epistemological problems
, 2015 In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some
Rossberg, Marcus
core
Type theoretic semantics for semantic networks: an application to natural language engineering [PDF]
, 1996 Semantic Networks have long been recognised as an important tool for natural language processing. This research has been a formal analysis of a semantic network using constructive type theory.
Shiu, Simon K.Y.
core
Aspect−Oriented Programming with Type Classes
, 2007 We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can model an AOP style of programming via a simple syntax-directed transformation ...
Sulzmann, Martin +5 more
core +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 +7 more
wiley +1 more source
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 +8 more
wiley +1 more source
Multimodal Haptic Perception Through Synergistic Nanocomposite Sensor Arrays
Advanced Materials Technologies, EarlyView.Multi‐modal fingertip haptics are advanced through a bioinspired &vertical‐via' electronic skin architecture. A confined PDMS/MWCNT/NiNP nanocomposite, sitting at the percolation threshold, enables tactile, thermal, and magnetic sensing. A unique via‐density gradient and dedicated &Un‐Touch' reference nodes provide robust spatial resolution and signal ...
Amos Bardea, Fernando Patolsky
wiley +1 more source
A combinatory logic approach to higher-order E-unification [PDF]
, 1995 Let E be a first-order equational theory. A translation of higher-order E-unification problems into a combinatory logic framework is presented and justified.
Dougherty, Daniel J., Johann, Patricia
core +2 more sources
Advanced Robotics Research, EarlyView.DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano +3 more
wiley +1 more source
Advanced Robotics Research, EarlyView.Intelligent Sky Guardians (InSkyGuard) is introduced as a four‐drone swarm that autonomously detects, tracks, and safely captures rogue drones using a coordinated net system. Computer vision and leader–follower control architecture enable synchronized enclosure, while integrated failsafes enhance system reliability. Validated through closed‐environment
Joshua Hastings +6 more
wiley +1 more source
Advanced Robotics Research, EarlyView.This review maps the methods to monitor robots’ health by fusing vibration, sound, control signals, vision, force, and oil information with artificial intelligence. It identifies deep learning, transfer learning, digital twins, and physics‐informed models as key methodological pathways enabling earlier diagnosis, safer human–robot collaboration, and ...
Yuting Qiao +6 more
wiley +1 more source