Results 81 to 90 of about 103,776 (269)

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

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

All-Path Reachability Logic

, 2019
This paper presents a language-independent proof system for reachability properties of programs written in non-deterministic (e.g., concurrent) languages, referred to as all-path reachability logic. It derives partial-correctness properties with all-path
Ciobaca, Stefan, Mereuta, Radu, Moore, Brandon, Rosu, Grigore, Serbanuta, Traian Florin, Stefanescu, Andrei   +5 more
core   +1 more source

SpaBalance: Balanced Learning for Efficient Spatial Multi‐Omics Decoding

Advanced Science, EarlyView.
SpaBalance is a computational framework that harmonizes multi‐omics learning via gradient equilibrium and dual‐stream feature decomposition, achieving superior clustering accuracy, biological interpretability, and scalable integration of three or more spatial omics modalities.
Yingbo Cui, Yong Zhao, Canqun Yang, Tao Tang, Xiangke Liao, Hongyu Zhang, Huiying Zhao, Zheng Wang, Yuansong Zeng   +8 more
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

Knowledge Graph for Methane Selective Conversion: Revisiting and Predicting Product Selectivity and Methane Conversion

Advanced Science, EarlyView.
With the help of large language models, deep neural network learning, and kinetic calculation, a knowledge graph prediction of prior research in methane conversion is conducted. This knowledge graph provides a comprehensive understanding of the relationships among catalyst materials, catalytic performance, and reaction conditions, providing guidance ...
Boyu Xu, Gaoyang Li, Bohan Wang, Jiawei Bian, Hui Pan, Yulin Min, Guodong Qi, Jun Xu, Feng Deng, Feng Ju, Hao Ling, Zhendong Wang   +11 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

A Forward Genetics Strategy for High‐Throughput Gene Identification via Precise Image‐Based Phenotyping of an Indexed EMS Mutant Library

Advanced Science, EarlyView.
The GeneHunter‐Gene‐Level Association (GH‐GLA) pipeline enables high‐throughput gene identification in an indexed EMS population of wheat cultivar KN9204. It identifies 5905 trait‐associated wheat genes and validates key regulators of kernel weight and spikelet architecture via gene editing and haplotype analysis.
Haojie Wang, Fujun Sun, Zeyu Shi, Yufeng Yang, Yi Ding, Tengteng Zhang, Caihong Zhao, Jingzhong Xie, Yaqian Zhang, Caihua Li, Wenqiang Tang, Junming Li, Xigang Liu, Shusong Zheng, Ni Jiang, Fei He, Shuzhi Zheng   +16 more
wiley   +1 more source

Heterogeneity of the Dominant Causes of Performance Loss in End‐of‐Life Cathodes and Their Consequences for Direct Recycling

Advanced Energy Materials, EarlyView.
Direct recyling of Li‐ion battery materials promises a low‐cost path towards a secure domestic supply of critical materials for batteries. Using cathode material from an end‐of‐life commercial Li‐ion cell, this work identifies the primary degradation mechanisms that diminish the performance of directly reused cathode materials and includes a discussion
Melissa Popeil, Francois L.E. Usseglio‐Viretta, Xiaofei Pu, Paul Gasper, Nikita Dutta, Evelyna Wang, Eva Allen, John S. Mangum, Nathaniel Sunderlin, Kae Fink, Jeffery M. Allen, Peter J. Weddle, Steven C. DeCaluwe, Donal P. Finegan   +13 more
wiley   +1 more source

Categorical model of structural operational semantics for imperative language

Journal of Information and Organizational Sciences, 2016
Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics.
William Steingartner, Valerie Novitzká
doaj