Results 71 to 80 of about 6,062,625 (214)
Automated Synthesis of SEU Tolerant Architectures from OO Descriptions [PDF]
SEU faults are a well-known problem in aerospace environment but recently their relevance grew up also at ground level in commodity applications coupled, in this frame, with strong economic constraints in terms of costs reduction.
P. Prinetto +5 more
core +1 more source
Flooding‐Driven Greenhouse Gas Emissions From Global Upland Croplands
Temporary flooding of upland croplands releases nitrous oxide, carbon dioxide, and methane. Field measurements combined with a global literature synthesis yield a global estimate of 63.3 teragrams of carbon dioxide equivalent per year for diffusive emissions from flooded upland croplands.
Shuilian Bi +7 more
wiley +1 more source
Sequentializing parameterized programs
We exhibit assertion-preserving (reachability-preserving) transformations from parameterized concurrent shared-memory programs, under a k-round scheduling of processes, to sequential programs.
Parlato, Gennaro +2 more
core +1 more source
Artificial Intelligence for Fluorite Ferroelectric Materials: From Discovery to Optimization
Artificial intelligence accelerates the discovery and optimization of HfO2‐based fluorite ferroelectrics by linking synthesis, structure, properties, and device performance. Machine learning, deep‐learning analysis, and AI‐driven atomistic modeling enable predictive design, dopant screening, and closed‐loop optimization toward next‐generation ...
Faizan Ali +3 more
wiley +1 more source
A Large Scale Multi‐Modal Workflow for Battery Characterization: From Concept to Implementation
Isolated characterization techniques produce independent datasets and single‐property insights. However, progressively more holistic interpretations of battery‐material behavior is needed in the future. Here we demonstrate a coordinated multimodal workflow enabling the correlation of heterogeneous datasets and the construction of multidimensional ...
François Cadiou +34 more
wiley +1 more source
Parameterized Facial Expression Synthesis for Videoconferencing Applications
In this paper we propose a method of creating intermediate facial expressions based on primary ones [1]. To achieve this goal we utilize both Facial Definition Parameters (FDPs) and Facial Animation Parameters (FAPs).
Kollias, Stefanos D. +2 more
core
ABSTRACT Past growth in the global organic market has been concentrated in high‐income countries, while in middle‐income countries such as Serbia the organic market remains nascent and characterized by a sparse assortment of organic products, high retail premia and limited evidence on consumer preferences and their drivers.
Milan Tatic +3 more
wiley +1 more source
Quantile-Parameterized Distributions for Expert Knowledge Elicitation
This paper provides a comprehensive overview of quantile-parameterized distributions (QPDs) as a tool for capturing expert predictions and parametric judgments.
Lindström, Erik +6 more
core +1 more source
Heat generation in lithium‐ion batteries affects performance, aging, and safety, requiring accurate thermal modeling. Traditional methods face efficiency and adaptability challenges. This article reviews machine learning‐based and hybrid modeling approaches, integrating data and physics to improve parameter estimation and temperature prediction ...
Qi Lin +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

