cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: Η επαγγελματική ικανοποίηση των εκπαιδευτικών προσχολικής ηλικίας και πώς επηρεάζεται σε σχέση με τα χαρακτηριστικά προσωπικότητας τους
title: Preschool teachers' job satisfaction and how it is affected in relation to their personality characteristics
titleType: AlternativeTitle
Creators: name: Ασβεστά, Ζωή
Publisher: name: Πανεπιστήμιο Δυτικής Αττικής
Year: 2023
Subjects: Χαρακτηριστικά προσωπικότητας
Επαγγελματική ικανοποίηση
Προσχολική αγωγή
Πέντε παράγοντες προσωπικότητας
Παιδαγωγοί προσχολικής ηλικίας

description: Οι παιδαγωγοί κατέχουν σημαντικό ρόλο στην ολόπλευρη ανάπτυξη των παιδιών, ιδιαιτερα στην προσχολική ηλικία. Για αυτόν τον λόγο, σκοπός της έρευνας είναι η μελέτη της επαγγελματικής ικανοποίησης των εκπαιδευτικών προσχολικής ηλικίας και πώς επηρεάζεται από τα χαρακτηριστικά προσωπικότητας τους. Γνωρίζουμε πως τα χαρακτηριστικα προσωπικοτητας, κυρίως η εξωστρέφεια, η προσήνεια αλλα και ο νευρωτισμός έχουν ισχυρή σύνδεση με την επαγγελματική ικανοποίηση, ιδιαίτερα στα εκπαιδευτικά επαγγέλματα. Η μέθοδος που χρησιμοποιήθηκε για τη συλλογή δεδομένων, ήταν η ποσοτική έρευνα μέσω της δημοσίευσης ερωτηματολογίων στα μέσα κοινωνικής δικτύωσης προς συμπλήρωση από ενεργούς παιδαγωγούς προσχολικής αγωγής. Τα ερωτηματολόγια που χρησιμοποιηθηκαν ήταν το NEO Five Factor Inventory για τη διεύρυνση των χαρακτηριστικών προσωπικότητας και το Employee Satisfaction Inventory για την εξέταση της επαγγελματικής ικανοποίησης. Το δείγμα περιλαμβάνει 194 εκπαιδευτικούς προσχολικής ηλικίας. Τα αποτελέσματα της έρευνας έδειξαν πως η επαγγελματική ικανοποίηση δεν σχετίζεται με τα χαρακτηριστικά προσωπικότητας των παιδαγωγών. Ακόμα εξετάστηκαν και άλλες σχέσεις όπως η σχέση της επαγγελματικής ικανοποίησης με τον τόπο εργασίας, όπου τα αποτελέσματα δεν εδειξαν κάποια συσχέτιση. Διερευνήθηκε η σχέση της θέσης του εργαζομένου σε συνάρτηση με την επαγγελματική ικανοποίηση, ωστόσο δεν βρέθηκε κάποιο σημαντικό αποτέλεσμα από την ανάλυση. Η ηλικία και η επαγγελματική εμπειρία ήταν δύο μεταβλητές που εξετάστηκαν σε σχέση με την επαγγελματική ικανοποίηση, απο την ανάλυση δεν βρεθηκαν στατιστικά σημαντικά ευρήματα. Ένα άλλο ερώτημα που ερευνήθηκε ήταν εαν υπάρχει συσχέτιση ανάμεσα στο εργασιακό πλαίσιο και την επαγγελματική ικανοποίηση που βιώνουν. Ωστόσο δεν βρέθηκε κάποια σχέση μεταξύ των μεταβλητών. Τελευταία μεταβλητή που εξετάστηκε είναι η σχέση της επαγγελματικής ικανοποίησης με τον τύπος εργασίας (Μόνιμος/ Αναπληρωτής Εκπαιδευτικός), όμως δεν υπήρξαν στατιστικά σημαντικά αποτελέσματα. Στη σχέση χαρακτηριστικών προσωπικότητας και θέσης εργασίας, φανήκαν υψηλότερα ποσοστά Δεκτικότητας στην Εμπειρία σε παιδαγωγούς σε θέση προϊσταμένου/ διευθυντή σε σύγκριση με παιδαγωγούς που δεν κατέχουν τέτοια θέση
title: Διερεύνηση της δυνατότητας χρήσης FTIR φασματοσκοπίας σε οίνους με επιμόλυνση από Βρεττανομύκητα
title: Feasibility of using FTIR in wines spoiled by Brettanomyces
titleType: AlternativeTitle
Creators: name: Ζερβάκη, Γεωργία
Publisher: name: Πανεπιστήμιο Δυτικής Αττικής
Year: 2023
Subjects: Βρεττανομύκητας
FTIR
Οίνος
Φασματοσκοπία υπερύθρου

description: Ο Brettanomyces bruxellensis αποτελεί έναν κοινό μολυσματικό παράγοντα στον οίνο και είναι γνωστός για την ικανότητα του να πολλαπλασιάζεται και να παραμένει στα κελάρια παραγωγής. Η παρουσία του δημιουργεί σημαντικές αλλαγές στο οργανοληπτικό προφίλ του οίνου. Ο μύκητας παράγει ένα ευρύ φάσμα μεταβολιτών, όπου τα σημαντικότερα είναι το οξικό οξύ και οι αιθυλφαινόλες με κύριες την 4-αιθυλφαινόλη και την 4-αιθυλγουαϊκόλη. Τα αρώματα του μύκητα περιγράφονται ως ιδρώτας αλόγου, φαρμακευτικά, μυρωδιά αχυρώνα και ζωικό δέρμα. Οι τρέχουσες μέθοδοι που διατίθενται για την μέτρηση της παρουσίας του μύκητα είναι χρονοβόρες και δαπανηρές. Η φασματοσκοπία μετασχηματισμού Fourier αποτελεί μια γρήγορη και με μεγάλη ακρίβεια μέθοδο η οποία εφαρμόζεται ολοένα και περισσότερο. Η παρούσα μελέτη διερεύνησε την ταυτοποίηση αυξανόμενων συγκεντρώσεων του μύκητα σε ερυθρό οίνο και την κινητική του στην πάροδο του χρόνου. Τα αποτελέσματα δείχνουν διαφοροποιήσεις στα φάσματα τόσο μεταξύ των διαφορετικών συγκεντρώσεων μύκητα, που εμβολιάστηκαν, όσο και μεταξύ των διαφορετικών ημερών. Έτσι φαίνεται καθιστάτε εφικτή η αξιοποίηση της τεχνικής αυτής στην ταυτοποίηση του Brettanomyces bruxellensis σε ερυθρό οίνο.
A systematic review of self caught mind wandering
Creators: name: Chu, Maria
name: Marks, Elizabeth
name: Chadwick, Paul
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Social and Behavioral Sciences
subject: Psychology
subject: FOS: Psychology

description: Objectives 1. To systematically search and review empirical studies that have investigated unprompted, self caught online mind wandering 2. To examine the operationalisation of mind wandering in these empirical studies 3. To examine methodological differences between measures 4. To examine quality of administration of measures 5. To discuss research and clinical implications
title: Το εργασιακό άγχος ως συνέπεια της ανάγκης επίτευξης στόχων που θέτει ο οργανισμός, μελέτη περίπτωσης : Ελληνικά Τελωνεία
title: Work stress as a consequence of the need to achieve goals set by the organization, case study Greek Customs
titleType: AlternativeTitle
Creators: name: Μπαζάκου, Ζαχαρούλα
Publisher: name: Πανεπιστήμιο Δυτικής Αττικής
Year: 2023
Subjects: Εργασιακό άγχος
Επαγγελματική εξουθένωση
Ψυχική υγεία
Τελωνείο
Στόχοι οργανισμού
Εργαζόμενοι
Ελληνικά τελωνεία

description: Η Ελληνική Τελωνειακή Υπηρεσία σήμερα ως ένα πολυσύνθετο σύστημα παροχής υπηρεσιών, συμπλέοντας με τις επιταγές της Ευρωπαϊκής Ένωσης, φιλοδοξεί να πραγματώσει ολοένα υψηλότερους στόχους και να εναρμονισθεί στα νέα δεδομένα του διεθνούς ανταγωνιστικού περιβάλλοντος, με αποτέλεσμα την απαίτηση της μεγιστοποίησης της απόδοσης των εργαζομένων, την αντιστοίχιση της αμοιβής με την αξιολόγηση και την προσαρμογή της στις νέες θεσμικές αλλαγές της Α.Α.Δ.Ε. Ως αποτέλεσμα αυτών των εξελίξεων, αναδύθηκαν ή μεγιστοποιήθηκαν ένα πλήθος αρνητικών συναισθημάτων, με κυριότερο όλων το εργασιακό άγχος. Η παρούσα μελέτη επιχειρεί να προσεγγίσει εννοιολογικά τον μείζονα κίνδυνο παγκοσμίως της έννοιας του άγχους και δη να αναδείξει, μέσω ενδελεχούς βιβλιογραφικής ανασκόπησης, το εργασιακό άγχος ως συνέπεια της σύνδεσης στη σχέση αλληλεπίδρασης (Τελωνειακή Υπηρεσία-στόχοι-εργαζόμενοι), τους κυριότερους παράγοντες πρόκλησης αυτού, αλλά και τις συνέπειες του τόσο σε ατομικό επίπεδο των τελωνειακών υπαλλήλων όσο και στην ίδια την Τελωνειακή Υπηρεσία.
Digital interventions to enhance readiness for psychological treatment: A scoping review
Creators: name: Jardine, Jacinta
name: Doherty, Gavin
name: Bowman, Rob
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Physical Sciences and Mathematics
subject: Psychiatry and Psychology
subject: Medicine and Health Sciences
subject: Graphics and Human Computer Interfaces
subject: Computer Sciences
subject: Social and Behavioral Sciences
subject: Psychology
subject: FOS: Psychology
subject: digital intervention
subject: mental health
subject: motivation
subject: psychological treatment
subject: readiness for change
subject: scoping review

description: Background: The effectiveness of psychological treatment depends on the user’s level of engagement with the treatment’s therapeutic content. Readiness and motivation to engage in treatment effect the user’s engagement; increasing readiness before the user reaches treatment can therefore increase the likelihood of positive treatment outcomes. Digitally delivered preparatory interventions have the potential to reach large populations and increase the effectiveness of a range of psychological therapies. Aim: To define the emerging field of digital interventions to enhance readiness for psychological treatment (including readiness for digital psychological treatment specifically) and identify gaps in the research literature. Research Questions: 1. What types of digital interventions have been used to prepare clients for psychological treatment? 2. What components have been used in these interventions and which of these show evidence of effectiveness? 3. What design processes have been used to develop these interventions? 4. Is the digital delivery of preparatory interventions to enhance readiness for psychological treatment feasible?
Playing the Hungarian Card: An Assessment of Radical Right Impact on Slovak and Hungarian Party Systems and Post-Communist Democratic Stability
Creators: name: Williams, Christina Devin
Publisher: name: University of North Carolina at Chapel Hill
Year: 2013

description: Through comparative case studies of Slovakia and Hungary, I explore the competitive relationship between governing parties and radical right parties in post European Union accession parliaments. This research highlights the roles of ethno-nationalism and populism and employs Slovakia's ethnic Hungarian minority, as manifested through the 2009 Slovak language law and the 2010 Hungarian citizenship law, as a focal point of competition between party groups. I argue that this competition reveals a more influential role than typically attributed to radical right parties. The first half of the article tests these cases against Meguid's (2008) position, salience, and ownership theory of competition between unequals. The second half of the article analyzes this competition and points to electoral strategies, coalition and opposition policy payoffs, governing party reputations, and each country's legal landscape as areas affected by the radical right's presence.
Die Zusammenarbeit von privaten Sicherheitsunternehmen, Polizei und Ordnungsbehörden im Rahmen einer neuen Sicherheitsarchitektur der Bundesrepublik Deutschland.
Beobachtungen und Analysen im Zusammenhang mit der FIFA WM 2006
Creators: name: Bach, Stefanie
Publisher: name: Universität Tübingen
Year: 2008
Subjects: subject: Deutschland , Bewachungsgewerbe , Befugnis , Kooperation , Polizei
subject: 360

description: Polizei und Justiz sind in Deutschland schon lange nicht mehr die einzigen Garanten „Innerer Sicherheit“. Vielmehr nehmen der Einfluss und das Ansehen privater Sicherheitsunternehmen zu. In der vorliegenden Arbeit wird die Bedeutung privater Sicherheitsunternehmen für die Sicherheitsarchitektur in Deutschland untersucht. Folgende Themenkomplexe bilden den Kern dieser empirischen Studie: „Tätigkeitsbereiche, rechtliche Befugnisse und Arbeitsbedingungen privater Sicherheitskräfte“, „Private Sicherheitsdienste im gesellschaftspolitischen Kontext“ und „Gewährleistung der inneren Sicherheit während der FIFA WM 2006TM durch staatliche und private Sicherheitskräfte“. Die Erfahrungen während der FIFA WM 2006TM könnten die Grundlage für eine engere Zusammenarbeit zwischen der Polizei und den privaten Sicherheitsdienstleistern bilden. Ob dieser Schritt gelingt und die FIFA WM 2006TM auf diese Weise bleibende Spuren hinterlässt, bleibt abzuwarten.
Specifying a Realistic File System
Creators: name: Amani, Sidney
name: Murray, Toby
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Operating Systems (cs.OS)
subject: FOS: Computer and information sciences

description: We present the most interesting elements of the correctness specification of BilbyFs, a performant Linux flash file system. The BilbyFs specification supports asynchronous writes, a feature that has been overlooked by several file system verification projects, and has been used to verify the correctness of BilbyFs's fsync() C implementation. It makes use of nondeterminism to be concise and is shallowly-embedded in higher-order logic.
description: In Proceedings MARS 2015, arXiv:1511.02528
«Qualitätskritik und Textkritik» – über Vorbedingungen historischer Analyse
Creators: name: Lippke, Florian
Publisher: name: Universität Tübingen
Year: 2017
Subjects: subject: Bildwissenschaft , Ikonographie , Ikonologie , Bildprogramm , Methode , Textkritik , Bibelwissenschaft , Altertumswissenschaft , Vollständigkeit , Interpretation , Medien
subject: 700

description: Der Beitrag diskutiert im Bereich der Bildinterpretation mögliche analoge Methodenszenarien zur Textkritik. Qualitätskritik als Vollständigkeitskontrolle und Basis weiterer Hypothesen wird als grundlegende Vorarbeit im Analyseprozess vorgestellt und methodisch zwischen Text- und Bildwissenschaft verankert.
title: Ταξινόμηση εικόνων με μεθόδους μηχανικής μάθησης
title: Image classification via machine learning methods
titleType: AlternativeTitle
Creators: name: Μπράχος, Κωνσταντίνος
Publisher: name: Πανεπιστήμιο Δυτικής Αττικής
Year: 2023
Subjects: Τεχνητή νοημοσύνη
Βαθιά μάθηση
Συνελικτικά νευρωνικά δίκτυα
Μηχανική όραση
Ταξινόμηση εικόνων
Αναγνώριση αντικειμένων

description: Στην παρούσα εργασία θα μελετηθούν αλγόριθμοι μηχανικής μάθησης για ταξινόμηση εικόνων, με απώτερο στόχο τη δημιουργία ολοκληρωμένης εφαρμογής για την επεξεργασία εικόνων και την κατηγοριοποίησή τους. Συγκεκριμένα, ο χρήστης της εφαρμογής θα εισάγει μία εικόνα και η εφαρμογή θα παράγει αυτόματα μία ετικέτα, περιγραφική της εικόνας.
title: Ανάπτυξη μορφολογικού ηλεκτρονικού λεξικού της Νέας Ελληνικής γλώσσας για εφαρμογές επεξεργασίας φυσικής γλώσσας
title: Development of a morphological lexicon of the Modern Greek language for natural language processing applications
titleType: AlternativeTitle
Creators: name: Χαρδαλούπας, Ιάκωβος
Publisher: name: Πανεπιστήμιο Δυτικής Αττικής
Year: 2023
Subjects: Επεξεργασία φυσικής γλώσσας
Python (Γλώσσα προγραμματισμού)
Μορφολογική επεξεργασία
Μορφολογικό ηλεκτρονικό λεξικό
Νέα ελληνική γλώσσα
Μηχανική μάθηση

description: Η εμφάνιση των ψηφιακών επιστημών και η ευρεία χρήση των υπολογιστών επηρέασε σημαντικά τη μελέτη της γλώσσας, σε τέτοιο σημείο ώστε σήμερα να θεωρείται αδύνατη η γλωσσική επεξεργασία χωρίς την υποστήριξη των ηλ. υπολογιστών. Ο στόχος της Επεξεργασίας Φυσικής Γλώσσας άλλωστε είναι να γεφυρώσει το χάσμα μεταξύ της ανθρώπινης γλώσσας και των ηλ. Υπολογιστών, κι έτσι η μορφολογική επεξεργασία έχει προσφέρει σημαντική βοήθεια και διευκόλυνση για τη γλωσσική κατανόηση και παραγωγή των λέξεων. Εφαρμογή της μορφολογικής επεξεργασίας αποτελεί η ανάπτυξη ενός μορφολογικού ηλεκτρονικού λεξικού για τη Νέα Ελληνική γλώσσα. Ένα τέτοιο λεξικό περιλαμβάνει πληροφορίες σχετικά με τη μορφολογία των λέξεων, όπως τα ρήματα, τα ουσιαστικά, τα επίθετα και τα επιρρήματα, και μπορεί να χρησιμοποιηθεί για την ανάλυση και την κατανόηση του κειμένου. Η ανάπτυξη ενός τέτοιου λεξικού απαιτεί τη συλλογή μεγάλου όγκου δεδομένων και την ανάλυσή τους για την αναγνώριση των διαφόρων μορφών και συντακτικών χαρακτηριστικών των λέξεων. Ενώ επίσης απαιτεί τη χρήση αυτόματων μεθόδων μάθησης μηχανής, όπως τους αλγόριθμους μηχανικής μάθησης. Στην παρούσα εργασία θα μελετηθεί μια ήδη υπάρχουσα βάση δεδομένων της Νέας Ελληνικής γλώσσας και θα επιχειρηθεί να βελτιωθεί η δομή με την υλοποίησή της σε υπολογιστικά φύλλα, σκοπεύοντας να γίνει εύχρηστη και εύκολα διαχειρίσιμη.
Impunity:In the Search of a Socio-Legal Concept. Elucidations from a State Crime Case Study
Creators: name: Umana, Camilo
Publisher: name: Université d'Ottawa / University of Ottawa
Year: 2017
Subjects: Colombia
State crime
Criminal justice
Impunity
Crime
Case study

description: In the contemporary world, the fight against impunity has become a fundamental political claim, a social goal and a main concern for human rights movements. However, it is unclear how we can delimit this fight, what are its aims and, ultimately, the remedies it proposes to overcome impunity. The academic studies and human rights mechanisms referring to this issue are not sufficiently clarifying. They often lack clear theoretical distinctions and stable empirical observations. Moreover, in social discourses impunity is employed with extremely vague connotations. This research addresses this lacuna, offering a conceptualization and characterization of impunity from a socio-legal perspective. With this purpose in mind, this work develops an analysis of impunity through the study of a particular kind of criminality. The study of state crime provides a prolific perspective for the analysis of the phenomenon of impunity, allowing to visualize the constitution of different blockages against the autonomous operation of the criminal justice. Particularly, this research studies an event of enforced disappearance initiated at the siege of the Colombian Palace of Justice in 1985, through a reconstruction focused on the perspective of the victims using a combination of qualitative methods. This field work, alongside different explorations of the sociological, human rights and criminological state of art of impunity, provides a sociological reflection on the concept of impunity. In the end, taking into account the problematization of the concept and its uses in social discourses, this work proposes a conceptualization apt for overcoming the vagueness of the definition of impunity as well as allowing a delimitation of the fight against it, leaving space for possible innovations on the penal rationality and possibly reinforcing a human rights agenda, concerned with the escalation of repression through punishment and committed with the restoration of social links and the victims’ rights.
Support for Group-Based Inequality Among Members of Low-Status Groups as an Ingroup Status-Enhancement Strategy
Creators: name: Carvalho, Catarina
name: Pinto, Isabel
name: Lopes, Rui
name: Páez, Darío
name: Marques, José
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Social and Behavioral Sciences

description: This registration contains supplementary materials from a research study and data.
title: Η παθολογική χρήση του διαδικτύου από τους εφήβους : Μία ψυχοκοινωνική προσέγγιση του φαινομένου
title: The pathological use of the internet by adolescents: A psycho-social approach to the phenomenon
titleType: AlternativeTitle
Creators: name: Σταυροπούλου, Ευαγγελία
Publisher: name: Πανεπιστήμιο Δυτικής Αττικής
Year: 2023
Subjects: Παθολογική χρήση διαδικτύου
Έφηβοι
Παράγοντες επικινδυνότητας
Θεραπευτική παρέμβαση
Κοινωνικός λειτουργός
Εθισμός στο διαδίκτυο
Χρήση διαδικτύου

description: Η παρούσα πτυχιακή εργασία, μέσω επισκόπησης της βιβλιογραφίας, πραγματεύεται την παθολογική χρήση του Διαδικτύου κυρίως από τους εφήβους, προσεγγίζοντας το φαινόμενο πολυδιάστατα, σε μία προσπάθεια από-παθολογικοποίησης των εφήβων. Στη σύγχρονη ψηφιακή εποχή ολοένα και περισσότεροι άνθρωποι επιλέγουν την καθημερινή και πολύωρη χρήση του Διαδικτύου, μια ενασχόληση που μπορεί να οδηγήσει σε φαινόμενα εθιστικής συμπεριφοράς, ιδίως σε νέους εφηβικής ηλικίας, με σοβαρές επιπτώσεις στη σωματική, ψυχική και κοινωνική τους υγεία. Πρόκειται για ένα νέο ψυχοκοινωνικό φαινόμενο με σοβαρή παραμέληση ψυχοκοινωνικών και ζωτικών αναγκών, η παθολογία του οποίου αξιολογείται βάσει ποσοτικών και ποιοτικών κριτηρίων. Οι διαδικτυακές δραστηριότητες που μπορούν να λάβουν χαρακτηριστικά εθισμού είναι πολυάριθμες, αναδεικνύοντας τις πολλαπλές εκφάνσεις που μπορεί να λάβει το φαινόμενο. Παρόλο που η εξάπλωση της παθολογικής χρήσης του Διαδικτύου ακολουθεί αυξητικές τάσεις διεθνώς, η επιστημονική κοινότητα δεν έχει καταλήξει ακόμα σε ευρέως αποδεκτά διαγνωστικά κριτήρια, ψυχομετρικά εργαλεία και ορισμό, ούτε συμπεριλαμβάνεται στα Διεθνή Διαγνωστικά Εγχειρίδια ως ψυχική διαταραχή. Ωστόσο, συγκλίνει στην πολυπαραγοντικότητα του φαινομένου, με συνδυασμό ατομικών, αναπτυξιακών, κοινωνικών, οικογενειακών, ιατρικών και δομικών παραμέτρων, που λειτουργούν ως σημαντικοί παράγοντες επικινδυνότητας για την πυροδότηση και επιδείνωση της παθολογικής χρήσης του Διαδικτύου από τους εφήβους. Οι παραπάνω δυσκολίες, σύμφωνα με την βιβλιογραφία, χρήζουν επιστημονικής αντιμετώπισης, με πολυάριθμους τρόπους παρέμβασης. Η πρόληψη, μέσω της συμβολής των γονέων, του σχολείου και της κοινότητας, είναι καίριας σημασίας, ενώ εξειδικευμένα προγράμματα συμβουλευτικής και θεραπευτικής αντιμετώπισης παρέχονται στις περιπτώσεις εκείνες όπου η χρήση έχει λάβει παθολογικές διαστάσεις. Ο ρόλος που διαδραματίζει ο Κοινωνικός Λειτουργός σε όλο το φάσμα της παρέμβασης είναι εξέχων.
The initial-state dependence of quantum speed limit
Creators: name: Wu, Shao-xiong
name: Zhang, Yang
name: Yu, Chang-shui
name: Song, He-shan
Publisher: name: arXiv
Year: 2015
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The generic bound of quantum speed limit time (the minimal evolution time) for a qubit system interacting with structural environment is investigated. We define a new bound for the quantum speed limit. It is shown that the non-Markovianity and the population of the excited state can fail to signal the quantum evolution acceleration, but the initial-state dependence is an important factor. In particular, we find that different quantum speed limits could produce contradictory predictions on the quantum evolution acceleration.
description: 6 pages 4 figures
Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System
Creators: name: Andronick, June
name: Lewis, Corey
name: Morgan, Carroll
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Operating Systems (cs.OS)
subject: FOS: Computer and information sciences

description: We introduce a controlled concurrency framework, derived from the Owicki-Gries method, for describing a hardware interface in detail sufficient to support the modelling and verification of small, embedded operating systems (OS's) whose run-time responsiveness is paramount. Such real-time systems run with interrupts mostly enabled, including during scheduling. That differs from many other successfully modelled and verified OS's that typically reduce the complexity of concurrency by running on uniprocessor platforms and by switching interrupts off as much as possible. Our framework builds on the traditional Owicki-Gries method, for its fine-grained concurrency is needed for high-performance system code. We adapt it to support explicit concurrency control, by providing a simple, faithful representation of the hardware interface that allows software to control the degree of interleaving between user code, OS code, interrupt handlers and a scheduler that controls context switching. We then apply this framework to model the interleaving behavior of the eChronos OS, a preemptible real-time OS for embedded micro-controllers. We discuss the accuracy and usability of our approach when instantiated to model the eChronos OS. Both our framework and the eChronos model are formalised in the Isabelle/HOL theorem prover, taking advantage of the high level of automation in modern reasoning tools.
description: In Proceedings MARS 2015, arXiv:1511.02528
title: Εξοικονόμηση πόρων (υλικών, ενέργειας και νερού) από την επαναχρησιμοποίηση υλικών (Αξιοποίηση Λογισμικού Ανάλυσης Κύκλου Ζωής)
title: Saving resources (materials, energy and water) by reusing materials (Leveraging Life Cycle Analysis Software)
titleType: AlternativeTitle
Creators: name: Ζαρούλα, Μιχαηλία
Publisher: name: Πανεπιστήμιο Δυτικής Αττικής
Year: 2023
Subjects: Θερμικά φωτοβολταϊκά
Ανάκτηση πόρων
Περιβαλλοντική συμπεριφορά
Ανάλυση κύκλου ζωής (LCA)
Επαναχρησιμοποίηση
Ανακύκλωση
Κυκλική οικονομία
Φωτοβολταϊκά συστήματα

description: Τα θερμικά/φωτοβολταϊκά συστήματα προσφέρονται ως μια βιώσιμη εναλλακτική λύση για τη μείωση των ρύπων που προέρχονται από την ηλεκτροπαραγωγή, μιας και θεωρούνται από τις πιο βασικές ανανεώσιμες πηγές ενέργειας της εποχής μας. Εν τούτοις, νέες μελέτες παρουσιάζουν περιβαλλoντικούς κινδύνoυς τόσo για τον αυξανόμενo όγκo τoυς, όσo και για την σύστασή τoυς. H λειτoυργία τoυς χαρακτηρίζεται, ως επί τo πλείστoν, φιλική πρoς τo περιβάλλoν καθώς δεν παράγoνται τoξικά αέρια ή αέρια θερμoκηπίoυ. Ωστόσo, έχoυν συνήθως μικρό προσδόκιμo ζωής, ενώ μετά τo τέλoς τoυ κύκλoυ ζωής τoυς τίθεται τo ζήτημα της oρθής διαχείρισης για τo περιβάλλoν. Με τoν περιoρισμό της αλόγιστης διάθεσής τoυς μετριάζονται οι περιβαλλοντικές επιπτώσεις όπως και η πιθανή απώλεια πόρων, λόγω της μη ανάκτησης των διάφoρων πoλύτιμων υλικών και σπάνιων μετάλλων πoυ περιέχoνται σε αυτά. Στην παρούσα εργασία μελετήθηκαν τρεις κατηγορίες θερμικών/ φωτοβολταϊκών ως προς την περιβαλλοντική τους συμπεριφορά, και την ανάλυση του κύκλου ζωής τους, με τη βοήθεια των λογισμικών Sima Pro και CES Edupack αντίστοιχα. Παρατίθενται και σχoλιάζονται τα απoτελέσματα της συγκριτικής μελέτης, παρουσιάζοντας περαιτέρω ευκαιρίες και προκλήσεις σχετικά με τις διαδικασίες ανακύκλωσης, επαναχρησιμοποίησης και ανάκτησης υλικών.
Chiral Fermion and Boundary State Formulation: Resonant Point-Contact Tunneling
Creators: name: Lee, Taejin
Publisher: name: arXiv
Year: 2015
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We study a model of resonant point-contact tunneling of a single Luttinger-liquid lead, using the boundary state formulation. The model is described by a single chiral Fermion in one dimensional space with one point contact interaction at the origin. It is the simplest model of this type. By folding the infinite line we map the model onto a non-chiral model on the half infinite line and transcribe the point-contact tunneling interaction into a boundary interaction. The tunneling interaction yields a non-local effective action at the boundary. We explicitly construct the boundary state and evaluate the current correlation functions. The contact interaction is shown to act on the lower frequency modes more strongly.
description: 16 pages, 1 figure
title: Ο ρόλος του ηγέτη και η σχέση του με τα μέλη της ομάδας – Ο βαθμός επίδρασης της ηγεσίας στο επιχειρησιακό περιβάλλον
title: The role of leader and its relationship with the team members – The degree of leadership influence on the business environment
titleType: AlternativeTitle
Creators: name: Τσακμάκης, Νεκτάριος
Publisher: name: Πανεπιστήμιο Δυτικής Αττικής
Year: 2023
Subjects: Ηγέτης
Μέλη ομάδας
Συμμετοχική ηγεσία
Καινοτομία
Δεξιότητες
Πρότυπα ηγετικής συμπεριφοράς
Υποκατάστατα ηγεσίας

description: Μέσα από τη συγκεκριμένη διπλωματική εργασία προχωράμε μεθοδικά στην ανάλυση του προφίλ του ηγέτη και στη σχέση του με τους ακολούθους του μέσα στον χρόνο φτάνοντας στο επιχειρηματικό περιβάλλον του σήμερα και θέτοντας τις βάσεις για να σκιαγραφήσουμε τον ιδανικό ηγέτη του μέλλοντος. Η παρούσα εργασία χωρίζεται ουσιαστικά σε 3 θεματικές ενότητες: η πρώτη αφορά τον ηγέτη και τα μέλη της ομάδας της οποίας ο ίδιος ηγείται, η δεύτερη αφορά κυρίως την προσωπικότητα του ηγέτη και τις επιστημονικές θεωρίες περί ηγεσίας ενώ η τρίτη ενότητα αναφέρει τον ηγέτη του σήμερα προβάλλοντας παράλληλα με προτάσεις τον ηγέτη του αύριο. Στο πρώτο μέρος έχουμε την παρουσίαση και κατανόηση του ρόλου ενός ηγέτη ενώ παράλληλα εξετάζουμε τη λειτουργία των μελών της ομάδας του και πως ορίζεται η μεταξύ τους σχέση καταλήγοντας σε συγκεκριμένα ερωτήματα προς διερεύνηση. Η δεύτερη ενότητα αφορά τα χαρακτηριστικά της προσωπικότητας ενός ηγέτη με τις διάφορες παραλλαγές του μαζί με τα πρότυπα και τα αντίστοιχα υποκατάστατα ηγετικής συμπεριφοράς. Μέσα από συγκεκριμένες επιστημονικές θεωρίες που φτάνουν ως τις ημέρες μας και ξεδιπλώνουν σταδιακά το κομμάτι της ηγεσίας και μέσα από παραδείγματα ηγετών από την ιστορία που με τη δράση τους επηρέασαν τις επόμενες γενιές ανακαλύπτουμε με σχετική ασφάλεια τον σπουδαίο αυτό ρόλο. Στο τρίτο μέρος διαχωρίζοντας αρχικά τον ρόλο ενός ηγέτη με τον ρόλο ενός μάνατζερ παρουσιάζουμε την εικόνα μίας εταιρείας στο επιχειρηματικό περιβάλλον του σήμερα μέσα από έρευνες που έχουν πραγματοποιηθεί αναλύοντας παράλληλα τη σημασία που έχουν έννοιες όπως ώθηση-έλξη και συμμετοχική ηγεσία. Πάλι με την βοήθεια της έρευνας σκιαγραφούμε τα χαρακτηριστικά του ιδανικού μελλοντικού ηγέτη και αναφέρουμε τις απαραίτητες δεξιότητες και νοοτροπίες που θα πρέπει να κατέχει για να διασφαλίσει την επιτυχία. Σαν επίλογο αναφέρουμε το πόσο σημαντικός είναι ο ρόλος ενός ηγέτη σήμερα κόντρα στις ολοένα αυξανόμενες προκλήσεις του επιχειρηματικού περιβάλλοντος σε έναν κόσμο που συνεχώς αλλάζει και επιχειρούμε να στηρίξουμε τον ηγέτη του μέλλοντος που θα έχει ωφεληθεί από την καλή γνώση του παρελθόντος και θα είναι πάντα ανοικτός στην καινοτομία-αλλαγή.
How do Subjective Social Status and Objective Neighborhood Resources Relate to Adolescent Depression?
Creators: name: Mirhashem, Rebecca
name: Thorpe, Daneele
name: Ahuvia, Isaac
name: Fox, Kathryn
name: Schleider, Jessica
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Social and Behavioral Sciences
subject: Psychology
subject: FOS: Psychology

description: A study to assess how youth-reported subjective social status correlate with objective neighborhood opportunity. We aim to measure the unique and shared variance that this subjective and objective information contribute to youth-reported depressive symptoms.
On the Control of Self-Balancing Unicycles
Creators: name: Freiberger, Felix
name: Hermanns, Holger
Publisher: name: arXiv
Year: 2015
Subjects: subject: Systems and Control (eess.SY)
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: This paper discusses the problem of designing a self-balancing unicycle where pedals are used for both power generation and speed control. After developing the principal physical aspects (in the longitudinal dimension), we describe an abstract model in the form of a collection of hybrid automata, together with design requirements to be met by an ideal controller. We discuss simplifications and assumptions that make this model amenable to verification and validation tools such as SpaceEx. To enable experimentation with different prototypical controllers and user behaviours in concrete scenarios, we also develop a simple simulation framework using digital time.
description: In Proceedings MARS 2015, arXiv:1511.02528
Comment le Quatrième Vivant (re)devient-il un ange ? Plasticité symbolique de l’anthropomorphisme sur les mosaïques de Ravenne
Creators: name: Lauritzen, Delphine
Publisher: name: La Rivista di Engramma
Year: 2022
Subjects: Man Living Creature
Angel
mosaic
Ravenna
Matthew the Evangelist
symbolic transfer

description: This essay focuses on an iconographic corpus of the churches of Ravenna and their mosaics dating Vth-VIth c. CE as well as on a contemporary text, The Celestial Hierarchy by Pseudo-Dionysius the Areopagite. It studies how the Man-Living Creature found in Ezekiel’s vision and in the Apocalypse used as the symbol of Matthew the Evangelist comes (back) to be an angel. Representation transforms according to the anthropomorphic angle which is key to Christian art.
Coherent manipulation of Andreev states in superconducting atomic contacts
Creators: name: Janvier, C.
name: Tosi, L.
name: Bretheau, L.
name: Girit, Ç. Ö.
name: Stern, M.
name: Bertet, P.
name: Joyez, P.
name: Vion, D.
name: Esteve, D.
name: Goffman, M. F.
name: Pothier, H.
name: Urbina, C.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: Coherent control of quantum states has been demonstrated in a variety of superconducting devices. In all these devices, the variables that are manipulated are collective electromagnetic degrees of freedom: charge, superconducting phase, or flux. Here, we demonstrate the coherent manipulation of a quantum system based on Andreev bound states, which are microscopic quasiparticle states inherent to superconducting weak links. Using a circuit quantum electrodynamics setup we perform single-shot readout of this "Andreev qubit". We determine its excited state lifetime and coherence time to be in the microsecond range. Quantum jumps and parity switchings are observed in continuous measurements. In addition to possible quantum information applications, such Andreev qubits are a testbed for the physics of single elementary excitations in superconductors.
description: Supplementary Materials at the end of the file
Infant and toddler oral health: a survey of attitudes and practice behaviors of North Carolina dental hygienists
Creators: name: Ruiz, Viviana R.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2012

description: The purpose of this study was to evaluate the knowledge, comfort, practice behaviors, and stage of readiness and barriers of dental hygienists (DH) in North Carolina (NC) with respect to providing oral health care to infants/toddlers. A questionnaire was mailed to 2000 licensed DH practicing in NC randomly selected from the NC State Board of Dental Examiners database. The majority of respondents (99%) were female and working in private practice (94%). A high rate of DH are currently not providing care to infants/toddlers (59%), although two thirds of the respondents were contemplating the care for infants/toddlers. Significant barriers included lack of continuing education, unfamiliarity with the American Academy of Pediatric Dentistry guidelines, and current practice situation. DH highly value preventive care for infants/toddlers, however, strategies to increase comfort and diminish practice constraints should be considered to improve DH's stage of readiness to care for this population.
Timed Automata for Modelling Caches and Pipelines
Creators: name: Cassez, Franck
name: Marugán, Pablo González de Aledo
Publisher: name: arXiv
Year: 2015
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: In this paper, we focus on modelling the timing aspects of binary programs running on architectures featuring caches and pipelines. The objective is to obtain a timed automaton model to compute tight bounds for the worst-case execution time (WCET) of the programs using model-checking techniques.
description: In Proceedings MARS 2015, arXiv:1511.02528
A Regular Representation of Quantum Circuits
Creators: name: Paler, Alexandru
name: Polian, Ilia
name: Nemoto, Kae
name: Devitt, Simon J.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We present a quantum circuit representation consisting entirely of qubit initialisations (I), a network of controlled-NOT gates (C) and measurements with respect to different bases (M). The ICM representation is useful for optimisation of quantum circuits that include teleportation, which is required for fault-tolerant, error corrected quantum computation. The non-deterministic nature of teleportation necessitates the conditional introduction of corrective quantum gates and additional ancillae during circuit execution. Therefore, the standard optimisation objectives, gate count and number of wires, are not well-defined for general teleportation-based circuits. The transformation of a circuit into the ICM representation provides a canonical form for an exact fault-tolerant, error corrected circuit needed for optimisation prior to the final implementation in a realistic hardware model.
description: Shorter Computer Science focused version of arXiv:1509.02004
Modeling and Verification of the Bitcoin Protocol
Creators: name: Chaudhary, Kaylash
name: Fehnker, Ansgar
name: van de Pol, Jaco
name: Stoelinga, Marielle
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: Bitcoin is a popular digital currency for online payments, realized as a decentralized peer-to-peer electronic cash system. Bitcoin keeps a ledger of all transactions; the majority of the participants decides on the correct ledger. Since there is no trusted third party to guard against double spending, and inspired by its popularity, we would like to investigate the correctness of the Bitcoin protocol. Double spending is an important threat to electronic payment systems. Double spending would happen if one user could force a majority to believe that a ledger without his previous payment is the correct one. We are interested in the probability of success of such a double spending attack, which is linked to the computational power of the attacker. This paper examines the Bitcoin protocol and provides its formalization as an UPPAAL model. The model will be used to show how double spending can be done if the parties in the Bitcoin protocol behave maliciously, and with what probability double spending occurs.
description: In Proceedings MARS 2015, arXiv:1511.02528
Crystallization of fractional charges in a strongly interacting quasi-helical quantum dot
Creators: name: Cavaliere, F.
name: Gambetta, F. M.
name: Barbarino, S.
name: Sassetti, M.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: The ground-state electron density of a one-dimensional spin-orbit coupled quantum dot with a Zeeman term and strong electron interaction is studied at the fractional helical liquid points. We show that at fractional filling factors $ν=(2n+1)^{-1}$ (with $n$ a non-negative integer) the density oscillates with $N_{0}/ν$ peak. For $n\geq 1$ a number of peaks larger than the number of electrons $N_{0}$ suggests that a crystal of fractional quasi-particles with charge $νe$ (with $e$ the electron charge) occurs. The reported effect is amenable of verification via transport measurements in charged AFM-coupled dot.
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard
Creators: name: Serwe, Wendelin
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: This paper presents two formal models of the Data Encryption Standard (DES), a first using the international standard LOTOS, and a second using the more recent process calculus LNT. Both models encode the DES in the style of asynchronous circuits, i.e., the data-flow blocks of the DES algorithm are represented by processes communicating via rendezvous. To ensure correctness of the models, several techniques have been applied, including model checking, equivalence checking, and comparing the results produced by a prototype automatically generated from the formal model with those of existing implementations of the DES. The complete code of the models is provided as appendices and also available on the website of the CADP verification toolbox.
description: In Proceedings MARS 2015, arXiv:1511.02528
Landscape of kinetically trapped binary assemblies
Creators: name: Mannige, Ranjan V.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: For two-component assemblies, an inherent structure diagram (ISD) is the relationship between set inter-subunit energies and the types of kinetic traps (inherent structures) one may obtain from those energies. It has recently been shown that two-component ISDs are apportioned into regions or plateaux within which inherent structures display uniform features (e.g., stoichometries and morphologies). Interestingly, structures from one of the plateaux were also found to be robust outcomes of one type of non-equilibrium growth, which indicates the usefulness of the two-component ISD in predicting outcomes of some types of far-from-equilibrium growth. However, little is known as to how the ISD is apportioned into distinct plateaux. Also, while each plateau displays classes of structures that are morphologically distinct, little is known about the source of these distinct morphologies. This article outlines an analytic treatment of the two-component ISD, and shows that the manner in which any ISD is apportioned arises from a single unitless order parameter. Additionally, the analytical framework allows for the characterization of local properties of the trapped structures within each ISD plateau. This work may prove to be useful in the design of novel classes of robust nonequilibrium assemblies.
description: Upcoming in the Journal of Chemical Physics
title: Από την γραμμική πολυεπίπεδη δημόσια διοίκηση στο Νέο Δημόσιο Μάνατζμεντ: Μια διαχρονική προσέγγιση
title: From linear multi - level public administration to the New Public Management: A timeless approach
titleType: AlternativeTitle
Creators: name: Τόγια, Θεμιστοκλεία
Publisher: name: Πανεπιστήμιο Δυτικής Αττικής
Year: 2023
Subjects: Δημόσιοι υπάλληλοι
Νέο δημόσιο μάνατζμεντ
Διοικητικός εκσυγχρονισμός
Ελληνικό δημόσιο
Δημόσια διοίκηση
Διοικητική μεταρρύθμιση
Προβλήματα ελληνικού δημοσίου

description: Εν μέσω μιας ενισχυμένης οικονομικής κρίσης και των ελαττωμάτων στη δημόσια διοίκηση, ο δημόσιος τομέας αμφισβητείται πλέον συχνότερα. Η έλλειψη προόδου στην ελληνική οικονομία οδήγησε σε περισσότερη κριτική που απευθύνεται στους δημόσιους λειτουργούς και στην αναποτελεσματικότητά τους. Η διατριβή επικεντρώνεται στην εισαγωγή της έννοιας της Νέας Δημόσιας Διοίκησης και της προόδου που έχει σημειωθεί τα τελευταία χρόνια προς την ανάπτυξη της δημόσιας διοίκησης και την εξέλιξη της ώστε να επικεντρώνεται περισσότερο στην κοινότητα. Για να ξανασκεφτούμε τις λειτουργίες του δημόσιου τομέα, μια νέα φιλοσοφία διαχείρισης εμφανίστηκε στα τέλη της δεκαετίας του '80 και στις αρχές της δεκαετίας του '90 που ονομάζεται Νέα Δημόσια Διοίκηση. Στην Ελλάδα, η εφαρμογή του Νέου Δημόσιου Μάνατζμεντ ξεκίνησε στη δεκαετία του 1990, κατά τη διάρκεια του προγράμματος μεταρρυθμίσεων της δημόσιας διοίκησης. Ωστόσο, παρόλο που οι αρχές του Νέου Δημόσιου Μάνατζμεντ περιλαμβάνουν αξίες όπως η αποτελεσματικότητα, η αποδοτικότητα και η προσαρμοστικότητα, η εφαρμογή του συναντά προκλήσεις και αμφισβητήσεις. Οι κριτικές του Νέου Δημόσιου Μάνατζμεντ επικεντρώνονται σε πτυχές όπως η ανεπάρκεια των μέτρων αξιολόγησης απόδοσης, η γραφειοκρατία και η απώλεια επαφής με τον πολίτη. Προκειμένου να αντιμετωπιστούν αυτές οι προκλήσεις, προτείνονται μέτρα όπως η ενίσχυση της συμμετοχής του πολίτη, η ανάπτυξη μηχανισμών ανταμοιβής και κινήτρων για τους δημόσιους υπαλλήλους, και η ενίσχυση της διαφάνειας και της ευθύνης. Με λίγα λογια, η παρούσα διπλωματική εργασία αναλύει τα προβλήματα που αντιμετωπίζει η δημόσια διοίκηση και θα παρουσιαστούν και παρακάτω και προτείνει τρόπους και μέτρα για την αντιμετώπιση τους. Επίσης, εξετάζει τη δυνατότητα που προσφέρει το Νέο Δημόσιο Μάνατζμεντ στο να συμβάλει στην αναζωογόνηση του δημόσιου τομέα και στη βελτίωση της ελληνικής οικονομίας, λαμβάνοντας υπόψη τις προκλήσεις και τις κριτικές που έχει αντιμετωπίσει μέχρι σήμερα.
Gyretes hastatus
Creators: name: Colpani, Daniara
name: Benetti, Cesar João
name: Hamada, Neusa
Publisher: name: Zenodo
Year: 2014
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Gyrinidae
Gyretes
Gyretes hastatus

description: Gyretes hastatus (Fabricius, 1801)
Gyrinus hastatus Fabricius, 1801: 275 (orig. descr.); Schönherr 1808: 38 (nomenclature); Forsberg 1821: 301 (descr.)
Dineutes hastatus (Fabricius): Régimbart 1883a: 426 (n. comb.); 1884: 470; 1892: 740 (record) Severin 1889: 153 (catalog); Ahlwarth 1910: 6 (catalog)
Dineutus hastatus (Fabricius): Blackwelder 1944: 80 (n. comb., checklist)
Gyretes hastatus (Fabricius): Ochs 1927: 40 (n. comb.); 1958a: 189 (record); 1963b: 386, f. 6 (descr., illustr.)
DISTRIBUTION: Brazil (AM).
description: Published as part of Colpani, Daniara, Benetti, Cesar João & Hamada, Neusa, 2014, A Checklist of the Gyrinidae (Coleoptera: Adephaga) of Brazil, pp. 185-213 in Zootaxa 3889 (2) on page 197, DOI: 10.11646/zootaxa.3889.2.2, http://zenodo.org/record/230123
Improved frequency measurement of the $^1S_{0}$-$^3P_{0}$ clock transition in $^{87}$Sr using the Cs fountain clock at NMIJ as a transfer oscillator
Creators: name: Tanabe, Takehiko
name: Akamatsu, Daisuke
name: Kobayashi, Takumi
name: Takamizawa, Akifumi
name: Yanagimachi, Shinya
name: Ikegami, Takeshi
name: Suzuyama, Tomonari
name: Inaba, Hajime
name: Okubo, Sho
name: Yasuda, Masami
name: Hong, Feng-Lei
name: Onae, Atsushi
name: Hosaka, Kazumoto
Publisher: name: arXiv
Year: 2015
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: We performed an absolute frequency measurement of the $^1S_{0}$-$^3P_{0}$ transition in $^{87}$Sr with a fractional uncertainty of $1.2 \times 10^{-15}$, which is less than one third that of our previous measurement. A caesium fountain atomic clock was used as a transfer oscillator to reduce the uncertainty of the link between a strontium optical lattice clock and the SI second. The absolute value of the transition frequency is 429 228 004 229 873.56(49) Hz.
description: accepted for publication in Journal of the Physical Society of Japan, 7 pages, 2 figures
Towards the Automated Generation of Focused Proof Systems
Creators: name: Nigam, Vivek
name: Reis, Giselle
name: Lima, Leonardo
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: This paper tackles the problem of formulating and proving the completeness of focused-like proof systems in an automated fashion. Focusing is a discipline on proofs which structures them into phases in order to reduce proof search non-determinism. We demonstrate that it is possible to construct a complete focused proof system from a given un-focused proof system if it satisfies some conditions. Our key idea is to generalize the completeness proof based on permutation lemmas given by Miller and Saurin for the focused linear logic proof system. This is done by building a graph from the rule permutation relation of a proof system, called permutation graph. We then show that from the permutation graph of a given proof system, it is possible to construct a complete focused proof system, and additionally infer for which formulas contraction is admissible. An implementation for building the permutation graph of a system is provided. We apply our technique to generate the focused proof systems MALLF, LJF and LKF for linear, intuitionistic and classical logics, respectively.
description: In Proceedings WoF'15, arXiv:1511.02529
What influences the effects of school psychological services? A scoping review
Creators: name: Müller, Bettina
name: von Hagen, Alexa
name: Vannini, Natalie
name: Schaaf, Mirijam
name: Chen, Lingling
name: Sadusky, Andrea
name: Reupert, Andrea
name: Büttner, Gerhard
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: School Psychology
subject: Social and Behavioral Sciences
subject: Psychology
subject: FOS: Psychology

description: The present study aims to conduct a scoping review to identify empirical research on the effectiveness of school psychological services with a special focus on potential moderators of the effectiveness of school psychological services. More specifically, we seek to identify and summarise past research on characteristics of (1) school psychologists, (2) users of school psychological services, and (3) the interaction between school psychologists and users that might influence how effective school psychological services are. More specifically, we aim to address the following research questions: (1) What is the available evidence on the effectiveness of school psychological services (e.g., publication date, study design, etc.)? (2) What is the available evidence on characteristics of (1) school psychologists, (2) users and (3) the interaction between school psychologists and users as potential moderators of the effectiveness of school psychological services?