Results 81 to 90 of about 188,814 (295)
Revista Letras, 1999 O texto pretende chegar a uma conceituação adequada de "semântica formal", esclarecendo a noção de "significado" suposta e suas relações com outras áreas (e/ou abordagens) do estudo da linguagem humana. A partir da noção de "verdade como correspondência" e da noção de "modelo de interpretação", procura-se esboçar a proposta de uma teoria semântica ...
openaire +4 more sources
Advanced Robotics Research, EarlyView.Automated poultry processing lines still rely on humans to lift slippery, easily bruised carcasses onto a shackle conveyor. Deformability, anatomical variance, and hygiene rules make conventional suction and scripted motions unreliable. We present ChicGrasp, an end‐to‐end hardware‐software co‐designed imitation learning framework, to offer a ...
Amirreza Davar +8 more
wiley +1 more source
A Conceptual Formalization of Crosscutting in AOSD [PDF]
, 2005 We propose a formalization of crosscutting based on a conceptual framework for AOSD. Crosscutting is clearly distinguished from the related concepts scattering and tangling.
Berg, K.G. van den, Conejero, J.M.
core +2 more sources
Formalization, Mechanization and Automation of G\"odel's Proof of God's Existence
, 2017 G\"odel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has been done (and in this order): A detailed natural deduction proof.
Benzmüller, Christoph +1 more
core +1 more source
Advanced Science, EarlyView.We introduce AutomataGPT, a generative pretrained transformer (GPT) trained on synthetic spatiotemporal data from 2D cellular automata to learn symbolic rules. Demonstrating strong performance on both forward and inverse tasks, AutomataGPT establishes a scalable, domain‐agnostic framework for interpretable modeling, paving the way for future ...
Jaime A. Berkovich +2 more
wiley +1 more source
Frontiers in Computer ScienceThe rapid evolution of the labor market necessitates innovative approaches to align higher education curricula with professional standards. This study presents an AI-driven framework utilizing the GPT model to automate the formalization of professional ...
Ainur Mukashova +12 more
doaj +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Le rôle des « Berbechas » en Tunisie : Le pilier marginalisé de l’économie circulaire ?
VertigOIn Tunisia, informal waste pickers known as Berbechas play a central role in the waste recovery and recycling chain, yet remain excluded from institutional waste management frameworks.
Maha Bouhlel-Abid
doaj +1 more source
Concurrency specification using Event-based Specification Chart [PDF]
Computer Science Journal of Moldova, 2012 Architecting framework proposed in [1] can be used efficiently for developing concurrency-intensive systems only if there exist languages and tools corresponding to the described concepts.
Dumitru Ciorba, Victor Besliu
doaj
Formalization of Complex Vectors in Higher-Order Logic
, 2014 Complex vector analysis is widely used to analyze continuous systems in many disciplines, including physics and engineering. In this paper, we present a higher-order-logic formalization of the complex vector space to facilitate conducting this analysis ...
H. Herencia-Zapana +4 more
core +1 more source