Miracle-dz/UniFAR-FTUs huggingface dataset:
Condensation of incommensurate solid 4

It is pointed out that simulation computation of energy performed so far cannot be used to decide if the ground state of solid 4 He has the number of lattice sites equal to the number of atoms (commensurate state) or if it is different (incommensurate state). The best variational wave function, a shadow wave function, gives an incommensurate state but the equilibrium concentration of vacancies remains to be determined. In order to investigate the presence of a supersolid phase we have computed the one–body density matrix in solid 4 He for the incommensurate state by means of the exact Shadow Path Integral Ground State projector method. We find a vacancy induced Bose Einstein condensation of about 0.23 atoms per vacancy at a pressure of 54 bar. This means that bulk solid 4 He is supersolid at low enough temperature if the exact ground state is incommensurate. Experiments by Kim and Chan[1, 2] give evidence for non classical rotational inertia of solid 4 He, one hallmark of the supersolid state of matter[3]. These results have generated large interest because this would be a novel state characterized, in a bulk sample, by spontaneous broken translational symmetry and by a suitable rigidity of the phase of the wave function (wf) giving rise to superfluid properties. The standard mechanism for this rigidity is the presence of Bose Einstein condensation (BEC). Such state with BEC was suggested long ago[4, 5] as a possibility for a quantum solid of boson particles. Early theoretical works[3, 4, 5, 6] were based on simplified models so that it was not possible to draw specific predictions for solid 4 He. Powerful simulation methods have been applied to study a realistic model of solid 4 He in the last two years. Path Integral Monte Carlo (PIMC) has been applied to study crystalline 4 He at a finite temperature and the authors conclude that the superfluid fraction ρ s at T = 0.2 K is zero[7] and that[8] there is no off diagonal long range order (ODLRO), i.e. there is no BEC, at T = 0.2 K and 0.5 K. On the other hand the ground state of crystalline 4 He has been studied by variational methods based on shadow wave function (SWF) and this study shows that ODLRO is present[9] for a range of densities above melting with a rather small value of BEC fraction n 0 ≃ 0.5 × 10 …
Agile Development of Component-based Distributed Real-time and Embedded Systems via Model-Driven Engineering Techniques

The end-to-end evaluation of component-based distributed real-time and embedded (DRE) system qualityof-service (QoS) properties (e.g., performance, reliability, and security) traditionally occurs during system integration time. Consequently, many design flaws that affect QoS are not located in a timely and cost-effective manner. This article shows how model-driven engineering—particularly domain-specific languages (DSLs) coupled with generative programming techniques—can enable agile development of component-based DRE systems and facilitate continuous system integration testing so design flaws that affect QoS can be rectified earlier in the software lifecycle.
Cadmium-Binding Proteins in Pseu dom onas putida : Pseu do thioneins

Pseudomonas putida adapted to growth in 3 mM cadmium. The resistance mechanism involved complexation of cadmium in polyphosphate granules, changes in the structure of the cell membrane and induction of three cysteine-rich, low molecular weight proteins (3500-7000) containing 4 to 7 g-atoms per mole of cadmium, zinc, and copper. Each protein was produced during a different phase of growth, and the smallest protein (3500) was released into the environment when the cells lysed at the end of the exponential phase. The metal binding sites of the major protein were further characterized using a range of physical methods, including 118Cd NMR. The properties of the bacterial pseudothioneins are compared to those of metallothioneins.
Capacitor-based reconfigurable beam and polarization of square patch antenna for WLAN application

This paper presents the investigation of square patch antenna with reconfigurable beam and polarization for wireless local area network (WLAN) application. The reconfigurable beam and polarization characteristic can be generated by controlling the phase of antenna radiation pattern caused by inserting capacitor on its feeding line. Here, a square patch antenna is applied with double-feeding method in vertical and horizontal directions to obtain dual polarization and phase difference of 90°. The simulation results show that the antenna with a capacitor inserted at one branch of feeding lines has reflection coefficient (S11) value less than -10dB at frequency of 2.42GHz. The used capacitance value is varied by 1pF, 3pF and 10pF for achieving beam direction change and polarization. In addition, the effect of varied capacitance value used for obtaining reconfigurable beam and polarization is discussed further.
A current sensing circuit using current-voltage conversion for PMOS-based LDO regulators

In this paper, a standalone output current sensing module for CMOS low dropout linear voltage (LDO) regulator with PMOS as pass device is proposed. The main purpose of current sensing is to create an over-current protection or to limit the output current value in certain applications. Based on I-V conversion in which the supply voltage varies from 2.7 V-4.2 V, the current clamp value varies from 178 mA to 270 mA in the case of 200 mA load limiting. The proposal has been successfully fabricated using a CMOS technology, and verified through the correct operation of a power management prototype chip.
Tracking the propagation of data errors in software

When developing software that functions in a nonharmful manner in the presence of faults and errors (as defined in Laprie [27]), one requires knowledge of the behavior of the software under these exceptional conditions. In particular, one needs to know how faults and errors propagate to affect the execution of software. Knowing propagation pathways may, for instance, be of great help when deciding where to effectively place error detection and recovery mechanisms. Learning about error propagation Characteristics of a software system requires not only the ability to inject errors and monitor the effect that these have on system output but also the ability to monitor how these errors are transported through the system. Thus, high observability is required for these activities. Ideally, one should be able to observe every individual variable and data structure in the software. Chapter 15 gives a detailed presentation of PROPANE, the Propagation Analysis Environment, and is an extension of the work by Hiller et al. [20]. PROPANE enables the injection of faults and errors into software running on a desktop computer (currently for Windows NT/2000). PROPANE supports varied ways of probing a system, i.e., tracing internal variables and events during system operation, as well as injection of software faults and data errors. FI has been used for various purposes for many years [1, 7, 22]. FI-tools may inject errors in a number of ways, e.g., physical fault injection, radiation, etc. PROPANE uses a technique called SWIFI (Software-Implemented Fault Injection). Fault injections are performed by instrumenting the source code with both the correct code and the defect that is to be injected. With every fault, there is a
Performance Analysis of IEEE 802 . 11 n MAC Enhancements over Block Fading Channels

⎯ Assuming a Nakagami-m block fading channel, we derive a theoretical medium access control (MAC) and physical (PHY) cross-layer model to estimate the saturation net throughput of IEEE 802.11 wireless local area networks (WLANs) with MAC enhancements. It is analytically shown that these MAC improvements, that consist of modifications of the plain IEEE 802.11 distribution coordination function (DCF) MAC protocol in order to support concatenation and multiframe transmission techniques, allow a substantial improvement of the net throughput.
Instructional Immediacy Practices in Online Learning Environments

It is essential to create an online environment where students feel motivated and engaged, in order to achieve effective learning. Online learning environments (OLEs) enable tutors to apply various methods of enhancing students’ communication, so that the issue of feeling isolated is addressed and worthwhile learning can take place. A significant body of the literature has asserted that communication practices in the classroom are an important factor to the learning process and the student-tutor relationship. Immediacy is part of communication practices that support students learning in face-to-face and online classes. This study presents the most important immediacy practices that can help tutors to enhance students’ learning by decreasing the physical and psychological distance between students and tutors in online learning and increasing student-tutor interaction. Immediacy has been shown to be a remarkable predictor of perceived online learning, positively affecting students’ interest and engagement in a course. Hence, students become more willing to participate and communicate with their tutors and peers. Tutors should therefore be aware of these practices and understand how to apply them effectively in the enhancement of students’ online learning. Keywords : Immediacy, Online learning, Student interaction, Isolation, student engagement.
DeepFi: Deep learning for indoor fingerprinting using channel state information

With the fast growing demand of location-based services in indoor environments, indoor positioning based on fingerprinting has attracted a lot of interest due to its high accuracy. In this paper, we present a novel deep learning based indoor fingerprinting system using Channel State Information (CSI), which is termed DeepFi. Based on three hypotheses on CSI, the DeepFi system architecture includes an off-line training phase and an on-line localization phase. In the off-line training phase, deep learning is utilized to train all the weights as fingerprints. Moreover, a greedy learning algorithm is used to train all the weights layer-by-layer to reduce complexity. In the on-line localization phase, we use a probabilistic method based on the radial basis function to obtain the estimated location. Experimental results are presented to confirm that DeepFi can effectively reduce location error compared with three existing methods in two representative indoor environments.
Model Updating Method Based on Kriging Model for Structural Dynamics

Model updating in structural dynamics has attracted much attention in recent decades. And high computational cost is frequently encountered during model updating. Surrogate model has attracted considerable attention for saving computational cost in finite element model updating (FEMU). In this study, a model updating method using frequency response function (FRF) based on Kriging model is proposed. The optimal excitation point is selected by using modal participation criterion. Initial sample points are chosen via design of experiment (DOE), and Kriging model is built using the corresponding acceleration frequency response functions. Then, Kriging model is improved via new sample points using mean square error (MSE) criterion and is used to replace the finite element model to participate in optimization. Cuckoo algorithm is used to obtain the updating parameters, where the objective function with the minimum frequency response deviation is constructed. And the proposed method is applied to a plane truss model FEMU, and the results are compared with those by the second-order response surface model (RSM) and the radial basis function model (RBF). The analysis results showed that the proposed method has good accuracy and high computational efficiency; errors of updating parameters are less than 0.2%; damage identification is with high precision. After updating, the curves of real and imaginary parts of acceleration FRF are in good agreement with the real ones.
Demography, diagnostics, and medication in dementia with Lewy bodies and Parkinson’s disease with dementia: data from the Swedish Dementia Quality Registry (SveDem)

Introduction Whether dementia with Lewy bodies (DLB) and Parkinson’s disease with dementia (PDD) should be considered as one entity or two distinct conditions is a matter of controversy. The aim of this study was to compare the characteristics of DLB and PDD patients using data from the Swedish Dementia Quality Registry (SveDem). Methods SveDem is a national Web-based quality registry initiated to improve the quality of diagnostic workup, treatment, and care of patients with dementia across Sweden. Patients with newly diagnosed dementia of various types were registered in SveDem during the years 2007–2011. The current cross-sectional report is based on DLB (n = 487) and PDD (n = 297) patients. Demographic characteristics, diagnostic workup, Mini-Mental State Examination (MMSE) score, and medications were compared between DLB and PDD groups. Results No gender differences were observed between the two study groups (P = 0.706). PDD patients were significantly younger than DLB patients at the time of diagnosis (74.8 versus 76.8 years, respectively; P < 0.001). A significantly higher prevalence of patients with MMSE score ≤24 were found in the PDD group (75.2% versus 67.6%; P = 0.030). The mean number of performed diagnostic modalities was significantly higher in the DLB group (4.9 ± 1.7) than in the PDD group (4.1 ± 1.6; P < 0.001). DLB patients were more likely than PDD patients to be treated with cholinesterase inhibitors (odds ratio = 2.5, 95% confidence interval = 1.8–3.5), whereas the use of memantine, antidepressants, and antipsychotics did not differ between the groups. Conclusion This study demonstrates several differences in the dementia work-up between DLB and PDD. The onset of dementia was significantly earlier in PDD, while treatment with cholinesterase inhibitors was more common in DLB patients. Severe cognitive impairment (MMSE score ≤24) was more frequent in the PDD group, whereas more diagnostic tests were used to confirm a DLB diagnosis. Some similarities also were found, such as gender distribution and use of memantine, antidepressants, and antipsychotics drugs. Further follow-up cost-effectiveness studies are needed to provide more evidence for workup and treatment guidelines of DLB and PDD.
Statistical modelling of multichannel blind system identification errors

It is well known that blind system identification (BSI) algorithms misconverge in the presence of noise and that applications relying on such channel estimates must be designed to be robust to these blind system identification errors (BSIEs). However, there is currently no generalized model of BSIEs in the literature and instead, white Gaussian noise (WGN) is commonly assumed. This paper investigates the statistics of BSIEs based on a robust state-of-the-art BSI algorithm using both simulated and real impulse responses. A BSIE model is proposed based on Gaussian mixture models (GMMs) and a method for generating artificial BSIEs based on this model for simulations is given. Comparisons against alternative assumptions used in the literature are given and it is shown through experimental results that the proposed model gives BSIEs that are most statistically similar to the ground truth.
Adaptive Block Linear Equalizer for Block Data Transmission Systems

This paper presents an adaptive algorithm that is considered as a modification to the Block Linear Equalizer which is used with Block Data Transmission Systems. The two main factors that influence the noise performance of the Block Data Transmission System are the distortion introduced by the channel and the block size. The proposed algorithm considerably improves the noise performance and hence the transmission efficiency of the system by adaptively reducing the block size of the transmitted signal-elements when the distortion introduced by the channel is high and increasing the same when the channel distortion is low. This advantage is achieved with only a slight increase in the equipment complexity.
Androgenic Anabolic Steroid, Cocaine and Amphetamine Abuse and Adverse Cardiovascular Effects

Introduction: Anabolic-androgenic steroids (AAS), a synthetic derivate of testosterone, have become a popular drug among athletes and bodybuilders to enhance muscle mass and improve the athletic performance. Many pathological effects such as hepatic and endocrine dysfunction, behavioural changes and cardiovascular complications have been reported. Case Report: Within these ast ones, we find an increase in left ventricular muscle mass, concentric myocardial hypertrophy, left ventricular diastolic dysfunction, arterial hypertension, prothrombotic effects, changes in the concentration of cholesterol levels, particularly a reduction in HDL cholesterol concentration, myocardial infarctions in relation to endothelial dysfunction, vasospasms or thrombosis and sudden cardiac death. Discussion: We report the case of a 32-year-old patient with a history of arterial hypertension, depressive syndrome and consumption of cocaine, amphetamines and AAS who developed severe left ventricular systolic dysfunction and myocardial hypertrophy with signs of heart failure and peripheral arterial embolism.
Knowledge-Based Information Access

Current data storage, retrieval, and management mechanisms are inherently complex, perpetuating the need for intuitive access to stored data. The Internet has complicated the situation further by vastly increasing the quantity, types, and availability of data. In a distributed environment, data storage, retrieval, and management must coordinate among multiple heterogeneous sources. In this article, we present approaches to simplifying access to data sources. We begin by presenting automated query generation as a means to provide high-level access to a single database. We then present an overview of architectures that support the interoperability of multiple distributed heterogeneous data sources, including an architecture which generalizes an automated query formulation technique to support multiple distributed heterogeneous sources. We conclude by discussing the role of distributed object and agent technologies in distributed information access. 2 The Handbook of Software Engineering and Knowledge Engineering
Structured optical receivers to attain superadditive capacity and the Holevo limit

Attaining the ultimate (Holevo) limit to the classical capacity of a quantum channel requires the receiver to make joint measurements over long code-word blocks. For a pure-state channel, we show that the Holevo limit can be attained by a receiver that uses a multisymbol unitary transformation on the quantum code word followed by separable projective measurements. We show a concatenated coding and joint-detection architecture to approach the Holevo limit. We then construct some of the first concrete examples of codes and structured joint-detection receivers for the lossy bosonic channel, which can achieve fundamentally higher (superadditive) capacity than conventional receivers that detect each modulation symbol individually. We thereby pave the way for research into codes and structured receivers for reliable communication data rates approaching the Holevo limit.
A deep convolutional neural wavelet network to supervised Arabic letter image classification

In this paper, a new approach to supervised image classification is suggested. It's conducted by the combination of two techniques of learning: the wavelet network and the deep learning. This new approach consists of performing the classification of one class versus all the other classes of the dataset by the reconstruction of a convolutional deep neural wavelet network. This network is obtained using a series of stacked auto-encoders and a linear classifier. Finally, a local contrast normalization and an intelligent pooling are applied to our network. The experimental test of our approach performed on Arabic Printed Text Image (APTI) dataset demonstrates that our model is remarkably efficient for image classification compared to a known classifier.
The e-mail filtering system based onimproved genetic

E-mail is truly convenient for people’s working and living, but the popularity of the spam requires urgent technology treatment. This article describes the basic structure of the e-mail, mainly analyzes the characteristics of the spam, then introduces an e-mail filtering system design based on improved genetic algorithm, finally makes the model experiment and tests it.
Including patient choice in cost-effectiveness decision rules

There has been increasing discussion in the economic literature about the appropriateness of using general population values within technology appraisal. This paper proposes an alternative approach to incorporating patient values into the cost-effectiveness decision rule that lies at the heart of funding decisions. Whilst the current decision rule is constructed around a technical question, namely, "which treatment is the most cost-effective? ", the key policy question is "which treatments should be offered to the patient? ". A two-part decision rule is explored which gives the patient the choice of the most cost-effective treatment plus all cheaper options. Whilst the adoption of this patient-based cost-effectiveness rule may not alter many decisions compared to the current approach, it would represent a profound shift in the way that patient values and patient choice are incorporated into economic evaluation.
On the geometry of super Yang-Mills theories: phases and irreducible polynomials

We study the algebraic and geometric structures that underly the space of vacua of = 1 super Yang-Mills theories at the non-perturbative level. Chiral operators are shown to satisfy polynomial equations over appropriate rings, and the phase structure of the theory can be elegantly described by the factorization of these polynomials into irreducible pieces. In particular, this idea yields a powerful method to analyse the possible smooth interpolations between different classical limits in the gauge theory. As an application in U(N) theories, we provide a simple and completely general proof of the fact that confining and Higgs vacua are in the same phase when fundamental flavors are present, by finding an irreducible polynomial equation satisfied by the glueball operator. We also derive the full phase diagram for the theory with one adjoint when N ≤ 7 using computational algebraic geometry programs.