Abstract. This work presents a general methodology for verification of the completeness of firstorder unification algorithms à la Robinson developed in the higher-order proof assistant PVS. The methodology is based on a previously developed formalization of the theorem of existence of most general

doi:10.3233/978-1-61499-098-7-103

Anne SABOURIN Mélanges bayésiens de modèles d'extrêmes multivariés, Application à la prédétermination régionale des crues avec données incomplètes. Sous la direction de:

of con-cepts. This main goal is motivated by the basic fact, constituting also the main problem of KDD, that languages we may choose for knowledge description are incomplete. A fortiori, we have to describe concepts of interest (features, proper-ties, relations etc.) not completely but by means

Commutative, idempotent groupoids and the

Sujet de la thèse: Dynamique quantique hors-équilibre et systèmes désordonnés pour des atomes ultrafroids bosoniques présentée par Bruno Sciolla pour obtenir le grade de Docteur de l’Université Paris-sud 11 Directeur de thèse: Henri Orland Thèse préparée sous la direction de Giulio Biroli

Cette thèse est consacrée à l’étude de la transition liquide/solide amorphe. Cette transition se retrouve dans des systèmes thermiques (par exemple dans les verres moléculaires) ou athermiques (avec entre autres les milieux granulaires), à l’équilibre thermodynamique ou hors équilibre. Nous

pluridisciplinaire HAL, est destinée au dépôt et a ̀ la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

. We develop a new theoretical framework to analyze this extreme case and develop new algorithms for signal reconstruction from such coarsely quantized measurements. The 1-bit CS framework leads us to scenarios where it may be more appropriate to reduce bit-depth instead of sampling rate. We find

Public reporting burden for the collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comments