Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- University of Nebraska - Lincoln (5064)
- Singapore Management University (4086)
- TÜBİTAK (2454)
- Old Dominion University (1984)
- Missouri University of Science and Technology (1877)
-
- Utah State University (1554)
- Wright State University (1526)
- Air Force Institute of Technology (1419)
- Louisiana State University (1357)
- Edith Cowan University (1269)
- Purdue University (1211)
- University of Kentucky (1149)
- University of South Florida (1081)
- Portland State University (1074)
- University of Nevada, Las Vegas (1066)
- City University of New York (CUNY) (902)
- University of Arkansas, Fayetteville (811)
- Embry-Riddle Aeronautical University (793)
- Nova Southeastern University (774)
- California Polytechnic State University, San Luis Obispo (762)
- Brigham Young University (759)
- Dartmouth College (755)
- China Simulation Federation (748)
- University of Texas Rio Grande Valley (730)
- Claremont Colleges (723)
- Technological University Dublin (718)
- San Jose State University (678)
- Wayne State University (671)
- Walden University (661)
- University of Central Florida (615)
- Keyword
-
- Machine learning (846)
- Artificial intelligence (572)
- Security (530)
- Sustainability (469)
- Climate change (459)
-
- Computer Science (438)
- Cybersecurity (431)
- Machine Learning (423)
- Deep learning (421)
- Education (418)
- Mathematics (365)
- Privacy (346)
- Artificial Intelligence (300)
- Computer science (288)
- Simulation (267)
- Western Kentucky University (248)
- Engineering (246)
- Social media (234)
- Communication (232)
- Applied sciences (219)
- Algorithms (218)
- Deep Learning (218)
- United States (215)
- Technology (211)
- Blockchain (209)
- College for Professional Studies (209)
- Optimization (202)
- Cloud computing (201)
- Conservation (200)
- School of Computer & Information Science (196)
- Publication Year
- Publication
-
- Research Collection School Of Computing and Information Systems (3730)
- Theses and Dissertations (2990)
- Turkish Journal of Electrical Engineering and Computer Sciences (1539)
- Faculty Publications (963)
- Electronic Theses and Dissertations (945)
-
- Department of Computer Science Technical Reports (822)
- Journal of System Simulation (748)
- Walden Dissertations and Doctoral Studies (657)
- Dissertations (637)
- USF Tampa Graduate Theses and Dissertations (618)
- Computer Science Faculty Research & Creative Works (573)
- Kno.e.sis Publications (541)
- Masters Theses (512)
- Journal of Electrochemistry (471)
- Master's Projects (457)
- Theses (432)
- Communications on Stochastic Analysis (424)
- Computer Science Faculty Publications (424)
- United States Department of Agriculture Wildlife Services: Staff Publications (423)
- Graduate Theses and Dissertations (402)
- CCAC Theses and Dissertations (399)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (391)
- School of Natural Resources: Faculty Publications (388)
- Journal of Modern Applied Statistical Methods (383)
- All Graduate Theses and Dissertations, Spring 1920 to Summer 2023 (376)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (375)
- All Works (372)
- Open Access Theses & Dissertations (370)
- LSU Master's Theses (367)
- Silver Bow Creek/Butte Area Superfund Site (354)
- Publication Type
Articles 421 - 450 of 69354
Full-Text Articles in Entire DC Network
Smart Atm, Majid Hakeem
Smart Atm, Majid Hakeem
Systems Manuals - 2026
The Smart ATM is a new system that goal is to create a new experience for ATMs users by creating a different way of using the ATM. It would protect users from germs and bacteria. Instead of using buttons and touch screens, the main input for this system will be the motion sensor. To specify, the system uses Microsoft Kinect, which is the motion sensor for the Xbox One.
This document is a user guide, which is intended to give assistance to users for using the Smart ATM. This document contains an application overview, list of user requirements, the design …
Idioma Tutor, Oralia Mijares
Idioma Tutor, Oralia Mijares
Systems Manuals - 2026
The Idioma Tutor was developed specifically for individuals who desire to learn English through a non-traditional approach, eLearning. Idioma Tutor is an interactive game designed to strengthen individual’s English language adaptation, using an individual-learner approach. The game uses immediate feedback to provide self-analysis for learners. It captivates users and applies best-practices in eLearning and game development to retain and fully engage learners. This system manual outlines provides detailed information for using the Idioma Tutor. This system will be used as a catalyst to support the success of individuals who desire to learn the English language in a fun and interactive …
Solving Rubik's Cube By Using Artificial Intelligence, Polat Coban, Seth Reed
Solving Rubik's Cube By Using Artificial Intelligence, Polat Coban, Seth Reed
Systems Manuals - 2026
This document will detail a proposal to build a Rubik’s cube simulator, and a Rubik’s cube solver. It is broken into several sections which in turn are broken into subsections.
Math 119: Math For Elementary School Teachers Instructor Guide, Seth Lehman
Math 119: Math For Elementary School Teachers Instructor Guide, Seth Lehman
Open Educational Resources
OER instructor guide for Math 119: Math for Elementary School Teachers at Queens College
Sustainable Extraction Of A New Diketopiperazine, Anthony Chapman
Sustainable Extraction Of A New Diketopiperazine, Anthony Chapman
Rose-Hulman Undergraduate Research Publications
No abstract provided.
Physics-Informed Machine Learning For Predictive Digital Twins In Greenhouses, Hoang Kim Tran
Physics-Informed Machine Learning For Predictive Digital Twins In Greenhouses, Hoang Kim Tran
Graduate Theses and Dissertations
Greenhouses are widely used to create controlled environments for crop production, where indoor climate variables such as air temperature, relative humidity, CO2 concentration, radiation, and soil or substrate conditions directly affect plant growth, yield, energy consumption, and resource use. However, greenhouse climates are highly dynamic because they are influenced by complex interactions among outdoor weather, greenhouse structure, crop transpiration, heating systems, ventilation, screens, fans, irrigation, and other actuators. Building digital twins for greenhouses provides a powerful way to represent, monitor, and predict these climate dynamics. A predictive digital twin can simulate future indoor climate states based on current greenhouse conditions, …
Advancing Social Media Analytics And Personalized Generation Via Transfer Learning, Discourse-Aware Modeling, And Collaborative Modeling, Gibson Nkhata
Graduate Theses and Dissertations
Social media platforms have become central to information exchange, shaping public opinion across social, political, and economic domains. However, the massive volume of user-generated content, combined with its informal, nuanced, and often noisy nature, presents significant challenges for automated analysis and generation. Tasks such as stance detection, rumor verification, and personalized content generation are further complicated by sarcasm, evolving discourse structures, and diverse user preferences. Addressing these challenges requires models that can effectively leverage linguistic nuance, conversational dynamics, and collaborative user signals. Transfer learning has emerged as a powerful paradigm for improving performance in low-resource and complex language understanding tasks. …
Towards Audio-Driven Photorealistic Avatars For Teleconsultation: A Development And Evaluation Framework Under Constrained Bandwidth Environments, Fnu Himanshu
Graduate Theses and Dissertations
Telehealth can improve access to healthcare services, especially for patients in rural and underserved areas. Many telehealth services use video communication to provide real-time interaction and a visible connection between patients and healthcare providers. However, video communication requires continuous transmission of audio and video data. When network conditions are limited or unreliable, audio and video interruptions can reduce communication quality. This thesis explores an audio-driven photorealistic avatar as a possible visual communication layer for teleconsultation without requiring continuous webcam video transmission. It develops two connected frameworks: the Audio-Driven Photorealistic Avatar Communication Framework and the Evaluation Framework. The Audio-Driven Photorealistic Avatar …
Improving Urban Search And Rescue Team Coordination Through Adaptive Context Awareness, Daniel Reyes Duran
Improving Urban Search And Rescue Team Coordination Through Adaptive Context Awareness, Daniel Reyes Duran
Doctoral Dissertations and Master's Theses
Modern multi-agent Urban Search and Rescue (USAR) operations heavily rely on mobile geospatial Common Operating Pictures (COPs) to maintain team coordination and Situational Awareness (SA). However, the proliferation of high-frequency sensor telemetry at the tactical edge has introduced a data saturation paradox challenge: while information theoretically drives informed decision-making, unmanaged data surges induce increased operator cognitive overload and alert fatigue on mobile End-User Devices (EUDs), while downstream data-broadcasting models inherently strain edge processing and viewport environments.
To resolve these constraints, this dissertation presents a context-aware Value of Information (VoI) data-management framework integrated directly with a custom, event-driven Android Team Awareness …
Operational Agency: A Permeable Legal Fiction For Tracing Culpability In Ai Systems, Anirban Mukherjee, Hannah H. Chang
Operational Agency: A Permeable Legal Fiction For Tracing Culpability In Ai Systems, Anirban Mukherjee, Hannah H. Chang
Research Collection Lee Kong Chian School Of Business
Modern artificial intelligence (AI) systems act with a high degree of independence yet lack legal personhood—a paradox that fractures doctrines grounded in human-centric notions of mens rea and actus reus. This Article introduces Operational Agency (OA)—a permeable legal fiction structured as an ex post evidentiary framework—and Operational Agency Graph (OAG)—a tool for mapping causal interactions among human actors, organizations, and AI systems. OA evaluates an AI’s observable operational characteristics: its goal-directedness (as a proxy for intent), predictive processing (as a proxy for foresight), and safety architecture (as a proxy for standard of care). OAG operationalizes that analysis by embedding these …
Activity Transition Graph Generation: How Far Are We?, Jiakun Liu, Peixin Zhang, Han Hu, Yonghui Liu, Wei Minn, Ferdian Thung, Shahar Maoz, Eran Toch, Debin Gao, David Lo
Activity Transition Graph Generation: How Far Are We?, Jiakun Liu, Peixin Zhang, Han Hu, Yonghui Liu, Wei Minn, Ferdian Thung, Shahar Maoz, Eran Toch, Debin Gao, David Lo
Research Collection School Of Computing and Information Systems
Android applications (i.e., apps) are indispensable nowadays and are getting bigger and bigger with an increasing number offunctionalities. To understand how to access functionalities in an app, prior studies proposed tools to model the transitionsbetween functionalities with the activity transition graph (ATG). ATG is an important data structure and has been used forvarious Android app analyses, including app design, understanding, and testing. However, there is no benchmarking work onATG generation. It is still unclear whether the transitions identified by tools are correct and how many transitions are missed.To fill this gap, we manually identified all transitions in 98 applications to …
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 …
Co-Matching: Towards Human–Model Collaborative Legal Case Matching, Chen Huang, Xinwei Yang, Yang Deng, Wenqiang Lei, Jiancheng Lv, Tat-Seng Chua
Co-Matching: Towards Human–Model Collaborative Legal Case Matching, Chen Huang, Xinwei Yang, Yang Deng, Wenqiang Lei, Jiancheng Lv, Tat-Seng Chua
Research Collection School Of Computing and Information Systems
Recent efforts have aimed to improve AI models in legal case matching by integrating legal domain knowledge. However, successful legal case matching requires the tacit knowledge of legal practitioners, which is difficult to verbalize and encode into models. This emphasizes the crucial role of involving legal practitioners in high-stakes legal case matching. To address this, we propose a collaborative matching framework called Co-Matching, which encourages both the model and the legal practitioner to participate in the matching process, integrating tacit knowledge. Unlike existing methods that rely solely on the model, Co-Matching allows both the legal practitioner and the model to …
Farm Workers And The Structural Basis Of Climate Change Perceptions, Cody Mortell, Anna Erwin, Zhao Ma, Dongkyu Kim, Elizabeth Rodriquez, Marla Perez-Lugo
Farm Workers And The Structural Basis Of Climate Change Perceptions, Cody Mortell, Anna Erwin, Zhao Ma, Dongkyu Kim, Elizabeth Rodriquez, Marla Perez-Lugo
School of Earth, Environmental, & Marine Sciences Faculty Publications
Farm workers are particularly vulnerable to climate change, especially from extreme heat; however, little is known about how they perceive this risk. This study examines climate change perceptions (CCP) among 404 farm workers surveyed in person in the Lower Rio Grande Valley, Texas from April to May 2024. Guided by Pierre Bourdieu’s theory of practice, we conducted a latent class analysis of economic, cultural, social, and symbolic capital indicators to identify distinct class profiles. We then assessed CCP by latent profile, using two primary outcome variables: (1) perceived temperature trends in the region (assessed alongside NOAA data) and (2) perceived …
2026 Final Insufficiently Reclaimed Sites Quality Assurance Project Plan (Qapp), Pioneer Technical Services, Inc.
2026 Final Insufficiently Reclaimed Sites Quality Assurance Project Plan (Qapp), Pioneer Technical Services, Inc.
Silver Bow Creek/Butte Area Superfund Site
No abstract provided.
Anomaly Management In Unmanned Aerial Vehicles: A Systematic Literature Review, Ivan Tan Wei Han, Christopher M. Poskitt, Lingxiao Jiang, Lwin Khin Shar
Anomaly Management In Unmanned Aerial Vehicles: A Systematic Literature Review, Ivan Tan Wei Han, Christopher M. Poskitt, Lingxiao Jiang, Lwin Khin Shar
Research Collection School Of Computing and Information Systems
Unmanned Aerial Vehicles (UAVs) are increasingly deployed in safety-critical applications such as logistics, surveillance, disaster response, and urban air mobility. While their autonomy enables powerful capabilities, it also introduces vulnerabilities due to hardware faults, software defects, communication failures, and adversarial interference. This survey presents a comprehensive review of research studies closely related to UAV anomalies published between 2015 and 2025, covering 111 papers from academic and industrial sources. We introduce a unified five-pillar taxonomy—anomaly generation, prevention, detection, recovery, and analysis—that organizes existing work across the full anomaly management lifecycle. In contrast to prior surveys that focus primarily on detection algorithms, …
Air: Improving Agent Safety Through Incident Response, Zibo Xiao, Jun Sun, Junjie Chen
Air: Improving Agent Safety Through Incident Response, Zibo Xiao, Jun Sun, Junjie Chen
Research Collection School Of Computing and Information Systems
Large Language Model (LLM) agents are increasingly deployed in practice across a wide range of autonomous applications. Yet current safety mechanisms for LLM agents focus almost exclusively on preventing failures in advance, providing limited capabilities for responding to, containing, or recovering from incidents after they inevitably arise. In this work, we introduce AIR, the first incident response framework for LLM agent systems. AIR defines a domain-specific language for managing the incident response lifecycle autonomously in LLM agent systems, and integrates it into the agent's execution loop to (1) detect incidents via semantic checks grounded in the current environment state and …
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 …
Recent Advances In Phosphatidylinositol Phosphate Kinases (Pipks) And Their Inhibitors, Mengxia Sun, Jian Hu, Xuefei Huang
Recent Advances In Phosphatidylinositol Phosphate Kinases (Pipks) And Their Inhibitors, Mengxia Sun, Jian Hu, Xuefei Huang
BAU Journal - Science and Technology
Phosphatidylinositol phosphate kinases (PIPKs) are an important class of enzymes in humans, which produce lipid signaling molecules playing central roles in pathogenesis of diseases such as cancer, neurodegenerative diseases, and viral infection. Consequently, they are attracting increasing attention as drug targets for disease treatment. This review summarizes the functions of the PIPK family enzymes and highlights recent efforts on designing novel inhibitors against PIPKs. These advances are extensively discussed to stimulate interest in this field and promote further development of highly potent and selective inhibitors for innovative therapeutic applications.
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 …
Principal Leadership As A Predictor Of Teacher Performance: Evidence From An Indonesian Elementary School, Irminapinem Pinem, Antonius Remigius Abi, Hamela Sari Sitompul
Principal Leadership As A Predictor Of Teacher Performance: Evidence From An Indonesian Elementary School, Irminapinem Pinem, Antonius Remigius Abi, Hamela Sari Sitompul
Jurnal Pendidikan Sains
Teacher performance is a critical determinant of educational quality and student achievement, making the identification of factors that influence teacher effectiveness an important area of educational research. Among these factors, principal leadership has been recognized as a key organizational variable that shapes teachers’ professional practices and instructional performance. This study aimed to examine the relationship between principal leadership and teacher performance at State Elementary School Raya Kahean, Simalungun Regency, Indonesia. The study employed a quantitative correlational research design involving 52 teachers selected through total sampling. Data were collected using two structured questionnaires measuring principal leadership and teacher performance. The principal …
The Effect Of Emotional Intelligence And Logical-Mathematical Intelligence On Students’ Mathematical Problem-Solving Ability, Zulkyfli Siduppa, Sutji Rochaminah, Muh Hasbi, Dasa Ismaimuza
The Effect Of Emotional Intelligence And Logical-Mathematical Intelligence On Students’ Mathematical Problem-Solving Ability, Zulkyfli Siduppa, Sutji Rochaminah, Muh Hasbi, Dasa Ismaimuza
Jurnal Pendidikan Sains
Mathematical problem-solving ability is an essential competency in mathematics education because it supports students’ reasoning, critical thinking, and decision-making skills. This study aimed to examine the influence of emotional intelligence and logical-mathematical intelligence on the mathematical problem-solving ability of Grade XII students at SMA Negeri 1 Tolitoli. The study employed a quantitative survey design involving 143 students from the Mathematics and Natural Sciences (MIPA) program during the 2023/2024 academic year. Data were collected using an emotional intelligence questionnaire, a logical-mathematical intelligence questionnaire, and a mathematical problem-solving test on algebraic function limits. All instruments were validated and demonstrated satisfactory reliability, with …
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 …
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 …
Third Butte Rmap Biomonitoring (Phase 3) Report, Ramboll, Atlantic Richfield Company
Third Butte Rmap Biomonitoring (Phase 3) Report, Ramboll, Atlantic Richfield Company
Silver Bow Creek/Butte Area Superfund Site
No abstract provided.
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 …
A Stochastic Maximum Principle For Singular Mean-Field Regime-Switching Optimal Control, Maalvladedon Ganet Some, Edward Korveh
A Stochastic Maximum Principle For Singular Mean-Field Regime-Switching Optimal Control, Maalvladedon Ganet Some, Edward Korveh
Journal of Stochastic Analysis
In this paper, we investigate a mean-field singular stochastic optimal control problem for systems governed by mean-field regime-switching singular stochastic differential equations. The state process is assumed to depend on both a regular and a singular control, and the coefficient associated with the singular component is allowed to be regime dependent. We derive both necessary and sufficient singular stochastic maximum principles. Because the regular control domain is not assumed to be convex, we employ the spike variation technique and obtain the necessary maximum principle by introducing a second-order adjoint process. As an application, we use the main theoretical results to …
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 …
Li+/Na+ Hybrid Ion Conduction Mechanism In The Superionic Conductor Li3–XNaXZr2Si2Po12, Yi-Hong Wu, Xia Xie, Lei Zhu, Mu-Ran Yu, Guo-Tai Zhang, Jun-Chao Chen, Shu-Ying Sun, You-Wei Wang, Wei-Ping Tang
Li+/Na+ Hybrid Ion Conduction Mechanism In The Superionic Conductor Li3–XNaXZr2Si2Po12, Yi-Hong Wu, Xia Xie, Lei Zhu, Mu-Ran Yu, Guo-Tai Zhang, Jun-Chao Chen, Shu-Ying Sun, You-Wei Wang, Wei-Ping Tang
Journal of Electrochemistry
Hybrid ion conductors that transport multiple ionic conductive species provide a useful platform for understanding how mixed-ion transport governs ionic conductivity within a single phase. However, the controlled introduction of multiple mobile ions into solid-state electrolytes and a mechanistic understanding of their migration within the framework remain challenging. Herein, a skeleton-retained Li+↔Na+ cationic exchange was used to simultaneously induce Li+ and Na+ cations into the NASICON-type framework of Li3–xNaxZr2Si2PO12 (0 < x < 3). We show that the interpenetration of NaO6 and NaO8 coordination polyhedra significantly influences the ionic conductivity of hybrid ion conductors. Computational …