Learning Component Interfaces with May and Must Abstractions Rishabh Singh1, , Dimitra Giannakopoulou2 , and Corina P˘ as˘areanu2 1

Source URL: rishabhmit.bitbucket.io

• Computing
• Combinatorics
• Formal languages
• Software engineering
• Character encoding
• String
• Abstraction
• Component-based software engineering

Die Arzt-Patienten Interaktion in der hausärztlichen Betreuung von Asylsuchenden und Flüchtlingen. Projektteam: lic. phil. Corina Salis Gross MitarbeiterInnen:

Source URL: www.anthro.unibe.ch

Ethology RESEARCH PAPER Rook, But Not Jackdaw, Post-Conflict Third-Party Affiliation Reduces Aggression for Aggressors Corina J. Logan, Ljerka Ostojic & Nicola S. Clayton

Source URL: corinalogan.com

Enabling Intelligent Energy Management for Robots using Publicly Available Maps Oliver Bartlett1 , Corina Gurau1 , Letizia Marchegiani1 and Ingmar Posner1 Abstract— Energy consumption represents one of the most basic c

Source URL: www.robots.ox.ac.uk

Reverse-engineering Language: A Study on the Semantic Compositionality of German Compounds Corina Dima Collaborative Research Center 833 University of T¨ubingen, Germany

Source URL: aclweb.org

On the Compositionality and Semantic Interpretation of English Noun Compounds Corina Dima Collaborative Research Center 833 University of T¨ubingen, Germany

Source URL: aclweb.org

THE ARCHITECTURAL HERITAGE OF THE JEWS IN CONSTANŢA Assoc. Prof. Ph. D. Arch. Nicoleta Doina TEODORESCU* Lecturer Ph. Dc. Arch. Corina LUCESCU Abstract The Jews in Constanţa played an active role in the cultural and ec

Source URL: anale-arhitectura.spiruharet.ro

Select Technical Papers from the SAE Commercial Vehicle Engineering Congress Edited by: Kevin Jost, Dr. Corina Sandu, Ryan Gehm This special collection highlights some of the best technical papers that represent the brea

Source URL: www.sae.org

Know Your Limits: Embedding Localiser Performance Models in Teach and Repeat Maps Winston Churchill, Chi Hay Tong, Corina Gur˘au, Ingmar Posner and Paul Newman I. I NTRODUCTION We need robots to be useful over large spa

Source URL: www.robots.ox.ac.uk

From high heels to weed attics: a syntactic investigation of chick lit and literature Kim Jautze* Corina Koolen† Andreas van Cranenburgh*† Hayco de Jong* * Huygens ING † Institute for Logic, Language and Computatio

Source URL: anthology.aclweb.org