Results 41 to 50 of about 801,456 (319)
Decomposition tool for Event-B
, 2009 Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the respective tool support in the Rodin platform. Besides alleviating the complexity for
Silva, Renato +8 more
core +1 more source
Frontiers in Microbiology, 2020 The diversity and geographic pattern of ligninolytic fungi were investigated within the distribution range of an evergreen tree, Castanopsis sieboldii (Fagaceae), in Japan.
Takashi Osono +2 more
doaj +1 more source
Interpreting the effects of DNA polymerase variants at the structural level
Molecular Oncology, EarlyView.Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi +7 more
wiley +1 more source
IEEE AccessThe chalking of composite insulators is referred to a kind of abnormal aging of the silicone rubber sheds. It has serious adverse effects on the long-term operation of the insulators, but the mechanism behind its generation and development remains ...
Ming Lu +5 more
doaj +1 more source
Microorganisms, 2023 The relevance of postmortem microbiological examinations has been controversial for decades, but the boom in advanced sequencing techniques over the last decade is increasingly demonstrating their usefulness, namely for the estimation of the postmortem ...
Ana Cláudia-Ferreira +6 more
doaj +1 more source
On the decomposition of forces
Theoretical and Applied Mechanics Letters, 2014 We show that any continuously differentiable force is decomposed into the sum of a Rayleigh force and a gyroscopic force. We also extend this result to piecewise continuously differentiable forces. Our result improves the result on the decomposition of forces in a book by David Merkin and further extends it to piecewise continuously differentiable ...
openaire +3 more sources
Molecular Oncology, EarlyView.BCL9 and BCL9L drive bladder cancer progression by enhancing β‐catenin signaling, promoting proliferation, migration, invasion, and organoid growth. Genetic depletion of BCL9(L) suppresses malignant phenotypes, while pharmacological disruption of the β‐catenin/BCL9(L) complex with ZW4864 inhibits canonical Wnt signaling and tumor‐associated cellular ...
Roland Kotolloshi +11 more
wiley +1 more source
Analyse des modes empiriques : une approche EDP [PDF]
, 2010 The empirical mode decomposition is a powerful tool for signal processing. Because of its original algorithmic, recent works have contributed to its theoretical framework.
DIOP, El Hadji +2 more
core +1 more source
The Role of Internet Usage on Gender Wage Gap: Evidence From Indonesia
JDE (Journal of Developing Economies)This study analyzes the effect of internet usage on the gender wage gap within Indonesia’s labor market. Using data from the 2022 National Labor Force Survey (Sakernas), the research employs robust least square regression, quantile regression, and the ...
Martina Nurma Dewi, Arie Damayanti
doaj +1 more source
Molecules, 2023 The mineralization of fluoroelastomers (FKMs) in superheated water in the presence of potassium hydroxide (KOH) was investigated with the aim of developing a methodology for recycling the fluorine element.
Jin Hamaura +3 more
doaj +1 more source