Results 11 to 20 of about 46 (42)
The formation of mono‐, dual‐, and triple‐species biofilms by L. monocytogenes, S. aureus, and E. coli was characterized by cell growth, metabolic activity, staining, and microscopy. Their resistance to a commercial disinfectant (NaOCl) and natural agents such as vinegar and lactic acid was evaluated.
Viviana Švarcová +6 more
wiley +1 more source
Kripke on Gödel Incompleteness
ABSTRACT This paper surveys six of Saul Kripke's highly creative ideas and results on Gödel incompleteness, from when he was an undergraduate to last publications. These include his extension of incompleteness from sentences to predicates, his model‐theoretic proof of incompleteness of arithmetic, his compelling analysis of incompleteness in terms of ...
Daniel Isaacson
wiley +1 more source
This graphical abstract illustrates seven strategic pillars to advance a low‐carbon economy in ASEAN: Carbon Pricing & CBAM, Renewable Energy Auctions, Sustainable Finance Mobilization, Regional Carbon Trading Systems, Green Finance Standards, Private Sector Participation, and Digital‐Driven Monitoring & Trading. These elements aim to unlock investment,
Ohn Zin Lin +4 more
wiley +1 more source
Determinacy on the edge of second‐order arithmetic, I
Abstract This is the first of two articles on the strength of m$m{}$‐Σ30$\bm{\Sigma }^0_3{}$‐determinacy for m∈N$m\in \mathbb {N}$, the strongest theories of determinacy contained in Hilbert's second‐order arithmetic (Z2)$(Z_2)$. In this article, we refute two natural conjectures on the strength of these principles in terms of inductive definability ...
J. P. Aguilera, P. D. Welch
wiley +1 more source
New Difference Triangle Sets by a Field‐Programmable Gate Array‐Based Search Technique
ABSTRACT We provide some difference triangle sets with scopes that improve upon the best known values. These are found with purpose‐built digital circuits realized with field‐programmable gate arrays (FPGAs) rather than software algorithms running on general‐purpose processors.
Mohannad Shehadeh +2 more
wiley +1 more source
A New Fixed‐Point Framework for Nonexpansive and Averaged Mappings in Normed GE‐Algebras
In this paper, we develop a systematic framework for studying fixed‐point theory in the setting of normed GE‐algebras. Building on the GE‐norm, we introduce and analyze nonexpansive mappings, α‐averaged mappings, and enriched contractions with respect to the quasimetric induced by the GE‐norm.
Prashant Patel +3 more
wiley +1 more source
Graphical abstract illustrating the challenges, opportunities, and research gaps in decarbonizing ASEAN'S transport sector through electric vehicle (EV) and biofuel policy pathways. The framework highlights infrastructural, policy, and investment barriers alongside emerging opportunities from advanced biofuel technologies and supportive policy ...
Ohn Zin Lin +4 more
wiley +1 more source
The flat cover conjecture for monoid acts
Abstract We prove that the Flat Cover Conjecture holds for the category of (right) acts over any right‐reversible monoid S$S$, provided that the flat S$S$‐acts are closed under stable Rees extensions. The argument shows that the class F$\mathcal {F}$‐Mono (S$S$‐act monomorphisms with flat Rees quotient) is cofibrantly generated in such categories ...
Sean Cox
wiley +1 more source
Finite models for positive combinatorial and exponential algebra
Abstract We use high girth, high chromatic number hypergraphs to show that there are finite models of the equational theory of the semiring of non‐negative integers whose equational theory has no finite axiomatisation, and show this also holds if factorial, fixed base exponentiation and operations for binomial coefficients are adjoined.
Tumadhir Alsulami, Marcel Jackson
wiley +1 more source
The geometry and arithmetic of bielliptic Picard curves
Abstract We study the geometry and arithmetic of the curves C:y3=x4+ax2+b$C \colon y^3 = x^4 + ax^2 + b$ and their associated Prym abelian surfaces P$P$. We prove a Torelli‐type theorem in this context and give a geometric proof of the fact that P$P$ has quaternionic multiplication by the quaternion order of discriminant 6.
Jef Laga, Ari Shnidman
wiley +1 more source

