Concept
Deduction theorem
Related publications (4)
Disabling conditional inferences: An EEG study
Although the Modus Ponens inference is one of the most basic logical rules, decades of conditional reasoning research show that it is often rejected when people consider stored background knowledge about potential disabling conditions. In the present study ...
Pergamon-Elsevier Science Ltd2014Methods for Designing Reliable Probe Arrays
Giovanni De Micheli, Luca Benini, Abhishek Garg
Recent advances in biosensing technologies have led to applications of biosensor probe arrays for rapid identification of biological agents such as drugs, gene expressions, proteins, cholesterol and fats in an input sample. However, monitoring the simultan ...
IEEE2010Energetic Macroscopic Representation and PSIM® simulation: application to a DC/DC converter input filter stability
Simulation is a key issue in the design of control electrical systems. Simulation packages using component library, such as PSIM®, are very useful to achieve this goal. The simulation model is thus easily built from the system topology (structural model). ...
2010Incorporating Domain Knowledge with Video and Voice Data Analysis in News Broadcasts
This paper addresses the area of video annotation, indexing and retrieval, and shows how a set of tools can be employed, along with domain knowledge, to detect narrative structure in broadcast news. The initial structure is detected using low-level audio v ...
2000