Miracle-dz/UniFAR-FTUs huggingface dataset:
A Critical Analysis of Special Relativity in Light of Lorentz's and Michelson's Ideas

On the basis of the Michelson-Morley experiment, the physical models of Einstein’s and Lorentz’s theories are discussed, together with their respective logical and mathematical processes, both leading to the same transformations by Lorentz. Our analysis evidences logical coherence problems between Einstein’s model and the Lorentz transformations, as well as in the “light postulate” itself. Replacement of the SRT transformations are thus proposed, describing apparent space-time alterations due to the relative motion of a wave source and an observer in a light medium. The main experimental proofs of SRT are also discussed.
An efficient hash table based approach to avoid state space explosion in history driven quasi-static scheduling

This paper presents an efficient hash table based method to optimally overcome a new variant of the state space explosion which appears during the quasi-static task scheduling of embedded, reactive systems. Our application domain is targeted to one-processor software synthesis, and the scheduling process is based on Petri net reachability analysis to ensure cyclic, bounded and undeadlocked programs. To achieve greater flexibility, we employ a dynamic, history based criterion to prune the search space. This makes our synthesis approach different from most existing code generation techniques. Our experimental results reveal a significant reduction in algorithmic complexity (both in memory storage and CPU time) obtained for medium and large size problems.
Adeno-associated virus type 2 rep gene-mediated inhibition of basal gene expression of human immunodeficiency virus type 1 involves its negative regulatory functions

Adeno-associated virus type 2 (AAV-2), a human parvovirus which is apathogenic in adults, inhibits replication and gene expression of human immunodeficiency virus type 1 (HIV-1) in human cells. The rep gene of AAV-2, which was shown earlier to be sufficient for this negative interference, also down-regulated the expression of heterologous sequences driven by the long terminal repeat (LTR) of HIV-1. This effect was observed in the absence of the HIV-1 transactivator Tat, i.e., at basal levels of LTR-driven transcription. In this work, we studied the involvement of functional subsequences of the HIV-1 LTR in rep-mediated inhibition in the absence of Tat. Mutated LTRs driving an indicator gene (cat) were cointroduced into human SW480 cells together with rep alone or with double-stranded DNA fragments or RNA containing sequences of the HIV-1 LTR. The results indicate that rep strongly enhances the function of negative regulatory elements of the LTR. In addition, the experiments revealed a transcribed sequence element located within the TAR-coding sequence termed AHHH (AAV-HIV homology element derived from HIV-1) which is involved in rep-mediated inhibition. The AHHH element is also involved in down-regulation of basal expression levels in the absence of rep, suggesting that AHHH also contributes to negative regulatory functions of the LTR of HIV-1. In contrast, positive regulatory elements of the HIV-1 LTR such as the NF kappa B and SP1 binding sites have no significant influence on the rep-mediated inhibition.
RDDS: A Real-Time Data Distribution Service for Cyber-Physical Systems

One of the primary requirements in many cyber-physical systems (CPS) is that the sensor data derived from the physical world should be disseminated in a timely and reliable manner to all interested collaborative entities. However, providing reliable and timely data dissemination services is especially challenging for CPS since they often operate in highly unpredictable environments. Existing network middleware has limitations in providing such services. In this paper, we present a novel publish/subscribe-based middleware architecture called Real-time Data Distribution Service (RDDS). In particular, we focus on two mechanisms of RDDS that enable timely and reliable sensor data dissemination under highly unpredictable CPS environments. First, we discuss the semantics-aware communication mechanism of RDDS that not only reduces the computation and communication overhead, but also enables the subscribers to access data in a timely and reliable manner when the network is slow or unstable. Further, we extend the semantics-aware communication mechanism to achieve robustness against unpredictable workloads by integrating a control-theoretic feedback controller at the publishers and a queueing-theoretic predictor at the subscribers. This integrated control loop provides Quality-of-Service (QoS) guarantees by dynamically adjusting the accuracy of the sensor models. We demonstrate the viability of the proposed approach by implementing a prototype of RDDS. The evaluation results show that, compared to baseline approaches, RDDS achieves highly efficient and reliable sensor data dissemination as well as robustness against unpredictable workloads.
Trends in Fault Diagnosis for Electrical Machines: A Review of Diagnostic Techniques

The fault diagnosis of rotating electrical machines has received an intense amount of research interest during the last 30 years. Reducing maintenance costs and preventing unscheduled downtimes, which result in losses of production and financial incomes, are the priorities of electrical drives manufacturers and operators. In fact, both correct diagnosis and early detection of incipient faults lead to fast unscheduled maintenance and short downtime for the process under consideration. They also prevent the harmful and sometimes devastating consequences of faults and failures. This topic has become far more attractive and critical as the population of electric machines has greatly increased in recent years. The total number of operating electrical machines in the world was around 16.1 billion in 2011, with a growth rate of about 50% in the last five years [1].
Investigating the mechanisms underlying fixation durations during the first year of life : a computational account

Infants’ eye-movements provide a window onto the development of cognitive functions over the first years of life. Despite considerable advances in the past decade, studying the mechanisms underlying infant fixation duration and saccadic control remains a challenge due to practical and technical constraints in infant testing. This thesis addresses these issues and investigates infant oculomotor control by presenting novel software and methods for dealing with low-quality infant data (GraFIX), a series of behavioural studies involving novel gaze-contingent and sceneviewing paradigms, and computational modelling of fixation timing throughout development. In a cross-sectional study and two longitudinal studies, participants were eye-tracked while viewing dynamic and static complex scenes, and performed gap-overlap and double-step paradigms. Fixation data from these studies were modelled in a number of simulation studies with the CRISP model of fixation durations in adults in scene viewing. Empirical results showed how fixation durations decreased with age for all viewing conditions but at different rates. Individual differences between long- and short-lookers were found across visits and viewing conditions, with static images being the most stable viewing condition. Modelling results confirmed the CRISP theoretical framework’s applicability to infant data and highlighted the influence of both cognitive processing and the developmental state of the visuo-motor system on fixation durations during the first few months of life. More specifically, while the present work suggests that infant fixation durations reflect on-line perceptual and cognitive activity similarly to adults, the individual developmental state of the visuo-motor system still affects this relationship until 10 months of age. Furthermore, results suggested that infants are already able to program saccades in two stages at 3.5 months: (1) an initial labile stage subject to cancellation and (2) a subsequent non-labile stage that cannot be cancelled. The length of the non-labile stage decreased relative to the labile stage especially from 3.5 to 5 months, indicating a greater ability to cancel saccade programs as infants grew older. In summary, the present work provides unprecedented insights into the development of fixation durations and saccadic control during the first year of life and demonstrates the benefits of mixing behavioural and computational approaches to investigate methodologically challenging research topics such as oculomotor control in infancy.
Real-Time TCP/IP Analysis with Common Hardware

Traffic measurement represents an indispensable and valuable tool for the analysis of nowadays telecommunication networks. Moreover, it is desirable for traffic measurement and analysis to be both continuous and persistent, since only these joint requirements allow to track important changes on the traffic pattern. On the other hand, transmission links bandwidth keep improving, at a seemingly inexorable rate: therefore, the analysis of the traffic is becoming more complex than ever. This paper focuses on the description and the benchmarking of a network traffic analyzer, called Tstat, able to process real-time traffic further providing i) several advanced measurement indexes of transport layer protocols and ii) ever-lasting monitoring capabilities. Particularly, our aim is to assess what kind of links, and under which load, can be continuously and persistently monitored without compromising the complexity of the traffic analysis that has to be performed.
Uniformly Reweighted Belief Propagation for Estimation and Detection in Wireless Networks

In this paper, we propose a new inference algorithm, suitable for distributed processing over wireless networks. The algorithm, called uniformly reweighted belief propagation (URW-BP), combines the local nature of belief propagation with the improved performance of tree-reweighted belief propagation (TRW-BP) in graphs with cycles. It reduces the degrees of freedom in the latter algorithm to a single scalar variable, the uniform edge appearance probability ρ. We provide a variational interpretation of URW-BP, give insights into good choices of ρ, develop an extension to higher-order potentials, and complement our work with numerical performance results on three inference problems in wireless communication systems: spectrum sensing in cognitive radio, cooperative positioning, and decoding of a low-density parity-check (LDPC) code.
Foodborne outbreak of hepatitis A: clinical and laboratory features of acute and protracted illness

During a 1974 foodborne outbreak of viral hepatitis type A among Navy recruits, we evaluated clinical and laboratory features prospectively in 130affected persons. The ratio of anicteric to icteric persons identified during the outbreak was 1:3.5 but illness was relatively mild in this population of young adults. Infrequently reported in association with type A hepatitis, rash and arthralgias (but not arthritis) were reported by 14 and 10% of affected persons, respectively. Fourteen weeks after onset of acute illness, 8.5% of patients had persistently elevated aminotransferase activities and underwent percutaneous liver biopsy. Morphologic features included piecemeal necrosis, but clinical, biochemical, and histological evidence of disease resolved within five months to one year after the outbreak. Fecal shedding of hepatitis A virus began during the preicteric stage, did not persist beyond the second day of jaundice (even in patients with protracted illness), and was not detected in anicteric patients. Feces and serum obtained during the late incubation period, but not urine, were infectious in chimpanzees. Antibody to hepatitis A virus developed during convalescence, and serum anticomplementary activity was noted during acute illness. Failure of T-lymphocytes to bind sheep erythrocytes and form rosettes was observed, was found to be modulated in several cases by an intrinsic lymphocyte defect and in others by the presence in serum of an extrinsic immunoregulatory serum lipoprotein, “rosette inhibitory factor,” which persisted in patients with slow resolution.
Measurement of thermal effects on the optical properties of prostate tissue at wavelengths of 1,064 and 633 nm

The extent of thermal injury during laser prostatectomy is dependent on the light distribution in laser‐irradiated tissue. As tissue is irradiated, the optical properties change as a function of temperature due to an alteration of molecular and cellular structure. The purpose of the present study was to determine how the exposure of both fresh and previously frozen canine prostate tissue to elevated temperatures affects the optical properties.
Hospital Admission following Acute Kidney Injury in Kidney Transplant Recipients Is Associated with a Negative Impact on Graft Function after 1-Year

The incidence and outcomes of acute kidney injury (AKI) in kidney transplantation are poorly known. Retrospective cohort analysis was performed on the data of all patients (≥3 months after transplantation and ≥16 years of age) admitted to the hospital due to medical or surgical complications from 2007 to 2010. We analyzed 458 kidney transplant recipients, 55.2% men, median age 49 (IQR, 36–58) years, median of 12.5 (IQR, 3–35) months after kidney transplantation; admitted to the hospital due to medical or surgical complications. Most of the patients received a kidney from a deceased donor (62.2%), the primary cause for hospital admission was infection (60.7%) and 57 (12.4%) individuals were diagnosed with acute rejection (AR). The incidence of AKI was 82.3%: 31.9% stage 1, 29.3% stage 2 and 21.2% stage 3. Intensive care unit (ICU) admission (OR 8.90, 95% CI: 1.77–44.56 p = 0.008), infection (OR 5.73, 95% CI: 2.61–12.56, p<0.001) and the use of contrast media (OR 9.34, 95% CI: 2.04–42.70, p = 0.004) were the independent risk factors for AKI development. The mortality rate was 2.1% and all patients who died were diagnosed with AKI. Even after the exclusion of AR cases, at the end of 12 months, the individuals with AKI exhibited higher percent changes in creatinine values when compared with individuals without AKI (9.1% vs. -4.3%; p<0.001). According to KDIGO system, we found a high incidence of AKI among the complications of renal transplantation. As in other scenarios, AKI was associated with renal function loss at 1-year after the hospital discharge.
Induction of Body Weight Loss through RNAi-Knockdown of APOBEC1 Gene Expression in Transgenic Rabbits

In the search of new strategies to fight against obesity, we targeted a gene pathway involved in energy uptake. We have thus investigated the APOB mRNA editing protein (APOBEC1) gene pathway that is involved in fat absorption in the intestine. The APOB gene encodes two proteins, APOB100 and APOB48, via the editing of a single nucleotide in the APOB mRNA by the APOBEC1 enzyme. The APOB48 protein is mandatory for the synthesis of chylomicrons by intestinal cells to transport dietary lipids and cholesterol. We produced transgenic rabbits expressing permanently and ubiquitously a small hairpin RNA targeting the rabbit APOBEC1 mRNA. These rabbits exhibited a moderately but significantly reduced level of APOBEC1 gene expression in the intestine, a reduced level of editing of the APOB mRNA, a reduced level of synthesis of chylomicrons after a food challenge, a reduced total mass of body lipids and finally presented a sustained lean phenotype without any obvious physiological disorder. Interestingly, no compensatory mechanism opposed to the phenotype. These lean transgenic rabbits were crossed with transgenic rabbits expressing in the intestine the human APOBEC1 gene. Double transgenic animals did not present any lean phenotype, thus proving that the intestinal expression of the human APOBEC1 transgene was able to counterbalance the reduction of the rabbit APOBEC1 gene expression. Thus, a moderate reduction of the APOBEC1 dependent editing induces a lean phenotype at least in the rabbit species. This suggests that the APOBEC1 gene might be a novel target for obesity treatment.
Effect of Dietary Patterns on Muscle Strength and Physical Performance in the Very Old: Findings from the Newcastle 85+ Study

Background Healthy diet has been associated with better muscle strength and physical performance in cross-sectional studies of older adults but the effect of dietary patterns (DP) on subsequent decline, particularly in the very old (aged 85+), has not been determined. Objective We investigated the association between previously established DP and decline in muscle strength and physical performance in the very old. Design 791 participants (61.8% women) from the Newcastle 85+ Study were followed-up for change in hand grip strength (HGS) and Timed Up-and Go (TUG) test over 5 years (four waves 1.5 years apart). Mixed models were used to determine the effects of DP on muscle strength and physical performance in the entire cohort and separately by sex. Results Previously we have established three DP that varied in intake of red meats, potato, gravy and butter and differed with key health and social factors. HGS declined linearly by 1.59 kgF in men and 1.08 kgF in women (both p<0.001), and TUG slowed by 0.13 log10-transformed seconds (log10-s) in men and 0.11 log10-s in women per wave after adjusting for important covariates (both p<0.001), and also showed a nonlinear change (p<0.001). Men in DP1 (‘High Red Meat’) had worse overall HGS (β = -1.70, p = 0.05), but men in DP3 (‘High Butter’) had a steeper decline (β = -0.63, p = 0.05) than men in DP2 (‘Low Meat’). Men in DP1 and women in DP3 also had overall slower TUG than those in DP2 (β = 0.08, p = 0.001 and β = 0.06, p = 0.01, respectively), but similar rate of decline after adjusting for sociodemographic, lifestyle, health, and functioning factors. The results for HGS and TUG were not affected by participants’ cognitive status. Conclusions DP high in red meats, potato and gravy (DP1), or butter (DP3) may adversely affect muscle strength and physical performance in later life, independently of important covariates and cognitive status.
Triggered star formation in bright-rimmed clouds: the Eagle nebula revisited

A three dimensional Smoothed Particle Hydrodynamical (SPH) model has been extended to study the radiative driven implosion effect of massive stars on the dynamical evolutions of surrounding molecular clouds. The new elements in the upgraded code are the inclusion of Lyman continuum in the incident radiation flux and the trea tment of hydrogen ionisation process; introducing ionisation heating & recombination cooling effects; and adding a proper description of the magnetic and turbulent pressures to the i nternal pressure of the molecular cloud. This extended code provides a realistic model to trace not only the dynamical evolution of a molecular cloud, but also can be used to model the kinematics of the ionisation & shock fronts and the photo-evaporating gas surrounding the molecular cloud, which the previous code is unable to deal with. The application of this newly developed model to the structure of the middle Eagle Nebula finger suggests that the shock induced by the ionising rad iation at the front side of the head precedes an ionisation front moving towards the center of the core, and that the core at the fingertip is at transition stage evolving toward a state of indu ced star formation. The dynamical evolution of the velocity field of the simulated cloud struct ure is discussed to illustrate the role of the self-gravity and the different cloud morphologies which appear at different stages in the evolutionary process of the cloud. The motion of the ionisation front and the evaporating gas are also investigated. The modelled gas evaporation rate is consistent with that of current other models and the density, temperature and chemical profiles ar e agreement with the observed values. The relative lifetimes of different simulated cloud morphologies suggests a possible answer to the question of why more bright-rimmed clouds are observed to possess a flat-core than an elongated-core morphology.
Cox model versus generalized logrank test for time – to – event data with ties

The Cox proportional hazards model is the standard tool for relative risk estimation and inference for survival studies. The generalized logrank (GLR) approach (Mehrotra and Roth, 2001) has been proposed as a more efficient alternative to the Cox model when the number of subjects is small and there are no ties in the data. However, ties will result if continuous data are grouped by rounding to the nearest day, week, etc. This paper investigates the use of bootstrap techniques to improve the efficiency of relative risk estimators and the accuracy of confidence intervals within the GLR framework in the presence of ties. Results from a simulation study are used to compare the Efron ∗Corresponding author’s email address: cstefanescu@london.edu
The Experience of Empathy

Empathy is fundamental for interpersonal relationships, and therapy. There is some theoretical dissensus about its underlying process. This study investigated the lived experience of understanding another person through an innovative combination of qualitative methods. The design involved making video recordings of interpersonal interactions between pairs of volunteers. The recordings were then used for a same-day cued-recall interview. During the interview, both volunteers were asked to discuss their interaction experiences. Four in-depth case studies, involving eight participants, were conducted using this technique. The interviews were then subjected to Interpretative Phenomenological Analysis. The results illuminate the multi-dimensional characteristics of interpersonal understanding. Namely, understanding another person was experienced as a phenomenon with three main aspects to it: 1) intuitive; 2) shared/sympathetic; and 3) imaginative/intellectual. Interestingly, shared/sympathetic and imaginative/intellectual understandings were more strongly connected with insights accessed via verbal communication, and with more self-based understandings. On the other hand, intuitive understandings were typically linked to the nonverbal communication domain, and with more other-based, intersubjective or pre-reflective forms of understanding. We argue that intuitive understandings have been under-represented in the empathy literature, and should be acknowledged as an important experiential component of this phenomenon, to be distinguished from intellectual and sympathetic understandings.
Navigating and interacting indoors with a mobile learning game

The paper reports on the experiences of designing the interface of a mobile learning game. Three system versions were presented to discuss design issues and the results of three trials (the largest with more than 100 users). Eight design implications resulted from those trials. 1) Base the navigation interface on maps designed for walking. 2) Precise zooming is adequate for standing use only; button based coarse zooming is adequate for walking. 3) Good navigation support does not only cover the current situation, but also captures the past and supports planning. 4) Visualise imprecision of location information appropriately. 5) Chat-based communication is inadequate for many game situations. Carefully designed oral communication would be more appropriate in many situations. 6) Embed competitive awareness into the other channels. 7) Design explicitly for standing and walking use. 8) Design systems for user pairs. The design approaches discussed in this paper can also be applied to other mobile applications such as mobile learning in museums, emergency support or tourism.