Sökning: "extend"

Visar resultat 11 - 15 av 1300 avhandlingar innehållade ordet extend.

1. 11. Foundations of Information-Flow Control and Effects

   Författare :Carlos Tomé Cortiñas; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Information-flow control; Programming languages; Language-based security;

   Sammanfattning : In programming language research, information-flow control (IFC) is a technique for enforcing a variety of security aspects, such as confidentiality of data, on programs. This Licenciate thesis makes novel contributions to the theory and foundations of IFC in the following ways: Chapter A presents a new proof method for showing the usual desired property of noninterference; Chapter B shows how to securely extend the concurrent IFC language MAC with asynchronous exceptions; and, Chapter C presents a new and simpler language for IFC with effects based on an explicit separation of pure and effectful computations. LÄS MER

3. 12. Pairs of projections on a Hilbert space:properties and generalized invertibility

   Författare :Sonja Radosavljevic; Vladimir Kozlov; Bengt-Ove Turesson; Uno Wennergren; Pavel Kurasov; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : This thesis is concerned with the problem of characterizing sums, differences, and products of two projections on a separable Hilbert space. Other objective is characterizing the Moore-Penrose and the Drazin inverse for pairs of operators. We use reasoning similar to one presented in the famous P. LÄS MER

4. 13. Generalized General Logics

   Författare :Robert Helgesson; Patrik Eklund; Andrzej Tarlecki; Umeå universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datalogi;

   Sammanfattning : Logic as a vehicle for sound reason has a long and lustrous history and while most developments follow the traditional notions of binary truth and crisp sentences, great efforts have been placed into the problem of reasoning with uncertainties. To this end the field of "fuzzy logic" is now of great importance both theoretically and practically. LÄS MER

5. 14. Statistical expert systems : a special application area for knowledge-based computer methodology

   Författare :Shamsul I. Chowdhury; Linköpings universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

   Sammanfattning : The study investigates the purposes, functions and requirements of statistical expert systems and focuses attention on some unique characteristics of this subcategory of knowledge-based systems. Statistical expert systems have been considered in this thesis as one approach to improve statistical software and extend their safe usability to a broad category of users in different phases of a statistical investigation. LÄS MER

7. 15. Extending the Automated Reasoning Toolbox

   Författare :Ann Lillieström; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; First-Order Logic; Sorted Logic; Automated Reasoning;

   Sammanfattning : Due to the semi-decidable nature of first-order logic, it can be desirable to address a wider range of problems than the standard ones of satisfiability and derivability. We extend the automated reasoning toolbox by intro- ducing two new tools for analysing problems in first-order logic. Infinox is aimed at showing finite unsatisfiability, i.e. LÄS MER