Results 71 to 80 of about 4,167,477 (305)

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes [PDF]

Logical Methods in Computer Science, 2018
We propose a method for the decomposition of modal formulae on processes with nondeterminism and probability with respect to Structural Operational Semantics.
Valentina Castiglioni, Daniel Gebler, Simone Tini   +2 more
doaj   +1 more source

Progressive decomposition [PDF]

Proceedings of the 44th annual conference on Design automation - DAC '07, 2007
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In most of the arithmetic circuits the outcome of the synthesis tools depends on the input description of the circuit.
Verma, Ajay K., Brisk, Philip, Ienne, Paolo   +2 more
openaire   +1 more source

Unsupervised Machine Learning Identifies Shared Biomechanical and Clinical Variation in Individuals with Knee Osteoarthritis and High BMI: A Secondary Analysis of the IDEA Trial

Arthritis Care &Research, Accepted Article.
Objective High body mass index (BMI≥27 kg/m2) and aberrant gait biomechanics are primary risk factors for knee osteoarthritis (KOA), yet the specific loading patterns linked to clinical disease features remain unclear. Unsupervised machine learning (ML) was used to identify vertical ground reaction force (vGRF) waveform modes of variation and ...
Ashley N. Buck, J. Elyse Borgert, Hyeon Lee, Liubov Arbeeva, Yvonne M. Golightly, Richard F. Loeser, Leigh F. Callahan, Stephen P. Messier, Brian Pietrosimone, Amanda E. Nelson, James S. Marron   +10 more
wiley   +1 more source

Covariance structural models of the relationship between the design and customer domains [PDF]

, 2008
This paper addresses the problem of modelling and mapping of difficult to quantify customer needs to technical requirements and subsequently to design parameters.
Guenov, Marin D.
core   +1 more source

The evolution and influencing factors of trade-embodied CO2 emissions transfer from China’s provinces to ASEAN countries

Frontiers in Climate
This study systematically examines the evolution and driving factors of embodied CO2 emission transfers in trade between Chinese provinces and ASEAN countries from 2002 to 2017.
Jie Chen, Jie Chen, Sanmang Wu, Qiuping Li   +3 more
doaj   +1 more source

On the decomposition of k-noncrossing RNA structures

Advances in Applied Mathematics, 2010
15 figures, 22 ...
Emma Yu Jin, Christian M. Reidys
openaire   +2 more sources

Influence of Scan Strategies in Electron Beam Powder Bed Fusion on Solidification, Microstructure, and High‐Temperature Compressive Properties of γ′‐Strengthened Inconel 738LC

Advanced Engineering Materials, EarlyView.
Experiments and thermophysical simulations were conducted to investigate the electron beam powder bed fusion electron beam (PBF‐EB/M) process for the γ′‐strengthened nickel‐based superalloy Inconel 738LC. The results demonstrate the impact of process‐induced microstructural variations on high‐temperature mechanical behavior, providing a basis for ...
Jan Niklas Petenati, Karthik Kumar Banku, Prasanth Bondi, Ivan Zhirnov, Yangyiwei Yang, Gordon Schmidt, Jürgen Christen, Georg Hasemann, Manja Krüger, Bai‐Xiang Xu, Bilal Gökce, Silja‐Katharina Rittinghaus   +11 more
wiley   +1 more source

Structural Decomposition of the Passivity-Based Control System of Wind–Solar Power Generating and Hybrid Battery-Supercapacitor Energy Storage Complex

Dynamics
Wind–solar power generating and hybrid battery-supercapacitor energy storage complex is used for autonomous power supply of consumers in remote areas. This work uses passivity-based control (PBC) for this complex in accordance with the accepted energy ...
Ihor Shchur, Marek Lis, Rostyslav-Ivan Kuzyk   +2 more
doaj   +1 more source

High‐Temperature Phase Transformation in a V‐9Si‐6.5B Alloy: The Kinetic and Crystallographic Pathway From V5SiB2 to V8SiB4

Advanced Engineering Materials, EarlyView.
In situ synchrotron high‐energy X‐ray diffraction reveals the real‐time high‐temperature phase evolution of a ternary V‐9Si‐6.5B alloy. The study uncovers a kinetically delayed V5SiB2 → V8SiB4 transformation governed by massive structural and chemical barriers.
Zahra Sabeti, Andreas Stark, Roja Rani Korrayi, Florian Pyczak, Georg Hasemann   +4 more
wiley   +1 more source

A Structural Decomposition-Based Optimization Approach for the Integrated Scheduling of Blending Processes in Raw Material Yards

Applied Sciences
The blending process in raw material yards is essential for maintaining precise material proportions in downstream production, directly influencing product quality and energy efficiency in industries such as steel and coal processing.
Wenyu Xiong, Feiyang Sun, Xiongzhi Guo, Jiangfei Yin, Chao Sun, Yan Xiong   +5 more
doaj   +1 more source