Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- Chapman University (50)
- University of New Mexico (11)
- City University of New York (CUNY) (5)
- University of Denver (5)
- Loyola University Chicago (3)
-
- Prairie View A&M University (3)
- Technological University Dublin (3)
- Claremont Colleges (2)
- Georgia Southern University (2)
- Louisiana Tech University (2)
- Montclair State University (2)
- Southern Methodist University (2)
- University of Nebraska at Omaha (2)
- Western University (2)
- Bemidji State University (1)
- Bowling Green State University (1)
- Bryant University (1)
- California Polytechnic State University, San Luis Obispo (1)
- Central Washington University (1)
- Colby College (1)
- Edith Cowan University (1)
- Kennesaw State University (1)
- LSU New Orleans (1)
- Liberty University (1)
- Louisiana State University (1)
- Macalester College (1)
- Marshall University (1)
- Nova Southeastern University (1)
- Old Dominion University (1)
- Portland State University (1)
- Keyword
-
- Coalgebra (13)
- Mathematics (6)
- Modal logic (6)
- Machine learning (5)
- Computer Science (4)
-
- Artificial intelligence (3)
- Coalgebraic logic (3)
- Coalgebras (3)
- College of Natural Science and Mathematics (3)
- Computer science (3)
- Display calculus (3)
- Graph theory (3)
- Optimization (3)
- Applied sciences (2)
- Basketball (2)
- Big data (2)
- Binary (2)
- Category Theory (2)
- Classification (2)
- Cover modality (2)
- Descriptive general frames (2)
- Duality (2)
- Dynamic epistemic logic (2)
- Image processing (2)
- Kripke polynomial functors (2)
- Logic in Computer Science (2)
- Magic (2)
- Modal Logic (2)
- Modularity (2)
- Natural language processing (2)
- Publication Year
- Publication
-
- Engineering Faculty Articles and Research (46)
- Branch Mathematics and Statistics Faculty and Staff Publications (11)
- Dissertations, Theses, and Capstone Projects (4)
- Applications and Applied Mathematics: An International Journal (AAM) (3)
- Computer Science: Faculty Publications and Other Works (3)
-
- Mathematics, Physics, and Computer Science Faculty Articles and Research (3)
- Articles (2)
- DU Undergraduate Research Journal Archive (2)
- Department of Computer Science Faculty Scholarship and Creative Works (2)
- Doctoral Dissertations (2)
- Electronic Theses and Dissertations (2)
- HMC Senior Theses (2)
- UNO Student Research and Creative Activity Fair (2)
- Undergraduate Theses, Capstones, and Recitals (2)
- Advances in Clinical Medical Research and Healthcare Delivery (1)
- All Graduate Plan B and other Reports, Spring 1920 to Spring 2023 (1)
- All Master's Theses (1)
- Biology, Chemistry, and Environmental Sciences Faculty Articles and Research (1)
- CCAC Theses and Dissertations (1)
- College of Graduate Studies: Theses & Dissertations (1)
- Computer Science and Computer Engineering Undergraduate Honors Theses (1)
- Computer Science and Engineering Theses and Dissertations (1)
- Conference papers (1)
- Dissertations (1)
- Graduate Masters Theses (1)
- History Publications (1)
- Honors College Theses (1)
- Honors Projects (1)
- Honors Projects in Data Science (1)
- Honors Theses (1)
- Publication Type
Articles 121 - 122 of 122
Full-Text Articles in Other Computer Sciences
(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz
(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz
Engineering Faculty Articles and Research
We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)- structure and a sound and complete proof system for (first-order) observational properties of specifications.
Shadow Casting Phenomena At Newgrange, Frank Prendergast
Shadow Casting Phenomena At Newgrange, Frank Prendergast
Articles
A digital model of the Newgrange passage tomb and surrounding ring of monoliths known as the Great Circle is used to investigate sunrise shadow casting phenomena at the monument. Diurnal variation in shadow directions and lengths are analysed for their potential use in the Bronze Age to indicate the passage of seasonal time. Computer-aided simulations are developed from a photogrammetric survey to accurately show how three of the largest monoliths, located closest to the tomb entrance and archaeologically coded GC1, GC-1 and GC-2, cast their shadows onto the vertical face of the entrance kerbstone, coded K1. The phenomena occur at …