temporal property oor Grieks

temporal property

naamwoord

a property relating to time

Vertalings in die woordeboek Engels - Grieks

χρονική ιδιότητα

naamwoord

voorbeelde

Also, care must be taken to minimize the effect that instrumentation has on the execution (including temporal properties) of the target program.
Επίσης, πρέπει να υπάρχει κάποια προσοχή ώστε να ελαχιστοποιείται η επίδραση που έχουν οι τεχνικές "ενορχήστρωσης" (instrumentation) στην εκτέλεση του τελικού προγράμματος (συμπεριλαμβανομένων των χρονικών του ιδιοτήτων).

Several nominalisation strategies are used depending on the temporal properties of the relativised verb phrase: -GAn(dIK) for general past tense, -AAr for future/potential unrealised events, and -A turgan(dɯq) for non-perfective events are the most common.
Πολλές στρατηγικές ουσιαστικοποίησης χρησιμοποιούνται καθώς εξαρτώνται από τις προσωρινές ιδιότητες της σχετικής ρηματικής φράσης: -GAn(dIK) γενικά για τον αόριστο, -AAr για μελλοντικά εν δυνάμει μη πραγματοποιηθέντα γεγονότα, και -A turgan(dɯq) για μη συντελεσμένα γεγονότα είναι τα πιο κοινά.

include the definition of the rules that may constrain the possible values of the feature properties or the temporal variation of these values.
περιλαμβάνει καθορισμό των κανόνων με τους οποίους επιτρέπεται ο περιορισμός των δυνατών τιμών των ιδιοτήτων ενός χαρακτηριστικού ή η χρονική διακύμανση των τιμών αυτών.

include the definition of the rules that may constrain the possible values of the feature properties or the temporal variation of these values
περιλαμβάνει καθορισμό των κανόνων με τους οποίους επιτρέπεται ο περιορισμός των δυνατών τιμών των ιδιοτήτων ενός χαρακτηριστικού ή η χρονική διακύμανση των τιμών αυτών

(e) include the definition of the rules that may constrain the possible values of the feature properties or the temporal variation of these values.
ε) περιλαμβάνει καθορισμό των κανόνων με τους οποίους επιτρέπεται ο περιορισμός των δυνατών τιμών των ιδιοτήτων ενός χαρακτηριστικού ή η χρονική διακύμανση των τιμών αυτών.

Property specifications are often written as Linear Temporal Logic (LTL) expressions.
Οι προδιαγραφές ιδιοτήτων συχνά γράφονται σαν εκφράσεις γραμμικής χρονικής λογικής (Linear Temporal Logic, LTL).

But if I were to guess, I' d say that there was once a dimensionally transcendental chameleon- circuit placed right on this spot which welded its perception properties to a spatio- temporal rift
Ξέρουμε πως να το χρησιμοποιούμε, αλλά δεν ξέρουμε πως συνέβη.Αν έπρεπε να μαντέψω, θα έλεγα ότι κάποτε υπήρχε ένα υπερφυσικό, διαστατικό, συγκαλυμμένο κύκλωμα, που τοποθετήθηκε σ ' αυτό ακριβώς το σημείο και συνέδεσε τις ιδιότητές του σε ένα προσωρινό χωροχρονικό σχίσμα

‘life-cycle information’ means a set of properties of a spatial object that describe the temporal characteristics of a version of a spatial object or the changes between versions,
12. «πληροφορίες για τον κύκλο ζωής» (life-cycle information): σύνολο ιδιοτήτων χωροαντικειμένου, οι οποίες περιγράφουν τα χρονικά χαρακτηριστικά μιας έκδοσης ενός χωροαντικειμένου ή τις αλλαγές μεταξύ εκδόσεων·

((Common foreign and security policy - Restrictive measures adopted against Iran with the aim of preventing nuclear proliferation - Freezing of funds - Obligation to state reasons - Rights of the defence - Right to effective judicial protection - Manifest error of assessment - Proportionality - Right to hold property - Adjustment of the temporal effects of an annulment))
((Κοινή εξωτερική πολιτική και πολιτική ασφάλειας - Περιοριστικά μέτρα κατά του Ιράν με σκοπό την παρεμπόδιση της διαδόσεως των πυρηνικών όπλων - Δέσμευση κεφαλαίων - Υποχρέωση αιτιολογήσεως - Δικαιώματα άμυνας - Δικαίωμα σε αποτελεσματική δικαστική προστασία - Πρόδηλη πλάνη εκτιμήσεως - Αναλογικότητα - Δικαίωμα ιδιοκτησίας - Ρύθμιση των διαχρονικών αποτελεσμάτων της ακυρώσεως))

12. ‘life-cycle information’ means a set of properties of a spatial object that describe the temporal characteristics of a version of a spatial object or the changes between versions,
«πληροφορίες για τον κύκλο ζωής» (life-cycle information) : σύνολο ιδιοτήτων χωροαντικειμένου, οι οποίες περιγράφουν τα χρονικά χαρακτηριστικά μιας έκδοσης ενός χωροαντικειμένου ή τις αλλαγές μεταξύ εκδόσεων·

A spatial object type that holds values for a property based on one or more soil and possibly non soil parameters within its spatial, temporal or spatiotemporal domain.
Τύπος χωροαντικειμένου που περιέχει τιμές για μια ιδιότητα βασισμένη σε μία ή περισσότερες σχετικές, και πιθανώς μη σχετικές, με το έδαφος παραμέτρους εντός του χωρικού, χρονικού και χωροχρονικού πεδίου του.

Automata-theoretic linear temporal logic model checking An important way to model check is to express desired properties (such as the ones described above) using LTL operators and actually check if the model satisfies this property.
Ένα σημαντικός τρόπος ελέγχου μοντέλων είναι η έκφραση της επιθυμητής ιδιότητας (όπως οι παραπάνω) με τελεστές LTL και ο έλεγχος αν το μοντέλο την ικανοποιεί.

((Common foreign and security policy - Restrictive measures taken against certain persons and entities in view of the situation in Tunisia - Freezing of funds - Legal basis - Right to property - Article 17(1) of the Charter of Fundamental Rights - Temporal adjustment of the effects of annulment - Non-contractual liability - Absence of material harm))
((Κοινή εξωτερική πολιτική και πολιτική ασφαλείας - Περιοριστικά μέτρα κατά ορισμένων προσώπων και οντοτήτων λόγω της καταστάσεως στην Τυνησία - Δέσμευση κεφαλαίων - Νομική βάση - Δικαίωμα ιδιοκτησίας - Άρθρο 17, παράγραφος 1, του Χάρτη των Θεμελιωδών Δικαιωμάτων - Καθορισμός των διαχρονικών αποτελεσμάτων της ακυρώσεως - Εξωσυμβατική ευθύνη - Δεν υφίσταται υλική ζημία))

Furthermore, an obligation to rescind the contracts would be contrary to the principles of legal certainty and of the protection of legitimate expectations, the principle pacta sunt servanda, Article 295 EC, the fundamental right to property and the case-law of the Court on the temporal limitation of the effects of a judgment in damages.
Συνεπώς, η υποχρέωση καταγγελίας των συμβάσεων αντίκειται στις αρχές της ασφάλειας δικαίου και της προστασίας της δικαιολογημένης εμπιστοσύνης, στην αρχή pacta sunt servanda, καθώς και στο άρθρο 295 ΕΚ, στο θεμελιώδες δικαίωμα της ιδιοκτησίας, και στη νομολογία του Δικαστηρίου για τον χρονικό περιορισμό των αποτελεσμάτων μιας αποφάσεως.

(Admissibility – Directive 93/13/EEC – Consumer credit agreement – Unfair terms – Settlement of a secured claim by recourse to the public auction of immovable property – Possibility of foregoing judicial proceedings under national legislation – Principle of effectiveness – Limitation of the temporal effects of a judgment)
«Παραδεκτό — Οδηγία 93/13/ΕΟΚ — Σύμβαση καταναλωτικού δανείου — Καταχρηστική ρήτρα — Εξόφληση ασφαλισθείσας απαιτήσεως διά της πωλήσεως ακίνητου με πλειστηριασμό — Δυνατότητα προηγούμενης ένδικης διαδικασίας δυνάμει της εθνικής νομοθεσίας — Αρχή της αποτελεσματικότητας — Περιορισμός των διαχρονικών αποτελεσμάτων αποφάσεως»

The national court is requested, in reaction to more or less individualised infringements of intellectual property rights, to adopt a measure which, I repeat, by its very nature, can only be general in every regard, personal spatial and temporal.
Το αιτούν δικαστήριο, για να αντιμετωπίσει τις εξατομικευμένες σε μεγαλύτερο ή μικρότερο βαθμό προσβολές των δικαιωμάτων πνευματικής ιδιοκτησίας, καλείται να λάβει μέτρο το οποίο –επαναλαμβάνω– , ως εκ της φύσεώς του, έχει κατ’ ανάγκη γενικό χαρακτήρα από κάθε άποψη και δη όσον αφορά τα πρόσωπα, τον χώρο και τον χρόνο.

Although this is not a reflection of State control, it is significant because the holders of these industrial property rights can more readily assume positions of dominance as these monopolies often act as barriers to entry of a legal and temporal nature. (52)
Μολονότι το σημείο αυτό δεν αποτελεί ένδειξη του κρατικού ελέγχου, είναι σημαντικό, διότι οι κάτοχοι των σχετικών δικαιωμάτων βιομηχανικής ιδιοκτησίας δημιουργούν ευκολότερα δεσπόζουσες θέσεις, καθόσον τα μονοπώλια αυτά αποτελούν παράγοντες που εμποδίζουν την είσοδο στην αγορά, τόσο από νομική όσο και από χρονική άποψη (52).

On his side the Emperor abandoned his claim to investiture with ring and crosier, and granted freedom of election to episcopal sees. On the papal side, it was conceded that the bishops should receive investiture with the sceptre, that the episcopal elections should be held in the presence of the Emperor or his representatives, that in case of disputed elections the Emperor should, after the decision of the metropolitan and the suffragan bishops, confirm the rightfully elected candidate, and lastly, that the imperial investiture of the temporal properties connected to the sees should take place in Germany before the consecration.
Από την πλευρά του ο αυτοκράτορας εγκατέλειψε την διεκδίκηση του στην περιβολή με δαχτυλίδι και σκήπτρο, και εγγυήθηκε την ελευθερία εκλογής στις επισκοπικές έδρες· από την άλλη πλευρά, αναγνωρίσθηκε ότι οι επίσκοποι θα ελάμβαναν την περιβολή με το σκήπτρο, ότι οι επισκοπικές εκλογές θα διεξάγονταν με την παρουσία του Αυτοκράτορα ή ταν αντιπροσώπων του, ότι σε περίπτωση αμφισβητούμενων εκλογών ο αυτοκράτορας έπρεπε, μετά την απόφαση των μητροπολιτικών και των αγγλικανών επισκόπων, να επιβεβαιώσει τον δίκαια εκλεγμένο υποψήφιο, και τελευταίο, ότι η αυτοκρατορική περιβολή των κοσμικών κτήσεων σχετικών με τις έδρες θα έπρεπε να λάβουν χώραν στη Γερμανία πριν την χειροτόνηση, στην Βουργουνδία και την Ιταλία μετά από αυτήν την τελετή, ενώ στα Παπικά Κράτη ο πάπας μόνο είχε το δικαίωμα της περιβολής,χωρίς καμία ανάμειξη από το μέρος του Αυτοκράτορα.

Parties to the Protocol will need to make further choices on the temporal application of implementing measures, on the respect for existing specialised ABS instruments[3], and apply special considerations to non-commercial research, to the exchange of genetic resources with pathogenic properties, and to genetic resources for food and agriculture.
Τα συμβαλλόμενα μέρη του Πρωτοκόλλου θα χρειαστεί να πραγματοποιήσουν περαιτέρω επιλογές σχετικά με την κατά χρόνο εφαρμογή των εκτελεστικών μέτρων και την τήρηση υφιστάμενων εξειδικευμένων πράξεων για την πρόσβαση και τον καταμερισμό των οφελών[3], και να εφαρμόσουν ειδικά κριτήρια στην έρευνα που διεξάγεται από μη εμπορικούς φορείς, στην ανταλλαγή γενετικών πόρων με παθογόνους ιδιότητες και στους γενετικούς πόρους που προορίζονται για τη διατροφή και τη γεωργία.

(Reference for a preliminary ruling - Common system of value added tax (VAT) - Directive 2006/112/EC - Article 2(1)(b) - Intra-Community acquisition of goods - Article 20 - Acquisition of the right to dispose of goods as owner - Chain of transactions for the purchase and resale of goods with a single intra-Community transport - Right to take decisions capable of affecting the legal situation of property - Transaction to which the transport should be ascribed - Transport under an excise duty suspension arrangement - Temporal effect of judgments by way of interpretation)
(Προδικαστική παραπομπή - Κοινό σύστημα φόρου προστιθέμενης αξίας (ΦΠΑ) - Οδηγία 2006/112/ΕΚ - Άρθρο 2, παράγραφος 1, στοιχείο β' - Ενδοκοινοτική απόκτηση αγαθών - Άρθρο 20 - Απόκτηση του δικαιώματος να διαθέτει κάποιος, ως κύριος, αγαθό - Αλυσιδωτές πράξεις αγοράς και μεταπωλήσεως αγαθών με ενιαία ενδοκοινοτική μεταφορά - Δυνατότητα λήψεως αποφάσεων ικανών να επηρεάσουν τη νομική κατάσταση του αγαθού - Καταλογισμός της μεταφοράς - Μεταφορά υπό καθεστώς αναστολής της καταβολής των ειδικών φόρων κατανάλωσης - Διαχρονικά αποτελέσματα των αποφάσεων περί ερμηνείας)

176 It cannot be inferred from the letter of 20 February 2007, as argued by the applicant, that the Commission had considered it ‘decisive, for the purposes of ruling on the categorisation of the temporal extension of the Terni tariff as State aid, to demonstrate that the (updated) value of that compensation was equal to or lower than the value of the expropriated property’.
176 Από το έγγραφο της 20ής Φεβρουαρίου 2007 δεν μπορεί να συναχθεί, όπως διατείνεται η προσφεύγουσα, ότι η Επιτροπή εκτίμησε ως «αποφασιστικής σημασίας, στο πλαίσιο του χαρακτηρισμού της παρατάσεως του [προτιμησιακού] τιμολογίου ως κρατικής ενισχύσεως, την απόδειξη του ότι η αξία (σε σημερινές τιμές) της εν λόγω αποζημιώσεως ήταν ίση ή χαμηλότερη σε σχέση με την αξία των απαλλοτριωθέντων περιουσιακών στοιχείων».

(Reference for a preliminary ruling - Judicial cooperation in civil matters - Regulation (EU) No 1215/2012 - Article 66 - Temporal scope - Regulation (EC) No 44/2001 - Material scope - Civil and commercial matters - Article 1(1) and (2)(a) - Matters excluded - Rights in property arising out of a matrimonial relationship - Article 54 - Application for the certificate certifying that the judgment given by the court of origin is enforceable - Judgment given concerning a debt stemming from the settlement of rights in property arising out of an unregistered non-marital partnership)
(Προδικαστική παραπομπή - Δικαστική συνεργασία σε αστικές υποθέσεις - Κανονισμός (ΕΕ) 1215/2012 - Άρθρο 66 - Πεδίο εφαρμογής ratione temporis - Κανονισμός (ΕΚ) 44/2001 - Καθ’ ύλην πεδίο εφαρμογής - Αστικές και εμπορικές υποθέσεις - Άρθρο 1, παράγραφος 1 και παράγραφος 2, στοιχείο α' - Εξαιρούμενοι τομείς - Περιουσιακές σχέσεις των συζύγων - Άρθρο 54 - Αίτηση για έκδοση βεβαιώσεως περί εκτελεστότητας της αποφάσεως που εξέδωσε το δικαστήριο προελεύσεως - Δικαστική απόφαση για απαίτηση απορρέουσα από τη λύση των περιουσιακών σχέσεων που προκύπτουν από μη καταχωρισμένη σχέση συμβιώσεως)

74 The case-law cited in paragraph 70 of the present judgment in essence makes the ascription of the transport to one or other acquisition in a chain of successive acquisitions dependent on a temporal criterion, in that it focuses on the time at which the conditions relating to the intra-Community transport and to the transfer of the right to dispose of property as owner are respectively fulfilled.
74 Πράγματι, από τη νομολογία που υπομνήσθηκε στη σκέψη 70 της παρούσας αποφάσεως προκύπτει ότι ο καταλογισμός της μεταφοράς στη μία ή την άλλη απόκτηση της αλυσίδας διαδοχικών αποκτήσεων εξαρτάται ουσιαστικά από ένα χρονικό κριτήριο, καθόσον τονίζεται η χρονική στιγμή κατά την οποία πληρούνται, αντιστοίχως, οι προϋποθέσεις που αφορούν την ενδοκοινοτική μεταφορά και αυτές που αφορούν τη μεταβίβαση της εξουσίας να διαθέτει κάποιος, ως κύριος, το αγαθό.