Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- University of Nebraska - Lincoln (9662)
- Singapore Management University (7282)
- TÜBİTAK (5357)
- China Simulation Federation (3924)
- Missouri University of Science and Technology (3766)
-
- Old Dominion University (3657)
- Air Force Institute of Technology (2950)
- Wright State University (2899)
- Utah State University (2698)
- University of Kentucky (2666)
- Chinese Chemical Society | Xiamen University (2216)
- University of Nevada, Las Vegas (1909)
- China Coal Technology and Engineering Group (CCTEG) (1822)
- University of Arkansas, Fayetteville (1661)
- City University of New York (CUNY) (1603)
- University of South Florida (1591)
- Portland State University (1586)
- Embry-Riddle Aeronautical University (1405)
- Purdue University (1384)
- Washington University in St. Louis (1318)
- Montana Tech Library (1317)
- California Polytechnic State University, San Luis Obispo (1279)
- University of Central Florida (1215)
- University of Texas at El Paso (1211)
- Louisiana State University (1179)
- Edith Cowan University (1165)
- Technological University Dublin (1156)
- University of Texas Rio Grande Valley (1112)
- Chulalongkorn University (1100)
- New Jersey Institute of Technology (1087)
- Keyword
-
- Machine learning (1576)
- Deep learning (938)
- Machine Learning (805)
- Artificial intelligence (758)
- Computer Science (685)
-
- Climate change (616)
- Sustainability (534)
- Engineering (531)
- Simulation (519)
- Security (494)
- Optimization (470)
- Groundwater (451)
- Cybersecurity (446)
- Deep Learning (435)
- Water quality (424)
- Applied sciences (420)
- Artificial Intelligence (395)
- Education (389)
- Mathematics (374)
- Remote sensing (371)
- United States (366)
- Algorithms (363)
- Chemistry (360)
- 2014 International Conference on Hydroinformatics HIC (355)
- Classification (352)
- Montana (342)
- Computer science (341)
- Physics (341)
- Modeling (309)
- Neural networks (309)
- Publication Year
- Publication
-
- Research Collection School Of Computing and Information Systems (6876)
- Theses and Dissertations (5311)
- Journal of System Simulation (3924)
- Nebraska Tractor Tests (3402)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
-
- Journal of Electrochemistry (2216)
- Coal Geology & Exploration (1822)
- Faculty Publications (1719)
- Electronic Theses and Dissertations (1661)
- Computer Science & Engineering Syllabi (1312)
- Dissertations (1157)
- USF Tampa Graduate Theses and Dissertations (985)
- Turkish Journal of Chemistry (885)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (865)
- Masters Theses (829)
- Silver Bow Creek/Butte Area Superfund Site (820)
- Theses (796)
- Open Access Theses & Dissertations (793)
- Physics Faculty Publications (778)
- Computer Science Faculty Research & Creative Works (760)
- Department of Computer Science Technical Reports (704)
- Graduate Theses and Dissertations (701)
- All Computer Science and Engineering Research (683)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (666)
- Applications and Applied Mathematics: An International Journal (AAM) (643)
- Articles (634)
- Reports (612)
- School of Natural Resources: Faculty Publications (585)
- Publications and Research (580)
- World of Coal Ash Proceedings (580)
- Publication Type
Articles 1141 - 1170 of 119511
Full-Text Articles in Entire DC Network
Predator-Prey Dynamics: Exploration And Logistic Extension Of The Lotka-Volterra System, Amanda Maylath, Samuel Brensinger
Predator-Prey Dynamics: Exploration And Logistic Extension Of The Lotka-Volterra System, Amanda Maylath, Samuel Brensinger
Electronic Proceedings of Undergraduate Mathematics Day
The Lotka-Volterra system is a classic model of predator–prey interactions, capturing the interdependent growth and decline of two species. Using a dynamical systems approach, we identify fixed points, linearize the system via the Jacobian, and analyze phase space trajectories to determine stability and long-term behavior. This analysis provides insight into predator-prey dynamics without requiring explicit solutions. We further extend the model by incorporating a carrying capacity for the prey, reflecting more realistic population dynamics.
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 …
Optimize Optical Properties Of Cdte Solar Cell For Pv Applications, Mabrouk Hassan Arhoma
Optimize Optical Properties Of Cdte Solar Cell For Pv Applications, Mabrouk Hassan Arhoma
BAU Journal - Science and Technology
In order to to develop thin film heterojunction solar cells, CdTe is one of the most promising absorber materials cells. Electrodeposition CdTe materials solar cell are being focused by Several key researchers. This is due to its direct energy band gap and its high absorption coefficient and the best efficiency obtained for a small-area. In this work CdTe films were electrochemically deposited from aqueous solutions. Different preparative parameters such as growth voltage and heat treatment conditions were optimized. The CdTe layers were deposited at 655, 665, 675, 685 and 695 mV vs SCE. Material characterization were carried out using optical …
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 …
A Physically Unclonable Function Authentication Protocol To Secure Ieee C37.118 Communications, Taylor Griffiths, Mohiuddin Ahmed, Chadni Islam, Paul Haskell-Dowland
A Physically Unclonable Function Authentication Protocol To Secure Ieee C37.118 Communications, Taylor Griffiths, Mohiuddin Ahmed, Chadni Islam, Paul Haskell-Dowland
Research outputs 2022 to 2026
This paper outlines the need for security on the smart grid, specifically for Phasor Measurement Units (PMUs) and Phasor Data Concentrators (PDCs). These devices are targeted due to their criticality to the smart grid and the insecure communication protocols used. Common attacks on these devices target the data sent between them. As such, integrity-based attacks are the focus of this paper, more specifically on False Data Injection attacks (FDIAs) and Time Synchronisation Attacks (TSAs). Security solutions are proposed throughout literature from mitigation and protection techniques to detection and resolution techniques. To secure the PMU and PDC, this paper proposes an …
A Mathematical Model For Managing Diphtheria Outbreaks In Nigeria Via Vaccination, Enhanced Surveillance, Effective Quarantine, And Social Distancing Measures, Hycienth Ortser Orapine, Nyiutya Cephas Ine, Dekera Jacob Washachi, Ali Audu Baidu, Lubem Matthew Kwaghkor
A Mathematical Model For Managing Diphtheria Outbreaks In Nigeria Via Vaccination, Enhanced Surveillance, Effective Quarantine, And Social Distancing Measures, Hycienth Ortser Orapine, Nyiutya Cephas Ine, Dekera Jacob Washachi, Ali Audu Baidu, Lubem Matthew Kwaghkor
Mathematical Modelling and Numerical Simulation with Applications
Diphtheria is a highly infectious respiratory and skin disease that poses a significant threat to global public health. In Nigeria, children and adults with low immunity remain at high risk due to recurring annual outbreaks in the last decade, with a death rate of as high as 68.8\%. This paper presents a deterministic compartmental model to evaluate the effectiveness of interventions implemented by the Nigerian government. The model's mathematical and epidemiological validity is established through proofs of non-negativity and boundedness. The basic reproduction number ($R_0$) is derived, and stability analysis confirms that the diphtheria-free equilibrium is locally and globally asymptotically …
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 …
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 …
Conditionals And Modalities In Constructive Quantum Logics, Juan P. Aguilera, Guillaume Massas
Conditionals And Modalities In Constructive Quantum Logics, Juan P. Aguilera, Guillaume Massas
Mathematics, Physics, and Computer Science Faculty Articles and Research
We investigate logics that generalize both intuitionistic logic and quantum logic. In earlier work, we introduced Ex-logic, an extension of Holliday's fundamental logic that coincides with the intersection of orthologic and the implication-free fragment of intuitionistic logic. In this paper, we add an implication connective to Ex-logic and axiomatize iEx-logic, the intersection of full intuitionistic logic and orthomodular logic with the implication connective interpreted as the Sasaki hook. As a consequence, we obtain a characterization of the lattice of logics extending iEx-logic as the product of the lattice of intermediate logics and the lattice of orthomodular logics. We also explore …
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 …
The Role Of Zinc Precursor Concentration In Modulating The Structural, Optical, And Electrical Properties Of Sol-Gel Derived Czts Thin Films, Justine John Tibaijuka
The Role Of Zinc Precursor Concentration In Modulating The Structural, Optical, And Electrical Properties Of Sol-Gel Derived Czts Thin Films, Justine John Tibaijuka
Tanzania Journal of Science
This study reports on CZTS thin films fabricated by sol–gel spin coating using zinc acetate dihydrate, copper acetate dihydrate, tin chloride, and thiourea dissolved in methanol with monoethylamine as a stabilizer. The films were annealed rapidly at 540 °C by using an RTP furnace. Results show the significant influence of zinc concentration on films’ properties with band gap evolution between 1.46 and 1.7 eV, along with high absorption coefficients exceeding 10⁴ cm⁻¹ in the visible range. Structurally, the films evolved from poorly crystalline at low Zn content to well- crystallized, (112)-oriented kesterite near stoichiometry. However, excessive Zn caused slight degradation …
Linear Programming Model For Optimal Crop Allocation Under Varying Land Sizes In Pawaga, Tanzania, Mustapha Abbas Kiswanya, Seleman Ismail, Saul Mpeshe
Linear Programming Model For Optimal Crop Allocation Under Varying Land Sizes In Pawaga, Tanzania, Mustapha Abbas Kiswanya, Seleman Ismail, Saul Mpeshe
Tanzania Journal of Science
Farmers often rely on intuition when selecting crops, which can lead to suboptimal profits. In this study, we examine the optimal annual crop allocation under varying land sizes for farmers in Pawaga, Iringa District, Tanzania. A parametric linear programming (LP) model is developed to determine crop allocation combinations that maximise profit subject to land, labour, and capital constraints. Unlike conventional approaches that require separate models for different farm sizes, the proposed model accommodates land holdings ranging from 1 to 9 acres and integrates nine crop types within a single framework. Data were collected over three (3) agricultural seasons from extension …
Modelling Of Dust Devil Flow Dynamics: Effects Of The Sharpness Parameter On Velocity And Pressure, Deepanshu Kumar, Hossein Jafari
Modelling Of Dust Devil Flow Dynamics: Effects Of The Sharpness Parameter On Velocity And Pressure, Deepanshu Kumar, Hossein Jafari
Mathematical Modelling and Numerical Simulation with Applications
This work discusses the development of a straightforward model of dust devils, demonstrating a method for estimating wind speed and pressure. The current model incorporates momentum equations and the mass conservation equation for steady, axisymmetric, inviscid, and incompressible flow. In this model, the radial velocity is first considered, which is restricted in both the radial and axial directions. The sharpness parameter is also incorporated into the radial velocity formulation, as described by Vatistas model. Using the radial velocity as a foundation, we derive the azimuthal and axial velocities. The study further evaluates the pressure. Notably, for large values of the …
Dynamical Behavior, Extinction And Persistence In A Stochastic Delayed Two-Strain Epidemic Model With A Generalized Crowley-Martin Incidence Rate, Amina Allali, Dounia Bentaleb, Saida Amine
Dynamical Behavior, Extinction And Persistence In A Stochastic Delayed Two-Strain Epidemic Model With A Generalized Crowley-Martin Incidence Rate, Amina Allali, Dounia Bentaleb, Saida Amine
Mathematical Modelling and Numerical Simulation with Applications
This paper develops and analyzes a novel delayed stochastic SIR epidemic model with two interacting strains and general incidence functions. By establishing the existence and uniqueness of a positive global solution, the well-posedness of the model under stochastic perturbations is ensured. Extinction occurs when the stochastic reproduction number falls below unity, as demonstrated through Itô calculus and martingale convergence theorems, while persistence is guaranteed under the Crowley–Martin incidence when it exceeds one. Numerical experiments based on the Positive Preserving Truncated Euler–Maruyama (PPTEM) scheme confirm the analytical predictions and highlight the influence of time delay and noise intensity on the long-term …
Numerical Method For Strongly Variable-Density Flows At Low Mach Number: Flame-Sheet Regularisation And A Mass-Flux Immersed Boundary Method, Matheus P. Severino, Fernando F. Fachini, Elmer M. Gennaro, Daniel Rodríguez, Leandro F. Souza
Numerical Method For Strongly Variable-Density Flows At Low Mach Number: Flame-Sheet Regularisation And A Mass-Flux Immersed Boundary Method, Matheus P. Severino, Fernando F. Fachini, Elmer M. Gennaro, Daniel Rodríguez, Leandro F. Souza
Mathematical Modelling and Numerical Simulation with Applications
A low-Mach-number flow, in the laminar regime, has intrinsically two characteristic spatial scales for a given time scale, or two characteristic temporal scales for a given spatial scale, and these dual scales are very different due to the disparity between the flow and acoustic speed. Therefore, low-Mach-number flows impose mathematical and computational challenges in their description. Standard numerical methods for compressible flows, which are typically designed for problems with a single dominant spatial and temporal scale, require alternative approaches, such as preconditioning techniques or solvers tailored for low-Mach-number equations. The present work introduces a simplified fluid dynamics model for flows …
Re: Conditional Approval Letter For Diggings East 100% Remedial Design Package Submittal (Dated May 29, 2006), Emma Rott
Silver Bow Creek/Butte Area Superfund Site
No abstract provided.
Re: Conditional Approval Letter For The Butte Priority Soils Operable Unit (Bpsou) Silver Bow Creek Conservation Area (Sbcca) Operations And Maintenance (O&M) Plan (Dated May 29, 2006), Emma Rott
Silver Bow Creek/Butte Area Superfund Site
No abstract provided.
Re: Conditional Approval Letter For The Final Revised Silver Bow Creek Conservation Area (Sbcca) Construction Quality Assurance Plan (Cqap) (Dated May 28, 2026) And The Final Silver Bow Creek Conservation Area (Sbcca) Construction Monitoring Quality Assurance Project Plan (Qapp) (Dated May 28, 2026), Emma Rott
Silver Bow Creek/Butte Area Superfund Site
No abstract provided.
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.
Re: Conditional Approval Letter For The Final Silver Bow Creek Conservation Area Materials Management Plan (Dated May 28, 2026), Emma Rott
Silver Bow Creek/Butte Area Superfund Site
No abstract provided.
Hydroclimatic Whiplash Across The Contiguous United States: Characterizing Wet–Dry Transitions In Pdsi And Phdi, James Lam, Thomas Christopher Piechota
Hydroclimatic Whiplash Across The Contiguous United States: Characterizing Wet–Dry Transitions In Pdsi And Phdi, James Lam, Thomas Christopher Piechota
Biology, Chemistry, and Environmental Sciences Faculty Articles and Research
Hydroclimatic whiplash, characterized by rapid transitions between wet and dry conditions, poses a growing challenge for water resource management and ecosystem stability. However, the spatial and statistical characteristics of wet–dry transitions across the contiguous United States are not fully understood. This study analyzed Palmer Drought Severity Index (PDSI) and Palmer Hydrological Drought Index (PHDI) records from 344 NOAA climate divisions spanning 1895–2024. Whiplash was defined as a transition between severe drought and severe wetness within 12-month rolling windows. Statistical descriptors including lag-1 autocorrelation, variance, and skewness were evaluated for whiplash and non-whiplash windows to assess differences between them. Whiplash hotspots …
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 …
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.
Ai For Regression Analysis And More, Eli Snir
Ai For Regression Analysis And More, Eli Snir
Generative AI Teaching Activities
Students use Copilot and NotebookLM to create a dataset and develop statistical analyses including regression.
Autoencoders As Classifiers Trained On Single Sources Of Radiographic Images For Generalizability Across Unseen Sources, Ryan M. Putney
Autoencoders As Classifiers Trained On Single Sources Of Radiographic Images For Generalizability Across Unseen Sources, Ryan M. Putney
USF Tampa Graduate Theses and Dissertations
Artificial neural networks trained to classify X-ray images according to disease state will learn to distinguish between technical or procedural variations in the images rather than features relevant to the disease. For example, the model might learn to recognize the machine that captured the image or to distinguish an image taken while the patient is lying supine or standing upright. The present work is aimed at using autoencoders as a generalizable classifier to detect COVID vs pneumonia (PNA) X-ray images. The first experiment was to find an architecture for a fully convolutional autoencoder (CAE) and for a convolutional autoencoder with …