Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Computer Sciences (238)
- Engineering (165)
- Computer Engineering (160)
- Bioinformatics (73)
- Communication (73)
-
- Communication Technology and New Media (73)
- Databases and Information Systems (73)
- Life Sciences (73)
- OS and Networks (73)
- Science and Technology Studies (73)
- Social and Behavioral Sciences (73)
- Physics (13)
- Statistics and Probability (7)
- Applied Mathematics (6)
- Applied Statistics (6)
- Mathematics (6)
- Astrophysics and Astronomy (2)
- Education (1)
- Higher Education (1)
- Institutional and Historical (1)
- Scholarship of Teaching and Learning (1)
- Keyword
-
- Semantic Web (8)
- SAWSDL (5)
- Semantic Web Services (5)
- SSW (3)
- Semantic web (3)
-
- WSDL-S (3)
- Data Integration (2)
- Entrez Gene (2)
- Gene Ontology (2)
- Mashups (2)
- Ontology (2)
- RDF (2)
- Relationship Web (2)
- SA-REST (2)
- SPARQL (2)
- Semantic Analytics (2)
- Semantic Sensor Web (2)
- Web 2.0 (2)
- Abductive Inference (1)
- Adaptive Web Process (1)
- Adaptive Web Service (1)
- Ambient Intelligence (1)
- Autoepistemic DLs (1)
- Automatic Refactoring (1)
- Autonomic Web Process (1)
- Autonomic Web Service (1)
- Background domain knowledge (1)
- Circumscriptive Dls (1)
- Closed test method (1)
- Contrast Pattern (1)
Articles 1 - 30 of 258
Full-Text Articles in Physical Sciences and Mathematics
Towards Tractable Local Closed World Reasoning For The Semantic Web, Matthias Knorr, Jose Julio Alferes, Pascal Hitzler
Towards Tractable Local Closed World Reasoning For The Semantic Web, Matthias Knorr, Jose Julio Alferes, Pascal Hitzler
Computer Science and Engineering Faculty Publications
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and closed world reasoning for the Semantic Web. We present an extension based on a new three-valued framework including an alternating fixpoint, the well-founded MKNF model. This approach, the well-founded MKNF semantics, derives its name from the very close relation to the corresponding semantics known from logic programming. We show that the well-founded MKNF model is the least model among all (three-valued) MKNF models, thus soundly approximating also the two-valued MKNF models from …
Video On The Semantic Sensor Web, Cory Andrew Henson, Amit P. Sheth, Prateek Jain, Josh Pschorr, Terry Rapoch
Video On The Semantic Sensor Web, Cory Andrew Henson, Amit P. Sheth, Prateek Jain, Josh Pschorr, Terry Rapoch
Kno.e.sis Publications
Millions of sensors around the globe currently collect avalanches of data about our world. The rapid development and deployment of sensor technology is intensifying the existing problem of too much data and not enough knowledge. With a view to alleviating this glut, we propose that sensor data, especially video sensor data, can be annotated with semantic metadata to provide contextual information about videos on the Web. In particular, we present an approach to annotating video sensor data with spatial, temporal, and thematic semantic metadata. This technique builds on current standardization efforts within the W3C and Open Geospatial Consortium (OGC) and …
Semantic Web For Health Care And Biomedical Informatics, Amit P. Sheth
Semantic Web For Health Care And Biomedical Informatics, Amit P. Sheth
Kno.e.sis Publications
No abstract provided.
A General Boosting Method And Its Application To Learning Ranking Functions For Web Search, Zhaohui Zheng, Hongyuan Zha, Tong Zhang, Olivier Chapelle, Keke Chen, Gordon Sun
A General Boosting Method And Its Application To Learning Ranking Functions For Web Search, Zhaohui Zheng, Hongyuan Zha, Tong Zhang, Olivier Chapelle, Keke Chen, Gordon Sun
Kno.e.sis Publications
We present a general boosting method extending functional gradient boosting to optimize complex loss functions that are encountered in many machine learning problems. Our approach is based on optimization of quadratic upper bounds of the loss functions which allows us to present a rigorous convergence analysis of the algorithm. More importantly, this general framework enables us to use a standard regression base learner such as decision trees for fitting any loss function. We illustrate an application of the proposed method in learning ranking functions for Web search by combining both preference data and labeled data for training. We present experimental …
Leveraging Semantic Web Techniques To Gain Situational Awareness, Amit P. Sheth
Leveraging Semantic Web Techniques To Gain Situational Awareness, Amit P. Sheth
Kno.e.sis Publications
No abstract provided.
Can Semantic Web Techniques Empower Comprehension And Projection In Cyber Situational Awareness?, Amit P. Sheth
Can Semantic Web Techniques Empower Comprehension And Projection In Cyber Situational Awareness?, Amit P. Sheth
Kno.e.sis Publications
No abstract provided.
Supporting Complex Thematic, Spatial And Temporal Queries Over Semantic Web Data, Matthew Perry, Amit P. Sheth, Farshad Hakimpour, Prateek Jain
Supporting Complex Thematic, Spatial And Temporal Queries Over Semantic Web Data, Matthew Perry, Amit P. Sheth, Farshad Hakimpour, Prateek Jain
Kno.e.sis Publications
Spatial and temporal data are critical components in many applications. This is especially true in analytical domains such as national security and criminal investigation. Often, the analytical process requires uncovering and analyzing complex thematic relationships between disparate people, places and events. Fundamentally new query operators based on the graph structure of Semantic Web data models, such as semantic associations, are proving useful for this purpose. However, these analysis mechanisms are primarily intended for thematic relationships. In this paper, we describe a framework built around the RDF metadata model for analysis of thematic, spatial and temporal relationships between named entities. We …
Semantic Convergence Of Wikipedia Articles, Christopher J. Thomas, Amit P. Sheth
Semantic Convergence Of Wikipedia Articles, Christopher J. Thomas, Amit P. Sheth
Kno.e.sis Publications
Social networking, distributed problem solving and human computation have gained high visibility. Wikipedia is a well established service that incorporates aspects of these three fields of research. For this reason it is a good object of study for determining quality of solutions in a social setting that is open, completely distributed, bottom up and not peer reviewed by certified experts. In particular, this paper aims at identifying semantic convergence of Wikipedia articles; the notion that the content of an article stays stable regardless of continuing edits. This could lead to an automatic recommendation of good article tags but also add …
Conjunctive Queries For A Tractable Fragment Of Owl 1.1, Markus Krotzsch, Sebastian Rudolph, Pascal Hitzler
Conjunctive Queries For A Tractable Fragment Of Owl 1.1, Markus Krotzsch, Sebastian Rudolph, Pascal Hitzler
Computer Science and Engineering Faculty Publications
Despite the success of the Web Ontology Language OWL, the development of expressive means for querying OWL knowledge bases is still an open issue. In this paper, we investigate how a very natural and desirable form of queries-namely conjunctive ones-can be used in conjunction with OWL such that one of the major design criteria of the latter-namely decidability-can be retained. More precisely, we show that querying the tractable fragment EL++ of OWL 1.1 is decidable. We also provide a complexity analysis and show that querying unrestricted EL++ is undecidable.
Visualizing Morphometric Data Of Vasculatures, Thomas Wischgoll
Visualizing Morphometric Data Of Vasculatures, Thomas Wischgoll
Computer Science and Engineering Faculty Publications
Volume visualization is a common, very well-established visualization technique for volumetric data sets. Numerous advancements have been proposed and sophisticated improvements have been implemented to produce elaborated renderings that are capable of enhancing details within the volume. However, volume visualization alone is often not sufficient for the application domain. Often times, researchers are interested in accurate measurements extracted from volumetric data to gain further insight of the specimen. These extracted measurements can then be used to generate and visualize a geometric reconstruction of the specimen. The visualization can incorporate additional tools that allow researchers to determine additional measurements of the …
Ceg 420/620: Computer Architecture, Jack Jean
Ceg 420/620: Computer Architecture, Jack Jean
Computer Science & Engineering Syllabi
No abstract provided.
Ceg 210: Pc Networking I, Karen Meyer
Ceg 210: Pc Networking I, Karen Meyer
Computer Science & Engineering Syllabi
Introduction to PC networking hardware, concepts, and technologies. Focus is on LAN administration, hardware and software configuration.
Ceg 220: Introduction To C Programming For Engineers I, Robert Helt
Ceg 220: Introduction To C Programming For Engineers I, Robert Helt
Computer Science & Engineering Syllabi
This course provides a general introduction to computers as a problem-solving tool using the C programming language. Emphasis is on algorithms and techniques useful to engineers. Topics include data representation, debugging, and program verification. 4 credit hours. Prerequisite: MTH 229 (Calculus I) or EGR 101 (Engineering Mathematics).f
Ceg 233: Linux And Windows, Prabhaker Mateti
Ceg 233: Linux And Windows, Prabhaker Mateti
Computer Science & Engineering Syllabi
Introduction to Linux and Windows systems. GUI and Windowing Systems. Files and Directories. Ownership and Sharing. Programs and Processes. System calls, Libraries. Loading. Dynamic linking. Command Line Shells. Scripting languages. Regular expressions. Clients and Servers. Web browser clients and servers. Secure shell, sftp. SSL/TSL. HTTPS. System Administration.
Ceg 220: Introduction To C Programming For Engineers I, Jay Dejongh
Ceg 220: Introduction To C Programming For Engineers I, Jay Dejongh
Computer Science & Engineering Syllabi
This course provides a general introduction to computers as a problem-solving tool using the C programming language. Emphasis is on algorithms and techniques useful to engineers. Topics include data representation, debugging, and program verification. 4 credit hours. Prerequisite: MTH 229 (Calculus I) or EGR 101 (Engineering Mathematics).
Ceg 360/560 Ee 451/651: Digital System Design, Meilin Liu
Ceg 360/560 Ee 451/651: Digital System Design, Meilin Liu
Computer Science & Engineering Syllabi
Design of digital systems. Topics include flip-flops, registers, counters, programmable logic devices, memory devices, register-level design, and microcomputer system organization. Students must show competency in the design of digital systems.
Ceg 402/602: Introduction To Computer Communication, Bin Wang
Ceg 402/602: Introduction To Computer Communication, Bin Wang
Computer Science & Engineering Syllabi
This course provides an introduction to basic concepts of communication networks, different types of networks, protocols over different layers, and network applications through lectures, labs, homework, and reading on relevant materials.
You will
• Understand networking principles, protocols, and technologies.
• Understand some design and performance issues involved in providing a network service.
• Acquire background for supporting e-commerce, e-government, and e-education.
• Gain hands-on experience with programming techniques for network protocols.
• Obtain background for original research in computer networks.
Ceg 498: Design Experience, Thomas C. Hartrum
Ceg 498: Design Experience, Thomas C. Hartrum
Computer Science & Engineering Syllabi
CEG 498 (Design Experience) is a summative computer engineering design project course that builds upon previous engineering, science, mathematics and communications course work. CEG 498 projects are a minimum of two quarters in length and must be completed in groups of at least three students. Projects are selected under the guidance of the course instructor and are tailored to both student interest and formal classroom preparation. Students are evaluated both on their individual contributions as recorded in a graded engineering journal and on the quality of their collective efforts as reflected in group generated products.
Student groups meet with the …
Ceg 720: Computer Architecture I, Soon M. Chung
Ceg 720: Computer Architecture I, Soon M. Chung
Computer Science & Engineering Syllabi
Review of sequential computer architecture and study of parallel computers. Topics include memory hierarchy, reduced instruction set computer, pipeline processing, multiprocessing, various parallel computers, interconnection networks, and fault-tolerant computing.
Ceg 724: Computer Vision I, Arthur A. Goshtasby
Ceg 724: Computer Vision I, Arthur A. Goshtasby
Computer Science & Engineering Syllabi
This course covers basic techniques for low-level and some mid-level vision. The techniques include: camera geometry, image filtering and edge detection, color and texture analysis, image segmentation, and stereo depth perception.
Ceg 760: Advanced Software Computer Engineering, Thomas C. Hartrum
Ceg 760: Advanced Software Computer Engineering, Thomas C. Hartrum
Computer Science & Engineering Syllabi
This course covers advanced topics in software engineering. Aspects of problem specification, design, verification, and evaluation are discussed. We will focus on design methods, including software patterns and software architecture, plus some advanced topics involving formal methods of software specification or evaluation using software metrics. Students will participate in team projects to apply the methods discussed.
Ceg 730: Distributed Computing Principles, Prabhaker Mateti
Ceg 730: Distributed Computing Principles, Prabhaker Mateti
Computer Science & Engineering Syllabi
Communicating sequential processes, clients and servers, remote procedure calls, stub generation, weak and strong semaphores, split-binary-semaphores, and distributed termination. Example languages: SR, Linda.
Ceg 777: Computer Aided Geometric Design, Arthur A. Goshtasby
Ceg 777: Computer Aided Geometric Design, Arthur A. Goshtasby
Computer Science & Engineering Syllabi
To cover the fundamentals of geometric modeling, including design of curves and surfaces, composite curves and surfaces, and subdivision techniques for creation of free-form shapes.
Ceg 770: Computer Engineering Mathematics, Yong Pei
Ceg 770: Computer Engineering Mathematics, Yong Pei
Computer Science & Engineering Syllabi
Computer Engineering and Science students need proficiency in relevant applied mathematics to be able to discover and model difficult real-world computer engineering and science problems. The relationship of these problems to mathematical theory will be discussed. This course provides an introduction to linear and nonlinear programming, probability and stochastic process, and queueing theory. In addition to mathematical theory, appropriate applications will be presented.
Ceg 790: Emerging Networks, Bin Wang
Ceg 790: Emerging Networks, Bin Wang
Computer Science & Engineering Syllabi
This is a graduate level course on emerging networking technologies. The course involves a reading/lecture/presentation/discussion component, paper review component, and a project component. It will provide an in-depth study on a number of focused areas: dense wavelength division multiplexing (D\VDM) optical networks, optical burst switching networks, peer-to-peer networks, and wireless mobile networks (including Ad-hoc wireless networks, sensor networks). Various technical and research issues involved will be studied. These areas of emerging networking technologies will play central roles in future communication networks.
Cs 141: Computer Programming - I, Michael Ondrasek
Cs 141: Computer Programming - I, Michael Ondrasek
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 205-08: Introduction To Computers And Office Productivity Software, Kim Gros
Cs 205-08: Introduction To Computers And Office Productivity Software, Kim Gros
Computer Science & Engineering Syllabi
Focus on learning MS Office software applications including word processing (intermediate), spreadsheets, database and presentation graphics using a case study approach where critical thinking and problem solving skills are required. Computer concepts are integrated throughout the course to provide an understanding of the basics of computing, the latest technological advances and how they are used in industry. Ethics and issues encountered in business are discussed to challenge students on societal impact of technology.
Cs 206-02: Advanced Concepts/Techniques And Software Productivity Tools, John P. Herzog
Cs 206-02: Advanced Concepts/Techniques And Software Productivity Tools, John P. Herzog
Computer Science & Engineering Syllabi
By the end of this course, the students will have a greater depth of understanding in the areas of word processing, spreadsheets, databases, and presentation software and web design using Microsoft Word, Microsoft FrontPage, Microsoft Excel, Access, and PowerPoint.
Cs 208: Computer Programming For Business I, Dennis Kellermeier
Cs 208: Computer Programming For Business I, Dennis Kellermeier
Computer Science & Engineering Syllabi
CS 208 is the first of a two quarter sequence in programming for business students. It is required for Management Information Science majors. The courses are designed to help students achieve a high degree of facility in intermediate level programming. This course assumes students have never written a program before.
Cs 214: Visual Basic Programming, Michael Ondrasek
Cs 214: Visual Basic Programming, Michael Ondrasek
Computer Science & Engineering Syllabi
This course provides a general introduction to the fundamentals of object computer programming. Examples from and applications to a broad range of problems are given. No prior knowledge of programming is assumed. However, students should have a familiarity with programming concepts. The concepts covered will be applied in the Visual Basic programming language. 4 credit hours.