Results 91 to 100 of about 106,571 (319)

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential [PDF]

Logical Methods in Computer Science
Logical relations built on top of an operational semantics are one of the most successful proof methods in programming language semantics. In recent years, more and more expressive notions of operationally-based logical relations have been designed and ...
Francesco Dagnino, Francesco Gavazzo
doaj   +1 more source

Automatically deriving control-flow graph generators from operational semantics [PDF]

, 2022
James Koppel, Jackson Kearl, Armando Solar-Lezama   +2 more
openalex   +1 more source

A Metalanguage for Guarded Iteration

, 2018
Notions of guardedness serve to delineate admissible recursive definitions in various settings in a compositional manner. In recent work, we have introduced an axiomatic notion of guardedness in symmetric monoidal categories, which serves as a unifying ...
A Carboni, B Geron, E Giménez, E Giménez, E Moggi, G Plotkin, G Winskel, JRB Cockett, K Nakata, K Nakata, Keiko Nakata, Keiko Nakata, L Birkedal, M Hyland, N Benton, PB Levy, R Clouston, R Milner, S Abramsky, S Bloom, S Goncharov, S Goncharov, S Goncharov, S Goncharov, S Mac Lane, S Milius, T Coquand, WW Tait   +27 more
core   +1 more source

Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback

Advanced Robotics Research, EarlyView.
BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat, Ali Umut Kaypak, Prashanth Krishnamurthy, Ramesh Karri, Farshad Khorrami   +4 more
wiley   +1 more source

Two Semantics of Trust Management Language with Negation

Journal of Telecommunications and Information Technology, 2013
The family of Role-based Trust management languages is used for representing security policies by defining a formalism, which uses credentials to handle trust in decentralized, distributed access control systems.
Anna Felkner
doaj   +1 more source

Program equivalence for a concurrent lambda calculus with futures [PDF]

, 2006
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the ...
Niehren, Joachim, Sabel, David, Schmidt-Schauß, Manfred, Schwinghammer, Jan   +3 more
core   +1 more source

Robustness of a bisimulation-type faster-than preorder

, 2009
TACS is an extension of CCS where upper time bounds for delays can be specified. Luettgen and Vogler defined three variants of bismulation-type faster-than relations and showed that they all three lead to the same preorder, demonstrating the robustness ...
A. Kiehn, Daniele Gorla, F. Corradini, F. Corradini, G. Lüttgen, K. Iltgen, Katrin Iltgen, M.C.B. Hennessy, N. Lynch, R. Milner, S. Arun-Kumar, Sibylle Fröschle, W. Vogler, Walter Vogler   +13 more
core   +2 more sources

Improving the Robustness of Visual Teach‐and‐Repeat Navigation Using Drift Error Correction and Event‐Based Vision for Low‐Light Environments

Advanced Robotics Research, EarlyView.
Visual teach‐and‐repeat (VTR) navigation allows robots to learn and follow routes without building a full metric map. We show that navigation accuracy for VTR can be improved by integrating a topological map with error‐drift correction based on stereo vision.
Fuhai Ling, Ze Huang, Tony J. Prescott
wiley   +1 more source

Continual Learning for Multimodal Data Fusion of a Soft Gripper

Advanced Robotics Research, EarlyView.
Models trained on a single data modality often struggle to generalize when exposed to a different modality. This work introduces a continual learning algorithm capable of incrementally learning different data modalities by leveraging both class‐incremental and domain‐incremental learning scenarios in an artificial environment where labeled data is ...
Nilay Kushawaha, Egidio Falotico
wiley   +1 more source

Challenges and Future Directions in Assessing the Quality and Completeness of Advanced Materials Safety Data for Re‐Usability: A Position Paper From the Nanosafety Community

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, Irini Furxhi, Penny Nymark, Antreas Afantitis, Ammar Ammar, Monica J. B. Amorim, Dalila Antunes, Svetlana Avramova, Chiara L. Battistelli, Gianpietro Basei, Cecilia Bossa, Emil Cimpan, Mihaela Roxana Cimpan, Dmitri Ciornii, Anna Costa, Camilla Delpivo, Maria Dusinska, Ana Sofia Fonseca, Steffi Friedrichs, Vasile‐Dan Hodoroaba, Danail Hristozov, Panagiotis Isigonis, Nina Jeliazkova, Nikolay Kochev, Eva Kranjc, Dieter Maier, Georgia Melagraki, Anastasios G. Papadiamantis, Tomasz Puzyn, Hubert Rauscher, Katie Reilly, Araceli Sánchez Jiménez, Janeck J. Scott‐Fordsmand, Neeraj Shandilya, Hyun Kil Shin, Gergana Tancheva, Jeaphianne P. M. van Rijn, Egon L. Willighagen, Ewelina Wyrzykowska, Martine I. Bakker, Damjana Drobne, Thomas E. Exner, Martin Himly, Iseult Lynch   +43 more
wiley   +1 more source