Miracle-dz/UniFAR-FTUs huggingface dataset:
Explorer The Best of Both Worlds

We present a linear functional calculus with both the safety guarantees expressible with linear types and the rich language of combinators and composition provided by functional programming. Unlike previous combinations of linear typing and functional programming, we compromise neither the linear side (for example, our linear values are first-class citizens of the language) nor the functional side (for example, we do not require duplicate definitions of compositions for linear and unrestricted functions). To do so, we must generalize abstraction and application to encompass both linear and unrestricted functions. We capture the typing of the generalized constructs with a novel use of qualified types. Our system maintains the metatheoretic properties of the theory of qualified types, including principal types and decidable type inference. Finally, we give a formal basis for our claims of expressiveness, by showing that evaluation respects linearity, and that our language is a conservative extension of existing functional calculi.
Their Adolescence Reflect on the Impact of Heterosexism and Homophobia During Coping With Sexual Stigma : Emerging Adults With Lesbian Parents

Little is known about how youth with LGB (lesbian, gay, and bisexual) parents experience various forms of sexual stigma (i.e., homophobia and heterosexism). Previous studies have focused primarily on frequency of teasing and harassment; therefore, much less is known about how indirect and institutional types of sexual stigma play out in the lives of these youth. In-depth, qualitative interviews were conducted with 30 emerging adults with lesbian parents to ascertain how they experienced and coped with sexual stigma during middle school and high school. Findings revealed that both enacted (direct and indirect) and structural sexual stigma were salient to participants during their adolescence. The reactions that participants had to sexual stigma varied and were categorized as: fearful, defiant, or detached. Coping strategies, as well as factors that influenced the impact of sexual stigma on participants, were identified. Findings have implications for family professionals, policymakers, and future research. 1Department of Family Studies and Social Work, Miami University, Oxford, OH, USA 2Department of Family Science, University of Maryland, College Park, MD, USA 3Department of Educational Leadership, Miami University, Oxford, OH, USA Corresponding Author: Katherine A. Kuvalanka, PhD, Department of Family Studies and Social Work, Miami University, 101 McGuffey Hall, Oxford, OH 45056, USA. Email: kuvalanka@MiamiOH.edu 484354 JARXXX10.1177/0743558413484354Journal of Adolescent ResearchKuvalanka et al. research-article2013 at OhioLink on May 1, 2013 jar.sagepub. com Downloaded from 2 Journal of Adolescent Research XX(X)
RFID-based SEIS : A Sociomaterial Theoretical Perspective

Orlikowski and Lacono (2001, p. 132) aptly argue that IT artifacts, particularly distributed network technology applications, including RFID, “do not provide the same material and cultural properties in each local time or context of use. ” A sociomaterial theory suggests the importance of adopting an integrative approach to study the social and material effects when examining IT benefits realization. While much has been written about the high potential of RFID as a new class of strategic enterprise information systems, the early adopters of RFID and researchers still have to answer the question on how to co-create the business value of RFID in supply chain environments. In this longitudinal case study of six firms involved in the research, development, implementation and use of an innovative RFID system, several critical barriers to co-creating RFID-enabled business value were identified. Finally, a sociomaterial approach to study RFID provided new insights into these barriers.
Effect of ADHDmedication inmale C 57 BL / 6 J mice performing the rodent Continuous Performance Test

Rationale The rodent Continuous Performance Test (rCPT) is a novel rodent paradigm to assess attention and impulsivity that resembles the human CPT. This task measures the rodents’ ability to discriminate between target and non-target stimuli. The effect of attention-deficit/hyperactivity disorder (ADHD) medication on rCPT performance in mice remains to be fully characterized. Objective To investigate the predictive validity of the mouse rCPT by studying the effects of ADHD medication methylphenidate, atomoxetine, amphetamine, guanfacine, and modafinil in four behavioral subgroups based on performance and impulsivity levels. Methods Two cohorts of male C57BL/6J mice were used, and the effect of treatment was tested in a variable stimulus duration probe. Performance and impulsive subgroups were made based on discriminability and percentage premature responses, respectively. Results Methylphenidate, atomoxetine, and amphetamine improved performance in the low-performing animals, with no effect in the high-performers. These improvements were a result of increased hit rate and/or decreased false-alarm rate. Furthermore, these drugs decreased percentage premature responses in the high-impulsive group. Methylphenidate, guanfacine, and modafinil increased premature responses in the low-impulsive group.Modafinil impaired performance in the high-performers by increasing false-alarm rate. Conclusion The effect of ADHD treatment was dependent on baseline, as seen by increases in performance for the lowperformers and decreases in impulsivity for the high-impulsive animals. These results agree with clinical data and may support the inverted U-shaped arousal-performance theory. The rCPT combined with behavioral separation into subgroups has high predictive validity, and our study is a step forward towards establishing the clinical translatability of the rCPT.
ASSOCIATION FOR CONSUMER RESEARCH

Humans have a fundamental need to affiliate with others and people might use consumption to accomplish this goal. Following this logic, three experiments tested whether socially excluded people were more likely than others to consume in a way that could enhance affiliation. Activating affiliation motives increased willingness to buy a product symbolic of group loyalty (Experiment 1), increased willingness to pay for conspicuous consumption products but not for utilitarian products (Experiment 2), and led people to shift consumption preferences to those predictive of acceptance (Experiment 3). Overall, affiliation motives produced consumption behaviors consistent with prediction from an evolutionary perspective.
DIARETDB 1 diabetic retinopathy database and evaluation protocol

For a particularly long time, automatic diagnosis of diabetic retinopathy from digital fundus images has been an active research topic in the medical image processing community. The research interest is justified by the excellent potential for new products in the medical industry and significant reductions in health care costs. However, the maturity of proposed algorithms cannot be judged due to the lack of commonly accepted and representative image database with a verified ground truth and strict evaluation protocol. In this study, an evaluation methodology is proposed and an image database with ground truth is described. The database is publicly available for benchmarking diagnosis algorithms. With the proposed database and protocol, it is possible to compare different algorithms, and correspondingly, analyse their maturity for technology transfer from the research laboratories to the medical practice.
Introducing Item Pool Visualization ( IPV )

In this article we introduce Item Pool Visualization (IPV). IPV locates items and item pools (scales) from multiple psychological instruments regarding their commonality and distinguishability along several dimensions of nested radar charts. Item pools are visualized as circles that do not overlap. IPV illustrates a comparison of different structural equation models that are estimated with the same data. IPV combines the advantages of general and correlated factor models when evaluating psychological instruments. Further, in contrast to other visualization methods IPV provides an empirically driven categorization of psychological concepts and their facets that is suited to provide users with help in comparing questionnaires and selecting tests.
Classification of Spam Host based on URLs

E-mail: {chung, toyoda, kitsure}@tkl.iis. u-tokyo.ac. jp Abstract In this paper, we determined the main topic of spam hosts based on their uniform resource locator(URL)s. Topic classification of web spam can help personalize spam filters for the web browser, collect topic-specific spam samples with a focused crawler, and understand web spamming activity as a social phenomenon in the cyber space. To classify a URL into different spam topics, we first defined spam topic categories by investigating URLs of spam hosts in our Japanese web archives. Next, we constructed a training set using URLs that were manually categorized into spam topics, and built classifiers using a machine learning approach. In addition, based on the assumption that a small spam link structure consists of pages about a single topic, we used URLs from those structures as additional training data. We categorized URLs of spam hosts from our large scaled Japanese web archive into several topics using two classifiers built by different training sets, and compared the classification results. We improved classification performance from the baseline approach by about 10%. Keyword Web spam, Topic classification, URL, Machine learning
Protocol for Streaming Data from an RFID Sensor Network †

Currently, there is an increasing interest in the use of Radio Frequency Identification (RFID) tags which incorporate passive or battery-less sensors. These systems are known as computational RFID (CRFID). Several CRFID tags together with a reader set up an RFID sensor network. The reader powers up the tags’ microcontroller and their attached sensor using radio frequency waves, and tags backscatter, not only their EPC code but also the value of those sensors. The current standard for interrogating these CRFID tags is the EPC global Class 1 Generation 2 (EPC C1G2). When several tags are located inside the reader interrogation area, the EPC C1G2 results in very poor performance to obtain sensor data values. To solve this problem, a novel protocol called Sensor Frmed Slotted Aloha (sFSA) for streaming sensor data dealing with the tag collisions is presented. The proposed protocol increases the Sensor Read Rate (SRR), defined as the number of sensor data reads per second, compared to the standard. Additionally, this paper presents a prototype of an RFID sensor network to compare the proposed sFSA with the standard, increasing the SRR by more than five times on average. Additionally, the proposed protocol keeps a constant sensor sampling frequency for a suitable streaming of these tag sensors.
Technical Efficiency of Pakistan’s Manufacturing Sector: A Stochastic Frontier and Data Envelopment Analysis

This paper examines the efficiency of the large-sca le manufacturing sector of Pakistan using parametric as well as non-parametric frontier echniques. Production frontiers are estimated for two periods ─1995-96 and 2000-01 ─for 101 industries at the 5-digit PSIC. The results show that there has been some improvement i n the efficiency of the large-scale manufacturing sector, though the magnitude of impro vement remains small. The results are mixed at the disaggregated level: whereas a majorit y f industrial groups have gained in terms of technical efficiency, some industries have shown deterioration in their efficiency levels. The results from both the approaches are consistent, an d in line with similar studies.
Economic Determinants of Third-Party Intervention in Civil War

Our paper explores the economic conditions that lead third p a ties to intervene in ongoing internal wars. We develop a formal model that ties to gether some of the main forces driving the decision to interfere in a civil war, incl uding the economic benefits accruing from the intervention and the potential costs asso ciated with such choice. We predict that third party interventions are most likely in c vil conflicts where the country at war harbors a profitable industry as a consequence of its high levels of peace-time production and state strength, while the opposi tion forces’ strength reduces the likelihood of intervention. We also present novel empirical results on the role of valuable goods, i.e. oil, in prompting third party mi litary intervention in contexts of high state stability, by using a dataset on intrasta te conflicts on the period 1960-1999.
A iteration-free multi-channel mismatch estimation method for parallel time-interleaved system

A time-interleaved (TI) architecture with slower sub-ADCs in parallel is a promising approach to avoid the conflict between sampling rate and quantization precision of single chip ADC. A major bottleneck in realizing a TI ADC is mismatch among the sub-ADCs, which may greatly degrade the receiver performance. An iteration-free method is proposed to simultaneously estimate time errors and gain errors. In our research, the frequency response vectors corresponding to a pair of frequencies are studied in terms of their rotational relationships. The method is based on the fact that the rotational matrix only depends on the time errors and the frequency spacing between the paired frequencies but is independent of gain errors. Upon combining the projection matrices corresponding to the paired frequencies, we directly obtain the time errors in terms of extracting the rotational matrix in a least squares framework. Moreover, the presented method is robust to residual offset errors and system noise. The effectiveness of the proposed approach is verified by simulated data.
Prediction of vehicles ’ trajectories based on driver behaviour model

As a component of Dutch Automatic Vehicle Initiative (DAVI) project, this study aims at improving highway driving safety of autonomous vehicle. It is observed that some misbehaved drivers do not use turn indicators forehead a lane change on highway. For a self-driving car in such situations, a lane change is potentially dangerous without an accurate estimation of other vehicles’ movements . If lane changes can be detected or predicted at its initial phase, DAVI vehicle can be advised in time to perform corresponding maneuvers to avoid collision. In this study, a Support Vector Machine (SVM) based method was proposed to fulfil this task. Predictions are generated through analysing vehicles’ motion parameters. At the first place, a number of driving simulator tests were carried out to set up database of typical vehicle maneuvers features, including heading angle, yaw rate, lateral velocity and lateral acceleration. 14 driver databases were used in SVM training after removal of unrealistic info. An off-line trained SVM was obtained to perform lane change predictions. In addition to offline training, an incremental training SVM was introduced. Compared with off-line learning, its incremental feature enables the classifier to update itself with freshly recorded lane change data in a relatively short time. This enables the vehicle to be "learning while predicting" . Based on the databases, SVM based approaches were verified to be feasible of predicting lane changes. With the most optimal parameter combination, this method is able to perform predictions with 100% sensitivity ( predicted all lane changes successfully). Average advance time is approximate to 1.5 seconds. Average computational time is less than 0.005 seconds, which is acceptable for automatic driving. Besides, the performance of sliding window method was evaluated for variation of its size, and a general applicability of overall prediction method was also examined on data from different drivers. Master of Science Thesis Zhengyu Li
ullwhip effect under substitute products

Using a large-scale, product-level dataset collected from a supply chain dyad, we examine the effect of own and substitute products on a focal product’s bullwhip effect and estimate the existence and magnitude of the bullwhip effect at the product level. We find that, under substitute products, the bullwhip effect is not only affected by a product’s own factors but also by those of its substitute products. An increase in the number of own price changes is associated with a decrease in the bullwhip effect in terms of the direct effect but with an increase in the bullwhip effect in terms of the total effect, and increases ullwhip effect ubstitute products upply chain management mpirical analysis in the number of price changes of substitute products and own stockouts are associated with increases in the bullwhip effect. The potential effects for own price changes, price changes of substitute products and own stockouts are as much as 59.51%, 95.06% and 66.11%. We also find that the bullwhip effect is prevalent and very intensive at the product level. We discuss the theoretical and managerial implications of the findings. © 2015 Elsevier B.V. All rights reserved.
Importation of manufactured herbals in West Africa : the case of AIDS treatments in Benin

1 This text was written following a presentation in English: Simon E. Non-conventional treatment of HIV/AIDS in Benin, Workshop NAARSP, AIDSIMPACT Satellite, 8 International Conference, MMSH, Aix-en-Provence, 01 July 2007. The written French version of the presentation was translated by Taï Walker (tai.wordstuff@gmail.com). The text has been rewritten and edited in collaboration with Sharon Calandra (dakarenglish@yahoo.com). Importation of manufactured herbals in West Africa: the case of AIDS treatments in Benin Revue Internationale sur le Médicament, vol.2, 2008 230 The beginning of the AIDS epidemic saw the appearance in Africa of myriad manufactured herbals indicated in the case of AIDS. This paper considers these new therapeutic treatments as social objects and situates them in the wider array of available therapeutic resources. This study examines this category of medicines by considering the relationships between imported manufactured-herbal and locally-produced “neotraditional” remedies. These relationships pertain to processes of instrumentalization, to ideas of similarity or difference and are explored by combining the examination of packaging and advertising materials with the analysis of discourses from both prescribers and consumers.
Ultra-Wideband Modified CSRR Antenna with Reconfigurable Notch Band

 A novel technique of realizing notches for a compact ultra-wideband (UWB) antenna is proposed based on a modified complementary split ring resonator (CSRR). The UWB slot antenna is in the swallow shape of a modified CSRR. The notched band centered at 5.8 GHz for upper WLAN and 3.9 GHz for C-band satellite communication systems. The proposed antenna has a compact size of 25 × 27.9 mm. The measured results show that the proposed antenna can guarantee a wide bandwidth from 2 GHz to 12 GHz (VSWR < 2) with dual unwanted bandnotches successfully. The antenna demonstrates omnidirectional and stable radiation patterns across all the relevant bands. Moreover, a prototype of the dual-band-notched UWB antenna is fabricated and measured results are compared with simulated results. Index Terms  Monopole antenna, multi-band antenna, and ultra-wideband (UWB) antenna.
Xucheng Liu Building a Harmonized Supply Chain Management Based on Supply Chain Modularity

Author Title Number of Pages Date Xucheng Liu Building a Harmonized Process for Project Supply Chain Management 77 pages + 5 appendices 06 May 2016 Degree Industrial Management Degree Programme Master of Engineering Instructors Jari Laine, Doctoral researcher, Aalto University Zinaida Grabovskaia, Senior Lecturer, Metropolia Mikko Orava, Program manager, case company This thesis builds a harmonized SCM process for the case company. The case company currently has two supply chain units in Finland. The key milestones and main process flows of the two units are the same. However, two units are using different tools, process documents, and practices in managing projects. This study is a qualitative case study research. The study collects the data from multiple sources i.e. group discussions with core team, interviews and also the case company’s internal documents. With those resources, the study created the current supply chain management processes for both supply chain units. The findings from the current state analysis revealed the issues that make the two units’ process differences, which can be divided into three categories. The literature review focused on the two different types of supply chain management-make to order and engineer-to-order, two different types of organization structure-process oriented and project oriented, and the approach that harmonization through the supply chain modularity. Based on these literatures the conceptual framework for this study was created. The outcome of this study is a harmonized SCM process. The new process is a modular based process with three categories based on the project complexity. The final proposal is linked to the case company main project structure, which enables it to link all the process together. The outcome of this study utilizes the supply chain modularity so that enables the case company have one way of managing supply chain projects for different units.
Synchronization of endothelial Dll 4-Notch dynamics switches 1 blood vessels from branching to expansion 2 3

29 Formation of a regularly branched blood vessel network is crucial in development and 30 physiology. Here we show that the expression of the Notch ligand Dll4 fluctuates in 31 individual endothelial cells within sprouting vessels in the mouse retina in vivo and in 32 correlation with dynamic cell movement in mouse embryonic stem cell-derived 33 sprouting assays. We also find that sprout elongation and branching associates with a 34 highly differential phase pattern of Dll4 between endothelial cells. Stimulation with 35 pathologically high levels of Vegf, or overexpression of Dll4, leads to Notch 36 dependent synchronization of Dll4 fluctuations within clusters, both in vitro and in 37
Title Risk-Limiting Unit Commitment in Smart Grid With Intelligent Periphery Permalink

This paper proposes the risk-limiting unit commitment (RLUC) as the operational method to address the uncertainties in the smart grid with intelligent periphery (GRIP). Three key requirements are identified for the RLUC in GRIP. The first one requires the RLUC to be modeled as a multistage multiperiod unit commitment problem considering power trades, operational constraints, and operational risks. The second one requires the RLUC considering the conditional prediction to achieve a globally optimal solution. It is addressed by using conditional probability in a scenario-based form. The last one requires the risk index in the RLUC to be both valid and computationally friendly, and it is tackled by the utilization of a coherent risk index and the mathematical proof of a risk chain theorem. Finally, the comprehensive RLUC in GRIP satisfying all the three requirements is solved by an equivalent transformation into a mixed integer piecewise linear programming problem. Case studies on a nine-bus system, a realistic provincial power system, and a regional power grid in China demonstrate the advantages of the proposed RLUC in GRIP.
Efficient Bayesian Inference of Atomistic Structure in Complex Functional Materials

aDepartment of Applied Physics, Aalto University, P.O. Box 11100, Aalto, FI-00076, Finland; bSchool of Informatics, University of Edinburgh, 10 Crichton Street, Edinburgh, EH8 9AB, United Kingdom; cInstitute of Basic Medical Sciences, University of Oslo, Sognsvannsveien 9, 0372 Oslo, Norway; dDepartment of Mathematics and Statistics, University of Helsinki, P.O. Box 68, Helsinki, FI-00014, Finland