Search results: Sage Journals

Restricted accessResearch articleFirst published July, 2021

The 1st International Project Competition for Structural Health Monitoring (IPC-SHM,2020): A summary and benchmark problem

Yuequan Bao, Jian Li, Tomonori Nagayama [...]

Structural Health Monitoring

Restricted accessResearch articleFirst published September, 2019

Brief recommendations for participation in competitive sports of athletes with arterial hypertension: Summary of a Position Statement from the Sports Cardiology Section of the European Association of Preventive Cardiology (EAPC)

Josef Niebauer, Mats Börjesson, Francois Carre [...]

European Journal of Preventive Cardiology

Restricted accessResearch articleFirst published May, 2020

Brief recommendations for participation in leisure time or competitive sports in athletes–patients with coronary artery disease: Summary of a Position Statement from the Sports Cardiology Section of the European Association of Preventive Cardiology (EAPC)

Mats Borjesson, Mikael Dellborg, Josef Niebauer [...]

European Journal of Preventive Cardiology

Restricted accessResearch articleFirst published February, 2020

Summarizing Patient Preferences for the Competitive Landscape of Multiple Sclerosis Treatment Options

Marcel F. Jonker, Bas Donkers, Lucas M.A. Goossens [...]

Medical Decision Making

Restricted accessResearch articleFirst published April 26, 2016

The CADE-25 Automated Theorem Proving system competition – CASC-25

Geoff Sutcliffe, Josef Urban

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published November, 2014

The CADE-24 automated theorem proving system competition – CASC-24

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published February, 2008

The CADE-21 automated theorem proving system competition

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published May, 2006

The CADE-20 Automated Theorem Proving Competition

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published May, 2007

The 3rd IJCAR Automated Theorem Proving Competition

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published March 18, 2022

The CADE-28 Automated Theorem Proving System Competition – CASC-28

Geoff Sutcliffe, Martin Desharnais

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published July, 2021

The 1st International Project Competition for Structural Health Monitoring (IPC-SHM,2020): A summary and benchmark problem

Yuequan Bao, Jian Li, Tomonori Nagayama [...]

Structural Health Monitoring

Restricted accessResearch articleFirst published September, 2019

Brief recommendations for participation in competitive sports of athletes with arterial hypertension: Summary of a Position Statement from the Sports Cardiology Section of the European Association of Preventive Cardiology (EAPC)

Josef Niebauer, Mats Börjesson, Francois Carre [...]

European Journal of Preventive Cardiology

Restricted accessResearch articleFirst published May, 2020

Brief recommendations for participation in leisure time or competitive sports in athletes–patients with coronary artery disease: Summary of a Position Statement from the Sports Cardiology Section of the European Association of Preventive Cardiology (EAPC)

Mats Borjesson, Mikael Dellborg, Josef Niebauer [...]

European Journal of Preventive Cardiology

Restricted accessResearch articleFirst published February, 2020

Summarizing Patient Preferences for the Competitive Landscape of Multiple Sclerosis Treatment Options

Marcel F. Jonker, Bas Donkers, Lucas M.A. Goossens [...]

Medical Decision Making

Restricted accessResearch articleFirst published April 26, 2016

The CADE-25 Automated Theorem Proving system competition – CASC-25

Geoff Sutcliffe, Josef Urban

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published November, 2014

The CADE-24 automated theorem proving system competition – CASC-24

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published February, 2008

The CADE-21 automated theorem proving system competition

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published May, 2006

The CADE-20 Automated Theorem Proving Competition

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published May, 2007

The 3rd IJCAR Automated Theorem Proving Competition

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published March 18, 2022

The CADE-28 Automated Theorem Proving System Competition – CASC-28

Geoff Sutcliffe, Martin Desharnais

The European Journal on Artificial Intelligence