Serge Autexier

ORCID: 0000-0002-0769-0732
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Logic, programming, and type systems
  • Logic, Reasoning, and Knowledge
  • Semantic Web and Ontologies
  • Formal Methods in Verification
  • Advanced Database Systems and Queries
  • Model-Driven Software Engineering Techniques
  • Advanced Software Engineering Methodologies
  • Mathematics, Computing, and Information Processing
  • Artificial Intelligence in Healthcare and Education
  • Context-Aware Activity Recognition Systems
  • Machine Learning in Healthcare
  • Business Process Modeling and Analysis
  • Service-Oriented Architecture and Web Services
  • Software Testing and Debugging Techniques
  • Teaching and Learning Programming
  • Artificial Intelligence in Healthcare
  • Software Engineering Research
  • Educational Games and Gamification
  • Intelligent Tutoring Systems and Adaptive Learning
  • Chronic Obstructive Pulmonary Disease (COPD) Research
  • AI in cancer detection
  • Global Cancer Incidence and Screening
  • Data Mining Algorithms and Applications
  • History and Theory of Mathematics
  • Health, Environment, Cognitive Aging

German Research Centre for Artificial Intelligence
2015-2025

Deutsches Forschungsnetz
2016-2025

University of Bremen
2009-2022

Amity University
2018

Benchmark Research (United States)
2018

Noida International University
2018

Saarland University
2000-2010

In contemporary society people constantly are facing situations that influence appearance of serious diseases. For the development intelligent decision support systems and services in medical health domains, it is necessary to collect huge amount patients' complex data. Patient's multimodal data must be properly prepared for processing obtained results should presented a friendly way physicians/caregivers recommend tailored actions will improve quality life. Advanced artificial intelligence...

10.1080/09540091.2023.2194581 article EN cc-by-nc Connection Science 2023-04-13

Introduction Breast and prostate cancer survivors can experience impaired quality of life (QoL) in several QoL domains. The current strategy to support with is suboptimal, leading unmet patient needs. ASCAPE aims provide personalized- artificial intelligence (AI)-based predictions for issues breast- patients as well suggest potential interventions their physicians offer a more modern holistic approach on rehabilitation. Methods analyses An AI-based platform aiming predict appropriate...

10.1371/journal.pone.0265127 article EN cc-by PLoS ONE 2022-04-21

The adoption of the European Health Data Space (EHDS) regulation has made integrating health data critical for both primary and secondary applications. Primary use cases include patient diagnosis, prognosis, treatment, while applications support research, innovation, regulatory decision-making. Additionally, leveraging large datasets improves training quality artificial intelligence (AI) models, particularly in cancer prevention, prediction, treatment personalization. Union (EU) recently...

10.2196/66273 article EN cc-by Journal of Medical Internet Research 2025-03-24

Block-based programming has become popular to teach young students in introductory environments. Nevertheless, most western countries, girls show a lack of interest computer science, including programming. This paper presents the results two user studies with 24 female German secondary school workshops. We use and compare environments based on Scratch Google Blockly fostering students' skills changing their attitudes towards The block-based editors have been chosen as they are current...

10.1145/3364510.3364515 article EN 2019-11-21

We are creating a synergy among European Health Data Space projects (e.g., IDERHA, EUCAIM, ASCAPE, iHELP, Bigpicture, and HealthData@EU pilot project) via health standards usage thanks to the HSBOOSTER EU Project since they involved or using standards, and/or designing ontologies. compare health-standardized models/ontologies/terminologies such as HL7 FHIR, DICOM, OMOP, ISO TC 215 Informatics, W3C DCAT, etc. used in those projects.

10.3233/shti240649 article EN cc-by-nc Studies in health technology and informatics 2024-08-22

10.1016/j.jlap.2005.09.005 article EN publisher-specific-oa The Journal of Logic and Algebraic Programming 2006-02-15

Quality of life (QoL) is one the major issues for cancer patients.With advent medical databases containing large amounts relevant QoL information it becomes possible to train predictive models by machine learning (ML) techniques. However, training poses several challenges mostly due data privacy concerns and missing values in patient data. In this paper, we analyze classification regression ML predicting indicators breast prostate patients. Three different approaches are employed imputing...

10.2298/csis220227061s article EN cc-by-nc-nd Computer Science and Information Systems 2022-12-23

10.1016/j.jal.2005.10.008 article EN publisher-specific-oa Journal of Applied Logic 2005-11-19

Visual programming as a technique to support users learn is an active field of research. Bringing together the hot topic Smart Environments and visual paradigm we present Block-based End-user tool for SMart (BEESM). The dedicated application domain engages get interested in programming. BEESM allows general purpose rapidly prototype customize applications context smart environments. This approach enables program environments, microcontrollers mobile robots one at time combination with each...

10.1145/3240167.3240239 article EN 2018-09-24

Today's rich digital information environment is characterized by the multitude of data sources providing that has not yet reached its full potential in eHealth. The aim presented approach, namely CrowdHEALTH, to introduce a new paradigm Holistic Health Records (HHRs) include all health determinants. HHRs are transformed into clusters capturing clinical, social and human context population segments as result collective knowledge for different factors. proposed approach also seamlessly...

10.3233/978-1-61499-781-8-19 article EN Studies in health technology and informatics 2017-01-01

Quality of life (QoL) is one the major issues for cancer patients. With advent medical databases containing large amounts relevant QoL information it becomes possible to train predictive models by machine learning (ML) techniques. However, training poses several challenges mostly due data privacy concerns and missing values in patient data. In this paper, we analyze classification regression ML predicting indicators breast prostate Two different approaches are employed imputing values. The...

10.1145/3444757.3485103 article EN 2021-11-01

We present a generic mediator, called PlatΩ, between text-editors and proof assistants. PlatΩ aims at integrated support for the development, publication, formalization, verification of mathematical documents in natural way as possible: The user authors his with scientific WYSIWYG text-editor informal language he is used to, that mixture formulas. These are then semantically annotated preserving textual structure by using flexible, parameterized which we present. From this semantic...

10.1016/j.entcs.2006.09.024 article EN Electronic Notes in Theoretical Computer Science 2007-05-01

In light of the complexity introductory programming for young learners, visual has become more and popular. particular, block-based educational systems have emerged as an area active research. This paper introduces application, enabling learners to learn make programs in context smart homes. this objects a set primitive behaviors which can be integrated general features languages like variables, conditionals, loops, functions. The language is shown graphical interface enable students program...

10.1145/3311927.3323157 article EN 2019-06-04
Coming Soon ...