Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- China Simulation Federation (3880)
- TÜBİTAK (3106)
- Wright State University (1960)
- Old Dominion University (937)
- Singapore Management University (884)
-
- Washington University in St. Louis (730)
- Embry-Riddle Aeronautical University (590)
- Air Force Institute of Technology (443)
- Missouri University of Science and Technology (440)
- Neutrosophic Systems with Applications (375)
- University of Nebraska - Lincoln (274)
- Chulalongkorn University (235)
- University of Central Florida (188)
- Portland State University (158)
- University of Nevada, Las Vegas (152)
- University of Arkansas, Fayetteville (149)
- University of South Carolina (125)
- Purdue University (118)
- Chapman University (114)
- University for Business and Technology in Kosovo (114)
- University of Kentucky (111)
- University of South Florida (104)
- Technological University Dublin (100)
- California Polytechnic State University, San Luis Obispo (79)
- University of New Haven (77)
- University of Dar es Salaam (74)
- New Jersey Institute of Technology (63)
- Michigan Technological University (61)
- University of Texas at El Paso (59)
- University of Malaya (56)
- Keyword
-
- Machine learning (392)
- Computer Science (351)
- Deep learning (301)
- Department of Computer Science and Engineering (285)
- Engineering (253)
-
- Simulation (216)
- Machine Learning (185)
- Artificial intelligence (169)
- Optimization (164)
- Technical writing (158)
- College of Engineering and Computer Science (157)
- Newsletters (157)
- Science news (157)
- Classification (130)
- Genetic algorithm (120)
- Cybersecurity (115)
- Security (108)
- Reinforcement learning (102)
- Computer Engineering (101)
- Computer vision (101)
- Deep Learning (101)
- Neural networks (99)
- Artificial Intelligence (92)
- Path planning (91)
- Particle swarm optimization (88)
- Algorithms (85)
- Clustering (79)
- Image processing (78)
- Robotics (78)
- Virtual reality (77)
- Publication Year
- Publication
-
- Journal of System Simulation (3880)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Computer Science & Engineering Syllabi (1312)
- Research Collection School Of Computing and Information Systems (857)
- All Computer Science and Engineering Research (683)
-
- Theses and Dissertations (503)
- Neutrosophic Systems with Applications (375)
- Browse all Theses and Dissertations (308)
- Journal of Digital Forensics, Security and Law (300)
- Electrical and Computer Engineering Faculty Research & Creative Works (282)
- Electronic Theses and Dissertations (249)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (235)
- Electrical & Computer Engineering Theses & Dissertations (217)
- Computer Science and Engineering Faculty Publications (184)
- Annual ADFSL Conference on Digital Forensics, Security and Law (174)
- BITs and PCs Newsletter (157)
- School of Computing: Dissertations, Theses, and Student Research (154)
- Faculty Publications (150)
- Electrical & Computer Engineering Faculty Publications (137)
- Dissertations (121)
- Computer Science Faculty Publications (107)
- USF Tampa Graduate Theses and Dissertations (94)
- Computer Science Faculty Publications and Presentations (83)
- Engineering Faculty Articles and Research (81)
- UBT International Conference (73)
- Electrical & Computer Engineering and Computer Science Faculty Publications (71)
- Graduate Theses and Dissertations (69)
- Tanzania Journal of Engineering and Technology (TJET) (69)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (64)
- Doctoral Dissertations (59)
- Publication Type
Articles 15691 - 15720 of 17307
Full-Text Articles in Computer Sciences
Towards A Systematic Account Of Different Semantics For Logic Programs, Pascal Hitzler
Towards A Systematic Account Of Different Semantics For Logic Programs, Pascal Hitzler
Computer Science and Engineering Faculty Publications
A new methodology has been proposed which allows one to derive uniform characterizations of different declarative semantics for logic programs with negation. One result from this work is that the well-founded semantics can formally be understood as a stratified version of the Fitting (or Kripke–Kleene) semantics. The constructions leading to this result, however, show a certain asymmetry which is not readily understood. We study this situation here with the result that we obtain a coherent picture of relations between different semantics for normal logic programs.
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 21, Number 8, May 2005, College Of Engineering And Computer Science, Wright State University
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 21, Number 8, May 2005, College Of Engineering And Computer Science, Wright State University
BITs and PCs Newsletter
An eight page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.
Hide It Or Unbundle It: A Comparison Of The Antitrust Investigations Against Microsoft In The U.S. And The E.U., Sue Ann Mota
Hide It Or Unbundle It: A Comparison Of The Antitrust Investigations Against Microsoft In The U.S. And The E.U., Sue Ann Mota
The University of New Hampshire Law Review
[Excerpt] "Microsoft Corporation, the world’s largest software company, has been facing antitrust scrutiny globally. In the U.S., after what’s been called the antitrust trial of the century, a consent decree was reached between Microsoft, the United States government, and several states, that closely resembled the litigated remedy that the remaining states received. Only Massachusetts appealed the litigated remedy, which was approved by the appeals court on June 30, 2004. In the United States, Microsoft was required to hide, but not remove, the Internet Explorer browser on the Windows Operating System. While antitrust litigation was ongoing in the United States against …
Architectures For Rule Processing Intrusion Detection And Prevention Systems, Michael E. Attig
Architectures For Rule Processing Intrusion Detection And Prevention Systems, Michael E. Attig
All Computer Science and Engineering Research
High-performance intrusion detection and prevention systems are needed by network administrators in order to protect Internet systems from attack. Researchers have been working to implement components of intrusion detection and prevention systems for the highly popular Snort system in reconfigurable hardware. While considerable progress has been made in the areas of string matching and header processing, complete systems have not yet been demonstrated that effectively combine all of the functionality necessary to perform intrusion detection and prevention for real network systems. In this thesis, three architectures to perform rule processing, the heart of intrusion detection and prevention, are presented. The …
Synthesizing E-Government Stage Models – A Meta-Synthesis Based On Meta-Ethnography Approach, Keng Siau, Y. Long
Synthesizing E-Government Stage Models – A Meta-Synthesis Based On Meta-Ethnography Approach, Keng Siau, Y. Long
Research Collection School Of Computing and Information Systems
The growing interest in e-government raises the question of stages in e-government development. A few stage models for e-government have been proposed. Without a common e-government stage model, different research in e-government may be based on different stage models. This presents a difficulty in comparing and understanding different research results. In this research, we synthesize the existing e-government stage models so that there is a common frame of reference for researchers and practitioners in the area.
Improving The Performance Of Internet Data Transport, Anshul Kantawala, Jonathan S. Turner
Improving The Performance Of Internet Data Transport, Anshul Kantawala, Jonathan S. Turner
All Computer Science and Engineering Research
With the explosion of the World Wide Web, the Internet infrastructure faces new challenges in providing high performance for data traffic. First, it must be able to pro-vide a fair-share of congested link bandwidth to every flow. Second, since web traffic is inherently interactive, it must minimize the delay for data transfer. Recent studies have shown that queue management algorithms such as Tail Drop, RED and Blue are deficient in providing high throughput, low delay paths for a data flow. Two major shortcomings of the current algorithms are: they allow TCP flows to get synchronized and thus require large buffers …
Synthesizing E-Government Stage Models – A Meta-Synthesis Based On Meta-Ethnography Approach, Keng Siau, Y. Long
Synthesizing E-Government Stage Models – A Meta-Synthesis Based On Meta-Ethnography Approach, Keng Siau, Y. Long
Research Collection School Of Computing and Information Systems
The growing interest in e-government raises the question of stages in e-government development. A few stage models for e-government have been proposed. Without a common e-government stage model, different research in e-government may be based on different stage models. This presents a difficulty in comparing and understanding different research results. In this research, we synthesize the existing e-government stage models so that there is a common frame of reference for researchers and practitioners in the area.
Static Determination Of Allocation Rates To Support Real-Time Garbage Collection, Tobias Mann
Static Determination Of Allocation Rates To Support Real-Time Garbage Collection, Tobias Mann
All Computer Science and Engineering Research
While it is generally accepted that garbage-collected languages offer advantages over languages in which objects must be explicitly deallocated, real-time developers are leery of the adverse effects a garbage collector might have on real-time performance. Semiautomatic approaches based on regions have been proposed, but incorrect usage could cause unbounded storage leaks or program failure. Moreover, correct usage cannot be guaranteed at compile-time. Recently, real-time garbage collectors have been developed that provide a guaranteed fraction of the CPU to the application, and the correct operation of those collectors has been proven, subject only to the specification of certain statistics related to …
Composable Timed Automata Models For Real-Time Embedded Systems Middleware, Venkita Subramonian, Christopher Gill, Cesar Sanchez, Henny Sipma
Composable Timed Automata Models For Real-Time Embedded Systems Middleware, Venkita Subramonian, Christopher Gill, Cesar Sanchez, Henny Sipma
All Computer Science and Engineering Research
Middleware for distributed real-time embedded (DRE) systems has grown more and more complex in recent years, to address functional and temporal requirements of complex real-time applications. While current approaches for modeling middleware have eased the task of assembling, deploying and configuring middleware and applications, a more formal, fundamental and lower-level set of models is needed to be able to uncover subtle safety and timing errors introduced by interference between computations, particularly in the face of alternative concurrency strategies in the middleware layer. In this paper, we examine how formal models of lower-level middleware building blocks provide an appropriate level of …
What A Mesh: Dependent Data Types For Correct Mesh Manipulation Algorithms, Joel R. Brandt
What A Mesh: Dependent Data Types For Correct Mesh Manipulation Algorithms, Joel R. Brandt
All Computer Science and Engineering Research
The Edinburgh Logical Framework (LF) has been proposed as a system for expressing inductively defined sets. I will present an inductive definition of the set of manifold meshes in LF. This definition takes into account the topological characteri-zation of meshes, namely their Euler Characteristic. I will then present a set of dependent data types based on this inductive def-inition. These data types are defined in a programming language based on LF. The language’s type checking guarantees that any typeable expression represents a correct manifold mesh. Furthermore, any mesh can be represented using these data types. Hence, the encoding is sound …
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 21, Number 7, April 2005, College Of Engineering And Computer Science, Wright State University
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 21, Number 7, April 2005, College Of Engineering And Computer Science, Wright State University
BITs and PCs Newsletter
A six page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.
Fly Through A Pig's Heart: An Educational Computer Game, Thomas Wischgoll, Joerg Meyer
Fly Through A Pig's Heart: An Educational Computer Game, Thomas Wischgoll, Joerg Meyer
Computer Science and Engineering Faculty Publications
No abstract provided.
Programmable Process Flow Networks, Filip D. Cuckov
Programmable Process Flow Networks, Filip D. Cuckov
Electrical & Computer Engineering Theses & Dissertations
A model that introduces programmability to processes occurring in a cargo terminal simulation through the use of a process language is presented in this thesis. The model provides a means for a straight-forward definition, and redefinition of changing processes, their incorporation in the simulation architecture and efficient execution. The model was built to investigate a solution for transforming the cargo terminal simulation CPortS into a process-oriented simulation without hard-coded processes. The approach taken separates the system into an architecture and a set of processes which utilize and interact with the architecture's resources and infrastructure. The processes that take place within …
Creating Software [Sic] Environments On An M-Node Beowulf Cluster To Execute Discrete-Event Simulations, Jermaine Fitz-Gerald Headley
Creating Software [Sic] Environments On An M-Node Beowulf Cluster To Execute Discrete-Event Simulations, Jermaine Fitz-Gerald Headley
Electrical & Computer Engineering Theses & Dissertations
This thesis describes the development of a software tool that facilitates the creation of software environments that make a simulation tool execute k replications of an application program on several nodes of an M-node Beowulf cluster. It is assumed that each cluster-node consists of p processors. The p processors that are contained in the master cluster-node are termed master processors, and the p processors that are contained in a slave cluster-node are termed slave processors. The slave processors are used to execute the replications, while the master processors are dedicated to schedule the replications and process other housekeeping chores. For …
Rapid Prototyping For The Design Of Virtual Worlds, Prabhu V. Krishnan
Rapid Prototyping For The Design Of Virtual Worlds, Prabhu V. Krishnan
Electrical & Computer Engineering Theses & Dissertations
Development of Virtual Reality (VR) applications is challenging where application developers are required to have expertise in the target VR technologies along with the problem domain expertise. New VR technologies impose a significant learning curve to even the most experienced VR developer. The proposed solution relies on synthesis to automate the migration of a VR application to a new unfamiliar VR platform/technology. To solve the problem, the Common Scene Definition Framework (CSDF) was developed, that serves as a superset/model representation of the target virtual world. Input modules were developed to populate the framework with the capabilities of the virtual world …
Generalization Issues In Pattern Classification Applied To Speaker Identification, Mame C. Sall
Generalization Issues In Pattern Classification Applied To Speaker Identification, Mame C. Sall
Electrical & Computer Engineering Theses & Dissertations
This thesis is an extension of previous work on speaker identification, but with a primary focus on the generalization performance of patterns classifiers for speaker identification. The goal for all pattern classifiers is to generalize to new data, not just perform well on the training data set. The error on the training data is typically a biased estimate of the generalization error. The training set error tends to be smaller than the generalization error if the model is selected such that it minimizes the training error. Therefore, the training error alone should not be used as a good predictor of …
Ceg 210-01: Pc Networking I, Karen Meyer
Ceg 210-01: Pc Networking I, Karen Meyer
Computer Science & Engineering Syllabi
Introduction to PC networking hardware, concepts, and technologies. Focus is on LAN Administration.
Ceg 260-01: Digital Computing Hardware/Switching Circuits, Eric Maston
Ceg 260-01: Digital Computing Hardware/Switching Circuits, Eric Maston
Computer Science & Engineering Syllabi
We will discuss and cover basic digital, combinational and sequential logic systems. Labs will be used to gain valuable practical experience in implementing elementary circuits and logic designs.
Ceg 210-01: Pc Networking I, Karen Meyer
Ceg 210-01: Pc Networking I, Karen Meyer
Computer Science & Engineering Syllabi
Introduction to PC networking hardware, concepts, and technologies. Focus is on LAN administration, and hardware and software configuration.
Cs 206: Computer Software Productivity Tools, Greg Coffey
Cs 206: Computer Software Productivity Tools, Greg Coffey
Computer Science & Engineering Syllabi
This course introduces advanced computer applications using MS Word, MS Excel, MS Access, and MS PowerPoint.
Cs 207: Advanced Office Productivity Ii, Louis A. Benavides
Cs 207: Advanced Office Productivity Ii, Louis A. Benavides
Computer Science & Engineering Syllabi
This course covers post-advanced microcomputer applications including Microsoft Office Word 2003, Microsoft Office Excel 2003, Microsoft Office Access 2003, and Microsoft Office PowerPoint 2003. Topics include: creating an online form; working with macros and Visual Basic for Applications (VBA); working with a master document, an index and a table of contents; linking an Excel worksheet and charting its data in Word; formula auditing, data validation, and complex problem solving in Excel; importing data into Excel; working with PivotCharts, PivotTables, and trendlines in Excel; creating a PivotTable List; advanced Access report and form techniques, and creating multi-page forms; administering a database …
Ceg 255-01: Introduction To The Design Of Information Technology Systems, Eric Maston
Ceg 255-01: Introduction To The Design Of Information Technology Systems, Eric Maston
Computer Science & Engineering Syllabi
Information systems consist of modern elements such as database systems, networks, multi-platform distributed computing, web infrastructure and multimedia computing. In this course we will address these areas individually and also where they intersect to gain a basic understanding of how information technology can be used to solve real problems.
Cs 141: Computer Programming - I, Ronald F. Taylor
Cs 141: Computer Programming - I, Ronald F. Taylor
Computer Science & Engineering Syllabi
This course provides a general introduction to the fundamentals of computer programming. Examples from and applications to a broad range of problems are given. No prior knowledge of programming is assumed. The concepts covered will be applied to the Java programming language. Students must register for both lecture and one laboratory section. 4 credit hours. Prerequisite: MTH 127 (College Algebra) or equivalent.
Cs 241: Computer Science Ii, L. Jane Lin
Cs 241: Computer Science Ii, L. Jane Lin
Computer Science & Engineering Syllabi
This course is the second in the three course sequence "Introduction to Computer Science" offered by the Computer Science department, WSU. It focuses on tools for building abstract data types (using structure and class concepts in C++)
and Object-Oriented Programming. We also begin the study of data structures in this course. For All CS 241 students, concurrent registration into CS 241 lab is a must.
Cs 466/666: Introduction To Formal Languages, Thomas Sudkamp
Cs 466/666: Introduction To Formal Languages, Thomas Sudkamp
Computer Science & Engineering Syllabi
CS 466/666 is an introduction to formal language and automata theory. In this course we will examine methods for defining syntax of languages and recognizing patterns: the syntax of languages can be defined using grammars and patterns accepted by finite state machines. Along with presenting the fundamentals of these two topics, the course will develop and investigate the relationships between language definition and pattern recognition. The text will be the third edition of Languages and Machines: An Introduction to the Theory of Computer Science.
Cs 480/680: Comparative Programming Languages, Michael L. Raymer
Cs 480/680: Comparative Programming Languages, Michael L. Raymer
Computer Science & Engineering Syllabi
No abstract provided.
Cs 801: Advanced Database Systems, Soon M. Chung
Cs 801: Advanced Database Systems, Soon M. Chung
Computer Science & Engineering Syllabi
Introduction of current trends and research issues in database systems.
Cs 241-02: Introduction To Computer Science Ii, Praveen Kakumanu
Cs 241-02: Introduction To Computer Science Ii, Praveen Kakumanu
Computer Science & Engineering Syllabi
This course is the second in the three course sequence "Introduction to Computer Science" offered by the Computer Science department, WSU. It focuses on tools for building abstract data types {using structure and class concepts in C++) and Object-Oriented Programming. We also begin the study of data structures in this course. Note: For all CS 241 students, concurrent registration into CS 241 lab is a must
Cs 240-02: Introduction To Computer Science, Eric Maston
Cs 240-02: Introduction To Computer Science, Eric Maston
Computer Science & Engineering Syllabi
We will develop basic techniques to design, develop and implement programs using the C++ language. This course focuses on basic elements of programming and assumes no knowledge of programming in C++.
Cs 340: Programming Language Workshop In Java, Krishnaprasad Thirunarayan
Cs 340: Programming Language Workshop In Java, Krishnaprasad Thirunarayan
Computer Science & Engineering Syllabi
This course is designed as a self-study in Java. You are expected to learn the Java language and solve a set of programming problems assigned to you using it. (You may develop your code using any IDE you like, but you must ensure that it eventually runs using JDK 5). There are no exams. We officially meet only once in a quarter. However, I will be available in the posted office hours for clarifications and discussions about the programming problems.