Andr

Results: 535



#Item
511Boolean algebra / NP-complete problems / Logic in computer science / Electronic design automation / Formal methods / Boolean satisfiability problem / True quantified Boolean formula / Interpretation / Constraint satisfaction problem / Theoretical computer science / Computational complexity theory / Applied mathematics

A Generalization of SAT and #SAT for Robust Policy Evaluation∗ Erik Zawadzki Andr´e Platzer Geoffrey J. Gordon

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2013-11-06 19:31:44
512Propositional calculus / Formal languages / Model theory / Formation rule / Logical truth / Symbol / Constructible universe / First-order logic / Dynamical system / Logic / Mathematical logic / Predicate logic

c 2012 IEEE[removed]27th Annual ACM/IEEE Symposium on Logic in Computer Science Logics of Dynamical Systems (Invited Paper) Andr´e Platzer

Add to Reading List

Source URL: symbolaris.com

Language: English - Date: 2014-06-17 15:56:34
513Science and technology in Europe / INAF / European Southern Observatory / Joint Institute for VLBI in Europe / ASTRON / UK Astronomy Technology Centre / Lars Lindberg Christensen / Astronomy / Science / Research

THE EUROPEAN WEEK OF ASTRONOMY AND SPACE SCIENCE List of Participants, Affiliations and emails Edited by Andr´e Moitinho, Vladan Arsenijevic, Eduardo Amˆores

Add to Reading List

Source URL: www.jenam2010.org

Language: English - Date: 2010-11-24 08:09:30
514Space / International Year of Astronomy / European Southern Observatory / Galaxy / S10 / Radio astronomy / S6 / Astrophysics / Astronomy / Science / Observational astronomy

THE EUROPEAN WEEK OF ASTRONOMY AND SPACE SCIENCE Programme Edited by Andr´e Moitinho, Eduardo Amˆores, Vladan Arsenijevic, Joana Ascenso

Add to Reading List

Source URL: www.jenam2010.org

Language: English - Date: 2010-09-16 18:27:56
515Science / Multivariate statistics / Data mining / Machine learning / Natural language processing / Cluster analysis / Tf*idf / Hierarchical clustering / Latent semantic indexing / Statistics / Information science / Information retrieval

Community Clustering: Leveraging an Academic Crowd to Form Coherent Conference Sessions Paul Andr´e,∗ Haoqi Zhang,† Juho Kim,‡ Lydia Chilton,§ Steven P. Dow,∗ and Robert C. Miller‡ ∗ Carnegie Mellon

Add to Reading List

Source URL: paul.is

Language: English - Date: 2013-10-14 05:41:03
516

HFD 2013 ref 79 Uthyrning av lokaler avsedda att användas som boenderum i gruppbostad (I) och i vårdboende (II) har ansetts avse stadigvarande bostad. Förhandsbesked angående mervärdesskatt. Lagrum: 3 kap. 3 § andr

Add to Reading List

Source URL: www.hogstaforvaltningsdomstolen.se

Language: Swedish - Date: 2014-02-06 06:58:16
    517VM / X Window System / Virtual machine / Operating system / Windows / Xen / System software / Software / Live migration

    Interactive Resource-Intensive Applications Made Easy H. Andr´es Lagar-Cavilla1 , Niraj Tolia2 , Eyal de Lara1 , M. Satyanarayanan2, and David O’Hallaron2 2 1

    Add to Reading List

    Source URL: www.cs.cmu.edu

    Language: English - Date: 2007-09-27 07:03:13
    518OpenGL / Virtual reality / Virtual machines / 3D computer graphics / Application programming interfaces / VMGL / GLX / Xen / Paravirtualization / Software / System software / Computing

    VMM-Independent Graphics Acceleration ∗ H. Andr´es Lagar-Cavilla Niraj Tolia University of Toronto

    Add to Reading List

    Source URL: www.cs.cmu.edu

    Language: English - Date: 2007-04-03 17:23:42
    519Virtual machines / Remote desktop / Hyper-V / Desktop virtualization / Hypervisor / VM / Xen / Server / System software / Software / Live migration

    Jettison: Efficient Idle Desktop Consolidation with Partial VM Migration Nilton Bila† , Eyal de Lara† , Kaustubh Joshi× , H. Andr´es Lagar-Cavilla ∗ , Matti Hiltunen× and Mahadev Satyanarayanan‡ † Universit

    Add to Reading List

    Source URL: www.cs.cmu.edu

    Language: English - Date: 2012-05-30 14:55:34
    520Information technology / Competitiveness / European Union / Technology / Europe / Political philosophy / E-Skills Week / Communication / Educational technology / Information and communication technologies in education

    Andr Richier is Principal Administrator at the European Commission in Brussels within the Directorate General Enterprise and Industry (Key Enabling Technologies and Digital Economy Unit)

    Add to Reading List

    Source URL: www.eden-online.org

    Language: English - Date: 2014-06-01 00:34:22
    UPDATE