Results 131 to 140 of about 13,558 (288)
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.This article reviews the current state of bioinspired soft robotics. The article discusses soft actuators, soft sensors, materials selection, and control methods used in bioinspired soft robotics. It also highlights the challenges and future prospects of this field.
Abhirup Sarker +2 more
wiley +1 more source
Inversion and the Admissibility of Logical Rules
, 2020 . The inversion principle expresses a relationship between left and right introduction rules for logical constants. Hallnäs and SchroederHeister [2] presented the principle of definitional reflection as a means of capturing the idea embodied in the ...
Thomas Piecha, Wagner De Campos Sanz
core
Large Language Model‐Based Chatbots in Higher Education
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.The use of large language models (LLMs) in higher education can facilitate personalized learning experiences, advance asynchronized learning, and support instructors, students, and researchers across diverse fields. The development of regulations and guidelines that address ethical and legal issues is essential to ensure safe and responsible adaptation
Defne Yigci +4 more
wiley +1 more source
Modular Electronic Microrobots With Onboard Sensor‐Program‐Steered Locomotion
Advanced Intelligent Systems, EarlyView.Modular electronic smartlet microrobots integrate ambient‐light energy harvesting, photodetection, programmable CMOS control, and bubble‐based actuation within a sub‐millimeter fold‐up architecture. A 58‐bit on‐board CMOS chiplet enables sensor–program steered switching between independently addressable actuators, achieving closed‐loop 2D navigation in
Vineeth K. Bandari +6 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.Four decades of retinal vessel segmentation research (1982–2025) are synthesized, spanning classical image processing, machine learning, and deep learning paradigms. A meta‐analysis of 428 studies establishes a unified taxonomy and highlights performance trends, generalization capabilities, and clinical relevance.
Avinash Bansal +6 more
wiley +1 more source
Lambda-Free Logical Frameworks [PDF]
, 2011 We present the definition of the logical framework TF, the Type Framework.TF is a lambda-free logical framework; it does not include lambda-abstractionor product kinds.
Adams, Robin
core
In‐Memory Continuous‐Time SAT Solver Based on Bidirectional 11‐T SRAM Macro
Advanced Intelligent Systems, EarlyView.This article reported a continuous‐time (CT) Boolean satisfiability (SAT) problem solver using bidirectional 11T‐SRAM macro. The proposed system operates asynchronously using capacitor‐based gradient integration and maximizes the parallelism for SAT solving by in‐memory computing (IMC).
Dongseok Kwon +3 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.An instance‐level, model‐agnostic explanation of class differentiation is introduced through SHAP‐LCD, linking probability shifts to feature‐wise Shapley contributions. The method operates on tabular and image data and is released in a fully reproducible implementation, offering a transparent way to examine, at each instance, why predictive models ...
Roxana M. Romero Luna +2 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.Complex dynamics, often avoided in electromechanical design, can enhance soft robotics. We develop durable magnetic soft actuators operating in tunable dynamic regimes, enabling random number generation, stochastic computing, and time‐series prediction.
Eduardo Sergio Oliveros‐Mata +14 more
wiley +1 more source
From natural to formal language: a case for logical pluralism
I argue for a version of logical pluralism based on the plurality of legitimate formalizations of the logical vocabulary. In particular, I argue that the apparent rivalry between classical and relevant logic can be resolved, given that both logics ...
Terres Villalonga, Pilar
core +1 more source