Lower bounds for polynomial kernelization Michal Pilipczuk Institute of Informatics, University of Warsaw, Poland Parameterized Complexity Summer School

Source URL: algo2017.ac.tuwien.ac.at

C:/michal/tex/pennon/paper.dvi

Source URL: web.mat.bham.ac.uk

ACADEMIC sketch - in Brief name position title Michal Linial Associate Professor

Source URL: www.ls.huji.ac.il

Mathematical Programming manuscript No. (will be inserted by the editor) Michal Koˇcvara · Michael Stingl Erratum: On the solution of large-scale SDP problems

Source URL: web.mat.bham.ac.uk

Smart community – - wykorzystanie przez gminę potencjału Smart Grids dr inż. Tomasz Kowalak ‐ Dyrektor Departamentu Taryf Michał Konieczko – Departament Taryf

Source URL: ise.ure.gov.pl

Výsledky krajského kola 64. ročníku Matematické olympiády kategorie P Středočeský kraj Pořadí Jméno 1. Michal Töpfer Pavel Turinský

Source URL: mo.mff.cuni.cz

EARSeL SIG Urban Remote Sensing 1 SEMI-AUTOMATIC HYPERSPECTRAL IMAGE CLASSIFICATION OF URBAN AREAS USING LOGISTIC REGRESSION Dirk Borghys, Michal Shimoni and Christiaan Perneel

Source URL: www.sic.rma.ac.be

Estudio sobre legislación de cambio climático 2015 Informe sobre la legislación de cambio climático en 99 países Resumen para responsables políticos Michal Nachmany, Sam Fankhauser, Terry Townshend, Jana Davidová,

Source URL: www.lse.ac.uk

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System Burke Fetscher1 , Koen Claessen2 , Michał Pałka2 , John Hughes2 , and Robert Bruce Findler1 1

Source URL: www.eecs.northwestern.edu

• Programming paradigms
• Software engineering
• Logic programming
• Linguistics
• Theoretical computer science
• Constraint programming
• Constraint logic programming
• Systemic functional linguistics
• Metafunction
• Lambda calculus
• Constraint satisfaction
• Concurrent constraint logic programming