Checking monotone boolean duality with limited nondeterminism TECHNICAL REPORT No.2003/07/02

Checking monotone boolean duality with limited nondeterminism TECHNICAL REPORT No.2003/07/02

Bibliographic Details
Other Authors:	Σταυρόπουλος, Ηλίας Χ., καββαδίας, Δημήτρης Ι., Kavvadias Dimitris J., Stavropoulos Elias C.
Format:	Book
Published:	Patras-Hellas CTI c2003
Subjects:	TECHNICAL REPORT CTI TR 2003 ΤΕΧΝIΚΗ ΑΝΑΦΟΡΑ

Similar Items

Information Systems in Healthcare at the start of the new millenium: Potential & limitations of technology management TECHNICAL REPORT No.2003/08/01 J.Sarivougioukas, A.Vagelatos
Published: (2003)

Improved Bounds for Finger Search on a RAM TECHNICAL REPORT No.TR2003/07/01
Published: (2003)

Design and implementation of an office suite for people with special needs TECHNICAL REPORTS No.TR2003/07/03
Published: (2003)

A new role for the IT Department in Greek Hospitals CTI TECHNICAL REPORT No.TR2003/05/02
Published: (2003)

Σύστημα εκπαίδευσης από απόσταση των επαγγελματιών υγείας σε θέματα πληροφορικής της υγείας TECHNICAL REPORT No.2003/12/01
Published: (2003)

A 3-approximation algorithm for radiocoloring k-level restricted hierarchically specified planar graphs TECHNICAL REPORT No._TR2003/05/03
Published: (2003)

A 2,66-approximation algorithm for radiocoloring k-level restricted hierarchically specified planar graphs TECHNICAL REPORT No._TR2003/05/03
Published: (2003)

Τομέας έρευνας και ανάπτυξης ΤΕΧΝΙΚΕΣ ΑΝΑΦΟΡΕΣ Γ' ΤΡΙΜΗΝΟΥ 2003
Published: (2003)

Τομέας έρευνας και ανάπτυξης ΤΕΧΝΙΚΕΣ ΑΝΑΦΟΡΕΣ Α' & Β' ΤΡΙΜΗΝΟΥ 2003
Published: (2003)

Selfish Unsplittable Flows TECHNICAL REPORT No._TR2004/02/01
Published: (2004)

Improving Trajectory Data Query Performance through Data Model Manipulation TECHNICAL REPORT No.2004/03/02
Published: (2004)

An electronic dictionary as a basis for NLP tools: The greek case TECHNICAL REPORT No.2004/04/03
Published: (2004)

A Competitive Symmetrical Transfer Policy for Load Sharing C.T.I Technical Report TR 98.2.5
by: Αντωνής, Κωνσταντίνος, et al.
Published: (1998)

Indeterminacy and spatiotemporal data: the moving point object case R.A.C.T.I. TECHNICAL REPORT No.2004/02/03
by: Τρύφωνα, Νεκταρία, et al.
Published: (2004)

The space and time ontology in location-based services R.A.C.T.I. TECHNICAL REPORT No.2004/06/03
Published: (2004)

Modelling, storing and mining moving object databases R.A.C.T.I. TECHNICAL REPORTS No.2004/02/02
by: Τρύφωνα, Νεκταρία
Published: (2004)

Implementation of a Greek morphological lexicon for the biomedical domain CTI Technical Report No. TR2003/04/01
by: Τσαλίδης, Χρήστος, et al.
Published: (2003)

The impact of the LIS to the hospital's analytical laboratory quality accreditation CTI Technical Report No. TR2003/05/01
by: Βαγγελάτος, Αριστείδης, et al.
Published: (2003)

On the selection of class field polynomials in elliptic curve cryptography CTI Technical Report No. TR 2003/06/01
by: KONSTANTINOU, ELISAVET, et al.
Published: (2003)

Regional Health Care Authorities delivering application services to primary health care units CTI Technical Report No. TR2003/03/01
by: Βαγγελάτος, Αριστείδης, et al.
Published: (2003)

The nondeterministic complexity of the fredman and khachiyan algorithm for the dualization of monotone DNFs CTI Technical Report 2001/12/03
by: Καββαδίας, Δημήτρης, et al.
Published: (2001)

Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7
by: Γαροφαλάκης, Μίνως
Published: (1993)

Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations C.T.I. Technical Report TR 93.01.2
by: Βενέρης, Ανδρέας, et al.
Published: (1993)

A brief survey on data structuring problems. CTI Technical Report TR 2000/07/02
Published: (2000)

New Efficient Totally Self Checking Berger Code Checkers C.T.I. TR. 97.8.33
by: Γκναρδέλης, Τ., et al.
Published: (1997)

Evaluation of access structures for discretely moving points C.T.I. Technical Report TR 99/07/02
Published: (1999)

Modelling Geographic Applications with Objects: Promises and Limitations C.T.I. Technical Report TR 94.03.18
by: Γιαννακοπούλου, Δ., et al.
Published: (1994)

Diminished - 1 Modulo 2n + 1 Adder Design Technical Report TR 2001/02/02
by: Βέργος, Χαρίδημος Θ., et al.
Published: (2001)

New Balanced Search Trees with Constant Update Time CTI Technical Report TR No. 2002/02/02
by: Μακρής, Χρήστος, et al.
Published: (2002)

An Internet based adaptive educational system for the greek sign language. CTI Technical Report TR 2000/02/02
Published: (2000)

Geometric Deformations and Watermarking CTI Technical Report TR 2002/09/02
by: Φωτοπουλος, Β., et al.
Published: (2002)

Designing the PELICAN-System C.T.I. Technical Report TR 94.02.7
by: Αυγερίδης, Κ., et al.
Published: (1994)

Fast parallel weighted random sampling. CTI Technical Report 99/06/02
Published: (1999)

Electronic shops'Engineering methodology. CTI Technical Report TR 2000/04/02
Published: (2000)

Watermarking of images in the DLT domain. CTI Technical Report TR 2000/03/02
Published: (2000)

Multiple channel watermarking of color images cti Technical Report 2002/02/03
by: GILANI, S. Asif Mahmood, et al.
Published: (2002)

Optimal parallel Algorithms for Sparce Graphs C.T.I. Technical Report TR.90.04.07
by: Ζαρολιάγκης, Χρήστος, et al.
Published: (1990)

A Conceptual Schema for Geographic Databases C.T.I. Technical Report TR 91.03.07
by: Τρύφωνα, Νεκταρία, et al.
Published: (1991)

Efficient DCT Implementation on the DSP96002 C.T.I. Technical Report: TR 97.07.27
by: Λιβανός, Ν., et al.
Published: (1997)

Path delay fault testable modified booth multipliers. CTI Technical Report 99/07/01
Published: (1999)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών