Actualités du LIPN

[LIPN] [CNRS] [Université Paris 13]

To content | To menu | To search

Past posts

Monday 16 November 2009

A Relational Model of Lambda Calculus, and Beyond (recent developments)

en 

For this first meeting of the new season of the GdT "Logique et Programmation" we will have Giulio Manzonetto (LIPN).

In this talk, we build a categorical model D of lambda calculus living in a category of sets and relations (relational semantics).

We will characterize the equational theory of this model, and show that it satisfies interesting algebraic properties that make it suitable for dealing with non-deterministic and parallel extensions of lambda calculus.

Unlike most traditional approaches, our way of interpreting non-determinism does not require any additional powerdomain construction: we show that our model provides a straightforward semantics of non-determinism (may convergence) by means of `unions' of interpretations as well as of `parallelism' (must convergence) by means of a binary, non-idempotent, operation available on the model, which is related to MIX rule of Linear Logic.

We describe the interpretation of this parallel and non-deterministic calculus in our model and show that this interpretation is sensible with respect to our operational semantics: a term converges if, and only if, it has a non-empty interpretation.

If time permits, we will sketch an interpretation of the resource lambda calculus in D.

Tuesday 7 July 2009

Learning, Transferring and Adapting Distance Measures for Quantitative Structure-Activity Relationships

en 

Quantitative structure-activity relationships (QSARs) are regression models relating chemical structure to biological activity, allowing to make predictions for toxicologically or pharmacologically relevant endpoints, which constitute the target outcomes of trials or experiments. The task is often tackled by instance-based methods (like k-Nearest
Neighbors), which are all based on the notion of chemical (dis-)similarity. Clearly, it would be desirable to determine for a given QSAR dataset, a priori, a suitable distance measure. Our starting point is the observation by Raymond and Willett that the two big families of chemical distance measures, finger-print based and maximum common subgaph based measures, provide orthogonal information about chemical (dis-)similarity. We define a simple new distance measure weighting representatives of the two families, propose an optimization scheme for learning optimal weights for those measures combined, and investigate the transfer and adaptation of the weights from one problem to another, related problem with a similar or identical endpoint. Our experiments suggest that learning distance measures for QSAR (here formally defined as regression on molecular graphs) is feasible, and that the success of transferring and adapting such distance measures depends, amongst others, on training set size.

Tuesday 24 March 2009

(CANCELED for strike reasons) Une heuristique efficace pour l'ordonnancement périodique de tâches avec contraintes de stockage

fr en 

The "séminaire OCAD" receives Karine Deschinkel (Laboratoire PRiSM,Université de Versailles).

Cet article traite du problème d'optimisation du besoin en stockage dans les graphes de tâches périodiques. En pratique, notre problème tend à minimiser le besoin en registres dans les programmes embarqués, où les instructions d'une boucle sont représentées par un graphe de dépendances de données cyclique (GDD).

Le problème d'ordonnancement périodique de tâches (instructions) cycliques avec minimisation du nombre de registres, dans sa forme la plus générale, peut se formuler sous forme d'un programme linéaire en nombre entiers où les variables de décision sont les dates de début de chacune des tâches, des variables binaires indiquant une réutilisation ou non de registres entre deux tâches (non nécessairement distinctes), et les distances de réutilisation. Ce problème étant NP-complet , une résolution exacte s'avère trop coûteuse en pratique.

Ici, nous avons exploité le fait que le problème en question fait apparaître un problème sous-jacent d'affectation pour lequel nous connaissons un algorithme en temps polynomial (méthode Hongroise) pour proposer une heuristique appropriée appelée SIRALINA. Cette heuristique très satisfaisante est en train d'être incluse dans un compilateur pour l'embarqué chez STMicroelectronics.

Monday 24 November 2008

Groupe de travail "Logique et Programmation": Amir Ben-Amram

en 

The next meeting of the GdT "Logique et Programmation" will take place on

   Monday, 24 November 2008,
   at 1:30 pm, in room B311.

We will listen to a talk given by Amir Ben-Amram, invited researcher from the School of Computer Science at the Academic College of Tel-Aviv Yaffo, who will tell us about his latest ideas regarding size-change termination.

Thursday 16 October 2008

Thèse d'Amanda Bouffier

fr en 

I am delighted to invite you to my PhD titled "Analyse discursive automatique de textes. Application à la modélisation de connaissances".

It will take place on 2008-10-16 at 2pm, room B311 of the LIPN.

The jury will be composed of:

  • Mme Marie-Paule Pery-Woodley, professeur, ERSS, université de Toulouse Le Mirail, rapporteur
  • M. Patrice Enjalbert, professeur, GREYC, université de Caen, rapporteur
  • M. Jean-Pierre Desclés, professeur, LALIC, université Paris IV, examinateur
  • M. Alain Venot, professeur, LIM & BIO, université Paris XIII, examinateur
  • M. Daniel Kayser, professeur, LIPN, université Paris XIII, directeur de thèse
  • M. Thierry Poibeau, chargé de recherche CNRS, LIPN, université Paris XIII, encadrant de thèse

Continue reading...

Thursday 18 September 2008

Self-Organizing Map with False-Neighbor Degree and its Behaviors

en 

In the real world, it is not always true that neighboring houses are physically adjacent or close to each other. In other words, ``neighbors'' are not always ``true neighbors''. I will talk about a new proposed Self-Organizing Map (SOM) algorithm, SOM with False-Neighbor degree between neurons (called FN-SOM). The behavior of FN-SOM is investigated with learning for various input data. I will explain that FN-SOM can obtain a more effective map reflecting the distribution state of input data than the conventional SOM and Growing Grid.

Thursday 3 July 2008

Bolasso: Model Consistent Lasso Estimation through the Bootstrap

en 
We consider the least-square linear regression problem with regularization by the L1-norm, a problem usually referred to as the Lasso. In this paper, we present a detailed asymptotic analysis of model consistency of the Lasso. For various decays of the regularization parameter, we compute asymptotic equivalents of the probability of correct model selection (i.e., variable selection). For a specific rate decay, we show that the Lasso selects all the variables that should enter the model with probability tending to one exponentially fast, while it selects all other variables with strictly positive probability. We show that this property implies that if we run the Lasso for several bootstrapped replications of a given sample, then intersecting the supports of the Lasso bootstrap estimates leads to consistent model selection. This novel variable selection algorithm, referred to as the Bolasso, is compared favorably to other linear regression methods on synthetic data and datasets from the UCI machine learning repository.

Tuesday 20 May 2008

Distances and Kernels: Machine Learning Concepts for Structured Data in Computational Biology

en 

Distances and kernels have become essential concepts for machine learning applications in computational biology. The talk will focus on their theoretical foundations, clarifies the relationship between the concepts, presents advantages and disadvantages, and gives hints for the derivation of new distance measures and kernels as well as for their application. The focus of the talk will be on distances and kernels for structured data, in particular, sets, sequences, and graphs.


Pour le connaître : http://wwwkramer.in.tum.de/kramer/stefan.html

Tuesday 19 February 2008

Counting occurrence of words in random texts

en 

Le séminaire OCAD accueille Pierre Nicodème (chargé de recherche CNRS, École polytechnique)

We consider random texts generated by a Bernoulli source. We want to count simultaneously the number of occurrences of words within a finite set of words in a random text of size n. The use of generating functions permits to construct a multivariate function counting the occurrences in texts of all size from 0 to infinity. From there several techniques give access to texts of size n. We compute the multivariate generating function:

  1. by the very elegant analytic inclusion-exclusion method that resorts to combinatorics.
  2. by constructing the Aho-Corasick automaton recognizing the words, and translating later to generating functions. We compare the complexity of these two methods.

This is a joint work with F. Bassino, J. Clément and J. Fayolle.

Monday 11 February 2008

Workshop on Implicit Computational Complexity

en 

Implicit Computational Complexity

Implicit Computational Complexity (ICC) has emerged from various propositions to use logic and formal methods like types, rewriting systems, interpretations... to provide languages for complexity-bounded computation, in particular for polynomial time computing.

It aims at studying the computational complexity of programs without refering to a particular machine model and explicit bounds on time or memory, but instead by relying on programming or logical disciplines that imply complexity properties. Several approaches have been explored for that purpose, like restrictions on primitive recursion, lambda calculus, types, linear logic, rewriting systems .... They originally mostly came from the functional programming paradigm, but imperative programming is now also addressed. Two objectives of ICC are:

  • on the one hand to find natural implicit logical characterizations of functions of various complexity classes,
  • on the other hand to design criteria usable for the static verification of programs complexity. In particular the latter goal requires characterizations which are flexible enough to validate commonly used algorithms.

Finding out more

The home page of this workshop supported by the NO-CoST ANR project is online.

- page 1 of 2