Results 41 to 50 of about 188,837 (207)

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

MÉTODOS NUMÉRICOS RUNGE-KUTTA Y ADAMS BASHFORTH-MOULTON EN MATHEMATICA

Revista Ingeniería, Matemáticas y Ciencias de la Información, 2020
In this research, the main objective is to study the Runge -Kutta and Adams Bashforth- Moulton numerical methods. Tofulfill the purpose of this study, the Systems of differential equations of the Lotka-Volterra model was used and themathematical software
Jaime Segarra
doaj   +1 more source

Methods in Mathematica for Solving Ordinary Differential Equations

, 2011
An overview of the solution methods for ordinary differential equations in the Mathematica function DSolve is presented.Comment: 13 ...
Göktaş, Ünal, Kapadia, Devendra
core   +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

THE PLATFORM FOR CREATION OF EVENT-DRIVEN APPLICATIONS BASED ON WOLFRAM MATHEMATICA AND APACHE KAFKA

Сучасний стан наукових досліджень та технологій в промисловості, 2021
The article is devoted to the study and development of the mechanism of interaction between Wolfram Mathematica programs and Apache Kafka queue to provide the ability to build event-driven applications based on it.
Denis Zolotariov
doaj   +1 more source

Symbolic Manipulators Affect Mathematical Mindsets

, 2007
Symbolic calculators like Mathematica are becoming more commonplace among upper level physics students. The presence of such a powerful calculator can couple strongly to the type of mathematical reasoning students employ.
Arcavi A., Dunham P. H., Edward F. Redish, Fey J. T., Goffman E., Griffiths D. J., Hammer D., Hammer D., Hembree R., Howden H., MacLachlan G., Redish E. F., Schoenfeld A., Tannen D., Thomas J. Bing, Wheatley G. H.   +15 more
core   +1 more source

The Role of Social Food Infrastructure in Addressing SNAP Participation Gaps: Evidence From Linked Administrative and Ground‐Sourced Data

Applied Economic Perspectives and Policy, EarlyView.
ABSTRACT We link American Community Survey and SNAP records for 185,000 units with ground‐sourced social food infrastructure data from FindFoodIL (Illinois Extension SNAP‐Ed) to examine SNAP participation determinants among eligible units. Bivariate probit models reveal, beyond SNAP offices, quantity of social infrastructure is associated with ...
Michael Lotspeich‐Yadao, Caitlin Kownacki, Jennifer McCaffrey, Craig Wesley Carpenter   +3 more
wiley   +1 more source

fNIRS experimental study on the impact of AI-synthesized familiar voices on brain neural responses

Scientific Reports
With the advancement of artificial intelligence (AI) speech synthesis technology, its application in personalized voice services and its potential role in emotional comfort have become research focal points.
Weijia Zhang, Jiaju Li, Luyang Ji, Xue Cheng, Dongqin Sun, Yanrong Jiang, Feiyu Chen, Yiduo Zhou, Calvin Choi, Hao Cheng, Shaomin Cai   +10 more
doaj   +1 more source

Algorithmic derivation of Dyson-Schwinger Equations

, 2008
We present an algorithm for the derivation of Dyson-Schwinger equations of general theories that is suitable for an implementation within a symbolic programming language.
Alkofer, Alkofer, Alkofer, Alkofer, Alkofer, Baulieu, Caravaglios, Dyson, Fazio, Hahn, Itzykson, K. Schwenzer, Kanaki, M.Q. Huber, Mangano, Mertig, Min, Pawlowski, R. Alkofer, Rivers, Roberts, Schleifenbaum, Schwinger, Thierry-Mieg, Villalba-Chavez, Watson, Wolfram   +26 more
core   +1 more source

Growth of Omnichannel Grocery Retailing and Food Prices

Agribusiness, EarlyView.
ABSTRACT This paper examines the effects of the growth of omnichannel grocery retailing on food prices. We first develop a conceptual model of consumer choice and retailer pricing that allows us to evaluate changes in equilibrium prices, quantities, and profits with online channel growth and alternative pricing strategies.
Xiangwen Kong, Metin Çakır, Qingxiao Li   +2 more
wiley   +1 more source