Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- Singapore Management University (9064)
- Missouri University of Science and Technology (1898)
- City University of New York (CUNY) (958)
- Brigham Young University (710)
- University of Texas at Arlington (661)
-
- Syracuse University (479)
- University of Central Florida (476)
- University of Nevada, Las Vegas (393)
- Chulalongkorn University (258)
- Regis University (254)
- Portland State University (243)
- TÜBİTAK (230)
- Old Dominion University (197)
- University of South Carolina (193)
- San Jose State University (192)
- Wright State University (186)
- Technological University Dublin (152)
- Washington University in St. Louis (148)
- University of South Florida (137)
- Purdue University (112)
- Edith Cowan University (111)
- University of Nebraska - Lincoln (109)
- Nova Southeastern University (101)
- Zayed University (97)
- California Polytechnic State University, San Luis Obispo (96)
- Dartmouth College (94)
- University of New Mexico (94)
- Air Force Institute of Technology (89)
- University at Albany, State University of New York (89)
- Kennesaw State University (75)
- Keyword
-
- Machine learning (600)
- Artificial intelligence (406)
- Deep learning (340)
- Machine Learning (267)
- College for Professional Studies (253)
-
- School of Computer & Information Science (236)
- Security (197)
- Artificial Intelligence (191)
- Natural language processing (184)
- Deep Learning (182)
- Computer Science (180)
- Privacy (149)
- Social media (140)
- Computer science (138)
- Algorithms (137)
- MS Computer and Information Technology (136)
- Data mining (135)
- Neural networks (129)
- Reinforcement learning (123)
- Computer vision (122)
- Natural Language Processing (122)
- Cybersecurity (117)
- Twitter (116)
- Software engineering (115)
- AI (113)
- Classification (109)
- Regis University MSCIT thesis (108)
- Cloud computing (106)
- Optimization (106)
- Clustering (96)
- Publication Year
- Publication
-
- Research Collection School Of Computing and Information Systems (8532)
- Computer Science Faculty Research & Creative Works (907)
- Theses and Dissertations (837)
- Computer Science Technical Reports (411)
- Faculty Publications (382)
-
- Computer Science and Engineering Theses - Archive (364)
- Electronic Theses and Dissertations (331)
- Publications and Research (291)
- Electrical and Computer Engineering Faculty Research & Creative Works (282)
- Computer Science and Engineering Dissertations - Archive (270)
- Open Educational Resources (262)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (258)
- Regis University Student Publications (comprehensive collection) (254)
- Masters Theses (236)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (236)
- Turkish Journal of Electrical Engineering and Computer Sciences (230)
- Dissertations and Theses (204)
- Dissertations and Theses Collection (Open Access) (192)
- Electrical Engineering and Computer Science - Technical Reports (176)
- Master's Projects (167)
- Dissertations, Theses, and Capstone Projects (145)
- Electrical Engineering and Computer Science - All Scholarship (138)
- McKelvey School of Engineering Graduate Student Theses & Dissertations (137)
- USF Tampa Graduate Theses and Dissertations (122)
- Doctoral Dissertations (119)
- Electronic Theses and Dissertations, 2020-2023 (119)
- All Works (97)
- Computer Science Faculty Publications (94)
- Northeast Parallel Architecture Center (92)
- Dissertations (89)
- Publication Type
- File Type
Articles 18211 - 18240 of 20632
Full-Text Articles in Entire DC Network
Development Of Integrated Process Simulation System Model For Spent Fuel Treatment Facility (Sftf) Design: Quarterly Progress Report January 1-March 31, 2005, Yitung Chen, Sean Hsieh
Development Of Integrated Process Simulation System Model For Spent Fuel Treatment Facility (Sftf) Design: Quarterly Progress Report January 1-March 31, 2005, Yitung Chen, Sean Hsieh
Separations Campaign (TRP)
The Advanced Fuel Cycle Initiative (AFCI) and Transmutation Research Program-University Participation Program (TRP-UPP) supported by Department of Energy of the United States have been developing many important technologies for the transmutation of nuclear waste to address long-term disposal issues. While successfully embedding AMUSE module into a dedicated System Engineering Model (TRPSEMPro), developed by the Nevada Center for Advanced Computational Methods (NCACM) at the University of Nevada-Las Vegas collaborating with Argonne National Laboratory (ANL), ANL is interested in further simulating the Light Water Reactor (LWR) Spent Fuel Treatment Facility (SFTF) combining commercial process simulation and analysis packages and core calculation of …
A Statistical Performance Model Of Homogeneous Raidb Clusters, Brandon Lamar Rogers
A Statistical Performance Model Of Homogeneous Raidb Clusters, Brandon Lamar Rogers
Theses and Dissertations
The continual growth of the Internet and e-commerce is driving demand for speed, reliability and processing power. With the rapid development and maturation of e-commerce, the need for a quick access to large amounts of information is steadily rising. Traditionally, database systems have been used for information storage and retrieval. However, with online auctions, rapid Internet searches, and data archival, the need for more powerful database systems is also growing. One type of distributed database is called Redundant Arrays of Inexpensive Databases (RAIDb). RAIDb clusters are middleware-driven to promote interoperability and portability. RAIDb clusters allow for multiple levels of data …
Thor: The Hybrid Online Repository, Timothy W. Van Der Horst
Thor: The Hybrid Online Repository, Timothy W. Van Der Horst
Theses and Dissertations
Digital credentials enable users to perform secure interactions by proving either their identity or that they posses certain attributes. Special care is taken to protect these credentials and their associated private keys during transaction time. However, protection of these items outside of the transaction is often delegated to a secure credential repository. A mobile environment creates significant challenges for secure repositories. We examine these challenges with respect to existing repository practices and produce a set of requirements that a repository must meet in order to cope with the harshness of a mobile environment. We also present the design and implementation …
An Information Extraction Approach To Reorganizing And Summarizing Specifications, Krishnaprasad Thirunarayan, Aaron Berkovich, Dan Z. Sokol
An Information Extraction Approach To Reorganizing And Summarizing Specifications, Krishnaprasad Thirunarayan, Aaron Berkovich, Dan Z. Sokol
Kno.e.sis Publications
Materials and Process Specifications are complex semi-structured documents containing numeric data, text, and images. This article describes a coarse-grain extraction technique to automatically reorganize and summarize spec content. Specifically, a strategy for semantic-markup, to capture content within a semantic ontology, relevant to semi-automatic extraction, has been developed and experimented with. The working prototypes were built in the context of Cohesia's existing software infrastructure, and use techniques from Information Extraction, XML technology, etc.
Video Text Detection And Segmentation For Optical Character Recognition, Chong-Wah Ngo, Chi-Kwong Chan
Video Text Detection And Segmentation For Optical Character Recognition, Chong-Wah Ngo, Chi-Kwong Chan
Research Collection School Of Computing and Information Systems
In this paper, we present approaches to detecting and segmenting text in videos. The proposed video-text-detection technique is capable of adaptively applying appropriate operators for video frames of different modalities by classifying the background complexities. Effective operators such as the repeated shifting operations are applied for the noise removal of images with high edge density. Meanwhile, a text-enhancement technique is used to highlight the text regions of low-contrast images. A coarse-to-fine projection technique is then employed to extract text lines from video frames. Experimental results indicate that the proposed text-detection approach is superior to the machine-learning-based (such as SVM and …
An Evolutionary Algorithm To Generate Ellipsoid Detectors For Negative Selection, Joseph M. Shapiro
An Evolutionary Algorithm To Generate Ellipsoid Detectors For Negative Selection, Joseph M. Shapiro
Theses and Dissertations
Negative selection is a process from the biological immune system that can be applied to two-class (self and nonself) classification problems. Negative selection uses only one class (self) for training, which results in detectors for the other class (nonself). This paradigm is especially useful for problems in which only one class is available for training, such as network intrusion detection. Previous work has investigated hyper-rectangles and hyper-spheres as geometric detectors. This work proposes ellipsoids as geometric detectors. First, the author establishes a mathematical model for ellipsoids. He develops an algorithm to generate ellipsoids by training on only one class of …
National Security Agency (Nsa) Systems And Network Attack Center (Snac) Security Guides Versus Known Worms, Matthew W. Sullivan
National Security Agency (Nsa) Systems And Network Attack Center (Snac) Security Guides Versus Known Worms, Matthew W. Sullivan
Theses and Dissertations
Internet worms impact Internet security around the world even though there are many defenses to prevent the damage they inflict. The National Security Agency (NSA) Systems and Network Attack Center (SNAC) publishes in-depth configuration guides to protect networks from intrusion; however, the effectiveness of these guides in preventing the spread of worms hasn't been studied. This thesis establishes how well the NSA SNAC guides protect against various worms and exploits compared to Microsoft patches alone. It also identifies the aspects of the configuration guidance that is most effective in the absence of patches and updates, against network worm and e-mail …
Scheduling Queries To Improve The Freshness Of A Website, Haifeng Liu, Wee-Keong Ng, Ee Peng Lim
Scheduling Queries To Improve The Freshness Of A Website, Haifeng Liu, Wee-Keong Ng, Ee Peng Lim
Research Collection School Of Computing and Information Systems
The World Wide Web is a new advertising medium that corporations use to increase their exposure to consumers. Very large websites whose content is derived from a source database need to maintain a freshness that reflects changes that are made to the base data. This issue is particularly significant for websites that present fast-changing information such as stock-exchange information and product information. In this article, we formally define and study the freshness of a website that is refreshed by a scheduled set of queries that fetch fresh data from the databases. We propose several online-scheduling algorithms and compare the performance …
Mastaq: A Middleware Architecture For Sensor Applications With Statistical Quality Constraints, Inseok Hwang, Qi Han, Archan Misra
Mastaq: A Middleware Architecture For Sensor Applications With Statistical Quality Constraints, Inseok Hwang, Qi Han, Archan Misra
Research Collection School Of Computing and Information Systems
We present the design goals and functional components of MASTAQ, a data management middleware for pervasive applications that utilize sensor data. MASTAQ allows applications to specify their quality-of information (QoI) preferences (in terms of statistical metrics over the data) independent of the underlying network topology. It then achieves energy efficiency by adaptively activating and querying only the subset of sensor nodes needed to meet the target QoI bounds. We also present a closed-loop feedback mechanism based on broadcasting of activation probabilities, which allows MASTAQ to activate the appropriate number of sensors without requiring any inter-sensor coordination or knowledge of the …
Fingerprinting Relational Databases: Schemes And Specialities, Yingjiu Li, Vipin Swarup, Sushil Jajodia
Fingerprinting Relational Databases: Schemes And Specialities, Yingjiu Li, Vipin Swarup, Sushil Jajodia
Research Collection School Of Computing and Information Systems
In this paper, we present a technique for fingerprinting relational data by extending Agrawal et al.'s watermarking scheme. The primary new capability provided by our scheme is that, under reasonable assumptions, it can embed and detect arbitrary bit-string marks in relations. This capability, which is not provided by prior techniques, permits our scheme to be used as a fingerprinting scheme. We then present quantitative models of the robustness properties of our scheme. These models demonstrate that fingerprints embedded by our scheme are detectable and robust against a wide variety of attacks including collusion attacks.
Evaluation Of Mpeg-4 Ipmp Extension, Hwee Hwa Pang, Yongdong Wu
Evaluation Of Mpeg-4 Ipmp Extension, Hwee Hwa Pang, Yongdong Wu
Research Collection School Of Computing and Information Systems
MPEG-4 IPMPX (intellectual property management and protection extension) is the latest ISO standard which provides a flexible framework for protecting MPEG streams. The message mechanism of IPMPX enables interoperability among IPMPX-compliant devices no matter which protection methods are embedded. This paper highlights several problems in the message syntax of IPMPX: the tool delivery message IPMP_ToolES_AU is vulnerable to network attack, the authentication message IMP_Mutual_Authentication is incapable of defending against forgery attack, and the configuration message IPMP_SelectiveDecrptionInit is ambiguous and redundant. We propose a number of remedies to those problems, which can be incorporated into a corrigenda to improve the present …
Special Event Computerized Tracking Of Officers Reporting, Noel R. Macmahon
Special Event Computerized Tracking Of Officers Reporting, Noel R. Macmahon
Regis University Student Publications (comprehensive collection)
The New York City Police Department needs a way to rapidly and accurately account for and assign personnel during a pre-planned special event. There are currently many archaic systems utilized throughout the Department, yet none of these formats utilizes a computerized system. Because there is no single off-the-shelf product currently available to perform all of the narrow tasks involved in this problem, a solution needs to be developed. The solution to this problem is developing a system that will be a single standard for the entire Department. This solution will combine various hardware devices and off-the-shelf software products into a …
Development Of A Personal Diet Plan Database Application For Persons With Severe Food Allergies, Heather Suzanne Ward
Development Of A Personal Diet Plan Database Application For Persons With Severe Food Allergies, Heather Suzanne Ward
Regis University Student Publications (comprehensive collection)
This project will research, analyze, design, and implement a computerized system that will assist patients in creating a personal diet plan based upon a "rotation diet." This diet, specifically designed for patients with severe food allergies, requires that a patient may only eat a particular food every n days (where n is any number), and foods from the same biological food family every n days. Currently, patients use either pen-and-paper or a computerized spreadsheet to create weekly or monthly food meal plans for the diet plan. The meal plans are usually transferred by hand to their daily or weekly shopping …
Specification Of A Common Framework For Characterizing Alignment, Paolo Bouquet, Marc Ehrig, Jerome Euzenat, Enrico Franconi, Pascal Hitzler, Markus Krotzsch, Luciano Serafini, Giorgos Stamu, York Sure, Sergio Tessaris
Specification Of A Common Framework For Characterizing Alignment, Paolo Bouquet, Marc Ehrig, Jerome Euzenat, Enrico Franconi, Pascal Hitzler, Markus Krotzsch, Luciano Serafini, Giorgos Stamu, York Sure, Sergio Tessaris
Computer Science and Engineering Faculty Publications
Definition of a common framework for characterizing alignment of heterogeneous information. This report describes various approaches towards this goal and shows the relations between them. It also provides a description of the alignment sructure and process.
Video Summarization And Scene Detection By Graph Modeling, Chong-Wah Ngo, Yu-Fei Ma, Hong-Jiang Zhang
Video Summarization And Scene Detection By Graph Modeling, Chong-Wah Ngo, Yu-Fei Ma, Hong-Jiang Zhang
Research Collection School Of Computing and Information Systems
In this paper, we propose a unified approach for video summarization based on the analysis of video structures and video highlights. Two major components in our approach are scene modeling and highlight detection. Scene modeling is achieved by normalized cut algorithm and temporal graph analysis, while highlight detection is accomplished by motion attention modeling. In our proposed approach, a video is represented as a complete undirected graph and the normalized cut algorithm is carried out to globally and optimally partition the graph into video clusters. The resulting clusters form a directed temporal graph and a shortest path algorithm is proposed …
The Value Of Mobile Applications: A Utility Company Study, Fiona Fui-Hoon Nah, Keng Siau, Hong Sheng
The Value Of Mobile Applications: A Utility Company Study, Fiona Fui-Hoon Nah, Keng Siau, Hong Sheng
Research Collection School Of Computing and Information Systems
The value proposition of mobile applications i.e. the net value of the benefits and costs associated with the adoption and adaptation of mobile applications is discussed. A means-ends network that depicts the fundamental relationships among the objectives such as efficiency, effectiveness, customer satisfaction, security, cost, and employee acceptance, was developed. The network is useful to researchers as it highlights the issues, concerns, and values of mobile applications. The network help the managers and practitioners to achieve their companies' objectives of implementing mobile and wireless applications.
Fast And Robust Incremental Action Prediction For Interactive Agents, Jonathan Dinerstein, Parris K. Egbert, Dan A. Ventura
Fast And Robust Incremental Action Prediction For Interactive Agents, Jonathan Dinerstein, Parris K. Egbert, Dan A. Ventura
Faculty Publications
The ability for a given agent to adapt on-line to better interact with another agent is a difficult and important problem. This problem becomes even more difficult when the agent to interact with is a human, since humans learn quickly and behave non-deterministically. In this paper we present a novel method whereby an agent can incrementally learn to predict the actions of another agent (even a human), and thereby can learn to better interact with that agent. We take a case-based approach, where the behavior of the other agent is learned in the form of state-action pairs. We generalize these …
Reinforcement Learning-Based Output Feedback Control Of Nonlinear Systems With Input Constraints, Pingan He, Jagannathan Sarangapani
Reinforcement Learning-Based Output Feedback Control Of Nonlinear Systems With Input Constraints, Pingan He, Jagannathan Sarangapani
Electrical and Computer Engineering Faculty Research & Creative Works
A novel neural network (NN) -based output feedback controller with magnitude constraints is designed to deliver a desired tracking performance for a class of multi-input-multi-output (MIMO) discrete-time strict feedback nonlinear systems. Reinforcement learning in discrete time is proposed for the output feedback controller, which uses three NN: 1) a NN observer to estimate the system states with the input-output data; 2) a critic NN to approximate certain strategic utility function; and 3) an action NN to minimize both the strategic utility function and the unknown dynamics estimation errors. The magnitude constraints are manifested as saturation nonlinearities in the output feedback …
A Framework For Extraction Plans And Heuristics In An Ontology-Based Data-Extraction System, Alan E. Wessman
A Framework For Extraction Plans And Heuristics In An Ontology-Based Data-Extraction System, Alan E. Wessman
Theses and Dissertations
Extraction of information from semi-structured or unstructured documents, such as Web pages, is a useful yet complex task. Research has demonstrated that ontologies may be used to achieve a high degree of accuracy in data extraction while maintaining resiliency in the face of document changes. Ontologies do not, however, diminish the complexity of a data-extraction system. As research in the field progresses, the need for a modular data-extraction system that de-couples the various functional processes involved continues to grow.
In this thesis we propose a framework for such a system. The nature of the framework allows new algorithms and ideas …
Java Performance Of The Rijndael Encryption Algorithm Across Compilers And Virtual Machines, Gregory Leavitt Orgill
Java Performance Of The Rijndael Encryption Algorithm Across Compilers And Virtual Machines, Gregory Leavitt Orgill
Theses and Dissertations
The Rijndael encryption algorithm has recently been published as the Advanced Encryption Standard (AES), a Federal Information Processing Standard, and is being accepted by developers and designers as the algorithm of choice where encryption is required. Java is becoming the language of choice for E-Business applications, many of which require cryptography. The performance of any Java application is dependent on the compiler and virtual machine used to compile and interpret. Prior research has provided performance information for the Rijndael algorithm in Java for specific virtual machines. This research includes the development of a Rijndael implementation in Java. Using Java system …
Computer-Simulation-Assisted Lean Manufacturing Training, Luoding Wang
Computer-Simulation-Assisted Lean Manufacturing Training, Luoding Wang
Theses and Dissertations
This thesis assesses the potential of using computer simulation to aid existing lean manufacturing training methods such as lecture and live simulation. An investigation of this possibility was carried out in conjunction with UMEP's Lean 101 class. In the study, two experimental computer simulation models demonstrating the push and pull production scenarios were constructed using ProModel software. Simulation models were equipped with a Visual Basic interface to aid trainees to manipulate the model via ActiveX. Constructed computer simulation was compared with live simulation to answer these research questions: 1. Was computer simulation able to teach additional lean concepts not covered …
Deriving Private Information From Randomized Data, Zhengli Huang, Wenliang Du, Biao Chen
Deriving Private Information From Randomized Data, Zhengli Huang, Wenliang Du, Biao Chen
Electrical Engineering and Computer Science - All Scholarship
Randomization has emerged as a useful technique for data disguising in privacy-preserving data mining. Its privacy properties have been studied in a number of papers. Kargupta et al. challenged the randomization schemes, and they pointed out that randomization might not be able to preserve privacy. However, it is still unclear what factors cause such a security breach, how they affect the privacy preserving property of the randomization, and what kinds of data have higher risk of disclosing their private contents even though they are randomized. We believe that the key factor is the correlations among attributes. We propose two data …
Grid Service Architecture For Videoconferencing, Wenjun Wu, Ahmet Uyar, Hasan Bulut, Sangyoon Oh, Geoffrey C. Fox
Grid Service Architecture For Videoconferencing, Wenjun Wu, Ahmet Uyar, Hasan Bulut, Sangyoon Oh, Geoffrey C. Fox
Electrical Engineering and Computer Science - All Scholarship
In this paper we present a scalable, integrated and service-oriented collaboration system, namely Global Multimedia Collaboration System, based on the XGSP collaboration framework and NaradaBrokering messaging middleware. This system can provide videoconferencing services to heterogeneous endpoints such as H.323, SIP, Access Grid, RealPlayer as well as cellular phone. This paper discusses the design principle, system architecture and implementation in detail. The extensive performance measurement has been made to evaluate the scalability of the system.
Prototype Of Fault Adaptive Embedded Software For Large-Scale Real-Time Systems, Derek Messie, Mina Jung, Jae C. Oh, Shweta Shetty, Steven Nordstrom, Michael Haney
Prototype Of Fault Adaptive Embedded Software For Large-Scale Real-Time Systems, Derek Messie, Mina Jung, Jae C. Oh, Shweta Shetty, Steven Nordstrom, Michael Haney
Electrical Engineering and Computer Science - All Scholarship
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight self-optimizing agents embedded within Level 1 of the prototype are responsible for proactive and reactive monitoring and mitigation based on specified layers of competence. The agents are self-protecting, detecting cascading failures using a distributed approach. Adaptive, reconfigurable, and mobile objects for reliability are designed to be self-configuring to adapt automatically to dynamically changing environments. These objects provide a self-healing layer with the ability to discover, diagnose, and react to discontinuities in real-time processing. A generic modeling environment …
Adapting H.323 Terminals In A Service-Oriented Collaboration System, Wenjun Wu, Hasan Bulut, Ahmet Uyar, Geoffrey C. Fox
Adapting H.323 Terminals In A Service-Oriented Collaboration System, Wenjun Wu, Hasan Bulut, Ahmet Uyar, Geoffrey C. Fox
Electrical Engineering and Computer Science - All Scholarship
Global Multimedia Collaboration System (Global-MMCS), a scalable, robust and service-oriented collaboration system, can bridge H.323, SIP, Access Grid clients and 2.5G/3G cellular phones in audiovisual collaborations. The H.323 gateway in Global-MMCS enables H.323 terminals to interact with other clients, and provides them the complete H.323 conference control services.
Searching For High-Value Rare Events With Uncheatable Grid Computing, Wenliang Du, Michael T. Goodrich
Searching For High-Value Rare Events With Uncheatable Grid Computing, Wenliang Du, Michael T. Goodrich
Electrical Engineering and Computer Science - All Scholarship
High-value rare-event searching is arguably the most natural application of grid computing, where computational tasks are distributed to a large collection of clients (which comprise the computation grid) in such a way that clients are rewarded for performing tasks assigned to them. Although natural, rare-event searching presents significant challenges for a computation supervisor, who partitions and distributes the search space out to clients while contending with “lazy” clients, who don’t do all their tasks, and “hoarding ” clients, who don’t report rare events back to the supervisor. We provide schemes, based on a technique we call chaff injection, for efficiently …
Searching For High-Value Rare Events With Uncheatable Grid Computing, Wenliang Du, Michael T. Goodrich
Searching For High-Value Rare Events With Uncheatable Grid Computing, Wenliang Du, Michael T. Goodrich
Electrical Engineering and Computer Science - All Scholarship
High-value rare-event searching is arguably the most natural application of grid computing, where computational tasks are distributed to a large collection of clients (which comprise the computation grid) in such a way that clients are rewarded for performing tasks assigned to them. Although natural, rare-event searching presents significant challenges for a computation supervisor, who partitions and distributes the search space out to clients while contending with “lazy” clients, who don’t do all their tasks, and “hoarding ” clients, who don’t report rare events back to the supervisor. We provide schemes, based on a technique we call chaff injection, for efficiently …
Tr-2005005: Geometric Interpretation And Spherical Property Of The 2-D Poisson Kernel, Sergei Artamoshin
Tr-2005005: Geometric Interpretation And Spherical Property Of The 2-D Poisson Kernel, Sergei Artamoshin
Computer Science Technical Reports
No abstract provided.
Tr-2005009: Additive Preconditioning In Matrix Computations, Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt
Tr-2005009: Additive Preconditioning In Matrix Computations, Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt
Computer Science Technical Reports
No abstract provided.
Tr-2005013: Typing In Reflective Combinatory Logic, Nikolai Krupski
Tr-2005013: Typing In Reflective Combinatory Logic, Nikolai Krupski
Computer Science Technical Reports
No abstract provided.