Results 51 to 60 of about 14,100 (298)
, 2003 A major hurdle in the algorithmic verification and control of systems is the need to find suitable abstract models, which omit enough details to overcome the stateexplosion problem, but retain enough details to exhibit satisfaction or controllability ...
Rupak Majumdar +2 more
core +1 more source
Bridging Academic Research and Business Practices at the Crossroad of Circular Economy and the SDGs
Business Strategy and the Environment, EarlyView.ABSTRACT The global shift toward sustainability has amplified interest in the Circular Economy, which aims to optimize resource use and minimize waste. In parallel, the Sustainable Development Goals (SDGs) provide a universal framework for addressing social, environmental, and economic challenges.
Corentin Juin, Andrea Nicolodi
wiley +1 more source
Mother Earth: Climate Justice, Infant Feeding Decisions, and Intimacy
Journal of Applied Philosophy, EarlyView.ABSTRACT Human infants require milk. This can be parental milk provided directly from the parent's body (known as breastfeeding, chestfeeding, or nursing), expressed human milk, or infant formula milk. This article contributes to the literature on the ethics of infant feeding in two ways. First, it brings recent research on the climate impact of infant
Fiona Woollard
wiley +1 more source
On a Tree and a Path with no Geometric Simultaneous Embedding
Journal of Graph Algorithms and Applications, 2012 Two graphs G1=(V,E1) and G2=(V,E2) admit a geometric simultaneous embedding if there exist a set of points P and a bijection M: V→ P that induce planar straight-line embeddings both for G1 and for G2.
Patrizio Angelini +3 more
doaj +1 more source
A counterexample concerning iteratively generated sequences [PDF]
, 1980 We present a counterexample concerning the cluster set of a sequence (xn) iteratively generated by a relation of sort xn + 1 = f(xn). This counterexample answers a question posed in 1970 by F. T. Metcalf and T. D. Rogers (J. Math. Anal. Appl.
Delahaye, J.P.R.R
core +1 more source
Noncanonical Nucleotides in the Genome Around the Maternal‐Zygotic Transition
Journal of Experimental Zoology Part B: Molecular and Developmental Evolution, EarlyView.In this paper, Kazzazi et al. provide a comprehensive review of the dynamics of nonconventional nucleotides in the genome during early developmental stages, hypothesizing a potential role for these nucleotides in the activation of the zygotic genome. ABSTRACT From the very moment of fertilization and throughout development, the cells of animal embryos ...
Latifa Kazzazy +7 more
wiley +1 more source
Spectra of subnormal pairs [PDF]
Opuscula Mathematica, 2007 In this short note we present an example related to joint spectra of subnormal pairs of bounded operators. A counterexample to the equality between Taylor's spectrum and the closure of the defect spectrum is given. This example is related to the author's
Krzysztof Rudol
doaj
, 2017 <p>Complementary material for "Distributed Information-Theoretic Clustering"</p> <p>We provide counterexamples to Conjecture 1 in<br> M. B. Westover and J. A.
Georg Pichler, Georg Pichler (8276376)
core +1 more source
Journal of Graph Theory, EarlyView.ABSTRACT In an effort to understand the complexity of the maximum independent set problem, Chvátal introduced t‐perfect graphs. While a full characterization of this class remains open, important progress has been made for claw‐free graphs [Bruhn and Stein, Math. Program. 2012] and P 5 ${P}_{5}$‐free graphs [Bruhn and Fuchs, SIAM J. Discrete Math. 2017]
Yixin Cao, Shenghua Wang
wiley +1 more source
Counterexamples in self-testing
Quantum, 2023 In the recent years self-testing has grown into a rich and active area of study with applications ranging from practical verification of quantum devices to deep complexity theoretic results. Self-testing allows a classical verifier to deduce which quantum measurements and on what state are used, for example, by provers Alice and Bob in a nonlocal game.
Laura Mancinska, Simon Schmidt 0001
openaire +6 more sources