Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (458)
- Computer Engineering (300)
- Databases and Information Systems (266)
- Electrical and Computer Engineering (236)
- Social and Behavioral Sciences (217)
-
- Information Security (205)
- Software Engineering (170)
- Numerical Analysis and Scientific Computing (166)
- Mathematics (94)
- Life Sciences (87)
- Artificial Intelligence and Robotics (85)
- Programming Languages and Compilers (81)
- Communication (75)
- Graphics and Human Computer Interfaces (74)
- Theory and Algorithms (73)
- Law (71)
- Other Computer Sciences (71)
- OS and Networks (70)
- Computer Law (67)
- Legal Studies (65)
- Education (64)
- Forensic Science and Technology (64)
- Business (63)
- Physics (55)
- Statistics and Probability (55)
- Medicine and Health Sciences (46)
- Bioinformatics (40)
- Sociology (37)
- Institution
-
- Singapore Management University (361)
- TÜBİTAK (121)
- Missouri University of Science and Technology (111)
- University of Nebraska - Lincoln (73)
- Embry-Riddle Aeronautical University (71)
-
- Edith Cowan University (68)
- Purdue University (64)
- Brigham Young University (56)
- Wright State University (53)
- Old Dominion University (49)
- University of Texas at El Paso (46)
- California Polytechnic State University, San Luis Obispo (41)
- City University of New York (CUNY) (41)
- Marquette University (40)
- San Jose State University (40)
- Clemson University (35)
- Nova Southeastern University (32)
- Dartmouth College (24)
- University of Nebraska at Omaha (24)
- University for Business and Technology in Kosovo (22)
- University of Nevada, Las Vegas (21)
- Wayne State University (21)
- Utah State University (20)
- Southwestern Oklahoma State University (18)
- Portland State University (16)
- University of Texas at Arlington (16)
- Air Force Institute of Technology (15)
- Technological University Dublin (15)
- University of Central Florida (15)
- Minnesota State University, Mankato (13)
- Keyword
-
- Applied sciences (40)
- Security (31)
- Data mining (25)
- Machine learning (22)
- Big data (19)
-
- Digital forensics (19)
- Social media (18)
- Privacy (17)
- Algorithms (16)
- Classification (16)
- Education (16)
- Optimization (16)
- Android (15)
- Twitter (14)
- Authentication (12)
- Cloud computing (12)
- Computer science (12)
- Online learning (12)
- Visualization (12)
- Clustering (10)
- Image processing (10)
- Mobile (10)
- Technology (10)
- Wireless sensor networks (10)
- Genetic algorithm (9)
- [RSTDPub] (9)
- AHRC New York City (8)
- Community Engagement (8)
- Computer vision (8)
- Department of Computer Science and Engineering (8)
- Publication
-
- Research Collection School Of Computing and Information Systems (345)
- Turkish Journal of Electrical Engineering and Computer Sciences (121)
- Theses and Dissertations (52)
- Journal of Digital Forensics, Security and Law (50)
- The R Journal (47)
-
- Open Access Theses (37)
- Master's Projects (36)
- Computer Science Faculty Research & Creative Works (33)
- Departmental Technical Reports (CS) (33)
- Mathematics, Statistics and Computer Science Faculty Research and Publications (33)
- Journal of Undergraduate Research (32)
- Computer Science Faculty Publications (31)
- CCAC Theses and Dissertations (30)
- Research outputs 2014 to 2021 (25)
- Kno.e.sis Publications (24)
- Electrical and Computer Engineering Faculty Research & Creative Works (23)
- All Theses (22)
- Computer Science Technical Reports (22)
- Electronic Theses and Dissertations (22)
- Dissertations, Theses, and Capstone Projects (20)
- Master's Theses (20)
- Physics Faculty Research & Creative Works (20)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (19)
- Oklahoma Research Day Abstracts (18)
- Annual ADFSL Conference on Digital Forensics, Security and Law (17)
- Doctoral Dissertations (17)
- Computer Science and Engineering Faculty Publications (16)
- Open Access Dissertations (16)
- All Graduate Theses and Dissertations, Spring 1920 to Summer 2023 (14)
- Australian Digital Forensics Conference (14)
- Publication Type
- File Type
Articles 1261 - 1290 of 1965
Full-Text Articles in Computer Sciences
A Fast Algorithm For The Inversion Of Quasiseparable Vandermonde-Like Matrices, Sirani M. Perera, Grigory Bonik, Vadim Olshevsky
A Fast Algorithm For The Inversion Of Quasiseparable Vandermonde-Like Matrices, Sirani M. Perera, Grigory Bonik, Vadim Olshevsky
Publications
The results on Vandermonde-like matrices were introduced as a generalization of polynomial Vandermonde matrices, and the displacement structure of these matrices was used to derive an inversion formula. In this paper we first present a fast Gaussian elimination algorithm for the polynomial Vandermonde-like matrices. Later we use the said algorithm to derive fast inversion algorithms for quasiseparable, semiseparable and well-free Vandermonde-like matrices having O(n2) complexity. To do so we identify structures of displacement operators in terms of generators and the recurrence relations(2-term and 3-term) between the columns of the basis transformation matrices for quasiseparable, semiseparable and well-free polynomials. Finally we …
Digital Display With Integrated Computing Circuit, Ronald S. Cok, John W. Harmer, Michael E. Miller
Digital Display With Integrated Computing Circuit, Ronald S. Cok, John W. Harmer, Michael E. Miller
AFIT Patents
A digital display device includes a display substrate; an array of pixels formed on the display substrate; an array of driving circuits located on the display substrate, each driving circuit electrically connected to one or more pixels for controlling a pixel current provided to each pixel; an array of computing circuits located on the display substrate, each computing circuit including circuits for signal or image processing and for communicating with neighboring computing circuits; a plurality of electrical conductors formed on the display substrate and connected to each of the driving circuits and digital computing circuits, wherein each computing circuit is …
Towards Verification Of Computation Orchestration, Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang
Towards Verification Of Computation Orchestration, Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang
Research Collection School Of Computing and Information Systems
Recently, a promising programming model called Orc has been proposed to support a structured way of orchestrating distributed Web Services. Orc is intuitive because it offers concise constructors to manage concurrent communication, time-outs, priorities, failure of Web Services or communication and so forth. The semantics of Orc is precisely defined. However, there is no automatic verification tool available to verify critical properties against Orc programs. Our goal is to verify the orchestration programs (written in Orc language) which invoke web services to achieve certain goals. To investigate this problem and build useful tools, we explore in two directions. Firstly, we …
Model Checking Approach To Automated Planning, Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun
Model Checking Approach To Automated Planning, Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun
Research Collection School Of Computing and Information Systems
Model checking provides a way to automatically explore the state space of a finite state system based on desired properties, whereas planning is to produce a sequence of actions that leads from the initial state to the target goal states. Previous research in this field proposed a number of approaches for connecting model checking with planning problem solving. In this paper, we investigate the feasibility of using an established model checking framework, Process Analysis Toolkit (PAT), as a planning solution provider for upper layer applications. To achieve this, we first carry out a number of experiments on different model checking …
Towards Formal Modelling And Verification Of Pervasive Computing Systems, Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari
Towards Formal Modelling And Verification Of Pervasive Computing Systems, Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari
Research Collection School Of Computing and Information Systems
Smart systems equipped with emerging pervasive computing technologies enable people with limitations to live in their homes independently. However, lack of guarantees for correctness prevent such system to be widely used. Analysing the system with regard to correctness requirements is a challenging task due to the complexity of the system and its various unpredictable faults. In this work, we propose to use formal methods to analyse pervasive computing (PvC) systems. Firstly, a formal modelling framework is proposed to cover the main characteristics of such systems (e.g., context-awareness, concurrent communications, layered architectures). Secondly, we identify the safety requirements (e.g., free of …
Learning Assumptions For Compositional Verification Of Timed Systems, Shang-Wei Lin Lin, Yang Liu, Jun Sun, Jun Sun
Learning Assumptions For Compositional Verification Of Timed Systems, Shang-Wei Lin Lin, Yang Liu, Jun Sun, Jun Sun
Research Collection School Of Computing and Information Systems
Compositional techniques such as assume-guarantee reasoning (AGR) can help to alleviate the state space explosion problem associated with model checking. However, compositional verification is difficult to be automated, especially for timed systems, because constructing appropriate assumptions for AGR usually requires human creativity and experience. To automate compositional verification of timed systems, we propose a compositional verification framework using a learning algorithm for automatic construction of timed assumptions for AGR. We prove the correctness and termination of the proposed learning-based framework, and experimental results show that our method performs significantly better than traditional monolithic timed model checking.
Updating And Revising Star Camera For Future Flights Of Balloon Borne Experiment, Krystle N. Sy, Seth Hillbrand
Updating And Revising Star Camera For Future Flights Of Balloon Borne Experiment, Krystle N. Sy, Seth Hillbrand
STAR Program Research Presentations
The BLAST (Balloon-borne Large Aperture Submillimeter Telescope) experiment surveys the galaxy from altitudes of 100,000 ft in order to answer important cosmological questions, such as how stars are formed. This experiment is conducted above Antarctica to minimize unwanted noise. Two star cameras are used in the navigation systems to identify known stars. The cameras take pictures and match stars in the image to known star positions from a catalog stored in the star camera's computer. This is done using code written in C++, a computer programming language. In order to modernize the system, the code needs to be updated. A …
Skin Lesion Extraction And Its Application, Yanliang Gu
Skin Lesion Extraction And Its Application, Yanliang Gu
Dissertations, Master's Theses and Master's Reports - Open
In this thesis, I study skin lesion detection and its applications to skin cancer diagnosis. A skin lesion detection algorithm is proposed. The proposed algorithm is based color information and threshold. For the proposed algorithm, several color spaces are studied and the detection results are compared. Experimental results show that YUV color space can achieve the best performance. Besides, I develop a distance histogram based threshold selection method and the method is proven to be better than other adaptive threshold selection methods for color detection. Besides the detection algorithms, I also investigate GPU speed-up techniques for skin lesion extraction and …
Enhanced Capillary Rise Of Wetting Liquids In Reduced Gravitational Shielding Under Microgravity Conditions, George D. Zouganelis, Ioannis Gkigkitzis, Ioannis Haranas
Enhanced Capillary Rise Of Wetting Liquids In Reduced Gravitational Shielding Under Microgravity Conditions, George D. Zouganelis, Ioannis Gkigkitzis, Ioannis Haranas
Physics and Computer Science Faculty Publications
We study the capillary rise of wetting in liquids by slightly modifying Ponomarenko’s result, a recently derived and observed t1/3 law, without omitting the corresponding gravity term and therefore we find hnew (t)≅0.9085hPon (t) instead, which corresponds to a 9% difference. Furthermore, in order to examine the effect of corrected gravity, we extend the result on the surface of a planetary body by correcting the gravitational acceleration for its oblateness coefficient and rotation. We find that experiments that take place on the equator result in highest capillary heights, than those at mid latitudes and the poles. …
Pharaoh: Conceptual Blending Of Cognitive Scripts For Computationally Creative Agents, Rania Hodhod
Pharaoh: Conceptual Blending Of Cognitive Scripts For Computationally Creative Agents, Rania Hodhod
Faculty Bibliography
Improvisational acting is a creative group performance where actors co-construct stories on stage in real-time based on actors’ perceptions of the environment. The Digital Improv Project has been engaged in a multi-year study of the cognitive processes involved in improvisational acting. This better understanding of human cognition and creativity has led to formal computational models of some aspects of our findings. In this work, we consider enriching AI improv agents with the ability to improvise new nontraditional scenes based on existing social cognitive scripts. This paper shows how the use of Pharaoh -a context based structural retrieval algorithm for cognitive …
Changing Minds To Changing The World: Mapping The Spectrum Of Intent In Data Visualization And Data Arts, Scott Murray
Changing Minds To Changing The World: Mapping The Spectrum Of Intent In Data Visualization And Data Arts, Scott Murray
Art + Architecture
No abstract provided.
Advances In Documentation, Digital Curation, Virtual Exhibition, And A Test Of 3d Geometric Morhpometrics: A Case Study Of The Vanderpool Vessels From The Ancestral Caddo Territory, Robert Z. Selden Jr., Timothy K. Perttula, Michael J. O'Brien
Advances In Documentation, Digital Curation, Virtual Exhibition, And A Test Of 3d Geometric Morhpometrics: A Case Study Of The Vanderpool Vessels From The Ancestral Caddo Territory, Robert Z. Selden Jr., Timothy K. Perttula, Michael J. O'Brien
CRHR: Archaeology
Three-dimensional (3D) digital scanning of archaeological materials is typically used as a tool for artifact documentation. With the permission of the Caddo Nation of Oklahoma, 3D documentation of Caddo funerary vessels from the Vanderpool site (41SM77) was conducted with the initial goal of ensuring that these data would be publicly available for future research long after the vessels were repatriated. A digital infrastructure was created to archive and disseminate the resultant 3D datasets, ensuring that they would be accessible by both researchers and the general public (CRHR 2014a). However, 3D imagery can be used for much more than documentation. To …
From Global To Local Constraints: A Constructive Version Of Bloch's Principle, Martine Ceberio, Olga Kosheleva, Vladik Kreinovich
From Global To Local Constraints: A Constructive Version Of Bloch's Principle, Martine Ceberio, Olga Kosheleva, Vladik Kreinovich
Departmental Technical Reports (CS)
Generalizing several results from complex analysis, A. Bloch formulated an informal principle -- that for every global implication there is a stronger local implication. This principle has been formalized for complex analysis, but is has been successfully used in other areas as well. In this paper, we propose a new formalization of Bloch's Principle, and we show that in general, the corresponding localized version can be obtained algorithmically.
06. Computer Science, University Of Central Oklahoma
06. Computer Science, University Of Central Oklahoma
Oklahoma Research Day Abstracts
No abstract provided.
04. Botany, University Of Central Oklahoma
04. Botany, University Of Central Oklahoma
Oklahoma Research Day Abstracts
No abstract provided.
09. Environmental Science, University Of Central Oklahoma
09. Environmental Science, University Of Central Oklahoma
Oklahoma Research Day Abstracts
No abstract provided.
12. Kinesiology, University Of Central Oklahoma
12. Kinesiology, University Of Central Oklahoma
Oklahoma Research Day Abstracts
No abstract provided.
08. Engineering, University Of Central Oklahoma
08. Engineering, University Of Central Oklahoma
Oklahoma Research Day Abstracts
No abstract provided.
10. Forensic Science, University Of Central Oklahoma
10. Forensic Science, University Of Central Oklahoma
Oklahoma Research Day Abstracts
No abstract provided.
05. Chemistry, University Of Central Oklahoma
05. Chemistry, University Of Central Oklahoma
Oklahoma Research Day Abstracts
No abstract provided.
14. Optometry, University Of Central Oklahoma
14. Optometry, University Of Central Oklahoma
Oklahoma Research Day Abstracts
No abstract provided.
15. Pharmacy, University Of Central Oklahoma
15. Pharmacy, University Of Central Oklahoma
Oklahoma Research Day Abstracts
No abstract provided.
17. Psychology, University Of Central Oklahoma
17. Psychology, University Of Central Oklahoma
Oklahoma Research Day Abstracts
No abstract provided.
19. Zoology, University Of Central Oklahoma
19. Zoology, University Of Central Oklahoma
Oklahoma Research Day Abstracts
No abstract provided.
An Active Learning Module For An Introduction To Software Engineering Course, A. Frank Ackerman, Ph.D.
An Active Learning Module For An Introduction To Software Engineering Course, A. Frank Ackerman, Ph.D.
Computer Science & Software Engineering
Many schools do not begin to introduce college students to software engineering until they have had at least one semester of programming. Since software engineering is a large, complex, and abstract subject it is difficult to construct active learning exercises that build on the students’ elementary knowledge of programming and still teach basic software engineering principles. It is also the case that beginning students typically know how to construct small programs, but they have little experience with the techniques necessary to produce reliable and long-term maintainable modules. I have addressed these two concerns by defining a local standard (Montana Tech …
Closed Type Families With Overlapping Equations, Richard A. Eisenberg, Dimitrios Vytiniotis, Simon Peyton Jones, Stephanie Weirich
Closed Type Families With Overlapping Equations, Richard A. Eisenberg, Dimitrios Vytiniotis, Simon Peyton Jones, Stephanie Weirich
Computer Science Faculty Research and Scholarship
Open, type-level functions are a recent innovation in Haskell that move Haskell towards the expressiveness of dependent types, while retaining the look and feel of a practical programming language. This paper shows how to increase expressiveness still further, by adding closed type functions whose equations may overlap, and may have non-linear patterns over an open type universe. Although practically useful and simple to implement, these features go be- yond conventional dependent type theory in some respects, and have a subtle metatheory.
Promoting Functions To Type Families In Haskell (Extended Version), Richard A. Eisenberg, Jan Stolarek
Promoting Functions To Type Families In Haskell (Extended Version), Richard A. Eisenberg, Jan Stolarek
Computer Science Faculty Research and Scholarship
Haskell, as implemented in the Glasgow Haskell Compiler (GHC), is enriched with many extensions that support type-level programming, such as promoted datatypes, kind polymorphism, and type families. Yet, the expressiveness of the type-level language remains limited. It is missing many features present at the term level, including case expressions, anonymous functions, partially-applied functions, and let expressions. In this paper, we present an algorithm – with a proof of correctness – to encode these term-level constructs at the type level. Our approach is automated and capable of promoting a wide array of functions to type families.We also highlight and discuss those …
Experience Report: Type-Checking Polymorphic Units For Astrophysics Research In Haskell, Takayuki Muranushi, Richard A. Eisenberg
Experience Report: Type-Checking Polymorphic Units For Astrophysics Research In Haskell, Takayuki Muranushi, Richard A. Eisenberg
Computer Science Faculty Research and Scholarship
Many of the bugs in scientific programs have their roots in mistreatment of physical dimensions, via erroneous expressions in the quantity calculus. Now that the type system in the Glasgow Haskell Compiler is rich enough to support type-level integers and other promoted datatypes, we can type-check the quantity calculus in Haskell. In addition to basic dimension-aware arithmetic and unit conversions, our units library features an extensible system of dimensions and units, a notion of dimensions apart from that of units, and unit polymorphism designed to describe the laws of physics. We demonstrate the utility of units by writing an astrophysics …
An Ontology Pattern For Oceanographic Cruises: Towards An Oceanographer's Dream Of Integrated Knowledge Discovery, Adila Krisnadhi, Robert Arko, Suzanne Carbotte, Cynthia Chandler, Michelle Cheatham, Timothy Finin, Pascal Hitzler, Krzysztof Janowicz, Thomas Narock, Lisa Raymond, Adam Shepherd, Peter Wiebe
An Ontology Pattern For Oceanographic Cruises: Towards An Oceanographer's Dream Of Integrated Knowledge Discovery, Adila Krisnadhi, Robert Arko, Suzanne Carbotte, Cynthia Chandler, Michelle Cheatham, Timothy Finin, Pascal Hitzler, Krzysztof Janowicz, Thomas Narock, Lisa Raymond, Adam Shepherd, Peter Wiebe
Computer Science and Engineering Faculty Publications
EarthCube is a major effort of the National Science Foundation to establish a next-generation knowledge architecture for the broader geosciences. Data storage, retrieval, access, and reuse are central parts of this new effort. Currently, EarthCube is organized around several building blocks and research coordination networks. OceanLink is a semantics enabled building block that aims at improving data retrieval and reuse via ontologies, Semantic Web technologies, and Linked Data for the ocean sciences. Cruises, in the sense of research expeditions, are central events for ocean scientists. Consequently, information about these cruises and the involved vessels has to be shared and made …
Cleaning Data Helps Clean The Air, Kelley Donalds, Xiangrong Liu
Cleaning Data Helps Clean The Air, Kelley Donalds, Xiangrong Liu
Management Faculty Publications
In this project, students use a real-world, complex database and experience firsthand the consequences of inadequate data modeling. The U.S. Environmental Protection Agency created the database as part of a multimillion dollar data collection effort undertaken in order to set limits on air pollutants from electric power plants. First, students explore the database to identify design limitations from the perspective of a data analyst with a specific goal. Second, students create a new database design which overcomes identified problems. Through this case study, students develop the skill to infer usage implications by studying the design of an existing database. This …