Miracle-dz/UniFAR-FTUs huggingface dataset:
Floorplanning with power supply noise avoidance

With today's advanced integrated circuits (ICs) manufacturing technology in the deep submicron (DSM) environment, we can integrate entire electronic systems on a single chip (SoC). However, without careful power supply planning in layout, the design of chips can suffer from mostly signal integrity problems, including IR-drop, /spl Delta/I noise, and IC reliability. Post-route methodologies in solving signal integrity problem have been applied but they cause a long turn-around time, which adds costly delays to time-to-market. In this paper, we study the problem of power supply noise avoidance as early as in the floorplanning stage. We show that the noise avoidance in the power supply planning problem can be formulated as a constrained maximum flow problem and present an efficient yet effective heuristic to handle the problem. Experimental results are encouraging. With a slight increase of total wirelength, we achieve almost no IR-drop requirement violation and a 46.6% improvement in /spl Delta/I noise constraint violation compared with a previous approach.
RADIAL BASIS FUNCTION-ENHANCED DOMAIN-FREE DISCRETIZATION METHOD AND ITS APPLICATIONS

The recently proposed domain-free discretization (DFD) method is based on the Lagrange interpolation and polynomial-based differential quadrature (PDQ) method. In this article, the radial basis function (RBF) approximation is used in the DFD method as the interpolation scheme for function approximation, and the RBF-DQ method is applied to derivative approximation. The new variant of DFD method is then applied to simulation of natural convection in both concentric and eccentric annuli between inner circular and outer square cylinders. It is found from the numerical examples that the usage of radial basis function can greatly enhance the DFD method in terms of the computational stability and convergence speed.
Impact of node density and mobility on the performance of AODV and DSR in MANETS

Mobile ad-hoc networks (MANETS) are formed by a collection of mobile nodes that have the ability to form a communication network without the help of any fixed infrastructure. Because of the nature of these networks, routing protocols play a prominent role in their scalability and overall performance. Due to limited radio transmission range, multiple hops may be required in order to exchange data among the communicating nodes. So, a key requirement of any efficient routing protocol is to find a route between two communicating nodes quickly and with low bandwidth overheads. This study inspects two MANET protocols (i.e. Ad-hoc On-demand Distance Vector routing (AODV) and Dynamic Source Routing (DSR)) and examines their performance based on variation of node density and mobility using mobility models such as Random Way Point (RWP) and Random Way Point with Attractions (RWP-ATTR). The performance is determined on the basis of packet delivery ratio, normalized routing load, throughput and average end-to-end delay with varying node density and mobility. DSR with higher node density shows an extreme degradation in performance. The non-uniform node distribution that occurred for RWP has significant impact on performance results for both protocols.
SER Performance of OFDM-Based AF and DF Cooperative Networks over Asymmetric Fading Channels

Cooperative communication provides spatial diversity gain via cooperation of in-cell users, located at different geographical locations that combat fading effects induced by multipath propagation environment. In this paper, the SER performance of OFDM-based Amplify-and-Forward (AF) and Decode-and-Forward (DF) cooperative diversity schemes over asymmetric fading channels has been investigated. The Source-Relay (SR) and Relay-Destination (RD) links are subjected to Rayleigh fading distribution whereas, Source-Destination (SD) link follows generalized Gamma fading distribution. Firstly, SER performance of M-ary Phase Shift Keying (MPSK) has been derived for asymmetric fading channels. Later, the average Symbol Error Rate (SER) of Binary (B)-PSK (M=2) and Quadrature(Q)-PSK (M=4) are analyzed with different channel parameters. Finally, simulation results are presented to corroborate theoretically derived results.
An Investigation of the Effectiveness of Concept-based Approach in Medical Information Retrieval

In our participation in the CLEF 2014 eHealth task 3a, we investigate the effectiveness of concept-based retrieval techniques on medical IR. Concepts are determined using the existing resources and tools: UMLS Metathesaurus and MetaMap. We tested several methods based on concepts. Although some of these methods lead to slight improvements in retrieval effectiveness over a traditional bag-of-words method, the impact of the rich domain ressource is lower than we expected. So the whole question on whether and how such a resource can help improve medical IR effectiveness remains open. In this report, we describe the methods tested as well as their results.
Entrega não assistida: uma contribuição para a logística colaborativa / Delivery not assisted: a contribution to collaborative logistics

A partir da analise de um sistema de entrega diferenciada, coordenada por um PSL (Prestador de Servicos Logisticos) com objetivo de melhor atender seus clientes, este artigo explora um caso real atraves de duas abordagens: a entrega nao assistida como alternativa para distribuicao, e o desenvolvimento de um servico dedicado ao cliente como atributo da Logistica Colaborativa.
Call Admission Control Approaches in Beyond 3G Networks Using Multi Criteria Decision Making

The next generation wireless networks (NGWN) should cater the varied requirements of the user and applications. The Call admission Control (CAC) is one of the radio resource management (RRM) technique used in the wireless networks. Unlike the CAC in homogeneous wireless networks the CAC in next generation wireless networks is very complex. In the next generation heterogeneous wireless networks, a user with a multi-interface terminal may have network access to different service providers using various technologies. This makes call admission control a challenging task where single criteria based CAC algorithms may not be able handle the decision making process efficiently, to address the heterogeneous architectures which characterize next generation wireless network, it is apparent that the call admission control algorithms should be based on multiple criteria. Various approaches have been proposed to solve the call admission control decision problem using multi criteria decision making (MCDM). This article provides a comprehensive survey of the different approaches for Call admission control using multi criteria decision making (MCDM) for incoming calls in heterogeneous wireless networks. The advantages and disadvantages of each approach are discussed.
Effect of balance exercise program on static balance of male handball players at school level

The purpose of the present study is to find out the individualized and comparative effect of balance exercise training program on static balance of male handball players at school level. To achieve the purpose of the present study, 48 subjects, the male handball players studying in schools and participated in the inter school competitions are selected as samples using the random sampling method. As a experimental design, pre-post random group experimental design is employed in the study. The selected subjects are equally divided into two groups and named as experimental group and control group. Experimental group is named as balance exercise training group. Subjects of both the groups are tested on static balance. It was considered as pre -test score. After completion of the pre –test, the subjects of balanced exercise group are treated with the balance exercises for three days a week totally 12 weeks. The subjects of control group are followed their own traditional training other than the specific training. After completion treatment period, subjects of both the balance exercise training group and control group are tested as such in the pre-test and considered this as post test score. To achieve the purpose of both the individualized and comparative effect the collected data are tested by the statistical techniques of Pairedtest and Analysis of co-variance. The results of the Paired t-test is explained that the changes from the pre-test to post test on static balance is significant to the subjects of the balance exercise group whereas the subjects for the control group, the changes from the pre-test to post test on the static balance is statistically not significant. Further, as the primary objective of comparing the effect of balance exercise training program on the static balance, the results of analysis of covariance is explained positively are favored to the subjects of balance exercise training group. 0.05 level is used as the level of significance to test the significance of results derived in this study.
Sucrose Preference Test to Measure Stress-induced Anhedonia

[Abstract] The 2-bottle choice procedure for assessing sucrose preference is a useful test to investigate anhedonia (i.e., inability to feel pleasure) in laboratory rodents, particularly in stress-based models of depression. The 2-bottle choice procedure allows for a comparison between behavioral preference for sucrose solution in drinking water compared to water only. Preference is measured by volume and/or weight of liquid consumed daily, which is then converted to a percent preference compared to a water only baseline period. Sucrose preference is attenuated by a diversity of chronic stressors, including chronic mild and unpredictable stress (Willner et al., 1992; Willner, 1997; Pothion et al., 2004) and social defeat stress (Krishnan et al., 2007). It may also be susceptible to perturbation in mouse models of drug addiction because sucrose preference is altered in drug-dependent individuals (Kampov-Polevoy et al., 1997; Bogucka-Bonikowska et al., 2002; Janowsky et al., 2003). Both stressand drug-induced alterations in sucrose preference may stem from maladaptations in the reward pathway, which consists of the dopaminergic neurons extending from the ventral tegmental area to the nucleus accumbens (NAc). Indeed, alterations in cyclic-AMP response element binding protein (CREB) activity in NAc underlie preference for sucrose (Barrot et al., 2002). Additionally, the transcription factor ΔFosB in NAc (Wallace et al., 2008), but not dorsal hippocampus (Eagle et al., 2015), regulates natural rewards, such as sucrose consumption. Therefore, the sucrose preference test described below provides a well-validated model to assess anhedonia and the function of specific brain regions and circuits.
Linear b-gauges for open string fields

Motivated by Schnabl's gauge choice, we explore open string perturbation theory in gauges where a linear combination of antighost oscillators annihilates the string field. We find that in these linear b-gauges different gauge conditions are needed at different ghost numbers. We derive the full propagator and prove the formal properties which guarantee that the Feynman diagrams reproduce the correct on-shell amplitudes. We find that these properties can fail due to the need to regularize the propagator, and identify a large class of linear b-gauges for which they hold rigorously. In these gauges the propagator has a non-anomalous Schwinger representation and builds Riemann surfaces by adding strip-like domains. Projector-based gauges, like Schnabl's, are not in this class of gauges but we construct a family of regular linear b-gauges which interpolate between Siegel gauge and Schnabl gauge.
Background Subtraction for Dynamic Texture Scenes Using Fuzzy Color Histograms

Background subtraction is a very popular approach for detecting moving objects from a still scene. For this, most of previous methods depend on the assumption that the background is static over short time periods. However, structured motion patterns of the background (e.g., waving leaves, spouting fountain, rippling water, etc.), which are distinctive from variations due to noise, are hardly tolerated in this assumption and thus still lead to high-level false positive rates when using previous models. In this letter, we introduce a novel background subtraction algorithm for temporally dynamic texture scenes. Specifically, we propose to adopt a clustering-based feature, called fuzzy color histogram (FCH), which has an ability of greatly attenuating color variations generated by background motions while still highlighting moving objects. Experimental results demonstrate that the proposed method is effective for background subtraction in dynamic texture scenes compared to several competitive methods proposed in the literature.
MUSSELS WANDERING OPTIMIZATION ALGORITHM BASED TRAINING OF ARTIFICIAL NEURAL NETWORKS FOR PATTERN CL

Training an artificial neural network (ANN) is an optimization task since it is desired to find optimal neurons‘ weight of a neural network in an iterative training process. Traditional training algorithms have some drawbacks such as local minima and its slowness.Therefore, evolutionary algorithms are utilized to train neural networks to overcome these issues.This research tackles the ANN training by adapting Mussels Wandering Optimization (MWO) algorithm.The proposed method tested and verified by training an ANN with well-known benchmarking problems.Two criteria used to evaluate the proposed method were overall training time and classification accuracy.The obtained results indicate that MWO algorithm is on par or better in terms of classification accuracy and convergence training time.
TORINO Repository ISTITUZIONALE

The increasing flourish of available services in telecom domain offers more choices to the end user. On the other hand, such wide offer cannot be completely evaluated by the user, and some services may pass unobserved even if useful. To face this issue, the usage of recommendation systems in telecom domain is growing, to directly notify the user about the presence of services which may meet user interests. Recommendation can be seen as an advanced form of personalization, because user preferences are used to predict the interests of users for a new service. In this paper we propose a recommender system for users of telecom services, based on different collaborative filtering algorithms applied to a complex data-set of telecom users. Experiments on the recommendation performance and accuracy are conducted to test the different effects of different algorithms in data set coming from the a telecom domain.
Embers to bonfires: an analysis of early childhood teacher training in Zambia

ABSTRACT This study examined a five-year project initiated by the Women’s Global Connection (WGC) to train pre-primary teachers in schools serving HIV/AIDS orphans in Zambia. The researchers evaluated the contextual factors of the training initiative to clarify why some teachers possess high self-efficacy, while others do not. The article analyses the self-report survey responses of all training participants and also describes compelling interview narratives obtained from a random sampling of extreme groups. When stories from the groups were compared, factors emerged that had enabled some participants to feel more successful than others. The researchers selected the Success Case Method (SCM) as a research process for its straightforward determination of the impact of organisational initiatives on the organisation’s project goals. The results may guide international teacher training for developing countries.
Review of Data Sources, QSARs and Integrated Testing Strategies for Skin Sensitisation

This review collects information on sources of skin sensitisation data and computational tools for the estimation of skin sensitisation potential, such as expert systems and (quantitative) structure-activity relationship (QSAR) models. The review also captures current thinking of what constitutes an integrated testing strategy (ITS) for this endpoint. The emphasis of the review is on the usefulness of the models for the regulatory assessment of chemicals, particularly for the purposes of the new European legislation for the Registration, Evaluation, Authorisation and Restriction of CHemicals (REACH), which entered into force on 1 June 2007. Since there are no specific databases for skin sensitisation currently available, a description of experimental data found in various literature sources is provided. General (global) models, models for specific chemical classes and mechanisms of action and expert systems are summarised. This review was prepared as a contribution to the EU funded Integrated Project, OSIRIS. LIST OF ABBREVIATIONS CEFIC European Chemical Industry Council DC Dendritic Cells EC3 Concentration (weight percent) giving a stimulation index value of 3 in the LLNA EC European Commission ECB European Chemicals Bureau ECETOC European Centre for Ecotoxicology and Toxicology of Chemicals ECVAM European Centre for Validation of Alternative Methods ELUMO Energy of the Lowest Unoccupied Molecular Orbital EPA Environmental Protection Agency ESIS European chemical Substances Information System (ECB) EU European Union F Fischer Statistic FCA Freunds Complete Adjuvant GPMT Guinea Pig Maximisation Test HMT Human Maximisation Test HOMO Highest occupied molecular orbital HPV High Production Volume ICCA International Council of Chemical Associations ICCVAM Interagency Coordinating Committee on the Validation of Alternative Methods ITS Integrated (Intelligent) Testing Strategy JRC Joint Research Centre k Rate constant Ka Acid Dissociation Constant LC Langerhans Cells LLNA Local lymph node assay LUMO Lowest unoccupied molecular orbital MLR Multiple Linear Regression MO Molecular Orbital MSIAT Modified Single Injection Adjuvant Test MW Molecular Weight OECD Organisation for Economic Co-operation and Development PCA Principal Components Analysis pEC3 Negative logarithm of EC3 on a molar basis. Calculated as log [(molecular weight)/EC3] Q 2 Predictive ability of a model QMM Quantitative Mechanistic Model QMRF (Q)SAR Model Reporting Format QSAR Quantitative Structure-Activity Relationship R 2 Goodness of fit RAI Relative Alkylation Index REACH Registration Evaluation and Authorisation of CHemicals RIP REACH Implementation Project SAR Structure-Activity Relationship SB Schiff Base SI Stimulation index σ*: sigma* Taft substituent constant SMILES Simplified Molecular Line Entry system SN2 Substitution reaction, nucleophilic, bimolecular SNAr Substitution reaction, nucleophilic, aromatic TG Test Guideline TIMES-SS TIssue MEtabolism Simulator for Skin Sensitisation
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion

Motivated by the recent interest in models of guarded (co-)recursion, we study their equational properties. We formulate axioms for guarded fixpoint operators generalizing the axioms of iteration theories of Bloom and \'Esik. Models of these axioms include both standard (e.g., cpo-based) models of iteration theories and models of guarded recursion such as complete metric spaces or the topos of trees studied by Birkedal et al. We show that the standard result on the satisfaction of all Conway axioms by a unique dagger operation generalizes to the guarded setting. We also introduce the notion of guarded trace operator on a category, and we prove that guarded trace and guarded fixpoint operators are in one-to-one correspondence. Our results are intended as first steps leading, hopefully, towards future description of classifying theories for guarded recursion.
1 2 A ug 1 99 9 Correlated hip motions during quiet standing

Kinematic measurements of two simultaneous coordinates from postural sway during quiet standing were performed employing multiple ultrasonic transducers. The use of accurate acoustic devices was required for the detection of the small random noise displacements. The trajectory in the anteroposterior mediolateral plane of human chest was measured and compared with the trajectory in anteroposterior direction from the upper and lower body. The latter was statistically analyzed and appeared to be strongly anti-correlated. The anticorrelations represent strong evidence for the dominance of hip strategy during an unperturbed one minute stance. That the hip strategy, normally observed for large amplitude motions, also appears in the small amplitude of a quite stance, indicates the utility of such noise measurements for exploring the biomechanics of human balance. PACS numbers: 87.19. St, 87.50. Kk, 87.15. Ya
Exploring the Malaysian Rural School Teachers’ Professional Local Knowledge in Enhancing Students’ Thinking Skills

This paper discussed a qualitative research findings on the case of Malaysian teachers employed their professional local knowledge for enhancing students’ thinking skills in classroom practices. In this paper, a teacher’s professional local knowledge is viewed as a teacher’s professional knowledge and skills developed through the combination of the teacher’s expertise, theory, knowledge and experiences gained from professional practices in various and different contexts of students’ social backgrounds, environment and culture. In this case study, we investigate four teachers from various disciplines and schools located in rural areas who are implementing student-centered teaching approach in the classroom. We identified the method, techniques and approaches they employed to enhance students’ thinking skills via observations and interviews regarding their teaching practices in the classroom. The study has shown how teachers practice their professional local knowledge through various approaches, strategies and techniques that form positive interaction between teachers and students. This often emboldens intellectual discourse, and gives the students learning autonomy during the process of teaching and learning to improve their thinking skills.
Neural Networks for Sepsis Prediction - the MEDAN-Project 1

Since the description of sepsis by Schottmuller in 1914, the amount on knowledge available on sepsis and its underlying pathophysiology has substantially increased. Epidemiologic examinations of abdominal septic shock patients show the potential for high risk posed by and the extensive therapy situation in the intensive care unit (ICU) (5). Unfo rtunately, until now it has not been possible to significantly reduce the mortality rate of septic shock, which is as high as 50-60% worldwide, although PROWESS' results (1) are encouraging. This paper summarizes the main results of the MEDAN project and their medical impacts. Several aspects are already published, see the references. The heterogeneity of patient groups and the variations in therapy strategies is seen as one of the main problems for sepsis trials. In the MEDAN multi-center study of 71 intensive care units in Germany, a group of 382 patients made up exclusively of abdominal septic shock patients who met the consensus criteria for septic shock (3) was analysed. For use within scores or stand-alone experiments variables are often studied as isolated variables, not as a multidimensional whole, e.g. a recent study takes a look at the role thrombocytes play (15). To avoid this limitation, our study compares several established scores (SOFA, APACHE II, SAPS II, MODS) by a multi-dimensional neuronal network analysis. For outcome prediction the data of 382 patients was analysed by using most of the commonly documented vital parameters and doses of medicine (metric variables). Data was collected in German hospitals from 1998 to 2001. The 382 handwritten patient records were transferred to an electronic database giving the amount of 2.5 million data entries. The metric data contained in the database is composed of daily measurements and doses of medicine. We used range and plausibility checks to allow no faulty data in the electronic database. 187 of the 382 patients are deceased (49 %).