Results 61 to 70 of about 420,653 (327)
LOGIC OF DETERMINATION OF OBJECTS: THE MEANING OF VARIABLE IN QUANTIFICATION [PDF]
International Journal on Artificial Intelligence Tools, 2006 This article constitutes a contribution to an analysis of the notion of variable. Within the framework of Combinatory Logic as a formalism without bound variables, the Logic of Determination of Objects (LDO) provides an explanation for the necessary distinction between "whatever, any" and "indeterminate, indefinite" used by the introduction and ...
Jean-Pierre Desclés, Anca Pascu
openaire +2 more sources
Branching in the landscape of possibilities [PDF]
, 2011 The metaphor of a branching tree of future possibilities has a number of important philosophical and logical uses. In this paper we trace this metaphor through some of its uses and argue that the metaphor works the same way in physics as in philosophy ...
Thomas Müller, Müller, Thomas
core +1 more source
Advanced Materials Technologies, EarlyView.This study shows that a lightweight blackbox neural network provides a practical, cost‐effective solution for bidirectional process prediction in laser‐induced graphene (LIG) fabrication. Achieving high predictive performance with minimal overhead, the approach democratizes machine learning (ML) for resource‐limited environments.
Maxim Polomoshnov +3 more
wiley +1 more source
Determining the environment: a modal logic for closed interaction [PDF]
Synthese, 2009 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jan M. Broersen +3 more
openaire +3 more sources
The open future, bivalence and assertion
, 2014 It is highly intuitive that the future is open and the past is closed—whereas it is unsettled whether there will be a fourth world war, it is settled that there was a first.
Hattiangadi, A. +6 more
core +1 more source
Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models
Advanced Robotics Research, EarlyView.A multimodal human–robot interaction framework integrates human pose estimation (HPE) and a large language model (LLM) for gesture‐ and voice‐based robot control. Speech‐to‐text (STT) enables voice command interpretation, while a safety‐aware arbitration mechanism prioritizes gesture input for rapid intervention.
Nasiru Aboki +2 more
wiley +1 more source
Carnets de Géographes, 2013 The practise of hunting requires a symbolic initiation linked to the social side of things, as well as an initiation through the body which itself finds its place in the territory. We must keep in mind that the finality here is the crafty tactics you use
Christophe Baticle
doaj +1 more source
Normal Modal Logics Determined by Aligned Clusters [PDF]
Studia Logica, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zofia Kostrzycka, Yutaka Miyazaki
openaire +2 more sources
LLM‐Integrated Human–Robot Interaction System for Microrobots
Advanced Robotics Research, EarlyView.This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley +1 more source
Expression pattern determines regulatory logic
PLOS ONE, 2021 Large amounts of effort have been invested in trying to understand how a single genome is able to specify the identity of hundreds of cell types. Inspired by some aspects ofCaenorhabditis elegansbiology, we implemented an in silico evolutionary strategy to produce gene regulatory networks (GRNs) that drive cell-specific gene expression patterns ...
openaire +5 more sources