On horn envelopes and hypergraph transversals (Extended Abstract for ISAAC) C.T.I. Technical Report TR 93.10.38

On horn envelopes and hypergraph transversals (Extended Abstract for ISAAC) C.T.I. Technical Report TR 93.10.38

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Καββαδίας, Δημήτρης (Συγγραφέας), Papadimitriou, Christos H., 1949- (Συγγραφέας), Σιδέρη, Μάρθα (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Patras Greece Πάτρα Ελλάδα Computer Technology Institute Ινστιτούτο Τεχνολογίας Υπολογιστών 1993
Θέματα:	CTI TR 1993 TECHNICAL REPORT ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ

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

Parallel Graph Decomposition Techniques with Applications to Shortest Paths Problems C.T.I. Technical Report TR 93.02.8
ανά: Ζαρολιάγκης, Χρήστος, κ.ά.
Έκδοση: (1993)

Hammock-on-Ears Decomposition: A Technique for Parallel and On-line Path Problems C.T.I. Technical Report TR 93.05.22
ανά: Ζαρολιάγκης, Χρήστος, κ.ά.
Έκδοση: (1993)

Requirements for Distributed Hypermedia C.T.I. Technical Report TR 93.01.4
ανά: Γαβιώτης, Ιωάννης, κ.ά.
Έκδοση: (1993)

Right Triangle Enclosures C.T.I. Technical Report TR 93.04.15
ανά: Σοφοτάσιος, Δημήτριος Π., κ.ά.
Έκδοση: (1993)

The Linkage of a Graph C.T.I. Technical Report TR 93.04.16
ανά: Θηλυκός, Δημήτρης, κ.ά.
Έκδοση: (1993)

Λογική σχεδίαση γεωγραφικών εφαρμογών Ι.Τ.Υ. Τεχνική Αναφορά TR 93.01.1
ανά: Τρύφωνα, Νεκταρία, κ.ά.
Έκδοση: (1993)

Εννοιολογική σχεδίαση γεωγραφικών εφαρμογών Ι.Τ.Υ. Τεχνική Αναφορά TR 93.06.24
ανά: Τρύφωνα, Νεκταρία, κ.ά.
Έκδοση: (1993)

Modeling and design of a Virtual Authoring Environment C.T.I. Technical Report TR 93.04.17
ανά: Καμέας, Αχιλλέας, κ.ά.
Έκδοση: (1993)

Σύστημα διαχείρησης δικτύου τηλεφωνικού κέντρου Ι.Τ.Υ. Τεχνική Αναφορά TR 93.06.23
ανά: Τσιρώνης, Γιώργος, 1960-2021
Έκδοση: (1993)

User interface environment for automatic keyword extraction C.T.I. Technical Report TR 93.10.39
ανά: Γαβιώτης, Ιωάννης
Έκδοση: (1993)

Arithmetic operations on the 3-LAP massively parallel processor C.T.I. Technical Report TR 93.02.06
ανά: Ανδρούτσου, Παναγιώτα, κ.ά.
Έκδοση: (1993)

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

An Image Encryption Method Using a Class of Fractals C.T.I. Technical Report TR 93.07.28
ανά: Αλεξόπουλος, Κοσμάς, κ.ά.
Έκδοση: (1993)

Tentative and Definite Distributed Computations: An Optimistic Approach to Network Synchronization C.T.I. Technical Report TR 93.03.10
ανά: Rajsbaum, S., κ.ά.
Έκδοση: (1993)

Απαιτήσεις από την X.400 Πλατφόρμα Ανάπτυξης Ι.Τ.Υ. Τεχνική Αναφορά TR 93.05.20
ανά: Θεοδωρόπουλος, Βαγγέλης, κ.ά.
Έκδοση: (1993)

Παρουσίαση των Συστημάτων Ανάπτυξης ISODE και PP Ι.Τ.Υ. Τεχνική Αναφορά TR 93.05.21
ανά: Θεοδωρόπουλος, Βαγγέλης, κ.ά.
Έκδοση: (1992)

Υλοποίηση του επεξεργαστή σχεδιασμού απαιτήσεων σε υλικά Ι.Τ.Υ. Τεχνική Αναφορά TR 93.07.29
ανά: Θηλυκός, Δημήτρης, κ.ά.
Έκδοση: (1993)

Why Mick Doesn't Get Any: Thresholds for (Un)Satisfiability C.T.I. Technical Report TR 93.12.42
ανά: Kamath, Anil, κ.ά.
Έκδοση: (1993)

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

Re-Randomization and Average Case Analysis of Fully Dynamic Graph Algorithms C.T.I. Technical Report TR 93.01.3
ανά: Reif, John, κ.ά.
Έκδοση: (1993)

An incremental algorithm for triangulating a y-convex polygon in linear time C.T.I. Technical Report TR 93.09.31
ανά: Κολλιόπουλος, Σ., κ.ά.
Έκδοση: (1993)

Detetmining Effective Multiprocessor Scheduling Policies for Repetitive Real-Time tasks C.T.I. Technical Report TR 93.09.33
ανά: Παπαδημητρίου, Στέργιος, κ.ά.
Έκδοση: (1993)

A Framework for the Computer Aided Spatial Education through Geographic Microworlds C.T.I. Technical Report TR 93.09.37
ανά: Κουτλής, Μανόλης, κ.ά.
Έκδοση: (1993)

Occam implementation of the Schur type algorithm for ρ-Toeplitz system solution C.T.I. Technical Report TR 93.11.40
ανά: Θεοδωρίδης, Σέργιος 1951-, κ.ά.
Έκδοση: (1993)

Near-Optimal Dominating Sets in Dense Random Graphs in Polynomial Expected Time C.T.I. Technical Report TR 93.03.13
ανά: Νικολετσέας, Σωτήρης, κ.ά.
Έκδοση: (1993)

A randomised algorithm for all pairs shortest paths in 0( ) expected time C.T.I. Technical Report TR 93.07.27
ανά: Νικολετσέας, Σωτήρης, κ.ά.
Έκδοση: (1993)

A Profitable Theory of nonmonotonic multiple inheritance based on Weighted Inheritance Networks C.T.I. Technical Report TR 93.07.30
ανά: Βουτσινάς, Βασίλειος, κ.ά.
Έκδοση: (1993)

An algorithm to revise beliefs of a nonmonotonic multiple inheritance reasoner based on WINs C.T.I. Technical Report TR 93.09.34
ανά: Βουτσινάς, Βασίλειος, κ.ά.
Έκδοση: (1993)

A class of fast adaptive algorithms for multichannel system identification and signal processing C.T.I. Technical Report TR 93.09.36
ανά: Θεοδωρίδης, Σέργιος 1951-, κ.ά.
Έκδοση: (1993)

Short Vertex Disjoint Paths and Multiconnectivity in Random Graphs: Reliable Network Computing. C.T.I. [Technical Report] TR. 93.11.41
ανά: Palem, K., κ.ά.
Έκδοση: (1993)

The Modeling and performance tuning of the Distributed Multimedia Filing System of a Virtual Authoring Environment C.T.I. Technical Report TR 93.05.18
ανά: Καμέας, Α., κ.ά.
Έκδοση: (1993)

An Optimal Algorithm for Finding a Minimum Rectangle Cover of a Vertically Convex Polygon C.T.I. Technical Report TR 93.07.26
ανά: Κολλιόπουλος, Σ., κ.ά.
Έκδοση: (1993)

A Multithreading implementation of low-level Image Processing on the 3-LAP massively parallel processor C.T.I. Technical Report TR 93.03.9
ανά: Δαβαράκης, Κ., κ.ά.
Έκδοση: (1993)

The Mathematics of an Inheritance System, based on Weighted Inheritance Networks, with a Profitable view of multiple extensions C.T.I. Technical Report TR 93.09.35
ανά: Βουτσινάς, Βασίλειος, κ.ά.
Έκδοση: (1993)

Θεωρητική και Τεχνική Πρόταση Εργασίας για την Ελληνοποίηση της Τυποποίησης X.400 Ι.Τ.Υ. Τεχνική Αναφορά TR 93.05.19
ανά: Θεοδωρόπουλος, Βαγγέλης, κ.ά.
Έκδοση: (1993)

ΙΤΕΕ: Ενα επεκτάσιμο περιβάλλον διαχείρισης βιβλιοθηκών προδιαγραφών και εκτέλεσης προγραμμάτων για εικόνες Ι.Τ.Υ. Τεχνική Αναφορά TR 93.07.25
ανά: Δίπλας, Κωνσταντίνος Ν., κ.ά.
Έκδοση: (1993)

Περιγραφή της βάσης αλγόριθμων δρομολόγησης για το σχεδιασμό και έλεγχο της βιομηχανικής παραγωγής Ι.Τ.Υ. Τεχνική Αναφορά TR 93.01.5
ανά: Θηλυκός, Δημήτρης, κ.ά.
Έκδοση: (1993)

Σχεδιασμός και υλοποίηση ενός συστήματος υποστήριξης αποφάσεων για τον αποδοτικό σχεδιασμό και έλεγχο της βιομηχανικής παραγωγής Ι.Τ.Υ. Τεχνική Αναφορά TR 93.04.14
ανά: Θηλυκός, Δημήτρης, κ.ά.
Έκδοση: (1993)

Ερευνητικό Πρόγραμμα για την Κατάρτιση προσωπικού του τομέα παροχής υπηρεσιών υγείας με χρήση Τηλεματικής/EUROFORM Ι.Τ.Υ. Τεχνική Αναφορά TR 93.03.12 Τεχνική Αναφορά για την Δικτυακή Υποδομή της Εφαρμογής "Ιπποκράτης"
ανά: Καπούλας, Βαγγέλης, κ.ά.
Έκδοση: (1992)

Ερευνητικό Πρόγραμμα για την Κατάρτιση προσωπικού του τομέα παροχής υπηρεσιών υγείας με χρήση Τηλεματικής / EUROFORM [Ι.Τ.Υ.] Τεχνική Αναφορά T.R. 93.03.11 Τεχνική Αναφορά για την Περιβάλλον Επικοινωνίας "Ιπποκράτης"
ανά: Θεοδωρόπουλος, Βαγγέλης, κ.ά.
Έκδοση: (1992)

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

Cannot write session to /tmp/vufind_sessions/sess_35qtmgm7c29dbg21rsb7ebisas