Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (537)
- Computer Engineering (374)
- Electrical and Computer Engineering (258)
- Databases and Information Systems (252)
- Social and Behavioral Sciences (173)
-
- Software Engineering (156)
- Numerical Analysis and Scientific Computing (151)
- Information Security (141)
- Mathematics (136)
- Artificial Intelligence and Robotics (93)
- Business (90)
- Programming Languages and Compilers (85)
- Education (84)
- Graphics and Human Computer Interfaces (75)
- Life Sciences (72)
- Communication (61)
- Law (58)
- Other Computer Sciences (57)
- Statistics and Probability (54)
- Computer Law (52)
- Arts and Humanities (51)
- Theory and Algorithms (50)
- Higher Education (46)
- OS and Networks (43)
- Science and Mathematics Education (42)
- Applied Mathematics (41)
- Legal Studies (38)
- Forensic Science and Technology (36)
- Institution
-
- Singapore Management University (368)
- TÜBİTAK (163)
- Wright State University (110)
- University of Texas at El Paso (90)
- Brigham Young University (81)
-
- Missouri University of Science and Technology (77)
- University of Nebraska - Lincoln (70)
- Edith Cowan University (56)
- Embry-Riddle Aeronautical University (49)
- University for Business and Technology in Kosovo (49)
- Old Dominion University (43)
- Marquette University (39)
- University of Nebraska at Omaha (39)
- California Polytechnic State University, San Luis Obispo (35)
- Purdue University (35)
- San Jose State University (33)
- Taylor University (30)
- Technological University Dublin (27)
- University of Nevada, Las Vegas (26)
- University of South Florida (26)
- City University of New York (CUNY) (25)
- University of Texas at Arlington (25)
- Nova Southeastern University (23)
- Portland State University (20)
- California State University, San Bernardino (18)
- Dartmouth College (18)
- Southwestern Oklahoma State University (18)
- University of Arkansas, Fayetteville (17)
- Utah State University (16)
- University of Kentucky (15)
- Keyword
-
- Applied sciences (36)
- Security (26)
- Simulation (22)
- Machine learning (20)
- Algorithms (18)
-
- Data mining (18)
- Cloud computing (16)
- Information technology (15)
- Classification (14)
- Privacy (14)
- Genetic algorithm (13)
- Android (12)
- Image processing (12)
- Performance (12)
- Social media (12)
- Education (11)
- Optimization (11)
- Visualization (11)
- Artificial intelligence (10)
- Clustering (10)
- Computer science (10)
- Mobile (10)
- Online learning (10)
- Ontology (10)
- Computer vision (9)
- Digital forensics (9)
- Software (9)
- Twitter (9)
- AHRC (8)
- Artificial Intelligence (8)
- Publication
-
- Research Collection School Of Computing and Information Systems (351)
- Turkish Journal of Electrical Engineering and Computer Sciences (163)
- Theses and Dissertations (86)
- Departmental Technical Reports (CS) (72)
- Computer Science & Engineering Syllabi (58)
-
- Journal of Undergraduate Research (53)
- The R Journal (51)
- Computer Science Faculty Research & Creative Works (44)
- Mathematics, Statistics and Computer Science Faculty Research and Publications (38)
- Journal of Digital Forensics, Security and Law (35)
- Master's Projects (32)
- ACMS Conference Proceedings 2013 (30)
- Computer Science Faculty Publications (28)
- UBT International Conference (28)
- USF Tampa Graduate Theses and Dissertations (25)
- Computer Science and Engineering Faculty Publications (23)
- CCAC Theses and Dissertations (22)
- Computer Science Technical Reports (18)
- Oklahoma Research Day Abstracts (18)
- Open Access Dissertations (18)
- Open Access Theses & Dissertations (18)
- Theses Digitization Project (18)
- Kno.e.sis Publications (17)
- Australian Digital Forensics Conference (16)
- Computer Science and Engineering Dissertations - Archive (16)
- Electrical and Computer Engineering Faculty Research & Creative Works (16)
- Electronic Theses and Dissertations (16)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (16)
- Computer Science Faculty Publications and Presentations (14)
- Annual ADFSL Conference on Digital Forensics, Security and Law (13)
- Publication Type
- File Type
Articles 1771 - 1800 of 2092
Full-Text Articles in Computer Sciences
Predicting Application Performance Using Supervised Learning On Communication Features, Nikhil Jain, Abhinav Bhatele, Michael P. Robson, Todd Gamblin, Laxmikant V. Kale
Predicting Application Performance Using Supervised Learning On Communication Features, Nikhil Jain, Abhinav Bhatele, Michael P. Robson, Todd Gamblin, Laxmikant V. Kale
Computer Science: Faculty Publications
Task mapping on torus networks has traditionally focused on either reducing the maximum dilation or average number of hops per byte for messages in an application. These metrics make simplified assumptions about the cause of network congestion, and do not provide accurate correlation with execution time. Hence, these metrics cannot be used to reasonably predict or compare application performance for different mappings. In this paper, we attempt to model the performance of an application using communication data, such as the communication graph and network hardware counters. We use supervised learning algorithms, such as randomized decision trees, to correlate performance with …
A Robust Rgb-D Slam System For 3d Environment With Planar Surfaces, Po-Chang Su
A Robust Rgb-D Slam System For 3d Environment With Planar Surfaces, Po-Chang Su
Theses and Dissertations--Electrical and Computer Engineering
Simultaneous localization and mapping is the technique to construct a 3D map of unknown environment. With the increasing popularity of RGB-depth (RGB-D) sensors such as the Microsoft Kinect, there have been much research on capturing and reconstructing 3D environments using a movable RGB-D sensor. The key process behind these kinds of simultaneous location and mapping (SLAM) systems is the iterative closest point or ICP algorithm, which is an iterative algorithm that can estimate the rigid movement of the camera based on the captured 3D point clouds. While ICP is a well-studied algorithm, it is problematic when it is used in …
Multimodal Interaction In Ambient Intelligence Environments Using Speech, Localization And Robotics, Georgios Galatas
Multimodal Interaction In Ambient Intelligence Environments Using Speech, Localization And Robotics, Georgios Galatas
Computer Science and Engineering Dissertations - Archive
An Ambient Intelligence Environment is meant to sense and respond to the presence of people, using its embedded technology. In order to effectively sense the activities and intentions of its inhabitants, such an environment needs to utilize information captured from multiple sensors and modalities. By doing so, the interaction becomes more natural as well as accurate and robust. We have focused on 3 aspects of such an environment, using speech, localization and robotics. Speech is one of the most natural forms of communication for humans. Therefore, it can be used as one of the main information sources for deriving the …
Exploratory Mining Of Collaborative Social Content, Mahashweta Das
Exploratory Mining Of Collaborative Social Content, Mahashweta Das
Computer Science and Engineering Dissertations - Archive
The widespread use and growing popularity of online collaborative content sites (e.g., Yelp, Amazon, IMDB) has created rich resources for consumers to consult in order to make purchasing decisions on various items such as restaurants, e-commerce products, movies, etc. It has also created new opportunities for producers of such items to improve business by designing better products, composing succinct advertisement snippets, building more effective personalized recommendation systems, etc. This motivates us to develop a framework for exploratory mining of user feedback on items in collaborative social content sites. Typically, the amount of user feedback (e.g., ratings, reviews) associated with an …
Challenges To Transferring Western Field Research Materials And Methods To A Developing World Context, Ma. Mercedes T. Rodrigo, Jessica Sugay
Challenges To Transferring Western Field Research Materials And Methods To A Developing World Context, Ma. Mercedes T. Rodrigo, Jessica Sugay
Department of Information Systems & Computer Science Faculty Publications
Much of the research currently undertaken in the area of intelligent tutoring systems hails from Western countries. To counteract any bias that this situation produces, to gain greater representation from the rest of the world, and to produce systems and publications that take cultural factors into account, experts recognize the need for more intercultural evaluations and collaborations. For these collaborations to be successful, though, methods and materials require modification. Field work methodologies used in developed countries have to be nuanced when transferred to developing world contexts. In specific, the paper describes five challenges that researchers must address in the transfer …
Knowledge Extraction From Survey Data Using Neural Networks, Khan Imran, Arun Kulkarni
Knowledge Extraction From Survey Data Using Neural Networks, Khan Imran, Arun Kulkarni
Computer Science Faculty Publications and Presentations
Surveys are an important tool for researchers. It is increasingly important to develop powerful means for analyzing such data and to extract knowledge that could help in decision-making. Survey attributes are typically discrete data measured on a Likert scale. The process of classification becomes complex if the number of survey attributes is large. Another major issue in Likert-Scale data is the uniqueness of tuples. A large number of unique tuples may result in a large number of patterns. The main focus of this paper is to propose an efficient knowledge extraction method that can extract knowledge in terms of rules. …
Unmanned Autonomous Object Retrieval: Old Dominion University 2013 International Aerial Robotics Competition Entry, Johnathan Bailey, Austin Boyd, Chung-Hao Chen, Stephen Dailey, Lisa Henderson, Jeremy Stuart, Christina Williams
Unmanned Autonomous Object Retrieval: Old Dominion University 2013 International Aerial Robotics Competition Entry, Johnathan Bailey, Austin Boyd, Chung-Hao Chen, Stephen Dailey, Lisa Henderson, Jeremy Stuart, Christina Williams
Electrical & Computer Engineering Faculty Publications
This paper describes the design implementation of a Quadrotor Unmanned Aerial Vehicle (UAV) with the capability of exploring indoor locations without the assistance of external aids. For relative position, the use of a laser range sensor, an optical flow sensor, and sonar sensor combined allows for the vehicle to generate mapping information. With relative position in mind, the vehicle uses vision algorithms to recognize immediate obstacles, sign, and entry ways to allow for quick movement responses and object recognition. A proportional-integral-differentiator controller allows for flight stability and mitigation in the tight confines of the indoor spaces. A mapping algorithm allows …
The Root Cause Of Failure In Complex It Projects: Complexity Itself, Kaitlynn M. Whitney, Charles B. Daniels
The Root Cause Of Failure In Complex It Projects: Complexity Itself, Kaitlynn M. Whitney, Charles B. Daniels
Engineering Management & Systems Engineering Faculty Publications
Increased demand for better technology and perpetual global expansion continue to provide developers with many project opportunities for success, as well as failure. While no industry is immune from project failure, the Information Technology (IT) industry is shown to be more susceptible to risk and failure than those of other industries. Agile project management, which facilitates adaptation to changing circumstances and alleviates rigid formal controls, has become more popular in the software development industry though is not entirely compatible with traditional project management approaches.In this paper we will examine the primary causes of IT project management failure stated in modern …
Lattice Boltzmann Simulations Of Thermal Convective Flows In Two Dimensions, Jia Wang, Donghai Wang, Pierre Lallemand, Li-Shi Luo
Lattice Boltzmann Simulations Of Thermal Convective Flows In Two Dimensions, Jia Wang, Donghai Wang, Pierre Lallemand, Li-Shi Luo
Mathematics & Statistics Faculty Publications
In this paper we study the lattice Boltzmann equation (LBE) with multiple-relaxation-time (MRT) collision model for incompressible thermo-hydrodynamics with the Boussinesq approximation. We use the MRT thermal LBE (TLBE) to simulate the following two flows in two dimensions: the square cavity with differentially heated vertical walls and the Rayleigh-Benard convection in a rectangle heated from below. For the square cavity, the flow parameters in this study are the Rayleigh number Ra = 103-106, and the Prandtl number Pr = 0.71; and for the Rayleigh-Benard convection in a rectangle, Ra = 2 . 103, 10 …
Ricean Over Gaussian Modelling In Magnitude Fmri Analysis—Added Complexity With Negligible Practical Benefits, Daniel W. Adrian, Ranjan Maitra, Daniel B. Rowe
Ricean Over Gaussian Modelling In Magnitude Fmri Analysis—Added Complexity With Negligible Practical Benefits, Daniel W. Adrian, Ranjan Maitra, Daniel B. Rowe
Mathematics, Statistics and Computer Science Faculty Research and Publications
It is well known that Gaussian modelling of functional magnetic resonance imaging (fMRI) magnitude time-course data, which are truly Rice distributed, constitutes an approximation, especially at low signal-to-noise ratios (SNRs). Based on this fact, previous work has argued that Rice-based activation tests show superior performance over their Gaussian-based counterparts at low SNRs and should be preferred in spite of the attendant additional computational and estimation burden. Here, we revisit these past studies and, after identifying and removing their underlying limiting assumptions and approximations, provide a more comprehensive comparison. Our experimental evaluations using Receiver Operating Characteristic (ROC) curve methodology show that …
Recent Advances In Energy-Efficient Sensor Networks, Sheikh Iqbal Ahamed, Wei Wang, Jiman Hong
Recent Advances In Energy-Efficient Sensor Networks, Sheikh Iqbal Ahamed, Wei Wang, Jiman Hong
Mathematics, Statistics and Computer Science Faculty Research and Publications
No abstract provided.
Concept Of Sub-Independence, Gholamhossein Hamedani
Concept Of Sub-Independence, Gholamhossein Hamedani
Mathematics, Statistics and Computer Science Faculty Research and Publications
Limit theorems as well as other well-known results in probability and statistics are often based on the distributions of the sums of independent random variables. The concept of sub-independence, which is weaker than that of independence, is shown to be sufficient to yield the conclusions of these theorems and results. It also provides a measure of dissociation between two random variables which is stronger than uncorrelatedness.
Undergraduate And Graduate Teaching Assistants' Perceptions Of Their Responsibilities - Factors That Help Or Hinder, Alena Moon, Hyunyi Jung, Farshid Marbouti, Kelsey Joy Rodgers, Heidi A. Diefes-Dux
Undergraduate And Graduate Teaching Assistants' Perceptions Of Their Responsibilities - Factors That Help Or Hinder, Alena Moon, Hyunyi Jung, Farshid Marbouti, Kelsey Joy Rodgers, Heidi A. Diefes-Dux
Mathematics, Statistics and Computer Science Faculty Research and Publications
Effective teaching assistants (TAs) are crucial for effective student learning. This is especially true in science, technology, engineering, and mathematics (STEM) programs, where TAs are enabling large programs to transition to more student-centered learning environments. To ensure that TAs are able to support these types of learning environments, their perspectives of training, their abilities, and other work related aspects must be understood. In this paper a survey that was created based on interviews conducted with eight TAs is discussed. The survey has four primary categories of content that are critical for understanding TAs' perspectives: (1) background, (2) motivation, (3) training, …
Cross‐Campus Collaboration: A Scientometric And Network Case Study Of Publication Activity Across Two Campuses Of A Single Institution, Jeremy Birnholtz, Shion Guha, Y. Connie Yuan, Geri Gay, Caren Heller
Cross‐Campus Collaboration: A Scientometric And Network Case Study Of Publication Activity Across Two Campuses Of A Single Institution, Jeremy Birnholtz, Shion Guha, Y. Connie Yuan, Geri Gay, Caren Heller
Mathematics, Statistics and Computer Science Faculty Research and Publications
Team science and collaboration have become crucial to addressing key research questions confronting society. Institutions that are spread across multiple geographic locations face additional challenges. To better understand the nature of cross‐campus collaboration within a single institution and the effects of institutional efforts to spark collaboration, we conducted a case study of collaboration at Cornell University using scientometric and network analyses. Results suggest that cross‐campus collaboration is increasingly common, but is accounted for primarily by a relatively small number of departments and individual researchers. Specific researchers involved in many collaborative projects are identified, and their unique characteristics are described. Institutional …
Genome-Wide Associations Of Signaling Pathways In Glioblastoma Multiforme, Serdar Bozdag, Stefan Wuchty, Alexei Vazquez, Peter O. Bauer
Genome-Wide Associations Of Signaling Pathways In Glioblastoma Multiforme, Serdar Bozdag, Stefan Wuchty, Alexei Vazquez, Peter O. Bauer
Mathematics, Statistics and Computer Science Faculty Research and Publications
Background: eQTL analysis is a powerful method that allows the identification of causal genomic alterations, providing an explanation of expression changes of single genes. However, genes mediate their biological roles in groups rather than in isolation, prompting us to extend the concept of eQTLs to whole gene pathways. Methods: We combined matched genomic alteration and gene expression data of glioblastoma patients and determined associations between the expression of signaling pathways and genomic copy number alterations with a non-linear machine learning approach. Results: Expectedly, over-expressed pathways were largely associated to tag-loci on chromosomes with signature alterations. Surprisingly, tag-loci that were associated …
A Proposal For A Problem-Driven Mathematics Curriculum Framework, Judith S. Zawojewski, Marta Magiera, Richard Lesh
A Proposal For A Problem-Driven Mathematics Curriculum Framework, Judith S. Zawojewski, Marta Magiera, Richard Lesh
Mathematics, Statistics and Computer Science Faculty Research and Publications
A framework for a problem-driven mathematics curriculum is proposed, grounded in the assumption that students learn mathematics while engaged in complex problem-solving activity. The framework is envisioned as a dynamic technologicallydriven multi-dimensional representation that can highlight the nature of the curriculum (e.g., revealing the relationship among modeling, conceptual, and procedural knowledge), can be used for programmatic, classroom and individual assessment, and can be easily revised to reflect ongoing changes in disciplinary knowledge development and important applications of mathematics. The discussion prompts ideas and questions for future development of the envisioned software needed to enact such a framework.
Robust Estimation Of The Correlation Matrix Of Longitudinal Data, Mehdi Maadooliat, Mohsen Pourahmadi, Jianhua Z. Huang
Robust Estimation Of The Correlation Matrix Of Longitudinal Data, Mehdi Maadooliat, Mohsen Pourahmadi, Jianhua Z. Huang
Mathematics, Statistics and Computer Science Faculty Research and Publications
We propose a double-robust procedure for modeling the correlation matrix of a longitudinal dataset. It is based on an alternative Cholesky decomposition of the form Σ=DLL ⊤ D where D is a diagonal matrix proportional to the square roots of the diagonal entries of Σ and L is a unit lower-triangular matrix determining solely the correlation matrix. The first robustness is with respect to model misspecification for the innovation variances in D, and the second is robustness to outliers in the data. The latter is handled using heavy-tailed multivariate t-distributions with unknown degrees of freedom. We …
Considerations In Designing Human-Computer Interfaces For Elderly People, Drew Williams, Mohammad Arif Ul Alam, Sheikh Iqbal Ahamed, William Chu
Considerations In Designing Human-Computer Interfaces For Elderly People, Drew Williams, Mohammad Arif Ul Alam, Sheikh Iqbal Ahamed, William Chu
Mathematics, Statistics and Computer Science Faculty Research and Publications
As computing devices continue to become more heavily integrated into our lives, proper design of human-computer interfaces becomes a more important topic of discussion. Efficient and useful human-computer interfaces need to take into account the abilities of the humans who will be using such interfaces, and adapt to difficulties that different users may face – such as the difficulties that elderly users must deal with. Interfaces that allow for user-specific customization, while taking into account the multiple difficulties that older users might face, can assist the elderly in properly using these newer computing devices, and in doing so possibly achieving …
The Zografos-Balakrishnan Log-Logistic Distribution: Properties And Applications, Gholamhossein Hamedani
The Zografos-Balakrishnan Log-Logistic Distribution: Properties And Applications, Gholamhossein Hamedani
Mathematics, Statistics and Computer Science Faculty Research and Publications
No abstract provided.
Rssi Based Indoor Localization For Smartphone Using Fixed And Mobile Wireless Node, Md O. Gani, Casey O'Brien, Sheikh Iqbal Ahamed, Roger O. Smith
Rssi Based Indoor Localization For Smartphone Using Fixed And Mobile Wireless Node, Md O. Gani, Casey O'Brien, Sheikh Iqbal Ahamed, Roger O. Smith
Mathematics, Statistics and Computer Science Faculty Research and Publications
Nowadays with the dispersion of wireless networks, smartphones and diverse related services, different localization techniques have been developed. Global Positioning System (GPS) has a high rate of accuracy for outdoor localization but the signal is not available inside of buildings. Also other existing methods for indoor localization have low accuracy. In addition, they use fixed infrastructure support. In this paper, we present a novel system for indoor localization, which also works well outside. We have developed a mathematical model for estimating location (distance and direction) of a mobile device using wireless technology. Our experimental results on Smartphones (Android and iOS) …
Utilizing Cyber Espionage To Combat Terrorism, Gary Adkins
Utilizing Cyber Espionage To Combat Terrorism, Gary Adkins
Open Access Theses & Dissertations
The world has effectively exited the Industrial Age and is firmly planted in the Information Age. Global communication at the speed of light has been a great asset to both businesses and private citizens. However, there is a dark side to the age we live in, where terrorist groups are able to communicate, plan, fund, recruit, and spread their message to the world. The relative anonymity the internet provides hinders law enforcement and security agencies in not only locating would-be terrorists but also in disrupting their operations. The internet is a loosely knit group of computers and routers and is …
Upgrades To Nrlmol Code, Luis Basurto
Upgrades To Nrlmol Code, Luis Basurto
Open Access Theses & Dissertations
This project consists of performing upgrades to the massively parallel NRLMOL electronic structure code in order to enhance its performance by increasing its flexibility by: a) Utilizing dynamically allocated arrays, b) Executing in a parallel environment sections of the program that were previously executed in a serial mode, c) Exploring simultaneous concurrent executions of the program through the use of an already existing MPI environment; thus enabling the simulation of larger systems than it is currently capable of performing. Also developed was a graphical user interface that will allow less experienced users to start performing electronic structure calculations by aiding …
A Semantic Web-Based Methodology For Describing Scientific Research Efforts, Aida Gandara
A Semantic Web-Based Methodology For Describing Scientific Research Efforts, Aida Gandara
Open Access Theses & Dissertations
Scientists produce research resources that are useful to future research and innovative efforts. In a typical scientific scenario, the results created by a collaborative team often include numerous artifacts, observations and relationships relevant to research findings, such as programs that generate data, parameters that impact outputs, workflows that describe processes, and publications, posters and presentations that explain results and findings. Scientists have options in what results to share and how to share them, however, there is no systematic approach to documenting scientific research and sharing it on the Web.
The goal of this research is to define a systematic approach …
Toward New Data And Information Management Solutions For Data-Intensive Ecological Research, Christine Marie Laney
Toward New Data And Information Management Solutions For Data-Intensive Ecological Research, Christine Marie Laney
Open Access Theses & Dissertations
Ecosystem health is deteriorating in many parts of the world due to direct and indirect anthropogenic pressures. Generating accurate, useful, and impactful models of past, current, and future states of ecosystem structure and function is a complex endeavor that often requires vast amounts of data from multiple sources and knowledge from collaborating researchers. Ecological data collection has improved rapidly over the past few decades due to the development, innovation, and large scale deployment of automated sensors, which are capable of measuring a gamut of ecosystem properties over broad spatiotemporal scales. Although complex ecosystem models and analyses are increasingly parameterized with …
Efficient, Scalable, Parallel, Matrix-Matrix Multiplication, Enrique Portillo
Efficient, Scalable, Parallel, Matrix-Matrix Multiplication, Enrique Portillo
Open Access Theses & Dissertations
For the past decade, power/energy consumption has become a limiting factor for large-scale and embedded High Performance Computing (HPC) systems. This is especially true for systems that include accelerators, e.g., high-end computing devices, such as Graphics Processing Units (GPUs), with terascale computing capabilities and high power draws that greatly surpass that of multi-core CPUs. Accordingly, improving the node-level power/energy efficiency of an application can have a direct and positive impact on both classes of HPC systems.
The research reported in this thesis explores the use of software techniques to enhance the execution-time and power-consumption performance of applications executed on a …
Propagation Of Interval And Probabilistic Uncertainty In Cyberinfrastructure-Related Data Processing And Data Fusion, Christian Servin
Propagation Of Interval And Probabilistic Uncertainty In Cyberinfrastructure-Related Data Processing And Data Fusion, Christian Servin
Open Access Theses & Dissertations
Data uncertainty affects the results of data processing. So, it is necessary to find out how the data uncertainty propagates into the uncertainty of the results of data processing. This problem is especially important when cyberinfrastructure enables us to process large amounts of heterogeneous data. In the ideal world, we should have an accurate description of data uncertainty, and well-justified efficient algorithms to propagate this uncertainty. In practice, we are often not yet in this ideal situation: the description of uncertainty is often only approximate, and the algorithms for uncertainty propagation are often not well-justified and not very computationally efficient. …
Cjc: An Extensible Checker For The Cleanjava Annotation Language, Cesar Eduardo Yeep
Cjc: An Extensible Checker For The Cleanjava Annotation Language, Cesar Eduardo Yeep
Open Access Theses & Dissertations
Formal program verification can be used as a complementary technique to software testing. It allows checking the correctness of all the states of a program which may be impossible using only software testing as a verification technique. One software development process that relies on formal verification is Cleanroom Software Engineering. Cleanroom's main principles are to certify the software with respect to its specification and to produce zero-fault or near-zero-fault software. Cleanroom has being tested primarily in safety-critical systems that require a high level of correctness by development teams in places such as NASA and IBM, demonstrating lower fault rates and …
Improved Efficiency Of Rna Secondary Structure Prediction Using Distributed Computing, Gerardo A. Cardenas
Improved Efficiency Of Rna Secondary Structure Prediction Using Distributed Computing, Gerardo A. Cardenas
Open Access Theses & Dissertations
The rapidly growing amounts of available biomolecular sequence data, which may represent information from small gene fragments to large complete genomes, have led to the a great need for powerful computational resources for data analysis and storage. With the decoding of the human and other genomes, RNA secondary structure prediction has become an important area of interest in biology and medicine because they help in understanding the mechanisms of many biological processes such as gene regulation and viral replication, and in designing RNA-based therapies to treat various diseases. Due to the complexity of their algorithms, many existing and upcoming computational …
A Declarative Domain Independent Approach For Querying And Generating Visualizations, Nicholas Ricky Del Rio
A Declarative Domain Independent Approach For Querying And Generating Visualizations, Nicholas Ricky Del Rio
Open Access Theses & Dissertations
Constructing visualizations using modular visualization environments (MVEs) requires knowledge about visualization transformation theory as well as implementation specific details about how to programmatically chain together relevant sets of modules into pipe and filter-like architectures known as pipelines. Constructing visualization pipelines introduces a number of challenges including: understanding how to transform raw data into forms that can be ingested by MVEs, identifying target modules that map data into graphical data, and understanding how to further transform resulting graphical data into forms that can be presented. Users typically must immerse themselves in a deluge of documentation and usage examples before becoming proficient …
Security Games With Interval Uncertainty, Md Towhidul Islam
Security Games With Interval Uncertainty, Md Towhidul Islam
Open Access Theses & Dissertations
Game theory has become an important tool in solving real-life decision making problems. Security games use the concept of game theory in adversarial scenarios to protect critical infrastructure. The main purpose of security games is to allocate security resources among various targets and maximize payoff for the defender considering various kinds of attackers. It is hard for domain experts to predict the attacker's behavior, so one of the major challenges in describing this game model is representing uncertainty about the attacker's payoff. Several approaches have been developed to generate these game models based on uncertainty, such as Bayesian games. However …