Deduction theorem

Related publications (3)

Page 1 of 1

About
Privacy
Disclaimer

Graph Chatbot

Disabling conditional inferences: An EEG study

Mariia Kaliuzhna

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 Ltd2014

Methods 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 ...

IEEE2010

Energetic Macroscopic Representation and PSIM® simulation: application to a DC/DC converter input filter stability

Philippe Barrade

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). ...

2010

Page 1 of 1