Results 31 to 40 of about 1,402 (212)
Deciding Conditional Termination [PDF]
Logical Methods in Computer Science, 2014 We address the problem of conditional termination, which is that of defining the set of initial configurations from which a given program always terminates.
Radu Iosif, Filip Konecny, Marius Bozga
doaj +1 more source
Affine mappings of translation surfaces: geometry and arithmetic
Duke Mathematical Journal, 2000 The main result of this paper is an explicit general formula for the quadratic constant, \(c(S)\), where \(S\) is a Veech surface. The proof is based on the counting of vectors in the orbit of a lattice which is reduced to a counting of horocycles in the hyperbolic plane.
Gutkin, Eugene, Judge, Chris
openaire +2 more sources
Revisiting Coulombic Efficiency Paradigm: Electrolyte Additive Design for Lithium Metal Batteries
Angewandte Chemie, EarlyView.Coulombic efficiency (CE) is a key metric for screening advanced electrolyte formulations for rechargeable batteries. Combined with interphasial characterizations, statistical analyses of CE data uncover the synergistic interaction between fluorinated additives and salt anions, enabling more precise correlations of chemical functionalities with ...
Qixin Wang +16 more
wiley +2 more sources
Journal of Modern Power Systems and Clean Energy, 2018 Optimal power flow (OPF) has been used for energy dispatching in active distribution networks. To satisfy constraints fully and achieve strict operational bounds under the uncertainties from loads and sources, this paper derives an interval optimal power
Pengwei CHEN, Xiangning XIAO, Xuhui WANG
doaj +1 more source
IET Energy Systems Integration, 2023 Residential heating faces the challenge of heating interruption when an electric power outage occurs. As a promising heating electrification form, regenerative electric heating (REH) equipped with thermal energy storage (TES) has the flexibility of ...
Jiarui Zhang +6 more
doaj +1 more source
The Structure of Arithmetic Sums of Affine Cantor Sets
Real Analysis Exchange, 2012 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Anisca, Razvan +2 more
openaire +3 more sources
Spheroid‐On‐A‐Drop: A Modular Droplet Microfluidics Platform
Advanced Materials Technologies, EarlyView.The proposed Spheroid‐on‐a‐Drop platform represents a reproducible and tunable platform for the fabrication of biocompatible GelMA‐based microgels, able to support controlled 3D tumor spheroid culture. Its precise control over droplet dynamics and cell distribution paves the way for advanced applications in tissue modeling, drug screening, and ...
A. Fergola +8 more
wiley +1 more source
Journal of Modern Power Systems and Clean Energy, 2023 Due to the uncertain fluctuations of renewable energy and load power, the state variables such as bus voltages and pipeline mass flows in the combined cooling, heating, and power campus microgrid (CCHP-CMG) may exceed the secure operation limits. In this
Shunjiang Lin +4 more
doaj +1 more source
Project Duration Evaluated Using Affine Arithmetic
Periodica Polytechnica Civil Engineering, 2016 A civil engineering work can be performed by organizing theavailable resources (manpower, equipment and materials) inmany different ways. Each different configuration results in arealization time and a cost that a building company has to bear.To produce reliable duration forecasts and money savings, itis essential to take into account all the ...
Bosurgi G., Pellegrino O., Sollazzo G.
openaire +3 more sources
Advanced Science, EarlyView.A biotin‐modified artificial insertion peptide functionalized three‐dimensional high‐curvature‐TiO2 nano‐interface was engineered in a microfluidic chip to improve the isolation efficiency of small extracellular vesicles (sEVs). This chip balanced affinity, releasability, and extendibility, enabling high‐throughput recovery of sEVs for downstream ...
Le Wang +7 more
wiley +1 more source