- Advanced Database Systems and Queries
- Semantic Web and Ontologies
- Data Management and Algorithms
- Cloud Computing and Resource Management
- Service-Oriented Architecture and Web Services
- Distributed and Parallel Computing Systems
- Distributed systems and fault tolerance
- Artificial Intelligence in Healthcare and Education
- Caching and Content Delivery
- Digital Marketing and Social Media
- Ethics and Social Impacts of AI
- Scientific Computing and Data Management
- Recommender Systems and Techniques
- Logic, programming, and type systems
- Peer-to-Peer Network Technologies
- Advanced Text Analysis Techniques
- Advanced Software Engineering Methodologies
- Advanced Data Storage Technologies
- Sentiment Analysis and Opinion Mining
- Geographic Information Systems Studies
- Big Data and Business Intelligence
- IoT and Edge/Fog Computing
- Data Quality and Management
- Multi-Agent Systems and Negotiation
- Mobile Agent-Based Network Management
Arcada University of Applied Sciences
2021-2023
Seoul National University
2021-2022
Goethe University Frankfurt
2011-2021
Politecnico di Milano
1982-2006
Altair Engineering (United States)
2002
Goethe Institute
1997
Altair Engineering (France)
1991
University of California, Berkeley
1987-1988
Explainability for artificial intelligence (AI) in medicine is a hotly debated topic. Our paper presents review of the key arguments favor and against explainability AI-powered Clinical Decision Support System (CDSS) applied to concrete use case, namely an CDSS currently used emergency call setting identify patients with life-threatening cardiac arrest. More specifically, we performed normative analysis using socio-technical scenarios provide nuanced account role CDSSs allowing abstractions...
The ethical and societal implications of artificial intelligence systems raise concerns. In this article, we outline a novel process based on applied ethics, namely, Z-Inspection <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">®</sup> , to assess if an AI system is trustworthy. We use the definition trustworthy given by high-level European Commission's expert group AI. general inspection that can be variety domains where are used, such as...
The problem of translating view updates to database is considered. Both databases and views are modeled as data abstractions. A abstraction consists a set states primitive update operators representing state transition functions. It shown how complex programs can be built from translated into programs. Special attention paid class that we call “consistent.” Loosely speaking, consistent with the following property: If effect program on determined, then corresponding unambiguously determined....
LOGRES is a new project for the development of extended database systems which based on integration object-oriented data modelling paradigm and rule-based approach specification queries updates.
LOGRES is a new project for the development of extended database systems which based on integration object-oriented data modelling paradigm and rule-based approach specification queries updates. The model supports generalization hierarchies object sharing, language extends Datalog to support generalized type constructors (sets, multisets, sequences), integrity constraints are automatically produced by analyzing schema definitions. Modularization fundamental feature, as modules encapsulate...
This paper documents how an ethically aligned co-design methodology ensures trustworthiness in the early design phase of artificial intelligence (AI) system component for healthcare. The explains decisions made by deep learning networks analyzing images skin lesions. trustworthy AI developed here used a holistic approach rather than static ethical checklist and required multidisciplinary team experts working with designers their managers. Ethical, legal, technical issues potentially arising...
We describe a data model for structured office information objects, which we generically call “documents,” and practically useful algebraic language the retrieval manipulation of such objects. Documents are viewed as hierarchical structures; their layout (presentation) aspect is to be treated separately. The syntax semantics defined precisely in terms formal model, an extended relational algebra. proposed approach has several new features, some particularly management information. based on...
Artificial Intelligence (AI) has the potential to greatly improve delivery of healthcare and other services that advance population health wellbeing. However, use AI in also brings risks may cause unintended harm. To guide future developments AI, High-Level Expert Group on set up by European Commission (EC), recently published ethics guidelines for what it terms “trustworthy” AI. These are aimed at a variety stakeholders, especially guiding practitioners toward more ethical robust...
This article's main contributions are twofold: 1) to demonstrate how apply the general European Union's High-Level Expert Group's (EU HLEG) guidelines for trustworthy AI in practice domain of healthcare and 2) investigate research question what does "trustworthy AI" mean at time COVID-19 pandemic. To this end, we present results a post-hoc self-assessment evaluate trustworthiness an system predicting multiregional score conveying degree lung compromise patients, developed verified by...
Abstract Building artificial intelligence (AI) systems that adhere to ethical standards is a complex problem. Even though multitude of guidelines for the design and development such trustworthy AI exist, these focus on high-level abstract requirements systems, it often very difficult assess if specific system fulfills requirements. The Z-Inspection® process provides holistic dynamic framework evaluate trustworthiness at different stages lifecycle, including intended use, design, development....
A 'reasonable' minimal set of primitives for updating an object-oriented (O/sub 2/) database schema is defined and the problems which need to be solved in order obtain a usable update mechanism are shown. The distinction between structural behavioral consistency O/sub 2/ system described some detail it demonstrated how updates could performed by invoking interactive tool. Updates classified three categories. Each category explained detail.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML"...
We present a way to handle incomplete information both at schema and object instance level in an object-oriented database. Incremental design becomes possible with the introduction of generic classes. Incomplete data is handled explicit null values similar as relational nested relations models.
Benchmarking Big Data solutions has been gaining a lot of attention from research and industry. BigBench is one the most popular benchmarks in this area which was adopted by TPC as TPCx-BB. BigBench, however, key shortcomings. The structured component data model same TPC-DS complex snowflake-like schema. This contrary to simple star schema models real life. also treats semi-structured web-logs more or less table. In life, are modeled key-value pairs with unknown Specific keys captured at...
A description is given of Algres, a programming environment that extends the relational model to handle complex objects and operations integrates logic paradigm. Algres designed be used develop knowledge bases, software-engineering systems, office-automation computer-aided design manufacturing databases. The discussion covers components, its data model, RA abstract machine, user languages. system written entirely in C.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML"...