Results 101 to 110 of about 1,341,656 (346)

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

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

Injecting Abstract Interpretations into Linear Cost Models

, 2010
We present a semantics based framework for analysing the quantitative behaviour of programs with regard to resource usage. We start from an operational semantics equipped with costs.
Cachera, David, Jobin, Arnaud
core   +2 more sources

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

Proving termination of evaluation for System F with control operators

, 2013
We present new proofs of termination of evaluation in reduction semantics (i.e., a small-step operational semantics with explicit representation of evaluation contexts) for System F with control operators.
Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Materzok, Marek   +3 more
core   +4 more sources

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

Multi-Agent Systems with Information Sharing: Strategies and Model Checking

Applied Sciences
We introduce a prototyping language for multi-agent systems with information sharing, allowing agents to act in parallel and to migrate between distributed locations according to explicit timers.
Bogdan Aman, Gabriel Ciobanu
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

CELLama: Foundation Model for Single Cell and Spatial Transcriptomics by Cell Embedding Leveraging Language Model Abilities

Advanced Science, EarlyView.
CELLama is created, a framework that harnesses language models to convert cellular data into “sentences” that represent gene expression and metadata, enabling a universal embedding of cells. Unlike most single‐cell foundation models, CELLama supports scalable analysis and offers flexible applications including spatial transcriptomics.
Jeongbin Park, Sumin Kim, Jiwon Kim, Dongjoo Lee, Sungwoo Bae, Haenara Shin, Daeseung Lee, Hongyoon Choi   +7 more
wiley   +1 more source

A semantics for while with break, continue and goto

CLEI Electronic Journal, 2018
This work presents a formal description of a subset of a C-likelanguage in the form of an operational semantics. We give semantics to the following statements (presented in alphabetical order) : assig- nation, break, composition, continue, goto, if, skip
Patricia Peratto
doaj   +1 more source