Results 81 to 90 of about 866,589 (294)
A numerical model resulting from irreversible thermodynamics for describing transport processes is introduced, focusing on thermodynamic activity gradients as the actual driving force for diffusion. Implemented in CUDA C++ and using CalPhaD methods for determining the necessary activity data, the model accurately simulates interdiffusion in aluminum ...
Ulrich Holländer +3 more
wiley +1 more source
A comparison of embedding aggregation strategies in drug–target interaction prediction
The prediction of interactions between novel drugs and biological targets is a vital step in the early stage of the drug discovery pipeline. Many deep learning approaches have been proposed over the last decade, with a substantial fraction of them ...
Dimitrios Iliadis +3 more
doaj +1 more source
Sets and indices in linear programming modelling and their integration with relational data models [PDF]
LP models are usually constructed using index sets and data tables which are closely related to the attributes and relations of relational database (RDB) systems. We extend the syntax of MPL, an existing LP modelling language, in order to connect it to a
Kristjansson, B +3 more
core
This article presents the design, modeling, and characterization of air‐pressure–actuated programmable vibroacoustic metamaterials (PVAMM). The study focuses on leveraging air pressure to dynamically tune resonance frequencies for effective noise attenuation.
William Kaal +2 more
wiley +1 more source
The presented study focuses on the fracture behaviour of carbon‐bonded magnesia MgO–C refractories, where environmentally friendly fructose, collagen and lignin serve as temporary binding agents. The partial substitution of the source material with recycled MgO–C reduces the fracture resistance, which can be counteracted by the additional introduction ...
Marc Neumann +6 more
wiley +1 more source
Model Creation and Equivalence Proofs of Cellular Automata and Artificial Neural Networks
Computational methods and mathematical models have invaded arguably every scientific discipline forming its own field of research called computational science. Mathematical models are the theoretical foundation of computational science.
Christen, Patrik
core
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to
Abrial, Jean-Raymond +5 more
core +1 more source
Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows
A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba +5 more
wiley +1 more source
Metapopulation models with anti-symmetric Lotka–Volterra systems
We consider different anti-symmetric Lotka–Volterra systems governing the pairwise interactions among the same n species inhabiting m spatially discrete habitat patches, with each patch having infinitely many equilibria.
Anju Susan Anish +2 more
doaj +1 more source
Modelling of mathematical programs: An analysis of strategy and an outline description of a computer assisted system [PDF]
The salient components of the mathematical programming modeling activity are first analysed. Earlier generation systems such as program generators and procedural (modelling) languages are briefly discussed.
Lucas, CA, Mitra, G
core

