Results 31 to 40 of about 693,962 (268)
gym-saturation: an OpenAI Gym environment for saturation provers [PDF]
Journal of Open Source Software, 2022 6 pages, 1 ...
openaire +2 more sources
CES Transactions on Electrical Machines and Systems, 2020 In traditional analytical method (AM), the magnetic saturation is always ignored to simplify the calculation process. However, synchronous reluctance motors (SynRMs) often operate around saturation point to achieve higher torque density. Therefore, a new
Qian Chen +3 more
doaj +1 more source
European Journal of Combinatorics, 2016 A graph $G = (V,E)$ is said to be saturated with respect to a monotone increasing graph property ${\mathcal P}$, if $G \notin {\mathcal P}$ but $G \cup \{e\} \in {\mathcal P}$ for every $e \in \binom{V}{2} \setminus E$. The saturation game $(n, {\mathcal P})$ is played as follows.
Dan Hefetz +3 more
openaire +3 more sources
Consensus With Output Saturations [PDF]
IEEE Transactions on Automatic Control, 2017 This paper consider a standard consensus algorithm under output saturations. In the presence of output saturations, global consensus can not be realized due to the existence of stable, unachievable equilibrium points for the consensus. Therefore, this paper investigates necessary and sufficient initial conditions for the achievement of consensus, that ...
Young-Hun Lim, Hyo-Sung Ahn
openaire +2 more sources
Frontiers in MedicineBackgroundPost-COVID-19 condition (PCC) poses a major challenge for health systems, particularly in low- and middle-income countries, where evidence on the benefits of multidisciplinary rehabilitation remains limited.ObjectiveTo evaluate changes in ...
Paola Yepez +13 more
doaj +1 more source
Experimental Study on Methane Hydrate Dissociation by Depressurization in Porous Sediments
Energies, 2012 Based on currently available data from site measurements in the Shenhu Area of the South China Sea, methane hydrate dissociation behavior by depressurization is studied in a one-dimensional experimental apparatus.
Lijun Xiong +3 more
doaj +1 more source
Tokyo Journal of Mathematics, 1986 For a Cohen-Macaulay semi-local ring A of dimension \(d=1\) a stable ideal I of definition has the equivalent properties \((i)\quad \lambda (A/I^ n)\) \((\lambda =length)\) is a polynomial for all \(n>0\), \((ii)\quad xI=I^ 2\) for some \(x\in I\) [see \textit{J. Lipman}, Am. J. Math. 93, 649-685 (1971; Zbl 0228.13008)].
openaire +2 more sources
IEEE Access, 2021 In this paper, the consensus tracking problem for nonlinear multi-agent systems subjected to the output constraint, data loss and switching topologies is considered.
Zhengzheng Yu +3 more
doaj +1 more source
Numerical Simulation Of The Treatment Of Soil Swelling Using Grid Geocell Columns
Slovak Journal of Civil Engineering, 2015 In this paper, a method for the treatment of the swelling of expansive soil is numerically simulated. The method is simply based on the embedment of a geogrid (or a geomesh) in the soil.
Fattah Mohammed Y. +2 more
doaj +1 more source
Journal of Symbolic Logic, 1998 Assuming that ORD is ω + ω-Erdös we show that if a class forcing amenable to L (an L-forcing) has a generic then it has one definable in a set-generic extension of L[O#]. In fact we may choose such a generic to be periodic in the sense that it preserve the indiscernibility of a final segment of a periodic subclass of the Silver indiscernibles, and ...
openaire +3 more sources