Results 21 to 30 of about 715,855 (195)

Conflict-preserving abstraction of discrete event systems using annotated automata [PDF]

, 2012
This paper proposes to enhance compositional verification of the nonblocking property of discrete event systems by introducing annotated automata. Annotations store nondeterministic branching information, which would otherwise be stored in extra states ...
Malik, Robi, Ware, Simon
core   +1 more source

Discrete element method to simulate continuous material by using the cohesive beam model [PDF]

, 2012
The mechanical behavior of materials is usually simulated by the continuous mechanics approach. However, simulation of non-continuous phenomena like multi fracturing is not well adapted to a continuous description.
Jean-luc Charles, CHARLES, Jean-Luc, IORDANOFF, Ivan, Damien André, Ivan Iordanoff, Jérôme Néauport, ANDRE, Damien, NEAUPORT, Jérôme, CHARLES, Jean Luc   +8 more
core   +1 more source

Thermoelectric PANI/TeNWs Fiber Based Microsensor for Passive Temperature and Active Chemical Sensing

Advanced Science, EarlyView.
Continuous wet‐spinning of PANI with TeNWs yields a multifunctional microfiber. Oriented TeNWs impose chain alignment and enhance π‐electron delocalization, boosting the Seebeck coefficient to 59.9 µV K−1 for passive temperature sensing (1 K detection limit), while achieving high pH sensitivity (59.25 mV pH−1) and rapid NH3 response (0.96 s).
Dongmei Xie, Mengran Chen, Xuefei Zhang, Yan Xu, Weiye Geng, Zhe Tang, Si‐ze Lou, Shun Wan, Zhenguo Liu, Heng Liu, Peng‐an Zong   +10 more
wiley   +1 more source

Serum bile acids as a prognostic biomarker in biliary atresia following Kasai portoenterostomy

Hepatology, EarlyView., 2022
Serum bile acid levels predict outcomes in patients with biliary atresia who achieve normalized bilirubin levels after Kasai portoenterostomy. Abstract Background and Aims In biliary atresia, serum bilirubin is commonly used to predict outcomes after Kasai portoenterostomy (KP).
Sanjiv Harpavat, Kieran Hawthorne, Kenneth D. R. Setchell, Monica Narvaez Rivas, Lisa Henn, Charlotte A. Beil, Saul J. Karpen, Vicky L. Ng, Estella M. Alonso, Jorge A. Bezerra, Stephen L. Guthery, Simon Horslen, Kathy M. Loomes, Patrick McKiernan, John C. Magee, Robert M. Merion, Jean P. Molleston, Philip Rosenthal, Richard J. Thompson, Kasper S. Wang, Ronald J. Sokol, Benjamin L. Shneider, for Childhood Liver Disease Research Network (ChiLDReN)   +22 more
wiley   +1 more source

Discrete exterior geometry approach to structure-preserving discretization of distributed-parameter port-Hamiltonian systems [PDF]

, 2011
This paper addresses the issue of structure-preserving discretization of open distributed-parameter systems with Hamiltonian dynamics. Employing the formalism of discrete exterior calculus, we introduce a simplicial Dirac structure as a discrete analogue
Seslija, Marko,, Scherpen, Jacquelien M.A.,, van der Schaft, Abraham, van der Schaft, Abraham; id_orcid, Arjan Van Der Schaft, Jacquelien M. A. Scherpen, van der Schaft, Arjan, Scherpen, Jacquelien M.A., Seslija, Marko, van der Schaft, Arjan ; id_orcid, Marko Seslija, Schaft, Arjan van der,   +11 more
core   +3 more sources

Unveiling the Taxonomic Diversity and Unprecedented Biosynthetic Treasure of the Phylum Myxococcota

Advanced Science, EarlyView.
Natural products remain vital sources of therapeutics, and the phylum Myxococcota constitutes an especially rich reservoir for them. Based on decades of microbiological efforts, we present 154 new Myxococcota genomes and revise taxonomy quadrupling the number of families and genera.
Amay Ajaykumar Agrawal, Ronald Garcia, Guangyi Chen, Chantal D. Bader, Peter Sullivan, Alexander Popoff, Daniel Krug, Maja Hunter, Sebastian Walesch, Emilia Oueis, Christine Frank, Haowen Zhao, Joachim J. Hug, Sebastian Keller, Pascal Hirsch, Azat Tagirdzhanov, Tatiana Malygina, Mary Victory E. Gutierrez, Alexey Gurevich, Judith Boldt, Boyke Bunk, Jörg Overmann, Ulrich Nübel, Andreas Keller, Olga V. Kalinina, Rolf Müller   +25 more
wiley   +1 more source

Difference schemes stabilized by discrete mollification for degenerate parabolic equations in two space dimensions

IMA Journal of Numerical Analysis, 2012
Discrete mollification is a versatile convolution based filtering procedure for the regularization of ill-posed problems and the stabilization of explicit schemes for the solution of partial differential equations. While introducing one- and two-dimensional discrete mollification formulae, the authors propose two schemes, which are based on direction ...
Acosta, Carlos D., Buerger, Raimund
openaire   +4 more sources

Discrete Element Method, a Tool to Investigate Complex Material Behaviour in Material Forming [PDF]

, 2010
Discrete Model is based on the description of the physical state (velocity, position, temperature, magnetic moment, electric potential ..) of a large number of discrete elements that form the media to be studied.
M. G. Lee, CHARLES, Jean-Luc, Y. H. Moon, IORDANOFF, Ivan, F. Barlat, Ivan Iordanoff, ILIESCU, Daniel, Jean Luc Charles, Daniel Iliescu, NEAUPORT, Jérôme, CHARLES, Jean Luc, Jérome Néauport   +11 more
core   +1 more source

Single‐Cell Transcriptomics and Metabolomics Reveal Glutamate Dehydrogenase as a Central Regulator of Nitrogen Metabolic Remodeling During Alkalinity Adaptation in Crustaceans

Advanced Science, EarlyView.
Single‐cell transcriptomics reveals the cellular response of Macrobrachium hainanense to carbonate alkalinity stress. Alkalinity stress impairs branchial ammonia excretion, induces mitochondrial dysfunction, and drives cell‐type‐specific changes in gills and hemocytes.
Yiting Jin, Zhimin Lv, Chao Bian, Qibin Yang, Na Zhou, Jianguang Qin, Shengming Sun   +6 more
wiley   +1 more source

Symmetry‐Imposed Selection Rules for Excitations of Nontrivial Plasmonic Topologies

Advanced Science, EarlyView.
A unified group‐theory selection rule governs the excitation of vectorial nearfield topologies across three plasmonic spin states. Derived from first principles, it predicts spin–orbit vortex splitting and multidimensional nested vortices, confirmed by phase‐resolved in situ measurements.
Jie Yang, Pengyi Feng, Fei Han, Weijin Chen, Zhongwei Jin, Jincheng Ni, Yuanjie Yang, Anxue Zhang, Guy A. E. Vandenbosch, Niels Verellen, Ewald Janssens, Jiafu Wang, Benfeng Bai, Cheng‐Wei Qiu, Xuezhi Zheng   +14 more
wiley   +1 more source