Results 101 to 110 of about 716,706 (268)

Outracing a National Level Model Racing Car Champion: A Hybrid Model‐Based Data‐Driven Approach

Journal of Field Robotics, EarlyView.
ABSTRACT This paper discusses lap time optimization, focusing on a single lap without considering opponents in autonomous racing. The paper presents a control and optimization architecture composed of a model‐based low level controller and a higher level iterative learning algorithm with the goal of obtaining the fastest qualifying lap in autonomous ...
Mustafa Alp, Matteo Corno, Giulio Panzani, Sergio Matteo Savaresi   +3 more
wiley   +1 more source

An algebra and a logic for NC1

Information and Computation, 1990
This paper, which appeared in an earlier version \textit{K. Compton} and \textit{C. Laflamme} [A logic and an Algebra for \(NC^ 1\) in: Proc. 3rd Annual Conference on Logic in Computer Science, (1988; Washington (IEEE Computer Society Press)], presents an algebra and a logic characterizing the complexity class \(NC^ 1\).
Compton, Kevin J., Laflamme, Claude
openaire   +2 more sources

Hexapod Locomotion Across Structured and Unstructured Terrains: A Data‐Driven Review of Modeling, Control, and Validation

Journal of Field Robotics, EarlyView.
ABSTRACT The design of a hexapod is complex and requires integration between kinematic models, control systems, and sensing. Existing literature has reviewed these sub‐systems in isolation. Since 2021, there has been no review of the field despite significant advancements in soft soil, lunar traversal, and artificial intelligence.
Akhil Rampersad, Bashan Naidoo
wiley   +1 more source

Dualising Intuitionistic Negation

Principia: An International Journal of Epistemology, 2009
One of Da Costa’s motives when he constructed the paraconsistent logic C! was to dualise the negation of intuitionistic logic. In this paper I explore a different way of going about this task.
Graham Priest
doaj  

MacColl’s influences on Peirce and Schröder

Philosophia Scientiæ, 2011
The contributions to logic of MacColl and Charles Sanders Peirce (1839-1914) were the two most profound influences upon the work of Ernst Schröder (1841-1902) in algebraic logic. In his Vorlesungen über die Algebra der Logik, Schröder referred to MacColl
Irving H. Anellis
doaj   +1 more source

State space c-reductions for concurrent systems in rewriting logic [PDF]

, 2011
We present c-reductions, a state space reduction technique. The rough idea is to exploit some equivalence relation on states (possibly capturing system regularities) that preserves behavioral properties, and explore the induced quotient system.
Lluch-Lafuente, Alberto, Lluch Lafuente A, Andrea Vandin, Meseguer J, Alberto Lluch Lafuente, Vandin, Andrea, Meseguer, José, Vandin A, José Meseguer   +8 more
core   +1 more source

High‐Speed Rail and Spatial Equity: Unpacking the Sustainability Paradox of Land Use and Fiscal Pressure in County‐Level Cities

Sustainable Development, EarlyView.
ABSTRACT Infrastructure‐led development in rapidly urbanizing economies often generates accessibility gains that fail to translate into balanced urban outcomes, particularly when local fiscal institutions redirect those gains toward revenue‐generating land uses. Filling this gap, especially in fiscally constrained county‐level cities where land finance
Ming Xie, Xiaoxiao Liao, Zhenlin Xie
wiley   +1 more source

Fuzzy ideals and fuzzy congruences of co-residuated lattices [PDF]

Journal of Hebei University of Science and Technology
In order to expand the theory of fuzzy logic algebra, the fuzzy ideals and fuzzy congruences of co-residuated lattices and their interrelationships were studied.
Xinyue HAN, Wei YAO
doaj   +1 more source

From Ambition to Authenticity: How Transparent Sustainability Practices Rebuild Stakeholder Trust

Sustainable Development, EarlyView.
ABSTRACT Stakeholder trust is central to advancing sustainable development, yet it is increasingly strained as corporate sustainability commitments expand faster than verifiable performance. This study examines how authenticity and transparency in corporate sustainability practices influence the formation and maintenance of stakeholder trust under ...
A. K. M. Mohsin, Markus Gerschberger, Md. Rashed, Sayed Farrukh Ahmed, Mohammad Fakhrul Islam, Hasanuzzaman Tushar   +5 more
wiley   +1 more source

Data Mining Meets Logic: Situation-Based Modal Logic and Metadata Veracity

Science & Philosophy
Logic and theoretical computer science are deeply interconnected, with logic forming a foundational pillar in the emergence of computer science. This connection has grown stronger over time, driven by advancements in symbolic systems within artificial ...
Simone Cuconato
doaj   +1 more source