An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems

An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems Qi, Zichao; Long, Fan; Achour, Sara; Rinard, Martin We analyze reported patches for three existing generate-and-validate patch generation systems (GenProg, RSRepair, and AE). The basic principle behind...

[hal-00773374] Conception robuste des roues aubagées désaccordées

Dans le domaine de la conception des roues aubage'es de turbomachines, de faibles variations dans les caractéristiques des aubes, du fait des tolérances de fabrication affectent la symétrie cyclique de la structure. Cette brisure de symétrie est appelée "desaccordage involontaire". L'une des conséquences...

[hal-00550535] Modélisation non-paramétrique des incertitudes en vibroacoustique appliquée aux automobiles

La dispersion des Fonctions de Réponse en Fréquence vibroacoustiques est un phénomène que l'on peut observer pour la plupart des objets industriels ; elle traduit l'hypersensibilité dynamique des structures, couplées à celle des cavités, qui apparait dès lors que la densité modale dépasse un certain...

[hal-00770401] Dynamique stochastique des structures élancées soumises aux charges de vent - Stochastic dynamics of slender structures subjected to random wind loading

On étudie la dynamique stochastique des structures élastiques schématisées par une poutre console soumise aux charges de vent. On se limite dans cette étude, aux déplacements dans le plan parallèle à la direction moyenne du vent. La structure du vent au voisinage du sol est celle d'une couche limite...

[hal-00770402] Transformation quadratique d'un processus Gaussien et application à la dynamique stochastique - Quadratic transformation of a Gaussian process and its application to stochastic dynamics

L'objectif de cet article est la dynamique stochastique des structures élastiques à comportement linéaire, soumises au vent aléatoire, en tenant compte des termes non linéaires de la fluctuation du champ de vitesse du vent qui est modélisé par un champ stochastique Gaussien indexé en temps et en espace....

[hal-00687864] Probabilistic model of random uncertainties in structural dynamics for mistuned bladed disks

The mistuning of blades is frequently the cause of spatial localizations for the dynamic forced response in turbomachinery industry. The random character of mistuning requires the construction of probabilistic models of random uncertainties. A usual parametric probabilistic description considers the...

The Future of Online Graduate Education in 21st Century Research Universities

The Future of Online Graduate Education in 21st Century Research Universities Buttlar, William G. The nature and demand for graduate and undergraduate education is rapidly evolving. Some fields, such as Civil and Environmental Engineering, are closing in on requiring a Master’s degree or equivalent...

The Future of Online Graduate Education in 21st Century Research Universities

The Future of Online Graduate Education in 21st Century Research Universities Buttlar, William G. The nature and demand for graduate and undergraduate education is rapidly evolving. Some fields, such as Civil and Environmental Engineering, are closing in on requiring a Master’s degree or equivalent...

[hal-00633943] Découverte : le sens, structure fondamentale de la nature est formellement identifié via des formules mathématiques

Après vingt-quatre siècles de recherches, le sens ; structure fondamentale de la nature (appelé aussi " sens métaphysique "), a été isolé et formellement identifié via l'écrit. La représentation écrite du sens s'est révélée saisissable, comme un objet, entre deux ensembles délimités de formules aux spécificités...

The Impact of Philosophy and the Philosophy of Impact: A guide to charting more diffuse influences across time

The Impact of Philosophy and the Philosophy of Impact: A guide to charting more diffuse influences across time Briggle, Adam; Froderman, Robert; Holbrook, J. Britt Reflecting on the complexity of influence an individual research project can have, Adam Briggle, Robert Frodeman and Britt Holbrook try...

The Impact of Philosophy and the Philosophy of Impact: A guide to charting more diffuse influences across time

The Impact of Philosophy and the Philosophy of Impact: A guide to charting more diffuse influences across time Briggle, Adam; Froderman, Robert; Holbrook, J. Britt Reflecting on the complexity of influence an individual research project can have, Adam Briggle, Robert Frodeman and Britt Holbrook try...

[hal-01083059] Sur la ∇^{γ}-quantification

Le but de cet article est de donner un éclaircissement sur la ∇^{γ}-quanti…cation et de formuler des hypothèses différentes de celles énoncées dans les articles précédents. On présente une approche nouvelle de la ∇^{γ}-quanti…cation, notamment sur les équations d'’état et les équations d’évolution le...

[hal-01147933] LES EQUATIONS DE DIRAC-EINSTEIN

On veut à partir des équations de Dirac et de Schrödinger , reconstituer les équations d'evolution et d'état de Dirac-Einstein définies sur un fibré des etats quelconque. L' équation de Schrödinger est une équation d'évolution de rang 2 sur le fibré trivial d'espace total Ω × C, et l'equation de Dirac...

[hal-01002898] EQUATION DE DIRAC-WEYL-FOCK LE LONG D'UN CHAMP CHRONOLOGIQUE

We give some results on the notion about the space-time which allows to go through parts of the universe where lives a chronological field. This foliation enable a generalization of the Schrödinger equation and the Dirac-Weyl-Fock equation. from HAL : Dernières publications http://ift.tt/1HNJu...

[hal-00986218] $\nabla^{\gamma }$-quantification des mesures physiques

Dans ce article, on propose un procédé de quantification des (p,q)-tenseurs. from HAL : Dernières publications http://ift.tt/1HNQf...

An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems

An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems Qi, Zichao; Long, Fan; Achour, Sara; Rinard, Martin We analyze reported patches for three existing generate-and-validate patch generation systems (GenProg, RSRepair, and AE). The basic principle behind...

Prophet: Automatic Patch Generation via Learning from Successful Human Patches

Prophet: Automatic Patch Generation via Learning from Successful Human Patches Long, Fan; Rinard, Martin We present Prophet, a novel patch generation system that learns a probabilistic model over candidate patches from a large code database that contains many past successful human patches. It defines...

Automatic Discovery and Patching of Buffer and Integer Overflow Errors

Automatic Discovery and Patching of Buffer and Integer Overflow Errors Sidiroglou-Douskos, Stelios; Lahtinen, Eric; Rinard, Martin We present Targeted Automatic Patching (TAP), an automatic buffer and integer overflow discovery and patching system. Starting with an application and a seed input that...

Simit: A Language for Physical Simulation

Simit: A Language for Physical Simulation Kjolstad, Fredrik; Kamil, Shoaib; Ragan-Kelley, Jonathan; Levin, David I.W.; Sueda, Shinjiro; Chen, Desai; Vouga, Etienne; Kaufman, Danny M.; Kanwar, Gurtej; Matusik, Wojciech; Amarasinghe, Saman Using existing programming tools, writing high-performance simulation...

[hal-01154705] Techniques d'ordre supérieur pour l'élimination d'exposants de Lyapunov fallacieux

Les techniques de reconstruction de l'espace des phases permettent de calculer des invariants d'orbite pour un système dynamique, à partir de la mesure d'une seule série temporelle. L'extraction de quantités dynamiques (telles que les exposants de Lyapunov) est fondée sur l'approximation du Jacobien...

Intelligent Side Information Generation in Distributed Video Coding

...

An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems (Supplementary Material)

An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems (Supplementary Material) Qi, Zichao; Long, Fan; Achour, Sara; Rinard, Martin We analyze reported patches for three prior generate-and-validate patch generation systems (GenProg, RSRepair, and AE). Because...

Post mortem: death-related media rituals

Morse, Tal (2014) Post mortem: death-related media rituals. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift.tt/1HmIK...

The internationalisation of green technologies and the realisation of green growth

Carvalho, Maria (2015) The internationalisation of green technologies and the realisation of green growth. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift.tt/1FHYm...

Essays on bicameral coalition formation: dynamics of legislative cooperation in the European Union

Obholzer, Lukas (2014) Essays on bicameral coalition formation: dynamics of legislative cooperation in the European Union. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift.tt/1EnEF...

Our sacred duty: the Soviet Union, the liberation movements in the Portuguese colonies, and the Cold War, 1961-1975

Telepneva, Natalia (2014) Our sacred duty: the Soviet Union, the liberation movements in the Portuguese colonies, and the Cold War, 1961-1975. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift....

Global change and local economic restructuring: the case of Mexico City

Jiménez Godínez, Miguel Ángel (2015) Global change and local economic restructuring: the case of Mexico City. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift.tt/1Q1fJ...

Participation in corporate governance

McGaughey, Ewan (2014) Participation in corporate governance. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift.tt/1Q1fJ...

Actually existing neoliberalism: the reconstruction of downtown Beirut in post-civil war Lebanon

Makarem, Hadi (2014) Actually existing neoliberalism: the reconstruction of downtown Beirut in post-civil war Lebanon. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift.tt/1AoWH...

From No Work to Work? The Role of Job Placement and Skills Training services in assisting unemployment benefit II recipients find work under Germany’s Hartz IV welfare reforms

Brady, Anne (2014) From No Work to Work? The Role of Job Placement and Skills Training services in assisting unemployment benefit II recipients find work under Germany’s Hartz IV welfare reforms. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions....

Who runs the radio commons? The role of strategic associations in governing transnational common pool resources

Iordachescu, Irina (2015) Who runs the radio commons? The role of strategic associations in governing transnational common pool resources. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift.tt/1...

Is empowerment of disadvantaged populations achievable through housing policies? A study of the impact of social housing on the empowerment of the poor in Israel

Doron, Guy (2015) Is empowerment of disadvantaged populations achievable through housing policies? A study of the impact of social housing on the empowerment of the poor in Israel. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results...

To be or to become? An enquiry into the changing nature of requirements in open source health IT

Curto-Millet, Daniel (2014) To be or to become? An enquiry into the changing nature of requirements in open source health IT. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift.tt/1LsOq...

Quantifying environmental indicators and assessing performance in tropical forest management

Collins, Murray (2015) Quantifying environmental indicators and assessing performance in tropical forest management. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift.tt/1LsOn...

Prisoners of war and civilian internees captured by British and Dominion forces from the German colonies during the First World War

Murphy, Mahon (2014) Prisoners of war and civilian internees captured by British and Dominion forces from the German colonies during the First World War. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. ...

States of extraction: impacts of taxation on statebuilding in Angola and Mozambique, 1975-2013

Anderson, Emily (2014) States of extraction: impacts of taxation on statebuilding in Angola and Mozambique, 1975-2013. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift.tt/1c97J...

[hal-01147933] LES EQUATIONS DE DIRAC-EINSTEIN

On veut à partir des équations de Dirac et de Schrödinger , reconstituer les équations d'evolution et d'état de Dirac-Einstein définies sur un fibré des etats quelconque. L' équation de Schrödinger est une équation d'évolution de rang 2 sur le fibré trivial d'espace total Ω × C, et l'equation de Dirac...

Where responsibility lies: corporate social responsibility and campaigns for the rights of workers in a global economy

Timms, Jill (2012) Where responsibility lies: corporate social responsibility and campaigns for the rights of workers in a global economy. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift.tt/1...

A (Truly) Local Broadcast Layer for Unreliable Radio Networks

A (Truly) Local Broadcast Layer for Unreliable Radio Networks Lynch, Nancy; Newport, Calvin In this paper, we implement an efficient local broadcast service for the dual graph model, which describes communication in a radio network with both reliable and unreliable links. Our local broadcast service...

[tel-00683632] Développement de méthodes multi-échelles pour la simulation numérique des écoulements réactifs diphasiques

L'objectif de cette thèse est de développer des méthodes numériques dans un code de simulation numérique direct contenant une méthode de suivi Lagrangien de phase disperse. Ces méthodes numériques ont permis d'optimiser le suivi Lagrangien parallèle des gouttes afin de pouvoir simuler de très grands...

[hal-00976517] 2 – la Modification minimale à apporter à la relativité restreinte pour qu'elle supporte l'expérience d'aller et retour d'un cylindre en rotation

Pour échapper à la contradiction engendrée en relativité restreinte par l'expérience d'aller et retour d'un cylindre élastique en rotation, on montre la nécessité d'ajouter au modèle l'existence d'un espace galiléen particulier, l'espace isotrope local, relativement auquel le Ciel lointain est statistiquement...

Teacher educators in higher education: a study of their practice and contribution during school placement visits

...

[halshs-00183267] La place des principes dans la physique mathématique au sens de Poincaré

Nous nous proposons de tenter de comprendre comment Henri Poincaré, qui était en premier lieu et avant tout mathématicien, s'est trouvé porté vers la théorie physique envisagée comme une élaboration spécifique, qui ne se ramène pas à une simple application des mathématiques. Nous verrons ainsi comment...

Using Songs to Enhance Language Learning and Skills in the Cypriot Primary EFL Classroom

...

[hal-01147933] LES EQUATIONS DE DIRAC-EINSTEIN

On veut à partir des équations de Dirac et de Schrödinger , reconstituer les équations d'evolution et d'état de Dirac-Einstein définies sur un fibré des etats quelconque. L' équation de Schrödinger est une équation d'évolution de rang 2 sur le fibré trivial d'espace total Ω × C, et l'equation de Dirac...

[hal-01114487] Quantification des fibrés des états.

On se propose de quantifier les fibrés hermitiens à fibre séparable. On s'intéresse à la quantification d'un état de l'univers Ω en généralisant l'axiomatique de quantification aux sections du fibrés. Ensuite, on se propose de donner un procédé de quantification, en faisant intervenir l'espace Bose-Fermi-Fock....

Mentoring Student Teachers' Professional Thinking and Classroom Practice on an 11-18 Distance Learning PGCE : A Case Study of Post-16 Teaching and Challenge as a Mentor Strategy

...

[hal-00654931] La Nahe-geometrie comme solution au problème de l'espace

Cette intervention avait pour but de mettre en valeur l'unité de la pensée d'Hermann Weyl dans les années 1917-1923, à propos du concept d'espace. On prend dans cet article "problème de l'espace" au sens de ce qu'Hermann Weyl appelle "problème philosophique de l'espace", par opposition au "problème...

Who cares for our children matters: early maternal employment, early childcare, and child development in Chile

Narea, Marigen (2015) Who cares for our children matters: early maternal employment, early childcare, and child development in Chile. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift.tt/1PoAr...

Non-Essential Communication in Mobile Applications

Non-Essential Communication in Mobile Applications Rubin, Julia; Gordon, Michael I.; Nguyen, Nguyen; Rinard, Martin This paper studies communication patterns in mobile applications. Our analysis shows that 65% of the HTTP, socket, and RPC communication in top-popular Android applications from Google...

Agreements that restrict competition by object under Article 101(1) TFEU: past, present and future

King, Saskia (2015) Agreements that restrict competition by object under Article 101(1) TFEU: past, present and future. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift.tt/1ENC1...

[hal-01147933] LES EQUATIONS DE DIRAC-EINSTEIN

On veut à partir des équations de Dirac et de Schrödinger , reconstituer les équations d'evolution et d'état de Dirac-Einstein définies sur un fibré des etats quelconque. L' équation de Schrödinger est une équation d'évolution de rang 2 sur le fibré trivial d'espace total Ω × C, et l'equation de Dirac...

[halshs-00377077] Henri Poincaré et l'espace-temps conventionnel

Dans les années 1890, Henri Poincaré élabora une doctrine de l'espace selon laquelle la géométrie de l'espace physique est conventionnelle. Suite à la découverte de la théorie de la relativité en 1905, Poincaré a été amené à affirmer la nécessité d'une nouvelle convention, dans laquelle la géométrie...

Markov Chain Hallway and Poisson Forest Environment Generating Distributions

Markov Chain Hallway and Poisson Forest Environment Generating Distributions Richter, Charles; Vega-Brown, William; Roy, Nicholas We document two environment-generating distributions used for sampling random 2D maps. The first generates random hallway environments based on a Markov chain and the second...

Law, state and society in the PRC: a case study of family planning regulations implementation at grassroots level in rural China

Zhang, Zhanwei (2015) Law, state and society in the PRC: a case study of family planning regulations implementation at grassroots level in rural China. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. ht...

Exploring Disciplinary Metadata and Documentation Practices to Support Data Reuse Dataset

Exploring Disciplinary Metadata and Documentation Practices to Support Data Reuse Dataset Rolando, Lizzy; Young, Karen; Frizzell, Matt; Doshi, Ameet; Li, Lisha; Valk, Alison Whether to comply with funding agency requirements or to share freely with others, researchers increasingly deposit data into...

Toward effective health technology regulation

Sorenson, Corinna (2015) Toward effective health technology regulation. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift.tt/1dARr...

Essays in financial economics

Kuong, John (2014) Essays in financial economics. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift.tt/1ApC0...

Exploring Disciplinary Metadata and Documentation Practices to Support Data Reuse Dataset

Exploring Disciplinary Metadata and Documentation Practices to Support Data Reuse Dataset Rolando, Lizzy; Young, Karen; Frizzell, Matt; Doshi, Ameet; Li, Lisha; Valk, Alison Whether to comply with funding agency requirements or to share freely with others, researchers increasingly deposit data into...

The institutionalisation of the European defence equipment market

Muravska, Julia (2014) The institutionalisation of the European defence equipment market. PhD thesis, The London School of Economics and Political Science (LSE). from LSE Theses Online: No conditions. Results ordered -Date Deposited. http://ift.tt/1GMxJ...