Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 541 - 570 of 46192

Full-Text Articles in Entire DC Network

Artificial Intelligence Empowering Remote Sensing: Challenges, Paradigms And Strategic Layout, Jiayuan Shen, Peirui Cheng, Zhirui Wang, Wei Liang, Xian Sun, Yirong Wu Jun 2026

Artificial Intelligence Empowering Remote Sensing: Challenges, Paradigms And Strategic Layout, Jiayuan Shen, Peirui Cheng, Zhirui Wang, Wei Liang, Xian Sun, Yirong Wu

Bulletin of Chinese Academy of Sciences (Chinese Version)

Remote sensing science and technology, as a key discipline for Earth observation and global change research, faces systemic challenges in processing massive multi-source data, accurately extracting complex information, and delivering high-timeliness application services. The rapid advances in artificial intelligence (AI) provide a new opportunity to address the deep-seated dilemma in remote sensing of being “data-rich but insufficient in effective information mining”. Guided by a problem-oriented approach, this study first systematically analyzes the core challenges facing the development of remote sensing across four dimensions: data understanding, technical methods, scientific mechanisms, and application ecosystems. It then reviews the technical evolution of AI-empowered …

Go to article

Artificial Intelligence For Deep Earth Science: Key Challenges, Major Application Scenarios And Development Pathways, Qingyun Di, Liang Zhao, Yikang Zheng, Zhi Geng, Zhichao Yu, Xiaocai Shan, Chao Li, Zhiyao Xu, Pengfei Lv Jun 2026

Artificial Intelligence For Deep Earth Science: Key Challenges, Major Application Scenarios And Development Pathways, Qingyun Di, Liang Zhao, Yikang Zheng, Zhi Geng, Zhichao Yu, Xiaocai Shan, Chao Li, Zhiyao Xu, Pengfei Lv

Bulletin of Chinese Academy of Sciences (Chinese Version)

Deep Earth science is central to understanding Earth’s internal architecture and the coupled evolution of its major spheres, while also underpinning energy security, the supply of critical mineral resources, and resilience to major geohazards. Nevertheless, the advancement of deep Earth science is currently hindered by insufficient in situ observations under extreme conditions, the difficulty of integrating multi-source heterogeneous data, and the limited capability to model complex multiphysics coupling processes. Recent advances in artificial intelligence offer a potential route beyond these limitations. By integrating data-driven learning with physical and geological understanding, AI is reshaping deep Earth science from empirical interpretation to …

Go to article

Artificial Intelligence Empowered Biological Research: Paradigm Shifts, Application Scenarios, And Strategic Layout, Xinguang Zhu, Yiming Bao, Zhenong Jin, Xin Li, Sijia Wang, Yueming Wang, Yungui Yang, Cao Xu, Yan Xiong, Bin Han Jun 2026

Artificial Intelligence Empowered Biological Research: Paradigm Shifts, Application Scenarios, And Strategic Layout, Xinguang Zhu, Yiming Bao, Zhenong Jin, Xin Li, Sijia Wang, Yueming Wang, Yungui Yang, Cao Xu, Yan Xiong, Bin Han

Bulletin of Chinese Academy of Sciences (Chinese Version)

Life related processes are characterized by high dimensionality and multi-scale properties. Understanding mechanisms underpinning life processes helps promote national healthcare, agricultural development, sustainable ecological civilization, and national security. Current life science research is confronted with an enormous challenge of dimensionality stemming from data explosion and data fragmentation, for which the recent rapid advancement of artificial intelligence (AI) provides novel solutions. AI will catalyze a paradigm shift in life science research from the current experiment based empirical induction to a new closed-loop knowledge acquisition including large scale data collection, model building, model prediction, experimental validation, and iterative of these procedures. Life …

Go to article

Artificial Intelligence–Driven Paradigm Transformation In Biopharmaceutical R&D: Applications And Emerging Scenarios, Lili Liu, Mingyue Zheng, Ye Yuan, Xutong Li, Rong Fan, Wei Wei, Jinxin Zhao, Guobin Qi, Hua Yue, Likun Gong, Songping Zhang, Jiachen Li, Yuchen Sun, Xiaoyan Chen, Yao Chen, Xin Liu, Xiao Zhang, Yuehong Gao, Jianfeng Li, Kaixian Chen, Guanghui Ma, Jianmin Yue Jun 2026

Artificial Intelligence–Driven Paradigm Transformation In Biopharmaceutical R&D: Applications And Emerging Scenarios, Lili Liu, Mingyue Zheng, Ye Yuan, Xutong Li, Rong Fan, Wei Wei, Jinxin Zhao, Guobin Qi, Hua Yue, Likun Gong, Songping Zhang, Jiachen Li, Yuchen Sun, Xiaoyan Chen, Yao Chen, Xin Liu, Xiao Zhang, Yuehong Gao, Jianfeng Li, Kaixian Chen, Guanghui Ma, Jianmin Yue

Bulletin of Chinese Academy of Sciences (Chinese Version)

The biopharmaceutical industry is a critical domain underpinning national scientific and technological innovation development and public health. With the rapid advancement of artificial intelligence (AI) and its deep integration with the life sciences, biomedicine research is undergoing a paradigm shift from traditional experience-driven trial-and-error approaches to data-driven and predictive validation-based models. This study systematically examines the pathways for reshaping research in biomedicine paradigms under the convergence of data-driven, mechanism-driven, and intelligence-driven approaches. It focuses on recent advances in the application of AI across key stages, including drug discovery and design, druggability evaluation, delivery system design and optimization, nonclinical and clinical …

Go to article

Artificial Intelligence For Science: Connotations, Characteristics, And System, Kaihua Chen, Heyang Li, Hongxin Liu, Binbin Zhao, Shuo Yang Jun 2026

Artificial Intelligence For Science: Connotations, Characteristics, And System, Kaihua Chen, Heyang Li, Hongxin Liu, Binbin Zhao, Shuo Yang

Bulletin of Chinese Academy of Sciences (Chinese Version)

Artificial intelligence is profoundly transforming the fundamental nature of scientific research, reshaping its modes of knowledge production and organizational operation, driving the emergence of a new artificial intelligence for science (AI4S) research paradigm, and accelerating full-chain innovation paradigm transformation. This study defines the basic connotations of AI4S across three dimensions, namely, enabling applications, tools and methods, and epistemic knowledge, and systematically identifies five core characteristics: human-machine symbiosis, autonomous evolution, interdisciplinary integration, resource intensity, and open ecosystems. It further constructs a supporting system and operational architecture encompassing layers of infrastructure, data resources, model tools, task execution, and application scenarios. Building on …

Go to article

Optimization Of Sea Transportation Services In The Kepulauan Seribu Using The Vehicle Routing Problem (Vrp) Model, Darmadi Darmadi, Sutanto Soehodho, Nahry Nahry Jun 2026

Optimization Of Sea Transportation Services In The Kepulauan Seribu Using The Vehicle Routing Problem (Vrp) Model, Darmadi Darmadi, Sutanto Soehodho, Nahry Nahry

Smart City

The Kepulauan Seribu regency relies heavily on sea transportation for passenger mobility and goods distribution. However, current systems face efficiency challenges, high operational costs, and potential imbalances between demand and service capacity. This study proposes a framework to optimize sea transportation services in the Kepulauan Seribu using the Vehicle Routing Problem (VRP) method, especially the Capacitated Vehicle Routing Problem – Many Single Depot (CVRP–MSD) model with heterogeneous fleets and mixed cargo (passenger and goods). The main objective is to minimize total operating costs, which include fixed costs of using the vessel and variable travel costs, and unmet demand, both passenger …

Go to article

Galaxy Morphology Classification Using Deep Learning, Dipanwita Kundu Roy Jun 2026

Galaxy Morphology Classification Using Deep Learning, Dipanwita Kundu Roy

Master’s Dissertations

Galaxy morphology is the study of the shape and visual appearance of galaxies, such as spiral, smooth, edge-on, and other morphological types. Morphological classification plays an important role in understanding how galaxies form and evolve over cosmic time. Most existing machine learning approaches for galaxy morphology classification rely solely on RGB galaxy images, which primarily capture spatial information and lack the physical spectral context of galaxies. In contrast, astronomical spectral datacubes contain rich information across multiple wavelengths, providing insights into the internal and physical properties of galaxies. However, such spectral observations are available for only a limited number of objects. …

Go to article

Relay Selection And User Scheduling In Reconfigurable Intelligent Surface Assisted Millimeter-Wave D2d Communication, Lakshmikanta Sau Jun 2026

Relay Selection And User Scheduling In Reconfigurable Intelligent Surface Assisted Millimeter-Wave D2d Communication, Lakshmikanta Sau

Doctoral Theses

Reconfigurable intelligent surface (RIS) assisted millimeter wave (mmWave) device to device (D2D) communication has recently been proposed as a viable solution to support the overwhelming data traffic in fifth-generation (5G) and beyond wireless networks. However, due to the substantial propagation and penetration losses of mmWave, a direct line of sight (LoS) link between a pair of proximity devices is required for effective communication. Static obstacles like trees and buildings can easily obstruct the direct LoS connectivity between a device pair. In such cases, RISs help to establish an indirect LoS link between an obstructed device pair by reflecting the signals …

Go to article

American Sign Language Recognition And Analysis Using Deep Learning, Saurabh Kumar Soni Jun 2026

American Sign Language Recognition And Analysis Using Deep Learning, Saurabh Kumar Soni

Master’s Dissertations

In this work I build a system that recognizes isolated American Sign Language (ASL) words, and I use it to ask one fairly direct question: when training data is scarce, is it better to look at the video pixels or at the geometry of the signer’s body? To find out, I train two very different models on exactly the same clips. The first is appearance-based. Every frame is run through standard preprocessing and a ResNet50 backbone pre-trained on ImageNet, which turns it into a 2048-dimensional feature vector, and a Bidirectional LSTM then reads that sequence over time. The second model …

Go to article

An Empirical Study Of Rlvr Fine-Tuning For Mathematical Problem Solving In Llms, Rashmi Konnur Jun 2026

An Empirical Study Of Rlvr Fine-Tuning For Mathematical Problem Solving In Llms, Rashmi Konnur

Master’s Dissertations

Large language models have shown immense improvement in coding and math performances thanks to reinforcement learning boosted algorithms. However, its true impact on broadening the reasoning and analytical capacities of an LLM is still contended. In this dissertation, we outline the foundations of Large Language Models, and delve into Reinforcement Learning with Verifiable Rewards (RLVR). We discuss various strategies to efficiently manipulate memory during a fine tuning update. We finally perform RLVR fine-tuning techniques on different models with varied use cases and compare their performances, which corroborate the efficiency of RLVR.

Go to article

Efficient Multimodal Foundation Model Tuning For Hallucination Mitigation, Fei Zhao Jun 2026

Efficient Multimodal Foundation Model Tuning For Hallucination Mitigation, Fei Zhao

ETDs from 2020-2029

Over the past few years, multimodal foundation models have achieved remarkable progress in perception and understanding. However, two challenges limit their reliability: (1) dependence on offline training, which in most real-world settings requires large volumes of labeled data and, as a result, hinders the model’s ability to adapt to new data or domains; (2) weak cross-modal grounding, which often leads to hallucinated content generation, producing descriptions that are linguistically fluent but inconsistent with the input visual evidence. This dissertation frames hallucination mitigation as an outcome of transitioning from fixed learning (static, offline fine-tuning) to adaptive, feedback-driven lifelong learning. By incorporating …

Go to article

Learnable Structured Attention For Student-Aware Knowledge Distillation In Dense Prediction, Chen Liu Jun 2026

Learnable Structured Attention For Student-Aware Knowledge Distillation In Dense Prediction, Chen Liu

ETDs from 2020-2029

Dense prediction tasks, including object detection and semantic segmentation, require models to produce structured predictions and are widely used in real-world vision applications. Although deep networks have achieved strong performance on these tasks, their high computational cost limits deployment on resource-constrained systems such as autonomous-driving vehicles. Knowledge distillation (KD) addresses this issue by transferring knowledge from a large teacher model to a compact student model. However, existing distillation methods for dense prediction face greater challenges than those for classification due to the more complex task requirements. To overcome the challenges, this thesis presents a unified study of adaptive distillation for …

Go to article

Active Learning Of Constraint Boundaries Using Expected Magnitude Of Incorrectness And Neural Networks, Atticus Beachy, Ramana V. Grandhi Jun 2026

Active Learning Of Constraint Boundaries Using Expected Magnitude Of Incorrectness And Neural Networks, Atticus Beachy, Ramana V. Grandhi

Faculty Publications

This research proposes an acquisition function for constraint boundary identification, with applications to hypersonic air vehicles. Hypersonic vehicles endure extreme thermal loads caused by aerodynamic heating, resulting in a strong coupling between structural performance and aerothermodynamics. However, modeling coupled system behaviors requires simultaneous consideration of both aerodynamic and structural design variables, increasing the dimensionality of the design trade space and the difficulty of accurately modeling the constraints. Several active learning schemes have been proposed to accelerate identification of the composite feasible region that satisfies all constraints. Some of these require integrating the surrogate model over the entire design space with …

Go to article

Modeling And Mitigating Stale Hardcoded Secrets In Version Control History, Katarina Valentine Capalbo Jun 2026

Modeling And Mitigating Stale Hardcoded Secrets In Version Control History, Katarina Valentine Capalbo

USF Tampa Graduate Theses and Dissertations

Hardcoded secret vulnerabilities remain a growing and persistent problem that can be difficult to mitigate once exposed. While there has been significant research and advancements in identifying and preventing hardcoded secrets, less attention has been given to understanding the risks of leaving these secrets behind in version control history, as well as analyzing the sanitization of hardcoded secrets. These challenges present a growing gap between the risk and ability to mitigate and sanitize existing secret exposures. This thesis begins to address this gap by formalizing a threat model for hardcoded secrets that persist in Git version control history after the …

Go to article

Development Of An Adaptive Pelican Crossing Model Using Fuzzy Logic In Mixed Traffic Conditions, Manazil Adam, Andyka Kusuma, R. Jachrizal Sumabrata Jun 2026

Development Of An Adaptive Pelican Crossing Model Using Fuzzy Logic In Mixed Traffic Conditions, Manazil Adam, Andyka Kusuma, R. Jachrizal Sumabrata

Smart City

Traffic management at at-grade pedestrian crossing facilities (pelican crossings) in highly populated areas, such as the Universitas Indonesia Station, faces significant inefficiency challenges. During peak hours, the fixed-time system is frequently disabled and replaced with subjective manual control by security personnel, thereby triggering irregular stop-and-go cycles and a high accumulation of vehicle delays. This study aims to develop a hybrid adaptive control model integrating Computer Vision, Genetic Algorithm (GA), and Fuzzy Logic to optimize intersection performance under mixed traffic conditions. The research methodology begins with the extraction of traffic and pedestrian characteristic data, calculated manually through recorded field observations. This …

Go to article

Spatial Tax Intelligence: Implementing Integrated Spatial Decision Support Systems For Smart Urban Governance, Wildan R. Irfana, Haldis A. Bahar, Muhammad H. Candra Jun 2026

Spatial Tax Intelligence: Implementing Integrated Spatial Decision Support Systems For Smart Urban Governance, Wildan R. Irfana, Haldis A. Bahar, Muhammad H. Candra

Smart City

The transition toward smart governance requires local governments to adopt data-driven policy approaches, particularly in managing urban tax capacity. However, tax administration in many developing regions remains predominantly tabular and administrative, limiting the ability to capture the spatial dynamics of economic activities. This reveals a critical knowledge gap, as integrated frameworks combining spatial and tax data to identify geographic disparities in tax performance remain limited. Consequently, areas with high economic activity but low tax compliance, referred to as tax blind spots, often remain undetected. This study aims to analyze the effectiveness of integrating spatial and tax data in identifying spatial-tax …

Go to article

Learning In Infants Using Intrinsically Motivated Goal Conditioned Reinforcement Learning, T I Darsan Jun 2026

Learning In Infants Using Intrinsically Motivated Goal Conditioned Reinforcement Learning, T I Darsan

Master’s Dissertations

Traditional artificial intelligence models learn by passively digesting large datasets. In contrast, human infants discover skills by actively interacting with their bodies and environments without explicit external rewards. This thesis introduces the Composer Architecture, a machine learning framework designed to mimic this autonomous, open-ended development. The Composer architecture operates in a multi-stage loop, the latent model using Contrastive Learning Through Time (CLTT) to compress high-dimensional raw data from visual, proprioceptive, and touch sensors into a low-dimensional space. To preserve data relationships and prevent topological collapse, a Softmax activation forces these latent representations to lie smoothly on a probability simplex. A …

Go to article

Design And Evaluation Of A Code-Switching-Aware Multilingual Conversational Ai System Using Advanced Rag Architectures, Ashutosh Juvale Jun 2026

Design And Evaluation Of A Code-Switching-Aware Multilingual Conversational Ai System Using Advanced Rag Architectures, Ashutosh Juvale

Master’s Dissertations

Conversational artificial intelligence has become the primary interface through which hundreds of millions of users in India seek information and customer support. Yet the way these users actually write and speak is fundamentally at odds with the monolingual assumptions baked into most retrieval and generation systems: they code-switch, fluidly mixing one or more of the twenty-two scheduled languages of India with English, frequently typing Indic words in the Roman script ("mera refund kab tak aayega"). Standard Retrieval-Augmented Generation (RAG) pipelines silently fail on such input — the retriever returns off-topic passages because the query and the knowledge base live in …

Go to article

Tinyvgg-Based Real-Time Degradation Classification For Adverse Driving Scenes Using A Newly Collected Iraqi Driving Dataset, Yousif N. Abbas, Matheel E. Abdulmunim, Nada H. Ali, Ismail A. Mageed Jun 2026

Tinyvgg-Based Real-Time Degradation Classification For Adverse Driving Scenes Using A Newly Collected Iraqi Driving Dataset, Yousif N. Abbas, Matheel E. Abdulmunim, Nada H. Ali, Ismail A. Mageed

Journal of Soft Computing and Computer Applications

Environmental conditions such as low-light at night, fog scattering, glare artifacts, rain streaks, and rain smear distortions are significant issues of camera-based perception in Autonomous Vehicles (AVs). These degradations alter the statistics of the scene, mask structure, introduce non-uniform noise, and adversely affect downstream vision processes, including detection and tracking. To overcome this shortcoming, this paper presents a lightweight TinyVGG-based degradation classification system that runs in real time. The network extracts discriminative spatial features with hierarchical convolutional encoding and projects them to a lower-dimensional semantic representation with fully connected layers and a multi-class predictor based on SoftMax. In addition, a …

Go to article

Improving Approach Of Evolutionary Strategies For Clustering Technique Enhancement, Duaa Mahde Saleh, Hasanen S. Abdullah, Ahmad Zamsuri Jun 2026

Improving Approach Of Evolutionary Strategies For Clustering Technique Enhancement, Duaa Mahde Saleh, Hasanen S. Abdullah, Ahmad Zamsuri

Journal of Soft Computing and Computer Applications

The existence of the information has been the essential aspect of the whole society. Information is concentrated in all forms to be effectively utilized. Clustering — an unsupervised learning technique. It is based on data similarity that gives rise to issues in collection, challenges and instability in data structure. It proposes an advanced evolutionary method by combining two approaches. Firstly, it adopts the evolutionary approach and integrates the advantages between two methods to design one. Among them are Differential Evolution (DE) and Genetic Algorithm (GA), Evolutionary Strategy (ES) and Genetic Programming (GP), and Evolutionary Programming (EP) and Particle Swarm Optimization …

Go to article

A Comprehensive Review Of 1d Deep Learning Approaches In Facial Analysis: Face Recognition, Landmark Detection, And Mesh Modeling, Duaa J. Al Hammami, Rehab F. Hassan Jun 2026

A Comprehensive Review Of 1d Deep Learning Approaches In Facial Analysis: Face Recognition, Landmark Detection, And Mesh Modeling, Duaa J. Al Hammami, Rehab F. Hassan

Journal of Soft Computing and Computer Applications

Facial Analysis has progressed rapidly with deep learning and its 2D image-based models, especially Convolutional Neural Networks (CNNs), which have been the most popular methods. In recent years, 1D deep learning models have gained traction in the search for efficient solutions for face recognition, facial landmark detection, and 3D face mesh modeling. 1D models encode the facial structure as sequences, curves, or temporal signals, resulting in high computational efficiency, a small memory footprint, and good interpretability, making them well-suited for real-time and edge devices. This review is a step-by-step, organized exploration of 1D deep learning analysis of the face, its …

Go to article

Comparative Study On Throughput Optimization In Nfv: Traditional Dissemination Techniques Vs. Swarm Intelligence Approaches, Sanaa Salih Alwan, Asia Ali Salman, Wulfrano Arturo Luna Ramírez Jun 2026

Comparative Study On Throughput Optimization In Nfv: Traditional Dissemination Techniques Vs. Swarm Intelligence Approaches, Sanaa Salih Alwan, Asia Ali Salman, Wulfrano Arturo Luna Ramírez

Journal of Soft Computing and Computer Applications

Network Functions Virtualization (NFV) modernizes networks by replacing hardware with software, creating a more flexible network architecture and offering flexibility in dynamic network environments. This foundational technology is essential for creating the networks of the future, including the Internet of Things (IoT) and cellular services. NFV does provide flexibility, but it struggles to maintain system throughput during high traffic loads while achieving high resource utilization efficiency and dynamic packet routing. The problem lies in the fact that traditional request distribution mechanisms, such as flooding and gossip, fail to operate efficiently in complex network topologies (scale-free networks), leading to: (a) random …

Go to article

A Comprehensive Review Of The A* Algorithm: Evolution, Applications, And Future Trends In Path Planning, Saleel H. Abood, Hussein M. H. Al-Khafaji, Mohanned M. H. Al-Khafaji Jun 2026

A Comprehensive Review Of The A* Algorithm: Evolution, Applications, And Future Trends In Path Planning, Saleel H. Abood, Hussein M. H. Al-Khafaji, Mohanned M. H. Al-Khafaji

Journal of Soft Computing and Computer Applications

Despite being a fundamental problem to autonomous robotics and intelligent navigation systems, path planning is still a challenge. The A* algorithm is often used among search-based techniques for optimal search performance, as it's a tradeoff of computation. The above techniques have been developed for various applications as many versions of A* Dynamic A* (D*), D* Lite, Hybrid A*, and Anytime A* are suggested to deal with dynamic environments, real-time constraints, and kinematic restrictions. This paper comprehensively and structurally reviews the A* algorithm and its major extensions, encompassing historical development, methodological …

Go to article

Skin Lesion Classification Using Cnn Model And Augmented Dataset, Mohammed Nawzad Mohammed-Ramzi, Aso M. Aladdin Jun 2026

Skin Lesion Classification Using Cnn Model And Augmented Dataset, Mohammed Nawzad Mohammed-Ramzi, Aso M. Aladdin

Journal of Soft Computing and Computer Applications

Skin cancer is a deadly disease. Skin lesion classification is a critical challenge due to its prevalent and deadly nature. Skin lesions are difficult for dermatologists to detect using eye examination, which is time-consuming and variable. A deep learning model of skin lesions classification has been proposed using a Convolutional Neural Network (CNN) trained on the HAM10000 dataset of 10,015 dermatoscopies. To improve resilience and address the dataset's extreme class imbalance, data augmentation techniques such as geometric transformations, brightness/contrast adjustments, blurring, noise addition, histogram equalization, color space alterations, and elastic deformations are used. With a carefully balanced 10% test set, …

Go to article

Efficiency Improvement Of Rag Based Slm For Edge Devices, Pavan Prashanth Avanigadda Jun 2026

Efficiency Improvement Of Rag Based Slm For Edge Devices, Pavan Prashanth Avanigadda

Master’s Dissertations

The increasing need to deploy language models on constrained devices has given rise to efficiency issues in retrieval-augmented generation (RAG) approaches. Although RAGs boost answers’ quality by retrieving knowledge from external sources, current methods utilize static retrieval mechanisms, resulting in unnecessary computation, higher latencies, and inefficiency in resource usage. In this work, an efficient RAG approach based on small language models (SLMs) is presented, which uses a efficient and adaptive retrieval scheme. This method dynamically changes the retrieval depth and context constrution based on the complexity of the query, using a trained MLP router whose routing decisions are learned from …

Go to article

Dynamic Property Ordering For Efficient Multi-Property Bounded Model Checking, Vivek Kumar Jun 2026

Dynamic Property Ordering For Efficient Multi-Property Bounded Model Checking, Vivek Kumar

Master’s Dissertations

Formal verification plays a critical role in ensuring the correctness of modern hardware designs. As the complexity of digital systems increases, designs are often associated with a large number of verification properties that must be analyzed within limited computational resources. In conventional multi-property bounded model checking (BMC), all properties are verified simultaneously. While this approach enables parallel analysis, difficult properties can consume a disproportionate amount of resources, causing simpler properties to be delayed and reducing the overall efficiency of bug detection. This thesis presents dynamic property ordering techniques for efficient multi-property verification using SAT-based bounded model checking in the ABC …

Go to article

A Study Of Prompt Tuning On Small Language Models(Slms): A Controlled Benchmark And A Lightweight Instance-Aware Method, Narkadamilli Sahith Jun 2026

A Study Of Prompt Tuning On Small Language Models(Slms): A Controlled Benchmark And A Lightweight Instance-Aware Method, Narkadamilli Sahith

Master’s Dissertations

Parameter-efficient fine-tuning (PEFT) adapts a frozen pre-trained language model by training only a small number of additional parameters. Among PEFT approaches, prompt tuning prepends trainable continuous vectors (soft prompts) to the input. A recurring finding in the literature is that prompt tuning is strongly scale dependent: it rivals full fine-tuning on very large models but lags on smaller ones. This dissertation studies prompt tuning specifically in the small-language-model (SLM) regime. We (i) re-implement a representative set of prompt-tuning methods—Prompt Tuning, P-Tuning v2, LoPT, DPT, DePT, ACCEPT, Residual Prompt Tuning, and PARA—within a single controlled harness, enabling a fair head-to-head comparison …

Go to article

Learning To See Lesions, Not Skin Tone: Counterfactual Multimodal Learning For Fair, Trustworthy, And Text-Free Dermatology Ai, Shivam Jangid Jun 2026

Learning To See Lesions, Not Skin Tone: Counterfactual Multimodal Learning For Fair, Trustworthy, And Text-Free Dermatology Ai, Shivam Jangid

Master’s Dissertations

Recent advances in deep learning have significantly improved the performance of automated skin lesion classification systems, enabling accurate detection of various dermatological conditions from medical images. Despite these achievements, concerns regarding fairness and generalization remain a major challenge for the deployment of such systems in real-world clinical settings. A key factor contributing to these challenges is the presence of bias in training datasets, particularly with respect to skin-tone representation. Most publicly available skin lesion datasets contain a disproportionate number of samples from individuals with lighter skin tones. As a result, deep learning models trained on these datasets often learn representations …

Go to article

Adaptive Spectral Trust Gate For Physics- Constrained Operator Learning, Soham Chakraborty Jun 2026

Adaptive Spectral Trust Gate For Physics- Constrained Operator Learning, Soham Chakraborty

Master’s Dissertations

Physics-informed machine learning improves the plausibility, data-efficiency and generalization of surrogate models by injecting prior physical knowledge into the learning process. The current approaches can be broadly divided into two main categories: soft constraints, which add a physics residual to the training loss but guarantee nothing at inference time, and hard constraints, which project the model output onto the constraint set exactly but apply the projection uniformly to every part of the signal — including parts that are dominated by noise, discretization error, or model mismatch, where the idealized physics is not actually trustworthy. This dissertation proposes the Adaptive Spectral …

Go to article

Load Profile Analysis And Forecasting For Rural Mini Grids In Uganda, Prossy Mutesi, Santos L. Kihwele, Emmanuel S. Matee Jun 2026

Load Profile Analysis And Forecasting For Rural Mini Grids In Uganda, Prossy Mutesi, Santos L. Kihwele, Emmanuel S. Matee

Tanzania Journal of Science

Accurate load forecasting is essential for the reliable and cost-effective operation of rural mini grids, where constrained generation capacity and high penetration of renewable energy resources require well-informed operational decisions. This study examines electricity demand characteristics and forecasting performance for the Buzaami and Ssenyondo mini grids in Uganda, with particular focus on diurnal load profiles, peak demand behavior, and seasonal variability. 2022 operational data show extended peak demand from early morning to late evening, driven by socio-economic activities that strain resource scheduling and reliability management. To address these challenges, the study evaluates and compares Long Short-Term Memory (LSTM) networks, fuzzy …

Go to article

First Prev Next Last