Results 81 to 90 of about 506,932 (281)
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
Expressing disjunctive and negative feature constraints with classical first-order logic [PDF]
Proceedings of the 28th annual meeting on Association for Computational Linguistics -, 1990 In contrast to the "designer logic" approach, this paper shows how the attribute-value feature structures of unification grammar and constraints on them can be axiomatized in classical first-order logic, which can express disjunctive and negative constraints.
openaire +1 more source
Advanced Sustainable Systems, EarlyView.Nanosafety data provide a guiding example for establishing best practices in data management, aligning with FAIR principles and quality criteria. This review explores existing quality assessment approaches for reliability, relevance, and completeness, emphasizing the need for harmonization and adaptation to nanomaterials and advanced materials. The aim
Verónica I. Dumit +43 more
wiley +1 more source
Advanced Science, EarlyView.This work develops dynamically softening polyacrylamide hydrogels for time‐resolved imaging during continuous mechanical transitions. The study revealed that mechanotransduction is biphasic; YAP/TAZ inactivation is driven by early loss of the nucleocytoskeletal continuum connecting subnuclear adhesions, F‐actin, and the nuclear envelope, coupled with ...
Alessandro Gandin +12 more
wiley +1 more source
Modeling Incomplete Knowledge of Semantic Web Using Bayesian Networks
Applied Artificial Intelligence, 2019 Interoperable ontologies already exist in the biomedical field, enabling scientists to communicate with minimum ambiguity. Unfortunately, ontology languages, in the semantic web, such as OWL and RDF(S), are based on crisp logic and thus they cannot ...
Messaouda Fareh
doaj +1 more source
Energies, 2019 In this article, a novel maximum power point tracking (MPPT) controller for a photovoltaic (PV) system is presented. The proposed MPPT controller was designed in order to extract the maximum of power from the PV-module and reduce the oscillations once ...
Noureddine Bouarroudj +5 more
doaj +1 more source
The Dialectica interpretation of first-order classical affine logic
Theory and Applications of Categories, 2006 Summary: We give a Dialectica-style interpretation of first-order classical affine logic. By moving to a contraction-free logic, the translation (a.k.a. D-translation) of a first-order formula into a higher-type \(\exists\forall\)-formula can be made symmetric with respect to duality, including exponentials.
openaire +2 more sources
Connexin43 Deficiency Leads to Ventricular Arrhythmias by Reprogramming Proline Metabolism
Advanced Science, EarlyView.The study demonstrated that connexin43 (Cx43) knockout caused arrhythmic phenotype and decreased proline content in vitro and in vivo. Mechanistically, Cx43 interacts with the amino acid transporter SNAT2 (sodium‐dependent neutral amino acid transporter), and its deficiency disrupts proline transport and metabolism.
Hangying Ying +8 more
wiley +1 more source
Teoria kategorii i niektóre jej logiczne aspekty
Zagadnienia Filozoficzne w Nauce, 2018 This article is intended for philosophers and logicians as a short partial introduction to category theory (CT) and its peculiar connection with logic. First, we consider CT itself.
Mariusz Stopa
doaj
On two classical results in the first order logic
Publications de l'Institut Mathematique, 2004 Summary: A common core of proofs of the classical consistency theorem of Hilbert and Ackermann and Herbrand's theorem concerning validity of existential formulas is extracted.
openaire +3 more sources