Miracle-dz/UniFAR-FTUs huggingface dataset:
JOME, a software component for interactive and distributed mathematics

JOME (Java OpenMath Editor) is a self-contained software component written in Java (as a Java Bean), dedicated to the visualisation and manipulation of mathematical formul&aelig;. Conceptually based on the well-known Model-View-Controller (MVC) design pattern, JOME naturally consists of three different entities: the Model, the View and the Controller, each itself a Java Bean. Thus, it is easy to add different kinds of representations (instances of the View component) of a formula (the Model), and to provide different of ways editing it (instances of the Controller component). Moreover, JOME uses OpenMath, a platform-independent standard for the representation of semantically rich mathematical objects, enabling in a meaningful way the exchange of mathematical objects between various software tools. These two characteristics make JOME a useful component for interactive and distributed mathematics.
A reference low-complexity structured ASIC

Structured ASICs are designed to bridge the gap between ASICs and FPGAs in terms of cost and performance. By predefining most of the manufacturing masks they highly reduce time-to-market (TTM), non-recoverable engineering (NRE) costs and lithography hazards while exhibiting higher performances than FPGAs thanks to hardwired configuration and interconnections. Many structured ASICs architectures aiming at achieving high performances have been proposed, their delay, power consumption and area have been evaluated and compared to standard cells implementations. However, the evaluation of their cost in terms of dedicated software development, full custom design, cells libraries development and comparison with structured ASICs using the same process is seldom investigated. In this paper, we present a structured ASIC which minimizes full-custom design complexity, technology migration cost and ensures compatibility with an unmodified industrial design flow. We evaluate its performance in a 65 nm process and compare it to standard cells and FPGA implementations. Our goal with this “simple” structured ASIC is to provide a reference which allows to evaluate if performance gains due to design enhancements outweigh higher complexity and costs.
Development of a TV Broadcasts Speech Recognition System for Qatari Arabic

A major problem with dialectal Arabic speech recognition is due to the sparsity of speech resources. In this paper, a transfer learning framework is proposed to jointly use a large amount of Modern Standard Arabic (MSA) data and little amount of dialectal Arabic data to improve acoustic and language modeling. The Qatari Arabic (QA) dialect has been chosen as a typical example for an under-resourced Arabic dialect. A wide-band speech corpus has been collected and transcribed from several Qatari TV series and talk-show programs. A large vocabulary speech recognition baseline system was built using the QA corpus. The proposed MSA-based transfer learning technique was performed by applying orthographic normalization, phone mapping, data pooling, acoustic model adaptation, and system combination. The proposed approach can achieve more than 28% relative reduction in WER.
Keratin function and regulation in tissue homeostasis and pathogenesis

Abstract Epithelial tissues act as hubs in metabolism and communication and protect the organism against dehydration, infections, pharmacological and physical stress. Keratin intermediate filament proteins are well established as major cytoskeletal players in maintaining epithelial integrity. More recently, an involvement of keratins in growth control and organelle functions has emerged. Disruption of the keratin cytoskeleton by mutations or its reorganization following posttranslational modifications can render epithelia susceptible to tissue damage and various stresses, while loss of keratin expression is a hallmark of epithelial-mesenchymal transition (EMT). To understand the molecular mechanisms by which keratins perform their functions remains a formidable challenge. Based on selected examples, we will discuss how cell-specific expression of keratin isotypes affects cytoarchitecture and cell behavior. Further, we ask how posttranslational modifications alter keratin organization and interactions during signaling. Next, we discuss pathomechanisms of epidermal keratin disorders in the light of novel data. Finally, we raise open questions and point out future directives.
Integration of specification-based and CR-based approaches for GUI testing

A common method for GUI testing is the CR (capture and replay) script technique. However, a deficiency of CR based technologies is that test scripts cannot be generated before an application under test is ready for testing. Thus, test specification based approaches have been studied as alternatives. In this paper, we propose the concept of integrating the design of GUI specification languages and CR tools. Our approach is to endow a CR tool with the support of writing and replaying GUI specifications. We implement a visual GUI testing tool (GTT) for Java applications to demonstrate our results. We discuss the techniques used in GTT, including event model, event abstraction, and test points. We also show how to apply GTT in a test-first programming style for GUI testing.
Normotensive blacks have heightened sympathetic response to cold pressor test.

The purpose of this study was to compare sympathetic nerve activity responses to the cold pressor test in black and white normotensive subjects. We recorded muscle sympathetic nerve activity (microneurography of the peroneal nerve), arterial blood pressure, and heart rate in 9 normotensive American blacks (24 +/- 2 years, mean +/- SEM) and 10 normotensive American whites (28 +/- 2 years) at rest and during hand immersion in ice water (cold pressor test). Body weight was not different in the two groups (72.4 +/- 3.7 versus 74.1 +/- 3.8 kg, black versus white subjects). During supine rest, mean arterial pressure (92 +/- 2 versus 93 +/- 3 mm Hg, black versus white), heart rate (66 +/- 4 versus 62 +/- 3 beats per minute, black versus white), and muscle sympathetic nerve burst frequency (12 +/- 2 versus 17 +/- 3 bursts per minute, black versus white) were not different in the two groups. During the cold pressor test, mean arterial pressure, heart rate, and muscle sympathetic nerve activity increased from supine rest in both groups. The magnitudes of increases in mean arterial pressure and total minute muscle sympathetic nerve activity were significantly greater in blacks than whites (33.5 +/- 3 versus 22.4 +/- 3 mm Hg and 416 +/- 24% versus 243 +/- 31% of control, respectively, black versus white, P < .05). The increases in heart rate were most significantly different for the two groups. These data suggest that the enhanced pressor response to cold stress observed in normotensive blacks is attributable to greater increases in peripheral sympathetic nerve activity. (ABSTRACT TRUNCATED AT 250 WORDS)
Ventilatory response to combined high frequency jet ventilation and conventional mechanical ventilation for the rescue treatment of severe neonatal lung disease

High frequency jet ventilation (HFJV) was used to treat 176 infants who were either failing to respond to conventional mechanical ventilation (CMV) or demonstrating pulmonary air leak. The median birthweight for infants treated with HFJV was 1530 g, median gestational age was 31 weeks. Median duration of therapy with HFJV was 3.0, with a range of 0.1 to 27 days. During the first 24 hours of treatment, mean airway pressure decreased from 16.2 ± 0.3 (Mean ± SEM) cmH2O to 12.2 ± 0.3 cmH2O, while mean Pa O 2 increased from 65.3 ± 3.0 torr to 93.3 ± 3.0 torr during the same time period. Simultaneously, mean Pa CO 2 decreased from 46.4 ± 1.5 torr to 36.6 ± 1.0 torr, although peak inflating pressure decreased from 34.3 ± 0.7 cmH2O to 30.1 ± 0.8 cmH2O. Ninety‐five (54%) infants treated with HFJV survived. Of 123 infants with RDS 75 (61%) survived. The rate of complications for HFJV patients was similar to that seen with CMV in our nursery. This study suggests that HFJV provides improved oxygenation and ventilation of infants at lower mean and peak pressures compared to conventional mechanical ventilation. HFJV combined with CMV may be a valuable adjunct to therapy in infants with severe lung disease. Pediatr Pulmonol 1989; 7:244–250.
Raman Spectroscopy in Graphene Related Systems

Part I Materials Science and Raman Spectroscopy Background The sp^2 Nanocarbons: Prototypes for Nanoscience and Nanotechnology Electrons in sp^2 Nanocarbons Vibrations in sp^2 Nanocarbons Raman Spectroscopy: From Graphite to sp^2 Nanocarbons Quantum Description of Raman Scattering Symmetry Aspects and Selection Rules: Group Theory Part II Detailed Analysis of Raman Spectroscopy in Graphene Releated Systems The G-band and time-Independent Perturbations The G-band and the Time-Dependent Perturbations Resonance Raman Scattering: Experimental Observations of the Radial Breathing Mode Theory of Excitons in Carbon Nanotubes Tight-Binding Method for Calculating Raman Spectra Dispersive G'-band and Higher-Order Processes:the Double Resonance Process Disorder Effects in the Raman Spectra of sp^2 Carbons Summary of Raman on sp^2 Nanocarbons
Optimizing galvanic pulse plating parameters to improve indium bump to bump bonding

The plating characteristics of a commercially available indium plating solution are examined and optimized to help meet the increasing performance demands of integrated circuits requiring substantial numbers of electrical interconnections over large areas. Current fabrication techniques rely on evaporation of soft metals, such as indium, into lift-off resist profiles. This becomes increasingly difficult to accomplish as pitches decrease and aspect ratios increase. To minimize pixel dimensions and maximize the number of pixels per unit area, lithography and electrochemical deposition (ECD) of indium has been investigated. Pulse ECD offers the capability of improving large area uniformity ideal for large area device hybridization. Electrochemical experimentation into lithographically patterned molds allow for large areas of bumps to be fabricated for low temperature indium to indium bonds. The galvanic pulse profile, in conjunction with the bath configuration, determines the uniformity of the plated array. This pulse is manipulated to produce optimal properties for hybridizing arrays of aligned and bonded indium bumps. The physical properties of the indium bump arrays are examined using a white light interferometer, a SEM and tensile pull testing. This paper provides details from the electroplating processes as well as conclusions leading to optimized plating conditions.
Women's empowerment revisited: a case study from Bangladesh

This article explores the changing dimensions of women's empowerment over time in three Bangladesh villages where one of the authors has been conducting research since 1991. The article discusses theoretical issues related to the measurement of women's empowerment, and describes findings from a recent study in the villages exploring the current salience of indicators developed for a 1992 survey. In the article we discuss the types of social, economic, and political change that affect the measurement of women's empowerment; propose and explain a new set of indicators for the rural Bangladesh setting; and discuss implications for measuring women's empowerment in other settings.
Mucosal T‐cell responses to HIV: responding at the front lines

Mucosal surfaces of the body serve as the major portal of entry for human immunodeficiency virus (HIV). These tissues also house a majority of the body’s lymphocytes, including the CD4+ T cells that are the major cellular target for HIV infection. Mucosal surfaces are defended by innate and adaptive immune mechanisms, including secreted antibodies and CD8+ cytotoxic T cells (CTL). CTL in mucosal lymphoid tissues may serve to limit viral replication, decreasing the host’s viral burden as well as reducing the likelihood of sexual transmission to a naïve host. This review summarizes recent literature on HIV‐specific T‐cell responses in mucosal tissues, with an emphasis on the gastrointestinal tract.
Application of kernels to link analysis

The application of kernel methods to link analysis is explored. In particular, Kandola et al.'s Neumann kernels are shown to subsume not only the co-citation and bibliographic coupling relatedness but also Kleinberg's HITS importance. These popular measures of relatedness and importance correspond to the Neumann kernels at the extremes of their parameter range, and hence these kernels can be interpreted as defining a spectrum of link analysis measures intermediate between co-citation/bibliographic coupling and HITS. We also show that the kernels based on the graph Laplacian, including the regularized Laplacian and diffusion kernels, provide relatedness measures that overcome some limitations of co-citation relatedness. The property of these kernel-based link analysis measures is examined with a network of bibliographic citations. Practical issues in applying these methods to real data are discussed, and possible solutions are proposed.
Improving Nurse Care Coordination With Technology

Technology offers potential solutions to the pending crisis of healthcare for older adults, while healthcare workers are in short supply. Technology can enable remote monitoring of individuals and early detection of potential problems, so that early interventions can help older adults remain as healthy and independent as possible. Research is under way with passive monitoring technology in senior housing that is finding patterns in the data that can enhance nurse care coordination through early illness detection. With early detection, interventions can be more effective and reduce hospitalization and other healthcare expenses. Case studies are presented, and implications are discussed.
A performance study of network migration to SDN-enabled Traffic Engineering

In this paper, we analyze the question of network migration to Software Defined Networking (SDN) from the perspective of Traffic Engineering (TE). For a given network topology and migration planning horizon, we ask the question of which routers in the IP network should migrate to SDN-enabled operation to reduce the need for network capacity upgrades over a given time horizon. We propose an algorithm to determine the optimum schedule for node substitution within a network, which shows that already a few SDN routers, when strategically located, provide a stably large number of path alternatives to be used in TE, thus substantially reducing the need for large network capacity upgrades.
Fabrication and Properties of Cf/SiC Composites Derived from Polysiloxane Precursor

Carbon fiber reinforced silicon carbide composites (Cf/SiC) were derived through precursor infiltration pyrolysis route (PIP) at 1600°C in vacuum atmosphere using polysiloxane as precursor. The matrix of Cf/SiC was characterized by X-ray diffraction and elemental analysis. The results show that crystalline β-SiC can be derived at 1600°C in vacuum from polysiloxane. The flexural strength and fracture toughness of polysiloxane derived from Cf/SiC can reach up to 70 MPa and 2.3MPa·m respectively1/2.
Maize endosperm texture characterisation using the rapid visco analyser (RVA), X-ray micro-computed tomography (μCT) and micro-near infrared (microNIR) spectroscopy

iv Uittreksel.vi List of Figures.xii List of Tables.xv List of Abbreviations.xvi Chapter 1: Introduction.1 References.3 Chapter 2: Literature review.6 Introduction.6 Factors that affect maize hardness.6 Endosperm types.6 Kernel morphology.9 Environmental and postharvest factors.10 Factors affected by maize hardness.11 Storage, handling and transportation.11 Wet-milling.11 Dry-milling.12 Maize hardness determinations: a comparison of different test methods.12 Resistance to breakage.12 Chemical analysis.12 Physical analysis.13 Indirect tests.14 Near infrared spectroscopy.14 Near infrared hyperspectral imaging.15 Other indirect tests.16 Less common methods.16 Direct and time consuming methods.17 Micro-milling.18 Multivariate approach.19 X-ray micro-computed tomography scanning.21 The instrument.21 A radiograph.21 Reconstruction into a 3-D volume.22 Stellenbosch University https://scholar.sun.ac.za
Role of ner protein in bacteriophage Mu transposition

The Ner protein of bacteriophage Mu negatively regulates transcription initiated at the early promoter and at the major repressor promoter. The construction and isolation of a Ner- mutant of Mu is described. Ner is an essential function for Mu, because the mutant phage only forms plaques when complemented for Ner. Mutations in the repressor protein did not abolish the need for Ner. However, when transcription of the repressor gene c was blocked by deleting the major repressor promoter, Ner was no longer essential for normal Mu development.
Nicotine dependence treatment: perceived health status improvement with 1-year continuous smoking abstinence.

BACKGROUND This study evaluated change in health status as a function of change in smoking status among patients treated clinically for nicotine dependence by comparing overall perceived health status of patients who abstained from cigarettes for 1 year versus those who smoked continuously for 1 year. METHODS Patients from the Mayo Clinic Nicotine Dependence Center completed a quality-of-life questionnaire (SF-36) following their consultation for nicotine dependence (baseline). At 1 year post-intervention, patients were mailed a follow-up survey that included the SF-36 and items assessing interval smoking history. Study patients included those who self-reported continuous smoking (n=60) and those reporting continuous smoking abstinence for the entire follow-up year (n=146). Data from SF-36 scales at 1 year were analysed using analysis of covariance with baseline scale scores serving as covariates along with baseline characteristics that differed significantly between groups. RESULTS Compared with those who continued to smoke, patients who were continuously abstinent from smoking for the entire year had more improvement in perceived health status for the SF-36 mental composite scale (P=0.009) and for the SF-36 subscales for role limitations (P<0.001 and P=0.017 for emotional and physical role limitations, respectively), social functioning (P=0.010) and general health (P=0.013). CONCLUSIONS Smokers treated for nicotine dependence who stop smoking for a year report more improvement in-quality-of-life compared with those who continue to smoke.
Interactive Image-Space Volume Visualization for Dynamic Particle Simulations

Particle-based simulation plays an important role in many different fields of science and engineering. Two common visualization approaches for the resulting data are glyph-based rendering and density sampling employing volume rendering. Fine geometric features are inherently captured by glyph-based methods. However, they might suffer from aliasing and the global structure is often poorly conveyed. Volume rendering preserves the global structure but is limited due to the sampling resolution. To avoid aliasing artifacts and large memory footprints, we propose a direct volume rendering technique with on-demand density sampling of the particle data, as combination of splatting, texture slicing, and ray casting. We optimized our system with a novel ray cast termination employing early-z-test culling and hardware occlusion queries utilizing inter-frame coherency. Our system contains a fully-featured volume renderer and captures all geometric features of the data set representable at the available display resolution. Since no pre-computation is required, the proposed method can be used easily to visualize time-dependent data sets. The effectiveness of our approach is shown with examples from different application fields.
Comrade - A Compiler for Adaptive Computing Systems using a Novel Fast Speculation Technique

Several examples have shown that adaptive computers are capable of outperforming traditional workstations in terms of computing time as well as energy efficiency. Developing applications for an adaptive computer, however, is often a complex task. Hardware (HW) and software (SW) parts as well as their interfaces have to be implemented, requiring specialized skills as well as additional design time. To overcome this dilemma, the Comrade system compiles full ANSI-C to combined HW/SW applications for adaptive computers. Comrade is a third-generation tool, being based on concepts of predecessors GaipCC and Nimble. Other high level compilers have been presented, but none of them (to our knowledge) support compilation from a full high level input language to combined HW/SW solutions. This paper gives an overview of Comrade's architecture and presents our current and planned future research.
A Propagation Model for Social Engineering Botnets in Social Networks

With the rapid development of social networking services and the diversification of social engineering attacks, new high-infection botnet (called SE-botnet by us), which exploits social engineering attacks to spread bots in social networks, has become an underlying threat. Predicting the threat of SE-botnet can help defenders mitigate it effectively. In this paper, we focus on SE-botnet's infection and defense, presenting a propagation model for it. We take full account of social networks' characteristics and human dynamics, and abstract the general process of social engineering attacks used by SE-botnet. Our preliminary simulation results demonstrate that the SE-botnet can capture tens of thousands of bots in one day with a great infection capacity. our propagation model can accurately predict this process with less than 5% deviation.
Using graphic turing tests to counter automated DDoS attacks against web servers

We present WebSOS, a novel overlay-based architecture that provides guaranteed access to a web server that is targeted by a denial of service (DoS) attack. Our approach exploits two key characteristics of the web environment: its design around a human-centric interface, and the extensibility inherent in many browsers through downloadable "applets. " We guarantee access to a web server for a large number of previously unknown users, without requiring pre-existing trust relationships between users and the system.Our prototype requires no modifications to either servers or browsers, and makes use of graphical Turing tests, web proxies, and client authentication using the SSL/TLS protocol, all readily supported by modern browsers. We use the WebSOS prototype to conduct a performance evaluation over the Internet using PlanetLab, a testbed for experimentation with network overlays. We determine the end-to-end latency using both a Chord-based approach and our shortcut extension. Our evaluation shows the latency increase by a factor of 7 and 2 respectively, confirming our simulation results.