Miracle-dz/UniFAR-FTUs huggingface dataset:
Clafer : a Unified Language for Class and Feature Modeling

This paper presents Clafer, a class modeling language with first class support for feature modeling. In the work we identify key differences between class and feature models and show how to unify the two notations. Our language offers simple, yet powerful constraint notation to restrict models and define mappings between features and classes. In the paper, we describe how to use Clafer to express problem and solution spaces and specify mappings between them. We also present a Clafer-to-Alloy translator, our primary tool that gives precise semantics to Clafer.
Self-healing design methodologies for analog integrated circuits

Increasing process variability and shrinking voltage headroom in advanced silicon processes have limited the efficacy of existing design and layout techniques, especially for analog circuits that push the performance envelope. Process variations and high-performance specifications has started to cause unpredictable and unacceptable product yield that requires new design methodologies with post-manufacturing tuning capability. Self-healing design style, in which a tunable analog circuit is integrated together with performance sensors and a tuning algorithm, can restore the performance loss due to process and environment variability. Furthermore, self-healing can be utilized to optimize the circuits with multiple operating modes where the performance is sensitive to the circuit state. In this dissertation, we address what we consider to be the major challenges in designing self-healing systems with digital tuning: integrated performance sensing; robust algorithm design and verification before manufacturing. We present a general review of self-healing design challenges, important design trade-offs and propose general guidelines. We propose the use of indirect sensing for performance metrics that are either difficult or impractical to measure using integrated circuits. We then present a catalog of techniques for self-healing system verification including circuit simulation, behavioral modeling and simulation. We also explore applicability of formal techniques towards verification of self-healing systems. To demonstrate our work we focus specifically on self-healing challenges as they relate to the design of phase locked loops (PLL) a challenging design example that requires multiple self-healing loops for higher performance. We apply indirect sensing method for phase noise in voltage controlled oscillators and frequency response of PLL’s. We also present a hybrid PLL model that enables reachability analysis and discuss the generalization of reachability analysis to self-healing circuits.
A Generalised Unsharp Masking Algorithm Using Bilateral Filter

we propose a new generalized algorithm using the exploratory data model as unified frame work. Enhancement of contrast and sharpness of an image is required in many applications. In applications like medical radiography enhancing movie features and observing the planets it is necessary to enhance the contrast and sharpness of an image. Unsharp masking is good tool for sharpness enhancement; it is an anti blurring filter. By using unsharp masking algorithm for sharpness enhancement, the resultant image suffering with two problems, first one is a hallo is appear around the edges of an image, and second one is rescaling process is needed for the resultant image. The aim of this paper is to enhance the contrast and sharpness of an image simultaneously and to solve the problems. In the proposed algorithm, we can adjust the two parameters controlling the contrast and sharpness to produce the desired output. The proposed algorithm is designed to address issues:1) simultaneously enhancing contrast and sharpness by means of individual treatment of the model component and the residual,2)reducing the halo effect by means of an edge- preserving filter using Bilateral filter. Experimental results, which comparable to recent published results, shows that proposed algorithm is able to significantly improve the sharpness and contrast of an image. This makes the proposed algorithm practically useful.
O-GlcNAcylation, contractile protein modifications and calcium affinity in skeletal muscle

O-GlcNAcylation, a generally undermined atypical protein glycosylation process, is involved in a dynamic and highly regulated interplay with phosphorylation. Akin to phosphorylation, O-GlcNAcylation is also involved in the physiopathology of several acquired diseases, such as muscle insulin resistance or muscle atrophy. Recent data underline that the interplay between phosphorylation and O-GlcNAcylation acts as a modulator of skeletal muscle contractile activity. In particular, the O-GlcNAcylation level of the phosphoprotein myosin light chain 2 seems to be crucial in the modulation of the calcium activation properties, and should be responsible for changes in calcium properties observed in functional atrophy. Moreover, since several key structural proteins are O-GlcNAc-modified, and because of the localization of the enzymes involved in the O-GlcNAcylation/de-O-GlcNAcylation process to the nodal Z disk, a role of O-GlcNAcylation in the modulation of the sarcomeric structure should be considered.
Friendship motivations, challenges and the role of masking for girls with autism in contrasting school settings

Abstract To date little is known about the experiences of girls with autism, or how they live with and manage their autism. This qualitative study explored experiences of learning, friendships and bullying of girls with autism. Semi-structured interviews were conducted with 11 girls with autism, aged 11–17 years, and one parent of each girl. Thematic analysis identified key themes relating to motivation to have friends, challenges for girls with autism and the notion that many girls tend to mask their autism, which had both positive and negative consequences. Overall, the girls were motivated to have friends, but often encountered social difficulties and were sometimes targeted for bullying. Findings pointed to the need for interventions such as staff training and programmes to support the social interaction of girls with autism based on their specific perceptions of friendship.
Morphological Predictability of Unseen Words Using Computational Analogy

We address the problem of predicting unseen words by relying on the organization of the vocabulary of a language as exhibited by paradigm tables. We present a pipeline to automatically produce paradigm tables from all the words contained in a text. We measure how many unseen words from an unseen test text can be predicted using the paradigm tables obtained from a training text. Experiments are carried out in several languages to compare the morphological richness of languages, and also the richness of the vocabulary of di↵erent authors.
Effects of heuristics in path planning for mobile robots in uncertain and dynamic environments

In this work, several heuristics are proposed to assess their effects in path planning for mobile robots in uncertain and dynamic environments. Path planning for mobile robots is a widely used technique where an optimal collision-free path is searched through an environment. It is one of the most important primitives in robotics and is considered to be a hard problem. Since environments may contain static as well as dynamic obstacles, the optimal path must be collision-free. The situation becomes complicated for mobile robots when an environment consists of dynamic obstacles with random velocities and arbitrary directions. Though there have been a lot of research in static environments, concentration given on uncertain and dynamic environments is a few. Our goal is to find a path in such uncertain and dynamic environments considering simulation time and travel-distance. In order to analyze the robustness of our proposed heuristics, we plugged each of these heuristics in several search algorithms. We also compared the performances of these algorithms. Finally, this paper analyzes the effects of the proposed heuristics in path planning in uncertain and dynamic environments which are usual real-word scenarios for mobile robots.
Size-Controllable Region-of-Interest in Scalable Image Representation

Differentiating region-of-interest (ROI) from non-ROI in an image in terms of relative size as well as fidelity becomes an important functionality for future visual communication environment with a variety of display devices. In this paper, we propose a scalable image representation with the ROI functionality in the spatial domain, which allows us to generate a hierarchy of images with arbitrary sizes. The ROI functionality of our scalable representation is a result of a nonuniform grid transformation in the spatial domain, where only the center of ROI and an expansion parameter are to be known. Our grid transformation guarantees no loss of information within the area of ROI.
Molecular genetics and subjective well-being

Subjective well-being (SWB) is a major topic of research across the social sciences. Twin and family studies have found that genetic factors may account for as much as 30–40% of the variance in SWB. Here, we study genetic contributions to SWB in a pooled sample of ≈11,500 unrelated, comprehensively-genotyped Swedish and Dutch individuals. We apply a recently developed method to estimate “common narrow heritability”: the fraction of variance in SWB that can be explained by the cumulative additive effects of genetic polymorphisms that are common in the population. Our estimates are 5–10% for single-question survey measures of SWB, and 12–18% after correction for measurement error in the SWB measures. Our results suggest guarded optimism about the prospects of using genetic data in SWB research because, although the common narrow heritability is not large, the polymorphisms that contribute to it could feasibly be discovered with a sufficiently large sample of individuals.
Electronic and optical properties of Mg x Zn 1 x O and Cd x Zn 1 x O from ab initio calculations

Isostructural and heterostructural pseudobinary Mg x Zn1 xO and CdxZn1 xO alloys are studied by combining the wurtzite and the rocksalt polymorphs within a cluster expansion. The computationally demanding calculation of the quasiparticle electronic structure has been achieved for all cluster cells of the expansion using the recently developed HSE03+G0W0 scheme. These results are used to compute the configurational averages for the fundamental band gaps and the densities of states. A strongly nonlinear behavior of the band gaps is observed and it is quantified by means of the corresponding bowing parameters for both material systems. In order to calculate the macroscopic dielectric functions, including excitonic and local- field effects for iso- and heterostructural Mg x Zn1 xO alloys as well as wurtzite (wz) CdxZn1 xO, the Bethe-Salpeter equation has been solved for each of the corresponding clusters. The respective configurational averages indicate that the composition-dependent variation in the exciton peaks allows conclusions on the alloy composition and preparation conditions.
Constructing Perfect Aggregations to Eliminate Response Time Variability in Cyclic Fair Sequences

Isr develops, applies and teaches advanced methodologies of design and analysis to solve complex, hierarchical, heterogeneous and dynamic problems of engineering technology and systems for industry and government. Isr is a permanent institute of the university of maryland, within the a. James clark school of engineering. It is a graduated national science foundation engineering research center. Abstract Fair sequences are useful in a variety of manufacturing and computer systems. This paper considers the generation of cyclic fair sequences for a given set of products, each of which must be produced multiple times in each cycle. The objective is to create a sequence so that, for each product, the variability of the time between consecutive completions is minimized. Previous work introduced an aggregation approach that can reduce response time variability (RTV) dramatically. However, in some cases, aggregating more carefully can generate sequences with zero RTV. We call this a " perfect aggregation. " This paper discusses properties of instances that have perfect aggregations. Moreover, we present techniques that can find a perfect aggregation if one exists.
MODELING HETEROGENEITY FOR BIVARIATE SURVIVAL DATA BY POWER VARIANCE FUNCTION DISTRIBUTION

We propose a bivariate Weibull regression model with frailty which is generated by power variance function distribution. We assume that the bivariate survival data follow bivariate Weibull of Hanagal (2005a) and distribution of censoring variable is independent of the two life times. There are some interesting situations like survival times in genetic epidemiology, survival times of dental implants of patients and survival times of twin births (both monozygotic and dizygotic) where genetic behavior (which is unknown and random) of patients follows a power variance function frailty distribution. These are the situations which motivate to study this particular model. We propose two stage maximum likelihood estimation procedure for the parameters and develop large sample tests for no frailty and the significance of regression parameters in the proposed model.
A 47.6–71.0-GHz 65-nm CMOS VCO Based on Magnetically Coupled $\pi $-Type LC Network

A wide tuning range millimeter-wave voltage-controlled oscillator (VCO) based on a magnetically coupled π-type LC network in 65-nm CMOS is proposed. By configuring the switched negative-resistance unit, the VCO can oscillate at the even mode or the odd mode of the magnetically coupled π-type LC network, thus the tuning range is widened without introducing the switch loss into the resonator. The proposed VCO achieves a measured continuous tuning range of 39%, from 47.6 to 71.0 GHz. The measured phase noise for a 47.6-GHz carrier at the even mode and 56.2-GHz carrier at the odd mode are -110.3 and -107.3 dBc/Hz at 10-MHz offset with a corresponding FOMT of -185.5 and -183.9 dBc/Hz, respectively. The measured phase noise in the whole frequency tuning range varies from -101.7 to -113.4 dBc/Hz at 10-MHz offset, while the corresponding figure-of-merit (FOM) and FOMT vary from -167.8 to -179.0 dB and -179.6 to 190.6 dB, respectively. The VCO core consumes 8.9-10.4-mA current from 1.0-V power supply and 320 × 230 μm 2 die area.
Leveraging word embeddings for spoken document summarization

Owing to the rapidly growing multimedia content available on the Internet, extractive spoken document summarization, with the purpose of automatically selecting a set of representative sentences from a spoken document to concisely express the most important theme of the document, has been an active area of research and experimentation. On the other hand, word embedding has emerged as a newly favorite research subject because of its excellent performance in many natural language processing (NLP)-related tasks. However, as far as we are aware, there are relatively few studies investigating its use in extractive text or speech summarization. A common thread of leveraging word embeddings in the summarization process is to represent the document (or sentence) by averaging the word embeddings of the words occurring in the document (or sentence). Then, intuitively, the cosine similarity measure can be employed to determine the relevance degree between a pair of representations. Beyond the continued efforts made to improve the representation of words, this paper focuses on building novel and efficient ranking models based on the general word embedding methods for extractive speech summarization. Experimental results demonstrate the effectiveness of our proposed methods, compared to existing state-of-the-art methods.
Wavelength-dependent measurements of optical-fiber transit time, material dispersion, and attenuation.

A new, to our knowledge, method for measuring the wavelength dependence of the transit time, material dispersion, and attenuation of an optical fiber is described. We inject light from a 4-ns rise-time pulsed broadband flash lamp into fibers of various lengths and record the transmitted signals with a time-resolved spectrograph. Segments of data spanning a range of approximately 3000 A are recorded from a single flash-lamp pulse. Comparison of data acquired with short and long fibers enables the determination of the transit time and the material dispersion as functions of wavelength dependence for the entire recorded spectrum simultaneously. The wavelength-dependent attenuation is also determined from the signal intensities. The method is demonstrated with experiments using a step-index 200-mum-diameter SiO(2) fiber. The results agree with the transit time determined from the bulk glass refractive index to within ? 0.035% for the visible (4000-7200-A) spectrum and 0.12% for the UV (2650-4000-A) spectrum and with the attenuation specified by the fiber manufacturer to within ? 10%.
Analysis of Symbol Mapping for Bit-Interleaved Coded Modulation with Iterative Decoding

Symbol mapping is very crucial for the performance of bit-interleaved coded modulation with iterative decoding (BICM-ID). In this paper, an analysis method of the performances of symbol mappings is proposed. This method is via analysis based on harmonic mean of the minimum Euclidean distance and distance spectrum of Euclidean distances for mappings. Harmonic mean centered on the average of Euclidean, while distance spectrum presents the matter of distribution of Euclidean distances in detail. The performance over fading channels depends on the average (harmonic mean) of the minimum Euclidean distance, which could be reduced by using feedback. Distance spectrum of Euclidean distances illustrates that the key role in improvement is derived from the decreasing of weight at the minimum Euclidean distance. Through analysis and comparisons with several different symbol mappings in terms of both harmonic mean of the minimum Euclidean distance and distance spectrum of Euclidean distances, simulation results in Rayleigh fading channels show that the two agents determine the asymptotic gain after feedback and BER performance at high 0 / b E N range.
Text Summarizer in Use: Lessons Learned from Real World Deployment and Evaluation

1.0 Introduction Much of the historical and current summarization literature has been technologycentered with the questions posed and answered having implications for technology development. Though commercial summarization products have appeared in the market place and developers continue to explore new summarization areas, few papers have been user-centered, examining summarization technology in-use. In this ~aaper, we show how applied work and the knowledge gleaned about technology in-use "can temper theoretical considerations and • motivate as well as direct development likely to result in higher return on investment.
Expression-Adrenergic Stimulation Induces Myocardial Proinflammatory Cytokine β Chronic

Expression -Adrenergic Stimulation Induces Myocardial Proinflammatory Cytokine β Chronic Print ISSN: 0009-7322. Online ISSN: 1524-4539 Copyright © 2000 American Heart Association, Inc. All rights reserved. is published by the American Heart Association, 7272 Greenville Avenue, Dallas, TX 75231 Circulation doi: 10.1161/01.CIR. 101.20. 2338 2000;101:2338-2341 Circulation. http://circ.ahajournals. org/content/101/20/2338 World Wide Web at: The online version of this article, along with updated information and services, is located on the
YjcC, a c-di-GMP Phosphodiesterase Protein, Regulates the Oxidative Stress Response and Virulence of Klebsiella pneumoniae CG43

This study shows that the expression of yjcC, an in vivo expression (IVE) gene, and the stress response regulatory genes soxR, soxS, and rpoS are paraquat inducible in Klebsiella pneumoniae CG43. The deletion of rpoS or soxRS decreased yjcC expression, implying an RpoS- or SoxRS-dependent control. After paraquat or H2O2 treatment, the deletion of yjcC reduced bacterial survival. These effects could be complemented by introducing the ΔyjcC mutant with the YjcC-expression plasmid pJR1. The recombinant protein containing only the YjcC-EAL domain exhibited phosphodiesterase (PDE) activity; overexpression of yjcC has lower levels of cyclic di-GMP. The yjcC deletion mutant also exhibited increased reactive oxygen species (ROS) formation, oxidation damage, and oxidative stress scavenging activity. In addition, the yjcC deletion reduced capsular polysaccharide production in the bacteria, but increased the LD50 in mice, biofilm formation, and type 3 fimbriae major pilin MrkA production. Finally, a comparative transcriptome analysis showed 34 upregulated and 29 downregulated genes with the increased production of YjcC. The activated gene products include glutaredoxin I, thioredoxin, heat shock proteins, chaperone, and MrkHI, and proteins for energy metabolism (transporters, cell surface structure, and transcriptional regulation). In conclusion, the results of this study suggest that YjcC positively regulates the oxidative stress response and mouse virulence but negatively affects the biofilm formation and type 3 fimbriae expression by altering the c-di-GMP levels after receiving oxidative stress signaling inputs.
Behavioral Psychology In Rehabilitation Medicine Clinical Applications

Thank you very much for downloading behavioral psychology in rehabilitation medicine clinical applications. Maybe you have knowledge that, people have search hundreds times for their favorite books like this behavioral psychology in rehabilitation medicine clinical applications, but end up in infectious downloads. Rather than enjoying a good book with a cup of coffee in the afternoon, instead they cope with some infectious virus inside their desktop computer.
Estudo das Propriedades Psicométricas do Inventário de Reconhecimento de Sinais de Alerta para Atos Suicidas

EnglishThe recognition of warning signs by peers is a key strategy for suicide prevention. However, there are no tools to assess the knowledge of adolescents about these signs. This study aims to develop a Warning Signs Recognition for Suicidal Acts Inventory (WS SAI) and study the respective psychometric characteristics. The sample comprised 512 high - school adolescents (59% female) with a mean age16.78 years. Exploratory and confirmatory factor analyzes, along with theoretical criteria, led to a three - factor solut ion (23 items) that assesses behavioral, verbal and isolation warning signs. The WSSAI presented quite satisfactory reliability and validity characteristics . portuguesO reconhecimento de sinais de alerta pelos pares e uma estrategia fundamental para a prevencao do suicidio. Contudo, nao existem instrumentos que avaliem o conhecimento dos adolescentes sobre esses sinais. Este estudo pretende desenvolver um Inventario de Reconhecimento de Sinais de Alerta para Atos Suicidas (IRSAS) e estudar as respetivas caracteristicas psicometricas. A amostra integrou 512 adolescentes do ensino secundario (59% do sexo feminino), com uma media de idades 16.78 anos. As analises fatoriais exploratoria e confirmatoria, juntamente com criterios teoricos, conduziram a uma solucao trifatorial (23 itens) que avalia sinais de alerta comportamentais, verbais e de isolamento. O IRSAS apresentou caracteristicas de fiabil idade e de validade bastante satisfatorias.
Social Voting Techniques: A Comparison of the Methods Used for Explicit Feedback in Recommendation Systems

Web recommendation systems usually brings a content list to users based on previous ratings made by them to other similar contents through some social voting mean. This paper aims to present a comparison of the main explicit rating methods used by web recommendation systems. The goal of this survey is to determine which of the studied methods fits better to user preferences when they rate a content on the web; based on the obtained results, a recommendation system can be implemented using an explicit feedback method to achieve this goal.