Miracle-dz/UniFAR-FTUs huggingface dataset:
Temporal Query Answering in DL-Lite

Context-aware applications try to detect specific situations within a changing environment (e.g. a computer system or air traffic observed by radar) in order to react accordingly. To gain information, the environment is observed by sensors (for a computer system, data about its resources is gathered by the operating system), and the results of sensing are stored in a database. A context-aware application then detects specific predefined situations based on this data (e.g. a high system load) and executes some action (e.g. increases the CPU frequency). In a simple setting, such an application can be realized by using standard database techniques: the sensor information is stored in a database, and the situations to be recognized are specified as database queries [1]. However, we cannot assume that the sensors provide a complete description of the current state of the environment. Thus, the closed world assumption employed by database systems (i.e. facts not present in the database are assumed to be false) is not appropriate since there may be facts of which the truth is not known. For example, a sensor for certain information might not be available for a moment or not even exist. In addition, though a complete specification of the environment usually does not exist, often some knowledge about its behavior is available. This knowledge can be used to formulate constraints on the interpretation of the predicates used in the queries, to detect more complex situations. In ontology-based data access (OBDA) [8], domain knowledge is encoded in ontologies using a description logic (DL). In this paper, we consider logics of the DL-Lite family, which are lightweight DLs with a low complexity for many reasoning problems [8]. In order to recognize situations that evolve over time, we propose to add a temporal logical component to the queries. We use the operators of the temporal logic LTL, which allows to reason about a linear and discrete flow of time [17]. Usual temporal operators include next (#φ), eventually (3φ), and always (2φ), asserting that a property φ is true at the next point in time, at some point in the future, and at all time points in the future, respectively. We also use the corresponding past operators #−, 3−, and 2−. Consider, for example, a collection of servers providing several services. An important task is to migrate services between servers to balance the load. To decide when to migrate, we want to detect certain critical situations. We consider a process to be critical if it has an increasing workload, and at the same time the
Choice Theory: A New Psychology of Personal Freedom

Glasser has worked with choice theory for half of his 40 years of psychiatric practice. Basically, choice theory helps its users avoid confrontation and ask pertinent questions. It sees conscious or unconscious desire for external control as the main problem in the four major personal relationships: husband-wife, parent-child, teacher-student, and manager-worker. If you think you can control others, it counsels, you are in for trouble, for the only person you can control is yourself. So all personal problems are both present problems and relationship problems. Glasser urges anyone in a relationship to ask, before taking a step, whether that step will keep the two related persons at least as close together as they are now; if it will, it may be worth taking. Combining choice theory and reality therapy in his practice, Glasser has been able to shorten the durations of his treatment programs substantially. As he presents them here, his theories and approaches can be applied in education and business as well as for self-help.
Exploring consumptive moments of value-creating practice in online community

Conceptual blind spots persist when it comes to understanding the value of consumptive dimensions of participation, such as lurking, in online community. This article uses a practice-theoretical lens to conceptualize the consumptive moments of online community practices and explores how they shape different value outcomes. Building on a mixed-method investigation through two studies within an online gardening community, findings reveal two specific consumptive moments, direct and vicarious, and their differential role in the creation of community engagement and vitality. These findings suggest that lurking is not adequately described as a unidimensional construct, but is best understood as vicarious consumptive moments of specific online community practices with distinctive value outcomes. Implications for research on online consumption community are discussed.
Effect of Alternating Current on the Cathodic Protection and Interface Structure of X80 Steel

This study employs potential-monitoring techniques, cyclic voltammetry tests, alternating current (AC) voltammetry methods, and surface characterization to investigate the AC corrosion of cathodically protected X80 pipeline steel. In a non-passive neutral solution at pH 7.2, a sufficiently negative potential completely protects steel at an AC current density of 100 A/m2. In an alkaline solution at pH 9.6, more serious AC corrosion occurs at more negative cathodic protection (CP) potential, whereas without CP the steel suffers negligible corrosion. In addition, the interface capacitance increases with AC amplitude. Based on these results, the AC corrosion mechanisms that function under various conditions are analyzed and described.
Bioreductive activation of a series of analogues of 5-aziridinyl-3-hydroxymethyl-1-methyl-2-[1H-indole-4, 7-dione] prop-beta-en-alpha-ol (EO9) by human DT-diaphorase.

The enzyme DT-diaphorase (NAD(P)H:quinone acceptor oxidoreductase, EC 1.6. 99.2. ; DTD) is believed to be a good target for enzyme-directed bioreductive drug development because elevated levels of enzyme activity have been described in several human tumour types and it plays a key role in the bioreductive activation of several quinone-based anticancer drugs. As part of an ongoing program to develop new bioreductive drugs, the ability of a series of indoloquinone compounds to serve as substrates for and to be bioreductively activated by purified recombinant human DTD was investigated. Of the seven compounds evaluated, EO9, EO68 and EO4 were substrates for human DTD, but only EO4 was reduced to a DNA cross-linking species, and this DNA damage was both concentration dependent and inhibited by dicoumarol. A broad spectrum of chemosensitivity was observed in the H460 non-small cell lung cancer cell line, with the most potent compounds being EO4 (IC50 = 23.9 nM), EO9 (IC50 = 34.5 nM) and EO68 (IC50 = 37.8 nM). Relatively minor structural changes resulted in major changes in both substrate specificity and cytotoxic potency. Comparative chemosensitivity studies demonstrated that EO4, EO9 and EO68 are preferentially toxic towards DTD-rich H460 cells compared with DTD-deficient H596 cells (ratio of IC50 values for H596 cells to H460 cells were 113.8, 92.2 and 103.9 respectively). In conclusion, this study has identified two new compounds that are substrates for human DTD, one of which (EO4) is reduced to a DNA cross-linking species. Further studies in a broad panel of cell lines and human tumour xenografts are warranted for EO4 and EO68 based upon the result of this study.
A critique of models for body composition and energy-balance components in childhood and adolescence

It is well known that, in Western countries, people of all ages and both sexes are becoming ‘fatter’ in general. In a ‘healthy’ population, we arbitrarily consider cut-offs to be that 10% of people should be ‘overweight’ and 5% ‘obese’, as there is limited evidence that these cut-off points are related to ill-health. However, we are seeing a dramatic rise in the numbers of people in each of these categories. The mechanism behind weight gain is energy-imbalance. At energy-balance for adults - i.e. where weight is expected to remain stable over time, we know that: energy intake (EI) = energy expenditure (EE) This equation is far less straightforward than it first appears. The first important issue is that EE has several different components (e.g. resting EE). The second issue is to do with measurement - how do we measure energy intake and energy expenditure? Another is down to physiological differences between people - how do things vary between individuals and do they differ systematically between males and females, adults and children? The above equation applies to adults, but we know that children and adolescents actually require a positive imbalance for healthy growth - what is not known is what degree of positive imbalance is healthy. This thesis is particularly concerned with energy-balance and imbalance during puberty, at which time the human body goes through extreme changes. We investigate how these changes are measured, and how energy-imbalance and the modelling thereof must change across this time. We will show that the proportions of children who are overweight and obese are higher than we would expect; commonly used models for body composition are not in agreement; commonly used models for resting energy expenditure are not in agreement; children do not need a high energy-imbalance for normal growth; and those girls with early menarche are more likely to become overweight than their counterparts.
First Beam Test Characterisation of a 3D-stc Silicon Short Strip Detector

The planned upgrade to the CERN Large Hadron Collider (LHC), the Super-LHC (sLHC) will increase its luminosity by a factor of ten. This necessitates the development of silicon tracking detectors that are significantly more radiation resistant than the ones employed at the LHC. Currently, new detector technologies are being developed to cope with the increased levels of radiation damage at the sLHC. A possible radiation hard option for silicon short strip devices (SSD) in the inner layers of sLHC trackers are 3-D detectors with rows of columnar electrodes processed into the bulk material. These are joined together to form strips. While the excellent radiation hardness of this design has been proven before in lab experiments, a 3-D SSD prototype has now been investigated for the first time in a beam test with pions of a nominal energy of 180 GeV. The use of analog LHC-speed electronics, a beam telescope and time-resolved measurements allowed for detailed studies of the signal behavior on the hit strip and its neighboring strips. Charge collection and efficiency were as well measured with respect to time and point of incidence of the beam particles on the detector. The results of these measurements are presented in this paper.
Import Competition from and Outsourcing to China: A Curse or Blessing for Firms?

We use Belgian manufacturing firm-level data over the period 1996-2007 to analyze the impact of imports from different origins on firm growth, exit, and skill upgrading. For this purpose we use both industry-level and firm-level imports by country of origin and distinguish between firm-level outsourcing of final versus intermediate goods. Results indicate that China is different from both other low-wage and OECD countries. Industry-level import competition and firm-level outsourcing to China reduce firm employment growth and induce skill upgrading. In contrast, industry-level imports have no effect on Belgian firm survival, while firm-level outsourcing of finished goods to China even increased firm's probability of survival. In terms of skill upgrading, the effect of Chinese imports is large. Import competition from China accounts for 42% (20%) of the within firm increase in the share of skilled workers (non-production workers) in Belgian manufacturing over the period of our analysis, but these effects, as well as the employment reducing effect, remain mainly in low-tech industries. Firm-level outsourcing to China further accounts for a small but significant increase in the share of non-production workers. This change in employment structure is in line with predictions of recent model of trade-induced technological change and offshoring.
Customer Relationship Management: Its Dimensions and Effect on Customer Outcomes

Despite the rapidly growing customer relationship management (CRM) literature, the dimensions of CRM and their effects on customer outcomes remain equivocal. In this research, we first identify the requisite activities for effective CRM implementation. We then investigate their effect on customer satisfaction, customer retention, and sales growth. Results indicate that managers need to think beyond the technological components of CRM and focus on four key CRM dimensions to significantly enhance customer loyalty and sales growth. In our analysis and discussion, we examine the expanding role of salespeople in successful CRM implementation and outcomes.
Clinico-pathology of lung cancer in a regional cancer center in Northeastern India.

BACKGROUND Globally, there have been important changes in trends amongst gender, histology and smoking patterns of lung cancer cases. MATERIALS AND METHODS This retrospective study was conducted on 466 patients with lung cancer who were registered in Regional Cancer Center, Regional Institute of Medical Sciences, Manipur from January 2008 to December 2012. RESULTS Most were more than 60 years of age (67.8%) with a male: female ratio of 1.09:1. Some 78.8% of patients were chronic smokers with male smoker to female smoker ratio of 1.43:1. Consumption of alcohol was found in 29.4%, both smoking and alcohol in 27.5%, betel nut chewing in 37.9% and tobacco chewing in 25.3%. A history of tuberculosis was present in 16.3% of patients. The most frequent symptom was coughing (36.6%) and most common radiological presentation was a mass lesion (70%). Most of the patients had primary lung cancer in the right lung (60.3%). The most common histological subtype was squamous cell carcinoma (49.1%), also in the 40-60 year age group (45.9%), more than 60 year age group (51.6%), males (58.1%) and females (41.8%). As many as 91.9% of squamous cell carcinoma patients had a history of smoking. About 32.5% of patients had distant metastasis at presentation with brain (23.8%) and positive malignant cells in pleural effusions (23.1%) as common sites. The majority of patients were in stage III (34.4%), stage IV (32.5%) and stage II (30.2%). CONCLUSIONS Our analysis suggests that the gender gap has been narrowed such that about half of the patients diagnosed with lung cancer are women in this part of India. This alarming rise in female incidence is mainly attributed to an increased smoking pattern. Squamous cell carcinoma still remains the commonest histological subtype. Most of the patients were elderly aged and presented at locally or distantly advanced stages.
Equity prices as leading indicators: the Asian experience

Formulating monetary policy inevitably requires making predictions about the economy. This has become increasingly true as central banks have moved away from policies based on the management of intermediate targets (e.g., money or exchange rates) and toward frameworks defined in terms of the ultimate policy objectives (i.e., output and inflation targets), using indicators or information variables to guide policy toward those objectives. This shift is most explicit in inflation targeting (IT) regimes since, as emphasized by Svensson (1997), forecasts of output and inflation are essential ingredients in the implementation of IT – and publishing those forecasts is de rigueur for inflation targeters. While less explicit, economic forecasts are also central to the policy process of central banks that do not formally adhere to IT, such as the US Federal Reserve.
Dietary Levels of Pure Flavonoids Improve Spatial Memory Performance and Increase Hippocampal Brain-Derived Neurotrophic Factor

Evidence suggests that flavonoid-rich foods are capable of inducing improvements in memory and cognition in animals and humans. However, there is a lack of clarity concerning whether flavonoids are the causal agents in inducing such behavioral responses. Here we show that supplementation with pure anthocyanins or pure flavanols for 6 weeks, at levels similar to that found in blueberry (2% w/w), results in an enhancement of spatial memory in 18 month old rats. Pure flavanols and pure anthocyanins were observed to induce significant improvements in spatial working memory (p = 0.002 and p = 0.006 respectively), to a similar extent to that following blueberry supplementation (p = 0.002). These behavioral changes were paralleled by increases in hippocampal brain-derived neurotrophic factor (R = 0.46, p<0.01), suggesting a common mechanism for the enhancement of memory. However, unlike protein levels of BDNF, the regional enhancement of BDNF mRNA expression in the hippocampus appeared to be predominantly enhanced by anthocyanins. Our data support the claim that flavonoids are likely causal agents in mediating the cognitive effects of flavonoid-rich foods.
Constrained linear system under disturbance feedback: Convergence with probability one

This paper considers a control parametrization under Model Predictive Control framework for constrained linear discrete time systems with bounded additive disturbances. Like the control parametrization in recent literature, the proposed parametrization uses affine disturbance feedback but includes an additional term. As a result, the parametrization has the same representative ability but has a different closed-loop convergence property. More exactly, the state of the closed-loop system converges to the minimal invariant set with probability one. Deterministic convergence to the same set is also possible if a less intuitive cost function is utilized. Numerical experiments are provided that validate the results.
Genetic Testing and Genetic Counseling for Deafness: The Future Is Here

Today, genetic testing is an option for individuals who have deafness and hard‐of‐hearing conditions (D/HOH) and their families for diagnosis and carrier detection. As more and more D/HOH genes are identified, genetic testing will become commonplace. However, genetic testing is different from other tests that physicians commonly order and therefore should be conducted differently. The objective of this study was to determine the best manner in which to conduct genetic testing for individuals who have D/HOH.
The Physiological and Biochemical Responses of a Medicinal Plant (Salvia miltiorrhiza L.) to Stress Caused by Various Concentrations of NaCl

Salvia miltiorrhiza, which is commonly known as Danshen, is a traditional Chinese herbal medicine. To illustrate its physiological and biochemical responses to salt stress and to evaluate the feasibility of cultivating this plant in saline coastal soils, a factorial experiment under hydroponic conditions was arranged on the basis of a completely randomised design with three replications. Five salinity treatments (0, 25, 50, 75 and 100 mM NaCl) were employed in this experiment. The results showed that salinity treatments of <100 mM NaCl did not affect the growth of Salvia miltiorrhiza in a morphological sense, but significantly inhibit the accumulation of dry matter. Salinity treatments significantly decreased the Chl-b content but caused a negligible change in the Chl-a content, leading to a conspicuous overall decrease in the T-Chl content. The Na+ content significantly increased with increasing hydroponic salinity but the K+ and Ca2+ contents were reversed, indicating that a high level of external Na+ resulted in a decrease in both K+ and Ca2+ concentrations in the organs of Salvia miltiorrhiza. Salt stress significantly decreased the superoxide dismutase (SOD) activity of Salvia miltiorrhiza leaves in comparison with that of the control. On the contrary, the catalase (CAT) activity in the leaves markedly increased with the increasing salinity of the hydroponic solution. Moreover, the soluble sugar and protein contents in Salvia miltiorrhiza leaves dramatically increased with the increasing salinity of the hydroponic solution. These results suggested that antioxidant enzymes and osmolytes are partially involved in the adaptive response to salt stress in Salvia miltiorrhiza, thereby maintaining better plant growth under saline conditions.
Prevalence and Predictors of “Small Size” Babies in Ethiopia: In-depth Analysis of the Ethiopian Demographic and Health Survey, 2011

Background Low Birth Weight (LBW) babies account for nearly 80% of neonatal deaths globally. In Ethiopia, only 5% of them are weighed at birth. This study analyzes the prevalence and key proximate determinants of reported infant size, and its validity to use as a proxy indicator for low birth weight inthe Ethiopian context. Methods In-depth analysis of the Ethiopian Demographic and Health Survey dataset was conducted using representative data collected from all regions in the country. Considering reported fetal size at birth as an outcome variable, key predicting variables from socio-demographic, household, child and obstetric characteristics were employed for analyses. Chi-square test and multivariate logistic regression model were used to determine predictors at p value < 0.05. Results An average of 29.1% of Ethiopian babies were reported “small” at birth in 2011. various variables from socio-demographic, household, child and maternal reproductive characteristics were identified as key predictors. Women who develop anemia and not attending antenatal care during pregnancy had 15% and 41% more risk of giving birth to the reported “small size” babies than their counterparts (AoR = 1.15, and 1.41, 95% CI (1.02, 1.64 and 1.06, 1.88) respectively. Maternal age at delivery, maternal literacy level, paternal educational status and presence of radio or television in the household and other factors were also other key predictors identified. Conclusion The prevalence of small size babies in Ethiopia is high but comparable to regional estimates of LBW. It is recommend that improving maternal nutritional and socio-economic status is a timely intervention to tackle the problem.
Reading in the brain of children and adults: A meta‐analysis of 40 functional magnetic resonance imaging studies

We used quantitative, coordinate‐based meta‐analysis to objectively synthesize age‐related commonalities and differences in brain activation patterns reported in 40 functional magnetic resonance imaging (fMRI) studies of reading in children and adults. Twenty fMRI studies with adults (age means: 23–34 years) were matched to 20 studies with children (age means: 7–12 years). The separate meta‐analyses of these two sets showed a pattern of reading‐related brain activation common to children and adults in left ventral occipito‐temporal (OT), inferior frontal, and posterior parietal regions. The direct statistical comparison between the two meta‐analytic maps of children and adults revealed higher convergence in studies with children in left superior temporal and bilateral supplementary motor regions. In contrast, higher convergence in studies with adults was identified in bilateral posterior OT/cerebellar and left dorsal precentral regions. The results are discussed in relation to current neuroanatomical models of reading and tentative functional interpretations of reading‐related activation clusters in children and adults are provided. Hum Brain Mapp 36:1963–1981, 2015. © 2015 The Authors Human Brain Mapping Published by Wiley Periodicals, Inc.
Predictive sequential associative cache

In this paper we propose a cache design that provides the same miss rate as a two-way set associative cache, but with an access time closer to a direct-mapped cache. As with other designs, a traditional direct-mapped cache is conceptually partitioned into multiple banks, and the blocks in each set are probed, or examined, sequentially. Other designs either probe the set in a fixed order or add extra delay in the access path for all accesses. We use prediction sources to guide the cache examination, reducing the amount of searching and thus the average access latency. A variety of accurate prediction sources are considered, with some being available in early pipeline stages. We feel that our design offers the same or better performance and is easier to implement than previous designs.