Miracle-dz/UniFAR-FTUs huggingface dataset:
Custom topology rotary clock router with tree subnetworks

Increasing demands on computing power have spurred the development of faster, higher-density Integrated Circuits (ICs), compounding power and complexity concerns in design budgets. The clock distribution network is a significant contributor to such power and complexity concerns. Resonant rotary clocking is a relatively new technology that realizes several benefits over current clocking methods, including power, frequency, and variation tolerance, yet lacks the automation tools to promote increased use. Towards this end, an automated rotary clock routing methodology is presented that generates custom topology rotary ring routes with tree subnetworks. In addition to the benefits of adiabatic clocking, the presented custom topology router permits 38.6% shorter wirelengths on average for register tapping, compared to traditional prescribed skew, binary tree routing.
Colloidal Fouling of Nanofiltration Membranes: Development of a Standard Operating Procedure

Fouling of nanofiltration (NF) membranes is the most significant obstacle to the development of a sustainable and energy-efficient NF process. Colloidal fouling and performance decline in NF processes is complex due to the combination of cake formation and salt concentration polarization effects, which are influenced by the properties of the colloids and the membrane, the operating conditions of the test, and the solution chemistry. Although numerous studies have been conducted to investigate the influence of these parameters on the performance of the NF process, the importance of membrane preconditioning (e.g., compaction and equilibrating with salt water), as well as the determination of key parameters (e.g., critical flux and trans-membrane osmotic pressure) before the fouling experiment have not been reported in detail. The aim of this paper is to present a standard experimental and data analysis protocol for NF colloidal fouling experiments. The developed methodology covers preparation and characterization of water samples and colloidal particles, pre-test membrane compaction and critical flux determination, measurement of experimental data during the fouling test, and the analysis of that data to determine the relative importance of various fouling mechanisms. The standard protocol is illustrated with data from a series of flat sheet, bench-scale experiments.
The Technological Progress Effects of International Trade and Wage Gap - Analysis Based on Inter-Provincial Panel Data of Chinese Manufacturing Industry

The paper mainly analyzes Chinese manufacturing worker's wage gap caused by technological progress effects of international trade in theoretical and empirical aspects. In the theoretical analysis, the technological progress effects(including demonstration effect, correlation effect and competitive effect) model has been established, the model shows that technological progress effects of international trade widen the manufacturing worker' s wage gap. In the empirical analysis 20002008 China's manufacturing industry panel data has been used, the conclusion supports the result of theoretical analysis. Finally, the paper presents some policy recommendations according to the above analysis and results.
Identifying and learning visual attributes for object recognition

We propose an attribute centric approach for visual object recognition. The attributes of an object are the observable visual properties that help to uniquely describe it. We present methods for identifying and learning these object attributes. To identify suitable object attributes, we process the corresponding Wikipedia pages to select terms that not only have high occurrence frequency, the images of these concepts must also be visually consistent. To learn object attributes, we assume prior knowledge of the object class-specific distributions of patches over the attributes, and introduce a novel algorithm that iteratively refines these distributions by a nearest-neighbor attribute classifier. Given an unseen image, its attribute vector is first formed by the distribution of patches over the attributes, and its final class is then determined by the attribute representation. We report efficacy of the proposed framework on an animal data set of ten classes, where the test set consists of images collected from the web.
English For Specific Academic Purposes As Need And Tool Of Efl Pre-Service Teachers’ Communicative Competency Formation

If we put compulsory education aside, people have always learned a language for a special purpose. This could be the need to communicate with someone who does not speak a shared language about something ‘specific’ (Kern, 2013). English for Specific Purposes (ESP) has a long history and has become increasingly popular since the 1960s. No investigations devoted to the problem of teaching English for Specific Academic Purposes (ESAP) as a need and a tool of EFL pre-service teachers’ communicative competency formation have been made so far. The authors of this paper pioneered to meet this challenge. For the solution of the goal of the research compilation of the glossary and development of training and test exercises which were aimed at facilitating specific academic vocabulary in ESAP class for the formation of EFL pre-service teachers’ communicative competency a multi-staged experiment was conducted. At the initial stage, 42 EFL pre-service teachers who are Master’s Degree students were interviewed. The research revealed that what EFL pre-service teachers need is to learn to use specific academic vocabulary and communicate proficiently. The practical output of the research consists in the possibility of using approbated materials of ESAP glossary in EFL pre-service teachers’ training. The findings of the research can serve as general recommendations for university faculties and can be widely used in ESAP class and language training courses. © 2017 Published by Future Academy www.FutureAcademy. org.UK
EFFECT OF PRE EXAMINATION STRESS ON OLFACTORY SENSITIVITY IN COLLEGE STUDENTS.

Objective: The present study was undertaken to assess the effect of pre-examination stress on olfactory sensitivity in college students. Methods: A total of 80 apparently healthy males and females were included in the study after obtaining written informed consent. Blast injection method was used to measure the olfactory sensitivity. Result: In the present study, we have observed decrease in the olfactory sensitivity in both males and females during pre-examination stress. However, it is not statistically significant. Conclusion: We recommend further detailed studies for better understanding the links between stress and olfaction.
Reducing Maintenance Effort through Software Operation Knowledge: An Eclectic Empirical Evaluation

Knowledge of in-the-field software operation is acquired unsophisticatedly: acquisition processes are implemented ad hoc, application-specific and are only triggered when end-users experience severe failures. Vendors that do acquire such knowledge structurally from their software applications, often are unsuccessful in visualizing it in a consistent and uniform manner. A generic approach to acquisition and presentation of software operation knowledge reduces the time vendors need to integrate acquisition logic into their applications, as well as the time needed to analyze, compare and present uniform software operation data resulting from in-the-field software operation. This paper proposes a technique for software operation knowledge acquisition and presentation through generic recording and visualization of software operation. A prototype tool implementing this technique is presented, as well as an extensive empirical evaluation of the tool using an eclectic set of instruments (an experiment, two case studies and expert focus group discussions) involving three widely-used software applications. Results show that the technique is expected to reduce software maintenance effort and increase comprehension of end-user software operation.
Game programming in introductory courses with direct state manipulation

While the introduction of object-oriented programming slowly moves down the age groups - starting from advanced university courses, to introductory courses, and now into high schools - many attempts are being made to make object-oriented programming introduction less abstract and theoretical. Visualisation and interaction techniques are being applied in an attempt to give students engaging and concrete experiences with objects. Recently, the greenfoot environment has been proposed as another step in this development. In this paper, we describe new functionality in the greenfoot environment, especially the addition of user interaction programming via direct state manipulation. Direct state manipulation provides very low overhead graphical I/O handling at a level that makes it feasible to guide students to simple graphical game programming within a few weeks, while concentrating on fundamental object-oriented concepts in the structure of the program.
Interleukin-17 and type 17 helper T cells in cancer management and research

Since their recent discovery, T helper 17 (Th17) cells have been frequently detected in the tumor microenvironment of many malignancies, but their clinical implications remain largely unknown. Interleukin-17 (IL-17) detection is commonly related with poor outcomes in colorectal cancers, yet its presence is associated with antitumor responses in ovarian carcinomas. Numerous experimental models illustrate the divergent roles of Th17 cells in tumor immunity, which appears to be mainly dependent on the tumor context (type, location, and stage of cancer). It is recognized that IL-17 is produced by a variety of cell types and that Th17 cells are endowed with a unique functional plasticity. Therefore, when trying to elucidate potential immune biomarkers and immunotargets, it is extremely important to make a clear dissociation between strategies targeting Th17 versus its hallmark cytokine, IL-17. In this review, we will summarize the data regarding the detection of IL-17 and Th17 in human cancers, consider the experimental evidence on their respective roles in antitumor activity, and discuss the potential of IL-17 as an immune target for therapeutic interventions.
Absence of ageing in the remanent magnetization in Migdal-Kadanoff spin glasses

We study the non-equilibrium behaviour of three-dimensional spin glasses in the Migdal-Kadanoff approximation. This approximation is exact for disordered hierarchical lattices which have a unique ground state and equilibrium properties correctly described by the droplet model. Extensive numerical simulations show that this model lacks ageing in the remanent magnetization as well as a maximum in the magnetic viscosity in disagreement with experiments as well as with numerical studies of the Edwards-Anderson model. This result strongly limits the validity of the droplet model (at least in its simplest form) as a good model for real spin glasses.
SLO-aware hybrid store

In the past storage vendors used different types of storage depending upon the type of workload. For example, they used Solid State Drives (SSDs) or FC hard disks (HDD) for online transaction, while SATA for archival type workloads. However, recently many storage vendors are designing hybrid SSD/HDD based systems that can satisfy multiple service level objectives (SLOs) of different workloads all placed together in one storage box, at better cost points. The combination is achieved by using SSDs as a read-write cache while HDD as a permanent store. In this paper we present an SLO based resource management algorithm that controls the amount of SSD given to a particular workload. This algorithm solves following problems: 1) it ensures that workloads do not interfere with each other 2) it ensure that we do not overprovision (cost wise) the amount of SSD allocated to a workload to satisfy its SLO (latency requirement) and 3) dynamically adjust SSD allocated in light of changing workload characteristics (i.e., provide only required amount of SSD). We have implemented our algorithm in a prototype Hybrid Store, and have tested its efficacy using many real workloads. Our algorithm satisfies latency SLOs almost always by utilizing close to optimal amount of SSD and saving 6-50% of SSD space compared to the naïve algorithm.
Bounds on the Complex Zeros of (Di)Chromatic Polynomials and Potts-Model Partition Functions

We show that there exist universal constants C(r) < ∞ such that, for all loopless graphs G of maximum degree [les ] r, the zeros (real or complex) of the chromatic polynomial PG(q) lie in the disc [mid ]q[mid ] < C(r). Furthermore, C(r) [les ] 7.963907r. This result is a corollary of a more general result on the zeros of the Potts-model partition function ZG(q, {ve}) in the complex antiferromagnetic regime [mid ]1 + ve[mid ] [les ] 1. The proof is based on a transformation of the Whitney–Tutte–Fortuin–Kasteleyn representation of ZG(q, {ve}) to a polymer gas, followed by verification of the Dobrushin–Kotecký–Preiss condition for nonvanishing of a polymer-model partition function. We also show that, for all loopless graphs G of second-largest degree [les ] r, the zeros of PG(q) lie in the disc [mid ]q[mid ] < C(r) + 1. Along the way, I give a simple proof of a generalized (multivariate) Brown–Colbourn conjecture on the zeros of the reliability polynomial for the special case of series-parallel graphs.
MINIMAL SPATIO-TEMPORAL EXTENT OF EVENTS, NEUTRINOS, AND THE COSMOLOGICAL CONSTANT PROBLEM

Chryssomalakos and Okon, through a uniqueness analysis, have strengthened the Vilela Mendes suggestion that the immunity to infinitesimal perturbations in the structure constants of a physically-relevant Lie algebra should be raised to the status of a physical principle. Since the Poincare–Heisenberg algebra does not carry the indicated immunity, it is suggested that the Lie algebra for the interface of the gravitational and quantum realms (IGQR) is its stabilized form. It carries three additional parameters: a length scale pertaining to the Planck/unification scale, a second length scale associated with cosmos, and a new dimensionless constant. Here, we show that the adoption of the stabilized Poincare–Heisenberg algebra (SPHA) for the IGQR has the immediate implication that a "point particle" ceases to be a viable physical notion. It must be replaced by objects which carry a well-defined, representation space-dependent, minimal spatio-temporal extent. The ensuing implications have the potential, without spoiling any of the successes of the Standard Model of particle physics, to resolve the cosmological constant problem while concurrently offering a first-principle hint as to why there exists a coincidence between cosmic vacuum energy density and neutrino masses. The main theses which the essay presents is the following: an extension of the present-day physics to a framework which respects SPHA should be seen as the most natural and systematic path towards gaining a deeper understanding of outstanding questions, if not providing answers to them.
Economic Distress, Social Support, and Depression In Turkey

Ozet Bu calismada, kentsel Turkiye’de yasayan 1100 evli ciftten toplanan bir orneklemle, ekonomik zorluk, hanede yasanan ekonomik sikinti, ve sosyal destegin depresyon ile olan iliskisi incelenmektedir. Bu konuda yapilmis onceki calismalar cinsiyet farkliliklari ortaya koydugu icin, analizler her iki es icin de ayri olarak yapilmistir. Coklu regresyon analizleri sonucunda, hanenin sosyo-demografik ozelliklerin etkilerinden arindirildiginda, is kaybinin, CES-D depresyon indeksi ile olculen, depresyon uzerinde kuvvetli pozitif etkisi oldugu gorulmustur. Bu pozitif etki, dolayli olarak hanede yasanan ekonomik sikintidan kaynaklanmaktadir. Daha onceki calismalarda ortaya kondugunun aksine, sosyal destek almanin ruh sagligi acisindan pozitif bir etkisi gorulmemistir. Nakdi ve ayni sosyal destegin etkisi, ihtiyaca karsilik ne kadar alinabildigi ile baglantilidir. Yetersiz nakdi destek aldigini belirten erkeklerin depresyon puanlari, ihtiyaci oldugu halde yardim alamamis erkeklere gore istatistiksel olarak dah yuksektir. Kadinlardaysa nakdi destegin depresyon uzerinde bir etkisi gorulmemistir. Ayni destegin hem erkeklerde hem de kadinlarda kuvvetli pozitif etkisi gorulmustur. Bulgular ekonomik sikinti, sosyal destek ve ruh sagligini iliskilendiren literaturun onceki bulgulari isiginda degerlendirilmistir.
Advanced audio spatializer combined with a multipoint equalization system

The paper deals with the development of a real time system for the reproduction of an immersive audio field considering the crosstalk cancellation and the room response equalization issues. In particular, the real-time system is composed of two parts: a crosstalk cancellation network and a combined multipoint equalization structure. The former is required in order to have a spatialized audio and it is based on the free-field relationship in order to not introduce a timbre alteration. The latter is used to improve the objective and subjective quality of sound reproduction systems by compensating the room and loudspeakers transfer function. Both steps are based on a-priori analysis of the real environment using real impulse responses measured in different positions. In particular, an offline procedure capable of determining the tuning parameters for the crosstalk network and of deriving the final filters for the equalization structure, is adopted. Several results are presented in order to show the effectiveness of the proposed algorithms considering objective and subjective evaluations and comparing the presented approach with the state of the art.
Neutron induced single event multiple transients with voltage scaling and body biasing

This paper presents measurement results of neutron induced SEMT (single event multiple transients). We devise an SEMT measurement circuit and evaluate the dependency of SEMT on supply and body voltages using test chips fabricated in a 65nm CMOS process. Measurement results show that transients can arise simultaneously at adjacent six inverters sharing the same well, and SEMT ratio to all the single event transients reaches 40% at 0.7V with reverse body biasing. We also investigate the correlation between the spatial spreading of SEMT and the distance between sensitive nodes in layout. Furthermore, referring to the occurrence rates of single event single transient (SEST) and single event single upset (SESU), we validate the measured results.
A new paradigm in data intensive computing: Stork and the data-aware schedulers

The unbounded increase in the computation and data requirements of scientific applications has necessitated the use of widely distributed compute and storage resources to meet the demand. In a widely distributed environment, data is no more locally accessible and has thus to be remotely retrieved and stored. Efficient and reliable access to data sources and archiving destinations in such an environment brings new challenges. Placing data on temporary local storage devices offers many advantages, but such "data placements" also require careful management of storage resources and data movement, i.e. allocating storage space, staging-in of input data, staging-out of generated data, and de-allocation of local storage after the data is safely stored at the destination. Traditional systems closely couple data placement and computation, and consider data placement as a side effect of computation. Data placement is either embedded in the computation and causes the computation to delay, or performed as simple scripts which do not have the privileges of a job. The insufficiency of the traditional systems and existing CPU-oriented schedulers in dealing with the complex data handling problem has yielded a new emerging era: the data-aware schedulers. One of the first examples of such schedulers is the Stork data placement scheduler. In this paper, we discuss the limitations of the traditional schedulers in handling the challenging data scheduling problem of large scale distributed applications; give our vision for the new paradigm in data-intensive scheduling; and elaborate on our case study: the Stork data placement scheduler
Tectogrammatical Annotation of the Wall Street Journal

Tectogrammatical Annotation of the Wall Street Journal This paper gives an overview of the current state of the Prague English Dependency Treebank project. It is an updated version of a draft text that was released along with a CD presenting the first 25% of the PDT-like version of the Penn Treebank - WSJ section (PEDT 1.0). Before the January 2009 release, the conversion from the original phrase structure trees into dependency trees as well as the consistency checks were substantially enhanced to save manual work. The conversion is partly performed by scripted rules and partly by a statistical parser. To make the rules more powerful, the phrase-based Penn Treebank - WSJ was enriched with other publicly available language resources - the manual annotation of flat noun phrases and the named-entity and coreference tagging. At the moment, 50% of the 1 million corpus have been manually annotated and consistency-checked on the tectogrammatical layer.
Empirical Behavior of LDPC ensembles on BEC Lecturer :

In the last lecture we learned how to marginalize a multivariate function by employing message passing rules. We saw that on trees, message passing starts at the leaf nodes and a node that has received messages from all its children processes the messages and forwards the result to its parent node. For the case of binary input memoryless channels, we studied the message passing rules for bit-wise MAP decoding of a parity check code and saw that if the factor graph of a code is a tree, the sum-product solution is equal to the MAP decoding solution. Let μ = (μ(1), μ(−1)) denote the message emanated from nodes of a factor graph. For the leaf node xi which receive the channel observations, yi, we let
Formal analysis of Damasio's theory on core consciousness

This article presents a formal analysis of Damasio’s theory on core consciousness. Three important concepts in this theory are “emotion”, “feeling”, and “feeling a feeling ” (or core consciousness). In particular, a simulation model is described of the neural dynamics leading via emotion and feeling to core consciousness, and dynamic properties are formally specified that hold for these dynamics. These properties have been automatically checked for the simulation model. Moreover, a formal analysis is made and verified of relevant notions of representation.
Mortality, Time Preference and Life-Cycle Models

This paper introduces a life-cycle model where impatience, instead of being driven by an exogenous discount function, results from the combination of risk aversion and mortality risks. Opting for such a formulation provides novel views on the impact of longevity extension on welfare, saving behavior and capital accumulation. In particular, we show that longevity extension may have much larger impacts on capital accumulation and equilibrium rate of interest than is usually thought. Moreover, we show that the adherence to the additive life cycle model introduced by Yaari (1965)may lead to significantly overstimating the welfare gains due to mortality risk reduction.