Results 11 to 20 of about 4,591,180 (260)
Efficient weighted expressions conversion [PDF]
RAIRO - Theoretical Informatics and Applications, 2007 A formal series with coefficients in a semiring \(K\) and variables in a finite alphabet \(A\) is a formal expression of the form \(\sum _{u\in A^*}k_uu\), where \(A^*\) is the free monoid on \(A\) and \(k_u\in K\). A semiring structure is defined on the set of formal series by defining \((\sum _{u\in A^*}k_uu)+(\sum _{u\in A^*}k'_uu)=\sum _{u\in A ...
Ouardi, Faissal, Ziadi, Djelloul
openaire +4 more sources
Beta-Conversion, Efficiently [PDF]
, 2020 Type-checking in dependent type theories relies on conversion, i.e. testing given lambda-terms for equality up to beta-evaluation and alpha-renaming. Computer tools based on the lambda-calculus currently implement conversion by means of algorithms whose complexity has not been identified, and in some cases even subject to an exponential time ...
openaire +2 more sources
Maximum and Comparative Efficiency Calculations for Integrated Capture and Conversion CO2 [PDF]
, 2023 The integration of CO2 capture and conversion has the potential to decrease the capital and energetic cost of utilizing dilute CO2 streams. Herein we evaluate the overall energy efficiency for electrochemical conversion of dilute CO2 streams to product ...
Jenny, Yang, Aaron, Appel
core +1 more source
Efficiency of wave energy conversion into electric power: calculation results
, 2021 Object and purpose of research. The object of the study is the wave energy converters (WEC) into electric power. The purpose of the study is to draw up a differential equation describing the operation of the WEC, its solution and determination for the ...
Viktor N. Anosov
core +1 more source
Conversion efficiencies of heteronuclear Feshbach molecules [PDF]
Physical Review A, 2008 We study the conversion efficiency of heteronuclear Feshbach molecules in population imbalanced atomic gases formed by ramping the magnetic field adiabatically. We extend the recent work [J. E. Williams et al., New J. Phys., 8, 150 (2006)] on the theory of Feshbach molecule formations to various combinations of quantum statistics of each atomic ...
Watabe, Shohei, Nikuni, Tetsuro
openaire +2 more sources
Energy Efficiency Board 2020 programs and operations report.
, 2021 Annual; Began with 2010; ceased with 2011.; At head of title: Connecticut Energy Efficiency ...
Connecticut. Energy Efficiency Board.
core +1 more source
, 2022 Electrochemical and thermochemical conversion of CO2 into fuels are significant carbon conversion technologies to mitigate carbon emissions. Based on the captured CO2, many previous studies carried out tech-economic and environmental analyses for the CO ...
Yang, Dongtai +3 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Children with sickle cell anemia (SCA) in low‐income settings are at risk of severe malnutrition, but optimal nutritional management has not been established. We evaluated an intensified ready‐to‐use therapeutic food (RUTF) regimen in children with persistent severe malnutrition after initial treatment and assessed whether early ...
Safiya Gambo +9 more
wiley +1 more source
Space-efficient RLZ-to-LZ77 conversion
CoRR, 2022 Consider a text $T [1..n]$ prefixed by a reference sequence $R = T [1..\ell]$. We show how, given $R$ and the $z'$-phrase relative Lempel-Ziv parse of $T [\ell + 1..n]$ with respect to $R$, we can build the LZ77 parse of $T$ in $n\,\mathrm{polylog} (n)$ time and $O (\ell + z')$ total space.
openaire +3 more sources
FEBS Letters, EarlyView.Septin 9 polybasic domains couple phosphoinositide‐rich membrane binding to centrosome positioning, Golgi organization, and microtubule acetylation to control epithelial polarity. Their loss disrupts this axis, causing centrosome mispositioning, Golgi fragmentation, reduced microtubule acetylation, and polarity inversion via upregulation of the ...
Ting ting Cai +4 more
wiley +1 more source