Miracle-dz/UniFAR-FTUs huggingface dataset:
$q$-Bernoulli Numbers and Polynomials Associated with Multiple $q$-Zeta Functions and Basic $L$-series

By using $q$-Volkenborn integration and uniform differentiable on $\mathbb{Z}%_{p}$, we construct $p$-adic $q$-zeta functions. These functions interpolate the $q$-Bernoulli numbers and polynomials. The value of $p$-adic $q$-zeta functions at negative integers are given explicitly. We also define new generating functions of $q$-Bernoulli numbers and polynomials. By using these functions, we prove analytic continuation of some basic (or $q$-) $L$% -series. These generating functions also interpolate Barnes' type Changhee $% q $-Bernoulli numbers with attached to Dirichlet character as well. By applying Mellin transformation, we obtain relations between Barnes' type $q$% -zeta function and new Barnes' type Changhee $q$-Bernolli numbers. Furthermore, we construct the Dirichlet type Changhee (or $q$-) $L$% -functions.
Chinese Difference and Deservingness

Each year, approximately 1,500 youth migrate alone and clandestinely from China to the United States. If apprehended and placed in removal proceedings, these individuals and their legal advocates often prioritize specific narratives of family and age to qualify for legal relief. Such narratives are not new, of course. Shaped and arguably demanded by the law and broader ideologies of race, childhood, and citizenship, in many ways these accounts reflect both the intent and the constraints of an earlier subset of migrants, the Chinese “paper sons” who purchased family stories and identity papers to circumvent the Chinese Exclusion Act. Yet, as this article demonstrates, a meaningful divergence exists—one chiefly dependent on contemporary migrants’ status as “children. ” For Chinese youth designated Unaccompanied Alien Children, establishing the vulnerability worthy of protection largely relies on a complex tale of cultural obligation and coercive, exploitative parents. As a result, instead of selecting one family over another as a century ago, today a specific and considerably more damaging image of the migrant’s family is put forth. Moving between the “paper sons” at the start of the 20th century and those daughters and sons at the end, this article critically explores the role that relatedness, either fictitious or filtered, plays in establishing legal relief in the United States. It likewise examines the unsettling of valued ties that occurs when actual, intimate relationships are silenced or diminished in the process.
Modeling of Booth Radix-4 Floating Point Multiplier for VLSI Designer ’ s Library

Floating point arithmetic computation has been widely used today in graphics, digital signal processing, image processing and other applications. Multiplication is the most complex calculation that used in most digital electronic circuit. The multiplier may have large chip area density, high complexity, and is a time consuming computation because the output data size is twice larger than input data size. Complex floating point multiplication required more time to process data and is highly recommended to improve the computation speed. The performance in terms of computation and processing speed is one of the major factors in today’s Very/Ultra Large Scale Integration (VLSI/ULSI) system design. The objective of this research is to design a 32-bit floating point multiplier for Very high speed integrated circuit Hardware Description Language (VHDL) designer’s library that consists of mantissas multiplier, normalizer, exponent adder, and signer for VHDL designer’s library that lack of floating point multiplier module. Booth radix-4 algorithm is used in the multiplier, mainly due to the simplicity of this algorithm to be modeled using VHDL and at the same time it provides good performance. The 32-bit floating point multiplier is tested on Arria II GX chip to determine their performance in terms of slack, maximum frequency and minimum clock period by using TimeQuest Timing Analyzer. Booth radix-4 multiplier in Arria II GX (EP2AGX45CU17I3) produces a maximum frequency of 206.14 MHz and minimum allowed clock period of 5 ns. Benchmarking has been carried out between the Booth radix-4 and Wallace Tree multipliers, since Wallace Tree multiplier can provide better performance to the VLSI system design. The resource consumption of Booth radix-4 multiplier is 88.8% less than the Wallace Tree multiplier and the performance of Booth radix-4 multiplier is almost equal to the Wallace Tree multiplier. Key-Words: VHDL, Booth Radix-4, Floating Point Multiplier
Web mining driven object locality knowledge acquisition for efficient robot behavior

As an important information resource, visual perception has been widely employed for various indoor mobile robots. The common-sense knowledge about object locality (CSOL), e.g. a cup is usually located on the table top rather than on the floor and vice versa for a trash bin, is a very helpful context information for a robotic visual search task. In this paper, we propose an online knowledge acquisition mechanism for discovering CSOL, thereby facilitating a more efficient and robust robotic visual search. The proposed mechanism is able to create conceptual knowledge with the information acquired from the largest and the most diverse medium - the Internet. Experiments using an indoor mobile robot demonstrate the efficiency of our approach as well as reliability of goal-directed robot behaviour.
An Approximate Quadratic Analysis for Fixture Locating Schemes

The linearized point-kinematic fixture model only includes thefirst orderpropertyof the contactsurface, and onlytakes into account of the locator error along the surface normal. Thus the fixture inaccuracy resulting from the surface geometric properties is ignored. In view of this and the difficulty to construct a more sophisticated locating error evaluating schemefromthe exactsurface geometryequation,this paper presents a method to analyze the workpiece locating error resulted from the locators’ error along the contact surface. The method is originated from the understanding that the locater error along the contact surface changes not the input of the model, but the structure of it. A further theoretical explanation on how the curvature and other higher order properties affect the workpiece locating error is also presented. The numerical example shows that the error estimated with this method approximates the exact error well.
Beamforming utilizing channel norm feedback in multiuser mimo systems

The problem of beamforming and rate estimation in a multi-user downlink multiple-input multiple-output (MIMO) system with limited feedback and statistical channel information at the transmitter is considered. In order to exploit the spatial properties of the channel, the norm of the channel to each receive antenna is computed. We propose to feed back the largest norm to the transmitter and derive the conditional second and fourth order channel moments in order to design the downlink beamforming weights. Similar approaches have previously been presented for multiuser multiple-input single-output (MISO) systems. Herein, these techniques are generalized to MIMO systems, by either antenna selection or receive beamforming at the receiver. Two eigenbeamform- ing strategies are proposed and shown to outperform opportunistic beamforming, based on similar feedback information.
Monitoring with uncertainty

We discuss the problem of runtime verification of an instrumented program that misses to emit and to monitor some events. These gaps can occur when a monitoring overhead control mechanism is introduced to disable the monitor of an application with real-time constraints. We show how to use statistical models to learn the application behavior and to "fill in" the introduced gaps. Finally, we present and discuss some techniques developed in the last three years to estimate the probability that a property of interest is violated in the presence of an incomplete trace.
A Case for a Uniform Mechanism for Variability Management

Having set up reusable core assets for a software Product Line (SPL), it is a common practice to apply variation mechanisms to manage variant features. As each variation mechanism can handle only certain type of variability, multiple variation mechanisms are often employed, such as conditional compilation, configuration parameters or build tools. Our earlier study of an SPL at Fudan Wingsoft Ltd revealed potential scalability problems of multiple variation mechanisms. As a product line grows, it becomes increasingly difficult to understand features that affect many core assets, at many variation points, and to coordinate changes required at multiple variation points. As a remedy to the above problems, in the follow-up study we replaced variation mechanisms originally used in the Fudan Wingsoft product line, with a single, uniform variation mechanism of XVCL. This paper provides a proof-of-concept that commonly used variation mechanisms can indeed be superseded by a subset of XVCL, in a simple and natural way. We describe the essence of XVCL solution, and evaluate the benefits and trade-offs involved in replacing multiple variation mechanisms with uniform one.
Design, Fabrication, and Experimental Validation of Novel Flexible Silicon-Based Dry Sensors for Electroencephalography Signal Measurements

Many commercially available electroencephalography (EEG) sensors, including conventional wet and dry sensors, can cause skin irritation and user discomfort owing to the foreign material. The EEG products, especially sensors, highly prioritize the comfort level during devices wear. To overcome these drawbacks for EEG sensors, this paper designs Societe Generale de Surveillance S · A · (SGS)-certified, silicon-based dry-contact EEG sensors (SBDSs) for EEG signal measurements. According to the SGS testing report, SBDSs extract does not irritate skin or induce noncytotoxic effects on L929 cells according to ISO10993-5. The SBDS is also lightweight, flexible, and nonirritating to the skin, as well as capable of easily fitting to scalps without any skin preparation or use of a conductive gel. For forehead and hairy sites, EEG signals can be measured reliably with the designed SBDSs. In particular, for EEG signal measurements at hairy sites, the acicular and flexible design of SBDS can push the hair aside to achieve satisfactory scalp contact, as well as maintain low skin-electrode interface impedance. Results of this paper demonstrate that the proposed sensors perform well in the EEG measurements and are feasible for practical applications.
Send Orders of Reprints at Reprints@benthamscience.net Impact of Blood Cultures on the Changes of Treatment in Hospitalized Patients with Community-acquired Pneumonia

[1]: Background: Initial blood cultures (BCs) with severe community-acquired pneumonia (CAP) are warranted. However, other than severity, the specific contributing factors that affect the decision to change antimicrobial agents have not been evaluated previously. Methods: Consecutive adults with CAP hospitalized between January 2008 and December 2010 were assessed retrospectively. We enrolled those who were over 18 years old with typical symptoms of pneumonia and with an infiltrate consistent with pneumonia, from which 2 sets of BCs were obtained. Those who had been immunocompromised, hospitalized, or prescribed antibiotics in the past 30 days were excluded. We retrospectively assessed the factors contributing to the change in antimicrobial agents as well as the frequency of these changes in the enrolled patients based on the initial BC results. Results: In total, 793 patients with initial diagnosis of CAP were admitted; 399 met the inclusion criteria. Among them, 386 were made definitive diagnosis of CAP after admission (the remaining 13 were made alternative diagnosis [non-pneumonia illnesses]). BC results were positive in 17 (4.4%) out of 386 CAP patients, among whom antimicrobial therapy was changed based on the BC results in 8 (2.1%) (Pneumonia Severity Index [PSI] grade IV; 2, PSI grade V; 6). Alternative diagnosis after admission was contributing factors for changing antimicrobial agents based on the positive blood culture results. Conclusions: The use of BCs should be limited to patients with very severe cases. It would be helpful to find alternative diagnosis and modify treatment.
Spectroscopy of horizontal branch stars in NGC 6752 - Anomalous results on atmospheric parameters and masses

Context. The determination of fundamental parameters for horizontal branch stars in Galactic globular clusters frequently gives puzzling results, pointing to the lack of our understanding of their atmospheric structure and the inadequate approximations by the models. Aims. We wanted to measure effective temperatures, surface gravities, helium abundances, and masses for hot horizontal branch stars in NGC 6752 in order to compare the results with evolutionary predictions. Methods. We used the ESO VLT-FORS2 facility to collect low-resolution spectra of 51 targets distributed along the horizontal branch. We determined atmospheric parameters, by comparison with theoretical models through standard fitting routines, and masses by basic equations. Results. Results generally agree with previous works, although not always with the theoretical expectations for cooler stars (Teff ≤ 15 000 K). The calculated color excess is systematically lower than the literature values, pointing towards a possible underestimation of effective temperatures. Moreover, we find two groups of stars at Teff ∼ 14 000 K and at Teff ∼ 27 000 K that present anomalies with respect to the general trend and expectations. We suppose that the three peculiar bright stars at Teff ∼ 14 000 K are probably affected by an enhanced stellar wind. For the eight extreme horizontal branch stars at Teff ∼ 27 000 K that show unusually high masses, we find no plausible explanation. Conclusions. While most of our results agree well with the predictions of standard horizontal branch evolution, we still have problems with the low masses we derive in certain temperature ranges. We believe that Kurucz ATLAS9 LTE model atmospheres with solarscaled abundances are probably inadequate for these temperature ranges. Concerning the group of anomalous stars at Teff ∼ 27 000 K, a Kolmogorov-Smirnov test indicates that there is only an 8.4% probability that these stars are randomly drawn from the general distribution in the color-magnitude diagram. This is not conclusive but indicates that these stars could be both (and independently) spectroscopically and photometrically peculiar with respect to the general extreme horizontal branch population.
A Survey of Self-Stabilizing Spanning-Tree Construction Algorithms

Self-stabilizing systems can automatically recover from ar- bitrary state perturbations in finite time. They are therefore well-suited for dynamic, failure prone environments. Spanning-tree construction in distributed systems is a fundamental task which forms the basis for many other network algorithms (like token circulation or routing). This paper surveys self-stabilizing algorithms that construct a spanning tree within a network of processing entities. Lower bounds and related work are also discussed.
The roles that make the domestic work

This paper builds on earlier CSCW studies of domestic technologies, looking at the frequent maintenance required by new security technologies that households are adopting to provide safety and security. It explores how the roles and responsibilities are allocated within a household to support these domestic routines. This paper reports a qualitative study of usage practices surrounding safety and security. It classifies three primary approaches to computer security in the home, and discusses how technical skill, household structure and gender relate to the approach selected, and discuss the transitory nature of such arrangements.
Exploring Dimensionality, Systematic Mutations and Number of Contacts in Simple HP ab-initio Protein Folding Using a Blackboard-based Agent Platform

— A computational platform is presented in this contribution. It has been designed as a virtual laboratory to be used for exploring optimization algorithms in biological problems. This platform is built on a blackboard-based agent architecture. As a test case, the version of the platform presented here is devoted to the study of protein folding, initially with a bead-like description of the chain and with the widely used model of hydrophobic and polar residues (HP model). Some details of the platform design are presented along with its capabilities and also are revised some explorations of the protein folding problems with different types of discrete space. It is also shown the capability of the platform to incorporate specific tools for the structural analysis of the runs in order to understand and improve the optimization process. Accordingly, the results obtained demonstrate that the ensemble of computational tools into a single platform is worthwhile by itself, since experiments developed on it can be designed to fulfill different levels of information in a self-consistent fashion. By now, it is being explored how an experiment design can be useful to create a computational agent to be included within the platform. These inclusions of designed agents –or software pieces– are useful for the better accomplishment of the tasks to be developed by the platform. Clearly, while the number of agents increases the new version of the virtual laboratory thus enhances in robustness and functionality.
CHIP promotes Runx2 degradation and negatively regulates osteoblast differentiation

Runx2, an essential transactivator for osteoblast differentiation, is tightly regulated at both the transcriptional and posttranslational levels. In this paper, we report that CHIP (C terminus of Hsc70-interacting protein)/STUB1 regulates Runx2 protein stability via a ubiquitination-degradation mechanism. CHIP interacts with Runx2 in vitro and in vivo. In the presence of increased Runx2 protein levels, CHIP expression decreases, whereas the expression of other E3 ligases involved in Runx2 degradation, such as Smurf1 or WWP1, remains constant or increases during osteoblast differentiation. Depletion of CHIP results in the stabilization of Runx2, enhances Runx2-mediated transcriptional activation, and promotes osteoblast differentiation in primary calvarial cells. In contrast, CHIP overexpression in preosteoblasts causes Runx2 degradation, inhibits osteoblast differentiation, and instead enhances adipogenesis. Our data suggest that negative regulation of the Runx2 protein by CHIP is critical in the commitment of precursor cells to differentiate into the osteoblast lineage.
Deconcentration, Counter-Urbanization, or Trend Reversal? The Population Distribution of Switzerland, Revisited

This study analyzes trends in the population distribution of Switzerland, with focus on the period 1980-2000. It updates and extends an earlier study [1]. The extensions include analyses of population distribution trends by region and citizenship. Results show that Switzerland experienced deconcentration in the 1970s at the cantonal level, and in the 1980s and 1990s at the district level. The results also show a trend of moving away from large densely populated districts to small, sparsely populated and medium sized districts. There was a strong suburbanization trend starting in the 1950s and counter-urbanization during 1980-2000. The core urban areas experienced the slowest growth at the end of the century. Although the foreign permanent resident population increased from 11.6% at the beginning of the century to 20.7% in 2005, its role in shaping the distribution pattern is low.
Continuous-time neural control for a 2 DOF vertical robot manipulator

This paper presents a continuous-time neural control scheme for identification and control of a two degrees of freedom (DOF) direct drive vertical robot manipulator model, on which effects due to friction and gravitational forces are both considered. A recurrent high-order neural network (RHONN) structure is proposed in order to identify the plant model to then, based on this neural structure, derive a neural controller using the backstepping design methodology. The trajectory tracking performance of the neural controller is illustrated via simulations results, which suggest the validity of the proposed approach for its implementation in real-time.
Haptic Feedback in a Telepresence System for Endoscopic Heart Surgery

The implementation of telemanipulator systems for cardiac surgery enabled heart surgeons to perform delicate minimally invasive procedures with high precision under stereoscopic view. At present, commercially available systems do not provide force-feedback or Cartesian control for the operating surgeon. The lack of haptic feedback may cause damage to tissue and can cause breaks of suture material. In addition, minimally invasive procedures are very tiring for the surgeon due to the need for visual compensation for the missing force feedback. While a lack of Cartesian control of the end effectors is acceptable for surgeons (because every movement is visually supervised), it prevents research on partial automation. In order to improve this situation, we have built an experimental telemanipulator for endoscopic surgery that provides both force-feedback (in order to improve the feeling of immersion) and Cartesian control as a prerequisite for automation. In this article, we focus on the inclusion of force feedback and its evaluation. We completed our first bimanual system in early 2003 (EndoPAR Endoscopic Partial Autonomous Robot). Each robot arm consists of a standard robot and a surgical instrument, hence providing eight DOF that enable free manipulation via trocar kinematics. Based on the experience with this system, we introduced an improved version in early 2005. The new ARAMIS system (Autonomous Robot Assisted Minimally Invasive Surgery) has four multi-purpose robotic arms mounted on a gantry above the working space. Again, the arms are controlled by two force-feedback devices, and 3D vision is provided. In addition, all surgical instruments have been equipped with strain gauge force sensors that can measure forces along all translational directions of the instrument's shaft. Force-feedback of this system was evaluated in a scenario of robotic heart surgery, which offers an impression very similar to the standard, open procedures with high immersion. It enables the surgeon to palpate arteriosclerosis, to tie surgical knots with real suture material, and to feel the rupture of suture material. Therefore, the hypothesis that haptic feedback in the form of sensory substitution facilitates performance of surgical tasks was evaluated on the experimental platform described in the article (on the EndoPAR version). In addition, a further hypothesis was explored: The high fatigue of surgeons during and after robotic operations may be caused by visual compensation due to the lack of force-feedback (Thompson, J., Ottensmeier, M., & Sheridan, T. 1999. Human Factors in Telesurgery, Telmed Journal, 5 (2) 129137. ).