Results 131 to 140 of about 100,374 (308)
Advanced Intelligent Systems, EarlyView.This study proposes RefineCatDiff, a refinement framework for high‐quality medical image segmentation. By developing a categorical distribution‐based discrete diffusion process for refinement, the framework aligns well with the characteristics of image segmentation tasks. Experimental results on multiple datasets across different modalities demonstrate
Feng Liu +8 more
wiley +1 more source
Geometry‐Guided Transformer for Monocular 3D Object Detection
Advanced Intelligent Systems, EarlyView.This work proposes a geometry‐guided transformer‐based framework for monocular 3D object detection. By incorporating spatial features and geometry guidance through the advanced transformer structure, the method addresses the limitations of existing methods and improves detection accuracy and convergence speed, achieving SOTA detection performance with ...
Man Zhang +4 more
wiley +1 more source
An operational semantics for parallel lazy evaluation [PDF]
, 2000 Clem Baker-Finch +2 more
openalex +1 more source
Operational Semantics of Games
, 2019 We introduce operational semantics into games. And based on the operational semantics, we establish a full algebra of games, including basic algebra of games, algebra of concurrent games, recursion and abstraction. The algebra can be used widely to reason on the behaviors of systems (not only computational systems) with game theory supported.
openaire +2 more sources
Advanced Intelligent Systems, EarlyView.R‐APEX is a knowledge graph platform developed to investigate how air pollutants such as particularly fine particulate matter (PM2.5) affect human health. By integrating large‐scale biomedical data and using machine learning, it reveals pollutant–gene–disease associations.
Zhixing Zhu +7 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.A novel risk assessment approach that integrates the fuzzy set theory and Z‐numbers with multicriteria decision‐making techniques (Delphi, decision‐making trial and evaluation laboratory, analytic network process, and VIseKriterijumska Optimizacija I Kompromisno Resenje) to manage uncertainty and prioritize human–robot collaboration risks. A real‐world
Emine Bozkus, İhsan Kaya
wiley +1 more source
Fuzzy Evaluation Model for Operational Performance of Air Cleaning Equipment
MathematicsGlobal warming has led to the continuous deterioration of the living environment, in which air quality directly affects human health. In addition, the severity of the COVID-19 pandemic has further increased the attention to indoor air quality.
Kuen-Suan Chen +3 more
doaj +1 more source
An Operational Semantics of the Java Card Firewall [PDF]
, 2001 Marc Éluard, Thomas Jensen, Ewen Denne
openalex +1 more source
Advanced Intelligent Systems, EarlyView.The integration of foundation models into computational microscopy revolutionizes biomedical research by enhancing imaging resolution, accelerating data analysis, and enabling real‐time biological interpretation. This systematic review critically examines recent advancements, highlights translational challenges, and discusses the transformative ...
Di Ding +5 more
wiley +1 more source
A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables
, 2009 We formally specified the type system and operational semantics of LOOPw with Ott and Isabelle/HOL proof assistant. Moreover, both the type system and the semantics of LOOPw have been tested using Isabelle/HOL program extraction facility for inductively ...
Crolard, Tristan, Polonowski, Emmanuel
core +1 more source