Results 21 to 30 of about 153,246 (202)

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Who Knows Best What the Next Year Will Hold for You? The Validity of Direct and Personality‐based Predictions of Future Life Experiences Across Different Perceivers

European Journal of Personality, EarlyView., 2020
Abstract This study explored the validity of person judgements by targets and their acquaintances (‘informants’) in longitudinally predicting a broad range of psychologically meaningful life experiences. Judgements were gathered from four sources (targets, N = 189; and three types of informants, N = 1352), and their relative predictive validity was ...
Nele M. Wessels, Johannes Zimmermann, Daniel Leising, Jan‐Erik Lönnqvist   +3 more
wiley   +1 more source

Algebraic Families of Groups and Commuting Involutions

, 2017
Let $G$ be a complex affine algebraic group, and let $\sigma_1$ and $\sigma_2$ be commuting anti-holomorphic involutions of $G$. We construct an algebraic family of algebraic groups over the complex projective line and a real structure on the family that
Barbasch, Dan, Higson, Nigel, Subag, Eyal   +2 more
core   +1 more source

Interpretability and Representability of Commutative Algebra, Algebraic Topology, and Topological Spectral Theory for Real‐World Data

Advanced Intelligent Discovery, EarlyView.
This article investigates how persistent homology, persistent Laplacians, and persistent commutative algebra reveal complementary geometric, topological, and algebraic invariants or signatures of real‐world data. By analyzing shapes, synthetic complexes, fullerenes, and biomolecules, the article shows how these mathematical frameworks enhance ...
Yiming Ren, Guo‐Wei Wei
wiley   +1 more source

Predicting Postresection Colorectal Liver Metastases Recurrence Using Advanced Graph Neural Networks with Explainability and Causal Inference

Advanced Intelligent Systems, EarlyView.
This study introduces a framework that combines graph neural networks with causal inference to forecast recurrence and uncover the clinical and pathological factors driving it. It further provides interpretability, validates risk factors via counterfactual and interventional analyses, and offers evidence‐based insights for treatment planning ...
Jubair Ahmed, Md. Abdur Rahman, Mohaimenul Azam Khan Raiaan, Sami Azam   +3 more
wiley   +1 more source

Review of Memristors for In‐Memory Computing and Spiking Neural Networks

Advanced Intelligent Systems, EarlyView.
Memristors uniquely enable energy‐efficient, brain‐inspired computing by acting as both memory and synaptic elements. This review highlights their physical mechanisms, integration in crossbar arrays, and role in spiking neural networks. Key challenges, including variability, relaxation, and stochastic switching, are discussed, alongside emerging ...
Mostafa Shooshtari, Teresa Serrano‐Gotarredona, Bernabé Linares‐Barranco   +2 more
wiley   +1 more source

Efficient Dynamics: Reduced‐Order Modeling of the Time‐Dependent Schrödinger Equation

Advanced Physics Research, EarlyView.
Reduced‐order modeling (ROM) approaches for the time‐dependent Schrödinger equation are investigated, highlighting their ability to simulate quantum dynamics efficiently. Proper Orthogonal Decomposition, Dynamic Mode Decomposition, and Reduced Basis Methods are compared across canonical systems and extended to higher dimensions.
Kolade M. Owolabi
wiley   +1 more source

A compatibility criterion for optimal control and information aggregation in hierarchical network systems

Asian Journal of Control, EarlyView.
Abstract Large swarms often adopt a hierarchical network structure that incorporates information aggregation. Although this approach offers significant advantages in terms of communication efficiency and computational complexity, it can also lead to degradation due to information constraints.
Kento Fujita, Daisuke Tsubakino
wiley   +1 more source

Young people's occupational aspirations beyond the aspiration discourse: A sociocultural perspective

British Educational Research Journal, EarlyView.
Abstract Young people's aspirations have been the focus of many educational, sociological and psychological studies. This paper argues, firstly, that the concept of aspirations holds greater generative potential than suggested by the policy‐oriented ‘aspiration discourse’.
Jelena Popov
wiley   +1 more source

A Guide to Bayesian Optimization in Bioprocess Engineering

Biotechnology and Bioengineering, EarlyView.
ABSTRACT Bayesian optimization has become widely popular across various experimental sciences due to its favorable attributes: it can handle noisy data, perform well with relatively small data sets, and provide adaptive suggestions for sequential experimentation.
Maximilian Siska, Emma Pajak, Katrin Rosenthal, Antonio del Rio Chanona, Eric von Lieres, Laura M. Helleckes   +5 more
wiley   +1 more source