Results 101 to 110 of about 4,687,832 (367)
On the Role of Formalization in Computational Mathematics [PDF]
Bulletin of the Belgian Mathematical Society - Simon Stevin, 2013 In this paper, we will report on the developments carried out in Isabelle/HOL, ACL2 and Coq/SSReflect on Computational Algebraic Topology, in the frame of the For Math European project. The aim is to illustrate, trough concrete examples, the role of formalization technologies in Computational Mathematics in general.
openaire +3 more sources
Research Achievements Review Series no. 20 - Mathematics and computation research [PDF]
Computational mathematics, perturbed orbit three-body problem, and periodic trajectories solutions through computer ...
core +1 more source
Electric Pulse Regulated MXene Based Nanozymes for Integrative Bioelectricity Immuno‐Cancer Therapy
Advanced Functional Materials, EarlyView.MXenzyme‐mediated bioelectricity cancer therapy (MXenzyme‐BECT) enhances cancer cell death through irreversible depolarization, ion channel disruption, ROS generation, and immunogenic cell death. Computational simulations reveal the electrical mechanisms by which MXenzyme acts on single cells and support to predict treatment parameters. Next‐generation
Sanghee Lee +6 more
wiley +1 more source
Discrete Mathematics for Computing [PDF]
, 1995 This book offers the essential mathematics needed for computing, presented for students with a modest mathematics background. It offers a short, manageable text; assumes little maths background; offers plenty of examples and exercises; and, covers all the essential material.Written especially for students with a modest mathematical background, this ...
openaire +2 more sources
Habituation as optimal filtering
iScienceSummary: Habituation, the reduction of responding to repetitive stimuli, is often conceptualized as a kind of attentional filter, amplifying salient signals at the expense of non-salient signals.
Samuel J. Gershman
doaj
Nonlinear convective stratified flow of Maxwell nanofluid with activation energy
Heliyon, 2019 The aim of present article is to explore the novel aspects of activation energy in nonlinearly convective flow of Maxwell nanofluid driven by nonlinearly stretched inclined cylinder.
Misbah Ijaz, Muhammad Ayub
doaj
Enhancing Low‐Temperature Performance of Sodium‐Ion Batteries via Anion‐Solvent Interactions
Advanced Functional Materials, EarlyView.DOL is introduced into electrolytes as a co‐solvent, increasing slat solubility, ion conductivity, and the de‐solvent process, and forming an anion‐rich solvent shell due to its high interaction with anion. With the above virtues, the batteries using this electrolyte exhibit excellent cycling stability at low temperatures. Abstract Sodium‐ion batteries
Cheng Zheng +7 more
wiley +1 more source
Noël Gastinel and computational Mathematics
Linear Algebra and its Applications, 1986 With list of publications.
François Robert, Jean Della Dora
openaire +2 more sources
A Novel Algorithm for Evaluating Bone Metastatic Potential of Breast Cancer through Morphometry and Computational Mathematics. [PDF]
Diagnostics (Basel), 2023 Duca-Barbu SA +7 more
europepmc +1 more source
Advanced Functional Materials, EarlyView.MXene dervied CoFe composites show increased initial Oxygen Evolution Reaction (OER) activity compared to the pure CoFe and MXene in an Anion Exchange Membrane device. Vanadium vacancies in the MXene plays a role in increased OER activity and hinders Fe leaching in the AEM device over using the pure V2C MXene as a support material for the CoFe ...
Can Kaplan +16 more
wiley +1 more source