Concept

Induction (logique)

Publications associées (116)

Overcoming perceptual features in logical reasoning: an event-related potentials study

It is more difficult for reasoners to detect that the letter-number pair H7 verifies the conditional rule If there is not a T then there is not a 4 than to detect that it verifies the rule If there is an H then there is a 7. In prior work [Prado, J., & Nov ...

Elsevier2008

Fractional Collections with Cardinality Bounds, and Mixed Integer Linear Arithmetic with Stars

Viktor Kuncak, Ruzica Piskac

We present decision procedures for logical constraints that support reasoning about collections of elements such as sets, multisets, and fuzzy sets. Element membership in such collections is given by a characteristic function from a finite universe (of unk ...

2008

Improvement of power efficiency of inductive links for implantable devices

Catherine Dehollain, Michel Declercq, Kanber Mithat Silay

This paper presents the analysis of inductive links for remote powering of implantable devices and a method to improve the power link efficiency by modifying the geometrical parameters of planar spiral inductors. The analysis of the inductive links include ...

2008

Upper critical fields well above 100 T for the superconductor SmFeAsO0.85F0.15 with T-c=46 K

Marco Cantoni

We report specific-heat measurements at magnetic fields up to 20 T on the recently discovered superconductor SmFeAsO0.85F0.15. The B-T diagram of a polycrystalline SmFeAsO0.85F0.15 sample with T-c=46 K was investigated. The temperature dependence of B-c2 w ...

2008

Orthogonally oriented coils for minimization of cross-coupling in cortical implants

Catherine Dehollain, Michel Declercq, Kanber Mithat Silay

This article presents the design of the inductive links of remotely powered wireless cortical implants for minimum interference from the power link to the data link. This interference is minimized by changing the orientation of the inductors. Different ori ...

2008

A hybrid of inference and local search for distributed combinatorial optimization

Boi Faltings, Adrian Petcu

We present a new hybrid algorithm for local search in distributed combinatorial optimization. This method is a mix between classical local search methods in which nodes take decisions based only on local information, and full inference methods that guarant ...

Ieee Computer Soc Press, Customer Service Center, Po Box 3014, 10662 Los Vaqueros Circle, Los Alamitos, Ca 90720-1264 Usa2007

Refinement Propagation. Towards Automated Construction of Visual Specifications.

Alain Wegmann, Irina Rychkova

Creation and transformation of visual specifications is driven by modeler’s design decisions. After a design decision has been made, the modeler needs to adjust the specification to maintain its correctness. The number of adjustments might make the design ...

2007

Overcoming Incomplete User Models in Recommendation Systems Via an Ontology

Boi Faltings, Vincent Jean Fabrice Schickel

To make accurate recommendations, recommendation systems currently require more data about a customer than is usually available. We conjecture that the weaknesses are due to a lack of inductive bias in the learning methods used to build the prediction mode ...

Springer2006

A Discriminative Approach for the Retrieval of Images from Text Queries

Samy Bengio, David Grangier, Florent Monay Michaud

This work proposes a new approach to the retrieval of images from text queries. Contrasting with previous work, this method relies on a discriminative approach: the parameters are selected in order to minimize a loss related to the ranking performance of t ...

IDIAP2006

A Discriminative Approach for the Retrieval of Images from Text Queries

Samy Bengio, David Grangier, Florent Monay Michaud

This work proposes a new approach to the retrieval of images from text queries. Contrasting with previous work, this method relies on a discriminative model: the parameters are selected in order to minimize a loss related to the ranking performance of the ...

2006

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search