Results 101 to 110 of about 1,360,419 (300)
Uma história de delimitações teóricas: trinta anos de semântica no Brasil
A map of the state of the art in semantics during the last third years of linguistics in Brazil is presented in the first section. Two case studies, then, are analysed: the debate argumentative semantics and formal semantics, and the debate formal ...
OLIVEIRA Roberta Pires de
doaj
On the Execution and Runtime Verification of UML Activity Diagrams
The unified modelling language (UML) is an industrial de facto standard for system modelling. It consists of a set of graphical notations (also known as diagrams) and has been used widely in many industrial applications.
François Siewe, Guy Merlin Ngounou
doaj +1 more source
Enhancing Super‐Resolution Spatial Transcriptomics Data by Transfer Learning
SpotZoomer employs a transfer‐learning‐based strategy to enhance the resolution of Visium data by leveraging available high‐resolution priors. The resulting super‐resolved maps enable sharper delineation of cell boundaries and more precise inference of cell–cell communication patterns that would otherwise remain obscured at native resolution.
Xiaoyu Li, Lihua Zhang, Wenwen Min
wiley +1 more source
Pattern‐dependent etching is converted into a physical prior for intelligent reconstruction of high‐aspect‐ratio silicon structures. Combining YOLO‐Pose feature extraction with a topography network, the framework retrieves depth, sidewall angle, and scallop texture from minimal destructive observations, enabling accurate cross‐scale metrology and near ...
Shuyan He +4 more
wiley +1 more source
CoSP: Reconfigurable Metamaterial Inverse Design via Contrastive Pretrained Large Language Model
In this work, CoSP (contrastive multi‐state pretrain), an intelligent inverse design method for reconfigurable metamaterials based on a contrastive pretrained large language model, is proposed. Numerical experiments demonstrate that CoSP can design reconfigurable metamaterial structures for multi‐state, multi‐band optical responses, showing great ...
Shujie Yang +4 more
wiley +1 more source
ABSTRACT Food systems have a significant impact on environmental sustainability, underscoring the need for innovative technologies to support more sustainable agricultural methods. However, the adoption of these technologies hinges on consumer acceptance, making the analysis of consumer perceptions essential.
Greta Castellini, Guendalina Graffigna
wiley +1 more source
Ce mémoire présente plusieurs définitions de sémantiques formelles et de transformations de programmes, et expose les choix de conception associés. En particulier, ce mémoire décrit une transformation de programmes inspirée de l'évaluation partielle et dédiée à la compréhension de programmes scientifiques écrits en Fortran.
openaire +3 more sources
GraphRAG for engineering diagrams: ChatP&ID enables LLM interaction with P&IDs
Abstract Piping and Instrumentation Diagrams (P&IDs) are central to process engineering workflows, yet extracting information from them remains a tedious and time‐consuming task. This work introduces ChatP&ID, a framework enabling natural‐language interaction with smart P&IDs through Graph Retrieval‐Augmented Generation (GraphRAG), to our knowledge ...
Achmad Anggawirya Alimin +1 more
wiley +1 more source
Large language models are transforming microbiome research by enabling advanced sequence profiling, functional prediction, and association mining across complex datasets. They automate microbial classification and disease‐state recognition, improving cross‐study integration and clinical diagnostics.
Jieqi Xing +4 more
wiley +1 more source
Cell Segmentation Beyond 2D—A Review of the State‐of‐the‐Art
Cell segmentation underpins many biological image analysis tasks, yet most deep learning methods remain limited to 2D despite the inherently 3D nature of cellular processes. This review surveys segmentation approaches beyond 2D, comparing 2.5D and fully 3D methods, analyzing 31 models and 32 volumetric datasets, and introducing a unified reference ...
Fabian Schmeisser +6 more
wiley +1 more source

