Provided comprehensive instruction on the theoretical foundations and practical applications of Generative AI, encompassing models like GANs, VAEs, and Diffusion Models. Focused on experiential learning through projects involving image, text, and code generation, fostering innovation and a deep understanding of cutting-edge AI research.
Introduced students to the cutting-edge principles and advanced techniques of prompt engineering for Large Language Models (LLMs) and Generative AI. Emphasized experiential learning through hands-on prompt design, iterative refinement, and advanced strategies, preparing students for sophisticated AI interaction and future innovation.
Overview of computer architecture, operating systems, software, databases, networks, and the Internet, providing foundational knowledge for future computational studies.
Covered fundamental elements of C programming, including basic types, operators, expressions, data input/output, alternative structures, and repetitive structures. Focused on practical application of algorithms and data structures.
Explored advanced imperative programming concepts including recursion, pointers, structures, linked lists, and file manipulation in C, strengthening students' ability to develop complex software solutions.
Taught fundamental concepts of data structures and algorithms, including asymptotic analysis, Abstract Data Types (ADTs), stacks, queues, trees, graphs, sorting, and searching, essential for efficient software development and data manipulation.
Covered advanced algorithmic techniques, including complexity of recursive functions, complete search, divide and conquer, greedy algorithms, dynamic programming, and advanced topics in graph theory, string processing, and computational geometry, preparing students for competitive programming challenges.
Taught comprehensive Python programming, including control statements, functions, strings, lists, dictionaries, tuples, sets, files, regular expressions, lambda expressions, iterators, generators, and list comprehension, focusing on practical problem-solving in data science.
Taught mathematical modeling and implementation of numerical methods in Python, including Gradient Descent, linear, and simplex methods, enabling students to formulate and solve optimization problems.
Covered core image processing techniques including thresholds, histogram equalization, contrast enhancement, morphological transformations, filters, restoration, noise, segmentation, contours, descriptors, and face detection, with a focus on practical applications in computer vision.
Taught principles of supervised learning, including algorithms like KNN, and neural networks (single and multi-layer, CNN), focusing on model optimization, performance measurement, and avoiding overfitting for robust AI inference.
Provided deep knowledge of graph theory concepts and their applications in mathematics, natural science, and computer science. Covered graph representation, implementation, traversals, MST, coloring, Eulerian and Hamiltonian graphs, and shortest paths, enabling students to model complex problems.
Taught fundamental concepts of information transport, main data encoding and compression techniques (lossless and lossy), enabling students to design and implement efficient compression algorithms adapted to various problems.
Covered foundational logic (propositional and predicate) and Prolog programming, providing students with essential tools for formal reasoning and problem-solving in AI and computer science.
Covered advanced database concepts: system crash recovery, logs, transactions, concurrency control, distributed databases, indexing (B-trees, B+trees, hashing), query optimization, deductive databases, and object-oriented databases (Oracle database management).
Advanced topics in PL/SQL, including principles, exception handling, cursors, triggers, collections, records, dynamic SQL, Bulk SQL, procedures, functions, and packages, for robust database programming.
Taught fundamental concepts of knowledge representation, including predicates, conceptual graphs, ontologies, and web semantics, essential for building intelligent systems and semantic web applications.
Covered comprehensive Python functional programming, including control statements, functions, strings, lists, dictionaries, tuples, sets, files, regular expressions, lambda expressions, iterators, generators, and list comprehension, applied to data processing and problem-solving.
Taught design patterns (creational, structural, and behavioral) and JavaFX for building robust and scalable graphical user interfaces and applications.
Covered web architecture, PHP, server-side scripting (forms, sessions), database connectivity (MySQL), Ajax, jQuery, security (injections), XML, XSLT, and regular expressions for building dynamic and secure web applications.
Taught principles of distributed applications, including Java streams, TCP sockets, UDP datagrams, multithreading, RMI, serialization, and agents, enabling students to develop robust networked systems.
Taught practical skills in network systems administration, including Windows server installation/configuration, server roles/features, virtual machines, DHCP/DNS services, Active Directory management (users, groups, OUs, GPOs), and firewall configuration.
Taught practical applications of CNN for image classification and handwritten digit recognition, focusing on applied pattern recognition problems.
Taught scientific communication skills, including planning/delivering presentations at conferences, writing research reports, and creating professional CVs/LinkedIn profiles using LaTeX, essential for academic and professional dissemination.
Introduced students to fundamental principles of scientific research, including bibliographic studies, academic writing (LaTeX), presentation skills (Beamer), and peer review processes, preparing them for academic and professional research contributions.
This paper presents cutting-edge insights into semantic retention and extreme compression techniques for Large Language Models (LLMs), crucial for building efficient and scalable next-generation AI models. This work explores advanced methods applicable to optimizing LLM performance in real-world scenarios, particularly relevant for large-scale AI deployment and optimization.
This research demonstrates how to leverage Generative AI for advanced content creation in educational contexts, integrating cognitive frameworks and linguistic feedback. A core focus is on the ethical implications of AI development, making it highly relevant for responsible AI system design and deployment in real-world applications.
This paper explores the analytical capabilities of LLMs to understand and extract key features from AI-generated content, focusing on readability and lexical properties of Multiple Choice Questions (MCQs). This work is crucial for developing sophisticated AI-driven assessment tools and for understanding model behavior and output in practical learning contexts. It highlights aspects of NLP and model interpretability.
This research investigates methods for enhancing the cognitive depth of AI-driven educational tools using the SOLO Taxonomy. It explores advanced AI techniques and frameworks to generate content that promotes deeper learning and critical thinking, with direct applications in adaptive educational systems and intelligent tutoring.
This paper focuses on the evaluation and alignment of AI-generated questions, particularly those from LLMs, with established cognitive frameworks in educational assessment. It highlights the importance of robust evaluation methods for AI-driven content generation, ensuring quality and pedagogical effectiveness in intelligent learning systems.
This research explores the application of TinyML for real-time detection and recognition of specific states and events within beehives through sound analysis. It demonstrates practical skills in deploying efficient machine learning models on resource-constrained devices for predictive analytics and anomaly detection.
This paper demonstrates the practical application of Generative AI for real-world detection challenges, specifically in identifying threats to beehive health. It showcases interdisciplinary research and the use of cutting-edge AI technologies for practical solutions in complex environmental monitoring.
This research provides experience with large-scale model optimization and architecture design within a federated learning context. It's crucial for developing robust AI solutions for production environments, addressing challenges of privacy and distributed training for complex analytical tasks like anomaly detection in video surveillance.
This study explores the application of Machine Learning and micro-facial expression detection systems for diagnosing clinical manifestations of apathy. It involves applying Histogram of Oriented Gradients (HOG) as a feature descriptor on video datasets and utilizing statistical models (Decision Trees, Logistic Regression) to identify influencing factors. This work is relevant for applied ML research in predictive analytics and understanding complex patterns in behavioral data.
This research focuses on applying Classification And Regression Tree (CART) algorithms to detect network intrusions in enterprise environments. It demonstrates expertise in supervised learning techniques for security applications and classification problems, achieving high accuracy with low false-negative and false-positive rates for critical systems.
This paper extends concepts of bisimilarity relation in Datalog programs using a bottom-up evaluation approach via Magic Sets. It proves the decidability of information flow and analyzes its computational complexity, relevant for logical AI, knowledge graphs, and formal verification in AI systems.
This research investigates the decidability of information flow in Datalog programs using the Magic Sets bottom-up evaluation approach. It proves the existence of information flow is decidable with EXPTIME-complete complexity, contributing to formal methods in AI and secure system design.
This paper extends the concept of bisimilarity relation between Datalog goals from positive Datalog programs to stratified and restricted programs with negation. It addresses the decidability of bisimilarity, enhancing formal methods for reasoning in complex AI systems and knowledge representation.
This work formalizes information flow detection in Datalog using Very Naive and Semi Naive bottom-up evaluation algorithms. It proves decidability and analyzes computational complexities, contributing to security and traceability in knowledge-based systems and AI applications.
This paper proposes a formal representation of inference control on information flow theory in logic programming. It introduces notions of indistinguishability, protection mechanisms, and confidentiality policies for controlling sensitive information in deductive databases and AI systems, relevant for ethical AI and data privacy.
This research presents a formalization of information flow detection in concurrent logic programming and applies it to deadlock detection. It defines information flow based on observation and transition systems, contributing to the development of robust and secure concurrent AI systems.
This paper provides a theoretical foundation for information flow in logic programming, comparing various definitions based on success/failure, substitution answers, and bisimulation. It addresses decision procedures and complexity for specific classes of logic programs, relevant for foundational AI and secure data handling.
This research proposes an AI-based approach for assisting Bridge players in locating honor cards, utilizing abduction reasoning and an Assumption-based Truth Maintenance System (ATMS). It demonstrates expertise in AI reasoning, knowledge representation, and constraint satisfaction for complex problem-solving.
This research presents a method for studying and visualizing relationships in hierarchical small world networks (HSWN) applied to various domains like dictionaries and web pages. It develops an approach to quantify relationships using Markovian matrices and analyze large graph structures, relevant for data visualization, network analysis, and knowledge graph construction.
This paper presents an innovative strategy for generating quizzes and multiple-choice questions (MCQs) within Moodle, leveraging advanced capabilities of Generative AI (Google's PALM2 models). It focuses on streamlining educational workflows, enhancing academic engagement, and demonstrating the transformative potential of integrating cutting-edge AI technologies into educational platforms, especially for personalized learning.
This research evaluates an innovative teaching approach for programming courses combining online coding platforms, automated grading, interactive visualizations, and offline materials. It demonstrates enhanced student engagement and learning outcomes through modern techno-pedagogical methods, highlighting the impact of technology on informatics education.
This paper introduces the concept of bisimulation between Datalog goals, where two goals are bisimilar if their SLD-trees are bisimilar. It addresses the decidability problem for given stratified or restricted Datalog programs, proving decidability in 2EXPTIME. This contributes to formal methods in AI, logic programming, and knowledge representation systems.
This study investigates machine learning techniques for violence detection in videos within a federated learning context. It includes experiments with spatio-temporal features, architectural comparisons, and adaptation of centralized datasets. It demonstrates expertise in large-scale model optimization, distributed training, and robust AI solutions for complex real-world applications.
This paper proposes a theoretical foundation for information flow in logic programming, comparing various definitions and analyzing their decision procedures and complexity for specific classes of logic programs. It contributes to fundamental AI research, logic-based reasoning, and secure data handling.
This study investigates the combination of indicators (performance, behavioral/emotional engagement) to identify students experiencing difficulties, using LMS digital traces and webcam images for emotional analysis. It explores the role of emotions in academic outcomes and contributes to the development of intelligent tutoring systems and AI-driven personalized learning.
This doctoral thesis addresses information flow in logic programming, proposing theoretical foundations, various flow definitions (success/failure, substitution answers, bisimulation), and decision procedures/complexity for specific program classes. It also introduces the concept of bisimulation between Datalog goals and proposes a secure, precise security mechanism for deductive databases, contributing to foundational AI, logic-based reasoning, and secure data management.