Concept

Logique floue

Publications associées (124)

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

Realistic modeling of spectator behavior for soccer videogames with CUDA

Eray Molla

Soccer has always been one of the most popular videogame genres. When designing a soccer game, designers tend to focus on the game field and game play due to the limited computational resources, and thus the modelling of virtual spectators is paid less att ...

2011

A collaborative demand forecasting process with event-based fuzzy judgements

Philippe Wieser, Naoufel Cheikhrouhou, Omar Ayadi

Mathematical forecasting approaches can lead to reliable demand forecast in some environments by extrapolating regular patterns in time-series. However, unpredictable events that do not appear in historical data can reduce the usefulness of mathematical fo ...

Elsevier2011

An Interactive Performance-Based Expert System for Daylighting Design

Marilyne Andersen

Architects are increasingly using digital tools during the design process, particularly as they approach complex problems such as designing for successful daylighting performance. However, while simulation tools may provide the designer with valuable infor ...

2011

Building a Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Techniques such as verification condition generation, predicate abstraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Programs and their specifications often make use of data structures such as sets ...

Springer2010

Power Consumption of Logic Circuits in Ambipolar Carbon Nanotube Technology

Giovanni De Micheli, Mohamed Haykel Ben Jamaa

Ambipolar devices have been reported in many technologies, including carbon nanotube field effect transistors (CNTFETs). The ambipolarity can be in-field controlled with a second gate, enabling the design of generalized logic gates with a high expressive p ...

2010

Ordered Sets in the Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints with a rich set of operations. A key challenge is to define such classes of ...

Springer2010

Lukasiewicz fuzzy logic networks and their ultra low power hardware implementation

Rafal Tomasz Dlugosz

In this paper, we propose a new category of current-mode Łukasiewicz OR and AND logic neurons and ensuing logic networks along with their ultra-low power realization. The introduced circuits can operate in a wide range of the input signals varying in-betwe ...

Elsevier2010

Strategy logic

We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properties of nonzero-sum games in a simple and natural way. We show that the one-alt ...

2010

Novel computational methods for fatig life modeling of composite materials

Anastasios Vassilopoulos

Novel computational methods such as artificial neural networks, adaptive neuro-fuzzy inference systems and genetic programming are used in this chapter for the modeling of the nonlinear behavior of composite laminates subjected to constant amplitude loadin ...

Woodhead Publishing2010

Ordered Sets in the Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2010