Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- Singapore Management University (9003)
- China Simulation Federation (3880)
- TÜBİTAK (3106)
- Wright State University (2694)
- Purdue University (2077)
-
- Old Dominion University (1996)
- Missouri University of Science and Technology (1926)
- University of Nebraska - Lincoln (1739)
- Edith Cowan University (1285)
- Air Force Institute of Technology (1277)
- University of Texas at El Paso (1174)
- Kennesaw State University (1161)
- Dartmouth College (1102)
- San Jose State University (1053)
- City University of New York (CUNY) (956)
- Embry-Riddle Aeronautical University (949)
- Washington University in St. Louis (830)
- Brigham Young University (823)
- Technological University Dublin (816)
- California Polytechnic State University, San Luis Obispo (788)
- Zayed University (677)
- University of Texas at Arlington (666)
- University for Business and Technology in Kosovo (637)
- Portland State University (625)
- Chulalongkorn University (618)
- Nova Southeastern University (577)
- New Jersey Institute of Technology (571)
- Syracuse University (531)
- University of Nebraska at Omaha (497)
- University of Central Florida (490)
- Keyword
-
- Machine learning (1664)
- Artificial intelligence (1018)
- Deep learning (1003)
- Machine Learning (756)
- Computer Science (702)
-
- Security (648)
- Cybersecurity (557)
- Artificial Intelligence (484)
- Deep Learning (432)
- Computer science (412)
- Privacy (410)
- Simulation (391)
- Technical Reports (390)
- UTEP Computer Science Department (389)
- Classification (375)
- Algorithms (357)
- Optimization (352)
- Computer vision (349)
- Neural networks (345)
- Data mining (337)
- AI (299)
- Natural language processing (293)
- Department of Computer Science and Engineering (291)
- Engineering (269)
- Education (268)
- Reinforcement learning (259)
- Blockchain (255)
- Cloud computing (255)
- College for Professional Studies (253)
- Software engineering (252)
- Publication Year
- Publication
-
- Research Collection School Of Computing and Information Systems (8458)
- Journal of System Simulation (3880)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Theses and Dissertations (2731)
- Department of Computer Science Technical Reports (1721)
-
- Computer Science & Engineering Syllabi (1312)
- Computer Science Faculty Publications (928)
- Departmental Technical Reports (CS) (914)
- Computer Science Faculty Research & Creative Works (907)
- Master's Projects (859)
- Computer Science Technical Reports (772)
- The R Journal (708)
- All Computer Science and Engineering Research (683)
- All Works (675)
- Faculty Publications (663)
- C-Day Computing Showcase (653)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (618)
- Dissertations (568)
- Electronic Theses and Dissertations (567)
- Kno.e.sis Publications (542)
- Journal of Digital Forensics, Security and Law (536)
- CCAC Theses and Dissertations (512)
- Walden Dissertations and Doctoral Studies (469)
- Computer Science Faculty Publications and Presentations (404)
- Theses (403)
- USF Tampa Graduate Theses and Dissertations (378)
- Neutrosophic Systems with Applications (375)
- Computer Science and Engineering Theses - Archive (365)
- Computer Science: Faculty Publications (364)
- Browse all Theses and Dissertations (359)
- Publication Type
Articles 391 - 420 of 62990
Full-Text Articles in Entire DC Network
Spatiotemporal Sycophancy: Negation-Based Gaslighting In Video Large Language Models, Ziyao Tang, Pengkun Jiao, Bin Zhu, Huiyan Qi, Jingjing Chen, Yu-Gang Jiang
Spatiotemporal Sycophancy: Negation-Based Gaslighting In Video Large Language Models, Ziyao Tang, Pengkun Jiao, Bin Zhu, Huiyan Qi, Jingjing Chen, Yu-Gang Jiang
Research Collection School Of Computing and Information Systems
Video Large Language Models (Vid-LLMs) have demonstrated remarkable performance in video understanding tasks, yet their robustness under conversational interaction remains largely underexplored. In this paper, we identify spatiotemporal sycophancy, a failure mode in which Vid-LLMs retract initially correct, visually grounded judgments and conform to misleading user feedback under negation-based gaslighting. Rather than merely changing their answers, the models often fabricate unsupported temporal or spatial explanations to justify incorrect revisions. To systematically investigate this phenomenon, we propose a negation-based gaslighting evaluation framework and introduce GasVideo-1000, a curated benchmark designed to probe spatiotemporal sycophancy with clear visual grounding and temporal reasoning requirements. …
Rendering Data Unlearnable By Exploiting Llm Alignment Mechanisms, Ruihan Zhang, Jun Sun
Rendering Data Unlearnable By Exploiting Llm Alignment Mechanisms, Ruihan Zhang, Jun Sun
Research Collection School Of Computing and Information Systems
Large language models (LLMs) are increasingly trained on massive, heterogeneous text corpora, raising serious concerns about the unauthorised use of proprietary or personal data during model training. In this work, we address the problem of data protection against unwanted model learning in a realistic blackbox setting. We propose Disclaimer Injection, a novel data-level defence that renders text unlearnable to LLMs. Rather than relying on model-side controls or explicit data removal, our approach exploits the models’ own alignment mechanisms: injecting carefully designed alignment-triggers to prevent effective learning. Through layer-wise analysis, we find that finetuning on such protected data induces persistent activation …
Train In Vain: Functionality-Preserving Poisoning To Prevent Unauthorized Use Of Code Datasets, Yuan Xiao, Yuchen Chen, Jiaming Wang, Wei Song, Jun Sun, Shiqing Ma, Yanzhou Mu, Juan Zhai, Chunrong Fang, Jin Song Dong, Zhenyu Chen
Train In Vain: Functionality-Preserving Poisoning To Prevent Unauthorized Use Of Code Datasets, Yuan Xiao, Yuchen Chen, Jiaming Wang, Wei Song, Jun Sun, Shiqing Ma, Yanzhou Mu, Juan Zhai, Chunrong Fang, Jin Song Dong, Zhenyu Chen
Research Collection School Of Computing and Information Systems
The widespread availability of large-scale code datasets has accelerated the development of code large language models (CodeLLMs), raising concerns about unauthorized dataset usage. Dataset poisoning offers a proactive defense by reducing the utility of such unauthorized training. However, existing poisoning methods often require full-dataset poisoning and introduce transformations that break code compilability. In this paper, we introduce FunPoison, a functionality-preserving poisoning approach that injects short, compilable weak-use fragments into executed code paths. FunPoison leverages reusable statement-level templates with automatic repair and conservative safety checking to ensure side-effect freedom, while a type-aware synthesis module preserves type correctness, suppresses static-analysis warnings, and …
Scattered Hypothesis Generation For Open-Ended Event Forecasting, He Chang, Zhulin Tao, Lifang Yang, Xianglin Huang, Yunshan Ma
Scattered Hypothesis Generation For Open-Ended Event Forecasting, He Chang, Zhulin Tao, Lifang Yang, Xianglin Huang, Yunshan Ma
Research Collection School Of Computing and Information Systems
Despite the importance of open-ended event forecasting for risk management, current LLM-based methods predominantly target only the most probable outcomes, neglecting the intrinsic uncertainty of real-world events. To bridge this gap, we advance open-ended event forecasting from pinpoint forecasting to scatter forecasting by introducing the proxy task of hypothesis generation. This paradigm aims to generate an inclusive and diverse set of hypotheses that broadly cover the space of plausible future events. To this end, we propose SCATTER, a reinforcement learning framework that jointly optimizes inclusiveness and diversity of the hypothesis. Specifically, we design a novel hybrid reward that consists of …
A Robust Hybrid Security Framework: Integrating Multi-Layered Text Encryption With Barcode-Based Steganography, Mohamed Sayed, Talaat M. Wahbi, Farooq Abdalwahab Haboub
A Robust Hybrid Security Framework: Integrating Multi-Layered Text Encryption With Barcode-Based Steganography, Mohamed Sayed, Talaat M. Wahbi, Farooq Abdalwahab Haboub
BAU Journal - Science and Technology
The widespread use of the Internet is causing increasing security concerns regarding online communications. One method for achieving secure communication between authorized parties is steganography. We herein employ multilevel technologies, including compression, encryption, barcoding, and steganography to secure a secret text message. Type I multilevel steganography is used with a two-level setup. The first level uses enhanced least significant bit (secure LSB-L1) image steganography; the output is a stego-image file, the cover is an image file, and the secret data in this level is English text. The output from the first level is encrypted using the RSA algorithm, and the …
Unmasking Twitter Bots: An Applied Machine Learning Approach, Rayane El Raba’A, Layal Abu Daher
Unmasking Twitter Bots: An Applied Machine Learning Approach, Rayane El Raba’A, Layal Abu Daher
BAU Journal - Science and Technology
The rapid growth of social networks has led to increased challenges, such as fraud, cyberbullying, and the spread of automated accounts (bots). Detecting anomalies within these networks is essential to maintaining security and trust. This study explored machine learning algorithms: Random Forest, XGBoost, Support Vector Machine (SVM), and Logistic Regression for anomaly detection in social networks, specifically focusing on Twitter bot identification, By applying AI-driven data mining techniques to a dataset of 37,438 Twitter bot accounts dataset, the research evaluates the effectiveness of these models in detecting unusual patterns. XGBoost achieved the highest accuracy (84.9%), with an ROA_AUC of 0.87, …
Enhanced E-Commerce Recommendation Experience With Collaborative Sentiment Analysis And Ranked Content-Based Filtering, Sandi El Zein, Farah Hamze, Amani Merhi, Lynn Noureddine, Lama Affara
Enhanced E-Commerce Recommendation Experience With Collaborative Sentiment Analysis And Ranked Content-Based Filtering, Sandi El Zein, Farah Hamze, Amani Merhi, Lynn Noureddine, Lama Affara
BAU Journal - Science and Technology
The rise of online shopping has made informed purchasing decisions increasingly difficult, as consumers face an overwhelming number of product choices and struggle to manually evaluate specifications and user reviews. This paper presents an AI-powered, sentiment-aware product recommendation tool that effectively aligns user preferences with real-world customer feedback from online reviews. The proposed system utilized Instruct ABSA deep learning models for feature extraction and DeBERTa-v3 for sentiment analysis to turn reviews into interpretable scores that would nominate optimal products. An interactive Rasa-based chatbot interface, TopPickAI, was developed to give a seamless user experience, educate users on product features, and conversationally …
Tumor-Immune Dynamics With Memory And Time Delay: A Fractional-Order Model With Ctla-4 Regulation, Mutaz Mohammad, Mohyeedden Sweidan, Alexander Trounev, Fathalla Rihan
Tumor-Immune Dynamics With Memory And Time Delay: A Fractional-Order Model With Ctla-4 Regulation, Mutaz Mohammad, Mohyeedden Sweidan, Alexander Trounev, Fathalla Rihan
All Works
This study develops a fractional-order tumor-immune interaction model incorporating Caputo memory effects, delayed immune activation, and CTLA-4 checkpoint regulation. The model describes the coupled dynamics of tumor cells, CD4^+ T cells, IFN-γ, and CTLA-4, and extends classical integer-order tumor-immune models by accounting for hereditary immune responses and biologically motivated latency effects. Theoretical properties, including positivity, boundedness, equilibrium structure, and fractional-order stability, are examined to establish the biological and mathematical consistency of the model. The delayed fractional system is then investigated computationally by comparing several numerical methods, including finite difference discretization, Daubechies wavelet collocation, Euler wavelet collocation, and a predictor-corrector scheme. …
An Interactive Multi-Objective Programming Approach For Optimizing Fully Trapezoidal Spherical Fuzzy Linear Programming Problem With Application, Sultan S. Alodhaibi, Hissah Ibrahim Almuzini, Hamiden Abd El-Wahed Khalifa
An Interactive Multi-Objective Programming Approach For Optimizing Fully Trapezoidal Spherical Fuzzy Linear Programming Problem With Application, Sultan S. Alodhaibi, Hissah Ibrahim Almuzini, Hamiden Abd El-Wahed Khalifa
Neutrosophic Systems with Applications
In this paper, a linear programming framework with completely uncertain parameters is investigated by employing trapezoidal spherical fuzzy numbers (TrSFNs). The proposed formulation incorporates a spherical fuzzy (SF) decision environment in which the optimization process simultaneously maximizes the degree of positive membership while minimizing the corresponding neutral and negative membership degrees. By utilizing the concept of the α -cut associated with TrSFNs, the original fully fuzzy linear programming problem is transformed into an interval-valued linear programming model with confidence levels. To rank and compare the resulting interval objective values, an interval ordering approach based on the decision maker's preferences—considering the …
Interval-Valued Neutrosophic Dombi Bonferroni Mean Aggregation Operators In Medical Diagnosis And Sustainable Energy, Maryam Faisal, Muhammad Nadeem, Muhammad Kamran
Interval-Valued Neutrosophic Dombi Bonferroni Mean Aggregation Operators In Medical Diagnosis And Sustainable Energy, Maryam Faisal, Muhammad Nadeem, Muhammad Kamran
Neutrosophic Systems with Applications
Medical diagnosis is one of the most difficult fields in which decisions must be made due to the fact that medical information often has characteristics of uncertainty, incompleteness, imprecision and even contradiction. Traditional aggregation and decision-making methods are often not well suited to such complexities, and may result in less reliable diagnostic outcomes. In order to overcome these drawbacks, the authors propose a new approach using a novel representation of Interval-Valued Neutrosophic Sets (IVNSs), the Dombi operational laws, and Bonferroni Mean (BM) aggregation operators. The proposed framework is specifically aimed at coping with uncertainty, indeterminacy and falsity all at once …
Exploiting Uncertainty Of Computational Methodology In Optimizing User Interface In Human-Computer Interaction, Nada Mohamed, Alshaimaa A. Tantawy
Exploiting Uncertainty Of Computational Methodology In Optimizing User Interface In Human-Computer Interaction, Nada Mohamed, Alshaimaa A. Tantawy
Neutrosophic Systems with Applications
Human-computer interaction (HCI) evaluation and optimization of user interfaces (UIs) constitute a complex multi-criteria decision-making challenge, marked by conflicting evaluation dimensions, subjective expert judgments, and inherent uncertainty in user experience assessment. Traditional evaluation approaches, such as heuristic expert reviews and user satisfaction surveys, rely on sharp, binary classifications that fail to capture the gradual and overlapping nature of human cognitive and affective states. This limitation necessitates a more robust uncertainty-aware methodology that can model the true complexity of HCI evaluation. This paper proposes a hybrid mathematical model that integrates various Multi-Criteria Decision Making (MCDM) techniques of Entropy, and Simple Additive …
Generative Endurance Logic: An Axiomatic Framework For Reasoning About Outcome-Generating Objects Under Constraints, Hafiz Burhan Ul Haq, Muhammad Nauman Irshad
Generative Endurance Logic: An Axiomatic Framework For Reasoning About Outcome-Generating Objects Under Constraints, Hafiz Burhan Ul Haq, Muhammad Nauman Irshad
Neutrosophic Systems with Applications
This paper introduces Generative Endurance Logic (GEL), a formal framework for studying objects through the outcomes they can produce. In many cases, an object cannot be judged only by a fixed truth value, score, or utility value. A rule, model, action, or strategy may behave well in one situation but fail when the context changes or when small perturbations occur. GEL addresses this issue by treating each object as a generator of outcomes. Each object a is linked to a generation map Ga:X×Ω→Y, where X is the context space, Ω is the …
Recursive Neutrosophic Superhypergraphs With Illustrative Applications, Takaaki Fujita, Ajoy Kanti Das, Suman Das, Sankar Prasad Mondal, Volkan Duran
Recursive Neutrosophic Superhypergraphs With Illustrative Applications, Takaaki Fujita, Ajoy Kanti Das, Suman Das, Sankar Prasad Mondal, Volkan Duran
Neutrosophic Systems with Applications
Finite hypergraphs generalize ordinary graphs by permitting each hyperedge to join any nonempty set of vertices, and thus provide a natural model for truly multiway interactions. To represent hierarchical and multi-layer structure, SuperHyperGraphs iterate the powerset operation so that set-valued entities created at one level can be treated as vertices at higher levels. Independently, recursive hypergraphs allow edge recursion: an edge may contain not only vertices but also lower-level edges, yielding nested (and possibly self-referential) incidence controlled by a specified recursion depth. In this work we introduce and axiomatize Recursive Neutrosophic SuperHyperGraphs, a unified framework that combines vertex …
Forecasting Covid-19 New Cases Using Nbeats Deep Learning And Mobility Data, Amril Nazir, Mohammad Shorfuzzaman, Muhammad Lujaini Lotfi, Firuz Kamalov, Sufian Badawi, Maen Takruri, Abdul Halim Jallad
Forecasting Covid-19 New Cases Using Nbeats Deep Learning And Mobility Data, Amril Nazir, Mohammad Shorfuzzaman, Muhammad Lujaini Lotfi, Firuz Kamalov, Sufian Badawi, Maen Takruri, Abdul Halim Jallad
All Works
COVID-19 is a highly contagious disease transmitted primarily through human contact. Therefore, understanding population mobility is essential for predicting COVID-19 case trends. In this paper, we propose a novel deep learning approach for forecasting new COVID-19 cases using a neural architecture called Neural Basis Expansion Analysis for Interpretable Time Series (N-BEATS). The N-BEATS model effectively handles long input sequences and large output horizons without information loss or increased computational complexity. We compare the performance of N-BEATS with a state-of-the-art benchmark model, LSTM-Markov, across four major countries: the United States, the United Kingdom, Russia, and Brazil. Three distinct COVID-19 datasets from …
Modern Architecture Of Muqarnas In Damascus: An Original Computational Methodology, Nahed Jawad Chakouf
Modern Architecture Of Muqarnas In Damascus: An Original Computational Methodology, Nahed Jawad Chakouf
All Works
The research aimed to revive muqarnas using digital computational tools, drawing on the techniques of Damascene craftsmen and ancient manuscripts. It involved designing contemporary muqarnas with double-curvature vaults and large spans, incorporating new unit designs and compositional techniques. In Section I, the researcher conducted pre-design studies on four muqarnas types, each associated with one of the four Damascene architectural styles. These studies examined the geometry and behavior of muqarnas types when used on traditional domed surfaces. Section II included a design study of the Dome of the Eagle of the Umayyad Mosque in Damascus, using modern software tools such as …
Operationalizing Supply-Chain Hygiene In Graduate Is Education: A Hands-On Module For Secure Software And Ai/Ml Pipelines, Dominic A. Wilson
Operationalizing Supply-Chain Hygiene In Graduate Is Education: A Hands-On Module For Secure Software And Ai/Ml Pipelines, Dominic A. Wilson
Journal of Cybersecurity Education, Research and Practice
Supply-chain attacks (including typosquatting, dependency confusion, compromised builds, dataset poisoning, and backdoored models) pose growing threats to analytics platforms central to Information Systems (IS). While frameworks like the Secure Software Development Framework (SSDF) and Supply-chain Levels for Software Artifacts (SLSA) offer guidance, IS curricula often lack accessible, infrastructure-light modules that build practical skills for mitigating these risks. This experience report presents a two-week module embedded in a graduate Secure Coding course required for a Master’s in Applied Security and Analytics degree. The module operationalizes secure development habits across both traditional software and machine learning (ML) pipelines. The module addresses a …
The Nist Artificial Intelligence Risk Management Framework: Adoption Challenges And Opportunities, Gillian Kennedy, Devin Patel, Humza Sheikh, Paul Wagner, Robert J. Honomichl
The Nist Artificial Intelligence Risk Management Framework: Adoption Challenges And Opportunities, Gillian Kennedy, Devin Patel, Humza Sheikh, Paul Wagner, Robert J. Honomichl
Journal of Cybersecurity Education, Research and Practice
Artificial intelligence (AI) is being adopted at an exponential rate to improve efficiency, decision-making, and cybersecurity, but its rapid integration introduces new and often poorly understood risks, including system errors, algorithmic bias, data privacy concerns, security vulnerabilities, and ethical dilemmas. This paper examines how organizations are implementing AI and evaluates the National Institute of Standards and Technology's AI Risk Management Framework (NIST AI RMF) as a tool for managing these risks. It reviews the benefits of AI adoption alongside the risks emerging from its use in business and broader society and examines the legal and ethical challenges organizations face when …
Parametric Modular Answer Set Programs Made Declarative, Jorge Fandinno, Yuliya Lierler, Torsten Schaub
Parametric Modular Answer Set Programs Made Declarative, Jorge Fandinno, Yuliya Lierler, Torsten Schaub
Computer Science Faculty Publications
In this paper, we explore the concept of modularity in first-order answer set programming (ASP). We introduce a new formalism called parametric modular logic programs, which allows defining subprograms with parameters and intensionality statements. We demonstrate how this formalism can capture the semantics of clingo-programs with collective control , a feature that enables structuring and instantiating subprograms. We provide theoretical foundations for modular ASP, illustrate its usefulness, and connect to traditional non-modular ASP.
On The Use Of Lorawan For Smart Fishing Applications In The Blue Economy Sector, Eva Shayo
On The Use Of Lorawan For Smart Fishing Applications In The Blue Economy Sector, Eva Shayo
Tanzania Journal of Engineering and Technology (TJET)
The growth of digital technology is expected to transform small-scale fishery sectors, where a need for robust, low-cost, long-range communication networks becomes critical. There exist several technologies that are used in the fishery sector but they are never affordable to small scale fisheries. This study evaluates the feasibility of using low cost Long Range Wide Area Network (LoRaWAN) technology specifically tailored for smart fishing environments to small scale fishery sector. Using simulation, we assess the performance of the key performance metrics including probability of success and energy efficiency under varying device densities and time. During evaluation, we considered end devices …
The Impact Of Gender Sensitization On Requirements Elicitation: A Controlled Experiment, Ruthbertha Kateule, Salome Maro, Leonard Peter Binamungu
The Impact Of Gender Sensitization On Requirements Elicitation: A Controlled Experiment, Ruthbertha Kateule, Salome Maro, Leonard Peter Binamungu
Tanzania Journal of Engineering and Technology (TJET)
Previous studies in software engineering have reported the importance of considering gender aspects in various software engineering activities, including requirements engineering, however, to the best of our knowledge, no work has investigated the impact of gender sensitisation on eliciting gender inclusive software requirements. The objective of this study was to understand the impact of gender sensitisation on software requirements elicitation. We conducted a controlled experiment using 40 undergraduate students from three different computing programs at the University of Dar es Salaam. The 40 participants were divided into 9 groups with both males and females. The participants were asked to elicit …
Enhancing Community Engagement Through ‘Nitunze Kilombero’ Mobile App: Case Of Climate Land Use And Cover Management For Kilombero Basin, Ghanima Chanzi, Subira Munishi
Enhancing Community Engagement Through ‘Nitunze Kilombero’ Mobile App: Case Of Climate Land Use And Cover Management For Kilombero Basin, Ghanima Chanzi, Subira Munishi
Tanzania Journal of Engineering and Technology (TJET)
The Kilombero Basin in southeastern Tanzania faces significant challenges due to rapid land use and land cover (LULC) changes driven by climate change, population growth, and unsustainable farming practices. This study assessed the role of community engagement and digital reporting through the 'NITUNZE KILOMBERO', mobile application in supporting water resources management in the basin. The App facilitates real-time reporting of environmental issues, provides educational resources, and enables collaboration between local communities and authorities. A mixed-methods approach, including household surveys and key informant interviews, was employed to assess the app's effectiveness. Results indicate high community awareness of LULC impacts, with 85% …
Trustworthy Reinforcement Learning And Communication-Efficient Multi-Agent Systems, Rui Zuo
Trustworthy Reinforcement Learning And Communication-Efficient Multi-Agent Systems, Rui Zuo
Dissertations - ALL
The rapid proliferation of autonomous systems, such as Unmanned Aircraft Systems (UAS) transitioning to large-scale Beyond Visual Line of Sight (BVLOS) operations, demands a paradigm shift toward reliable, transparent, and resilient autonomy. While Deep Reinforcement Learning (DRL) and Multi-Agent Reinforcement Learning (MARL) have demonstrated exceptional capabilities in complex decision-making and coordination, their real-world deployment in safety-critical domains is hindered by two fundamental challenges. First, the opaque, "black-box" nature of DRL models prevents human operators from understanding and trusting the agents' underlying logic. Second, as multi-agent operations scale, they become severely constrained by the stochastic link qualities and strict bandwidth limitations …
Scaling Logical Reasoning On Modern Hpc Hardware, Yihao Sun
Scaling Logical Reasoning On Modern Hpc Hardware, Yihao Sun
Dissertations - ALL
Deductive logic reasoning has evolved from a theoretical symbolic artificial intelligence tool into a massive computational workload. Modern domains, ranging from static program analysis and binary reverse engineering to knowledge-graph reasoning, rely on Datalog, a logical query language, to express deeply recursive, declarative specifications. However, scaling logic reasoning to these industrial workload exposes two interlocking ceilings in traditional engines. Architecturally, the memory bandwidth and parallel throughput of single-node CPUs fall drastically short of the read- and write-heavy demands of semi-naive evaluation. Asymptotically, traditional query processing algorithms, such as binary join algorithms generate massive intermediate relations that exhaust device memory on …
(R2077) Enhancing Queue Management: Dynamic Server Allocation And Optional Services In Stochastic Modeling, G. Ayyappan, S. Sankeetha
(R2077) Enhancing Queue Management: Dynamic Server Allocation And Optional Services In Stochastic Modeling, G. Ayyappan, S. Sankeetha
Applications and Applied Mathematics: An International Journal (AAM)
Consider a queueing system with a single server, where customer arrivals follow a Markovian arrival process and service times follow a phase-type distribution. The main server has the capability to recruit an additional server when the number of customers in the system exceeds a certain threshold, denoted as L. Both servers provide normal service to customers, and optional service is provided upon request. The main server takes multiple vacations, with the durations following an exponential distribution with rate parameter η, until there is at least one customer in the system. This system can be represented as a Markov chain process, …
(R2142) Queueing System With Batched Services, Server-Controlled Re-Service, Set-Up Time And Multiple Vacation, S. Karpagam, N. Aarthy, B. Somasundaram
(R2142) Queueing System With Batched Services, Server-Controlled Re-Service, Set-Up Time And Multiple Vacation, S. Karpagam, N. Aarthy, B. Somasundaram
Applications and Applied Mathematics: An International Journal (AAM)
To analyze a bulk queueing system with server-controlled admission for reservice, low-batch service, multiple vacation and set-up time. The study explores how the server dynamically adjusts between low-batch and bulk services based on the queue size. After completing a bulk service, the departing batch may request reservice with a certain probability. However, accepting the request is not mandatory, and the server admits it with some probability. Whenever the queue becomes empty, whether after reservicing, completing service with no reservice request, or ending the low-batch service, the server enters a random-length vacation. If the queue still has less than ‘a’ customers …
From Detection To Segmentation: A Foundation Model Approach To Organoid Brightfield Image Analysis Using Sam 3, Hiren Manani
From Detection To Segmentation: A Foundation Model Approach To Organoid Brightfield Image Analysis Using Sam 3, Hiren Manani
Theses - ALL
This thesis presents the first systematic application of SAM 3, a unified foundation model for promptable segmentation, to mouse small intestinal organoid brightfield microscopy image analysis. The work spans the complete pipeline from zero-shot baseline evaluation through domain-specific fine-tuning on a GPU cluster, and documents the full engineering process required to adapt a state-of-the-art foundation model to a novel biomedical imaging domain. A comprehensive literature review of over 20 papers spanning detection-based, classical segmentation, foundation model, and morphological analysis approaches identified a clear research gap that this thesis addresses. Five critical compatibility patches were developed to deploy SAM 3 on …
Constrained Neural Intelligence: Investigations Into Deep Multi-Objective Optimization, Naveed Tahir
Constrained Neural Intelligence: Investigations Into Deep Multi-Objective Optimization, Naveed Tahir
Dissertations - ALL
Neural intelligence is identified with complex learning problems optimized over the high-dimensional, non-convex parameter spaces of deep neural networks. Solving such problems generally requires handling competing objectives and conflicting constraints. This is traditionally dealt with using heuristic methods that collapse such complexity into unconstrained, singular objectives. While computationally convenient, this invites a tradeoff against the precision and stability afforded by non-heuristic, geometry-aware approaches. This dissertation explores constrained multi-objective learning in various applied and theoretical contexts and highlights the feasibility of approximate methods as well as the necessity of exact methods. We propose a framework for equality-constrained deep learning via approximate …
Molecular Identification Of Cryptococcus Albidus Isolated From A Gingivitis Infection In A Male From Karbala City, Iraq, Maysaa Taqi Al-Khazali, Zahraa Raheem Murshidy, Sarah Kadhim Al-Rahimy, Sura Abd Ali Kadhim Mohammed, Dhuha Ali Hussein
Molecular Identification Of Cryptococcus Albidus Isolated From A Gingivitis Infection In A Male From Karbala City, Iraq, Maysaa Taqi Al-Khazali, Zahraa Raheem Murshidy, Sarah Kadhim Al-Rahimy, Sura Abd Ali Kadhim Mohammed, Dhuha Ali Hussein
Karbala International Journal of Modern Science
The current study presents a case of gingivitis caused by Cryptococcus albidus in a 35-year-old male from the city of Karbala in Iraq. This fungal species was identified via morphology, microscopy, additionally to the VITEK system. C. albidus was further confirmed using the polymerase chain reaction (PCR) technique by amplifying the 18S rRNA gene as a universal primer and sequencing. Sequences analysis revealed that this strain of C. albidus had not been previously documented in the NCBI database. Hence, the newly obtained sequences were submitted to the GenBank repository and assigned the accession number OQ975882.1, marking the first report of …
A Scoping Review Of Sycophancy In Large Language Models: Operational And Theoretical Recognition, Kallen Zhou, Manning Littlejohn, Isabella Garrard
A Scoping Review Of Sycophancy In Large Language Models: Operational And Theoretical Recognition, Kallen Zhou, Manning Littlejohn, Isabella Garrard
Endeavors: Mississippi State Undergraduate Research Journal
As large language models (LLMs) usage grows across different domains, sycophancy, the tendency for output to align with users, is increasingly being recognized as a primary issue arising from applying LLMs into critical areas. Current research has provided a variety of theoretical definitions, mitigation techniques, and quantification for sycophancy. However, there is little to no consistency across different papers. This scoping review seeks to connect different works on LLM sycophancy by identifying themes in theoretical definitions, measurement methods, and inducement techniques of sycophancy. By analyzing 26 papers (preprints, conference proceedings, and journal articles) from arXiv, ACL Anthology, and Scopus, this …
Exploration Of Talent Cultivation System And Practical Model For Simulation And Optimization Of Intelligent Manufacturing System, Xinyu Li, Zheng Duan, Liang Gao, Chunjiang Zhang, Peigen Li
Exploration Of Talent Cultivation System And Practical Model For Simulation And Optimization Of Intelligent Manufacturing System, Xinyu Li, Zheng Duan, Liang Gao, Chunjiang Zhang, Peigen Li
Journal of System Simulation
To address problems such as the insufficient integration of science and education in the talent cultivation system for traditional manufacturing system simulation and optimization, the insufficient integration of industry and education in cultivation goals and approaches, and the lack of full-chain industrial-level practical cultivation means, a "1223" reform scheme for innovative talent cultivation in the intelligent manufacturing system was formed. Research and practice were carried out focusing on the talent cultivation system, cultivation approaches, and practical cultivation resources for the simulation and optimization of the intelligent manufacturing system. Significant outcomes were achieved in aspects of innovative talent cultivation, faculty and …