nils-herrmann/clean_scirepeval huggingface dataset:
Big deep voice indexation de donnees massives de parole grace a des reseaux de neurones profonds
Year: 2017

Les systemes de synthese de parole sont des outils permettant de generer un signal de parole correspondant a un texte. Les solutions actuelles fournissent un signal de qualite, mais la parole generee est peu expressive, notamment en raison de leur jeu de donnees limite. Pour resoudre ce probleme, il est donc necessaire d'augmenter la quantite de donnees pour y integrer de la variabilite. Cela souleve neanmoins plusieurs problematiques comment decrire et comparer les donnees et comment rechercher des donnees lorsque leurs descripteurs sont de grande taille et que le nombre de donnees est consequent Le but de ce stage est de mettre en place une mesure de similarite entre phonemes, puis eventuellement un algorithme de recherche de plus proches voisins, qui pourront etre integres au systeme de synthese de parole de l'equipe Expression. Pour repondre a la problematique de description et comparaison des donnees, nous utiliserons la propriete de plongement des reseaux de neurones. Pour repondre a la problematique de recherche de donnees, nous proposons d'utiliser une methode de recherche de plus proches voisins en grande dimension. Le but de ce stage est d'etudier la faisabilite de la solution choisie, notamment en proposant des methodes d'evaluation de la qualite d'un plongement.
Sustainable consumption in organic food buying behavior: the case of quinoa
Year: 2020

Using an enhanced version of the theory of reasoned action (TRA) this study investigates the antecedents of organic quinoa based food buying intention. In addition to attitude toward this behavioral intention, the proposed model examines the influence that ecological welfare, political values, and consumer perceived corporate social responsibility (CSR) of the point of sale exert on consumer willingness to purchase organic quinoa based food.,Structural equation modeling (SEM) was used to analyze the data collected through an intercept survey conducted at specialized organic stores on a convenience sample of 158 individuals in Italy.,Although ecological welfare and a retailer's CSR image positively influence consumer attitude toward buying organic quinoa based food, political values negatively affect this attitude. Furthermore, consumer attitude is found to be a crucial predictor of behavioral intention.,At the theoretical level, the results are useful for demonstrating that other variables, in addition to those used in the traditional TRA, can further explain consumers' organic food buying intention. Additionally, the findings might be useful for both quinoa producers and retailers in creating and executing their marketing and communication strategies.,In addition to contributing to the stream of literature that investigates possible variables that might increase the predictive power of the TRA, this study sheds some light on organic food purchasing consumer behavior.
Structure of mammalian spermatozoa in respect to viability, fertility and cryopreservation.
Venue: Micron
Year: 2006

Morphological assessment of spermatozoa has a long history and it is generally accepted that specific morphologic structural deviations correlate with male sub and infertility. Although many different and also new methods are used in semen analysis, light microscopy is still used for routine morphological evaluation. This paper gives an overview about the detailed structure of physiological mammalian spermatozoa as well as the most common morphological deviations in correlation to fertility. This should be the basis for explanation of problems resulting from semen cryopreservation. General aspects of semen cryopreservation should be regarded before to facilitate the understanding of methods and mechanisms.
Joint replenishment and carbon trading in fresh food supply chains
Venue: Eur. J. Oper. Res.
Year: 2019

We investigate a fresh food supply chain comprising a large scale supplier and multiple small scale retailers under a carbon cap and trade policy. Retailers' joint replenishment and the carbon trading behavior of supply chain members are studied. We assume that three replenishment strategies are available for the supply chain: (1) separate replenishment; (2) joint replenishment: a leader follower relationship among retailers; and (3) joint replenishment: the coalition of retailers. Under each strategy, a bargaining framework for supply chain members is set up to maximize their profits, where the price of the refrigerated transportation services provided by the supplier and the retail price of fresh food are optimized. The optimal decisions are analyzed to provide insights into logistics pricing and retail pricing strategies. Through comparing three replenishment strategies, we also identify the optimal replenishment strategies from the perspectives of the supplier, retailers and a carbon emission optimizer. Moreover, we investigate the role of the carbon cap and trade policy by comparing the cases with and without a carbon cap and trade policy. It is noteworthy that the goals of profit growth and emission reduction are simultaneously achieved under the carbon cap and trade policy.
Teapot Dome: The Greatest Political Scandal in the History of the US Oil Industry
Year: 2019

Warren G. Harding's presidential administration in the early 1920s is best remembered for the scandal surrounding Teapot Dome oil field in Wyoming, the most infamous presidential malfeasance of the early twentieth century. A Presidential Order in 1915 named Teapot Dome a Naval Petroleum Reserve. The advantages of petroleum over coal for naval fuel had proved irresistible, and the crude reserves were meant to provide a secure wartime supply. Harding chose Senator Albert B. Fall as his Secretary of Interior. Fall wrangled Teapot Dome away from the Navy Department, and then leased the field in 1922 to independent oil titan Harry Sinclair in a non competitive deal. Senate hearings followed, Fall resigned, and Harding died suddenly a few months afterward. Investigators determined that Fall had received about $400,000 in "loans" from Sinclair. He was convicted and imprisoned for bribery. Sinclair was jailed for contempt, the leases were invalidated by the Supreme Court, and Teapot was returned to the Navy. Teapot is an asymmetrical anticline on the southwestern flank of the Powder River Basin. Its key producing zones are Cretaceous sandstones and shales, and there is substantial undeveloped potential for primary and enhanced oil recovery, as well as infill and horizontal drilling targets. In 2015, the field was acquired by Stranded Oil Resources in a public process. Transfer to a new, private operator after 100 years as a Naval Petroleum Reserve represents another exciting chapter in the history of America's most notorious oil field.
Spatio temporal dynamics of soil bacterial communities as a function of Amazon forest phenology
Venue: Scientific Reports
Year: 2018

Most tropical evergreen rain forests are characterised by varying degrees of precipitation seasonality that influence plant phenology and litterfall dynamics. Soil microbes are sensitive to soil water:air ratio and to nutrient availability. We studied if within year seasonality in precipitation and litterfall derived nutrient input resulted in predictable seasonal variation in soil bacterial diversity/microbial functional groups in an Amazonian forest. We characterised the spatio temporal dynamics of microbial communities from the plot to the stand scales and related them to precipitation seasonality and spatial variability in soil characteristics. Community composition and functional diversity showed high spatial heterogeneity and was related to variability in soil chemistry at the stand level. Large species turnover characterised plot level changes over time, reflecting precipitation seasonality related changes in soil nutrient and moisture regimes. The abundance of decomposers was highest during the rainy season, characterised also by anaerobic saprophytes and N2 fixers adapted to fluctuating redox conditions. In contrast, Beijerinckiaceae, likely derived from the phyllosphere, were found at higher abundances when litter inputs and accumulation were highest. We showed that in a mildly seasonal rain forest, the composition of soil microbial communities appears to be following canopy phenology patterns and the two are interlinked and drive soil nutrient availability.
PAC learning with stable and private predictions
Venue: COLT 2020
Year: 2019

We study binary classification algorithms for which the prediction on any point is not too sensitive to individual examples in the dataset. Specifically, we consider the notions of uniform stability (Bousquet and Elisseeff, 2001) and prediction privacy (Dwork and Feldman, 2018) Previous work on these notions shows how they can be achieved in the standard PAC model via simple aggregation of models trained on disjoint subsets of data. Unfortunately, this approach leads to a significant overhead in terms of sample complexity. Here we demonstrate several general approaches to stable and private prediction that either eliminate or significantly reduce the overhead. Specifically, we demonstrate that for any class $C$ of VC dimension $d$ there exists a \gamma$ uniformly stable algorithm for learning $C$ with excess error \alpha$ using \tilde O(d/\alpha\gamma) d/\alpha^2) samples. We also show that this bound is nearly tight. For \epsilon$ differentially private prediction we give two new algorithms: one using \tilde O(d/\alpha^2\epsilon) samples and another one using \tilde O(d^2/\alpha\epsilon) d/\alpha^2) samples. The best previously known bounds for these problems are $O(d/\alpha^2\gamma) and $O(d/\alpha^3\epsilon) respectively.
A Sinusoidal Pulsewidth Modulation (SPWM) Technique for Capacitor Voltage Balancing of a Nested T Type Four Level Inverter
Venue: IEEE Transactions on Power Electronics
Year: 2019

In this letter, a new control method based on the sinusoidal pulsewidth modulation scheme is proposed to control capacitor voltages of a T type four level nested neutral point clamped (NNPC) inverter. The T type four level NNPC inverter has a lower number of switches and components compared with other four level classic and advanced inverters, which make this topology attractive for high power medium voltage applications. This topology has been proposed and studied with the assumption of constant dc sources instead of flying capacitors. In this letter, a simple single phase modulator is developed to balance flying capacitor voltages. The performance and the feasibility of the proposed control technique are evaluated experimentally under a steady state and transient conditions and for different modulation indexes and loads. The experimental results demonstrate the effectiveness of the developed control method to control the capacitors' voltages.
Analysis and Comparison of the Spring Framework and Play Framework Performance, Used to Create Web Applications in Java
Venue: 2019 IEEE XVth International Conference on the Perspective Technologies and Methods in MEMS Design (MEMSTECH)
Year: 2019

In the era of continuous technological development, which is followed by the increase in the speed of computers and the Internet, it is also important to develop techniques and programming languages as well as various mechanisms helping programmers in their work. Therefore, the frameworks were created, or skeleton applications that define the application structure and the general mechanism of its operation, to facilitate writing programs and unify the structure of various applications. The purpose of this article is to analyze and compare the performance of two popular frameworks, used to create a server part of a web application in Java, namely the Spring Framework and Play Framework.
PEMBUATAN GAMEANDROID 2D PETUALANGAN MR.KENTANG MENGGUNAKAN UNITY
Year: 2017

Playing games is one way to relieve boredom and stress of everyday activities. Type of game more and more as the development of technology, from the desktop to the smartphone game. Android operating system to be one of the most popular mobile phone in the world today. From these circumstances the author tries to make an adventure game genre based on Android. This game can be used as an option to relieve boredom or just to fill the void in his spare time by playing games, and also to encourage the establishment of local game developers, which is still small compared with the foreign game developers. Groove design of the game is made of storyboard and then designed the depiction of the character, background and the game odds are bypassed by using CorelDraw X6. Depictions of the supporting elements of the game already completed later diterpakan the game engine. The game is built using C programming language with Unity software. Results of this research have produced a game called "Mr. Potato Adventure "in the 2D display based on Android. This game is played by one person and has 4 levels of obstacles. This game is a genre of adventure games.  Android, Game 2D, Adventure, Unity
Disclosing contrasting scenarios for future land cover in Brazil: Results from a high resolution spatiotemporal model.
Venue: The Science of the total environment
Year: 2020

Gaining information on the dynamics of land cover changes is a valuable step towards improving practical conservation actions. In recent years, the Brazilian presidential elections in 2018 and the recovery from one of the nation's worst economic recessions defined a political scenario that has been causing shifts in the patterns of land cover change. A variety of national plans for the near future exist and include the construction of new roads connecting remote Amazonian areas and large dams that could flood up to 10 million hectares. These development plans threaten environmental conservation, but the potential effects on the local or regional land cover are mostly unknown. In this work, we construct a model to evaluate the possible consequences of policy actions on land cover dynamics in the near future at a high resolution scale. The regression model extracts the historical relationships between land cover and spatial drivers of change, and its extrapolation for the future enables the simulation of scenarios for the national plans currently discussed in Brazil. We also simulate three scenarios based on the Representative Concentration Pathways of the Intergovernmental Panel on Climate Change, which makes contrasting management assumptions. The resulting maps indicate that considerable changes in land cover composition and configuration may occur even in a short period. The historical Brazilian economic forces make the decrease in natural vegetation probabilities challenging to stop even in an environmentally oriented scenario, where plans for the construction of new infrastructure are abruptly interrupted. Our results also indicate that environmental degradation cannot be prevented without coordinated efforts between public agencies with a broad diversity of development viewpoints.
Clausal morphosyntax and information structure
Year: 2019

With some 300 500 closely related languages, the Bantu family provides a wealth of examples for the study of syntactic micro variation within a set of typologically similar languages. This chapter surveys six central topics in the clausal morphosyntax, highlighting similarities and variation across the Bantu spectrum. The themes discussed are: word order, agreement in the phrase and the clause, valency changing morphosyntax, non verbal predication, complex clause structure and dependent clauses and the phonology syntax interface. Each topic is amply illustrated with data from several geographically disparate languages, and the implications of the data for leading theoretical frameworks are discussed.
Plan de negocio para la ampliacion de Q2 Saloon Autos Y talleres mecanicos en Quito
Year: 2013

Since the turn of the business is focused on the sale and marketing of vehicles Saloon Cars Q2 saw the need to implement an auto mechanic shop in the city of Quito, with art facilities, equipped with four areas which are: mechanical, straightened, painting and washing. Providing quality service to the customer, with a highly qualified, caring in the work, getting a shiny car, in perfect condition and well maintained. According to the market research fleet in Quito city is constantly growing, which means that the demand for maintenance and auto repair customers requiring high end vehicles is very high, so based on what is studied raises the possibility of installing a garage that meets all these needs and requirements from the customer and the vehicle.
A multilayer and spatial description of the Erasmus mobility network
Venue: Scientific Data
Year: 2020

The Erasmus Programme is the biggest collaboration network consisting of European Higher Education Institutions (HEIs) The flows of students, teachers and staff form directed and weighted networks that connect institutions, regions and countries. Here, we present a linked and manually verified dataset of this multiplex, multipartite, multi labelled, spatial network. We enriched the network with institutional socio economic data from the European Tertiary Education Register (ETER) and the Global Research Identifier Database (GRID) We geocoded the headquarters of institutions and characterised the attractiveness and quality of their environments based on Points of Interest (POI) data. The linked datasets provide relevant information to grasp a more comprehensive understanding of the mobility patterns and attractiveness of the institutions.  Socioeconomic Factors Demographics mobility Technology Type(s) digital curation Factor Type(s) Higher Education Institute Sample Characteristic Environment city Sample Characteristic Location Europe Machine accessible metadata file describing the reported data: https:/doi.org/10.6084/m9.figshare.11687310
Population Policy in Transition in the Developing World
Venue: Science
Year: 2011

Population growth remains rapid in the poorest countries, particularly in sub Saharan Africa, despite substantial AIDS mortality. Voluntary family planning programs reduce unplanned pregnancies by providing access to and information about contraception and by reducing socioeconomic obstacles to use. With sufficient political will and resources, well run voluntary programs have been shown to bring about sustained declines in fertility and population growth across much of Asia, the Middle East, and Latin America, simply by permitting people to realize their individual reproductive goals. Such programs represent a cost effective approach to relieving population pressures, stimulating economic development, improving health, and enhancing human freedom.
Evaluating Robustness of Neural Networks with Mixed Integer Programming
Venue: ICLR
Year: 2019

Neural networks have demonstrated considerable success on a wide variety of real world problems. However, neural networks can be fooled by adversarial examples slightly perturbed inputs that are misclassified with high confidence. Verification of networks enables us to gauge their vulnerability to such adversarial examples. We formulate verification of piecewise linear neural networks as a mixed integer program. Our verifier finds minimum adversarial distortions two to three orders of magnitude more quickly than the state of the art. We achieve this via tight formulations for non linearities, as well as a novel presolve algorithm that makes full use of all information available. The computational speedup enables us to verify properties on convolutional networks with an order of magnitude more ReLUs than had been previously verified by any complete verifier, and we determine for the first time the exact adversarial accuracy of an MNIST classifier to perturbations with bounded l[infinity] norm e 0:1. On this network, we find an adversarial example for 4.38% of samples, and a certificate of robustness for the remainder. Across a variety of robust training procedures, we are able to certify more samples than the state of the art and find more adversarial examples than a strong first order attack for every network.
Tracking You through DNS Traffic: Linking User Sessions by Clustering with Dirichlet Mixture Model
Venue: MSWiM
Year: 2017

The Domain Name System (DNS) which does not encrypt domain names such as "bank.us" and "dentalcare.com" commonly accurately reflects the specific network services. Therefore, DNS based behavioral analysis is extremely attractive for many applications such as forensics investigation and online advertisement. Traditionally, a user can be trivially and uniquely identified by the device's IP address if it is static (i.e. a desktop or a laptop) As more and more wireless and mobile devices are deeply ingrained in our lives and the dynamic IP address such as DHCP has been widely applied, it becomes almost impossible to use one IP address to identify a unique user. In this paper, we propose a new tracking method to identify individual users by the way they query DNS regardless of dynamic changing IP addresses and various types of devices. The method is applicable based on two observations. First, even though users may update IP addresses dynamically during different sessions, their query patterns can be stable across these sessions. Secondly, domain name look ups in sessions are different from users to users according to their personal behaviors. Specifically, we propose the constrained Dirichlet multinomial mixture (CDMM) clustering model to cluster DNS queries of different sessions into groups, each of which is considered being generated by a unique user. Compared with traditional supervised and unsupervised models, our model does not acquire any labeled user information that is very hard to obtain in real networks or the specification of the number of clusters, and meanwhile enforces the maximum number of session data in each cluster, which fits the DNS tracking problem nicely. Experimental results on DNS queries collected from real networks demonstrate that our method accomplishes a high clustering accuracy and outperforms the existing methods.
Self regulation in Three Types of Online Interaction: How Does It Predict Online Pre service Teachers' Perceived Learning and Satisfaction?
Year: 2020

The purpose of this study is to investigate online pre service teachers' self regulation in three types of online interaction and learner outcomes: perceived learning and satisfaction. The data were collected from 372 pre service teachers enrolled in an online teacher training program. Descriptive statistics and path analysis were used to answer the proposed research questions. The results show that online pre service teachers have perceptions of self regulation in three types of online interaction and learner outcomes at a moderate level. Their perceptions do not vary depending on the demographics of age, gender, and employment status, except for perceived learning. Females perceived higher scores than males for perceived learning. The path analysis indicates the relationships among self regulation in three types of online interaction and learner outcomes. As consistent with the prior research, the results imply that the improved self regulation for interaction results in improved learner outcomes of perceived learning and satisfaction. However, the role of learner demographics is not generally significant in this research context.