Miracle-dz/UniFAR-FTUs huggingface dataset:
Automated exploration of datapath in high level synthesis using temperature dependent bacterial foraging optimization algorithm

This paper presents a novel methodology for automated exploration of datapath in high level synthesis using temperature dependent bacterial foraging optimization algorithm (BFOA) which has the ability to reach reach optimal solution in most cases. To the best of the authors' knowledge, this is the first work that proposes a direct mapping of BFO algorithm for design space exploration (DSE) problem in high level synthesis (HLS). The major contributions of the proposed methodology are as follows: a) Novel multi-dimensional bacterium encoding scheme to handle the DSE problem; b) Novel chemotaxis algorithm for imitating exploration drift during searching; c) A novel replication algorithm customized to the DSE problem; d) A novel elimination-dispersal (ED) algorithm to introduce diversity during exploration; e) A temperature dependent BFOA based exploration process to tradeoff between power-performance design metrics during HLS which mimics the actual Escherichia coli (E.coli) bacterium behaviour operating in its feasible temperature range; f) Adaptive mechanisms such as resource clamping and step size clamping to handle boundary outreach. Results indicated an average improvement in Quality of Result (QoR) of >27 % and reduction in runtime of > 44 % compared to recent genetic algorithm based approach which does not guarentee reaching optimal solution.
On the Interaction of Self-Regulation, Interoception and Pain Perception

Background: Interoceptive processes were found to be associated with better self-regulation capacities in healthy participants. Further empirical research suggests that interoceptive sensitivity is also important for the perception of pain both in healthy participants and in somatoform patients. Nevertheless, little is known about the interaction of interoceptive processes and self-regulation for pain. We therefore conducted a study examining the interaction of interoception and self-regulation in somatoform patients. Methods: We investigated interoceptive sensitivity and self-regulatory capacities in 30 somatoform patients and 30 healthy controls when experimentally assessing pain threshold and pain tolerance. Results: Interoceptive sensitivity was associated with better self-regulation capacities. Somatoform patients exhibited a significantly reduced interoceptive sensitivity and reduced self-regulatory capacities as assessed by self-report. Additionally, pain tolerance was significantly increased in somatoform patients as compared to controls. Conclusions: Our findings highlight that interoceptive sensitivity differentially interacts with pain and self-regulation both in healthy participants and somatoform patients. This might provide ideas for novel therapeutic interventions, e.g. a combined training of interoceptive sensitivity with certain aspects of self-regulation.
Discrimination-Aware Classifiers for Student Performance Prediction

In this paper we consider discrimination-aware classification of educational data. Mining and using rules that distinguish groups of students based on sensitive attributes such as gender and nationality may lead to discrimination. It is desirable to keep the sensitive attributes during the training of a classifier to avoid information loss but decrease the undesirable correlation between the sensitive attributes and the class attribute when building the classifier. We illustrate, motivate, and solve the problem, and present a case study for predicting student exam performance based on enrolment information and assessment results during the semester. We evaluate the performance of two discriminationaware classifiers and compare them with their non-discriminationaware counterparts. The results show that the discriminationaware classifiers are able to reduce discrimination with trivial loss in accuracy. The proposed method can help teachers to predict student performance accurately without discrimination.
Influence of propeller configuration on propulsion system efficiency of multi-rotor Unmanned Aerial Vehicles

Multi-rotor Unmanned Aerial Vehicles make use of multiple propellers, mounted on arms, to produce the required lift. This article investigates the influence on propulsion system efficiency in hover due to the configuration of these propellers. Influence of pusher or puller configuration of the propeller, number of blades, shape and dimensions of the arm, coaxial and overlapping propellers, is presented. A dedicated test bench that allows testing of various experimental setups is designed and built in order to realistically represent multi-rotor arms. Test results show that a two-bladed pusher configuration is most efficient and slenderness of the arm has more influence on efficiency than shape. A coaxial propulsion system approaches the efficiency of a single-prop system at high disk loadings. Finally, interference effects due to overlapping propellers are discussed.
RELACS: A communications infrastructure for constructing reliable applications in large-scale distributed systems

Distributed systems that span large geographic distances or manage large numbers of objects are already common place. In such systems, programming applications with even modest reliability requirements to run correctly and efficiently is a difficult task due to asynchrony and the possibility of complex failure scenarios. We describe the architecture of the RELACS communication subsystem that constitutes the microkernel of a layered approach to reliable computing in large-scale distributed systems. RELACS is designed to be highly portable and implements a very small number of abstractions and primitives that should be sufficient for building a variety of interesting higher-level paradigms. <<ETX>>
An Investigation on Crosstalk in Multi-Core Fibers by Introducing Random Fluctuation along Longitudinal Direction

The length dependence of the crosstalk in multi-core fibers has been investigated by introducing random fluctuation along longitudinal direction. The power coupling coefficients in the coupled-power theory in heterogeneous multi-core fiber with seven cores were estimated based on consideration of the power coupling coefficients of the homogeneous multi-core fiber. The crosstalk can be quantitatively evaluated by employing coupled-power theory instead of coupled-mode theory.
Linear transceiver design for relay-assisted broadcast systems with diagonal scaling

In this paper, we study the linear transceiver design for the downlink of a cellular network assisted by a multi-antenna relay. A diagonal scaling scheme is proposed in which multiple single-antenna users apply different complex-valued scaling to their signals before decoding, as represented by an equivalent diagonal equalizer matrix. This equalizer is designed together with a linear precoder at the base station (BS) and a linear processing matrix at the relay. The objective is to minimize the weighted minimum mean square error (MMSE) between the precoder input and the equalizer output, subject to power constraints at the BS and the relay. In particular, the optimal relaying matrix is first derived in closed form as a function of the precoder and the equalizer. The latter two can then be jointly designed in an efficient iterative manner. Simulation results demonstrate lower bit-error rates (BERs) than previous design methods.
UCAnalyzer: A Tool to Analyze Use Case Textual Descriptions

Use case modeling is a popular and widely used specification documentation strategy that facilitates a developer to specify the functional requirements of a software system. There have been many efforts made to document problem specification in the use cases by employing a restricted form of natural language, authoring guidelines and checklist, but no tool support is available to assess and validate their quality. In this paper, we present a tool, UCAnalyzer, to analyze use case textual descriptions. UCAnalyzer has three key modules: (1) a use case textual description editor module, (2) an analysis module to assess the quality of use case textual description, and (3) a module to highlight errors and provide suggestions.
Meditieren im Kopf

M editation, das klingt für manchen zunächst nach Räucherstäbchen, ausgestiegenen Managern, ausgeflippten Lehrerinnen auf dem Selbstfindungstrip oder Sportlern, die das Dopen satt haben und es mit was nicht-stofflichem versuchen (9). Es klingt nicht nach Wissenschaft. Wer meditiert, der vergisst den Kleinkram um sich herum und überhaupt die Umgebung, in der er sich „verortet“, und entsprechend fand man bei meditierenden Menschen weniger Gehirnaktivierung – vor allem in Bereichen, die mit derVerarbeitung räumlicher Informationen zu tun haben. Das ist im Grunde trivial und sagt wenig über die langfristigen Wirkungen von Meditation aus. Auch die Tatsache, dass eine Konzentrationsübung, wie es die Meditation nun einmal ist, zu einer Verbesserung von Messwerten bei Konzentrationsleistungstests führt, ist aus dieser Sicht nicht verwunderlich (2, 3, 7). Geht man davon aus, dass es sich bei Meditation in jedem Fall um einen bewusst herbeigeführten Zustand handelt, der über längere Zeiträume besteht und sich damit – wie jede andere Erfahrung auch – im Gehirn
Detection of change points in phase data: A Bayesian analysis of habituation processes

Given a time series of data points, as obtained in biosignal monitoring, the change point problem poses the question of identifying times of sudden variations in the parameters of the underlying data distribution. We propose a method for extracting a discrete set of change points from directional data. Our method is based on a combination of the Bayesian change point model (CPM) and the Viterbi algorithm. We apply our method to the instantaneous phase information of single-trial auditory event-related potentials (ERPs) in a long term habituation paradigm. We have seen in previous studies that the phase information enters a phase-locked mode with respect to the repetition of a stimulus in the state of focused attention. With adaptation to an insignificant stimulus, attention tends to trail away (long-term habituation), characterized by changes in the phase signature, becoming more diffuse across trials. We demonstrate that the proposed method is suitable for detecting the effects of long-term habituation on phase information in our experimental setting.
Coral Reefs Under Rapid Climate Change and Ocean Acidification

Atmospheric carbon dioxide concentration is expected to exceed 500 parts per million and global temperatures to rise by at least 2°C by 2050 to 2100, values that significantly exceed those of at least the past 420,000 years during which most extant marine organisms evolved. Under conditions expected in the 21st century, global warming and ocean acidification will compromise carbonate accretion, with corals becoming increasingly rare on reef systems. The result will be less diverse reef communities and carbonate reef structures that fail to be maintained. Climate change also exacerbates local stresses from declining water quality and overexploitation of key species, driving reefs increasingly toward the tipping point for functional collapse. This review presents future scenarios for coral reefs that predict increasingly serious consequences for reef-associated fisheries, tourism, coastal protection, and people. As the International Year of the Reef 2008 begins, scaled-up management intervention and decisive action on global emissions are required if the loss of coral-dominated ecosystems is to be avoided.
Pantothenate kinase-associated neurodegeneration is not a synucleinopathy

A. Li, R. Paudel, R. Johnson, R. Courtney, A. J. Lees, J. L. Holton, J. Hardy, T. Revesz and H. Houlden (2013) Neuropathology and Applied Neurobiology39, 121–131
A Theory of Intra-Agent Replanning

Abstract : When autonomous agents execute in the real world, the world state as well as the objectives may change from the agent's original conception of those things. In such cases, the agent's planning process must modify the existing plan to make it amenable to the new conditions, and to resume execution. The need for inter-agent replanning, in terms of commitments to other agents, is understood in the multi-agent systems community. Such inter-agent replanning also motivates an intra-agent replanning problem for each individual agent. However the single-agent planning community has mostly limited its view of replanning to reducing the computational effort involved by minimally perturbing the current plan structure to replan. This is not very appropriate as a general model for intra-agent replanning, which may consist of various techniques that are employed according to the scenario at hand. In this paper, we present a general replanning problem that is built on various types of replanning constraints. We show that these constraints can model different types of replanning, including the similarity-based approaches used in the past and sensitivity to commitments made to other agents. Finally, we show that partial satisfaction planning provides a good substrate for modeling this general replanning problem.
From Neo-Classical Economics to New Institutional Economics and Beyond: Prospects for an Interdisciplinary Research Programme?

Institutional approaches have seen a remarkable revival in social science research within the last decades. In particular New Institutional Economics (NIE) has progressed rapidly over the last years and attracted a considerable deal of attention by social scientists in particular from the disciplines of sociology, economics and political science. NIE is often either rejected as a hybrid concept that lumps together incompatible competing assumptions or it is championed and selectively instrumentalised as convenient catch-it-all ad-hocery. This essay argues that NIE is nevertheless a very valuable concept that deserves its current place in the limelight. By reviewing the fundamental assumptions of neo-classical theorising and tracing their gradual elaboration, it attempts to make a point that NIE can be viewed as a consequent logical refinement of neo-classical methodology. NIE goes beyond the myopic and overly restrictive methodological framework that informs much of current applied neo-classical analysis and reopens orthodox economic thinking to sociological reasoning and paves the way for an interesting cross-fertilisation between these long-alienated disciplines.
Transfusion‐transmitted CMV infection – current knowledge and future perspectives

Transmission of human cytomegalovirus (CMV) via transfusion (TT‐CMV) may still occur and remains a challenge in the treatment of immunocompromised CMV‐seronegative patients, e.g. after stem cell transplantation, and for low birthweight infants. Measures to reduce the risk of TT‐CMV have been evaluated in clinical studies, including leucocyte depletion of cellular blood products and/or the selection of CMV‐IgG‐negative donations. Studies in large blood donor cohorts indicate that donations from newly CMV‐IgG‐positive donors should bear the highest risk for transmitting CMV infections because they contain the highest levels of CMV‐DNA, and early CMV antibodies cannot neutralise CMV. Based on this knowledge, rational strategies to reduce the residual risk of TT‐CMV using leucoreduced blood products could be designed. However, there is a lack of evidence that CMV is still transmitted by transfusion of leucoreduced units. In low birthweight infants, most (if not all) CMV infections are caused by breast milk feeding or congenital transmission rather than by transfusion of leucoreduced blood products. For other patients at risk, no definitive data exist about the relative importance of alternative transmission routes of CMV compared to blood transfusion. As a result, only the conduction of well‐designed studies addressing strategies to prevent TT‐CMV and the thorough examination of presumed cases of TT‐CMV will achieve guidance for the best transfusion regimen in patients at risk.
Manycore High-Performance Computing in Bioinformatics

Mining the increasing amount of genomic data requires having very efficient tools. Increasing the efficiency can be obtained with better algorithms, but one could also take advantage of the hardware itself to reduce the application runtimes. Since a few years, issues with heat dissipation prevent the processors from having higher frequencies. One of the answers to maintain Moore's Law is parallel processing. Grid environments provide tools for effective implementation of coarse grain parallelization. Recently, another kind of hardware has attracted interest: multicore processors. Graphic processing units (GPUs) are a first step towards massively multicore processors. They allow everyone to have some teraflops of cheap computing power in its personal computer. The CUDA library (released in 2007) and the new standard OpenCL (specified in 2008) make programming of such devices very convenient. OpenCL is likely to gain a wide industrial support and to become a standard of choice for parallel programming. In all cases, the best speedups are obtained when combining precise algorithmic studies with a knowledge of the computing architectures. This is especially true with the memory hierarchy: the algorithms have to find a good balance between using large (and slow) global memories and some fast (but small) local memories. In this chapter, we will show how those manycore devices enable more efficient bioinformatics applications. We will first give some insights into architectures and parallelism. Then we will describe recent implementations specifically designed for manycore architectures, including algorithms on sequence alignment and RNA structure prediction. We will conclude with some thoughts about the dissemination of those algorithms and implementations: are they today available on the bookshelf for everyone?
PENGARUH MOTIVASI, LINGKUNGAN KERJA DAN DISIPLIN KERJA TERHADAP KINERJA KARYAWAN (Studi Kasus Pada Karyawan PT. KAO di Kota Semarang)

This study is about the Influence of Motivation, Work Environment and Work Discipline on Employee Performance (Case Study On Employee PT. KAO Semarang). This research was made possible thanks to employee performance problems allegedly caused by work motivation, work environment and work discipline that is less than PT. KAO Semarang. Purpose of this study was to determine the effect Influence of Motivation, Work Environment and Work Discipline on Employee Performance either partially or simultaneously. With the holding of this study, it can be a policy about motivation, work environment, work discipline and performance of employees so that the company's goals can be achieved with optimal. This type of research is explanatory research or explanation. The population in this study are employees of PT. KAO Semarang as many as 100 people. Engineering samples are used so that the whole population census used as a sample. Thus the sample used as many as 100 people. Methods of data collection using questionnaires, while data analysis technique used is to test the validity, reliability, t test, F test test, determination coefficient and regression analysis. Calculations in this study using SPSS 16.0 for Windows. The calculations show that: work motivation has an average value of 3.86 to be in either category, work environment has an average value of 3.66 to be in either category, variable working discipline has an average value of 3.62 so as to be in either category, there is an influence either partially or simultaneously variables of motivation, work environment and work discipline on the performance of employees of PT. KAO Semarang. Advice given is the motivation is the variable that has the most impact on the performance of employees of PT. KAO should therefore notice company employee motivation problem by maintaining and improving work motivation, work discipline is a variable that has the least effect on the performance of employees of PT. KAO thus the company should improve and increase, for other researchers, if want to do research on the performance it should use other variables in addition to the variables contained namely research work motivation, work environment and work discipline to predict performance. Other variables that are used to predict the performance of which is leadership, organizational commitment, compensation. Thus the research on this performance will be more perfect.
Biology and Bureaucracy: Public Administration and Public Policy from the Perspective of Evolutionary, Genetic, and Neurobiological Theory

ence" (pp. 33, 44); and data are an "arbitrary creation of the human mind" (pp. 55, 66). The philosophies, she says, "confound science with technology, reason and rationality" (p. 103). To characterize the thought of Gramsci, Merleau-Ponty, Kolakowski, Habermas, Marcuse, and others in this fashion is unfair and misleading. Related problems include a continual covert use of "real" or "reality" as something self-evident and indisputable (pp. xvii, 7, 18, 29, 65, 166), an unquestioned acceptance of the distinction between the normative and the empirical, and a portrayal of Meehan's instrumental conception of policy-making as beyond debate. There is much that is worthwhile in Vaillancourt's book, such as her discussion of the materialists and deductivists, which clarifies both pragmatic and ideological Marxism. More importantly, she provides a service by subverting the myth of Marxist theory and research as monolithic. But the benefits must be measured against the problems, especially the distorted picture of nonpositivist Marxism, which has produced some of the most creative social and political theory of our century. In terms of research, we are told that nonMarxists have almost nothing to learn from deductivist, Althusserian-structuralist, or philosophic Marxists (pp. 179-80). What I fear most is that Vaillancourt's well-intentioned book might do more to close off serious dialogue in political theory than to stimulate it. And that would be a loss.
The role of fatty acids in anti‐inflammatory effects of low‐intensity extremely high‐frequency electromagnetic radiation

The effects of low‐intensity extremely high‐frequency electromagnetic radiation (EHF EMR; 42.2 GHz, 0.1 mW/cm2, exposure duration 20 min) on the fatty acid (FA) composition of thymic cells and blood plasma in normal mice and in mice with peritoneal inflammation were studied. It was found that the exposure of normal mice to EHF EMR increased the content of polyunsaturated FAs (PUFAs) (eicosapentaenoic and docosapentaenoic) in thymic cells. Using a model of zymosan‐induced peritoneal inflammation, it was shown that the exposure of mice to EHF EMR significantly increased the content of PUFAs (dihomo‐γ‐linolenic, arachidonic, eicosapentaenoic, docosapentaenoic, and docosahexaenoic) and reduced the content of monounsaturated FAs (MUFAs) (palmitoleic and oleic) in thymic cells. Changes in the FA composition in the blood plasma were less pronounced and manifested themselves as an increase in the level of saturated FAs during the inflammation. The data obtained support the notion that MUFAs are replaced by PUFAs that can enter into the thymic cells from the external media. Taking into account the fact that the metabolites of PUFAs are lipid messengers actively involved in inflammatory and immune reactions, we assume that the increase in the content of n‐3 and n‐6 PUFAs in phospholipids of cellular membranes facilitates the realization of anti‐inflammatory effects of EHF EMR. Bioelectromagnetics 32:388–395, 2011. © 2011 Wiley‐Liss, Inc.