Neuro-fuzzyIn the field of artificial intelligence, the designation neuro-fuzzy refers to combinations of artificial neural networks and fuzzy logic. Neuro-fuzzy hybridization results in a hybrid intelligent system that combines the human-like reasoning style of fuzzy systems with the learning and connectionist structure of neural networks. Neuro-fuzzy hybridization is widely termed as fuzzy neural network (FNN) or neuro-fuzzy system (NFS) in the literature.
Signalisation (télécommunication)En télécommunication, la signalisation peut désigner : l'utilisation de signaux pour contrôler des communications L'échange d'information permettant l'établissement et le contrôle d'un circuit de télécommunication et la gestion du réseau, en opposition avec le transfert de données utilisateurs. L'envoi d'un signal par une terminaison en émission d'un circuit de télécommunication pour informer un utilisateur situé sur la terminaison en réception qu'un message doit être envoyé.
Signalisation en cabineLa signalisation en cabine ou de cabine consiste à afficher les informations habituellement données par la signalisation latérale directement en cabine. Ceci est devenu nécessaire avec l'avènement des trains à grande vitesse, ouvrant des vitesses commerciales très élevées : le temps de présence d'un signal dans le champ de vision du conducteur est considéré comme insuffisant, aux vitesses supérieures à 160 km/h, pour avoir l'assurance qu'il soit vu et correctement interprété.
Prover9Prover9 is an automated theorem prover for first-order and equational logic developed by William McCune. Prover9 is the successor of the Otter theorem prover also developed by William McCune. Prover9 is noted for producing relatively readable proofs and having a powerful hints strategy. Prover9 is intentionally paired with Mace4, which searches for finite models and counterexamples. Both can be run simultaneously from the same input, with Prover9 attempting to find a proof, while Mace4 attempts to find a (disproving) counter-example.
Fonction caractéristique (théorie des ensembles)En mathématiques, une fonction caractéristique, ou fonction indicatrice, est une fonction définie sur un ensemble E qui explicite l’appartenance ou non à un sous-ensemble F de E de tout élément de E. Formellement, la fonction caractéristique d’un sous-ensemble F d’un ensemble E est une fonction : D'autres notations souvent employées pour la fonction caractéristique de F sont 1 et 1, voire I (i majuscule). Le terme de fonction indicatrice est parfois utilisé pour fonction caractéristique.
Wind-powered vehicleWind-powered vehicles derive their power from sails, kites or rotors and ride on wheels—which may be linked to a wind-powered rotor—or runners. Whether powered by sail, kite or rotor, these vehicles share a common trait: As the vehicle increases in speed, the advancing airfoil encounters an increasing apparent wind at an angle of attack that is increasingly smaller. At the same time, such vehicles are subject to relatively low forward resistance, compared with traditional sailing craft.
Vampire (theorem prover)Vampire is an automatic theorem prover for first-order classical logic developed in the Department of Computer Science at the University of Manchester. Up to Version 3, it was developed by Andrei Voronkov together with Kryštof Hoder and previously with Alexandre Riazanov. Since Version 4, the development has involved a wider international team including Laura Kovacs, Giles Reger, and Martin Suda. Since 1999 it has won at least 53 trophies in the CADE ATP System Competition, the "world cup for theorem provers", including the most prestigious FOF division and the theory-reasoning TFA division.
