Miracle-dz/UniFAR-FTUs huggingface dataset:
Robust Elmore delay models suitable for full chip timing verification of a 600MHz CMOS microprocessor

In this paper we introduce a method for computing the Elmore delay of MOS circuits which relies on a model of the capacitance of MOS devices and a model of the Elmore delay of individual MOS devices. The resistance of a device is not explicitly modelled. The Elmore models are used to compute the Elmore delay and the 50% point delay of CMOS circuits in a static timing verifier. Elmore delays computed with these models fall within 10% of SPICE and can be computed thousands of times faster than if computed using SPICE. These models were used to verify critical paths during the design of a 600MHz microprocessor.
Specification and implementation of dynamic Web site benchmarks

The absence of benchmarks for Web sites with dynamic content has been a major impediment to research in this area. We describe three benchmarks for evaluating the performance of Web sites with dynamic content. The benchmarks model three common types of dynamic content Web sites with widely varying application characteristics: an online bookstore, an auction site, and a bulletin board. For the online bookstore, we use the TPCW specification. For the auction site and the bulletin board, we provide our own specification, modeled after ebay.com and slahdot.org, respectively. For each benchmark we describe the design of the database and the interactions provided by the Web server. We have implemented these three benchmarks with a variety of methods for building dynamic-content applications, including PHP, Java servlets and EJB (Enterprise Java Beans). In all cases, we use commonly used open-source software. We also provide a client emulator that allows a dynamic content Web server to be driven with various workloads. Our implementations are available freely from our Web site for other researchers to use. These benchmarks can be used for research in dynamic Web and application server design. In this paper, we provide one example of such possible use, namely discovering the bottlenecks for applications in a particular server configuration. Other possible uses include studies of clustering and caching for dynamic content, comparison of different application implementation methods, and studying the effect of different workload characteristics on the performance of servers. With these benchmarks we hope to provide a common reference point for studies in these areas.
Germline alterations in the CDH1 gene in familial gastric cancer in the Japanese population

Germline point or small frameshift mutations of the CDH1 (E‐cadherin) gene are known to cause familial gastric cancer (FGC), but the frequency of CDH1 mutations is low in Japanese patients with FGC. Because recent studies have reported germline large genomic deletions of CDH1 in European and Canadian patients with FGC, in the present study we examined DNA samples from 13 Japanese patients with FGC to determine whether similar germline changes were present in CDH1 in this population. Using a sequencing analysis, a 1‐bp deletion (c.1212delC), leading to the production of a truncated protein (p.Asn405IlefsX12), was found in an FGC family; immunohistochemical analysis revealed the loss of CDH1 protein expression in the tumors in this family. Using a combination of multiplex ligation‐dependent probe amplification (MLPA) and RT‐PCR analyses, we also found a large genomic deletion (c.164‐? _387+? del), leading to the loss of exon 3 and the production of a truncated protein (p.Val55GlyfsX38), in another FGC family. The functional effects of the detected mutations were examined using a slow aggregation assay. Significant impairment of cell–cell adhesion was detected in CHO‐K1 cells expressing Ile405fsX12‐ and Gly55fsX38‐type CDH1 compared with cells expressing wild‐type CDH1. Our results suggest that the p.Asn405IlefsX12 and p.Val55GlyfsX38 mutations of the CDH1 gene contribute to carcinogenesis in patients with FGC. This is the first report of CDH1 germline truncating mutations in Japanese patients with FGC. Screening for large germline rearrangements should be included in CDH1 genetic testing for FGC. (Cancer Sci 2011; 102: 1782–1788)
The Gambling Follow-up Scale: Development and Reliability Testing of a Scale for Pathological Gamblers under Treatment

Objective: To provide preliminary data on the Gambling Follow-Up Scale (GFS), a new scale assessing recovering gamblers. Secondary goals included assessing the impact of “work status,” “family relationship,” “leisure,” and “enrolment in Gamblers Anonymous (GA)” on gambling (all items from the scale), together with the impact of treatment. Method: Using the GFS, 3 independent raters interviewed gamblers under treatment. The sample was collected in 2 university centres in the city of São Paulo, Brazil. Patients attended psychotherapy coupled with psychiatric follow-up, participation in GA, or both. Results: We interviewed 47 pathological gamblers; 13 were interviewed twice, with a minimum interval of 6 months, for a total of 60 GFS interviews. Interviews took on average 6.0 minutes, SD 2.7. Interrater concordance ranged from 82% to 95% (intraclass correlation coefficient range 0.85 to 0.99, P < 0.001). A factorial analysis showed a 1-factor solution (Eigenvalue = 2.4, 47.6% of total variance accounted). “Leisure,” “frequency and time gambling,” and “family relationship” showed considerable loadings (0.84; 0.71; 0.71), whereas “enrolment in GA” and “work status” showed moderate loadings (0.59; 0.56). A linear regression model significantly correlated gambling (R2 = 0.356; P < 0.001) with “leisure” and length of treatment. Treatment modalities affected “leisure” (F2,43 = 5.00, P = 0.011), with GA attendees reporting more regular and gratifying activities. Conclusions: The GFS showed interrater reliability and construct validity. More leisure and lengthier treatment were significantly related to less gambling. GA enrolment seemed to particularly benefit the quality of leisure. Future studies could profit from the quickness and simple structure of the GFS in providing shareable outcome measures.
Effects of a Mind-Consciousness-Thought (MCT) intervention on stress and well-being in freshman Nursing students

EFFECTS OF A MIND-CONSCIOUSNESS-THOUGHT (MCT) INTERVENTION ON STRESS AND WELL-BEING IN FRESHMAN NURSING STUDENTS Judith A. Sedgeman An emerging “health” paradigm, Mind-Consciousness-Thought (MCT), proposes that three universal Principles, Mind (life energy), Consciousness (the capacity to be aware of thinking as “reality”), and Thought (the ability to create thinking continually), explain how psychological experience is created from the inside-out, not created from the outside-in by events and circumstances. It proposes that life comes through us, not at us. It proposes that insight into the existence and operation of those principles reconnects people to their innate mental well-being, an always accessible source of balance, wisdom, and creativity (i.e., resiliency). It proposes that accessing mental well-being is incompatible with chronic stress, and that, once people realize the Principles that explain how the mind works, hope, optimism and resiliency incrementally increase in the face of changing life circumstances. An on-line MCT educational module was created for freshman Nursing students, with preand post-tests to measure changes in their levels of stress and well-being. Preand posttests were administered simultaneously to a control group without exposure to the module. MCT learning depends on reflection and insight. It was anticipated that the selfcontained “course within a course” would be sufficiently distinctive that students would appreciate and adapt to that learning style. In fact, although 70% of the 150 students who were assigned the module took the preand post-tests, there were fewer than four visits to 24 of the 48 content windows of the module and an average time spent of 47 seconds on all windows that were visited. Detailed tracking data show few, brief student visits to the critical parts of the learning module, with most visits, and the longest visits, to opening pages and the pre-post-questionnaires. This research produced no measurable results. This is interpreted as being due to lack of meaningful participation in the intervention. It supports the assumption that MCT entails intuitive learning, ideally presented independent of traditional on-line courses that are set up for rote learning. MCT should be evaluated as a unique offering, which students enter with the understanding that the learning experience will be reflective and insight-based. Future research should focus on distinctive on-line presentations of MCT that invite intuitive learning.
QOS SUPPORT FOR IEEE 802.11 WIRELESS LAN∗

In today’s Internet, the emerging widespread use of real-time voice, audio, and video applications makes Quality of service (QoS) a key problem. Meanwhile, the Internet is getting heterogeneous due to the explosive evolution of wireless networks. QoS support in wireless networks is more challenging than in the wired networks since bandwidth is scarce, latency and bit error rate are high and characteristics of the wireless channel vary over time and space. The IEEE 802.11 standard is the most widely deployed wireless local area network (WLAN) infrastructure. However, it cannot provide QoS support for the increasing number of multimedia applications. Thus, a lot of research works have been carried out to enhance the QoS support in 802.11 networks. Recently, the IEEE working group has been working on a new QoS-enhanced standard, called IEEE 802.11e. This chapter describes all these research and standardization activities. We also show through simulations the performance limitations of the upcoming 802.11e standard and discuss several adaptive mechanisms to enhance the performance of the upcoming 802.11e standard.
Visually Impaired Students’ Perceptions of Their Social Integration in College

This study identified the perceptions of six college students with visual impairments on what influenced their social activity on campus. It found that the influences were different for these students than for traditional students as identified in the literature. The findings suggest that it is necessary to intervene in the social development of young people with visual impairments before they attend college and to help them overcome such barriers as peers’ discomfort with them in social situations and difficulties with transportation.
A review of equid herpesvirus 1 for the veterinary practitioner. Part A: clinical presentation, diagnosis and treatment

Abstract Equid herpesvirus (EHV) type 1 is a common pathogen of horses with worldwide distribution. Although severe tracheobronchitis has been described in some field outbreaks of EHV-1 respiratory disease, many EHV-1 infections occur asymptomatically or are accompanied only by signs of mild respiratory disease. However, EHV-1 infection can also result in outcomes other than respiratory disease such as abortion, neonatal death or neurological disease. This review provides an overview of the diagnosis, treatment and prognosis for EHV-1-associated diseases, with an emphasis on neurological presentations of EHV-1 infection.
Patterns in women's development : interrelationships among attachment, identity and cognitive sophistication

The purpose of this study was to examine the interrelationships among women's conceptualizations of their childhood relationships (attachment), their sense of who they are (identity), and their understanding of children's development and child rearing (cognitive sophistication). A secondary goal was to predict the security of children's attachment from their mothers' standing on attachment, identity, and cognitive sophistication. One hundred and six women between the ages of 21 and 44 (mean age of 32), with children between the ages of 14 and 43 months (mean age of 29 months), were i n t e ~ e w e d to determine their attachment style and identity status. Women's cognitive sophistication and their children's security of attachment were also assessed. With respect to women's development, the results indicated that women with a Secure attachment style were more often found in the committed identity statuses (Achievement/Foreclosure), while among the uncommitted identity statuses (Moratorium/Diffusion) a Fearfid attachment style predominated. Cognitive sophistication varied as a b c t i o n of an interaction between identity status and the security of family attachment. There was no significant difference in cognitive sophistication between Secure-Achieved and Secure-Foreclosed women, yet InsecureAchieved women were significantly more sophisticated in their understanding of children's development than Insecure-Foreclosed women. These findings suggest that there may be two distinct patterns of Identity Achievement and Foreclosure. Women's level of development was not predictive of the security of their children's attachment. The interrelationships among the constructs were discussed in terms of six patterns of women's psychological development.
Autonomous Environment and Task Adaptation for Robotic Agents

This paper investigates the problem of improving the performance of general state-of-the-art robot control systems by autonomously adapting them to specific tasks and environments. We propose model- and test-based transformational learning (MTTL) as a computational model for performing this task. MTTL uses abstract models of control systems and environments in order to propose promising adaptations. To account for model deficiencies resulting from abstraction, hypotheses are statistically tested based on experimentation in the physical world. We describe XFRMLEARN, an implementation of MTTL, and apply it to the problem of indoor navigation. We present experiments in which XFRMLEARN improves the navigation performance of a state-of-the-art high-speed navigation system for a given set of navigation tasks by up to 44 percent.
Parallel bit interleaved coded modulation

A new variant of bit interleaved coded modulation (BICM) is proposed. In the new scheme, called parallel BICM, L identical binary codes are used in parallel using a mapper, a newly proposed finite-length interleaver and a binary dither signal. As opposed to previous approaches, the scheme does not rely on any assumptions of an ideal, infinite-length interleaver. Over a memoryless channel, the new scheme is proven to be equivalent to a binary memoryless channel. Therefore the scheme enables one to easily design coded modulation schemes using a simple binary code that was designed for that binary channel. The overall performance of the coded modulation scheme is analytically evaluated based on the performance of the binary code over the binary channel. The new scheme is analyzed from an information theoretic viewpoint, where the capacity, error exponent and channel dispersion are considered. The capacity of the scheme is identical to the BICM capacity. The error exponent of the scheme is numerically compared to a recently proposed mismatched-decoding exponent analysis of BICM.
Model Generation For Temporal Properties Of Reactive Components

We present a new static analysis that generates a model of the temporal behaviour of a reactive component. The component is specified in machine code this makes the analysis applicable to the legacy code and the output of any compiler. Our analysis is an abstract interpretation [2] of the program that computes the possible periodicities of instructions within a nonterminating program. The machine code is transformed into an abstract instruction set that retains only the timing characteristics of each instruction. We show how a simple abstraction of the timing state allows an abstract interpretation to construct a finite model of the components temporal behaviour. This model is useful for manual verification of a simple component or be used to construct an automatic verification through model-checking. The abstraction of time uses a relative measure of time; time is measured since the flow of control passed certain nominated positions.
Against Scientific Imperialism

Opponents of the unity of science have generally been concerned with horizontal relations between theories, with attempts, that is, to subsume scientific accounts of complex objects under accounts of the behavior of their constituent parts. In this paper I suggest that scientific pluralism should be defended not only against this traditional physicalistic and mechanistic reductionism, but also against the imperialistic expansion of quite specialized scientific perspectives into ever wider domains of application. This tendency is particularly prevalent in scientific approaches to human behavior, and is most clearly illustrated by the imperialist aspirations of economics and evolutionary biology. Here I illustrate the problem primarily with reference to some of the worst excesses of imperialist economics.
Bone mineral density and histology in distal renal tubular acidosis.

BACKGROUND Chronic metabolic acidosis in distal renal tubular acidosis (RTA) has been implicated in the pathogenesis of enhanced bone resorption and osteopenia, resulting in a loss of bone mineral content. However, histomorphometric and bone densitometric studies of patients who suffered from long-standing distal RTA have rarely been done. METHODS A cross-sectional study to determine the alterations of bone mineral density (BMD) and histology was done in 14 nonazotemic RTA patients (11 females and 3 males) who had never received alkaline therapy before enrolling into this study. The mean age was 32.7 +/- 11.9 years. BMD measurements and transiliac bone biopsy were done in all patients. Blood chemistries, intact parathyroid hormone level, and a 24-hour urine collection for the determination of urinary calcium, phosphate, sodium, and potassium were obtained from the RTA patients at the time of bone biopsy. Data from 28 age-, sex-, and body mass index-matched, normal controls who were residents in the same area were also obtained. RESULTS Urinary excretion of calcium was 2.05 +/- 1.59 mmol/day. No patient had hypercalciuria. The serum intact parathyroid hormone level was 15.92 +/- 8.48 pg/mL. RTA patients had lower BMD in most areas when compared with normal controls. There were two patients who suffered from a pathologic fracture at the femur. Bone histomorphometry from RTA patients shows a significantly decreased bone formation rate (0.02 +/- 0.02 vs. 0.07 +/- 0.045 microm(3)/microm(2)/day, P < 0.05), not significantly decreased osteoblastic surface (0.78 +/- 1.03% vs. 2.6 +/- 1.1%) and osteoclastic surface (0.05 +/- 0.03 vs. 0.13 +/- 0.23%), but significantly increased osteoid surface (31.47 +/- 24.52 vs. 5.79 +/- 4.39%, P < 0.05) and osteoid volume (2.95 +/- 3.09 vs. 0.92 +/- 1.05%, P < 0.05) when compared with those of normal controls. There was no difference in osteoid thickness (10.65 +/- 6.10 vs. 8.69 +/- 2.14 microm). Only one distal RTA patient who had a marked increase in osteoid thickness justified the diagnosis of osteomalacia. CONCLUSIONS This study demonstrates that low bone mass is common in distal RTA patients. Chronic metabolic acidosis results in suppression of bone formation and resorption, which in turn may contribute to the development of low bone mass in distal RTA patients. Although minor elevations in osteoid surface and osteoid volume are found among distal RTA patients, overt osteomalacia is not the predominant bone lesion.
Couples' provision of informal care for parents and parents-in-law: far from sharing equally?

ABSTRACT This study examines whether and how couples share the provision of informal care for their parents. Four waves of the British General Household Survey contain cross-sectional information about caring for parents and parents-in-law. Descriptive and multivariate analyses were conducted on 2214 couples that provided parent care. The findings emphasise married men's contribution to informal caring for the parental generation and at the same time demonstrate the limits of their involvement. Spouses share many parts of their care-giving but this arrangement is less common with respect to personal and physical care. The more care is required the more likely are people to participate in care for their parents-in-law. More sons-in-law than daughters-in-law provide care but, once involved, daughters-in-law provide on average more hours of care than sons-in-law. Own full-time employment reduces both men's and women's caring for their parents-in-law, and men's caring drops further if their wife is not in the labour market. The findings suggest that daughters-in-law often take direct responsibility whereas sons-in-laws' care-giving depends more on their wives' involvement. Children-in-laws' informal care-giving might decrease in the future because of women's increasing involvement in the labour market and rising levels of non-marital cohabitation in mid-life.
Job Desire and Motivation: Response Distortion in Personality Assessment

ii ACKNOWLEDGMENTS . iv TABLES OF CONTENTS . v LIST OF FIGURES . viii LIST OF TABLES . ix CHAPTER 1 . 10 Introduction . 10 Present Study . 13 Personality in Personnel Selection . 14 The Five-Factor Model of Personality . 15 Distortion within Personality Assessments . 17 Job Desire . 20 Job Desire and Motivation . 23 Motivation Theories. 24 Scenarios . 25 Job Desire and Personality. 27 Openness to Experience . 28 Conscientiousness . 28 Extraversion . 29 Agreeableness . 30 Emotional Stability . 31 Individual’s Growth and Achievement Needs . 32 Growth Need Strength . 33 Growth Need Strength and Personality . 34 Need for Achievement . 35 Need for Achievement and Personality . 37 Hypotheses Summary . 38 Summary . 39 CHAPTER 2 . 41 Method . 41 Participants . 41 Procedure . 42 Scenario H: High Job Desire . 43 Scenario L: Low Job Desire . 44 Measures . 45
Creating Training Corpora for NLG Micro-Planners

In this paper, we present a novel framework for semi-automatically creating linguistically challenging micro-planning data-to-text corpora from existing Knowledge Bases. Because our method pairs data of varying size and shape with texts ranging from simple clauses to short texts, a dataset created using this framework provides a challenging benchmark for microplanning. Another feature of this framework is that it can be applied to any large scale knowledge base and can therefore be used to train and learn KB verbalisers. We apply our framework to DBpedia data and compare the resulting dataset with Wen et al. 2016’s. We show that while Wen et al.’s dataset is more than twice larger than ours, it is less diverse both in terms of input and in terms of text. We thus propose our corpus generation framework as a novel method for creating challenging data sets from which NLG models can be learned which are capable of handling the complex interactions occurring during in micro-planning between lexicalisation, aggregation, surface realisation, referring expression generation and sentence segmentation. To encourage researchers to take up this challenge, we made available a dataset of 21,855 data/text pairs created using this framework in the context of the WebNLG shared task.