Search
Search Results
-
AlCons : Deductive Synthesis of Sorting Algorithms in Theorema
We describe the principles and the implementation of AlCons (Algorithm Constructor), a system for the automatic proof–based synthesis of sorting...
-
A Genealogical Approach to Algorithmic Bias
The Fairness, Accountability, and Transparency (FAccT) literature tends to focus on bias as a problem that requires ex post solutions (e.g. fairness...
-
Sculpting the Perfect Workforce: A Study of Cognitive AI and Machine Learning Algorithms in Resha** the Future of Talent Acquisition and Fostering Synergistic HR-Technology Ecosystems
This study explores integrating Cognitive AI and ML algorithms into talent acquisition and assessing their impact on HR practices. The paper reviews...
-
Factoring ethics in management algorithms for municipal information-analytical systems
The discourse on the ethics of artificial intelligence (AI) has generated a plethora of different conventions, principles and guidelines outlining an...
-
QML Algorithms I
The first quantum computers were built a few years ago. Currently, QC technology has various choices of platforms, each of which exhibits efficiency...
-
A Constructive Feature Grou** Approach for Analyzing the Feature Dominance to Predict Cardiovascular Disease
Predicting the resistivity of an individual is essential for the optimal and prompt treatment against cardiovascular disease (CVD) in the earlier...
-
Application of Efficient Feature Selection and Machine Learning Algorithms in Mental Health Disorder Identification
Mental disorder is an illness that are more common in technical employees and are increasing among working professionals. It is an important and...
-
Combining Epidemiological and Constructive Simulations for Robotics and Autonomous Systems Supporting Logistic Supply in Infectious Diseases Affected Areas
It is very likely that the post-Covid-19 world will be significantly different from today. From the experience in fighting the pandemic we can...
-
Methods and Algorithms for Intelligent Video Analytics in the Context of Solving Problems of Precision Pig Farming
The paper proposes an approach to develo** a video data pipeline that addresses the basic tasks of precision pig farming. The pipeline performs...
-
A Fast Metaheuristic for Finding the Minimum Dominating Set in Graphs
Finding minimum dominating sets in graphs is a problem that has been widely studied in the literature. However, due to the increase in the size and...
-
Complementarity in Finite Quantum Mechanics and Computer-Aided Computations of Complementary Observables
AbstractMathematical formulation of Bohr’s complementarity principle leads to the concepts of mutually unbiased bases in Hilbert spaces and...
-
The Segment Number: Algorithms and Universal Lower Bounds for Some Classes of Planar Graphs
The of a planar graph G is the smallest number of line segments needed for a planar straight-line drawing of G....
-
Automated Design of Machine Learning and Search Algorithms
This book presents recent advances in automated machine learning (AutoML) and automated algorithm design and indicates the future directions in this...
-
Controversial Issues Faced by Intelligent Tutoring System in Develo** Constructivist-Learning-Based Curriculum
This article aims at exploring the identified benefits and challenges when integrating Educational Artificial Intelligence (AIEd) into contemporary...
-
Algorithms for Generating Strongly Chordal Graphs
Graph generation serves many useful purposes: cataloguing, testing conjectures, to which we would like to add that of producing test instances for...
-
Efficient ray casting polygonized isosurface of binary volumes
In this paper, we propose an efficient grid-based ray casting method for rendering polygonized isosurfaces of binary volumes as a special form of...
-
Automatic clustering algorithms: a systematic review and bibliometric analysis of relevant literature
Cluster analysis is an essential tool in data mining. Several clustering algorithms have been proposed and implemented, most of which are able to...
-
Towards a Better Understanding of Heuristic Approaches Applied to the Biological Motif Discovery
The detection of transcription factor binding sites (TFBS) play a important role inside bioinformatics challenges. Its correct identification in the...
-
Algorithms that Access the Input via Queries
Problems where an algorithm cannot simply access the whole input but needs to obtain information about it using queries arise naturally in many...