Results 61 to 70 of about 403 (203)
Key Technical Fields and Future Outlooks of Space Manipulators: A Survey
SmartBot, EarlyView.This paper systematically reviews the technological development of space manipulators, emphasizing the unique challenges posed by space environments. It examines four areas: structural design, modeling, planning, and control, while introducing typical ground test platforms.
Gang Chen +12 more
wiley +1 more source
XML Schema, Tree Logic and Sheaves Automata
, 2002 We describe a new class of tree automata, and a related logic on trees, with applications to the processing of XML documents and XML schemas. XML documents, and other forms of semi-structured data, may be roughly described as edge labeled trees ...
Silvano Dal Zilio +3 more
core +2 more sources
Paraconsistent semantics for Pavelka style fuzzy sentential logic
, 2016 The root of this work is on the one hand in Belnap's four valued paraconsistent logic, and on the other hand on Pavelka's papers further developed by Turunen.
Turunen, Esko +2 more
core +1 more source
T‐800: An 800 Hz Data Glove for Precise Hand Gesture Tracking
SmartBot, EarlyView.Hand motion capture provides critical insights into human dexterity and facilitates advancements in robotic manipulation, yet existing systems are limited by a trade‐off between temporal resolution and visual occlusion. Here, the authors present T‐800, a high‐bandwidth data glove achieving synchronized full‐hand motion capturing at 800 Hz.
Haoyang Luo +7 more
wiley +1 more source
On Identities of Algebras of Regular Languages [PDF]
, 2000 Jezik nad E je proizvoljan skup reci nad E, tj. proizvoljan podskup slobodnog monoida E*. Jezici nad datom azbukom formiraju al gebre jezika, sa operacijama unije, konkatenacije (dopisivanja red), Kleene-jeve iteracije i sa 0, {A} kao konstantama ...
Dolinka, Igor
core +2 more sources
Strategic Management Journal, EarlyView.Abstract Research Summary We study an important, but largely overlooked, non‐market strategy used by firms in the enforcement stage of policy: “snitching,” that is, providing intelligence about potential violations of their rivals in an attempt to persuade regulators to fine them.
Benjamin Barber IV +2 more
wiley +1 more source
First-Order Intuitionistic Linear Logic and Hypergraph Languages [PDF]
The Lambek calculus is a substructural logic known to be closely related to the formal language theory: on the one hand, it is used for generating formal languages by means of categorial grammars and, on the other hand, it has formal language semantics ...
Pshenitsyn, Tikhon
core +1 more source
White light emitting molecular logic gates
Smart Molecules, EarlyView.White light emitting smart molecules with Boolean logic computing ability are surveyed. Abstract White light emitting (WLE) materials are of considerable interest with commercial and societal applications in video displays and lighting devices. A characteristic property of WLE materials is the luminescence profile spanning from 380 to 700 nm.
Davide Benedetto Tiz +2 more
wiley +1 more source
An Innovative Approach to Multi‐Valued Logic
IEEJ Transactions on Electrical and Electronic Engineering, EarlyView.The current generation of computer systems operates on the principles of binary logic, which encompasses both logical and arithmetic operations. However, silicon technology has reached its peak performance, prompting researchers to explore alternative methods for enhancing computational efficiency. One such method is the adoption of Multi‐Valued Logic (
Ali Mokhtari, Peyman Kabiri
wiley +1 more source
Journal of Agricultural Economics, EarlyView.ABSTRACT We develop a framework for regulated production systems where output generation and pollution abatement impose competing technological demands. Using a multi‐ware technology, we model the production set as the intersection of two input requirement frontiers, one for production and one for abatement, each reflecting distinct trade‐offs.
Youpei Yan, Robert G. Chambers
wiley +1 more source