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.
Signaling (telecommunications)In telecommunication, signaling is the use of signals for controlling communications. This may constitute an information exchange concerning the establishment and control of a telecommunication circuit and the management of the network. Signaling systems may be classified based on several principal characteristics. In the public switched telephone network (PSTN), in-band signaling is the exchange of call control information within the same physical channel, or within the same frequency band, that the telephone call itself is using.
Cab signallingCab signaling is a railway safety system that communicates track status and condition information to the cab, crew compartment or driver's compartment of a locomotive, railcar or multiple unit. The information is continually updated giving an easy to read display to the train driver or engine driver. The simplest systems display the trackside signal, while more sophisticated systems also display allowable speed, location of nearby trains, and dynamic information about the track ahead.
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.
Indicator functionIn mathematics, an indicator function or a characteristic function of a subset of a set is a function that maps elements of the subset to one, and all other elements to zero. That is, if A is a subset of some set X, then if and otherwise, where is a common notation for the indicator function. Other common notations are and The indicator function of A is the Iverson bracket of the property of belonging to A; that is, For example, the Dirichlet function is the indicator function of the rational numbers as a subset of the real numbers.
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.
