We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.

Search Results

Showing 81-100 of 348 results

  1. De Bruijn’s Automath and Pure Type Systems

    We study the position of the Automath systems within the framework of Pure Type Systems (PTSs). In [Barendregt, 1992; Geuvers, 1993], a rough...
    Fairouz Kamareddine, Twan Laan, Rob Nederpelt in Thirty Five Years of Automating Mathematics
    Chapter 2003

  2. Genetic Algorithms and Simulated Annealing

    This chapter introduces the basic concepts and notation of genetic algorithms and simulated annealing, which are two basic search methodologies that...
    Oscar Castillo, Patricia Melin in Soft Computing and Fractal Theory for Intelligent Manufacturing
    Chapter 2003

  3. Stochastic Dependability Analysis of System Architecture Based on UML Models

    The work in this paper1 is devoted to the definition of a dependability modeling and model based evaluation approach based on UML models. It is to be...
    István Majzik, András Pataricza, Andrea Bondavalli in Architecting Dependable Systems
    Conference paper 2003

  4. Techniques of Programming

    This chapter provides answers to a host of everyday questions about programming: How do I access tables, cells, and regions of cells?...
    Michael Kofler in Definitive Guide to Excel VBA
    Chapter 2003

  5. WebServices als logische nächste Stufe

    Kapitel 5 definiert WebServices und identifiziert deren Merkmale aus Literatur und Praxis. Aufbauend auf den Aussagen zur...
    Christian Reichmayr in Collaboration und WebServices
    Chapter 2003

  6. VBA Concepts

    This chapter describes the language features ofVBA and provides the theoretical background for programming in VBA. The themes dealt...
    Michael Kofler in Definitive Guide to Excel VBA
    Chapter 2003

  7. Regularization of Linear Regression Problems

    The study considers robust estimation of linear regression parameters by the regularization method, the pseudoinverse method, and the Bayesian method...

    V. Ya. Galkin, A. S. Mechenov in Computational Mathematics and Modeling
    Article 01 April 2002

  8. Copulae as a new tool in financial modelling

    The paper presents an overview of financial applications of copulas. Copulas permit to represent joint distribution functions by splitting the...

    Elisa Luciano, Marina Marena in Operational Research
    Article 01 May 2002

  9. ASP

    ASP is a server-side include language, which can use VBScript or JavaScript for its server-side language. The server-side includes are enclosed...
    W. J. Buchanan in The Complete Handbook of the Internet
    Chapter 2002

  10. A Mathematical and Numerical Model for Finite Elastoplastic Deformations in Fluid Saturated Porous Media

    Finite elastic or elastoplastic strains in fluid saturated soils are studied. Isothermal and quasi-static loading conditions are considered. The...
    Lorenzo Sanavia, Bernhard A Schrefler, Paul Steinmann in Modeling and Mechanics of Granular and Porous Materials
    Chapter 2002

  11. Control Techniques for Complex Reasoning: The Case of Milord II

    Reasoning patterns occurring in complex problem solving tasks usually cannot be modelled by means of just a pure classical logic approach. This is...
    Lluís Godo, Josep Puyol-Gruart, Carles Sierra in Agent-Based Defeasible Control in Dynamic Environments
    Chapter 2002

  12. Synthesis with Relative Timing

    This chapter presents a synthesis approach for asynchronous circuits that takes timing into account. A fundamental problem appears when synthesis...
    J. Cortadella, M. Kishinevsky, ... A. Yakovlev in Logic Synthesis for Asynchronous Controllers and Interfaces
    Chapter 2002

  13. PHP

    PHP is a server-side processing language which integrates with HTML to produce HTML code which is browser independent. Its advantages include:...
    W. J. Buchanan in The Complete Handbook of the Internet
    Chapter 2002

  14. Åtvidaberg and Identity Shifts: Breaking Up is Hard

    This chapter concerns identity change. The scene is a Swedish local setting that has experienced the national process of change, from the formation...
    Anders Hjort-af-Ornäs in Sustainability, Local Democracy and the Future: The Swedish Model
    Chapter 2002

  15. Rewriting Logic as a Logical and Semantic Framework

    The relationships between logic and computation, and the mutual interactions between both fields, are becoming stronger and more pervasive than they...
    Narciso Martí-Oliet, José Meseguer in Handbook of Philosophical Logic
    Chapter 2002

  16. Software-Technik

    Ein Betriebssystem ist ein Mittler zwischen dem User und dem Computer. Das Betriebssystem ermöglicht es, den Computer, die Festplatten,...
    Rainer Egewardt in Das PC-Wissen für IT-Berufe: Hardware, Betriebssysteme, Netzwerktechnik
    Chapter 2002

  17. Elementare Datentypen und Anweisungen

    Nachdem in den letzten beiden Kapiteln gezeigt wurde, wie man mit der Entwicklungsumgebung des C++Builders arbeitet, beginnen wir in diesem Kapitel...
    Richard Kaiser in C++ mit dem Borland C++Builder
    Chapter 2002

  18. Knowledge Management, Metadata and Information Systems: An RDF-Compliant Version of the NKRL Language

    We describe the data structures proper to NKRL (Narrative Knowledge Representation Language), a language expressly designed for representing, in a...
    Gian Piero Zarri in Databases and Information Systems
    Chapter 2001

  19. Topological Concepts for Hierarchies of Variables, Types and Controls

    Let the mathematical specification of a problem be exprcssed by a function f: X → Y, X, Y being non-empty sets...
    Rudolf F. Albrecht in Symbolic Algebraic Methods and Verification Methods
    Conference paper 2001

  20. The Box Algebra

    In this chapter, we shall introduce a third framework for compositionality in Petri net theory, referred to in Sect. 4.1 as the SOS-compositionality....
    Eike Best, Raymond Devillers, Maciej Koutny in Petri Net Algebra
    Chapter 2001
Did you find what you were looking for? Share feedback.