Results 51 to 60 of about 673 (251)
Stage‐Specific Roles of Deep Eutectic Solvents in Recycling of Spent Lithium‐Ion Batteries
Advanced Energy Materials, EarlyView.Deep eutectic solvents (DESs) offer tunable acidity, redox, and coordination properties for selective recycling of spent lithium‐ion battery cathodes. Through co‐dissolution, single‐ and two‐metal separations, DESs enable sustainable recovery of critical metals for closed‐loop regeneration of battery‐grade materials, advancing a circular economy for ...
Jingxiu Wang +4 more
wiley +1 more source
Kant and new mathematics 100 years later [PDF]
Кантовский сборник, 2015 Cassirer’s critique of Russell’s philosophy of mathematics and the Neo-Kantian philosophy of science and mathematics as a whole is of special relevance in the context of modern mathematics and mathematical physics.
Rodin A.
doaj +1 more source
Cytoskeleton, EarlyView.ABSTRACT Lateral root (LR) organogenesis is regulated by cellular flux of auxin within pericycle cells, which depends on the membrane distribution and polar localization of auxin carrier proteins. The correct distribution of auxin carrier proteins relies on the intracellular trafficking of these proteins aided by filamentous actin as a track.
Aya Hanzawa +2 more
wiley +1 more source
A Hoehnke Radical on the Topos Act-s
پژوهشهای ریاضی, 2020 One of the important concepts in topos theory is the concept of (weak) Lawvere-Tierney topology. A class of (weak) Lawvere topology on the topos Act-S of right acts over a fixed monoid S is ideal topology which has been introduced by the authors in ...
Ali Madanshekaf +1 more
doaj
The Unification of Mathematics via Topos Theory
, 2022 We present a set of principles and methodologies which may serve as foundations of a unifying theory of Mathematics. These principles are based on a new view of Grothendieck toposes as unifying spaces being able to act as `bridges' for transferring information, ideas and results between distinct mathematical theories.
openaire +3 more sources
PEK14: A Kinesin‐4 Necessary for Male‐Derived Fertility in Arabidopsis thaliana
Cytoskeleton, EarlyView.ABSTRACT Of the 61 kinesins annotated in Arabidopsis thaliana, many are still without assigned function. Here, we have screened an insertional mutant library of Arabidopsis pollen‐expressed kinesins for fertility defects. Insertional mutants for three kinesins showed a significant reduction in seed set.
Isabella N. Mendes +6 more
wiley +1 more source
Cohomological Descent for Faltings Ringed Topos
Forum of Mathematics, SigmaFaltings ringed topos, the keystone of Faltings’ approach to p-adic Hodge theory for a smooth variety over a local field, relies on the choice of an integral model, and its good properties depend on the (logarithmic) smoothness of this model. Inspired by
Tongmu He
doaj +1 more source
The EU's Strategy for Sustainability: A Landmark Turn With the European Green Deal?
European Policy Analysis, EarlyView.ABSTRACT While the European Green Deal (EGD) has been widely recognized as a milestone in the EU's sustainability strategy, scholars disagree on the nature of the policy change it represents. Critics highlight its limited social and environmental ambitions, despite its portrayal as a “man on the moon” moment.
Ekaterina Domorenok, Franco Gatti
wiley +1 more source
Flat functors in higher topos theory [PDF]
, 2022 George Raptis, Daniel Schäppi
openalex +1 more source
Bootstrapping Inductive and Coinductive Types in HasCASL [PDF]
Logical Methods in Computer Science, 2008 We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatypes and process types arise as bootstrapped concepts using HasCASL's type ...
Lutz Schröder
doaj +1 more source