Miracle-dz/UniFAR-FTUs huggingface dataset:
Towards Semantics-based Monitoring of Large-Scale Industrial Systems

Monitoring today's industrial systems steadily grows in terms of complexity. Examples can be found in industry automation, building management, the medical and the transportation domain. Increasing numbers of components, increasing numbers of sensors producing monitoring data about these components, and increasing numbers of stakeholders managing this data lead to suboptimal exploitation of the actually available monitoring data. What is required, is a semantically meaningful way of representing, integrating and querying monitoring data from different sources. To this end, we propose to apply Semantic Web technologies to the monitoring of large-scale systems. This creates new challenges such as incorporating dynamic real-world data and supporting scalable reasoning over this data. As an approach to this problem, we present a generic architecture with different functional layers . We go into more detail about the distributed reasoning layer, where we present the idea of loosely coupled collaboration of several reasoners. Finally, we describe the current state of our prototype implementation, where we adopt a scenario from the railway monitoring domain, and present first evaluation results.
A spectral stochastic finite element implementation of probabilistic advective-diffusive transport with stabilization based on multi-scale phenomena

An approach is developed for stabilizing the stochastic convection-diffusion equation (SCD) to enable its solution using the spectral stochastic finite element method (SSFEM). The exact solution for the (SCD) equation is interpreted as the sum of contributions from two different length scales, the resolvable SSFEM solution and an unresolvable subgrid component. A framework is developed for derivation of stabilization terms for the SCD equation based on the above interpretation. To characterize randomness in parameters and boundary conditions for the SCD equations, a spectral stochastic framework is used. In the framework, uncertainty is quantified by considering it as an added dimension (θ) with an associated probability space (S). S is defined as the space of all random variables with a finite second moment. Any second order random variable is represented as a sum of its projections onto a basis of the probability space S. In the present framework, the polynomial chaos basis is considered for representation of random processes. Stabilization based on a special case of the developed framework is implemented for the SCD equation. Various numerical examples are considered to validate the developed approach by examining its accuracy and convergence properties. A discussion of the results obtained and future avenues for possible exploration are presented.
Adolescent Substance Abuse in Anglo-American Families

A healthy family system will prevent adolescent substance abuse even in the face of heavy peer pressure. The key to such family functioning lies in the family's ability to adapt flexibly to different stresses. For the therapist intervening with the family under stress, as reflected by adolescent substance abuse, consideration of multiple factors including family ethnicity is vital. The Irish-American, Italian-American, Jewish-American, and Anglo-Saxon Protestant families all present with different ethnic backgrounds and generally different structural/interactional patterns. General considerations exist in the family treatment of adolescent substance abuse such as diminishing parental overcontrol and marking generational boundaries, but these must be considered in conjunction with ethnic variables of the presenting family.
MEDUSA - A Facial Modeling and Animation System

We present a system for photo-realistic facial modeling and animation, which includes several tools that facilitate necessary tasks such as mesh processing, texture registration, and assembling of facial components. The resulting head model reflects the anatomical structure of the human head including skull, skin, and muscles. Semi-automatic generation of high-quality models from scan data for physics-based animation becomes possible with little effort. A state-of-the-art speech synchronization technique is integrated into our system, resulting in realistic speech animations that can be rendered at real-time frame rates on current PC hardware.
Pattern Synonyms (Extended version)

Pattern matching has proven to be a convenient, expressive way of inspecting data. Yet this language feature, in its traditional form, is limited: patterns must be data constructors of concrete data types. No computation or abstraction is allowed. The data type in question must be concrete, with no ability to enforce any invariants. Any change in this data type requires all clients to update their code. This paper introduces pattern synonyms , which allow programmers to abstract over patterns, painting over all the shortcomings listed above. Pattern synonyms are assigned types, enabling a compiler to check the validity of a synonym independent of its deﬁnition. These types are intricate; detailing how to assign a type to a pattern synonym is a key contribution of this work. We have implemented pattern synonyms in the Glasgow Haskell Compiler, where they have enjoyed immediate popularity, but we believe this feature could easily be exported to other languages that support pattern matching.
Reversible skew Laurent polynomial rings and deformations of Poisson automorphisms

A skew Laurent polynomial ring R[x^{\pm 1};\alpha] is reversible if it has a reversing automorphism, that is, an automorphism of period two that transposes x and x^{-1} and restricts to an automorphism of R. We study invariants for reversing automorphisms and apply our methods to determine the rings of invariants of reversing automorphisms of two simple skew Laurent polynomial rings, namely a localization of the enveloping algebra of the two-dimensional non-abelian solvable Lie algebra and the coordinate ring of the quantum torus. These two skew Laurent polynomial rings are deformations of Poisson algebras and we interpret their reversing automorphisms and their invariants as deformations of Poisson automorphisms and their invariants.
Analysis of EEG signals using Advanced Generalized Fractal Dimensions

The Human Brain is a highly complex and a nonlinear system. The disorder in the Human Brain creates a lot of physiopathological diseases, especially the Epileptic Seizure. Electroencephalogram (EEG) was used by the physicians to diagnosis the patients who is suffering from Seizure. The Generalized Fractal Dimensions (GFD) is the measure of complexity and the chaotic behaviour (irregularity) of the Fractal Time Series (EEG Signals). We design the Advanced form of Generalized Fractal Dimensions to discriminate the Normal and Ictal EEGs and the comparison was done at last between the two methods namely Advanced GFD & GFD through graphical methods. Finally we conclude that there is significant differences between the Normal and Ictal EEGs in the Advanced GFD Method than the GFD Method by using the statistical tool called ANOVA Test. This multifractal technique is a very efficient tool in the Non-linear Analysis to analyze the EEG Signals and to detect or predict the state of illness of the Epileptic Patients.
Neuropsychiatric disorders in Cushing's syndrome

Endogenous Cushing's syndrome (CS), a rare endocrine disorder characterized by cortisol hypersecretion, is associated with psychiatric and neurocognitive disorders. Major depression, mania, anxiety, and neurocognitive impairment are the most important clinical abnormalities. Moreover, patients most often complain of impairment in quality of life, interference with family life, social, and work performance. Surprisingly, after hypercortisolism resolution, despite the improvement of the overall prevalence of psychiatric and neurocognitive disorders, the brain volume loss at least partially persists and it should be noted that some patients may still display depression, anxiety, panic disorders, and neurocognitive impairment. This brief review aimed at describing the prevalence of psychiatric and neurocognitive disorders and their characterization both during the active and remission phases of CS. The last section of this review is dedicated to quality of life, impaired during active CS and only partially resolved after resolution of hypercortisolism.
An explicit model for tailor-made eCommerce web presentations

This paper focuses on how the setting-related factors influence the content selection, the layout creation and the presentation generation for (eCommerce) web-based presentations. It pays special attention to those factors which help the user play rhetorical roles. We have integrated our theory in the Standard Reference Model for Intelligent Multimedia Presentation Systems (SRM-IMMPSs). By doing so, both the user and the designer will benefit. The user will be able to interact and communicate in a more natural way and the designer will be able to predict, limit the number of presentations plus perform more precise usability evaluations.
Conceptual Metaphors of the “ Self ”

The increasing interest in embodied cognition has heightened the need for cognitive models that reflect the relationship of the body with the physical world. Issues of particular interest have to do with the notion of “Self. ” According to Lakoff and Johnson (1999), there is no unified way to conceptualize our inner life, as the metaphors we use to understand the Self are intrinsically inconsistent and incompatible with what we know about the mind from a scientific perspective. However, once both the source domain and target domain are clearly defined, the inconsistencies surrounding the Self metaphors disappear and leave in their place a coherent explanation: They reflect what William James referred to in 1892 as the “spiritual me, material me and social me. ”
Decentralized control of a large platoon of vehicles using non-identical controllers

This paper studies the decentralized control of a platoon of identical vehicles when each control agent is assumed to only have knowledge of the distance between itself and its immediate forward neighbor. In particular, it is desired to solve the decentralized robust servomechanism problem (RSP), so that the vehicles' separation distances are regulated to specified set points, independent of the lead vehicle's velocity and such that the system is string stable. It is shown that for a large class of identical decentralized controllers, namely those decentralized controllers which solve the RSP and which have stable stabilizing compensators, e.g. a 3-term controller, that it is impossible to solve the above problem. This gives motivation to consider nonidentical decentralized controllers for the platoon vehicle problem, and it is shown in this case that it is possible to solve the above problem. A number of examples are included, including examples which have a large number of vehicles in a platoon, i.e. N=2000.
Second order sliding mode control of a mobile hydraulic crane

A second order sliding mode control design for a mobile hydraulic system, including bounded model uncertainties and external disturbances, is the subject of study. The proposed algorithm provides a continuous control signal, achieving good performance and chattering attenuation in comparison to other sliding-mode-based techniques. The design includes the formulation of a partial stability problem and we provide the required Lyapunov-function-based analysis. Experimental results are performed over an industrial setup and confirm the effectiveness of the methodology. Moreover, promising results of a comparison with the Super-Twisting and PID controllers are presented.
Pharmacokinetics and Relative Bioavailability of Flavonoids between Two Dosage Forms of Gegen-Qinlian-Tang in Rats

Gegen-Qinlian-Tang (GQT), a popular Chinese medicine prescription, consists of Puerariae Radix, Scutellariae Radix, Coptidis Rhizoma, and Glycyrrhizae Radix. This study investigated the pharmacokinetics of GQT in rats and compared the bioavailability between two dosage forms, that is, traditional decoction (TD) and concentrated powder (CP). Rats were given TD and CP of GQT in a crossover design, and blood samples were withdrawn at predetermined time points. The quantitation methods of ten constituents in two dosage forms of GQT and in serum specimen using HPLC were developed and validated in this study. The pharmacokinetic parameters were calculated using noncompartment model. The results showed that daidzein, baicalein, wogonin, berberine, palmatine, and coptisine were not found in the circulation, whereas the sulfates/glucuronides of daidzein, baicalein, and wogonin were the major forms after oral administration of GQT. Comparison between two dosage forms indicated that the AUC0–t of daidzein sulfates/glucuronides after administration of CP was significantly lower than that of TD by 28.9%, whereas the bioavailabilities of baicalin/baicalein and wogonoside/wogonin were comparable between two dosage forms. In conclusion, the major flavonoids of GQT were extensively metabolized into sulfates/glucuronides and present as the major molecules in the circulation. TD of GQT revealed higher bioavailability of daidzin/daidzein than CP.
SoK: Applying Machine Learning in Security - A Survey

The idea of applying machine learning(ML) to solve problems in security domains is almost 3 decades old. As information and communications grow more ubiquitous and more data become available, many security risks arise as well as appetite to manage and mitigate such risks. Consequently, research on applying and designing ML algorithms and systems for security has grown fast, ranging from intrusion detection systems(IDS) and malware classification to security policy management(SPM) and information leak checking. In this paper, we systematically study the methods, algorithms, and system designs in academic publications from 2008-2015 that applied ML in security domains. 98 percent of the surveyed papers appeared in the 6 highest-ranked academic security conferences and 1 conference known for pioneering ML applications in security. We examine the generalized system designs, underlying assumptions, measurements, and use cases in active research. Our examinations lead to 1) a taxonomy on ML paradigms and security domains for future exploration and exploitation, and 2) an agenda detailing open and upcoming challenges. Based on our survey, we also suggest a point of view that treats security as a game theory problem instead of a batch-trained ML problem.
Evidence That the Product of the Human X-Linked Cgd Gene, Gp91-phox, Is a Voltage-Gated H+ Pathway

Expression of gp91-phox in Chinese hamster ovary (CHO91) cells is correlated with the presence of a voltage-gated H+ conductance. As one component of NADPH oxidase in neutrophils, gp91-phox is responsible for catalyzing the production of superoxide (O2·2). Suspensions of CHO91 cells exhibit arachidonate-activatable H+ fluxes (Henderson, L.M., G. Banting, and J.B. Chappell. 1995. J. Biol. Chem. 270:5909–5916) and we now characterize the electrical properties of the pathway. Voltage-gated currents were recorded from CHO91 cells using the whole-cell configuration of the patch-clamp technique under conditions designed to exclude a contribution from ions other than H+. As in other voltage-gated proton currents (Byerly, L., R. Meech, and W. Moody. 1984. J. Physiol. 351:199–216; DeCoursey, T.E., and V.V. Cherny. 1993. Biophys. J. 65:1590–1598), a lowered external pH (pHo) shifted activation to more positive voltages and caused the tail current reversal potential to shift in the manner predicted by the Nernst equation. The outward currents were also reversibly inhibited by 200 μM zinc. Voltage-gated currents were not present immediately upon perforating the cell membrane, but showed a progressive increase over the first 10–20 min of the recording period. This time course was consistent with a gradual shift in activation to more negative potentials as the pipette solution, pH 6.5, equilibrated with the cell contents (reported by Lucifer yellow included in the patch pipette). Use of the pH-sensitive dye 2′7′ bis-(2-carboxyethyl)-5(and 6) carboxyfluorescein (BCECF) suggested that the final intracellular pH (pHi) was ∼6.9, as though pHi was largely determined by endogenous cellular regulation. Arachidonate (20 μM) increased the amplitude of the currents by shifting activation to more negative voltages and by increasing the maximally available conductance. Changes in external Cl− concentration had no effect on either the time scale or the appearance of the currents. Examination of whole cell currents from cells expressing mutated versions of gp91-phox suggest that: (a) voltage as well as arachidonate sensitivity was retained by cells with only the NH2-terminal 230 amino acids, (b) histidine residues at positions 111, 115, and 119 on a putative membrane-spanning helical region of the protein contribute to H+ permeation, (c) histidine residues at positions 111 and 119 may contribute to voltage gating, (d) the histidine residue at position 115 is functionally important for H+ selectivity. Mechanisms of H+ permeation through gp91-phox include the possible protonation/deprotonation of His-115 as it is exposed alternatively to the interior and exterior faces of the cell membrane (see Starace, D.M., E. Stefani, and F. Bezanilla. 1997. Neuron. 19:1319–1327) and the transfer of protons across an “H-X-X-X-H-X-X-X-H” motif lining a conducting pore.
Horizontal Transfer and Promotion: New Evidence and an Interpretation from the Perspective of Task-Specific Human Capital

This paper provides new evidence about horizontal transfer and promotion using the largest available personnel panel data in Japan and interprets them from the perspective of task-specific human capital. We find that firms synchronize their employees' promotion and horizontal transfers. Then, we show theoretically that task-specific human capital can naturally generate such synchronization. We also find that the directors in an accounting department have the highest probability of being promoted to become board members, while those in a research department have the lowest. This suggests that top managers need a balanced skill set, in which allocative skill is relatively important.
Phase-locked loop synchronization with gated control

Many utility powered applications require synchronization with the line voltage for the operation of the controller. Such synchronization is typically accomplished using some phase-locked loop (PLL) mechanism, which serves to estimate the real time phase angle of the line voltage. This phase estimate then serves to determine signal timing for power control devices. Common phase detection methods using multipliers or zero-crossing detection require subsequent low-pass filtering for averaging purposes, resulting in longer system response, and increases in transient losses. A method is proposed on the basis that, for a sinusoidal reference signal, during the time interval of most significant slope, this signal is taken as instantaneously approximately proportional to it's phase angle. A gating mechanism measures and acts on the instantaneous difference between the incoming signal and the locally synthesized signal of equal amplitude, which results in a faster estimate of the line phase angle and frequency
Potential Attacks on Onboard Aerospace Systems

Because security is becoming a major concern for aircraft manufacturers and satellite makers, vulnerability discovery and countermeasures should be integrated into onboard computing systems early during their development. Attacks against aerospace computer systems fall into two main classes. One aims to corrupt the computing system's core functions; the other targets fault-tolerance mechanisms (error detection and recovery).
Multi-level Processing to Reduce Cost of Synchronization

Multi-Level Processing reduces the cost of synchronization overhead with an upper level processor for taking control and issuing the right to use shared data and to enter critical sections directly to each of lower level processors at processor speed. The instruction registers of lower level parallel processors are mapped to the data memory of upper level processor. The upper level processor has the ability to stretch the clock to reduce power consumption while processors are waiting. It can issue SIMD to multiple low level processors with no added cost to implementation. This system could be expanded to use three level of processing for large scale system.
Generating Patient-Specific Summaries of Online Literature

Medical professionals increasingly use online resources to find journal articles of interest, looking for both the latest news in their specialty, and for articles that discuss results pertaining to patients currently ~,~der their care. We present a design for generating summaries of such online articles that are tailored to the characteristics of the patient under consideration. In this model, results of a document search are filtered to highlight articles that are clinically relevant to the patient by matching characteristics of the patients under study against characteristics found in the online patient record. Our summarization algorithm processes each relevant article and retrieves only those pieces of it that are appropriate to the individual patient; these are subsequently combined to produce the summary. We describe a user study which supports our summarization design, and present conclusions from it that indicate the users’ expectations from a good summary. We also outline our approach to several general natural language problems that we have identified as particularly important for the summarization task.
Importance sampling for bayesian networks: principles, algorithms, and performance

Bayesian networks (BNs) offer a compact, intuitive, and efficient graphical representation of uncertain relationships among the variables in a domain and have proven their value in many disciplines over the last two decades. However, two challenges become increasingly critical in practical applications of Bayesian networks. First, real models are reaching the size of hundreds or even thousands of nodes. Second, some decision problems are more naturally represented by hybrid models which contain mixtures of discrete and continuous variables and may represent linear or nonlinear equations and arbitrary probability distributions. Both challenges make building Bayesian network models and reasoning with them more and more difficult. In this dissertation, I address the challenges by developing representational and computational solutions based on importance sampling. I First develop a more solid understanding of the properties of importance sampling in the context of Bayesian networks. Then, I address a fundamental question of importance sampling in Bayesian networks, the representation of the importance function. I derive an exact representation for the optimal importance function and propose an approximation strategy for the representation when it is too complex. Based on these theoretical analysis, I propose a suite of importance sampling-based algorithms for (hybrid) Bayesian networks. I believe the new algorithms significantly extend the efficiency, applicability, and scalability of approximate inference methods for Bayesian networks. The ultimate goal of this research is to help users to solve difficult reasoning problems emerging from complex decision problems in the most general settings.