Interactive Synthesis using Free-Form Queries Tihomir Gvero and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Email:

Source URL: lara.epfl.ch

Synthesis of Fixed-Point Programs Eva Darulova EPFL Rupak Majumdar

Source URL: lara.epfl.ch

Lara Gularte Fisher Man at Eagle Lake, California Up to his thighs, he pulls fish from the dark lake, brings them to the light to die,

Source URL: www.hevanet.com

Counter-Example Complete Verification for Higher-Order Functions Nicolas Voirol Etienne Kneuss

Source URL: lara.epfl.ch

Sound Compilation of Reals Eva Darulova Viktor Kuncak EPFL

Source URL: lara.epfl.ch

Giving Leads to Happiness in Young Children Lara B. Aknin*, J. Kiley Hamlin, Elizabeth W. Dunn Psychology Department, University of British Columbia, Vancouver, British Columbia, Canada Abstract Evolutionary models of co

Source URL: dunn.psych.ubc.ca

• Behavioural sciences
• Psychology
• Behavior
• Interpersonal relationships
• Emotions
• Virtue
• Prosocial behavior
• Social psychology
• Behaviorism
• Parenting
• Sympathy
• Positive psychology

Jag kan vad jag har fått lära! (Saga från Danmark) Det var en gång en man och kvinna som hade tre döttrar. Döttrarna var alla tre gifta med troll som

Source URL: www.ungafakta.se

Mindfulness - seminarium och prova på - konsten att leva här och nu Mindfulness handlar om att vara medvetet närvarande i nuet och med nyfikenhet och acceptans, lära känna sig själv. Mindfulness har på senare tid

Source URL: www.ugglapraktiken.se

Journal ofhttp://hpq.sagepub.com/ Health Psychology On the Costs of Self-interested Economic Behavior : How Does Stinginess Get Under the Skin? Elizabeth W. Dunn, Claire E. Ashton-James, Margaret D. Hanson and Lara B. Ak

Source URL: dunn.psych.ubc.ca

Asymmetric Processing of Consonant Duration in Swiss German Lara Ehrenhofer (University of Maryland, College Park), Adam C. Roberts (Nanyang Technical University), Allison Wetterlin (University of Oxford/University of Ag

Source URL: pj.ninjal.ac.jp