Undecidability results concerning Datalog programms and their persistency numbers. cti Technical Report No. TR 2002/12/03

Undecidability results concerning Datalog programms and their persistency numbers. cti Technical Report No. TR 2002/12/03

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Κοσμαδάκης, Σταύρος (Συγγραφέας), ΦΟΥΣΤΟΥΚΟΥ, ΕΥΓΕΝΙΑ (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	Greek
Έκδοση:	Patras - Hellas ΕΑΙΤΥ 2002
Θέματα:	ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ TECHNICAL REPORT cti tr 2002

Παρόμοια τεκμήρια

NP - Completeness Results and Efficient Approximations for Radiocoloring in Planar Graphs CTI Technical Report No. TR2002/10/03
ανά: Φωτάκης, Δημήτρης, κ.ά.
Έκδοση: (2002)

Multiple channel watermarking of color images cti Technical Report 2002/02/03
ανά: GILANI, S. Asif Mahmood, κ.ά.
Έκδοση: (2002)

Geometric Deformations and Watermarking CTI Technical Report TR 2002/09/02
ανά: Φωτοπουλος, Β., κ.ά.
Έκδοση: (2002)

Handling zero in diminished - one modulo 2n+1 adders CTI Technical Report 2002/01/03
ανά: Ευσταθίου, Χ, κ.ά.
Έκδοση: (2002)

Efficient colouring of squares of planar graphs CTI Technical Report No. TR2002/11/01
ανά: Ανδρέου, Μαρία, κ.ά.
Έκδοση: (2002)

Adaptive Coefficient Selection for Transform Domain Watermarking CTI Technical Report TR 2002/10/02
ανά: Φωτοπουλος, Β., κ.ά.
Έκδοση: (2002)

Determination of the success of a hospital's information system implementation CTI Technical Report TR 2002/09/01
ανά: Σαριβουγιούκας, I., κ.ά.
Έκδοση: (2002)

New Balanced Search Trees with Constant Update Time CTI Technical Report TR No. 2002/02/02
ανά: Μακρής, Χρήστος, κ.ά.
Έκδοση: (2002)

Applying the "smoothing" technique of Achlioptas and Moore to the satisfiability problem CTI Technical Report Νο. TR 2002/12/02
ανά: ΔΑΒΡΑΖΟΣ, ΕΥΘΥΜΙΟΣ, κ.ά.
Έκδοση: (2002)

On Radiocoloring Hierarchically Specified Planar Graphs: PSPACE - completeness and Approximations CTI Technical Report No. TR2002/10/05
ανά: Ανδρέου, Μαρία, κ.ά.
Έκδοση: (2002)

Attack propagation in networks CTI Technical Report 2002/01/01
ανά: Νικολετσέας, Σωτήρης, κ.ά.
Έκδοση: (2002)

Implementation and integration of Regional Health Care Data Networks: the case of the Hellenic NHS CTI Technical Report Νο. TR 2002/12/01
ανά: Λάμψας, Π., κ.ά.
Έκδοση: (2002)

Radiocolorings in Periodic Planar Graphs: SPACE - Completeness and Efficient Approximations for the Optimal Range of Frequencies CTI Technical Report No. TR2002/10/04
ανά: Φωτάκης, Δημήτρης, κ.ά.
Έκδοση: (2002)

A web - based intelligent tutoring system using hybrid rules as its representational basis CTI Technical Report TR2002/05/02
ανά: Πρεντζας, Δημητρης, κ.ά.
Έκδοση: (2002)

Lessons learned from the introduction of a Laboratory Information System in a State Hospital of Athens, Greece CTI Technical Report TR 2002/10/01
ανά: Βαγγελάτος, Αριστείδης, κ.ά.
Έκδοση: (2002)

ICT Penetration in Public Greek Hospitals cti Technical Report 2002/04/01
ανά: Βαγγελάτος, Αριστείδης, κ.ά.
Έκδοση: (2002)

Geometric Retrieval for Grid Points in the RAM model CTI Technical Report No. 2002/11/02
ανά: Μακρής, Χρήστος, κ.ά.
Έκδοση: (2002)

Constructing modular hybrid rules bases for expert systems cti Technical Report 2002/04/02
ανά: Χατζηλυγερούδης, Ι., κ.ά.
Έκδοση: (2002)

Πληροφοριακό σύστημα νοσοκομείου: απαραίτητη υποδομή στο σύγχρονο νοσοκομείο CTI Technical Report 2002/01/02
ανά: Βαγγελάτος, Αριστείδης, κ.ά.
Έκδοση: (2002)

It outsourcing in the healthcare sector: the case of a state general hospital cti Technical Report 2002/02/01
ανά: Σαριβουγιούκας, I., κ.ά.
Έκδοση: (2002)

Ηλεκτρονική Διοίκηση και Επίπεδα Εφαρμογών Η τεχνολογία στην υπηρεσία του πολίτη. cti Technical Report 2002/05/01
ανά: Τσακαλίδης, Αθανάσιος, κ.ά.
Έκδοση: (2002)

A Model for a Persistent Hypertext System C.T.I. Technical Report TR 92.07.13
ανά: Παναγοπούλου, Γεωργία, κ.ά.
Έκδοση: (1992)

Conclusions on the Analysis of User Requirements concerning the use of ICT in the Didactic Process. [C.T.I. Technical Report] TR 97.1.2
ανά: Αντωνής, Κωνσταντίνος, κ.ά.
Έκδοση: (1997)

Conceptual Characterization for Free Trees cti Technical Report 2001/12/04
ανά: Κοσμαδάκης, Σταύρος, κ.ά.
Έκδοση: (2001)

Some new Results on Intersection Query Problems C.T.I. Technical Reports TR 96.6.20 C.T.I. Technical Reports TR 95.11.36
ανά: Κίτσιος, Ν., κ.ά.
Έκδοση: (1996)

On the number of edge disjoint paths C.T.I. [Technical Reports] TR. 97.11.43 C.T.I. [Technical Reports] TR. 97.11.41
ανά: Νικολετσέας, Σωτήρης, κ.ά.
Έκδοση: (1997)

Ευφυη συστηματα διδασκαλίας. CTI Techical Report TR 2000/01/03
Έκδοση: (2000)

Tight Bounds for Spanning Trees in Archimedean Distributed Systems cti Technical Report 2001/12/05
ανά: Κοσμαδάκης, Σταύρος, κ.ά.
Έκδοση: (2001)

Watermarking of images in the DLT domain. CTI Technical Report TR 2000/03/02
Έκδοση: (2000)

Results and experience from the application of a common methodology for Users Reguirements Specification in Distance Education using Telematics. [C.T.I. Technical Reports] TR. 96.10.36
ανά: Αντωνής, Κωνσταντίνος, κ.ά.
Έκδοση: (1996)

Automating the generation of multimedia titles C.T.I. Technical Report TR 94.03.14
ανά: Γαρδέλης, Δημήτρης, κ.ά.
Έκδοση: (1994)

Concurrency control in PR-qtrees C.T.I. Technical Report TR.97-03-18
ανά: Καφέζα, Ελεάννα, κ.ά.
Έκδοση: (1997)

A new algorithm for rectangle enclosure reporting. C.T.I. TR 99/09/03
ανά: Μακρής, Χρήστος, κ.ά.
Έκδοση: (1999)

Transaction Synchronisation in Object Bases [C.T.I. Technical Reports] TR 88.03.49
ανά: Χατζηλάκος, Θανάσης, κ.ά.
Έκδοση: (1988)

A Conceptual Schema for Geographic Databases C.T.I. Technical Report TR 91.03.07
ανά: Τρύφωνα, Νεκταρία, κ.ά.
Έκδοση: (1991)

On the Structure of the Cellular Automata Rule Space C.T.I. Technical Report TR 92.03.06
ανά: Τσαντάνης, Νικόλαος
Έκδοση: (1992)

Indexing trajectories of moving point objects. C.T.I. Technical Report TR 99/07/03
ανά: Pfoser, Dieter, κ.ά.
Έκδοση: (1999)

Relation between software metrics and maintainability. C.T.I. Technical Report TR 99/08/03
ανά: Χριστοδουλάκης, Δημήτριος Νικ, κ.ά.
Έκδοση: (1999)

Brokerage of Reat-Time auctions over www. CTI Technical Report TR 2000/04/03
Έκδοση: (2000)

An experimental study on dynamic algorithms for transitive closure. CTI Technical Report TR 2000/08/03
Έκδοση: (2000)

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

Cannot write session to /tmp/vufind_sessions/sess_plk7jqoejeuqiu25qog94jpsll