Miracle-dz/UniFAR-FTUs huggingface dataset:
Towards Scalable Exploration of Diagnoses in an Ontology Stream

Diagnosis, or the process of identifying the nature and cause of an anomaly in an ontology, has been largely studied by the Semantic Web community. In the context of ontology stream, diagnosis results are not captured by a unique fixed ontology but numerous time-evolving ontologies. Thus any anomaly can be diagnosed by a large number of different explana- tions depending on the version and evolution of the ontology. We address the problems of identifying, representing, exploiting and exploring the evolution of diagnoses representations. Our approach consists in a graph-based representation, which aims at (i) efficiently organizing and linking time-evolving di- agnoses and (ii) being used for scalable exploration. The ex- periments have shown scalable diagnoses exploration in the context of real and live data from Dublin City.
Star-Force: A Playful Implementation of the Jedi-force

We introduce Star-force, which is a playful implementation of sci-fi concept The Force, as envisioned in the Star Wars saga. This is achieved via a battle environment instantiated in mixed reality using a video see-through head-mounted display. The "weapons", i.e., the Light-Sabers, Blasters are based on the ESP8266 microcontroller and tracked using makers and external cameras. Through their headsets, users see the virtual Light-Sabers as beams of light emanating from their handheld controllers. Depending on the actions, such as contact between two Light Sabers, we trigger force-feedback on the player's hands via electrical muscle stimulation. This emulates the sensation of the two powerful beams of light hitting each other.
Analysis of aerobic anoxygenic phototrophic bacterial community structure in the different marine functional zones in the Zhoushan Archipelago Sea Area in summer

Aerobic anoxygenic phototrophic bacteria (AAPB) containing bacteriochlorophyll a (BChl a) are photoheterotrophic prokaryotes that are a widely distributed functional bacterial group due to their obligately aerobic and facultative photoheterotrophic abilities. Here, we made a comparison of AAPB community structures in different marine functional zones in the surface water of the Zhoushan Archipelago Sea Area using high-throughput sequencing based on the pufM gene that encodes the M subunit of the light reaction centre complex. A total of 268,214 clean reads were obtained from the sampling stations. The sequences were divided into 5876 OTUs (97% cut-off value). Proteobacteria, Firmicutes, Bacteroidetes and Actinobacteria phyla were noted in this study. Proteobacteria phylum accounted for the major proportion and existed at all sites. Roseobacter-like AAPB was the most abundant genus, in Dongji Island (DJ) and Gouqi Island (GQ). Our results demonstrated that the structure of the AAPB community had different distribution patterns within the Zhoushan Archipelago Sea Area. Furthermore, we found that the diversity of AAPB was controlled by complex environmental factors, which might explain the difficulties encountered when predicting the distribution of total AAPB in aquatic ecosystems.
SI in digital libraries

D igital libraries can be viewed as infra-structures for supporting the creation of information sources, facilitating the movement of information across global networks, and allowing the effective and efficient interaction among knowledge producers , librarians, and information and knowledge seekers. Typically, a digital library is a vast collection of objects stored and maintained by multiple information sources, including databases, image banks, file systems, email systems, the Web, and other methods and formats. Often, these information sources are heterogeneous, in terms of how the objects are stored, organized and managed, and the platforms on which they reside. Moreover, the information sources are dynamic in the sense they may be either included in or removed from the digital library system. Furthermore, digital libraries are composite multimedia objects comprising different media components including text, video, images, or audio. Therefore, the challenge is to provide users with the ability to seamlessly and transparently access digital library objects in spite of the heterogeneity and dynamism among the information sources, and the composite multimedia nature of the objects. To accomplish this, the problem of heterogeneity and SI must first be resolved. Although there have been several techniques proposed by the research community, especially the database and agent communities, these techniques cannot be easily adapted to digital library environments. This is because, while database integration primarily deals with structured textual data, SI in digital libraries requires the ability to deal with massive amount of multimedia objects. In this article, we identify research challenges involved with SI that are specific to digital libraries, discuss the available solutions that meet the digital library requirements and the digital library prototypes, and describe the environmental digital library system under development at the Cen-Issues in SI In general, system integration includes pre-integration , identification of schema matching, schema integration, and source-data integration sub-processes [6, 10]. The pre-integration process deals with transforming the data models used within the underlying information sources into a " common " model. A common model that can represent all the models at the underlying sources is essential to resolving integration problems due to the heterogeneity in data models such as relational, object-oriented, and hierarchical formats. Therefore, the first task in the pre-integration process is to identify the different data models and extract their schema. Since this is normally a one-time task, manual efforts are often used. The next task is to select a data model as the common …
Modeled and Measured Instruction Fetching Performance for Superscalar Microprocessors

Instruction fetching is critical to the performance of a superscalar microprocessor. We develop a mathematical model for three different cache techniques and evaluate its performance both in theory and in simulation using the SPEC95 suite of benchmarks. In all the techniques, the fetching performance is dramatically lower than ideal expectations. To help remedy the situation, we also evaluate its performance using prefetching. Nevertheless, fetching performance is fundamentally limited by control transfers. To solve this problem, we introduce a new fetching mechanism called a dual branch target buffer. The dual branch target buffer enables fetching performance to leap beyond the limitation imposed by conventional methods and achieve a high instruction fetching rate.
A new statistical model for Markovian classification of urban areas in high-resolution SAR images

We propose a classification method suitable for high-resolution synthetic aperture radar (SAR) images over urban areas. When processing SAR images, there is a strong need for statistical models of scattering to take into account multiplicative noise and high dynamics. For instance, the classification process needs to be based on the use of statistics. Our main contribution is the choice of an accurate model for high-resolution SAR images over urban areas and its use in a Markovian classification algorithm. Clutter in SAR images becomes non-Gaussian when the resolution is high or when the area is man-made. Many models have been proposed to fit with non-Gaussian scattering statistics (K, Weibull, Log-normal, Nakagami-Rice, etc.), but none of them is flexible enough to model all kinds of surfaces in our context. As a consequence, we use a mathematical model that relies on the Fisher distribution and the log-moment estimation and which is relevant for one-look data. This estimation method is based on the second-kind statistics, which are detailed in the paper. We also prove its accuracy for urban areas at high resolution. The quality of the classification that is obtained by mixing this model and a Markovian segmentation is high and enables us to distinguish between ground, buildings, and vegetation.
CSP Properties for Quantified Constraints: Definitions and Complexity

Quantified constraints and Quantified Boolean Formulae are typically much more difficult to reason with than classical constraints, because quantifier alternation makes the simple, classical notion of solution inappropriate. As a consequence, even such essential CSP properties as consistency or substitutability are not completely understood in the quantified case. In this paper, we show that most of the properties which are used by solvers for CSP can be generalized to Quantified CSP. We propose a systematic study of the relations which hold between these properties, as well as complexity results regarding the decision of these properties. Finally, and since these problems are typically intractable, we generalise the approach used in CSP and propose weakenings of these notions based on locality, which allow for a tractable, albeit incomplete detecting of these properties.
A test structure for contact and via failure analysis in deep-submicrometer CMOS technologies

Reliability and yield of CMOS integrated circuits are becoming more and more dependent on interconnect elements (contacts, vias, and metal lines). These are therefore considered to represent one of the main limits to the future scaling down of integration processes. Indeed, the continuous growth of semiconductor technology integration density has led to billions of transistorson a single chip and, hence, the evaluation of process yield asks for failure rate sensitivity in the order of 1 fault per billion. This paper presents a test structure which allows evaluating the contribution of interconnects to reliability and manufacturing yield degradation in high-density CMOS technologies. The test structure is based on a suitable array of contacts and vias, and has been conceived to measure the statistical distribution of interconnect failures. The main advantages of the proposed test structure are: the reduced number of test pads required measuring an extremely high amount of contacts and vias; the high sensitivity, which allows also resistive contacts or vias to be identified; and the possibility to determine the physical location of interconnect faults, thus simplifying the subsequent physical failure analysis. The test structure was integrated in 130 nm CMOS technology. Experimental results demonstrate the effectiveness of the proposed solution.
Multiparametric prostate magnetic resonance imaging in the evaluation of prostate cancer

Imaging has traditionally played a minor role in the diagnosis and staging of prostate cancer. However, recent controversies generated by the use of prostate‐specific antigen (PSA) screening followed by random biopsy have encouraged the development of new imaging methods for prostate cancer. Multiparametric magnetic resonance imaging (mpMRI) has emerged as the imaging method best able to detect clinically significant prostate cancers and to guide biopsies. Here, the authors explain what mpMRI is and how it is used clinically, especially with regard to high‐risk populations, and we discuss the impact of mpMRI on treatment decisions for men with prostate cancer. CA Cancer J Clin 2016;66:326‐336. © 2015 American Cancer Society
Robot-Aided Neurorehabilitation: A Novel Robot for Ankle Rehabilitation

In this paper, we present the design and characterization of a novel ankle robot developed at the Massachusetts institute of technology (MIT). This robotic module is being tested with stroke patients at Baltimore Veterans administration medical center. The purpose of the on-going study is to train stroke survivors to overcome common foot drop and balance problems in order to improve their ambulatory performance. Its design follows the same guidelines of our upper extremity designs, i.e., it is a low friction, backdriveable device with intrinsically low mechanical impedance. Here, we report on the design and mechanical characteristics of the robot. We also present data to demonstrate the potential of this device as an efficient clinical measurement tool to estimate intrinsic ankle properties. Given the importance of the ankle during locomotion, an accurate estimate of ankle stiffness would be a valuable asset for locomotor rehabilitation. Our initial ankle stiffness estimates compare favorably with previously published work, indicating that our method may serve as an accurate clinical measurement tool.
On the Efficiency of Public Higher Education Institutions in Portugal: An Exploratory Study

In a context of financial stringency like that characterizing the current economic land-scape in Portugal and in several other countries, accountability and efficiency questions gain an additional relevance in the higher education sector. In this paper we apply DEA techniques to evaluate the comparative efficiency of public higher education institutions in Portugal. The analysis is performed for three separate groups: public universities, public polytechnics and the several faculties of University of Porto. By using several inputs and outputs at the institutional-level, we are able to identify the most technically efficient institutions that may work as benchmark in the sector. The results suggest that a great portion of institutions may be working inefficiently, contributing to a significant waste of resources. This exploratory study is a first step towards a deeper understanding of the efficiency deter-minants of higher education institutions.
Context-sensitive spatio-temporal memory

The proposed model, called the combinatorial and competitive spatia-temporal memory or CCSTM, provides an elegant solution to the general problem of having to store and recall spatia-temporal patterns in which states or sequences of states can recur in various contexts. For example, fig. I shows two state sequences that have a common subsequence, C and D. The CCSTM assumes that any state has a distributed representation as a collection of features. Each feH . ture has an associated competitive nwdule (CM) containing ]{ cells. On any given occurrence of a particular feature, A, exactly one of the cells in CMA will be chosen to represent it. It is t.he particular set of cells active on the previous time step that determines which cells are chosen to represent instances of their associated features on the current time step. If we assume that typically S features are active in any state then any state has 1(8 different neural representations. This huge space of possible neural representations of any state is what. underlies the model's ability to store and recall numerous context-sensitive state sequences. The purpose of this paper is simply to describe this mechanism.
Multidimensional Rain Attenuation Stochastic Dynamic Modeling: Application to Earth–Space Diversity Systems

A stochastic dynamic model for the induced rain attenuation on multiple radio links is presented in this paper. The model is considered as a generalization of the well-known and well-accepted Maseng–Bakken model in $n$-dimensions. It incorporates the spatial and time behavior of the rain attenuation phenomena and provides an analytical expression for the transition probability distribution. It consists of a system of stochastic differential equations (SDEs), which, except for the solid mathematical formulation of the correlated rain attenuation stochastic processes, constitutes the general framework for the calculation of other statistical quantities useful for the radio system designers. The long-term statistics and the dynamic properties of rain attenuation are used for the parameterization of the model, without the constraint of any built-in assumptions of the rain field. Finally, the proposed model is used for the generation of correlated rain attenuation time series on multiple satellite communication slant paths and especially to diversity schemes, including site and orbital (angle) diversity. The derived results from the model are tested with respect to experimental long-term statistics for various geometries with very encouraging results. The limitations and the ranges of applicability of the model for Earth–space diversity systems are reported, and the sensitivity of the model on the crucial parameters is discussed.
Doing reintegration? The quest for reintegration in Belgian sentence implementation

In this article, we aim to achieve a better understanding of reintegration in Belgian sentence implementation. In concreto, we ask the question if Belgian sentence implementation courts ‘are doing reintegration’. Our analyses suggest the existence of a reintegrated-oriented decision-making process emphasising the strengthening of the social capital of the offender and enabling reintegration. Notwithstanding, we identify some barriers to reintegration. Firstly, we describe how the quest for reintegration is constantly interwoven with a more risk-based approach. As a result, ‘doing reintegration’ becomes subordinated by risk, wherefore the fundamental social right of reintegration is reduced to a conditional right only applicable if the offender displays certain needs, poses an acceptable risk and/or is prepared to take responsibility for this actions. Secondly, we argue how the members of the sentence implementation courts believe in ‘psychological individualism’ and project their middle class values and expectations of how someone should live on the offender, further narrowing the scope of this concept. We finish our analysis by identifying some external and structural aspects withholding the sentence implementation courts in ‘doing reintegration’, leading to a nuanced argument arguing that Belgian sentence implementation courts are not doing reintegration, although they believe they are (trying)…
Dynamic interactions of the HIV-1 Tat with nucleic acids are critical for Tat activity in reverse transcription

The HIV-1 transactivator of transcription (Tat) protein is thought to stimulate reverse transcription (RTion). The Tat protein and, more specifically, its (44–61) domain were recently shown to promote the annealing of complementary DNA sequences representing the HIV-1 transactivation response element TAR, named dTAR and cTAR, that plays a key role in RTion. Moreover, the kinetic mechanism of the basic Tat(44–61) peptide in this annealing further revealed that this peptide constitutes a representative nucleic acid annealer. To further understand the structure–activity relationships of this highly conserved domain, we investigated by electrophoresis and fluorescence approaches the binding and annealing properties of various Tat(44–61) mutants. Our data showed that the Tyr47 and basic residues of the Tat(44–61) domain were instrumental for binding to cTAR through stacking and electrostatic interactions, respectively, and promoting its annealing with dTAR. Furthermore, the annealing efficiency of the mutants clearly correlates with their ability to rapidly associate and dissociate the complementary oligonucleotides and to promote RTion. Thus, transient and dynamic nucleic acid interactions likely constitute a key mechanistic component of annealers and the role of Tat in the late steps of RTion. Finally, our data suggest that Lys50 and Lys51 acetylation regulates Tat activity in RTion.
Unobtrusive Interaction for Wearable Computing

Interaction with wearable devices such as smartglasses is yet a problem. While the input space is limited, the interaction itself can have strong social implications in public spaces. Missing social conventions and technology apprehension can affect the users willingness to perform interaction in public. One possible way to address this, is to reach for preferably unobtrusive interactions that do not cast a lot of attention upon the user. Social acceptance may then rise due to continued exposure with the technology.
Contact dermatitis from didecyldimethylammonium chloride and bis‐(aminopropyl)‐laurylamine in a detergent‐disinfectant used in hospital

Case Report A 24-year-old woman, a hospital employee for 2 years, with no history of atopy, presented with a 2-month history of dermatitis of the dorsum of the hands and wrists, which occurred during the course of her work. She had also presented with a facial dermatitis, with involvement of the eyelids and conjunctivitis, 1 month before. Results of patch testing are reported in Table l. 7 months later, she was working in a new location, and had no more direct contact with detergent-disinfectant. However, she presented again with involvement of the eyelids, face, and arms (exposed parts). The day before, her colleagues had used detergent-disinfectant no. 1 in the room where she worked. She had then to wait for complete dryness of the floor, otherwise she presented with new episodes, requiring systemic corticosteroid treatment because of the severity of the symptoms. Results of patch testing are reported in Table 2. The patient was then patch tested to bis-(aminopropyl)laurylamine at lower concentrations (Table 3). 20 controls, unexposed to risk, were patch tested with didecyldimethylammonium chloride (DDAC) (0.01% aq.) and bis-(aminopropyl)-laurylamine (0.01% aq.), and were negative.
Lack of Predictive Value of the Epworth Sleepiness Scale in Patients after Uvulopalatopharyngoplasty

The Epworth Sleepiness Scale (ESS) has been recognized as a valid measure of sleep propensity. Statistically significant correlations between ESS scores, the respiratory disturbance index (RDI), and the lowest arterial oxygen saturation (LSAT) have been described in patients with surgically untreated obstructive sleep apnea (OSA). We investigated whether the same relationships hold true after uvulopalatopharyngoplasty (UPPP). Forty-two adults with documented OSA treated by UPPP were reevaluated with the ESS questionnaire and 8-hour diagnostic nocturnal polysomnography (nPSG). We found no significant correlation between the ESS scores and the RDI or LSAT in patients after UPPP. Because postoperative ESS scores do not correlate with the RDI or LSAT, we conclude that the ESS is not a reliable surrogate for nPSG testing.
The NRF2 Activation and Antioxidative Response Are Not Impaired Overall during Hyperoxia-Induced Lung Epithelial Cell Death

Lung epithelial and endothelial cell death caused by pro-oxidant insults is a cardinal feature of acute lung injury/acute respiratory distress syndrome (ALI/ARDS) patients. The NF-E2-related factor 2 (NRF2) activation in response to oxidant exposure is crucial to the induction of several antioxidative and cytoprotective enzymes that mitigate cellular stress. Since prolonged exposure to hyperoxia causes cell death, we hypothesized that chronic hyperoxia impairs NRF2 activation, resulting in cell death. To test this hypothesis, we exposed nonmalignant small airway epithelial cells (AECs) to acute (1–12 h) and chronic (36–48 h) hyperoxia and evaluated cell death, NRF2 nuclear accumulation and target gene expression, and NRF2 recruitment to the endogenous HMOX1 and NQO1 promoters. As expected, hyperoxia gradually induced death in AECs, noticeably and significantly by 36 h; ~60% of cells were dead by 48 h. However, we unexpectedly found increased expression levels of NRF2-regulated antioxidative genes and nuclear NRF2 in AECs exposed to chronic hyperoxia as compared to acute hyperoxia. Chromatin Immunoprecipitation (ChIP) assays revealed an increased recruitment of NRF2 to the endogenous HMOX1 and NQO1 promoters in AECs exposed to acute or chronic hyperoxia. Thus, our findings demonstrate that NRF2 activation and antioxidant gene expression are functional during hyperoxia-induced lung epithelial cell death and that chronic hyperoxia does not impair NRF2 signaling overall.