LIX - PDFSEARCH.IO - Document Search Engine

LIX
Results: 507

#	Item
151	CONVERGENT PRESENTATIONS OF MONOIDAL Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2017-07-06 09:47:14
152	On the Value of Variables Beniamino Accattolia , Claudio Sacerdoti Coenb ´ INRIA, UMR 7161, LIX, Ecole Polytechnique Department of Computer Science and Engineering, University of Bologna Add to Reading List Source URL: www.cs.unibo.it - Date: 2018-02-06 07:45:55
153	Loss Factorization, Weakly Supervised Learning and Label Noise Robustness Giorgio Patrini1,2 GIORGIO . PATRINI @ ANU . EDU . AU Frank Nielsen3,4 NIELSEN @ LIX . POLYTECHNIQUE . FR Add to Reading List Source URL: giorgiop.github.io - Date: 2018-03-21 18:13:45
154	Intuitionistic modal logic in indexed nested sequents Sonia Marin and Lutz Straßburger ´ LIX, Inria, Ecole Polytechnique Add to Reading List Source URL: anupamdas.com - Date: 2017-08-04 11:45:45
155	REDO — Redesigning Logical Syntax • What is it about ? Proofs are everywhere! — We are trying to improve them. • What is the problem ? Remove bureaucracy but keep the computational content. Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2009-09-30 09:10:43
156	Spatial and Epistemic Modalities in Constraint-Based Process Calculi Sophia Knight2 , Catuscia Palamidessi2 , Prakash Panangaden3 , Frank D. Valencia1 ´ CNRS and LIX Ecole Polytechnique de Paris Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2012-06-17 17:48:04
157	HTTP Adap)ve Streaming in prac)ce Mark Watson (with thanks to the Ne@lix adapEve streaming team!) ACM MMSys 2011 – 22-‐24 February Add to Reading List Source URL: web.cs.wpi.edu - Date: 2011-03-09 10:40:52
158	The Ne&lix Impact: TV Everywhere and the Evolu;on of Video Distribu;on Bre$ Glass, CEO, LARIAT May 9th, Content Delivery Summit 2011 Add to Reading List Source URL: conferences.infotoday.com - Date: 2011-05-17 15:24:29
159	K-Stores A Spatial and Epistemic Concurrent Constraint Interpreter Andr´es F. Barco S. AVISPA Research Group Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2013-04-17 09:16:16
160	A framework for proof certificates in finite state exploration Quentin Heath and Dale Miller Inria Saclay–ˆIle-de-France ´ LIX, Ecole Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2015-06-25 16:48:44

UPDATE