Miracle-dz/UniFAR-FTUs huggingface dataset:
Hybrid Control in Air Traac Management Systems

In a new collaborative project involving the we have begun the study of hierarchical, hybrid control systems in the framework of air traac management systems (ATMS). The need for a new ATMS arises from the overcrowding of large urban airports and the need to more eeciently land and take oo larger numbers of aircraft, without building new runways. Technological advances that make a more advanced air traac control system a reality include the availability of relatively inexpensive and fast real time computers both on board the aircraft and in the control tower. The usefulness of these technological advances is currently limited by today's air traac control system, which involves the use of \freeways" in the Terminal RADAR Approach Control (TRACON) region around urban airports. These freeways are set approach patterns to runways which do not allow for the possibility of so-called \free ight" by an aircraft to its destination. Limiting the aircraft trajectories in this manner results in the addition of both planned and unplanned delays to air travel.
Overexpression of a Novel Class of Gibberellin 2-Oxidases Decreases Gibberellin Levels and Creates Dwarf Plants Article, publication date, and citation information can be found at www.plantcell.org/cgi/doi/10.1105/tpc.005975.

Degradation of active C19-gibberellins (GAs) by dioxygenases through 2β-hydroxylation yields inactive GA products. We identified two genes in Arabidopsis (AtGA2ox7 and AtGA2ox8), using an activation-tagging mutant screen, that encode 2β-hydroxylases. GA levels in both activation-tagged lines were reduced significantly, and the lines displayed dwarf phenotypes typical of mutants with a GA deficiency. Increased expression of either AtGA2ox7 or AtGA2ox8 also caused a dwarf phenotype in tobacco, indicating that the substrates for these enzymes are conserved. AtGA2ox7 and AtGA2ox8 are more similar to each other than to other proteins encoded in the Arabidopsis genome, indicating that they may constitute a separate class of GA-modifying enzymes. Indeed, enzymatic assays demonstrated that AtGA2ox7 and AtGA2ox8 both perform the same GA modification: 2β-hydroxylation of C20-GAs but not of C19-GAs. Lines containing increased expression of AtGA2ox8 exhibited a GA dose–response curve for stem elongation similar to that of the biosynthetic mutant ga1-11. Double loss-of-function Atga2ox7 Atga2ox8 mutants had twofold to fourfold higher levels of active GAs and displayed phenotypes associated with excess GAs, such as early bolting in short days, resistance to the GA biosynthesis inhibitor ancymidol, and decreased mRNA levels of AtGA20ox1, a gene in the GA biosynthetic pathway.
Lymphangiogenesis in Regional Lymph Nodes Is an Independent Prognostic Marker in Rectal Cancer Patients after Neoadjuvant Treatment

One of the major prognostic factors in rectal cancer is lymph node metastasis. The formation of lymph node metastases is dependent on the existence of a premetastatic niche. An important factor preceding metastasis are lymph vessels which are located in the lymph node. Accordingly, the occurrence of intranodal lymphangiogenesis is thought to indicate distant metastasis and worse prognosis. To evaluate the significance of lymph node lymphangiogenesis, we studied formalin fixed, paraffin embedded adenocarcinomas and regional lymph nodes of 203 rectal cancer patients who were treated with neoadjuvant radiochemotherapy and consecutive curative surgery with cancer free surgical margins (R0). Regional lymph node lymph vessels were detected by immunohistochemistry for podoplanin (D2-40). Our results show that the presence of lymphatic vessels in regional lymph nodes significantly affects the disease-free survival in univariate and multivariate analyses. In contrast, there was no correlation between peritumoral or intratumoral lymph vessel density and prognosis. Indeed, our study demonstrates the importance of lymphangiogenesis in regional lymph nodes after neoadjuvant radiochemotherapy and consecutive surgery as an independent prognostic marker. Staining for intranodal lymphangiogenesis and methods of intravital imaging of lymphangiogenesis and lymphatic flow may be a useful strategy to predict long-term outcome in rectal cancer patients. Furthermore, addition of VEGF-blocking agents to standardized neoadjuvant treatment schemes might be indicated in advanced rectal cancer.
Low Complexity FPGA Implementation of Emotion Detection for Autistic Children

Many autistic children have impairment in understanding other people's emotions which hinder their interpersonal communication. A real-time portable emotion detection system will aid such children to interact with the external world easily by them to understand facial emotions during their face to face communication. In this paper we propose a portable low complexity emotion detector using principal component analysis. The Eigen values are obtained using power-deflation iteration method and the proposed architecture optimizes the calculation by using only the required number of selective Eigen values called as Eigen range rather than finding all the Eigen values and vectors. The proposed emotion recognizer architecture is implemented on Virtex 7 XC7VX330T FFG1761-3 FPGA. We achieved 82.3 % detection accuracy for a wordlength of 8 bits.
Fusing automatically extracted annotations for the Semantic Web

This research focuses on the problem of semantic data fusion. Although various solutions have been developed in the research communities focusing on databases and formal logic, the choice of an appropriate algorithm is non-trivial because the performance of each algorithm and its optimal configuration parameters depend on the type of data, to which the algorithm is applied. In order to be reusable, the fusion system must be able to select appropriate techniques and use them in combination. Moreover, because of the varying reliability of data sources and algorithms performing fusion subtasks, uncertainty is an inherent feature of semantically annotated data and has to be taken into account by the fusion system. Finally, the issue of schema heterogeneity can have a negative impact on the fusion performance. To address these issues, we propose KnoFuss: an architecture for Semantic Web data integration based on the principles of problem-solving methods. Algorithms dealing with different fusion subtasks are represented as components of a modular architecture, and their capabilities are described formally. This allows the architecture to select appropriate methods and configure them depending on the processed data. In order to handle uncertainty, we propose a novel algorithm based on the Dempster-Shafer belief propagation. KnoFuss employs this algorithm to reason about uncertain data and method results in order to refine the fused knowledge base. Tests show that these solutions lead to improved fusion performance. Finally, we addressed the problem of data fusion in the presence of schema heterogeneity. We extended the KnoFuss framework to exploit results of automatic schema alignment tools and proposed our own schema matching algorithm aimed at facilitating data fusion in the Linked Data environment. We conducted experiments with this approach and obtained a substantial improvement in performance in comparison with public data repositories.
Predictive dynamic thermal management for multicore systems

Recently, processor power density has been increasing at an alarming rate resulting in high on-chip temperature. Higher temperature increases current leakage and causes poor reliability. In this paper, we propose a Predictive Dynamic Thermal Management (PDTM) based on Application-based Thermal Model (ABTM) and Core-based Thermal Model (CBTM) in the multicore systems. ABTM predicts future temperature based on the application specific thermal behavior, while CBTM estimates core temperature pattern by steady state temperature and workload. The accuracy of our prediction model is 1.6% error in average compared to the model in HybDTM, which has at most 5% error. Based on predicted temperature from ABTM and CBTM, the proposed PDTM can maintain the system temperature below a desired level by moving the running application from the possible overheated core to the future coolest core (migration) and reducing the processor resources (priority scheduling) within multicore systems. PDTM enables the exploration of the tradeoff between throughput and fairness in temperature-constrained multicore systems. We implement PDTM on Intel's Quad-Core system with a specific device driver to access Digital Thermal Sensor (DTS). Compared against Linux standard scheduler, PDTM can decrease average temperature about 10%, and peak temperature by 5degC with negligible impact of performance under 1%, while running single SPEC2006 benchmark. Moreover, our PDTM outperforms HRTM in reducing average temperature by about 7% and peak temperature by about 3degC with performance overhead by 0.15% when running single benchmark.
Intrusion Detection System Based On Conditional Random Fields

An intrusion detection system is used to monitor network traffic, check for suspicious activities and notifies the network administrator or the systemTo operate in high speed networks, present network intrusion detection systems are either signature based or anomaly based system. These systems are inefficient and suffer from a large number of false alarms. Some of the common attacks such as DoS,R2L ,Probe and U2R affect the network resources. Intrusion detection system has challenges to detect malicious activities reliably and should able to perform efficiently with large amount of network traffic.We address in this paper two major issues of Accuracy and Efficiency by introducing a probabilistic approach Conditional Random Fields and Sequential Layered Approach.It is demonstrated that using Conditional Random Fields high attack detection accuracy can be achieved and using the Sequential Layered Approach high efficiency. Our experimental results on the benchmark KDD 1999 intrusion data set show improvement in attack detection accuracy is very high for Probe, Denial of Service, U2R and R2L attacks.
Portia: an instance-centered environment for Smalltalk

Smalltalk environments should accommodate programmers’ conceptualizations of objects as independent, communicating agents by providing tools that allow them to work directly with instances. This paper discusses the requirements for such an environment, assesses the standard Smalltalk environment in this respect, and describes an enhanced Smalltalk environment called Portia which provides additional facilities for interacting with instances.
Improving Operational Risk Management Systems by Formalizing the Basel II Regulation with Goal Models and the ISO/IEC 15504 Approach

The bankruptcy of financial institutions shows the rapid changes in the risks profiles of financial systems and processes. Although financial institutions have always managed the operational risks, the profile of this kind of risks is changing due to the increasing international competitive pressure and the evolution of the financial institutions’ operational systems relying more and more on IT systems. This paper reports the results of the joint research with the CSSF [1] focusing on the formalization of both the Basel II Accord and compliant operational risk management (ORM) systems implementations. This formalization uses concepts of the ISO/IEC 15504 process assessment standard and the concepts of strategy and policy. This structure of the model ensures the traceability between the Basel II Accord and compliant ORM systems implementations, improves the formal validation of those systems and is more adequate to represent all organizational levels of financial institutions.
The In-the-Ear Recording Concept: User-Centered and Wearable Brain Monitoring

The integration of brain monitoring based on electroencephalography (EEG) into everyday life has been hindered by the limited portability and long setup time of current wearable systems as well as by the invasiveness of implanted systems (e.g. intracranial EEG). We explore the potential to record EEG in the ear canal, leading to a discreet, unobtrusive, and user-centered approach to brain monitoring. The in-the-ear EEG (Ear-EEG) recording concept is tested using several standard EEG paradigms, benchmarked against standard onscalp EEG, and its feasibility proven. Such a system promises a number of advantages, including fixed electrode positions, user comfort, robustness to electromagnetic interference, feedback to the user, and ease of use. The Ear-EEG platform could also support additional biosensors, extending its reach beyond EEG to provide a powerful health-monitoring system for those applications that require long recording periods in a natural environment.
Progressive Compression of Visibility Data for View-dependent Multiresolution Meshes

In this paper we present a lossless and optionally lossy compression method for precomputed visibility data for view-dependent multiresolution meshes, which supports out-of-core rendering and progressive transmission through slow connections. Our approach has the feature, that visibility information can be stored directly in the nodes of the multiresolution structure and only necessary parts of visibility data need to be transmitted. Nevertheless our lossless compression method performs better than wellknown general purpose solid compressors which inhibit selective access of required data. Even higher compression can be achieved when lossy preprocessing is performed. We evaluate our method on several articial and real datasets.
Towards Combining Probabilistic, Interval, Fuzzy Uncertainty, and Constraints: An Example Using the Inverse Problem in Geophysics

In many real-life situations, we have several types of uncertainty: measurement uncertainty can lead to probabilistic and/or interval uncertainty, expert estimates come with interval and/or fuzzy uncertainty, etc. In many situations, in addition to measurement uncertainty, we have prior knowledge coming from prior data processing and/or prior knowledge coming from prior interval constraints. In this paper, on the example of the seismic inverse problem, we show how to combine these different types of uncertainty.
Approximate Pattern Matching Over the Burrows-Wheeler Transformed Text

The compressed pattern matching problem is to locate the occurrence(s) of a pattern P in a text string T using a compressed representation of T , with minimal (or no) decompression. In this paper, we consider approximate pattern matching directly on Burrow-Wheeler transformed (BWT) text which is a critical step for a fully compressed pattern matching algorithm on a BWT based compression algorithm. The BWT provides a lexicographic ordering of the input text as part of its inverse transformation process. Based on this observation, pattern matching is performed by text pre-filtering, using a fast q-gram intersection of segments from the pattern P and the text T . Algorithms are proposed that solve the k-mismatch problem in O(min{m|Σ| log u |Σ| , mu log u |Σ|}) time worst case, and the k-approximate matching problem in O(|Σ| log |Σ|+ m2 k log u |Σ| + αk) time on average (α ≤ u), where u = |T | is the size of the text, m = |P | is the size of the pattern, and Σ is the symbol alphabet. Each algorithm requires a few O(u) auxiliary arrays, which are constructed in O(u) time and space.
Watching a signaling protein function in real time via 100-ps time-resolved Laue crystallography

To understand how signaling proteins function, it is crucial to know the time-ordered sequence of events that lead to the signaling state. We recently developed on the BioCARS 14-IDB beamline at the Advanced Photon Source the infrastructure required to characterize structural changes in protein crystals with near-atomic spatial resolution and 150-ps time resolution, and have used this capability to track the reversible photocycle of photoactive yellow protein (PYP) following trans-to-cis photoisomerization of its p-coumaric acid (pCA) chromophore over 10 decades of time. The first of four major intermediates characterized in this study is highly contorted, with the pCA carbonyl rotated nearly 90° out of the plane of the phenolate. A hydrogen bond between the pCA carbonyl and the Cys69 backbone constrains the chromophore in this unusual twisted conformation. Density functional theory calculations confirm that this structure is chemically plausible and corresponds to a strained cis intermediate. This unique structure is short-lived (∼600 ps), has not been observed in prior cryocrystallography experiments, and is the progenitor of intermediates characterized in previous nanosecond time-resolved Laue crystallography studies. The structural transitions unveiled during the PYP photocycle include trans/cis isomerization, the breaking and making of hydrogen bonds, formation/relaxation of strain, and gated water penetration into the interior of the protein. This mechanistically detailed, near-atomic resolution description of the complete PYP photocycle provides a framework for understanding signal transduction in proteins, and for assessing and validating theoretical/computational approaches in protein biophysics.
The antioxidant and chemopreventive potentialities of Mosidae (Adenophora remotiflora) leaves

Our study focused on the antioxidant activities of Mosidae leaf ethanol extract (MLE) and included measurements of reducing power, total phenolic compounds, DPPH radical scavenging activity, and hydroxyl radical scavenging activity. In order to determine whether or not MLE evidences any chemopreventive activities, experimental lung metastasis was induced via the i.v. inoculation of colon26-M3.1 carcinoma cells into BALB/c mice. Additionally, we attempted to characterize any possible cytotoxic effects in murine normal splenocytes and tumor cells (B16-BL6 and colon26-M3.1). The total phenolic content and reducing capacity were measured at 39 mg/100 mL and 1.24, respectively, whereas the DPPH and hydroxyl radical scavenging activities of MLE were measured to be 88.89% and 22.10%, respectively. Prophylactic i.v. treatment with MLE resulted in a dose-dependent and significant inhibition of lung metastasis. Specifically, a MLE dose of 200 ug per mouse resulted in an 88.90% inhibition of lung metastasis. For the cytotoxicity assay, MLE doses up to 100 ug/mL were not shown to affect the growth of normal murine splenocytes. Additionally, the survival of normal cells was not affected at MLE doses below 500 ug/mL. However, MLE doses up to 500 ug/mL reduced the percentage of tumor cell growth for B16BL6 (67% alive) and colon26-M3.1 (62% alive) cells.
The REST Gene Signature Predicts Drug Sensitivity in Neuroblastoma Cell Lines and Is Significantly Associated with Neuroblastoma Tumor Stage

Neuroblastoma is the most common and deadly solid tumor in children, and there is currently no effective treatment available for neuroblastoma patients. The repressor element-1 silencing transcription (REST) factor has been found to play important roles in the regulation of neural differentiation and tumorigenesis. Recently, a REST signature consisting of downstream targets of REST has been reported to have clinical relevance in both breast cancer and glioblastoma. However it remains unclear how the REST signature works in neuroblastoma. Publicly available datasets were mined and bioinformatic approaches were used to investigate the utility of the REST signature in neuroblastoma with both preclinical and real patient data. The REST signature was found to be associated with drug sensitivity in neuroblastoma cell lines. Further, neuroblastoma patients with enhanced REST activity are significantly associated with higher clinical stages. Loss of heterozygosity on chromosome 11q23, which occurs in a large subset of high-risk neuroblastomas, tends to be correlated with high REST activity, with marginal significance. In conclusion, the REST signature has important implications for targeted therapy, and it is a prognostic factor in neuroblastoma patients.
Four New δ Scuti Pulsators from a Variability Survey of 131 Stars

In a photometric variability survey of 131 stars with B≲14 mag, we have found four new δ Scuti stars. We were sensitive to oscillation amplitudes as low as a few millimagnitudes (mmag). The detection rate of short‐period (P<0.1 days) pulsating variable stars, which may be relevant for planned large‐variability surveys such as the Global Astrometric Interferometer for Astrophysics, the Panoramic Optical Imager, and even the Large‐Aperture Synoptic Survey Telescope, was therefore 3%. All four new variable stars have low pulsation amplitude (tens of mmag), and one has a very short period (0.0198 days). This star is one of the fastest known δ Scuti pulsators. The short period of this variable star makes it observationally tractable, and it may therefore be a particularly good candidate for asteroseismological studies. All four new variable stars will add to the cadre of low‐amplitude and relatively short period δ Scuti stars that are potentially useful for learning about the structure of stars on or near the main sequence, slightly more massive than the Sun.
An analysis and design method for linear systems subject to actuator saturation and disturbance

We present a method for estimating the domain of attraction of a system under a saturated linear feedback. A simple condition is derived in terms of an auxiliary feedback matrix for determining if a given ellipsoid is contractive invariant. This condition is shown to be less conservative than the existing conditions which are based on the circle criterion or the vertex analysis. Moreover, the condition can be expressed as LMIs in terms of all the varying parameters and hence can easily be used for controller synthesis. This condition is then extended to determine the invariant sets for systems with persistent disturbances. LMI based methods are developed for constructing feedback laws that achieve disturbance rejection with guaranteed stability requirements. The effectiveness of the developed methods are illustrated with examples.
Post-Distribution Provisioning and Personalization of a Payment Application on a UICC-Based Secure Element

The Near Field Communication technology is currently leveraged by large standardization efforts and attempts at ¿nding suitable ecosystem and business models. In this context, the GlobalPlatform consortium released requirements to allow multiple actors to manage card content con¿dentially; and to adapt the platform to the Universal Integrated Circuit Card (UICC) in what is referred to as Mobile Pro¿le. These speci¿cations need to be experimented, tested and validated. This is what the project VACAMS (Validation of Content Application Systems) aims to achieve. The project stakeholders (Oberthur Card Systems, Trusted Labs and GREYC) will bring their respective expertise in smart cards engineering, testing methodology and secure electronic transactions. The experimentation will consist in developping a UICC Secure Element complying with the GlobalPlatform speci¿cations and pro¿le, and in loading and personalizing "over the air" a payment application after the issuance of the mobile device. It will take place on an experimental electronic payment platform at ENSICAEN.