Zobrazeno 1 - 10
of 108
pro vyhledávání: '"AUTEXIER, Serge"'
Autor:
Lampropoulos, Konstantinos, Kosmidis, Thanos, Autexier, Serge, Savic, Milos, Athanatos, Manos, Kokkonidis, Miltiadis, Koutsouri, Tzortzia, Vizitiu, Anamaria, Valachis, Antonios, Padron, Miriam Quintero
The latest cancer statistics indicate a decrease in cancer-related mortality. However, due to the growing and ageing population, the absolute number of people living with cancer is set to keep increasing. This paper presents ASCAPE, an open AI infras
Externí odkaz:
http://arxiv.org/abs/2308.14390
In modern dynamic constantly developing society, more and more people suffer from chronic and serious diseases and doctors and patients need special and sophisticated medical and health support. Accordingly, prominent health stakeholders have recogni
Externí odkaz:
http://arxiv.org/abs/2208.04698
Autor:
Ivanovic, Mirjana1 (AUTHOR) mira@dmi.uns.ac.rs, Autexier, Serge2 (AUTHOR), Kokkonidis, Miltiadis3 (AUTHOR), Rust, Johannes2 (AUTHOR)
Publikováno v:
Connection Science. Dec2023, Vol. 35 Issue 1, p1-28. 28p.
Autor:
Autexier, Serge, Quaresma, Pedro
Publikováno v:
EPTCS 239, 2017
The UITP workshop series brings together researchers interested in designing, developing and evaluating user interfaces for automated reasoning tools, such as interactive proof assistants, automated theorem provers, model finders, tools for formal me
Externí odkaz:
http://arxiv.org/abs/1701.06745
Autor:
Autexier, Serge, Hutter, Dieter
Structuring theories is one of the main approaches to reduce the combinatorial explosion associated with reasoning and exploring large theories. In the past we developed the notion of development graphs as a means to represent and maintain structured
Externí odkaz:
http://arxiv.org/abs/1505.01620
Publikováno v:
EPTCS 79, 2012, pp. 1-28
Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textb
Externí odkaz:
http://arxiv.org/abs/1202.4828
Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and -- in contrast to published research mathematics -- subject to continual change. Unfortunately, machine s
Externí odkaz:
http://arxiv.org/abs/1105.2392
We give some lectures on the work on formal logic of Jacques Herbrand, and sketch his life and his influence on automated theorem proving. The intended audience ranges from students interested in logic over historians to logicians. Besides the well-k
Externí odkaz:
http://arxiv.org/abs/0902.4682