Results 61 to 70 of about 189,135 (277)

Semantics of a Typed Algebraic Lambda-Calculus

, 2010
Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space.
Andrzej Filinski, André van Tonder, Benjamin C. Pierce, Benoît Valiron, Elham Kashefi, Eugenio Moggi, Fr'ed'eric Blanqui, Franco Barbanera, Gordon D. Plotkin, Gregory M. Kelly, Henk P. Barendregt, Jean-Yves Girard, Joachim Lambek, Lionel Vaux, Pablo Arrighi, Pablo Arrighi, Peter Selinger, Prakash Panangaden, S. Barry Cooper, Thomas Ehrhard, Val Breazu-Tannen   +20 more
core   +2 more sources

A General Framework for Sound and Complete Floyd-Hoare Logics [PDF]

, 2008
This paper presents an abstraction of Hoare logic to traced symmetric monoidal categories, a very general framework for the theory of systems. Our abstraction is based on a traced monoidal functor from an arbitrary traced monoidal category into the ...
Arthan R., Blass A., Boulton R. J., Erik A. Mathiesen, Escardó M. H., Martin U., Paulo Oliva, Rob Arthan, Simpson A. K., Ursula Martin   +9 more
core   +1 more source

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

DLNet: A Dual-Level Network with Self- and Cross-Attention for High-Resolution Remote Sensing Segmentation

Remote Sensing
With advancements in remote sensing technologies, high-resolution imagery has become increasingly accessible, supporting applications in urban planning, environmental monitoring, and precision agriculture.
Weijun Meng, Lianlei Shan, Sugang Ma, Dan Liu, Bin Hu   +4 more
doaj   +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

A Short Note on Generating a Random Sample from Finite Mixture Distributions

Axioms
Computational statistics is a critical skill for professionals in fields such as data science, statistics, and related disciplines. One essential aspect of computational statistics is the ability to simulate random variables from specified probability ...
Luai Al-Labadi, Anna Ly
doaj   +1 more source

Fast Split Bregman Based Deconvolution Algorithm for Airborne Radar Imaging

Remote Sensing, 2020
Deconvolution methods can be used to improve the azimuth resolution in airborne radar imaging. Due to the sparsity of targets in airborne radar imaging, an L 1 regularization problem usually needs to be solved.
Yin Zhang, Qiping Zhang, Yongchao Zhang, Jifang Pei, Yulin Huang, Jianyu Yang   +5 more
doaj   +1 more source

Towards Universal Semantic Tagging [PDF]

, 2017
The paper proposes the task of universal semantic tagging---tagging word tokens with language-neutral, semantically informative tags. We argue that the task, with its independent nature, contributes to better semantic analysis for wide-coverage ...
Abzianidze, Lasha, Bos, Johan
core   +1 more source

Single‐Nucleus Multi‐Omics Reveals Hypoxia‐Driven Angiogenic Programs and Their Epigenetic Control in Sinonasal Squamous Cell Carcinoma

Advanced Science, EarlyView.
Single‐nucleus multi‐omics profiling of sinonasal squamous cell carcinoma unveils a hypoxia‐driven angiogenic axis. A specific hypoxic tumor subpopulation orchestrates endothelial tip cell differentiation via epigenetically regulated ADM and VEGFA secretion.
Chaelin You, Jaewoo Park, Jung Yeon Jang, Junho Noh, Jaehyun Lee, Geunho Kwon, Myeong Sang Yu, Yoo‐Sam Chung, Seung‐Jun Lee, Keunsoo Kang, Jihwan Park, Ji Heui Kim, Kyuho Kang   +12 more
wiley   +1 more source