Results 41 to 50 of about 117,377 (229)

An Extensible Ad Hoc Interface between Lean and Mathematica

, 2017
We implement a user-extensible ad hoc connection between the Lean proof assistant and the computer algebra system Mathematica. By reflecting the syntax of each system in the other and providing a flexible interface for extending translation, our ...
Lewis, Robert Y.
core   +1 more source

A mathematica‐based CAL matrix‐theory tutor for scientists and engineers [PDF]

, 1993
Under the TLTP initiative, the Mathematics Departments at Imperial College and Leeds University are jointly developing a CAL method directed at supplementing the level of mathematics of students entering science and engineering courses from diverse A ...
Cheng, S.Y., Kelmanson, M.A., Maunders, S.B.   +2 more
core   +3 more sources

Controlling tripartite entanglement among optical cavities by reservoir engineering

, 2015
We study how to control the dynamics of tripartite entanglement among optical cavities using non-Markovian baths. In particular, we demonstrate how the reservoir engineering through the utilization of non-Markovian baths with different types of ...
Mirza, Imran M.
core   +1 more source

Cellular Snowballing: Cell Adhesion and Migration Drive the Self‐Assembly of Cell‐Microgel Biohybrid Spheroids

Advanced Science, EarlyView.
A new class of biohybrid spheroids is engineered through the self‐assembly of adherent cells and extracellular matrix‐mimetic hydrogel microparticles (microgels). By mimicking a snowballing effect, this approach enables scalable formation of porous, millimeter‐scale spheroids with enhanced cell viability and molecular diffusion.
Zaman Ataie, Sina Kheirabadi, Changhao Li, Aneesh Risbud, Aswathy Sebastian, Istvan Albert, Sulin Zhang, Amir Sheikhi   +7 more
wiley   +1 more source

REVIEW OF MATHEMATICAL METHODS AND ALGORITHMS OF MEDICAL IMAGE PROCESSING ON THE EXAMPLE OF TECHNOLOGY OF MEDICAL IMAGE PROCESSING FROM WOLFRAM MATHEMATICS

Medična Informatika ta Inženerìâ, 2015
The article analyzes the basic methods and algorithms of mathematical processing of medical images as objects of computer mathematics. The presented methods and computer algorithms of mathematics relevant and may find application in the field of medical ...
O. Ye. Prokopchenko
doaj   +1 more source

Sub‐Unit‐Cell Logic Governs Transport in TPMS Architectures

Advanced Science, EarlyView.
ABSTRACT Next‐generation energy, thermal, and chemical systems require architectures capable of highly efficient transport across multiple length scales. Triply periodic minimal surfaces (TPMS), first conceptualized in 1865, offer inherently scalable geometries with exceptional transport potential, yet mechanistic links between topology and performance
Haozhang Zhong, Yipei He, Jiaxuan Wang, Chenyi Qian, Gerd E Schröder‐Turk, Raj Das, Junye Shi, Qi Tang, Zheda Ning, Wenjue Yi, Chuanwei Li, Jiangping Chen, Zeyao Chen, Binbin Yu, Jian LU, Jianfeng Gu, Ma Qian   +16 more
wiley   +1 more source

Numerical Approximation Method for Solving Differential Equations

Eurasian Journal of Science and Engineering, 2020
This paper investigates numerical methods for solving differential equation. In this work, the continuous least square method (CLSM) was considered to find the best numerical approximation by solving differential equations.
Salisu Ibrahim
doaj   +1 more source

Exact solutions for the spatial de Vaucouleurs and Sersic laws and related quantities [PDF]

, 2001
Using the Mathematica package, we find exact analytical expressions for the so-called de-projected De Vaucouleurs and Sersic laws as well as for related spatial (3D) quantities, such the mass, gravitational potential, the total energy and the central ...
A. Mazure, Ciotti, Ciotti, de Vaucouleurs, Fuchs, Graham, H. V. Capelato, Marquez, Mellier, Poveda, Young   +10 more
core   +2 more sources

Machine‐Learning‐Assisted Onset‐Time Determination in Transient Luminescence Thermometry

Advanced Intelligent Discovery, EarlyView.
Artificial neural networks enable autonomous extraction of onset times from transient heating curves in luminescence thermometry. Using Ln3+‐doped upconverting nanoparticles as luminescent thermometers, we combine experimental transients with physically motivated synthetic curves to enhance data diversity and improve generalization.
David J. Sousa, Erving Ximendes, Luís D. Carlos, Carlos D. S. Brites   +3 more
wiley   +1 more source

Building a Set of Programs Simulating the Guidance of Anti-Aircraft Guided Missiles

Современные информационные технологии и IT-образование
The Wolfram Mathematica system is a very effective tool capable of simulating the functioning of complex systems for various purposes, including military ones. It allows you to display simulation results in numerical and analytical form, build graphs and
Sergei Chernyi, Vladimir Kristalinskii
doaj   +1 more source