Results 41 to 50 of about 38,933 (219)

Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)

Data in Brief, 2019
The authors universal (meta-)logical reasoning approach is demonstrated and assessed with a prominent riddle in epistemic reasoning: the Wise Men Puzzle.
Christoph Benzmüller
doaj   +1 more source

α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic [PDF]

International Journal of Computational Intelligence Systems, 2014
Based on the general form of α-resolution principle for a lattice-valued logic with truth-values defined in a lattice-valued logical algebra structure - lattice implication algebra, the further extended α-resolution method in this lattice ...
Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen   +3 more
doaj   +1 more source

DeepMapper: Attention‐Based AutoEncoder for System Identification in Wound Healing and Stage Prediction

Advanced Intelligent Discovery, EarlyView.
The authors develop a deep learning model for real‐time tracking of wound progression. The deep learning framework maps the nonlinear evolution of a time series of images to a latent space, where they learn a linear representation of the dynamics. The linear model is interpretable and suitable for applications in feedback control.
Fan Lu, Ksenia Zlobina, Michael Briden, Oscar Avalos, Héctor Carrión, Sebastian Osorio, Hsin‐ya Yang, Alexandra Nava, Michelle D. Bagood, Marco Rolandi, Roslyn Rivkah Isseroff, Marcella Gomez   +11 more
wiley   +1 more source

Automated verification of termination certificates [PDF]

, 2012
In order to increase user confidence, many automated theorem provers provide certificates that can be independently verified. In this paper, we report on our progress in developing a standalone tool for checking the correctness of certificates for the ...
Blanqui, Frédéric, Ly, Kim Quyen
core   +2 more sources

VAE+DDPG: An Attention‐Enhanced Variational Autoencoder for Deep Reinforcement Learning‐Based Autonomous Navigation in Low‐Light Environments

Advanced Intelligent Systems, EarlyView.
Variational Autoencoder+Deep Deterministic Policy Gradient addresses low‐light failures of infrared depth sensing for indoor robot navigation. Stage 1 pretrains an attention‐enhanced Variational Autoencoder (Convolutional Block Attention Module+Feature Pyramid Network) to map dark depth frames to a well‐lit reconstruction, yielding a 128‐D latent code ...
Uiseok Lee, Chanhong Hwang, Hyunseok Kang, Yechan Park, Hangwoo Jin, Tuan Anh Nguyen, Eunmi Choi, Dugki Min   +7 more
wiley   +1 more source

A Flexible and Energy‐Efficient Compute‐in‐Memory Accelerator for Kolmogorov–Arnold Networks

Advanced Intelligent Systems, EarlyView.
This article presents KA‐CIM, a compute‐in‐memory accelerator for Kolmogorov–Arnold Networks (KANs). It enables flexible and efficient computation of arbitrary nonlinear functions through cross‐layer co‐optimization from algorithm to device. KA‐CIM surpasses CPU, ASIC, VMM‐CIM, and prior KAN accelerators by 1–3 orders of magnitude in energy‐delay ...
Chirag Sudarshan, Oliver Artner, Paul‐Philipp Manea, Sebastian Siegel, Susanne Hoffmann‐Eifert, Regina Dittmann, John Paul Strachan   +6 more
wiley   +1 more source

MusicSwarm: Biologically Inspired Intelligence for Music Composition

Advanced Intelligent Systems, EarlyView.
Biologically inspired swarms of frozen foundation models self‐organize to compose complex music without fine‐tuning. By coordinating through stigmergic signals, decentralized agents dynamically evolve specialized roles and adapt to solve complex tasks.
Markus J. Buehler
wiley   +1 more source

The natural algorithmic approach of mixed trigonometric-polynomial problems

Journal of Inequalities and Applications, 2017
The aim of this paper is to present a new algorithm for proving mixed trigonometric-polynomial inequalities of the form ∑ i = 1 n α i x p i cos q i x sin r i x > 0 $$\sum_{i=1}^{n}\alpha _{i}x^{p_{i}} \cos ^{q_{i}} x\sin ^{r_{i}} x>0 $$ by reducing them ...
Tatjana Lutovac, Branko Malešević, Cristinel Mortici   +2 more
doaj   +1 more source

Towards Advanced Intelligent and Perceptive Soft Grippers

Advanced Intelligent Systems, EarlyView.
Implementing soft yet strong and intelligent soft grippers request innovative and creative solutions in designing soft bodies and seamlessly integrating actuated systems with hierarchical sensing. This review systematically analyses soft grippers with a deep understanding of core components, from fundamental design principles to actuation and sensing ...
Haneul Kim, Hayeon Shin, Seik Park, Changbeom Shim, Seonggun Joe   +4 more
wiley   +1 more source

The ILLTP Library for Intuitionistic Linear Logic [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited.
Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis   +3 more
doaj   +1 more source