Warning: Invalid argument supplied for foreach() in C:\Fez\eth-design\view2.php on line 217

Warning: Invalid argument supplied for foreach() in C:\Fez\eth-design\include\class.record.php on line 245

Warning: array_reverse() [function.array-reverse]: The argument should be an array in C:\Fez\eth-design\include\class.record.php on line 261

Warning: Invalid argument supplied for foreach() in C:\Fez\eth-design\include\class.record.php on line 289

Warning: array_reverse() [function.array-reverse]: The argument should be an array in C:\Fez\eth-design\include\class.record.php on line 303
ETH ETH E-Collection eth:449 - Detail View - ETH E-Collection

Application error

We're sorry, but an application error occurred while processing your request. Possible reasons are:

  1. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    rek_title
    FROM
    fez_record_search_key
    WHERE
    rek_pid = 'eth:449' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 2110
  2. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    r1.*
    FROM
    fez_record_search_key r1 inner join
    fez_record_search_key_ismemberof m1 on r1.rek_pid = m1.rek_ismemberof AND m1.rek_ismemberof_pid = 'eth:449' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 145
  3. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    r1.*
    FROM
    fez_record_search_key r1 inner join
    fez_record_search_key_isderivationof m1 on r1.rek_pid = m1.rek_isderivationof AND m1.rek_isderivationof_pid = 'eth:449' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 145
  4. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    rek_title
    FROM
    fez_record_search_key
    WHERE
    rek_pid = 'eth:449' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 2110
  5. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    r1.*
    FROM
    fez_record_search_key r1 inner join
    fez_record_search_key_ismemberof m1 on r1.rek_pid = m1.rek_ismemberof_pid AND m1.rek_ismemberof = '' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 170
  6. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    rek_title
    FROM
    fez_record_search_key
    WHERE
    rek_pid = 'eth:449' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 2110

If you think that there should be no error, please contact us.

Metadata Label Value
Author(s): Müller, Samuel
Publisher: ETH
Citation:

Müller, Samuel. Theory and applications of runtime monitoring metric first-order temporal logic. ETH (2009). http://dx.doi.org/10.3929/ethz-a-005932651

Documents: Abstract (63.56KB) , Fulltext
Import to Mendeley

Detailed Information

Metadata Description
Title Theory and applications of runtime monitoring metric first-order temporal logic
Author(s) Müller, Samuel
Publication Place Zürich
Publisher ETH
Publication Date 2009
Notes Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 18445, 2009
Language English
DOI http://dx.doi.org/10.3929/ethz-a-005932651
Subject(s) Theoretical Computer Science
Fundamental Bases, Logic, Philosophy of Mathematics
Keyword(s) TEMPORAL LOGIC
MATHEMATICAL LOGIC
PREDICATE LOGIC
TIME-VARYING SYSTEMS
CONTROL SYSTEMS THEORY
RELIABILITY ANALYSIS
STABILITY ANALYSIS
FINITE AUTOMATA
RELATIONAL DATABASES
INFORMATION SYSTEMS
ALGORITHMIC COMPLEXITY
MATHEMATICS
Description File Name MIME Type Size
Abstract   eth-449-01.pdf application/pdf 63.56KB
Fulltext   eth-449-02.pdf application/pdf
Abstract Views and Downloads
Views 79  abstracts
Downloads 254  downloads

Abstract Views and Downloads by Country
Views 24  abstracts
Downloads 82  downloads
Germany Views abstracts
Downloads 41  downloads
Switzerland Views 32  abstracts
Downloads 40  downloads
United States Views abstracts
Downloads 26  downloads
China Views abstracts
Downloads 15  downloads
United Kingdom Views abstracts
Downloads 13  downloads
France Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Brazil Views abstracts
Downloads downloads
Finland Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Algeria Views abstracts
Downloads downloads
Belgium Views abstracts
Downloads downloads
Denmark Views abstracts
Downloads downloads
Ethiopia Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Thailand Views abstracts
Downloads downloads
Tunisia Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads


E-Collection record created: Sat, 12 Dec 2009, 05:33:28 CET