Miracle-dz/UniFAR-FTUs huggingface dataset:
Performance Improvement of GFCAL Circuits

this paper authors have presented a new approach to improve the performance of the glitch free cascadable adiabatic logic (GFCAL) circuit by replacing the triangular power supply with sinusoidal and trapezoidal power supplies (that control the charging and discharging of the capacitive load) and by sizing of transistors. A simulative investigation and performance analysis of proposed approach based 3 bit GFCAL counter, GFCAL JK flip flop and GFCAL 6T-SRAM circuit have also been done. The triangular power supply produces very large delay at the outputs of GFCAL circuits thus it will be very difficult to cascade larger circuits. A solution to provide cascadability is optimization of the delay. In the proposed approach the delay of GFCAL counter for triangular supply has been improved about 40% and 60% whereas for JK flip flop it is 46% and 49% and for 6T SRAM it is 17% and 91% with sinusoidal and trapezoidal power clocks respectively. Keywordscircuit, MOS-Diode, Switching activity.
Realisation of Lusztig cones

Let Uq(g) be the quantised enveloping algebra associated to a simple Lie algebra g over C. The negative part U of Uq(g) possesses a canonical basis B with favourable properties. Lusztig has associated a cone (19) to a reduced expression i for the longest element w0 in the Weyl group of g, with good properties with respect to monomial elements of B. The first author (8) has associated a subalgebra Ai of U , compatible with the dual basis B � , to each reduced expression i. We show that, after a certain twisting, the string parametrisation of the adapted basis of this subalgebra coincides with the corresponding Lusztig cone. As an application, we give explicit expressions for the generators of the Lusztig cones.
AN ANALYSIS OF HUMAN CAPITAL ACCUMULATION USING THE SKILL-WEIGHTS APPROACH

A model of human capital accumulation based upon Lazear’s (2003) skill-weights approach to firm-specific human capital accumulation is presented and analysed, with two key findings put forward. Firstly, it is found that Lazear’s approach is consistent with Becker’s idea that in cases of complete information firms will finance firm-specific human capital accumulation, and workers will finance general human capital accumulation. Secondly, it is found that there exist two symmetric equilibria for the combination of technological investments made by the firms. Which equilibrium is adopted by the firms depends on the worker’s relative efficiency at improving their own skill set. This result also shows that this model allows firms to choose the degree of firmspecificity of the skills that they employ. Lastly, there is a discussion of the potential for further study of this model.
Critical Discourse Analysis of Anti-Feminist Rhetoric as a Catalyst in the Emergence of the Conservative Universe of Discourse in the United States in the 1970s-1980s

7 ACKNOWLEDGEMENTS 8 INTRODUCTION 9 CHAPTER 1. Equality and difference in feminist thought and political practice 36 1.1. Feminism, equality and difference 36 1.2. Equality, difference and American feminist practice: Equal Rights Amendment 51 1.2.1. The emergence of the ERA 51 1.2.2. The ERA in the 1970s–1980s: emergence and fate on the national level 56 1.2.3. Opposition to the ERA 61 1.2.4. Causes of the failure of the ERA 71 1.3. Research on the ERA campaigns and the present thesis 76 CHAPTER 2. Language, power and ideology: Critical Discourse Analysis 79 2.1. Language, discourse, society 79 2.2. Michel Foucault and the notion of discourse 83 2.3. Ideology, hegemony and the production of consent 88 2.4. Critical Discourse Analysis (CDA) 93 CHAPTER 3. Critical Discourse Analysis of the anti-feminist discourse on the ERA: Phyllis Schlafly’s The Power of the Positive Woman (1977) . 107 3.1. Description of the corpus 107 3.2. Description of textual practice in the PPW 108 3.2.1. Vocabulary 108 3.2.2. Grammatical choices 120 3.2.3. Values attributed to the dimensions of meaning at the level of description 124 3.3. Interpretation of the discursive practice in the PPW 125 3.3.1. Situational context 125 3.3.2. Intertextual context 127 3.3.3. Mental models and frames 129 3.4. Explanation of the PPW as social practice 136 CHAPTER 4. Critical Discourse Analysis of the anti-feminist discourse on the ERA: ERA-related texts from the Phyllis Schlafly Report (1980–1983). 141
A Quantitative Evaluation of Online Appointment System at Mindanao State University–Main Campus: Employing the System Usability Scale (SUS) and Technology Acceptance Model (TAM)

During the epidemic, the Mindanao State University's Office of the President had numerous problems, including distant work and increased expectations. To address the long-standing inefficiencies in appointment handling, this study developed a web-based system. The study attempted to examine the effectiveness of the deployed system employing the Technology Acceptance Model (TAM) and System Usability Scale (SUS). With an overall percentage of 90.2, the results show a noteworthy degree of customer satisfaction, confirming the effectiveness of the web-based appointment system. As a result, this creative approach has the potential to greatly reduce customer wait times at the Office of the President and enable more convenient employee appointment scheduling, which would be a major step toward more efficient administrative procedures.
Aging effect of UV radiation on SIR insulators' hydrophobicity property

Based on the simulation of ultraviolet (UV) radiation in the Sun's rays and in corona, the aging effect of UV radiation on composite insulators was studied in this paper, especially the effect on hydrophobicity properties. It is found that after irradiation with UV, no matter whether a short time of less than 24 hours or a long time of 2000 hours, the hydrophobicity and the hydrophobicity transfer properties of silicone rubber (SIR), which are described by contact angle, slowly turns better. Four different kinds of samples with different prescriptions were used in the test. As UV sources, a special setup to simulate the UV rays of corona and a xenon light to simulate the sunlight were both used. The change of rigidity of silicone rubber was also measured. Infrared spectra of the silicone rubber surface, irradiated by UV for various times, show that the content of the low molecule weight on the surface is different, and this can be due to the discrepancy of hydrophobicity properties of the samples.
Motion Segmentation Using Divisive Graph Cuts

In this paper, we present a graph cut-based motion segmentation method that takes occlusion into account. We formulate the motion segmentation problem in terms of energy minimization with accounting for occlusion and minimize the energy function with the divisive graph cut algorithm where multiway minimum cuts for motion segmentation are efficiently computed through the swap move and split move of binary labels. A graph cut-based motion estimation technique is employed to estimate the motion field and occlusion between consecutive frames of the motion image sequence. Based on the motion estimate, our method segments a current frame into a number of regions of similar motion by assigning a label to each pixel. The label assignment of occluded pixels, of which the motion is not defined, is determined based on a color prior. The effectiveness of our method was verified with experimental results for various real motion image sequences.
Sensitivity, Specificity, and Sex Differences in Symptoms Reported on the 13‐Item Acute Coronary Syndrome Checklist

Background Clinical symptoms are part of the risk stratification approaches used in the emergency department (ED) to evaluate patients with suspected acute coronary syndromes (ACS). The objective of this study was to determine the sensitivity, specificity, and predictive value of 13 symptoms for a discharge diagnosis of ACS in women and men. Methods and Results The sample included 736 patients admitted to 4 EDs with symptoms suggestive of ACS. Symptoms were assessed with the 13‐item validated ACS Symptom Checklist. Mixed‐effects logistic regression models were used to estimate sensitivity, specificity, and predictive value of each symptom for a diagnosis of ACS, adjusting for age, obesity, diabetes, and functional status. Patients were predominantly male (63%) and Caucasian (70.5%), with a mean age of 59.7±14.2 years. Chest pressure, chest discomfort, and chest pain demonstrated the highest sensitivity for ACS in both women (66%, 66%, and 67%) and men (63%, 69%, and 72%). Six symptoms were specific for a non‐ACS diagnosis in both women and men. The predictive value of shoulder (odds ratio [OR]=2.53; 95% CI=1.29 to 4.96) and arm pain (OR 2.15; 95% CI=1.10 to 4.20) in women was nearly twice that of men (OR=1.11; 95% CI=0.67 to 1.85 and OR=1.21; 95% CI=0.74 to 1.99). Shortness of breath (OR=0.49; 95% CI=0.30 to 0.79) predicted a non‐ACS diagnosis in men. Conclusions There were more similarities than differences in symptom predictors of ACS for women and men.
Exact GPS simulation with logarithmic complexity, and its application to an optimally fair scheduler

Generalized Processor Sharing (GPS) is a fluid scheduling policy providing perfect fairness. The minimum deviation (lead/lag) with respect to the GPS service achievable by a packet scheduler is one packet size. To the best of our knowledge, the only packet scheduler guaranteeing such minimum deviation is Worst-case Fair Weighted Fair Queueing (WF2Q), that requires on-line GPS simulation. Existing algorithms to perform GPS simulation have O(N) complexity per packet transmission (N being the number of competing flows). Hence WF2Q has been charged for O(N) complexity too. Schedulers with lower complexity have been devised, but at the price of at least O(N) deviation from the GPS service, which has been shown to be detrimental for real-time adaptive applications and feedback based applications. Furthermore, it has been proven that the lower bound complexity to guarantee O(1) deviation is Ω(log N), yet a scheduler achieving such result has remained elusive so far.In this paper we present an algorithm that performs exact GPS simulation with O(log N) worst-case complexity and small constants. As such it improves the complexity of all the packet schedulers based on GPS simulation. In particular, using our algorithm within WF2Q, we achieve the minimum deviation from the GPS service with O(log N) complexity, thus matching the aforementioned lower bound. Furthermore, we assess the effectiveness of the proposed solution by simulating real-world scenarios.
Detecting Fake Human Pose

We propose a special attention-based authentication model for fake human pose images, that is, multi-scale feature authentication model. The model parses an image into eight parts by human parsing, the source image, the background image and the human image as the global information are extracted through the chain attention mechanism. Six local information, such as face and limbs, are input into Light-VGG to capture local features. Finally, the extracted features of multiple scales are fused for authenticity detection. Lack of human fake pose image data, we use three algorithms based on DeepFashion to generate fake human pose images with the target pose and the appearance of the source human. We construct FakePose, a dataset containing 3000 pairs of real and fake human pose images. Experiments and the quantitative comparison of the two state-of-the-art baseline methods on FakePose demonstrate the effectiveness of our authentication model, and the authentication accuracy has reached 95.2%.
An Incremental Learning Algorithm For Non-deterministic Interpretation Transitions

The modeling of gene regulatory networks (GRNs) has become one of the significant topics in the bioinformatics. Nowadays Boolean network (BN) is one of many available models for network inference, it is well established and remains a topic of considerable interest in the field of genetic network inference. There are many works on inference synchronous boolean network but little about asynchronous. Under asynchronous update mode, the state transition is no longer unique. An algorithm was proposed to learn a disjunctive logic program from interpretation transitions(LFDT). It can be used to learn the dynamic of asynchronous BNs whose state transitions are restricted. But LFDT needs all possible successor states of each state. Usually, this nondeterministic state transitions are incomplete over time. Therefore, LFDT needs to be modified in order to incrementally learn from incomplete observed transitions. For this purpose, a method was proposed to revise the learned hypothesis. The method preserver the equivalence under Tdp semantic for existing transitions. The algorithm was altered according to the method. The modified algorithm was proofed to be sound and complete.
Congestion Management by Optimal Allocation of Facts controllers using Hybrid fish Bee Optimization

The role of Independent System Operator (ISO) in the restructured power industry includes system control, capacity planning, transmission tariff and congestion management; the challenging task being minimizing the congestion. One of the popular techniques used to alleviate congestion is using Flexible AC Transmission Systems (FACTS) devices. The power system generally operates near its rated capacity in deregulated market because of intensive usage of transmission grids. So, the major issues that need to be addressed are improving the voltage profile and reducing the power loss in the electrical network. Motivation: The location of FACTS devices can improve the power flow in the line, maintain the bus profile and reduce the losses. However locating the ideal location is a NP problem. This study presents a novel heuristic method to determine the types of FACTS devices and its optimal location in a power system without violating the thermal and voltage limits. Power flow sensitivity index to find the optimal location of UPFC is suggested in this study. A hybrid fish bee swarm optimization is proposed which is based on Artificial Bee Colony (ABC) and Fish School Search (FSS) methods. This proposed algorithm is tested based on IEEE 30 bus system and line performances are studied.
Handbook of health psychology and aging

I. Theoretical and Methodological Issues 1. Health Psychology and Aging: An Introduction, Carolyn M. Aldwin, Crystal L. Park, and Avron Spiro III 2. Challenging Assumptions about Adult Development: Implications for the Health of Older Adults, Sarit A. Golub and Ellen J. Langer 3. A Developmental Approach to Psychosocial Risk Factors and Successful Aging, Cynthia A. Berg, Timothy W. Smith, Nancy J. M. Henry, and Gale E. Pearce 4. Methods in Health Psychology: Relevance to Aging, Heather Young and Peter Vitaliano 5. The Relevance of a Lifespan Developmental Approach to Health, Avron Spiro III II. Biological Issues 6. Psychoneuroimmunological Processes in Aging and Health, Tara L. Gruenewald and Margaret E. Kemeny 7. The Psychoneuroendocrinology of Aging: Anabolic and Catabolic Hormones, Elissa S. Epel, Heather M. Burke, and Owen M. Wolkowitz 8. Cardiovascular Reactivity in Older Adults, Denise C. Cooper, Leslie I. Katzel, and Shari R. Waldstein III. Psychosocial Issues 9. A Lifespan Approach to Personality and Longevity: The Case of Conscientiousness, Howard S. Friedman and Leslie R. Martin 10. Sense of Control and Health: A Dynamic Duo in the Aging Process, Marilyn McKean Skaff 11. Coping, Health, and Aging, Carolyn M. Aldwin, Loriena A. Yancura, and Daria K. Boeninger 12. Health and Psychological Consequences of Caregiving, Richard H. Fortinsky, Howard Tennen, Natalie Frank, and Glenn Affleck 13. Psychosocial Stress, Emotion Regulation, and Resilience among Older Adults, Mary C. Davis, Alex J. Zautra, Lisa M. Johnson, Kate E. Murray, and Heather A. Okvat 14. Optimizing Social Relationships as a Resource for Health and Well-Being in Later Life, Karen S. Rook, Shahrzad Mavandadi, Dara H. Sorkin, and Laura A. Zettel 15. Issues of Diversity in Health Psychology and Aging, Barbara W. K. Yee and David A. Chiriboga 16. Religious and Spiritual Issues in Health and Aging, Crystal L. Park IV. Clinical Issues 17. Self-Regulation of Health Threats, Affect, and the Self: Lessons from Older Adults, Howard Leventhal, Rachel Forster, and Elaine Leventhal 18. The Role of Clinical Health Geropsychology in the Health Care of Older Adults, Sara Honn Qualls and Charles C. Benight 19. Effects of Changes in Diagnostic Thresholds on Health Care for Older Adults, Robert M. Kaplan 20. Health Psychology and Aging: Moving to the Next Generation of Research, Carolyn M. Aldwin, Crystal L. Park, and Avron Spiro III
A Short History of Schema Mapping Systems

There are many applications that need to exchange, correlate, and integrate heterogenous data sources. These information integration tasks have long been identified as important problems and unifying theoretical frameworks have been advocated by database researchers [5]. To solve these problems, a fundamental requirement is that of manipulating mappings among data sources. The application developer is typically given two schemas – one called the source schema, the other called the target schema – that can be based on different models, technologies, and rules. Mappings, also called schema mappings, are expressions that specify how an instance of the source repository should be translated into an instance of the target repository. In order to be useful in practical applications, they should have an executable implementation – for example, by means of SQL queries or XQuery scripts. This latter feature is a key requirement in order to embed the execution of the mappings in more complex application scenarios, that is, in order to make mappings a plug and play component of integration systems. Traditionally, data transformation has been approached as a manual task requiring experts to understand the design of the schemas and write scripts to translate data. As this work is time-consuming and prone to human errors, mapping generation tools have been created to make the process more abstract and user-friendly, thus easier to handle for a larger class of people. In this paper, we outline a history of the different phases that have characterized the research about automatic tools and techniques for schema mappings and data exchange. We identify three different ages, as follows.
Coeficientes de fiabilidad para escalas de respuesta categórica ordenada

El coeficiente alpha de Cronbach es usado constantemente en las ciencias sociales como estimador de la consistencia interna de las puntuaciones. Sin embargo, el supuesto de continuidad en el que se asienta este estadistico es sistematicamente violado con la utilizacion de escalas de respuesta ordinal o escalas Likert. Dado que existen coeficientes de fiabilidad construidos sobre la consideracion ordinal de los datos a analizar, los coeficientes ordinales alpha y beta, el objetivo de este trabajo es presentarlos, aplicarlos, exponer como se estiman y mostrar sus ventajas e inconvenientes respecto a la estimacion tradicional de alpha. Reliability coefficients for ordinal response scales. Cronbach’s alpha is systematically used in the social sciences to estimate internal consistency. However, this coefficient assumes the continuity of the variables and this assumption is not met by ordinal response items or Likert scales. This work shows two alternatives to the alpha coefficient, the ordinal alpha and beta coefficients. Both of them take into account the ordinal nature of the data. The new coefficients were applied to several scales and compared with the traditional estimation of alpha. This paper also shows how to estimate those coefficients.
Geographical distribution and epidemiological features of Old World cutaneous leishmaniasis foci, based on the isoenzyme analysis of 1048 strains

A series of 1048 Leishmania strains from Old World cutaneous leishmaniasis foci, isolated between 1981 and 2005, were studied by isoenzyme analysis. The strains were obtained from humans, rodents, dogs and sandflies from 33 countries. The four typically dermotropic species, Leishmania major, L. tropica, L. aethiopica and L. killicki, were found. The viscerotropic species L. donovani and L. infantum, which can occasionally be responsible for cutaneous leishmaniasis, are not considered in this paper. Leishmania major was the least polymorphic species (12 zymodemes, 638 strains). Leishmania tropica was characterized by a complex polymorphism varying according to focus (35 zymodemes, 329 strains). Leishmania aethiopica, a species restricted to East Africa, showed a high polymorphism, in spite of a limited number of strains (23 zymodemes, 40 strains). Leishmania killicki, mainly restricted to Tunisia had a single zymodeme for 39 strains. Recently a parasite close to L. killicki (one zymodeme, two strains) was isolated in Algeria, which lead us to revise the taxonomic status of this taxon.
Automatic Speech Recognition on a Firefighter TETRA Broadcast Channel

For a reliable keyword extraction on firefighter radio communication, a strong automatic speech recognition system is needed. However, real-life data poses several challenges like a distorted voice signal, background noise and several different speakers. Moreover, the domain is out-of-scope for common language models, and the available data is scarce. In this paper, we introduce the PRONTO corpus, which consists of German firefighter exercise transcriptions. We show that by standard adaption techniques the recognition rate already rises from virtually zero to up to 51.7% and can be further improved by domain-specific rules to 47.9%. Extending the acoustic material by semi-automatic transcription and crawled in-domain written material, we arrive at a WER of 45.2%.
A Comparison of Personal Name Matching: Techniques and Practical Issues

Finding and matching personal names is at the core of an increasing number of applications: from text and Web mining, search engines, to information extraction, deduplication and data linkage systems. Variations and errors in names make exact string matching problematic, and approximate matching techniques have to be applied. When compared to general text, however, personal names have different characteristics that need to be considered. In this paper, we discuss the characteristics of personal names and present potential sources of variations and errors. We then overview a comprehensive number of commonly used, as well as some recently developed name matching techniques. Experimental comparisons using four large name data sets indicate that there is no clear best matching technique
Application of interface theories to the separate compilation of synchronous programs

We study the problem of separate compilation, i.e., the generation of modular code, for the discrete time part of block-diagrams formalisms such as Simulink, Modelica, or Scade. Code is modular in that it is generated for a given composite block independently from context (i.e., without knowing in which diagrams the block is to be used) and using minimal information about the internals of the block. Just using off-the-shelf C code generation (e.g., as available in Simulink) does not provide modular code. Separate compilation was solved by Lublinerman et al. for the special case of single-clocked diagrams, in which all signals are updated at a same unique clock. For the same case, Pouzet and Raymond proposed algorithms that scale-up properly to real-size applications. The technique of Lublinerman et al. was extended to some classes of multi-clocked and timed diagrams. We study this problem in its full generality and we show that it can be cast to a special class of controller synthesis problems by relying on recently proposed modal interface theories.