Single Point of Entry Long-Term Living Resource System Team Report

Pursuant to House File 451 the Single Point of Entry Long-Term Living Resources System Team, involving several state agencies as well as interested associations, submitted a report to the legislature on recommendations to establish a single point of entry system

The Knowledge of the Grid: A Grid Ontology

This paper presents a knowledge architecture and set of ontologies that can be used as the foundation to facilitate the matching of abstract resource requests to services and resources, to determine the functional equivalence of Grid middle wares and deployments and to allow the description of ‘hybrid’ compound Grids composed of individual heterogeneous Grids. This is necessary as in all these cases what is required is mediation between different views or descriptions of Grids, which requires a formal reference vocabulary. We present a framework and ontologies for achieving this

Reusable Knowledge-based Components for Building Software Applications: A Knowledge Modelling Approach

In computer science, different types of reusable components for building software applications were proposed as a direct consequence of the emergence of new software programming paradigms. The success of these components for building applications depends on factors such as the flexibility in their combination or the facility for their selection in centralised or distributed environments such as internet. In this article, we propose a general type of reusable component, called primitive of representation, inspired by a knowledge-based approach that can promote reusability. The proposal can be understood as a generalisation of existing partial solutions that is applicable to both software and knowledge engineering for the development of hybrid applications that integrate conventional and knowledge based techniques. The article presents the structure and use of the component and describes our recent experience in the development of real-world applications based on this approach

The role of use cases in development of a reference framework for interoperability of data exchange in agriculture

vokKVIKA

Justice Data Base Directory

The Justice Data Base Directory was originally published in 1988 with an introduction, 8 chapters describing Alaska justice agencies and their data holdings, and an index. It was published in looseleaf notebook format for easy updating. Four updates were published in 1989–1992, each update consisting of additional chapters, revised table of contents and index, and updates to existing pages to reflect changes such as agency addresses. Five chapters were added in 1989; five in 1990; four in 1991; and five in 1992, for a total of 27 agencies covered by the Justice Data Base Directory in its final form. For archival purposes, this record includes all five versions of the directory. The 1992 edition is the most complete.The Justice Data Base Directory, first published in 1988 with new chapters added annually through 1992, presents information about the primary databases maintained by Alaska justice agencies and the procedures to be followed for access to the data. Its availability should substantially reduce the work required to identify the sources of data for research and policy development in law, law enforcement, courts, and corrections. The 1992 update to the directory adds five chapters, for a total of 27 Alaska agencies whose justice-related data holdings are described: Alaska Court System; Alaska Judicial Council; Alaska Commission on Judicial Conduct; Alaska Department of Law; Alaska Department of Public Safety (DPS) and three agencies under DPS: Alaska Police Standards Council, Council on Domestic Violence and Sexual Assault (CDSA), and Violent Crimes Compensation Board; Alaska Department of Corrections (DOC) and Parole Board; four agencies of the Alaska Department of Health and Social Services — Bureau of Vital Statistics (Division of Public Health), Epidemiology Section (Division of Public Health), Division of Family and Youth Services, and Office of Alcoholism and Drug Abuse; Alaska Public Defender Agency; Office of Public Advocacy (OPA); Alaska Bar Association; Alaska Justice Statistical Analysis Unit; Alaska Office of Equal Employment Opportunity (Office of the Governor); Alaska Office of the Ombudsman; Alaska Legal Services Corporation; Alaska Public Offices Commission; Alaska State Commission for Human Rights; Alcoholic Beverage Control (ABC) Board; Legislative Research Agency; Legislative Affairs Agency; State Archives and Records Management Services (Alaska Department of Education). Fully indexed.Funded in part by a grant from the Bureau of Justice Statistics.1. Introduction / 2. Alaska Court System / 3. Alaska Department of Law / 4. Alaska Department of Public Safety / 5. Alaska Department of Corrections / 6. Division of Family and Youth Services, Alaska Department of Health and Social Services / 7. Alaska Bar Association / 8. Alaska Judicial Council / 9. Alaska Justice Statistical Analysis Unit / 10. Bureau of Vital Statistics, Division of Public Health, Alaska Department of Health and Social Services / 11. Alaska Office of Equal Employment Opportunity, Office of the Governor / 12. Office of Alcoholism and Drug Abuse, Alaska Department of Health and Social Services / 13. Council on Domestic Violence and Sexual Assault, Alaska Department of Public Safety / 14. Epidemiology Section, Division of Public Health, Alaska Department of Health and Social Services / 15. Violent Crimes Compensation Board, Alaska Department of Public Safety / 16. Alaska Police Standards Council, Alaska Department of Public Safety / 17. Alcoholic Beverage Control Board / 18. Alaska Office of the Ombudsman / 19. State Archives and Records Management Services, Alaska Department of Education / 20. Legislative Research Agency / 21. Legislative Affairs Agency / 22. Alaska State Commission for Human Rights / 23. Parole Board, Alaska Department of Corrections / 24. Alaska Public Offices Commission / 25. Alaska Commission on Judicial Conduct / 26. Alaska Legal Services Corporation / 27. Office of Public Advocacy / 28. Alaska Public Defender Agency / 29. Inde

Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification

Modern Systems-on-Chip (SoC) designs are increasingly heterogeneous and contain specialized semi-programmable accelerators in addition to programmable processors. In contrast to the pre-accelerator era, when the ISA played an important role in verification by enabling a clean separation of concerns between software and hardware, verification of these "accelerator-rich" SoCs presents new challenges. From the perspective of hardware designers, there is a lack of a common framework for the formal functional specification of accelerator behavior. From the perspective of software developers, there exists no unified framework for reasoning about software/hardware interactions of programs that interact with accelerators. This paper addresses these challenges by providing a formal specification and high-level abstraction for accelerator functional behavior. It formalizes the concept of an Instruction Level Abstraction (ILA), developed informally in our previous work, and shows its application in modeling and verification of accelerators. This formal ILA extends the familiar notion of instructions to accelerators and provides a uniform, modular, and hierarchical abstraction for modeling software-visible behavior of both accelerators and programmable processors. We demonstrate the applicability of the ILA through several case studies of accelerators (for image processing, machine learning, and cryptography), and a general-purpose processor (RISC-V). We show how the ILA model facilitates equivalence checking between two ILAs, and between an ILA and its hardware finite-state machine (FSM) implementation. Further, this equivalence checking supports accelerator upgrades using the notion of ILA compatibility, similar to processor upgrades using ISA compatibility.Comment: 24 pages, 3 figures, 3 table

The use of data-mining for the automatic formation of tactics

This paper discusses the usse of data-mining for the automatic formation of tactics. It was presented at the Workshop on Computer-Supported Mathematical Theory Development held at IJCAR in 2004. The aim of this project is to evaluate the applicability of data-mining techniques to the automatic formation of tactics from large corpuses of proofs. We data-mine information from large proof corpuses to find commonly occurring patterns. These patterns are then evolved into tactics using genetic programming techniques