Miracle-dz/UniFAR-FTUs huggingface dataset:
Wireless Cerebral Blood Flow Monitoring System Based on Inductance Sensing Technology

Ischemic stroke is one of the important causes of neurological morbidity and mortality. After ischemic stroke occurs, blood perfusion is decreased. Timely restoration of blood flow to ischemic brain tissue is the key to treatment. In this paper, a wireless cerebral blood flow (CBF) monitoring system based on inductive sensing technology is proposed, which collects CBF data through CBF sensor and LDC1612 EVM module. The STM32F103C8T6 microcontroller and ATK-ESP8266WiFi module wirelessly transmits CBF data to the host computer for real-time display. Physical experiment was designed to explore the monitoring range and depth of the system, analyze the amplitude information of the periodic beat signal. To verify the feasibility of the wireless CBF monitoring system based on inductive sensing technology to monitor CBF. The results of physical experiments show that the system introduced in this paper can monitor the pulse signal of CBF at medium depth. The wireless CBF monitoring system based on inductive sensing technology has been preliminarily verified to be able to monitor the pulse signal of CBF. Interference caused by wired is avoided. It is expected to achieve real-time continuous monitoring of CBF in patients with ischemic stroke, assisting diagnosis and treatment.
Slots-fed low-height omnidirectional cylindrical dielectric resonator antenna

A slots-fed low-height omnidirectional cylindrical dielectric resonator antenna (DRA) is proposed in this paper. The cylindrical DRA is simply excited by four rectangular slots perpendicular to the radial direction, which is designed for 5.8-GHz WLAN applications. It is found that the proposed DRA has a height of 1. 18λ0, which increase its application scope.
Improving Sample Efficiency of Example-Guided Deep Reinforcement Learning for Bipedal Walking

Reinforcement learning holds a great promise of enabling bipedal walking in humanoid robots. However, despite encouraging recent results, training still requires significant amounts of time and resources, precluding fast iteration cycles of the control development. Therefore, faster training methods are needed. In this paper, we investigate a number of techniques for improving sample efficiency of on-policy actor-critic algorithms and show that a significant reduction in training time is achievable with a few straightforward modifications of the common algorithms, such as PPO and DeepMimic, tailored specifically towards the problem of bipedal walking. Action space representation, symmetry prior induction, and cliprange scheduling proved effective at reducing sample complexity by a factor of 4.5. These results indicate that domain-specific knowledge can be readily utilized to reduce training times and thereby enable faster development cycles in challenging robotic applications.
Multi-Day Stochastic Scheduling of Electric Vehicle Charging for Reliability and Convenience

Electric Vehicles (EVs) are on the rise. As users, however, struggle to plan and conveniently integrate EV charging stops into their daily routines, they perceive a limitation of their individual mobility. In the present paper, we aim to reliably and conveniently schedule EV charging stops without limiting users’ mobility. To capture random user behavior, we use graph-based scenario generation and user-individual mobility predictions. Stochastic mixed-integer programming then helps to compute the desired charging schedule for multiple days. For validation, we use a Monte Carlo simulation and comparison with two heuristic strategies. We prove that a sufficient battery reserve for all daily mobility requirements can be ensured. Compared with heuristic strategies, plug-in events, battery calendar aging and energy costs can be significantly reduced.
Bounds for the ruin probability under a markovian modulated risk model

In this paper, generalized bounds are developed for the ruin probability under a Markovian modulated risk model. First, lower and upper bounds in terms of NBU and NWU type distributions or functions are obtained which includes the exponential bound as a special case when the Cramer Condition is satisfied. The technique used here is a combination of the conjugation idea, the Markov renewal theorem and the induction method. Then, a numerical iteration method is proposed for obtaining tightened monotone bounds by using the developed lower and upper bounds. Finally, improved bounds are obtained in terms of the ladder height distribution and an example is used for illustration
Impact of battery cell imbalance on the voltage behavior of commercial Ni-MH EV/HEV battery modules

Electric and hybrid-electric vehicles’ (EV/HEV) battery packs typically are composed of hundreds of single battery cells, which are usually grouped in modules and installed in a pack to collectively power EV/HEV. Due to nonidentical characteristics of battery cells, the imbalance of cell voltage, cell capacity and state of charge (SOC) could potentially lead to over-charge or over-discharge batteries, which may shorten the lifetime of the whole on-board battery pack. In this research, we used a commercial Ni-MH battery module from a hybrid Honda Insight/Civic to investigate the influence of cell imbalance on the battery cell SOC and voltage behavior. A series of experiments were designed and carried out to explore the impact of different cell arrangements and operation conditions. Experimental results indicated that the degraded cells could directly reduce the module output performance. It is found that battery cells would take longer time to stabilize their working voltage in the charge-discharge operation when they were connected to the degraded cells. It was also found that cell imbalance could not only influence the SOC of healthy cells, but also significantly reduce the capacity utilization efficiency of the whole battery module.
Enhancing DNN-Based Binary Code Function Search With Low-Cost Equivalence Checking

Binary code function search has been used as the core basis of various security and software engineering applications, including malware clustering, code clone detection, and vulnerability audits. Recognizing logically similar assembly functions, however, remains a challenge. Most binary code search tools rely on program structure-level information, such as control flow and data flow graphs, that is extracted using program analysis techniques or deep neural networks (DNNs). However, DNN-based techniques capture lexical-, control structure-, or data flow-level information of binary code for representation learning, which is often too coarse-grained and does not accurately denote program functionality. Additionally, it may exhibit low robustness to a variety of challenging settings, such as compiler optimizations and obfuscations. This paper proposes a general solution for enhancing the top-<inline-formula><tex-math notation="LaTeX">$k$</tex-math><alternatives><mml:math><mml:mi>k</mml:mi></mml:math><inline-graphic xlink:href="wang-ieq1-3149240.gif"/></alternatives></inline-formula> ranked candidates in DNN-based binary code function search. The key idea is to design a low-cost and comprehensive equivalence check that quickly exposes functionality deviations between the target function and its top-<inline-formula><tex-math notation="LaTeX">$k$</tex-math><alternatives><mml:math><mml:mi>k</mml:mi></mml:math><inline-graphic xlink:href="wang-ieq2-3149240.gif"/></alternatives></inline-formula> matched functions. Functions that fail this equivalence check can be shaved from the top-<inline-formula><tex-math notation="LaTeX">$k$</tex-math><alternatives><mml:math><mml:mi>k</mml:mi></mml:math><inline-graphic xlink:href="wang-ieq3-3149240.gif"/></alternatives></inline-formula> list, and functions that pass the check can be revisited to move ahead on the top-<inline-formula><tex-math notation="LaTeX">$k$</tex-math><alternatives><mml:math><mml:mi>k</mml:mi></mml:math><inline-graphic xlink:href="wang-ieq4-3149240.gif"/></alternatives></inline-formula> ranked candidates, in a deliberate way. We design a practical and efficient equivalence check, named <monospace>BinUSE</monospace>, using <italic>under-constrained</italic> symbolic execution (USE). USE, a variant of symbolic execution, improves scalability by initiating symbolic execution directly from function entry points and relaxing constraints on function parameters. It eliminates the overhead incurred by path explosion and costly constraints. <monospace>BinUSE</monospace> is specifically designed to deliver an assembly function-level equivalence check, enhancing DNN-based binary code search by reducing its false alarms with low cost. Our evaluation shows that <monospace>BinUSE</monospace> can enable a general and effective enhancement of four state-of-the-art DNN-based binary code search tools when confronted with challenges posed by different compilers, optimizations, obfuscations, and architectures.
Running Trajectory Generation Including Gait Transition between Walking Based on the Time-Varying Linear Inverted Pendulum Mode

This paper presents a novel running trajectory generation method for humanoid robots based on the time-varying linear inverted pendulum mode (LIPM). Vertical motion of the CoM, which is crucial for both steady-state running and transitions between walking and running, can be generated by simply optimizing the stiffness parameter of the LIPM during each contact phase. Since our method is a natural extension of walking trajectory generation method based on the conventional LIPM, it is capable of realizing natural and seamless gait transition between walking and running. Moreover, since the proposed method makes use of closed-form solutions of the LIPM, it is more computationally efficient than existing methods based on time-discretization with a fixed time step. Several simulations are performed to evaluate the efficiency of our method.
Stellar model chromospheres. VI - Empirical estimates of the chromospheric radiative losses of late-type stars

We develop a method for estimating the nonradiative heating of stellar chromospheres by measuring the net radiative losses in strong Fraunhofer line cores. This method is then applied to observations of the Mg II resonance lines in a sample of 32 stars including the Sun. We find at most a small dependence of chromospheric nonradiative heating on stellar surface gravity, contrary to the large effect predicted by recent calculations based on acoustic heating theories.
A Study on the Influence of Task Dependent Anthropomorphic Grasping Poses for Everyday Objects

Robots using anthropomorphic hands and pros-thesis grasping applications frequently rely on a corpus of labeled images for training a learning model that predicts a suitable grasping pose for grasping an object. However, factors such as an object's physical properties, the intended task, and the environment influence the choice of a suitable grasping pose. As a result, the annotation of such images introduces a level of complexity by itself, therefore making it challenging to establish a systematic labeling approach. This paper presents three crowdsourcing studies that focus on collecting task-dependent grasp pose labels for one hundred everyday objects. Finally, we report on our investigations regarding the influence of task-dependence on the choice of a grasping pose and make our collected data available in the form of a dataset.
Residual Disease Threshold After Primary Surgical Treatment for Advanced Epithelial Ovarian Cancer, Part 1: A Systematic Review and Network Meta-Analysis

Background: We present a systematic review and network meta-analysis (NMA) that is the precursor underpinning the Bayesian analyses that adjust for publication bias, presented in the same edition in AJT. The review assesses optimal cytoreduction for women undergoing primary advanced epithelial ovarian cancer (EOC) surgery. Areas of Uncertainty: To assess the impact of residual disease (RD) after primary debulking surgery in women with advanced EOC. This review explores the impact of leaving varying levels of primary debulking surgery. Data Sources: We conducted a systematic review and random-effects NMA for overall survival (OS) to incorporate direct and indirect estimates of RD thresholds, including concurrent comparative, retrospective studies of ≥100 adult women (18+ years) with surgically staged advanced EOC (FIGO stage III/IV) who had confirmed histological diagnoses of ovarian cancer. Pairwise meta-analyses of all directly compared RD thresholds was previously performed before conducting this NMA, and the statistical heterogeneity of studies within each comparison was evaluated using recommended methods. Therapeutic Advances: Twenty-five studies (n = 20,927) were included. Analyses demonstrated the prognostic importance of complete cytoreduction to no macroscopic residual disease (NMRD), with a hazard ratio for OS of 2.0 (95% confidence interval, 1.8–2.2) for <1 cm RD threshold versus NMRD. NMRD was associated with prolonged survival across all RD thresholds. Leaving NMRD was predicted to provide longest survival (probability of being best = 99%). The results were robust to sensitivity analysis including only those studies that adjusted for extent of disease at primary surgery (hazard ratio 2.3, 95% confidence interval, 1.9–2.6). The overall certainty of evidence was moderate and statistical adjustment of effect estimates in included studies minimized bias. Conclusions: The results confirm a strong association between complete cytoreduction to NMRD and improved OS. The NMA approach forms part of the methods guidance underpinning policy making in many jurisdictions. Our analyses present an extension to the previous work in this area.
L183 (L134N) revisited. III. The gas depletion

We present a detailed study of the gas depletion in L183 (= L134N) for a set of important species, namely, CO, CS, SO, N_2H+ and NH_3. We show that all these species are depleted at some level. This level seems to depend mostly on a density threshold rather than on dust opacity. Therefore UV shielding would not be a main factor in the triggering of depletion. Our data suggest that CO, CS and SO depletion happen at densities of ˜3 × 104 cm-3, while N_2H+b and NH_3 seem to deplete at densities close to 106 cm-3. The latter result is consistent with the Bergin & Langer (\cite{Bergin97}, ApJ, 486, 316) polar (H_2O) ice case but not with the more recent models of Aikawa et al. (\cite{Aikawa03}, ApJ, 593, 906). CS depletion occurs much below its (J:2-1)b critical density, (7 × 105 cm-3) and therefore makes this species unsuitable to study the density structure of many dark cloud cores. Based on observations made with the CFHT, the Iram 30-m and the ARO 12-m (formerly NRAO 12-m). Appendix A is only available in electronic form at http://www.edpsciences. org
Averaging analysis of a point process adaptive algorithm

Motivated by a problem in neural encoding, we introduce an adaptive (or real-time) parameter estimation algorithm driven by a counting process. Despite the long history of adaptive algorithms, this kind of algorithm is relatively new. We develop a finite-time averaging analysis which is nonstandard partly because of the point process setting and partly because we have sought to avoid requiring mixing conditions. This is significant since mixing conditions often place restrictive history-dependent requirements on algorithm convergence.
THE PECULIAR CEPHEID FN Aql

We draw attention to the singularly peculiar photometric properties of the 9.5-day Cepheid FN Aql. An initial study of its color–color plots shows an unusually wide trajectory in the (U − B)–(B − V) diagnostic plane. A closer investigation reveals that the photometric residuals around fits to the individual mean light curves are highly correlated, decreasing in amplitude as a function of increasing wavelength. That correlation and trend suggest time-variable dust extinction; however, the grain properties must be different from the general interstellar medium. FN Aql is an IRAS source and also appears in the proto–planetary nebulae candidate in the 1989 listing of Volk & Kwok. The source of the changing extinction is probably localized and intrinsic to the Cepheid itself, possibly a wind. Further photometric studies of this peculiar Cepheid are recommended.
I‐band time‐series observations of five bright ultracool dwarfs

Seventy hours of charge-coupled device photometry of four L dwarfs and one T dwarf are described. Observations of three of the L dwarfs showed good evidence for variability: periods of 6.9, 2.9 and 3.1 h were tentatively identified in the observations of 2M 0451-3402, SSSPM 0829-1309 and 2M 0835-0819, respectively.
Predictor/corrector co‐simulation approaches for solver coupling with algebraic constraints

In the paper at hand, co‐simulation approaches are analyzed for coupling two solvers. The solvers are assumed to be coupled by algebraic constraint equations. We discuss 2 different coupling methods. Both methods are semi‐implicit, i.e. they are based on a predictor/corrector approach. Method 1 makes use of the well‐known Baumgarte‐stabilization technique. Method 2 is based on a weighted multiplier approach. For both methods, we investigate formulations on index‐3, index‐2 and index‐1 level and analyze the convergence, the numerical stability and the numerical error. The presented approaches require Jacobian matrices. Since only partial derivatives with respect to the coupling variables are needed, calculation of the Jacobian matrices may very easily be calculated numerically and in parallel with the predictor step. For that reason, the presented methods can in a straightforward manner be applied to couple commercial simulation tools without full solver access. The only requirement on the subsystem solvers is that the macro‐time step can be repeated once in order to accomplish the corrector step. Within the paper, we introduce methods for coupling mechanical systems. The presented approaches can, however, also be applied to couple arbitrary non‐mechanical dynamical systems.
A Level Set Method for Analysis of Film Boiling on an Immersed Solid Surface

A numerical method is presented for simulating film boiling on an immersed (or irregularly shaped) solid surface. The level set formulation for tracking the phase interfaces is modified to include the effect of phase change at the liquid–vapor interface and to treat the no-slip condition at the fluid–solid interface. The boundary or matching conditions at the phase interfaces are accurately imposed by incorporating the ghost fluid approach based on a sharp-interface representation. The numerical method is tested through computations of bubble rise in a stationary liquid, single-phase fluid flow past a circular cylinder, and film boiling on a horizontal cylinder.
Image analysis algorithms for critically sampled curvature wavefront sensor images in the presence of large intrinsic aberrations

This paper describes the image analysis algorithm developed for VISTA to recover wavefront information from curvature wave front sensor images. This technique is particularly suitable in situations where the defocused images have a limited number of pixels and the intrinsic or null aberrations contribute significantly to distort the images. The algorithm implements the simplex method of Nelder and Mead. The simplex algorithm generates trial wavefront coefficients that are fed into a ray tracing algorithm which in turn produces a pair of defocused images. These trial defocused images are then compared against the images obtained from a sensor, using a fitness function. The value returned from the fitness function is fed back to the simplex algorithm, which then decides how the next set of trial coefficients is produced.
SELF-ASSEMBLED INSB QUANTUM DOTS GROWN ON GASB : A PHOTOLUMINESCENCE, MAGNETOLUMINESCENCE, AND ATOMIC FORCE MICROSCOPY STUDY

We report a study of self-assembled quantum dots (QDs) of InSb embedded in a GaSb matrix grown by metalorganic vapor phase deposition. Growth temperatures and deposition times have been optimized for maximal photoluminescence peak intensities. Photoluminescence (PL), magneto-PL, and atomic force microscopy (AFM) have been performed to estimate the size of the QDs. The quantum dots luminesce in the midinfrared at around 0.73 eV. The application of magnetic fields up to 15 T both parallel and perpendicular to the growth direction enhanced the wetting layer and bulk PL intensity and enabled an estimate to be made of the QD height and widths as 2–4 and 20–30 nm, respectively. These sizes were confirmed by AFM.
On Finite Sidon Sequences

Abstract A set A of integers is called a Bh-sequence if all sums a1 + · · · + ah, where ai ∈ A, are distinct up to rearrangement of the summands. Let Fh(n) (resp. ƒh(n)) denote the size of a largest Bh-sequence (resp. Bh-sequence for Z/(n)). It is proved that, for every r ≥ 1 as n → ∞, F2r(n) ≤ r1/(2r)(r! )1/rn1/(2r) + O(n1/(4r)). Some open problems concerning Bh-sequences are also discussed in this paper.
Simulation and in-plane movement characterization of 2D MEMS platform

In the paper, we present design, numerical modeling and measurement results of silicon X-Y movable platform dedicated for miniaturized microinterferometric sensor based on grating interferometry. The structure fabricated with double-side DRIE of SOI wafer, provides independent movement in x and y directions in the distance of ±35 μm with driving voltage upto 150 V . The presented microstructure has 160 nm deep diffraction grating integrated on its surface. Small, static movement of the structure, with nanometric resolution, in direction perpendicular to the grating lines, provides phase shifting of two conjugated interfering beams. Optimization of the structure driving in order to achieve maximum movement resolution is covered in details. The in-plane displacements of the structure is characterized with common correlation method that needs no markers imprinted on its surface. Resolution of the method depends on the microscopic imaging system. The performance of the method is presented on the example of various steering modes of the platform, covering parabolic and linear displacement(voltage) characteristics.
Localised canting models for substituted magnetic oxides

A free energy formulation of localised canting in substituted magnetic oxides is described. In contrast with earlier attempts at mathematical formulations of localised canting, quantities which may be replaced by average values and those which must be considered on a site-to-site statistical basis are clearly delineated. In addition, the use of local canting to determine average split-sublattice molecular-field directions is done in an iterative self-consistent manner. The theoretical curves of magnetisation versus level of non-magnetic substituent are somewhat rounded, compared with the linear dependences which result from the Yafet-Kittel model. For a given ratio of exchange parameters, canting commences at somewhat lower substituent levels than from the Yafet-Kittel model. Comparisons with experimental magnetisation data for YIG with Ge, Si, Zr, and Sc substitutions and for Li-Zn ferrite indicate several things: (a) no single exchange parameter can provide a good theoretical fit to the data for a given system over the full range of substitution; (b) the theoretical curves, when fitted to the data, indicate a decrease in the inter- to intrasublattice exchange integral ratio for large substitutions where canting effects become pronounced; (c) the fits, when based on the assumption of a randomly split sublattice and equal intra- and intersublattice interactions for the two parts of the split sublattice, are consistent with reported exchange constant ratios for the unsubstituted oxides.