Miracle-dz/UniFAR-FTUs huggingface dataset:
Improvement of a novel dual-stage large-span track-seeking and track-following method using anti-windup compensation

A recently developed large-span track-seeking and track-following method for dual-stage actuator systems is improved in terms of settling duration, recovery from saturation in the secondary actuator loop and design flexibility by incorporating an anti-windup (AW)-compensation scheme. The developed large-span track-seeking and track-following controller is based on a well-known method which allows the decoupling of the secondary micro-actuator loop from the primary VCM-loop in terms of stability and design. For the originally suggested method, micro-actuator saturation was addressed using the circle criterion to guide the controller design for this loop. However such an approach does not allow the fine-tuning of seeking and settling speeds and also limits the class of linear controllers for the secondary loop. This paper suggests the use of an anti-windup compensator, based on an Lscr2 -optimization approach and computed using linear matrix inequalities (LMI's), to cope with the saturation issues in the secondary loop, allowing full freedom in the initial linear controller design. The suggested approach is demonstrated using a PZT-actuated suspension and a commercial VCM-actuator
Curvature-Based Transfer Functions for Direct Volume Rendering

In this paper we present a new concept of transfer functions for direct volume rendering. In contrast to previous work, we attempt to define a transfer function in the domain of principal curvature magnitudes. Such a definition helps the user to suppress or enhance structures of a specific shape class. It also allows to set a smooth color or opacity transition within thick surfaces or even solid objects. From the user’s point of view the attractiveness of such transfer functions resides in their easy, (semi)automatic specification.
Subtyping recursive types in kernel Fun

The problem of defining and checking a subtype relation between recursive types was studied in Armadio and Cardelli (1993) for a first order type system, but for second order systems, which combine subtyping and parametric polymorphism, only negative results are known. This paper studies the problem of subtype checking for recursive types in system kernel Fun, a typed /spl lambda/-calculus with subtyping and bounded second order polymorphism. Along the lines of Armadio and Cardelli (1993), we study the definition of a subtype relation over kernel Fun recursive types, and then we present a subtyping algorithm which is sound and complete with respect to this relation. We show that the natural extension of the techniques introduced in Armadio and Cardelli (1993) to compare first order recursive types gives a non complete algorithm. We prove the completeness and correctness of a different algorithm, which also admits an efficient implementation.
USzeged: Identifying Verbal Multiword Expressions with POS Tagging and Parsing Techniques

The paper describes our system submitted for the Workshop on Multiword Expressions’ shared task on automatic identification of verbal multiword expressions. It uses POS tagging and dependency parsing to identify single- and multi-token verbal MWEs in text. Our system is language independent and competed on nine of the eighteen languages. Our paper describes how our system works and gives its error analysis for the languages it was submitted for.
Building the TeraGrid

On 1 October 2004, the most ambitious high-performance Grid project in the United States—the TeraGrid—became fully operational. Resources at nine sites—the San Diego Supercomputer Center, the California Institute of Technology, the National Center for Supercomputing Applications, the University of Chicago/Argonne National Laboratory, Pittsburgh Supercomputing Center, Texas Advanced Computing Center, Purdue University, Indiana University and Oak Ridge National Laboratory—were joined via an ultra-fast optical network, unified policies and security procedures and a sophisticated distributed computing software environment. Funded by the National Science Foundation, the TeraGrid enables scientists and engineers to combine distributed, multiple data sources with computation at any of the sites or link massively parallel computer simulations to extreme-resolution visualizations at remote sites. A single shared utility lets multiple resources be easily leveraged and provides improved access to advanced computational capabilities. One of the demonstrations of this new model for using distributed resources, Teragyroid, linked the infrastructure of the TeraGrid with computing resources in the United Kingdom via a transatlantic data fibre link. Once connected, the software framework of the RealityGrid project was used to successfully explore lattice-Boltzmann simulations involving lattices of over one billion sites.
Speaker conversion through non-linear frequency warping of straight spectrum

A parametric conversion of speech individuality is proposed based on STRAIGHT speech represent a - tion. STRAIGHT speech analysis-synthesis can produce high quality speech for various kinds of transformations by using 1) pitch synchronous windowing, 2) time-frequency spectrum interp o - lating and 3) randomized all-pass filtering for shaping phase spectrum. In order to utilize the smoothness of STRAIGHT spectrum, speech co n - version is accomplished by warping the frequency axis. The warping functions are trained for each class of the predetermined spectrum shape grou p - ing. The evaluation test is performed to compare the proposed method and VQ prototype mapping or linear transformation of cepstrum vectors. As a measure of converted speech quality, the MOS score of 6 subjects is calculated and is found to be better than conventional methods by about 1.5 point without degrading the accuracy of speech i n - d i viduality discrimination.
Malwise-An Effective and Efficient Classification System for Packed and Polymorphic Malware

An n-gram may be a sub-sequence of n things from a given sequence. N-grams square measure employed in varied areas of applied mathematics linguistic communication process and genetic sequence analysis. During which sequence analysis is that the method of comparison the sequence or series of attributes so as to seek out the similarity. Malware is nothing however malicious computer code that\'s designed by attackers for worrying computers. Malware variants can have distinct computer memory unit level representations whereas in principal belong to a similar family of malware. The computer memory unit level content is completely different as a result of tiny changes to the malware ASCII text file may end up in considerably different compiled code. During which programs square measure used as operational code (opcode) density histograms obtained through dynamic analysis. Dynamic analysis is that the method of testing and analysis of application or a program throughout period. A SVM is employed for classification or regression issues. It uses a way known as the kernel trick to remodel your information and so supported these transformations it finds associate degree optimum boundary between the doable outputs. We have a tendency to use static analysis to classify malware. It known a prefilter stage victimisation hex values of files, that may scale back the feature set and so scale back the coaching effort. The result shows that the relationships between options square measure complicated and straightforward statistics filtering approaches don't give a sensible approach. However, hex decimal primarily based produces an appropriate filter. The whole systems are going to be enforced in WEKA tool.
Integrating machine learning and workflow management to support acquisition and adaptation of workflow models

Current workflow management systems (WFMS) offer little aid for the acquisition of workflow models and their adaptation to changing requirements. To support these activities we propose to integrate machine learning and workflow management. This enables an inductive approach to workflow acquisition and adaptation by processing traces of manually enacted workflows. We present a machine learning component that combines two different machine learning algorithms. In this paper we focus mainly on the first one, which induces the structure of the workflow, based on the induction of hidden markov models. The second algorithm, a standard decision rule induction algorithm, induces transition conditions. The main concepts have been implemented in a prototype, which we have validated using artificial process traces. The induced workflow models can be imported by the business process management system ADONIS.
Clinical outcomes and effectiveness of renal artery stenting in patients with critical atherosclerotic renal artery stenosis: does it improve blood pressure control and renal function assessed by estimated glomerular filtration rate?

Introduction Atherosclerotic renal artery stenosis (ARAS) is associated with uncontrolled hypertension and chronic renal failure. Aim To evaluate the influence of gender and presence of chronic renal failure on the outcomes of percutaneous transluminal renal artery stenting (PTRAS) due to atherosclerosis. Material and methods A total of 28 ARAS patients underwent PTRAS and 36 stents were placed. Basal characteristics, laboratory data and blood pressure of patients were recorded. The differences between genders and improvement/deterioration of renal functions and blood pressure were analyzed. The predictors of outcomes were determined. Results Baseline characteristics were similar between men and women. Significant improvement of systolic and diastolic blood pressure control was achieved after PTRAS (153.04 ±17.07 mm Hg vs. 124.75 ±11.40 mm Hg, p = 0.001 and 92.50 ±10.76 mm Hg vs. 77.54 ±8.23 mm Hg, p < 0.001, respectively). Although mean estimated glomerular filtration rate (eGFR) and creatinine levels did not significantly improve at the 6-month follow-up visit compared to baseline values, of the 28 patients 13 (46.4%) patients had improvement of renal functions. Conclusions Our results suggest that PTRAS is a safe procedure and may offer blood pressure control but beneficial effects of PTRAS on renal function may be anticipated in a selected group of patients, especially those with a low eGFR.
Improving GMR Magnetometer Sensor Uncertainty by Implementing an Automatic Procedure for Calibration and Adjustment

Giant Magnetoresistance (GMR) sensors have taken an important role in magnetic field sensing applications thanks to their small size, high sensitivity, large frequency response, low power and relatively low cost. A metrological characterization of a GMR magnetometer has highlighted the contributes to the measurement uncertainty due to hysteresis, non linearity and dependence from temperature. Starting from these knowledge, an automatic procedure for calibration and adjustment of GMR magnetometer has been set up. This procedure, based on a mixed hardware-software solution, allows a deep reduction of the measurement uncertainty for both AC and DC magnetic field strength measurements using GMR.
Requirement for Sun1 in the expression of meiotic reproductive genes and piRNA

The inner nuclear envelope (NE) proteins interact with the nuclear lamina and participate in the architectural compartmentalization of chromosomes. The association of NE proteins with DNA contributes to the spatial rearrangement of chromosomes and their gene expression. Sun1 is an inner nuclear membrane (INM) protein that locates to telomeres and anchors chromosome movement in the prophase of meiosis. Here, we have created Sun1–/– mice and have found that these mice are born and grow normally but are reproductively infertile. Detailed molecular analyses showed that Sun1–/– P14 testes are repressed for the expression of reproductive genes and have no detectable piRNA. These findings raise a heretofore unrecognized role of Sun1 in the selective gene expression of coding and non-coding RNAs needed for gametogenesis.
Uncovering the Progress of Planning for Vulnerability to Sea-Level Rise & Coastal Storms: A Plan Evaluation of Norfolk, VA & New York City

UNCOVERING THE PROGRESS OF PLANNING FOR VULNERABILITY TO SEA-LEVEL RISE AND COASTAL STORMS: A PLAN EVALUATION OF NORFOLK, VA & NEW YORK CITY By Eric Karl Borchers, Master of Urban and Regional Planning A thesis submitted in partial fulfillment of the requirements for the degree of Master of Urban and Regional Planning at Virginia Commonwealth University. Virginia Commonwealth University, 2017. Major Director: Meghan Z. Gough, PhD, L. Douglas Wilder School of Government and Public Affairs In response to recent storms like Superstorm Sandy and sea-level rise influenced by climate change, cities, particularly those located at the coast, have taken initiative to combat these growing threats with adaptive urban planning. Although civilians residing in susceptible neighborhoods are often the most vulnerable socioeconomically, there has been minimal evidence that planning has accounted for the characteristics of vulnerability. This thesis evaluates the recent planning efforts and vulnerability of Norfolk, VA and New York City to gauge the progress being made toward reducing citizen vulnerability and raising adaptability and preparedness. The most recent peer-reviewed research is consulted to forge the evaluation framework and also to recognize breakthroughs and conformity. After analyzing the performance of the sets of planning documents in both cities, it is evident that the ability to effectively plan for the public’s vulnerability is contingent in part on inter-governmental capacity, but more specifically on disaster experience.
Matsushimamyces, a new genus of keratinophilic fungi from soil in central India

During a collecting trip exploring new habitats and locations for keratinophilic fungi, soil samples were collected from Bohani village in the central Indian state of Madhya Pradesh. Following isolation using a hair baiting technique, one sample yielded an interesting hyphomycetous fungus. The fungus, which could easily be observed under a dissecting microscope, formed prominently large, dark brown to opaque, fusoid conidia on horse hair after 2 mo of incubation. Single-conidial colonies were cultivated on Sabouraud dextrose agar medium by direct transfer, using a fine needle under a dissecting microscope. Morphologically the fungus resembles genera such as Bahugada, Hadrosporium, Manoharachariella, Pithomyces, and Septosporiopsis, but differs with regard to its conidia and conidiogenous cells. Based on its unique morphology, the present collection is described as a new genus, Matsushimamyces, with M. bohaniensis as type species. Phylogenetic analysis of the LSU region placed Matsushimamyces in Latoruaceae (Pleosporales, Dothideomycetes). Furthermore, based on the morphological and phylogenetic similarity (ITS and LSU rDNA), a second species, Polyschema venustum, is also referred to Matsushimamyces.
On deflection as a performance criterion in detection

The performance of detection systems is usually characterized by the receiver operating characteristics (ROC) curves. Because of the complexity of the calculation of such curves simpler performance criteria are useful. Among these, the deflection criterion, or output signal-to-noise ratio, is one of the most interesting. The advantages and limitations of the deflection are first analyzed. Attention is especially paid to the relation between singular detection and infinite deflection. Maximization of the deflection in the class of linear-quadratic (L-Q) systems is also discussed and it is shown that in order to detect a deterministic signal in some kinds of non-gaussian noise a quadratic term can introduce an almost singular detection. This situation is analyzed by computer simulations and comparisons between results obtained via the deflection or the ROC curves indicate the interest of the deflection in the analysis of the performance of some nonlinear system. >
Boundary Element Calculation of Eddy Currents in Cylindrical Structures Containing Cracks

Electromagnetic fields due to excitation coils in boreholes containing cracks have been calculated using a boundary element method formulated in terms of a scalar decomposition of the field. By using a Green's kernel that ensures continuity of the tangential electric and magnetic field at the cylindrical surface, it is only necessary to render the flaw region in a discrete form. The effect of an ideal crack, one with zero opening but acting as a perfect barrier to eddy currents, is here represented by a current dipole layer orientated normal to the crack surface. An integral equation determines the source density on the crack and a numerical solution is found using boundary elements. The coil impedance change due to the crack is then computed using an expression based on a reciprocity principle.
The Tip of the Iceberg: Clinical Implications of Genomic Sequencing Projects in Head and Neck Cancer

Recent genomic sequencing studies have provided valuable insight into genetic aberrations in head and neck squamous cell carcinoma. Despite these great advances, certain hurdles exist in translating genomic findings to clinical care. Further correlation of genetic findings to clinical outcomes, additional analyses of subgroups of head and neck cancers and follow-up investigation into genetic heterogeneity are needed. While the development of targeted therapy trials is of key importance, numerous challenges exist in establishing and optimizing such programs. This review discusses potential upcoming steps for further genetic evaluation of head and neck cancers and implementation of genetic findings into precision medicine trials.
An Online Boosting Algorithm with Theoretical Justifications

We study the task of online boosting -- combining online weak learners into an online strong learner. While batch boosting has a sound theoretical foundation, online boosting deserves more study from the theoretical perspective. In this paper, we carefully compare the differences between online and batch boosting, and propose a novel and reasonable assumption for the online weak learner. Based on the assumption, we design an online boosting algorithm with a strong theoretical guarantee by adapting from the offline SmoothBoost algorithm that matches the assumption closely. We further tackle the task of deciding the number of weak learners using established theoretical results for online convex programming and predicting with expert advice. Experiments on real-world data sets demonstrate that the proposed algorithm compares favorably with existing online boosting algorithms.
CBD: A Counter-Based Detection Method for VMM in Hardware Virtualization Technology

VMM detection technology plays increasingly vital role in the detection of malicious codes which hide themselves inside the VMM. However, the adoption of hardware virtualization technology has led to the failure of those traditional detection methods which mainly focus their attention on logic, resources and timing discrepancies between physical hardware and virtualized hardware. Based on this, a novel counter-based detection (CBD) method is proposed in this paper. It establishes a benchmark thread in the user mode while counting the number of privileged instructions’ execution times. The VMM’s presence is detected by the discrepancy between the actual execution times and theoretic execution times of the privileged instruction. Evaluation test shows that this method is feasible for the detection of both Normal and Anti-time VMM and is currently free of specific anti-detection methods.
Camera calibration using geometric constraints

A method to estimate the intrinsic and extrinsic patterns of a camera model is presented. The intrinsic parameters of camera center and focal length are estimated with a calibration device which is adjusted iteratively with four independent motions. Experimentation demonstrates that inexperienced users rapidly converge to satisfactory estimates. Extrinsic parameters define the position and orientation of the camera in a world coordinate frame. The straightforward formulation of this mapping leads to a complex system of nonlinear equations. Solutions based on nonlinear estimation techniques used unconstrained sets of known target points. These methods may converge to an incorrect solution and are characteristically ill-conditioned. By imposing a simple regularity on the arrangement of calibration points, the problem can be decomposed into a series of simple one- or two-parameter linear equations. The approach is described, and empirical tests of the accuracy of the method are given. <<ETX>>
A Decentralized Pseudonym Scheme for Cloud-based eHealth Systems

A decentralized pseudonym scheme is proposed for providing storage, encryption and authentication of patientsâ EHRs in cloud-based eHealth systems. The pseudonyms of a patient are generated from the patientâs secrets and each of them is used as the index of an EHR entry of the patient. An encryption key derived from the pseudonym can be used to encrypt the corresponding EHR entry. The pseudonyms can also be used for the patient proving the ownership of the EHR without disclosing the identity of the patient. Some protocols and remarks for using the pseudonym scheme are also discussed.
The Conserved Intronic Cleavage and Polyadenylation Site of CstF-77 Gene Imparts Control of 3′ End Processing Activity through Feedback Autoregulation and by U1 snRNP

The human gene encoding the cleavage/polyadenylation (C/P) factor CstF-77 contains 21 exons. However, intron 3 (In3) accounts for nearly half of the gene region, and contains a C/P site (pA) with medium strength, leading to short mRNA isoforms with no apparent protein products. This intron contains a weak 5′ splice site (5′SS), opposite to the general trend for large introns in the human genome. Importantly, the intron size and strengths of 5′SS and pA are all highly conserved across vertebrates, and perturbation of these parameters drastically alters intronic C/P. We found that the usage of In3 pA is responsive to the expression level of CstF-77 as well as several other C/P factors, indicating it attenuates the expression of CstF-77 via a negative feedback mechanism. Significantly, intronic C/P of CstF-77 pre-mRNA correlates with global 3′UTR length across cells and tissues. In addition, inhibition of U1 snRNP also leads to regulation of the usage of In3 pA, suggesting that the C/P activity in the cell can be cross-regulated by splicing, leading to coordination between these two processes. Importantly, perturbation of CstF-77 expression leads to widespread alternative cleavage and polyadenylation (APA) and disturbance of cell proliferation and differentiation. Thus, the conserved intronic pA of the CstF-77 gene may function as a sensor for cellular C/P and splicing activities, controlling the homeostasis of CstF-77 and C/P activity and impacting cell proliferation and differentiation.
[Drug and gene delivery using electrotransfer].

The use of a low intensity current (iontophoresis) and high voltage pulses (electroporation which permeabilizes lipid bilayers) has a potential for the administration of conventional and biotechnology-produced drugs. Iontophoresis and electroporation enhance transdermal delivery of drugs, including peptides and oligonucleotides. Electrochemotherapy, i.e., combination of a systemic or local delivery of a non-permeant cytostatic drug with electroporation, kills locally tumor cells. Recently, it has been shown that the local injection of a plasmid before electroporation increases significantly gene transfection. Hence, electrotransfer is a promising alternative for drug and gene delivery.