Results 41 to 50 of about 2,367,547 (250)

Computing the Maximum using (min, +) Formulas.

Electron. Colloquium Comput. Complex., 2017
We study computation by formulas over (min,+). We consider the computation of max{x_1,...,x_n} over N as a difference of (min,+) formulas, and show that size n + n \log n is sufficient and necessary. Our proof also shows that any (min,+) formula computing the minimum of all sums of n-1 out of n variables must have n \log n leaves; this too is tight ...
Meena Mahajan, Prajakta Nimbhorkar, Anuj Tawari   +2 more
openaire   +4 more sources

Computing distinguishing formulas for branching bisimulation [PDF]

, 1992
Branching bisimulation is a behavioral equivalence on labeled transition systems which has been proposed by Van Glabbeek and Weijland as an alternative to Milner's observation equivalence. This paper presents an algorithm which, given two branching bisimulation inequivalent finite state processes, produces a distinguishing formula in Hennessy-Milner ...
openaire   +1 more source

Computational complexity of solving real algebraic formulae

, 1990
Computational complexity of solving real algebraic ...
Renegar, J.
core   +5 more sources

An Integrated Oxygen‐Supplying Device and Predictive Multiphysics Model for Extended Ambient Transport of Insulin‐Producing Cells

Advanced Functional Materials, EarlyView.
Cell therapies typically rely on cold‐chain logistics and cryopreservation, limiting access and compromising cell quality. Here, a dual‐chamber device separates an oxygen‐supplying chamber from a hyaluronic acid cargo chamber, sustaining oxygen delivery for over 70 h and enabling ambient‐temperature shipment.
Daniel A. Domingo‐Lopez, Ruth Tarpey, Benjamin Brennan, Bryan D. Boyle, Amir M. Alsharabasy, Abhik Mallick, Gabriella Bellavia, Abhay Pandit, Garry P. Duffy, Ruth E. Levey   +9 more
wiley   +1 more source

Physics‐Grounded Materials Artificial Intelligence for Reliable Materials Discovery

Advanced Functional Materials, EarlyView.
Physics‐Grounded Materials AI (PhysMat AI) integrates physical priors, descriptors, constraints, verification, and data infrastructure into a unified full‐stack framework, enabling reliable, interpretable, and autonomous AI‐driven materials discovery.
Yuhang Wang, Qian Wang, Seong‐Hoon Jang, Hao Li   +3 more
wiley   +1 more source

Accelerated Discovery of Topological Spin Phase Diagrams in CrSBr Magnets Via High‐Throughput Optimization

Advanced Functional Materials, EarlyView.
Here, we develop a high‐throughput algorithm that accelerates the elucidation of phase diagrams of topological spin textures using limited computational resources at high numerical accuracy. Applying this framework to the van der Waals magnet CrSBr, we unveiled a hierarchy of previously unknown topological textures (domain‐wall bimerons, bimeron chains,
Andrew Lyall, Mohammad H. Badarneh, Cristian Bonato, Rebecca Cheung, Elton J. G. Santos   +4 more
wiley   +1 more source

[Formula SENA. Cortinilla]

, 2010
Cortinilla del evento Formula SENA utilizada para separar los el programa de la pauta comercial.Curtain of the Formula SENA event used to separate the program from the commercial ...

core  

Sub‐1 ms Optoelectronic Synapse Based on {ZnCdO/ZnO} Multilayer Structure for High‐Speed Neuromorphic Vision Systems

Advanced Functional Materials, EarlyView.
Eu‐doped {ZnCdO/ZnO} structures grown on Si are developed, showcasing dual‐functionality controlled by europium doping. While high europium concentration transforms the device into an ultrafast, self‐powered photodetector, low‐doped structures can be used as an optoelectronic synapse.
Igor Perlikowski, Eunika Zielony, Adrian Kaim, Ewa Przeździecka   +3 more
wiley   +1 more source

Amphoteric Cu‐Doping Leading to High Thermoelectric Performance in p‐Type Bismuth Antimony Telluride

Advanced Functional Materials, EarlyView.
This study shows that Cu plays two opposite roles in p‐type Bi0.5Sb1.5Te3 depending on the processing route. Under thermodynamic‐equilibrium bulk‐synthesis, Cu mainly occupies cation sites, increases hole concentration, preserves mobility, and slightly reduces lattice heat transport. The best‐performing composition among the investigated series reaches
Moritz Thiem, Zhiyuan Li, Minsu Heo, Fangyi Hu, Tian Lan, Youngdeog Koh, Ruiwen Xie, Chuanmu Tian, Marc Widenmeyer, Hyun‐Sik Kim, Jan P. Hofmann, Yuan Yu, Hongbin Zhang, Anke Weidenkaff, G. Jeffrey Snyder, Wenjie Xie   +15 more
wiley   +1 more source

Formulas for series computations

, 1991
We describe an algorithm that computes polynomials whose roots are the coefficients of any specific order of the Laurent series of a rational function. The algorithm uses only rational operations in the coefficient field of the function. This allows us to compute with the principal parts of the Laurent series, in particular with the residues of the ...
openaire   +2 more sources