Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (17309)
- Computer Engineering (13036)
- Artificial Intelligence and Robotics (11169)
- Databases and Information Systems (7256)
- Numerical Analysis and Scientific Computing (6663)
-
- Electrical and Computer Engineering (5275)
- Social and Behavioral Sciences (4830)
- Operations Research, Systems Engineering and Industrial Engineering (4778)
- Information Security (4675)
- Software Engineering (4322)
- Systems Science (3919)
- Business (2515)
- Mathematics (2387)
- Graphics and Human Computer Interfaces (2376)
- Theory and Algorithms (2152)
- Education (2101)
- Life Sciences (2075)
- Programming Languages and Compilers (1844)
- Medicine and Health Sciences (1805)
- Other Computer Sciences (1795)
- OS and Networks (1760)
- Arts and Humanities (1456)
- Communication (1446)
- Law (1177)
- Data Science (1157)
- Applied Mathematics (1135)
- Statistics and Probability (1061)
- Bioinformatics (986)
- Institution
-
- Singapore Management University (9024)
- China Simulation Federation (3880)
- TÜBİTAK (3106)
- Wright State University (2694)
- Purdue University (2077)
-
- Old Dominion University (1997)
- Missouri University of Science and Technology (1938)
- 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 (1104)
- San Jose State University (1053)
- City University of New York (CUNY) (956)
- Embry-Riddle Aeronautical University (950)
- 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 (532)
- University of Nebraska at Omaha (497)
- University of Central Florida (490)
- Keyword
-
- Machine learning (1665)
- Artificial intelligence (1020)
- Deep learning (1003)
- Machine Learning (762)
- Computer Science (712)
-
- Security (648)
- Cybersecurity (558)
- Artificial Intelligence (484)
- Deep Learning (436)
- Computer science (412)
- Privacy (410)
- Simulation (391)
- Technical Reports (390)
- UTEP Computer Science Department (389)
- Classification (375)
- Algorithms (357)
- Optimization (353)
- Computer vision (349)
- Neural networks (345)
- Data mining (337)
- AI (302)
- 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 (8479)
- Journal of System Simulation (3880)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Theses and Dissertations (2733)
- Department of Computer Science Technical Reports (1721)
-
- Computer Science & Engineering Syllabi (1312)
- Computer Science Faculty Publications (928)
- Computer Science Faculty Research & Creative Works (919)
- Departmental Technical Reports (CS) (914)
- 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 18781 - 18810 of 63071
Full-Text Articles in Computer Sciences
A Consent Framework For The Internet Of Things In The Gdpr Era, Gerald Chikukwa
A Consent Framework For The Internet Of Things In The Gdpr Era, Gerald Chikukwa
Masters Theses & Doctoral Dissertations
The Internet of Things (IoT) is an environment of connected physical devices and objects that communicate amongst themselves over the internet. The IoT is based on the notion of always-connected customers, which allows businesses to collect large volumes of customer data to give them a competitive edge. Most of the data collected by these IoT devices include personal information, preferences, and behaviors. However, constant connectivity and sharing of data create security and privacy concerns. Laws and regulations like the General Data Protection Regulation (GDPR) of 2016 ensure that customers are protected by providing privacy and security guidelines to businesses. Data …
Traversing Nat: A Problem, Tyler Flaagan
Traversing Nat: A Problem, Tyler Flaagan
Masters Theses & Doctoral Dissertations
This quasi-experimental before-and-after study measured and analyzed the impacts of adding security to a new bi-directional Network Address Translation (NAT). Literature revolves around various types of NAT, their advantages and disadvantages, their security models, and networking technologies’ adoption. The study of the newly created secure bi-directional model of NAT showed statistically significant changes in the variables than another model using port forwarding. Future research of how data will traverse networks is crucial in an ever-changing world of technology.
Cybersecurity Education For Non-Technical Learners, Matthew Mcnulty
Cybersecurity Education For Non-Technical Learners, Matthew Mcnulty
Masters Theses & Doctoral Dissertations
Today’s world is increasingly reliant on technology for school, work, entertainment, and general home use. Many jobs today could not be performed without the use of computer systems or other technology. As lives become intertwined with technology, everyone will inevitably encounter malicious, vulnerable, or privacy-compromising devices or services. Unfortunately, knowledge of how to deal with these cybersecurity and privacy issues is not something that falls within the domain of common knowledge for the everyday person. Additionally, there is a lack of work being done to understand the educational needs of various groups within the general public and educate them. This …
Jrevealpeg: A Semi-Blind Jpeg Steganalysis Tool Targeting Current Open-Source Embedding Programs, Charles A. Badami
Jrevealpeg: A Semi-Blind Jpeg Steganalysis Tool Targeting Current Open-Source Embedding Programs, Charles A. Badami
Masters Theses & Doctoral Dissertations
Steganography in computer science refers to the hiding of messages or data within other messages or data; the detection of these hidden messages is called steganalysis. Digital steganography can be used to hide any type of file or data, including text, images, audio, and video inside other text, image, audio, or video data. While steganography can be used to legitimately hide data for non-malicious purposes, it is also frequently used in a malicious manner. This paper proposes JRevealPEG, a software tool written in Python that will aid in the detection of steganography in JPEG images with respect to identifying a …
Efficacy Of Incident Response Certification In The Workforce, Samuel Jarocki
Efficacy Of Incident Response Certification In The Workforce, Samuel Jarocki
Masters Theses & Doctoral Dissertations
Numerous cybersecurity certifications are available both commercially and via institutes of higher learning. Hiring managers, recruiters, and personnel accountable for new hires need to make informed decisions when selecting personnel to fill positions. An incident responder or security analyst's role requires near real-time decision-making, pervasive knowledge of the environments they are protecting, and functional situational awareness. This concurrent mixed methods paper studies whether current commercial certifications offered in the cybersecurity realm, particularly incident response, provide useful indicators for a viable hiring candidate.
Managers and non-managers alike do prefer hiring candidates with an incident response certification. Both groups affirmatively believe commercial …
Programimi Imperativ, Reaktiv Dhe Funksional, Aulona Avdyli
Programimi Imperativ, Reaktiv Dhe Funksional, Aulona Avdyli
Theses and Dissertations
Me zhvillimin e programimit ndër vite, mund të dallojmë shumë e shumë fjalë dhe terma të reja çdo ditë, duke na ngritur dhe ngjallur kureshtjen të lexojmë dhe të dimë më shumë rreth tyre, pasiqë vet profesioni që kemi zgjedhur është i tillë. Ndër to programimi Imperativ, Reaktiv dhe Funksional, tri lloje të programimit, të cilët ndoshta secili nga ne i kemi përdorur, por pa e ditur saktë me cilin nga ta jemi duke punuar, duke i veçuar në bazë të emrit dhe karakteristikave të tyre.
Në bazë të këtij punimi të diplomës, unë do bëj përpjekje të mund të …
Krahasimi I Teknologjive H.264 Dhe H.265 Në Kompresimet Audio-Video Materialeve, Milot Hoti
Krahasimi I Teknologjive H.264 Dhe H.265 Në Kompresimet Audio-Video Materialeve, Milot Hoti
Theses and Dissertations
Teknologjia e kompresimit të audio dhe video materialeve, për qëllim primar ka që secili përdorues t’i qaset atij materiali që ka nevojë ta shikojë. Pa teknologjinë e kompresimit kjo mundësi do të ishte shumë e kufizuar dhe jo efikase. Përmes kësaj teknologjie përfitojnë përdoruesit dhe kompanitë të cilat ofrojnë shërbimin për shikim të video materialeve. Përfitimi tek përdoruesit nisë, që nga mundësia e ruajtjes së një fotografie të ditëlindjes së parë, e pse jo edhe incizimi i fryrjes së qirinjve në atë ditëlindje. Ndërsa kompanitë shfrytëzojnë këtë teknologji për ruajtjen dhe shpërndarjen e materialeve, tek secili që dëshiron ta shohë …
Personalized Learning Path Generation Based On Genetic Algorithms, Lumbardh Elshani
Personalized Learning Path Generation Based On Genetic Algorithms, Lumbardh Elshani
Theses and Dissertations
A substantial disadvantage of traditional learning is that all students follow the same curriculum sequence, but not all of them have the same background of knowledge, the same preferences, the same learning goals, and the same needs. Traditional teaching resources, such as textbooks, in most cases orient students to follow fixed sequences during the learning process, thus impairing their performance. Curriculum sequencing is an important research issue for learning process because no fixed learning paths will be appropriate for all learners. For this reason, many research papers are focused on the development of mechanisms to offer personalization on learning sequences, …
Aplikimi I Rrjetave Kompjuterike Dhe Cloud Sherbimeve Ne E-Health Care, Ilir Gojani
Aplikimi I Rrjetave Kompjuterike Dhe Cloud Sherbimeve Ne E-Health Care, Ilir Gojani
Theses and Dissertations
Gjithëkush flet për eHealth këto ditë, por pak njerëz kanë dalë me një përkufizim të qartë të këtijë termi relativisht të ri. Pak në përdorim para vitit 1999, ky term tani duket se shërben si një fjalë e përgjithshme që përdoret për të karakterizuar jo vetëm "mjekësinë e digjitalizuar", por gjithashtu pothuajse çdo gjë që lidhet me kompjuterët dhe mjekësinë. Termi eHealth është krijuar dhe përdorur duke u bazuar në fjalët tjera “e-fjal” si për shembull “e-commerce, e-business, e-mail”, me të cilen fjalë do të mund ti referoheshim mundësive të reja që interneti po i hap në fushën e kujdesit …
Përformanca Dhe Efikasiteti I Arkitekturës Shumë Shtresore Në Iot Edge, Donjetë Hyseni
Përformanca Dhe Efikasiteti I Arkitekturës Shumë Shtresore Në Iot Edge, Donjetë Hyseni
Theses and Dissertations
Internet of Things (IOT) është bërë një teknologji kyqe e cila lidh së bashku pajisje të ndryshme me funskione të ndryshme. Është një teknologji e cila mundëson shërbime dixhitale të disponueshme kudo për përdoruesit e fundit bashkohorë.
Prandaj me ardhjen e Internet of things (IOT) dhe konvergjencen e të dhënave duke përdorur shërbime cloud,computing e të dhënave është shtyrë në horizonte të reja.Një model I ri I computing,edge computing proceson të dhënat në edge të rrjetit shumica e të dhënave të gjeneruara në edge të rrjetit drejton kërkesen për një kohë të lartë të përgjigjies.Në këtë punim u diskuta për …
Dokumentimi I Arkitekturës Softuerike, Genita Abazi
Dokumentimi I Arkitekturës Softuerike, Genita Abazi
Theses and Dissertations
Dokumentimi ka luajtur një rol kyç në të ndihmuarit e kuptimit të softuerit për një kohë të gjatë. Dokumentimi softuerik mund të shprehet në forma të ndryshme, varësisht nga audienca dhe natyra e softuerit. Mirëpo jo gjithmonë dokumentimi e ilustron operimin e softuerit përkatës në mënyrë të saktë, si rezultat i së cilës softueri ka potencial të dështimit brenda një kohe shumë të shkurtër.
Ky punim diplome adreson çështjet lidhur me rëndësinë e posedimit të dokumentimit të softuerit, jep një prezantim të shkurtër të standardeve të dokumentimit, të cilat ofrojnë një hyrje dhe udhëzime të përgjithshme për dokumentim të mirëfilltë …
Recommender Systems Using Cloud Technology, Gent Jashari
Recommender Systems Using Cloud Technology, Gent Jashari
Theses and Dissertations
Ueb aplikacionet që ofrojnë sistemet e rekomanduara tani më janë bërë trend që çdo uebfaqe t’i ketë në mënyrë që ta tërheqin përdoruesin dhe “mos ta lejojnë atë që të kalojë pa e klikuar sugjerimin e rekomanduar”. Kjo është arritur duke përdorur teknika të ndryshme si: Collaborative filtering, Content-Based filtering dhe Hybrid filtering, ku kjo e fundit ndihmon për tejkalimin e sfidave që na shfaqen në sistemet e rekomanduara.
Përdorimin e cloud shërbimeve na ofrojnë shumë kompani mirëpo ndër ato më të njohurat janë: Microsoft Azure, Amazon Web Services dhe Google Cloud. Studimet e shumta tregojnë që për të krijuar …
Find-Doctor Application, Kastriot Beha
Find-Doctor Application, Kastriot Beha
Theses and Dissertations
Nëpërmjet kësaj ideje unë synojë të krijojë një web aplikacion i cili u mundëson përdoruesëve të kërkojnë mjekë të departamenteve të ndryshme sipas nevojave të secilit përdorues. Renditja e mjekëve pas kërkimit nga ana e përdoruesve apo pacientëve bëhet përmes rating(vlerësimit) nga doktori më i mire pra doktori me rating me te lartë deri tek doktori me rating më të ulët. Përveq renditjes së mjekëve ne ofrojm edhte statistika apo charts për të treguar top 5 mjekët më të mire, në mënyrë qe përdoruesve të ju lehtësojm gjetjen e doktorit të caktuar dhe të duhurit për nevojat e tyre. Poashtu …
Gjuha Deklarative Dhe Koha E Ekzekutimit (Declarative Language And Runtime Systems), Valmir Mujku
Gjuha Deklarative Dhe Koha E Ekzekutimit (Declarative Language And Runtime Systems), Valmir Mujku
Theses and Dissertations
Ambienti që na rrethon përbëhet nga shumë pajisje me diversitet komponimesh por nuk mund të themi se një shumicë prej tyre nuk i përkasin botës së teknologjisë. Evolucioni i çdo produkti teknologjik është përcjell me një seri te problemeve dhe çështjeve që janë paraqitur gjatë fazave të ndryshme të planifikimit, zhvillimit dhe menaxhimit. Gjatë fazave zhvillimore, saktësisht ndërtimit te sistemeve softuerike apo programeve aplikative është paraqitur nevoja e depozitimit të të dhënave pavarësisht a kanë qenë si source code (kod burimor) apo të dhëna që janë akumuluar gjatë përdorimit të sistemit. Depozitimi i të dhënave bëhet në bazat e të …
Konsiderata Për Menaxhimin E Internetit Të Gjërave (Iot), Siguria Në Internet Dhe Rreziqet E Privatësisë, Zeqir Nika
Konsiderata Për Menaxhimin E Internetit Të Gjërave (Iot), Siguria Në Internet Dhe Rreziqet E Privatësisë, Zeqir Nika
Theses and Dissertations
Interneti i Gjërave (IoT) është një koleksion i shpejtë evoluues dhe zgjerues i teknologjive të ndryshme që ndërveprojnë me botën fizike. Shumë organizata nuk janë domosdoshmërisht të vetëdijshëm për numrin e madh të pajisjeve IoT që ata janë duke përdorur tashmë dhe se si pajisjet IoT mund të ndikojnë në sigurinë në internet dhe rreziqet e intimitetit ndryshe nga sa bëjnë pajisjet e teknologjisë konvencionale (IT).
Qëllimi i këtij publikimi është të ndihmojë organizatat të kuptojnë dhe menaxhojnë më mirë rreziqet e sigurisë në internet dhe rreziqet e intimitetit të lidhura me pajisjet individuale të Internetit të Gjërave (IoT) gjatë …
Menaxhimi I Detyrave Dhe Orarit, Azdren Bytyqi
Menaxhimi I Detyrave Dhe Orarit, Azdren Bytyqi
Theses and Dissertations
Duke analizuar vështirësitë e procesit të punës në përgjithësi, rendësinë e mbarëvajtjes së saj dhe kompleksitetin e saj, kjo temë synon që të ofrojë një zgjidhje që sado pak ta lehtësojë menaxhimin e këtij procesi. Në çfarë kohe punëtori shfaqet në punë, e kur del nga puna, detyrat e caktuara për të dhe sa i realizon ato punëtori, pajisja e tij me kontratë, këtyre, e problemeve të ngjashme me to, progarmi i krijuar, synon t’u japë zgjidhje. Rëndësia e kësaj teme dhe asaj që kjo temë shtjellon qëndron në atë se shpesh herë kemi parë keq shfrytëzime si nga ana …
Can We Classify Cashless Payment Solution Implementations At The Country Level?, Dennis Ng, Robert J. Kauffman, Paul Robert Griffin
Can We Classify Cashless Payment Solution Implementations At The Country Level?, Dennis Ng, Robert J. Kauffman, Paul Robert Griffin
Research Collection School Of Computing and Information Systems
This research commentary proposes a 3-D implementation classification framework to assist service providers and business leaders in understanding the kinds of contexts in which more or less successful cashless payment solutions are observed at point-of-sale (PoS) settings. Three constructs characterize the framework: the digitalization of the local implementation environment; the relative novelty of a given payment technology solution in a country at a specific point in time; and the development status of the country’s national infrastructure. The framework is motivated by a need to support cross-country research in this domain. We analyze eight country mini-cases based on an eight-facet (2 …
Physics Engine On The Gpu With Opengl Compute Shaders, Quan Huy Minh Bui
Physics Engine On The Gpu With Opengl Compute Shaders, Quan Huy Minh Bui
Master's Theses
Any kind of graphics simulation can be thought of like a fancy flipbook. This notion is, of course, nothing new. For instance, in a game, the central computing unit (CPU) needs to process frame by frame, figuring out what is happening, and then finally issues draw calls to the graphics processing unit (GPU) to render the frame and display it onto the monitor. Traditionally, the CPU has to process a lot of things: from the creation of the window environment for the processed frames to be displayed, handling game logic, processing artificial intelligence (AI) for non-player characters (NPC), to the …
Gpu High-Performance Framework For Pic-Like Simulation Methods Using The Vulkan® Explicit Api, Kolton Jacob Yager
Gpu High-Performance Framework For Pic-Like Simulation Methods Using The Vulkan® Explicit Api, Kolton Jacob Yager
Master's Theses
Within computational continuum mechanics there exists a large category of simulation methods which operate by tracking Lagrangian particles over an Eulerian background grid. These Lagrangian/Eulerian hybrid methods, descendants of the Particle-In-Cell method (PIC), have proven highly effective at simulating a broad range of materials and mechanics including fluids, solids, granular materials, and plasma. These methods remain an area of active research after several decades, and their applications can be found across scientific, engineering, and entertainment disciplines.
This thesis presents a GPU driven PIC-like simulation framework created using the Vulkan® API. Vulkan is a cross-platform and open-standard explicit API for graphics …
Remote Monitoring Of Memory Data Structures For Malware Detection In A Talos Ii Architecture, Robert A. Willburn
Remote Monitoring Of Memory Data Structures For Malware Detection In A Talos Ii Architecture, Robert A. Willburn
Theses and Dissertations
New forms of malware, namely xC;leless malware and rootkits, pose a threat to traditional anti-malware. In particular, Rootkits have the capacity to obscure the present state of memory from the user space of a target machine. If thishappens, anti-malware running in the user space of an axB;ected machine cannot be trusted to operate properly. To combat this threat, this research proposes the remote monitoring of memory from a second, secure processor runningOpenBMC, serving as a baseboard management controller for a POWER9 processor, which is assumed vulnerable to exploitation. The baseboard management controller includes an application called pdbg, used for debugging …
Cyclic Pursuit, Daniel E. Oke
Cyclic Pursuit, Daniel E. Oke
Theses and Dissertations
This thesis analyzes cyclic pursuit with the intent of developing swarm attack strategies for autonomous agents. Research was focused on finding the effects of pursuers capture range, evader speed and size of formation on the probability of escape. The temporal evolution of several polygonal formations was analyzed. The polygons could be regular or arbitrary polygons. The thesis demonstrated that an increased capture range, formation size, reduced evader speed aided capture probability. Irregular n-gon formations reduced to n-1 gon repeatedly, pursuer clusters formed until two clusters remained which eventually came together, so all the n pursuers coalesced until convergence. Regular n-gon …
Error Detection In Quantum Algorithms, Simeon R. Hanks
Error Detection In Quantum Algorithms, Simeon R. Hanks
Theses and Dissertations
Quantum computers need to be able to control highly entangled quantum states in the presence of environmental perturbations that lead to errors in calculations. Progress in superconducting qubits has enabled the development of computers capable of running small quantum circuits. The current era of Noise Intermediate Scale Quantum computing has a high error rate. To alleviate this error rate we apply an encoding scheme that allows us to remove results with known errors improving the quality of our results. The encoding uses multiple qubits as a single logical qubit and balances the natural tendency of state-of-the-art quantum computers to decohere …
Display Design To Avoid And Mitigate Limit Cycle Oscillations (Lco) On The F-16c, David J. Feibus
Display Design To Avoid And Mitigate Limit Cycle Oscillations (Lco) On The F-16c, David J. Feibus
Theses and Dissertations
The U.S. Air Force F-16 Fighting Falcons flying characteristics and flight envelope are dynamic and defined by its external weapon stores configuration. The employment of its munitions at certain speeds can put the F-16 into a flutter-like state in which Limit Cycle Oscillations (LCO) are induced. In LCO, a pilots fine motor control might be hindered, and the aircraft may lose combat effectiveness until flight conditions are reduced. The current research attempted to provide pilots with a predictive feedback display to avoid an LCO-susceptible configuration by increasing their situation awareness about the consequences of employing certain munitions to their flight …
Correction Of Back Trajectories Utilizing Machine Learning, Britta F. Gjermo Morrison
Correction Of Back Trajectories Utilizing Machine Learning, Britta F. Gjermo Morrison
Theses and Dissertations
The goal of this work was to analyze 24-hour back trajectory performance from a global, low-resolution weather model compared to a high-resolution limited area weather model in particular meteorological regimes, or flow patterns using K-means clustering, an unsupervised machine learning technique. The duration of this study was from 2015-2019 for the contiguous United States (CONUS). Three different machine learning algorithms were tested to study the utility of these methods improving the performance of the CFS relative to the performance of the RAP. The aforementioned machine learning techniques are linear regression, Bayesian ridge regression, and random forest regression. These results mean …
Long Distance Bluetooth Low Energy Exploitation On A Wireless Attack Platform, Stephanie L. Long
Long Distance Bluetooth Low Energy Exploitation On A Wireless Attack Platform, Stephanie L. Long
Theses and Dissertations
In the past decade, embedded technology, known as the Internet of Things, has expanded for many uses. The smart home infrastructure has drastically grown to include networked refrigerators, lighting systems, speakers, watches, and more. This increase in the use of wireless protocols provides a larger attack surface for cyber actors than ever before. Wireless loT traffic is susceptible for sniffing by an attacker. The attack platform skypie is upgraded to incorporate Bluetooth Low Energy (BLE) beacon collection for pattern-of-life data, as well as device characteristic enumeration and potential characteristic modification. This platform allows an attacker to mount the skypie to …
A Fixed-Point Method For Computing Steady-State 2d Laser-Fluid Interactions, Jeremiah S. Lane
A Fixed-Point Method For Computing Steady-State 2d Laser-Fluid Interactions, Jeremiah S. Lane
Theses and Dissertations
This research introduces a fixed-point numerical approach for solving the steady-state Navier-Stokes (NS) equations on a finite two-dimensional (2D) domain. The steady-state interaction between a high energy laser beam and its surrounding fluid medium is important to researchers in the field of high energy laser beam propagation. The solutions to the steady-state Navier-Stokes equations provide a model for uncovering the steady-state behavior of the fluid medium, which is useful for the modeling of thermal blooming in laser beam propagation. Numerical solutions remain the only tenable option for solving the NS equations, wherein numerical speed and fidelity beget the utility of …
Formal Verification For High Assurance Software: A Case Study Using The Spark Auto-Active Verification Toolset, Ryan M. Baity
Formal Verification For High Assurance Software: A Case Study Using The Spark Auto-Active Verification Toolset, Ryan M. Baity
Theses and Dissertations
Software is an increasingly integral and sophisticated part of safety- and mission-critical systems. Poorly written software can lead to information leakage, undetected cyber breaches, and even human injury in cases where the software directly interfaces with components of a physical system. These systems may range from power facilities to remotely piloted aircraft. Software bugs and vulnerabilities can lead to severe economic hardships and loss of life in these domains. As fast as software spreads to automate many facets of our lives, it also grows in complexity. The complexity of software systems combined with the nature of the critical domains dependent …
Indoor Navigation Using Convolutional Neural Networks And Floor Plans, Ricky D. Anderson
Indoor Navigation Using Convolutional Neural Networks And Floor Plans, Ricky D. Anderson
Theses and Dissertations
The goal of this thesis is to evaluate a new indoor navigation technique by incorporating floor plans along with monocular camera images into a CNN as a potential means for identifying camera position. Building floor plans are widely available and provide potential information for localizing within the building. This work sets out to determine if a CNN can learn the architectural features of a floor plan and use that information to determine a location. In this work, a simulated indoor data set is created and used to train two CNNs. A classification CNN, which breaks up the floor plan into …
Solving The Quantum Layout Problem For Nisq-Era Quantum Computers Via Metaheuristic Algorithms, Brian D. Curran Jr.
Solving The Quantum Layout Problem For Nisq-Era Quantum Computers Via Metaheuristic Algorithms, Brian D. Curran Jr.
Theses and Dissertations
In the noisy intermediate-scale quantum (NISQ)-era, quantum computers (QC) are highly prone to noise-related errors and suffer from limited connectivity between their physical qubits. Circuit transformations must be made to abstract circuits to address the noise and hardware constraints of NISQ-era devices. Such transformations introduce additional gates to the original circuit, thereby reducing the circuit's overall fidelity. To address the aforementioned constraints of NISQ-era QCs, dynamic remapping procedures permute logical qubits about physical qubits of the device to increase the fidelity of operations and make operations hardware-compliant. The quantum layout problem (QLP) is the problem of mapping logical qubits of …
Delayed Authentication System For Civilian Satellite, Sean M. Feschak
Delayed Authentication System For Civilian Satellite, Sean M. Feschak
Theses and Dissertations
This thesis presents the feasibility of a Delayed Authentication System (DAS) for civilian satellite navigation (satnav) receivers. In satnav systems, encrypted signal components are transmitted synchronously with civilian components. Hence, the civilian signals can be authenticated by detecting the presence of encrypted signal components within the received signal. To authenticate, a reference station transmits estimated encrypted signal spreading code symbols processed using a high gain antenna. In this thesis, it is shown that a 1-meter diameter dish antenna is adequate to provide a high probability of successful authentication, thereby reducing overall system complexity and cost.