Miracle-dz/UniFAR-FTUs huggingface dataset:
Testing Skew and Logic Faults in SoC Interconnects

Signal integrity verification has become an important issue with shrink of technological process features continues and speed increases.Automatic Test Equipment resources at the Multi-GHz is required which is not normally available. Furthermore external verification of most internal nodes is not possible in newest technologies. Because of this the need to use Built-in Self Test (BIST) to test the signal integrity. In this paper a methodology to test skew violations and logic faults in SoC interconnects is proposed. The skew monitor is based in the addition operation of two complementary signals. Using this approach a compact monitor circuit to verify time critical signals is proposed. An strategy to test logic faults due to undershoots/overshoots at the high/low levels of the signal under test is also proposed. The monitors can be properly sized to meet the desired skew and levels of noise detection. The cost of the proposed verification strategy is evaluated in terms of area and speed penalization.
On Concurrent and Resettable Zero-Knowledge Proofs for NP

A proof is concurrent zero-knowledge if it remains zero-knowledge when many copies of the proof are run in an asynchronous environment, such as the Internet. It is known that zero-knowledge is not necessarily preserved in such an environment. Designing concurrent zero-knowledge proofs is a fundamental issue in the study of zero-knowledge since known zero-knowledge protocols cannot be run in a realistic modern computing environment. In this paper we present a concurrent zero-knowledge proof systems for all languages in NP. Currently, the proof system we present is the only known proof system that retains the zero-knowledge property when copies of the proof are allowed to run in an asynchronous environment. Our proof system has $\tilde{O}(\log^2 k)$ rounds (for a security parameter $k$), which is almost optimal, as it is shown by Canetti Kilian Petrank and Rosen that black-box concurrent zero-knowledge requires $\tilde{\Omega}(\log k)$ rounds. Canetti, Goldreich, Goldwasser and Micali introduced the notion of {\em resettable} zero-knowledge, and modified an earlier version of our proof system to obtain the first resettable zero-knowledge proof system. This protocol requires $k^{\theta(1)}$ rounds. We note that their technique also applies to our current proof system, yielding a resettable zero-knowledge proof for NP with $\tilde{O}(\log^2 k)$ rounds.
The two-dimensions-five-components structure of in-group identification is invariant across various identification patterns in different social groups

ABSTRACT In-group identification has been suggested to consist of two-dimensions (group based self-definition and self-investment) that hierarchically relate to five lower order components (individual self-stereotyping, in-group homogeneity, satisfaction, solidarity, and centrality). The goal of the present research was to test the generalizability of the two-dimensions-five-components structure of in-group identification across identities with which people show converging and diverging group based self-definition and self-investment. We manipulated the mean level and the linear correlational strength of the two identification dimensions by asking participants to indicate in-groups to which respective identification criteria apply. Confirmatory factor analyses showed that the two-dimensions-five-components model of in-group identification fits both converging and diverging identification patterns better than alternative models, indicating generalizability of the model across various identification patterns.
Potentieelbeoordeling van medewerkers: De rol van uitdagende werkafspraken

This study examines the relationship between challenge deals and supervisors' assessment of employee promotability. Challenge deals are successfully negotiated individual agreements between supervisors and employees for challenging job experiences, such as challenging tasks or training. In this article we present findings of a study on determinants of challenge deals and the impact of these deals on supervisors' evaluation of employee promotability over time. We also investigated the possibility of a Pygmalion effect from challenge deals, where leaders' expectations initiate a self-fulfilling prophecy. The sample of this three-wave study consisted of ninety-nine employee-supervisor dyads from seven university medical centers and two banks in the Netherlands. Our findings show that the chances of making challenge deals during a formal job conversation relate positively with supervisors' evaluation of employee promotability, and negatively with employees' avoidance temperament. Our findings also show that challenge deals explain a change in supervisors' evaluation of employee promotability over time when controlling for age, dyad tenure, and previous supervisors' evaluations of employee performance and promotability. Hence, we found no evidence for a Pygmalion effect from challenge deals.
Strathprints Institutional Repository Transceiver Design for Non-regenerative Mimo Relay Systems with Decision Feedback Detection

(2010) Transceiver design for non-regenerative MIMO relay systems with decision feedback detection. Strathprints is designed to allow users to access the research output of the University of Strathclyde. Copyright © and Moral Rights for the papers on this site are retained by the individual authors and/or other copyright owners. You may not engage in further distribution of the material for any profitmaking activities or any commercial gain. You may freely distribute both the url (http://strathprints.strath.ac.uk/) and the content of this paper for research or study, educational, or not-for-profit purposes without prior permission or charge. ABSTRACT In this paper we consider the design of zero forcing (ZF) and minimum mean square error (MMSE) transceivers for non-regenerative multiple input multiple output (MIMO) relay networks. Our designs utilise linear processors at each stage of the network along with a decision feedback detection device at the receiver. Under the assumption of full channel state information (CSI) across the entire link the processors are jointly optimised to minimise the system arithmetic mean square error (MSE) whilst meeting average power constraints at both the source and the relay terminals. We compare the presented methods to linear designs available in the literature and show the advantages of the proposed transceivers through simulation results.
Effects of ozone on net primary production and carbon sequestration in the conterminous United States using a biogeochemistry model

The effects of air pollution on vegetation may provide an important control on the carbon cycle that has not yet been widely considered. Prolonged exposure to high levels of ozone, in particular, has been observed to inhibit photosynthesis by direct cellular damage within the leaves and through possible changes in stomatal conductance. We have incorporated empirical equations derived for trees (hardwoods and pines) and crops into the Terrestrial Ecosystem Model to explore the effects of ozone on net primary production (NPP) and carbon sequestration across the conterminous United States. Our results show a 2.6–6.8% mean reduction for the United States in annual NPP in response to modelled historical ozone levels during the late 1980s-early 1990s. The largest decreases (over 13% in some locations) occur in the Midwest agricultural lands, during the mid-summer when ozone levels are highest. Carbon sequestration since the 1950s has been reduced by 18–38 Tg C yr−1 with the presence of ozone. Thus the effects of ozone on NPP and carbon sequestration should be factored into future calculations of the United States' carbon budget.
Antidepressants in association with reducing risk of oral cancer occurrence: a nationwide population-based cohort and nested case-control studies

Objectives Several studies suggested that antidepressant use may increase or decrease the risk of cancer occurrence, depending on specific cancer types. The possible carcinogenic effect of antidepressants has received substantial attention; however, evidence remains inconclusive. Here we investigated associations between the use of antidepressants and occurrences of oral cancer (OC). Methods Two million samples were randomly collected from the National Health Insurance Research Database in Taiwan, which covers 98% of the total population (23 million). All patients from2000 to 2009 were followed up. We identified 5103 patients newly diagnosed with OC after antidepressants use in addition to 20,412 non-OC matched subjects and 95,452 unmatched non-OC subjects. Results In nested case control analysis, factors associating with OC, including age [OR = 1.02; 95% confidence interval (CI) = 1.01–1.03) and male (OR = 5.30; 95% CI = 4.92–5.70) were independently associated with increased risk of OC. Based on the functions of antidepressants, antidepressants treatment medications were further classified to investigate risk of OC. Selective serotonin reuptake inhibitors (OR = 0.61; 95% CI = 0.53–0.70) and tricyclic antidepressants (OR = 0.57; 95% CI = 0.52–0.63) were associated with reduced risk of OC. The risk of developing OC among subjects taking antidepressants was less than 26% [hazard ratio (HR) =0.74; 95% CI = 0.68–0.81] in prospective cohort study. The effect of a cumulative duration and dose was a significantly reduced risk of OC. Conclusions The association between antidepressant use and decreasing OC risk were demonstrated by both prospective and nested case–control studies.
Country Insurance and Corporate Risk-taking

The paper presents a robust but previously undocumented data pattern: corporate risk taking is positively correlated with country-level foreign exchange reserve holdings (as a share of the GDP). With data on 5000 manufacturing firms in 24 emerging economies during 2000-2006, we show that foreign reserve accumulation is economically and statistically associated with higher leverage ratios, lower cash holdings, riskier investments, and higher total and idiosyncratic stock return volatilities. We further show that at least a part of the positive correlation is due to greater corporate risk taking in response to an improvement in a country’s ability to defend against macroeconomic risks associated with a sudden stop in international capital flows. The pattern is stronger for firms that are intrinsically more dependent on external finance for working capital and capital expenditure. It continues to hold when the foreign reserve is instrumented by cumulative trade surpluses. Our finding may provide an explanation for a puzzle during the 2008-2009 global crisis: that higher foreign reserve holdings before the crisis did not translate into less severe corporate difficulties across countries during the crisis.
The role of clustering, cooperation and complementarities in the visitor attraction sector

Cooperation and complementarity are important but understudied components of tourism clusters, in general, and of the tourist attraction sector, in particular. This paper addresses product similarities, in general, and thematic similarity, in particular, in the context of spatial proximity and clustering among tourist attractions. These relationships are examined by exploring cooperation between tourist attractions in two tourism clusters in Cornwall, UK. Interviews with attraction managers and other key informants, and case studies, reveal that tourist attractions have established cooperative–complementary relationships of production based on external economies at both the local and the regional scales. Differences between the two clusters in terms of interviewees' perceptions of the relationships between factors indicate the importance of understanding the specific features of individual clusters.
The well-founded semantics of aggregation

Common aggregation predicates have natural definitions in logic, either as first order sentences (min, max, etc.), or with elementary induction over a data structure that represents the relation (sum, count, etc.). The well-founded semantics for logic programs provides an interpretation of such definitions. The interpretation of first-order aggregates seems to be quite natural and intuitively satisfying, even in the presence of recursion through aggregation. Care is needed to get useful results on inductive aggregates, however. A basic building block is the “subset” predicate, which states that a data structure represents a subset of an IDB predicate, and which is definable in the well-founded semantics. The analogous “superset” is also definable, and their combination yields a “generic” form of findall. Surprisingly, findall must be used negatively to obtain useful approximations when the exact relation is not yet known. Extensions to the semantics, restrictions on the input, and other supplementary requirements proposed in earlier studies appear to be unnecessary for the purpose of attaching a meaning to a program that involves recursion through aggregation. For example, any reasonable definition of “shortest paths” tolerates negative weight edges, correctly computes shortest paths that exist, and leave tuples undefined where negative-weight cycles cause the shortest path not to exist. Other examples exhibit similarly robust behavior, when defined carefully. Connections with the generic model of computation are discussed briefly.
A Sliding Mode Controller with cascaded control technique for DC to DC boost converter

In this paper, the Sliding Mode Controller cascaded with PI voltage controller for DC to DC Boost converter is discussed. General design issues of Sliding Mode Controller for boost converter are discussed and the need of cascade controller is established. The cascade control consists of voltage controller which is a PI controller and non-singular terminal sliding mode controller. The performance of conventional PI controller and non-singular terminal sliding mode controller for current control is tested for reference disturbance, line disturbance and load disturbance conditions. The simulations for above conditions are carried out in MATLAB/Simulink environment. The simulation results are presented to validate the effectiveness of proposed system.
Modelling, simulation of multi-user grouping considering channel states in MIMO systems

In this paper we presented limited feedback schemes for Multi user-Multiple Input and Multiple Output (MU-MIMO) transmit antenna downlink systems. We investigate performance analysis of the feedback strategies based on the knowledge of channel state information (CSI) at base station (BS). it can be most desirable to generate high sum capacity, thus there is a constraint on total feedback load and per user feedback bits. It can be extensively evaluated the ZFRVQ, RBF and PU2RC feedback algorithms for sum rate analysis. The channel model considers as AWGN and Rayleigh fading model. The combination of multi-user feedback methods and multiple antennas' can enhance the sum capacity of MU-MIMO systems. In order to achieve high capacity thus, the system requires perfect CSI. Our system model presented to obtain high-quality feedback with the strong priority and also achieving larger sum rate with limited number of antenna's from each one of the receivers. We produced larger capacity more effectively and efficiently, instead of capturing a few feedback bits from more users. This implies that the system design, correlates very strongly for achieving larger sum capacity with CSI from MS's or users, Hence there is a tradeoff between total feedback load to the sum rate of the system. The Simulation results presented here are subjected to Monte Carlo simulation with MATLAB 2013a.
A Model-based Evaluation of Trust and Situation Awareness in the Diner’s Dilemma Game

This paper describes a machine learning approach to evaluate the relationship between trust behavior and Situation Awareness (SA) in the context of a 3-player Iterated Diner’s Dilemma game. Our experimental setup consisted of a supervised study in which 24 participants played against computer opponents with different cooperation strategies. Three user interfaces were evaluated in the study, each corresponding to a speciﬁc level of SA (Perception, Comprehension
Design, fabrication, and test of a sensor array for perspective biosensing in chronic pathologies

Biosensing for chronic pathologies requires the simultaneous monitoring of different parameters such as drug concentrations, inflammation status, temperature and pH. In this paper we discuss the design, fabrication and test of a sensor array hosting five biosensor platforms, a pH electrode and a temperature sensor. Different and reproducible nano-bio-functionalization can be obtained with high spatial resolution via selective electrodeposition of chitosan/MWCNT/enzyme solutions at the various electrodes. The array, completely fabricated with biocompatible materials, can be integrated with a CMOS integrated circuit and a remote powering coil for the realization of a fully implantable device.
Relapsing malaria infection acquired in Kenya.

An American physician-traveler to East Africa presented with manifestations of cerebral malaria and was treated with intravenous quinidine for chloroquine-resistant falciparum malaria. He later relapsed with Plasmodium ovale infection, despite previous primaquine therapy. Treatment of chloroquine-resistant malaria is discussed. The difficulty in diagnosing P. ovale infections and the predominance of this malaria species over P. vivax in East Africa are reviewed. ImagesFIG. 1FIG. 2FIG. 3
Matching of thermal and color images with application to power distribution line fault detection

In this study, we developed a diagnostic system for power distribution lines based on a thermal imaging camera and a color camera. We propose a camera calibration method that shows two images, one from the color camera and the other from the thermal imaging camera with different FOVs, on the screen at the same time. We used the stereo camera calibration method to account for the different characteristics of the two cameras. The cameras were calibrated with the camera calibration tool. From our experiments, the performance and utilization of the proposed distribution line diagnostic system can be evaluated by transforming the thermal images through the intrinsic matrix and the extrinsic matrix.
PHYLOGENETIC POSITION OF ZYGOGONIUM ERICETORUM (ZYGNEMATOPHYCEAE, CHAROPHYTA) FROM A HIGH ALPINE HABITAT AND ULTRASTRUCTURAL CHARACTERIZATION OF UNUSUAL APLANOSPORES

Zygogonium ericetorum, the type species of the genus, was studied from a natural population collected in Mt. Schönwieskopf, Tyrol, Austria. Generic concepts of Zygogonium and Zygnema were tested with atpB, psbC, and rbcL gene sequence analysis, which showed a sister relationship between Z. ericetorum and Mesotaenium, in an early branching clade sister to a grouping of Zygnema and several other filamentous and unicellular zygnematalean taxa. A variety of light, confocal, transmission electron microscopy, and cytochemical techniques provided new data on the variable chloroplast shape of Z. ericetorum, and its aplanospore structure and development, which has been previously considered taxonomically important but has been ambiguously interpreted. Zygogonium can be distinguished from other zygnematophytes (particularly Zygnema), based on the combination of two characters: (i) irregular, compressed plate‐like chloroplasts and (ii) residual cytoplasmic content left in sporangia outside of the fully developed aplanospores or zygospores. The presence of a sporangial wall that separates the spores from the parent cell should be excluded from the definition of Zygogonium, because it is also observed in Zygnema. Similarly, the ecological characterization of Zygogonium as acidophilic is not unique to the genus. The names of 18 species currently belonging to Zygogonium are here changed to Zygnema, because of incompatibility with this new proposed Zygogonium concept. In the species transferred to Zygnema, chloroplasts are typically stellate in three‐dimensions, and the entire content of fertile cells is transformed into the spore, so there is no cytoplasmic residue.
Neurotransmitter Substance P Mediates Pancreatic Cancer Perineural Invasion via NK-1R in Cancer Cells

Pancreatic cancer significantly affects the quality of life due to the severe abdominal pain. However, the underlying mechanism is not clear. This study aimed to determine the relationship between Substance P (SP) and pancreatic cancer perineural invasion (PNI) as well as the mechanism of SP mediating pancreatic cancer PNI, which causes pain in patients with pancreatic cancer. Human pancreatic cancer cells and newborn dorsal root ganglions (DRG) were used to determine the expression of SP or NK-1R in pancreatic cancer cells and DRGs cells by QT-PCR and Western blotting. The effects of SP on pancreatic cancer cell proliferation and invasion were analyzed using MTT assay and Transwell Matrigel invasion assay, respectively. Alterations in the neurotropism of pancreatic cancer cells were assessed by coculture system, which mimics the interaction of tumor/neuron in vivo. SP is not only widely distributed in the neurite outgrowth from newborn DRGs but also expressed in MIA PaCa-2 and BxPC-3 cells. NK-1R is found to be overexpressed in the pancreatic cancer cell lines examined. SP induces cancer cell proliferation and invasion as well as the expression of matrix metalloproteinase (MMP)-2 in pancreatic cancer cells, and NK-1R antagonists inhibit these effects. Furthermore, SP promotes neurite outgrowth and the migration of pancreatic cancer cell cluster to the DRGs, which is blocked by NK-1R antagonists in the coculture model. Our results suggest that SP plays an important role in the development of pancreatic cancer metastasis and PNI, and blocking the SP/NK-1R signaling system is a novel strategy for the treatment of pancreatic cancer. Mol Cancer Res; 11(3); 294–302. ©2012 AACR.
Control of one-legged robot hopping in place

This paper focuses on one-legged robot hopping in place and presents the corresponding control method based on the angular velocity of torso. By measuring the angular velocity with the use of a gyroscope during flight phase, the hopping robot controller adjusts the toe of the springy leg to the desired location, so as to control the rotational movement of the robot body, which keeps the robot hopping within a small area and maintain its balance. The proposed method depends on neither external sensors like cameras, nor estimates of body location which is easy to diverge gradually. The control algorithm is then verified by co-simulation based on ADAMS and Simulink. Our simulation further showed that the robot was also able to recover from external disturbance in time. The proposed hopping control algorithm and co-simulation results provided a basis for one-legged robot physical prototype development.