Drop Down MenusCSS Drop Down MenuPure CSS Dropdown Menu

mardi 28 août 2018

Using Active Learning to Synthesize Models of Applications That Access Databases

Using Active Learning to Synthesize Models of Applications That Access Databases Shen, Jiasi; Rinard, Martin We present a new technique that uses active learning to infer models of applications that manipulate relational databases. This technique comprises a domain-specific language for modeling applications that access databases (each model is a program in this language) and an associated inference algorithm that infers models of applications whose behavior can be expressed in this language. The inference algorithm generates test inputs and database configurations, runs the application, then observes the resulting database traffic and outputs to progressively refine its current model hypothesis. The end result is a model that completely captures the behavior of the application. Because the technique works only with the externally observable inputs, outputs, and databases, it can infer the behavior of applications written in arbitrary languages using arbitrary coding styles (as long as the behavior of the application is expressible in the domain-specific language). We also present a technique for automatically regenerating an implementation from the inferred model. The regenerator can produce a translated implementation in a different language and systematically include relevant security and error checks.

from Computer Science and Artificial Intelligence Lab (CSAIL) https://ift.tt/2PJxHVH

samedi 25 août 2018

Analyse critique des strategies de reinsertion des enfants sortis des forces et groupes armes developpees par les agences de protection de l?enfance dans la cite d'Uvira cas de l'ajedi-ka

par Abwe BYAOMBE BYAMUNGU Bd Institut Supérieur de Développement Rural. ISDR BUKAVU 2015

from Memoire Online https://ift.tt/1NiT8q3

vendredi 24 août 2018

Competencies, activity analysis and occupational training: an innovative approach with full-scale simulators in high risk industries

Fauquet-Alekhine, Philippe (2017) Competencies, activity analysis and occupational training: an innovative approach with full-scale simulators in high risk industries. PhD thesis, London School of Economics and Political Science (United Kingdom).

from LSE Theses Online: No conditions. Results ordered -Date Deposited. https://ift.tt/2PB4hc5

The organisation of work and wages in the London building trades in the long eighteenth century

Stephenson, Judy (2015) The organisation of work and wages in the London building trades in the long eighteenth century. PhD thesis, London School of Economics and Political Science (United Kingdom).

from LSE Theses Online: No conditions. Results ordered -Date Deposited. https://ift.tt/2wlyP97

Improving the quality of residential care for older people: a study of government approaches in England and Australia

Trigg, Lisa (2018) Improving the quality of residential care for older people: a study of government approaches in England and Australia. PhD thesis, London School of Economics and Political Science (United Kingdom).

from LSE Theses Online: No conditions. Results ordered -Date Deposited. https://ift.tt/2Nbl8Rd

Mean-variance optimal portfolios for Lévy processes and a singular stochastic control model for capacity expansion

Pasos, Jose E. (2018) Mean-variance optimal portfolios for Lévy processes and a singular stochastic control model for capacity expansion. PhD thesis, London School of Economics and Political Science (United Kingdom).

from LSE Theses Online: No conditions. Results ordered -Date Deposited. https://ift.tt/2NgYpn4

Murky waters: infrastructure, informality and reform in Delhi

Birkinshaw, Matt (2017) Murky waters: infrastructure, informality and reform in Delhi. PhD thesis, London School of Economics and Political Science (United Kingdom).

from LSE Theses Online: No conditions. Results ordered -Date Deposited. https://ift.tt/2MH78lt

mercredi 22 août 2018

Essays on peer effects in social groups and information misperception

Staab, Manuel (2018) Essays on peer effects in social groups and information misperception. PhD thesis, London School of Economics and Political Science (United Kingdom).

from LSE Theses Online: No conditions. Results ordered -Date Deposited. https://ift.tt/2MOjUPa

mercredi 15 août 2018

The long-term economic impact of migration and its significance for US prosperity

von Berlepsch, Viola Konstanze Sitta Freiin (2018) The long-term economic impact of migration and its significance for US prosperity. PhD thesis, London School of Economics and Political Science (United Kingdom).

from LSE Theses Online: No conditions. Results ordered -Date Deposited. https://ift.tt/2KPdeet

Essays at the intersection of taxation and financial accounting

Brown, Rodney John (2018) Essays at the intersection of taxation and financial accounting. PhD thesis, London School of Economics and Political Science (United Kingdom).

from LSE Theses Online: No conditions. Results ordered -Date Deposited. https://ift.tt/2Pd45jo

The societal costs of Anorexia nervosa in England: an investigation into the direct, indirect and intangible costs with particular regard to the role of outpatient services.

Bonin, Eva-Maria (2017) The societal costs of Anorexia nervosa in England: an investigation into the direct, indirect and intangible costs with particular regard to the role of outpatient services. PhD thesis, London School of Economics and Political Science (United Kingdom).

from LSE Theses Online: No conditions. Results ordered -Date Deposited. https://ift.tt/2vMbuhf

Broken promises: the politics of lax enforcement of tax laws in Egypt

Schmoll, Moritz (2017) Broken promises: the politics of lax enforcement of tax laws in Egypt. PhD thesis, London School of Economics and Political Science (United Kingdom).

from LSE Theses Online: No conditions. Results ordered -Date Deposited. https://ift.tt/2KTAtE4

mercredi 8 août 2018

Experiments in behavioural environmental economics

Shreedhar, Ganga (2018) Experiments in behavioural environmental economics. PhD thesis, The London School of Economics and Political Science (LSE).

from LSE Theses Online: No conditions. Results ordered -Date Deposited. https://ift.tt/2ASAkRJ

Fifteen stories: litigants in person in the civil justice sytem

Leader, Kathryn (2017) Fifteen stories: litigants in person in the civil justice sytem. PhD thesis, The London School of Economics and Political Science (LSE).

from LSE Theses Online: No conditions. Results ordered -Date Deposited. https://ift.tt/2vsPtnD

Essays on institutions and economic performance

Liang, Yan (2018) Essays on institutions and economic performance. PhD thesis, The London School of Economics and Political Science (LSE).

from LSE Theses Online: No conditions. Results ordered -Date Deposited. https://ift.tt/2ATkN42

Essays on microeconomic theory

Tokis, Konstantinos (2018) Essays on microeconomic theory. PhD thesis, The London School of Economics and Political Science (LSE).

from LSE Theses Online: No conditions. Results ordered -Date Deposited. https://ift.tt/2OV3NgX

 

Blogger news

Blogroll

Fourni par Blogger.