Results 81 to 90 of about 8,098 (194)

Model Checking the Garbage Collection Mechanism of SMV

Electronic Notes in Theoretical Computer Science, 2001
AbstractThis paper describes an experience in the application of the RuleBase model checker to software written in C, using the tool c2edl. C2edl translates ANSI-C code to EDL, the input language of RuleBase. Although c2edl uses a radical abstraction in order to address the problems of software model checking, the abstract model built by c2edl proved ...
openaire   +1 more source

Azole‐Based Diarylbenzenes for Molecular Solar Thermal Energy Storage: A Computational Analysis

ChemistrySelect, Volume 11, Issue 29, 3 August 2026.
Diarylethenes containing aromatic π‐linkers have attracted research interest in recent years owing to their potential applications in molecular solar thermal (MOST) energy storage systems. In this work, we demonstrate that replacing the thienyl core of diarylbenzenes with an oxazole core and introducing lateral alkyl‐substituents on the oxazole core ...
Thillaiarasi Sukumar, M. V. R. Akshay Sampath, D. Bala Karuna Kumar, Bhagyashri Devaru Bhat, Mahesh Kumar Ravva, Baswanth Oruganti   +5 more
wiley   +1 more source

Decoding stress resilience in soybean: Regulatory networks and precision breeding under climate change

Journal of Integrative Plant Biology, Volume 68, Issue 8, Page 2838-2868, August 2026.
This review covers recent progress in the understanding of stress‐responsive regulatory networks in soybean and highlights emerging genomic and breeding strategies. Integrating molecular insights and precision breeding will help to accelerate the development of climate‐resilient soybean cultivars.
Ali Shahzad, Monan Sun, Shuangkang Pei, Xiaoyu Liu, Yinhe Zhang, Keheng Xu, Hongtao Gao, Yonggang Zhou, Haiyan Li   +8 more
wiley   +1 more source

Unfolding Plant Defence: Endoplasmic Reticulum Stress Signalling at the Plant‐Pathogen Interface

Plant Biotechnology Journal, Volume 24, Issue 8, Page 4799-4822, August 2026.
ABSTRACT The endoplasmic reticulum (ER) stress response, a conserved proteostasis network, has emerged as a central hub that reprograms plant immunity during pathogen attack. This review synthesises how plants harness ER‐stress signalling to mount multilayered defences and how pathogens have evolved counterstrategies to subvert these pathways.
Zhe Meng, Shuqin Zheng, Federica Brandizzi, Yiran Liu, Chunlei Li, Congcong Ai, Yujiao Wang, Jiadong Qi, Xiuguo Zhang   +8 more
wiley   +1 more source

Mapping CO2 Migration Pathways: Interactions With Geological Structures

Geophysical Research Letters, Volume 53, Issue 14, 28 July 2026.
Abstract Unintended CO2 releases from carbon capture and storage sites could impact water resources or reverse climate mitigation efforts through atmospheric emissions. Comprehensive understanding of how CO2 migrates in the shallow subsurface is required for appropriate monitoring of any CO2 release.
Nicholas A. Ashmore, Magdalena M. Krol, Stuart M. V. Gilfillan, Ian L. Molnar   +3 more
wiley   +1 more source

Clinical characteristics and follow‐up of 77 patients with pathogenic fumarate hydratase variants

BJU International, Volume 138, Issue 3, Page 397-399, September 2026.
Matthijs Duijn, Aline M. Tijans, R. Jeroen A. van Moorselaar, Marjoleine F. Broekema, Marleen E. de Lange, Emiel D. Post Uiterweer, Marilyne M. Lange, Naomi Donner, Markus V. Starink, Antoinette Hollestelle, Liselotte P. van Hest, Femke Struik, Patricia J. Zondervan   +12 more
wiley   +1 more source

Genome-Wide Association Study of Soybean Mosaic Virus Resistance with a GFP-Based Rapid Evaluation System

Agronomy
Soybean mosaic virus (SMV) is a major viral pathogen that causes significant yield losses and a reduction in seed quality in susceptible soybean cultivars. Resistance breeding is the most effective, economical, and eco-friendly strategy for prevention of
Jiaying Zhou, Hao Su, Yunlai Gao, Huilin Tian, Yun Hao, Yuxi Hu, Mingze Zhu, Qingshan Chen, Dawei Xin, Shuang Song   +9 more
doaj   +1 more source

Biological, Molecular, and Physiological Characterization of Four Soybean Mosaic Virus Isolates Present in Argentine Soybean Crops

Viruses
Soybean mosaic virus (SMV) causes systemic infections in soybean plants, leading to chlorotic mosaic and significant yield losses. In Argentina, during the 1990s, three isolates were collected in Marcos Juárez (MJ), Manfredi (M), and Northwestern ...
Mariel Maugeri, Marianela Rodríguez, Nicolas Bejerman, Irma G. Laguna, Patricia Rodríguez Pardina   +4 more
doaj   +1 more source

Synthesis and properties of starch-g-poly(maleic anhydride-co-vinyl acetate)

eXPRESS Polymer Letters, 2010
Starch-g-poly(maleic anhydride-co-vinyl acetate) (SMV) was synthesized via the esterification reaction of starch with the copolymer of maleic anhydride and vinyl acetate.
doaj   +1 more source

Protocol Conformance through Refinement Mappings in Cadence SMV

Bulletin of the Belgian Mathematical Society - Simon Stevin, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources