Miracle-dz/UniFAR-FTUs huggingface dataset:
Markerless Radio Frequency Indoor Monitoring for Telemedicine: Gait Analysis, Indoor Positioning, Fall Detection, Tremor Analysis, Vital Signs and Sleep Monitoring

Quantitative indoor monitoring, in a low-invasive and accurate way, is still an unmet need in clinical practice. Indoor environments are more challenging than outdoor environments, and are where patients experience difficulty in performing activities of daily living (ADLs). In line with the recent trends of telemedicine, there is an ongoing positive impulse in moving medical assistance and management from hospitals to home settings. Different technologies have been proposed for indoor monitoring over the past decades, with different degrees of invasiveness, complexity, and capabilities in full-body monitoring. The major classes of devices proposed are inertial-based sensors (IMU), vision-based devices, and geomagnetic and radiofrequency (RF) based sensors. In recent years, among all available technologies, there has been an increasing interest in using RF-based technology because it can provide a more accurate and reliable method of tracking patients’ movements compared to other methods, such as camera-based systems or wearable sensors. Indeed, RF technology compared to the other two techniques has higher compliance, low energy consumption, does not need to be worn, is less susceptible to noise, is not affected by lighting or other physical obstacles, has a high temporal resolution without a limited angle of view, and fewer privacy issues. The aim of the present narrative review was to describe the potential applications of RF-based indoor monitoring techniques and highlight their differences compared to other monitoring technologies.
Capacity lower bound for the Ising perceptron

We consider the Ising perceptron with gaussian disorder, which is equivalent to the discrete cube {−1,+1}N intersected by M random half-spaces. The perceptron’s capacity is the largest integer MN for which the intersection is nonempty. It is conjectured by Krauth and Mézard (1989) that the (random) ratio MN/N converges in probability to an explicit constant α⋆≐ 0.83. Kim and Roche (1998) proved the existence of a positive constant γ such that γ ≤ MN/N ≤ 1−γ with high probability; see also Talagrand (1999). In this paper we show that the Krauth–Mézard conjecture α⋆ is a lower bound with positive probability, under the condition that an explicit univariate function S(λ) is maximized at λ=0. Our proof is an application of the second moment method to a certain slice of perceptron configurations, as selected by the so-called TAP (Thouless, Anderson, and Palmer, 1977) or AMP (approximate message passing) iteration, whose scaling limit has been characterized by Bayati and Montanari (2011) and Bolthausen (2012). For verifying the condition on S(λ) we outline one approach, which is implemented in the current version using (nonrigorous) numerical integration packages. In a future version of this paper we intend to complete the verification by implementing a rigorous numerical method.
Evaluation and Perspective of Analog Low-Dropout Voltage Regulators: A Review

Low-dropout regulators (LDOs) are widely adopted in power management integrated circuits (PMICs) and serve as a bridge between the switching regulators and individual on-chip modules to provide a smooth, regulated output voltage. Compared to digital LDOs (DLDOs), analog LDOs (ALDOs) lead in the advantage of low output ripple and large power supply rejection (PSR). However, the preference of achieving high performance in terms of load transient, high PSR, good load and line regulation, while maintaining a low quiescent current and low dropout voltage for high efficiency, remains the key challenge in ALDO design. For operation with a low quiescent current, the bandwidth is reduced due to low transconductance, resulting in the limited gate driving capabilities in terms of charging and discharging the large gate capacitance of the pass or output transistor. In addition, the preference for system-on-chip design in the absence of large off-chip capacitors arises stability issues. In this paper, recent reported state-of-the-art architectures for ALDOs are revisited and reviewed. The performance of these ALDOs is compared and their applications are investigated.
Optimal elliptic regularity: a comparison between local and nonlocal equations

Given $L\geq 1$, we discuss the problem of determining the highest $\alpha=\alpha(L)$ such that any solution to a homogeneous elliptic equation in divergence form with ellipticity ratio bounded by $L$ is in $C^\alpha_{\rm loc}$. This problem can be formulated both in the classical and non-local framework. In the classical case it is known that $\alpha(L)\gtrsim {\rm exp}(-CL^\beta)$, for some $C, \beta\geq 1$ depending on the dimension $N\geq 3$. We show that in the non-local case, $\alpha(L)\gtrsim L^{-1-\delta}$ for all $\delta>0$.
Virtual Admittance Reshaping Based Input Current Phase Shift Suppression Method for Totem-Pole Bridgeless PFC Converter

Grid-side current phase shift (GCPS) is an important issue in totem-pole bridgeless power factor correction (TBPFC) converters. In this article, a virtual admittance reshaping based GCPS suppression method is proposed based on the establishment of the admittance model of the TBPFC converter including the EMI filter. The virtual admittance reshaping does not need additional current and voltage sensors and can realize complex admittance through a control algorithm. Thus, the current phase error can be adjusted to zero with the optimal design. The inherent admittance of the system is analyzed from the perspective of system frequency characteristics to extract leading-phase admittance. Then, the parallel admittance is produced through the inductance current for canceling it. The current reference and the modulation voltage are combined to realize obtaining the equivalent virtual admittance and meanwhile reduce the burden of the current regulator. The sensitivity of the system parameters is analyzed, and the saturation effect of the inductor and the error of the EMI filter parameters have little effect on admittance reshaping. Besides, the research method does not need to adjust parameters according to the load. The effectiveness of the proposed method is verified by experiments on a TBPFC converter platform.
A note on the jump locations of Markov processes

For a continuous-time Markov process, we characterize the law of the first jump location when started from an arbitrary initial distribution, in terms of the invariant distribution of an auxiliary Markov process. This could be of interest in the burgeoning fields of piecewise-deterministic Markov chain Monte Carlo methods and quasi-stationary Monte Carlo methods.
Invariant Measures, Hausdorff Dimension and Dimension Drop of some Harmonic Measures on Galton-Watson Trees

We consider infinite Galton-Watson trees without leaves together with i.i. d. random variables called marks on each of their vertices. We define a class of flow rules on marked Galton-Watson trees for which we are able, under some algebraic assumptions, to build explicit invariant measures. We apply this result, together with the ergodic theory on Galton-Watson trees developed by Lyons, Pemantle and Peres, to the computation of Hausdorff dimensions of harmonic measures in two cases. The first one is the harmonic measure of the (transient) $\lambda$-biased random walk on Galton-Watson trees, for which the invariant measure and the Hausdorff dimension were not explicitly known. The second case is a model of random walk on a Galton-Watson trees with random lengths for which we compute the Hausdorff dimensions and show dimension drop phenomenons for the natural metric on the boundary and another metric that depends on the random lengths.
Gas Dynamic Air Distribution for Post-Reaction Gas Afterburning in a Metallurgical Furnace

In the paper, the course of post-reaction gas afterburning generated during the metallurgical process where the reduction of metal and semi-metal oxides is performed with the use of carbon is presented. Process waste gases can be an alternative source of energy to be used in the same process or converted to another. The participation of chemical enthalpy in the total energy stream of the post-reaction gas is 93 %, the rest is physical enthalpy. In the study, particular attention was paid to the proper mixing of fuel and oxidizer and to maintaining an appropriate ratio of excess combustion air λa. The dynamics of the post-reaction gas combustion processes was calculated according to several popular models but the best results were obtained using the two-step mechanism with reaction constants according to Westbrook-Dryer.
Well-posedness of Stochastic Riccati Equations and Closed-Loop Solvability for Stochastic Linear Quadratic Optimal Control Problems

We study the closed-loop solvability of a stochastic linear quadratic optimal control problem for systems governed by stochastic evolution equations. This solvability is established by means of solvability of the corresponding Riccati equation, which is implied by the uniform convexity of the quadratic cost functional. At last, conditions ensuring the uniform convexity of the cost functional are discussed. 2010 Mathematics Subject Classification. 93E20, 49N10, 49N35.
Indonesian Journal of Electrical Engineering and Computer Science

Received May 14, 2022 Revised Sep 15, 2022 Accepted Sep 27, 2022 The variation of the parameters of the autonomous underwater robot (inertia, hydrodynamics), external disturbances, the non-linearity of the model to be controlled, and measurement errors due to the sensors are the factors that have a negative influence on the robot's trajectory following. Autonomous submarine. A control law that takes these different factors into account would be an adequate solution to this control problem. This work is a simulation study of some advanced control techniques for controlling the heading of an autonomous underwater robot. We have developed two robust command structures. One of them is based on the sliding-mode control, which is applied to the considered model. The other is based on the control of backstepping. Several simulation tests were done to see how the robot moved after the two control methods were used.
Flattop Modulation Technique for a Low-Device Count Single-Stage AC-DC DAB Converter to Improve Its Overall Efficiency

This article proposes a flattop modulation technique for a single-stage, single-phase bidirectional ac-dc dual-active-bridge (DAB) converter for achieving a flattopped DAB inductor current. The flattopped DAB inductor current has a low root mean square (rms) value, and it improves the soft-switching performance of the converter. The novelty of the proposed technique is that it guarantees flattopped DAB inductor current throughout the ac line cycle and has direct control over the ac current. In this technique, sinusoidal pulse width modulation (PWM) is performed at the ac side bridge for direct ac current control. Sinusoidal phase shift modulation is performed at the dc side to generate a bridge output voltage with a pulsewidth identical to the ac side bridge. The high-frequency (HF) transformer turns ratio is appropriately selected to match the voltages at the DAB inductor’s ends. Thereby, flattop DAB inductor current is achieved throughout the line cycle. The proposed modulation technique ensures a regulated dc bus at the ac side and provides a ripple-free ac current by interleaving. The operation of the converter under the flattop modulation technique is analyzed in detail, and parameter design guideline is provided. Experimental results from a 2-kW converter prototype support the theoretical claims.
Lift of Frobenius and Descent to Constants

In differential algebra, a proper scheme $X$ defined over an algebraically closed field $K$ with a derivation $\partial$ on it descends to the field of constants $K^\partial$ if $X$ itself lifts the derivation $\partial$. This is a result by A. Buium. Now in the arithmetic case, the notion of a derivation is replaced by the notion of a $\pi$-derivation $\delta$ or equivalently in the flat case, a lift of Frobenius $\phi$. If $B$ is a Dedekind domain of positive characteristic, $ \mathfrak{p} \in S:= \mbox{Spec } B$ is a closed point with finite residue field $k=B/\mathfrak{p}$ and $X$ is a proper integral scheme defined over $S$ with a lift of Frobenius $\phi$ on it, then one of our main results show that $X$ descends to $k$ after an etale base change $S' \rightarrow S$. This is an analogue of Buium's result in differential algebra. We prove our result by introducing an arithmetic analogue of Taylor expansion using Witt vectors.
Predicting Blood Glucose Concentration after Short-Acting Insulin Injection Using Discontinuous Injection Records

Diabetes is an increasingly common disease that poses an immense challenge to public health. Hyperglycemia is also a common complication in clinical patients in the intensive care unit, increasing the rate of infection and mortality. The accurate and real-time prediction of blood glucose concentrations after each short-acting insulin injection has great clinical significance and is the basis of all intelligent blood glucose control systems. Most previous prediction methods require long-term continuous blood glucose records from specific patients to train the prediction models, resulting in these methods not being used in clinical practice. In this study, we construct 13 deep neural networks with different architectures to atomically predict blood glucose concentrations after arbitrary independent insulin injections without requiring continuous historical records of any patient. Using our proposed models, the best root mean square error of the prediction results reaches 15.82 mg/dL, and 99.5% of the predictions are clinically acceptable, which is more accurate than previously proposed blood glucose prediction methods. Through the re-validation of the models, we demonstrate the clinical practicability and universal accuracy of our proposed prediction method.
Radical Production with Pulsed Beams: Understanding the Transition to FLASH

Ultra-high dose rate (UHDR) irradiation regimes have the potential to spare normal tissue while keeping equivalent tumoricidal capacity than conventional dose rate radiotherapy (CONV-RT). This has been called the FLASH effect. In this work, we present a new simulation framework aiming to study the production of radical species in water and biological media under different irradiation patterns. The chemical stage (heterogeneous phase) is based on a nonlinear reaction-diffusion model, implemented in GPU. After the first 1 μs, no further radical diffusion is assumed, and radical evolution may be simulated over long periods of hundreds of seconds. Our approach was first validated against previous results in the literature and then employed to assess the influence of different temporal microstructures of dose deposition in the expected biological damage. The variation of the Normal Tissue Complication Probability (NTCP), assuming the model of Labarbe et al., where the integral of the peroxyl radical concentration over time (AUC-ROO) is taken as surrogate for biological damage, is presented for different intra-pulse dose rate and pulse frequency configurations, relevant in the clinical scenario. These simulations yield that overall, mean dose rate and the dose per pulse are the best predictors of biological effects at UHDR.
On the consistency of P = NP with fragments of ZFC whose own consistency strength can be measured by an ordinal assignment. ∗

We formulate the P < NP hypothesis in the case of the satisfiability problem as a � 0 sentence, out of which we can construct a partial recursive function f¬A so that f¬A is total if and only if P < NP. We then show that if f¬A is total, then it isn’t T –provably total (where T is a fragment of ZFC that adequately extends PA and whose consistency is of ordinal order). Follows that the negation of P < NP, that is, P = NP, is consistent with those T .
Noncausal FIR Zames-Falb Multiplier Search for Exponential Convergence Rate

In the existing literature, there are two approaches to estimate tighter bounds of the exponential convergence rate of stable Lure systems. On one hand, the classical integral quadratic constraint (IQC) framework can be applied under loop-transformation, so the stability of the new loop implies the convergence of the original loop. On the other hand, it is possible to modify the IQC framework, the so-called rho-IQC framework, in such a way that the convergence rate is directly obtained over the original loop. In this technical note, we extend the literature results from the search for a causal finite impulse response (FIR) Zames-Falb multiplier to the noncausal case. We show that the multipliers by the two approaches are equivalent by a change of variable. However, the factorisation of the Zames-Falb rho-IQC is restricted compared to the Zames-Falb IQC, so an unified factorisation is proposed. Finally, numerical examples illustrate that noncausal multipliers lead to less-conservative results.
Abandoning ‘a Lifetime of Habits’ to Avoid the ‘Sins of the Past’

While many studies have identified the problem of reproducing small institutions in community settings, few have explored why. This article explores how staff preserve and defend institutionalised beliefs and practices in community settings. We apply the concepts of disruptive and defensive institutional work to analyse the findings of qualitative interviews at six Irish residential institutions that were identified as priority sites for a national de-congregation programme. Reflecting on their roles, staff conceptualised their practices as historical, traditional, and reflective of a bygone era. However, the findings indicate that it would be misleading to represent institutional practices as relics of the past. The programme offered an olive branch for staff members who wanted to distance themselves from a ‘lifetime of habits’ and ‘sins of the past’.
Minimally processed fruits with added probiotics: A review

Probiotics can be like microorganisms that, when used for the health of living animals, confer health benefits. Probiotics are well known and well accepted by consumers, but they are mainly in dairy products, being a barrier to consumers who are lactose intolerant or allergic to milk proteins. In this sense, plant matrices are suitable to host probiotic microorganisms to increase the functional characteristics of minimally processed vegetables. In this way, this work reviews the main studies that show the potential of adding probiotics to minimally processed fruits. In addition, different ways of adding probiotics to plant matrices are discussed. In parallel, the review presents the viability of probiotics in minimally processed fruits, the challenges encountered and the best strategy for the incorporation of these microorganisms into plant matrices. Available research indicates that the intrinsic properties of vegetables contribute to an effective association of probiotics. Therefore, the possibility of using these matrices as carriers of probiotic strains is an opportunity to provide consumers with new probiotic foods that can be part of a varied diet, ensuring a regular intake of these microorganisms.
Laguerre and Jacobi analogues of the Warren process

We define Laguerre and Jacobi analogues of the Warren process. That is, we construct local dynamics on a triangular array of particles so that the projections to each level recover the Laguerre and Jacobi eigenvalue processes of Konig-O'Connell and Doumerc and the fixed time distributions recover the joint distribution of eigenvalues in multilevel Laguerre and Jacobi random matrix ensembles. Our techniques extend and generalize the framework of intertwining diffusions developed by Pal-Shkolnikov. One consequence is the construction of particle systems with local interactions whose fixed time distribution recovers the hard edge of random matrix theory. An appendix by Andrey Sarantsev establishes strong existence and uniqueness for solutions to SDER's satisfied by these processes.
The Dirac equation in an external electromagnetic field: symmetry algebra and exact integration

Integration of the Dirac equation with an external electromagnetic field is explored in the framework of the method of separation of variables and of the method of noncommutative integration. We have found a new type of solutions that are not obtained by separation of variables for several external electromagnetic fields. We have considered an example of crossed electric and magnetic fields of a special type for which the Dirac equation admits a nonlocal symmetry operator.
Atmospheric Turbulence and Fog Attenuation Effects in Controlled Environment FSO Communication Links

Free-space optical (FSO) communication can be seen as a promising technology for point-to-point and back-hauling links in the next generation wireless networks (5G and beyond) where cell size may shrink to a few hundred meters. In this work, we have experimentally investigated the laser beam propagation for FSO link under atmospheric turbulence and fog conditions. A controlled atmospheric environment chamber is designed to perform experiments under varying channel conditions. For fog attenuation, we have proposed an empirical model as a function of visibility against the measured average values, for visibility range of <inline-formula> <tex-math notation="LaTeX">$0\leq V \leq1000$ </tex-math></inline-formula> m. For atmospheric turbulence, we report the measured values of the refractive index structure parameter <inline-formula> <tex-math notation="LaTeX">$C_{n}^{2}$ </tex-math></inline-formula>. The measured <inline-formula> <tex-math notation="LaTeX">$C_{n}^{2}$ </tex-math></inline-formula> is used to calculate the atmospheric coherence width along the propagation distance. This work would help in the design optimization of practical FSO links under adverse conditions like fog and atmospheric turbulence.
Complete mitochondrial genome of little ringed plover Charadrius dubius (Charadriiformes, Charadriidae)

Abstract This study encoded the complete mitochondrial genomic sequence of the little ringed plover Charadrius dubius. The mitochondrial genome has a total length of 16,864 bp, consisting of 13 protein-coding genes, 22 tRNA genes, two rRNA genes, and a control region. The nucleotide composition was 23.8% T, 31.6% A, 30.8% C, and 13.8% G. This study provides the basic information on the mitogenome of C. dubius and supports the understanding of mitogenomic information and its phylogenetic relationship within Charadriiformes.
Lifting irreducible Galois representations

We study irreducible mod p representations, valued in general reductive groups, of the Galois group of a number field. When the number field is totally real, we show that odd representations satisfying local ramification hypotheses and a certain multiplicity-free condition on the adjoint representation admit geometric lifts. For general number fields, we show without any oddness or multiplicity condition that the representation admits a p-adic lift if it does everywhere locally.
Mather-Jacobian singularities under generic linkage

In this paper, we prove that Mather-Jacobian (MJ) singularities are preserved under the process of generic linkage. More precisely, let $X$ be a variety with MJ-canonical (resp. MJ-log canonical) singularities. Then a generic link of $X$ is also MJ-canonical (resp. MJ-log canonical).