Results 81 to 90 of about 740,582 (289)

Towards a Maude tool for model checking temporal graph properties [PDF]

, 2011
We present our prototypical tool for the verification of graph transformation systems. The major novelty of our tool is that it provides a model checker for temporal graph properties based on counterpart semantics for quantified m-calculi.
Lluch-Lafuente, Alberto, Luch Lafuente A, Vandin, Andrea, Lafuente, Alberto Lluch, Vandin A   +4 more
core   +1 more source

Revolutionising Agricultural Sustainability: New ‘Furrow Tillage’ can Mitigate Short‐Term Soil‐to‐Atmosphere CO2 Flux and Promote Soil‐Plant‐Microbe Health

Advanced Science, EarlyView.
Furrow tillage resolves the conventional‐vs.‐no‐tillage trade‐off by simultaneously cutting CO2 efflux to 2.0–3.0 g C m−2 d−1 and unlocking high nutrient availability for the rice rhizosphere. This scalable agronomic solution strengthens soil health, enhances plant physiology, reshapes microbial metabolism, and shifts paddy systems toward a net ...
Arnab Majumdar, Munish Kumar Upadhyay, Argha Ghosh, Rakesh Biswas, Ioly Kotta Loizou, Martin Buck, Mark Tibbett, Biswajit Giri, Debojyoti Moulick, Manoj Kumar Jaiswal, Tarit Roychowdhury   +10 more
wiley   +1 more source

High‐Power Hybrid Nanogenerator With Multi‐Degree‐of‐Freedom Mechanical Coupling for Harvesting Water Wave Energy

Advanced Science, EarlyView.
A high‐power hybrid nanogenerator (HP‐HNG) with multi‐degree‐of‐freedom mechanical coupling is reported, integrating multi‐directional wave energy for output to achieve 1 + 1 > 2 energy harvesting. The HP‐HNG achieves a peak output power of 0.764 W, corresponding to a peak power density of 127.303 W m−3. At a wave frequency of 1 Hz, the HP‐HNG delivers
Shuai Ding, Hua Zhai, Hao Gong, Xiao Long, Yuanzhuo Tian, Zhanyong Hong, Long Zheng, Xucong Wang, Xiangyu Chen, Zhong Lin Wang   +9 more
wiley   +1 more source

Dual‐Organelle Secretome Conjugation and Organ‐Uptake Tracking (DuO‐SCOUT) Enables Deep and Sensitive Mapping of the Secreted Proteins

Advanced Science, EarlyView.
A novel dual‐organelle proximity labeling platform, DuO‐SCOUT, decodes the complex landscape of systemic organ‐organ communication by capturing both classical and unconventional secretomes. Application in metabolic models maps the adipose‐to‐brain secretory relay, identifying selective extra‐hypothalamic sites for adipose‐derived factors and expanding ...
Fenglian Yang, Rui Qian, Jiaxing Song, Xingqi Meng, Jin Young Kim, Kwok On Lai, Li Wang, Liang Zhang   +7 more
wiley   +1 more source

The Vertex-Edge Resolvability of Some Wheel-Related Graphs

Journal of Mathematics, 2021
A vertex w∈VH distinguishes (or resolves) two elements (edges or vertices) a,z∈VH∪EH if dw,a≠dw,z. A set Wm of vertices in a nontrivial connected graph H is said to be a mixed resolving set for H if every two different elements (edges and vertices) of H ...
Bao-Hua Xing, Sunny Kumar Sharma, Vijay Kumar Bhat, Hassan Raza, Jia-Bao Liu   +4 more
doaj   +1 more source

TECTB Variants Reveal Tectorial Membrane Vulnerability in Dominant Non‐Syndromic Hearing Loss

Advanced Science, EarlyView.
TECTB is a non‐collagenous protein of the tectorial membrane – an extracellular matrix of the cochlea. This study identifies dominant missense variants in TECTB linked to human hereditary deafness in two unrelated families. Genetically engineered mice homozygous for one of the variants are profoundly deaf, whereas heterozygous mice have normal hearing ...
Evan B. Hale, Barbara Vona, Richard J. Goodyear, Richard T. Osgood, Jun Shen, Sami S. Amr, Karen Mojica, Michaela A. H. Hofrichter, Jörg Schröder, Sophie Flandin, Paul Gratias, Ricardo Vera‐Monroy, Katherine Callahan, Kerry L. Gudlewski, Rolen Quadros, Masato Ohtsuka, JoAnn McGee, Edward J. Walsh, Cynthia C. Morton, Thomas Haaf, Channabasavaiah Gurumurthy, James E. Saunders, Guy P. Richardson, Artur A. Indzhykulian   +23 more
wiley   +1 more source

Wheel graph homology classes via Lie graph homology [PDF]

, 2021
We give a new proof of the non-triviality of wheel graph homology classes using higher operations on Lie graph homology and a derived version of Koszul duality for modular operads.Comment: preliminary version; comments very ...
Ward, Benjamin C.
core   +1 more source

How Competitive Is Myanmar's Rice Sector? A Comparison of Production Costs and Efficiency

Agribusiness, EarlyView.
ABSTRACT This paper analyzes the cost competitiveness of rice production in Myanmar by examining production costs, cost efficiency, and the potential effect of improving cost efficiency on the country's global competitiveness. To achieve this, we conduct a comparative analysis of production costs among major rice‐producing countries and estimate the ...
Nandar Aye Chan, Orkhan Sariyev, Mohammad Ariful Islam, Manfred Zeller   +3 more
wiley   +1 more source

CHROMATICITY OF WHEELS WITH MISSING THREE SPOKES

Journal of Kufa for Mathematics and Computer, 2014
All graph consider here are simple graphs. For a graph G, Let V(G) and E(G) be the vertex set and a edge set of graph G, respectively. The order of G is denoted by v(G), and the size of G by e(G), i.e. v(G)=|V(G)| and e(G) = |E(G)|.
Abdul Jalil M. Khalaf, Hind R. Shaaban
doaj   +1 more source

Explaining the Origin of Negative Poisson's Ratio in Amorphous Networks With Machine Learning

Advanced Intelligent Discovery, EarlyView.
This review summarizes how machine learning (ML) breaks the “vicious cycle” in designing auxetic amorphous networks. By transitioning from traditional “black‐box” optimization to an interpretable “AI‐Physics” closed‐loop paradigm, ML is shown to not only discover highly optimized structures—such as all‐convex polygon networks—but also unveil hidden ...
Shengyu Lu, Xiangying Shen
wiley   +1 more source