Results 51 to 60 of about 823,326 (291)
Arthritis Care &Research, EarlyView.Objective We aimed to validate the Pediatric Arthritis Ultrasound Scoring System (PAUSS) for upper extremity joints in children with juvenile idiopathic arthritis (JIA). Methods Children with JIA were evaluated for elbow, wrist, or finger arthritis by clinical examination (CE) and musculoskeletal ultrasound (MSUS) with images scored according to the ...
Patricia Vega‐Fernandez +12 more
wiley +1 more source
Linear Temporal Logic-based Mission Planning
International Journal of Interactive Multimedia and Artificial Intelligence, 2016 In this paper, we describe the Linear Temporal Logic-based reactive motion planning. We address the problem of motion planning for mobile robots, wherein the goal specification of planning is given in complex environments.
Anil Kumar, Rahul Kala
doaj +1 more source
On the Lambek Calculus with an Exchange Modality [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In this paper we introduce Commutative/Non-Commutative Logic (CNC logic) and two categorical models for CNC logic. This work abstracts Benton's Linear/Non-Linear Logic by removing the existence of the exchange structural rule.
Jiaming Jiang +2 more
doaj +1 more source
Contradictory Perspectives on Academic Support: Beyond Linear Logic
Frontiers in Education, 2021 This paper employs a Square of Opposition as an interpretivist heuristic device in order to interrogate perceptions of academic support. The Square of Opposition is used to move beyond binary explanations of academic development subsumed within learner ...
Fiona Hallett
doaj +1 more source
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source
Undecidability of Multiplicative Subexponential Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Subexponential logic is a variant of linear logic with a family of exponential connectives—called subexponentials—that are indexed and arranged in a pre-order. Each subexponential has or lacks associated structural properties of weakening and contraction.
Kaustuv Chaudhuri
doaj +1 more source
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Linear logical approximations [PDF]
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, 2009 The abstract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying operational semantics in a bottom-up, linear logic programming language -- a technique we call "substructural operational semantics" (SSOS) -- manifestly sound program ...
Robert J. Simmons, Frank Pfenning
openaire +1 more source
Packaging of Macroscopic Material Payloads: Needs, Challenges, Concepts, and Future Directions
Advanced Engineering Materials, EarlyView.This review introduces a unified framework that decomposes any macroscopic packaging system into the payload, packaging material, and packaging strategy and combines them into a conceptual packaging equation: packaging strategy = payload + packaging material.
Venkata S. R. Jampani, Manos Anyfantakis
wiley +1 more source
Advanced Engineering Materials, EarlyView.High‐temperature interactions between low‐sulfur Al‐killed Mn–B steel and MgO–C refractories (0 and 50 wt% recyclates) are studied via finger immersion tests (1600 °C). Surface‐active elements influence infiltration. MgO/CaS layer forms, along with spinel and calcium silicate.
Matheus Roberto Bellé +5 more
wiley +1 more source