Results 111 to 120 of about 1,585,173 (321)

Formal Semantics

, 2008
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

A constructionist analysis of gapping against the background of generative analyses

Zeitschrift für Sprachwissenschaft
The present contribution starts from Goldberg and Perek’s (2019) analysis of gapping within a constructionist framework. The authors promote their analysis as surpassing non-constructionist takes on gapping and ellipsis more generally.
Reiner Tabea
doaj   +1 more source

Three-Valued Concept Analysis for 2R Formal Contexts

Mathematics
Russian Roulette is a well-known cruel gambling game and its concepts and methods have been exploited in a lot of research fields for decades. However, abundant useful information contained in the process of Russian Roulette is seldom studied with a ...
Taisheng Zeng, Huilai Zhi, Yinan Li, Daxin Zhu, Jianbing Xiahou   +4 more
doaj   +1 more source

The Necessity of Dynamic Workflow Managers for Advancing Self‐Driving Labs and Optimizers

Advanced Intelligent Discovery, EarlyView.
We assess the maturity and integration readiness of key methodologies for Materials Acceleration Platforms, highlighting the need for dynamic workflow managers. Demonstrating this, we integrate PerQueue into a color‐mixing robot, showing how flexible orchestration improves coordination and optimization.
Simon K. Steensen, Patrick W. V. Butler, Jesper R. Pedersen, Nis Fisker‐Bødker, Tejs Vegge, Jin Hyun Chang, Ivano E. Castelli   +6 more
wiley   +1 more source

Qualquer e o conceito de livre-escolha Qualquer and the concept of free-choice

DELTA: Documentação de Estudos em Lingüística Teórica e Aplicada, 2005
Este artigo desenvolve a hipótese de Peres (cp) de que sintagmas 'qualquer' não são quantificados, mas indefinidos (Heim 1982). Argumenta-se que há um item 'qualquer' e que as diferenças entre as estruturas 'qualquer N' e 'um N qualquer' devem-se à ...
Roberta Pires de Oliveira
doaj   +1 more source

Cell Segmentation Beyond 2D—A Review of the State‐of‐the‐Art

Advanced Intelligent Discovery, EarlyView.
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, Haseeb Muhammad, Junaid Younas, Gillian Lovell, Bianca Migliori, Andreas Dengel, Sheraz Ahmed   +6 more
wiley   +1 more source

Uma história de delimitações teóricas: trinta anos de semântica no Brasil

DELTA: Documentação de Estudos em Lingüística Teórica e Aplicada, 1999
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  

Composition‐Aware Cross‐Sectional Integration for Spatial Transcriptomics

Advanced Intelligent Discovery, EarlyView.
Multi‐section spatial transcriptomics demands coherent cell‐type deconvolution, domain detection, and batch correction, yet existing pipelines treat these tasks separately. FUSION unifies them within a composition‐aware latent framework, modeling reads as cell‐type–specific topics and clustering in embedding space.
Qishi Dong, Zijian Huang, Xuanwu Wang, Zhenghui Feng, Wei Liu, Bingding Huang   +5 more
wiley   +1 more source

When Biology Meets Medicine: A Perspective on Foundation Models

Advanced Intelligent Discovery, EarlyView.
Artificial intelligence, and foundation models in particular, are transforming life sciences and medicine. This perspective reviews biological and medical foundation models across scales, highlighting key challenges in data availability, model evaluation, and architectural design.
Kunying Niu, Yuxing Wang, Limin Zou, Jing Huang   +3 more
wiley   +1 more source

Interactive Prompt‐Guided Robotic Grasping for Arbitrary Objects Based on Promptable Segment Anything Model and Force‐Closure Analysis

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
A laser pointer‐guided robotic grasping method for arbitrary objects based on promptable segment anything model and force‐closure analysis is presented. Grasp generation methods based on force‐closure analysis can calculate the optimal grasps for objects through their appearances. However, the limited visual perception ability makes robots difficult to
Yan Liu, Yaxin Liu, Ruiqing Han, Kai Zheng, Yufeng Yao, Ming Zhong   +5 more
wiley   +1 more source