Quantitative Analysis for Authentication of Low-cost RFID Tags

Formal analysis techniques are widely used today in order to verify and analyze communication protocols. In this work, we launch a quantitative verification analysis for the low- cost Radio Frequency Identification (RFID) protocol proposed by Song and Mitchell. The analysis exploits a Discrete-Time Markov Chain (DTMC) using the well-known PRISM model checker. We have managed to represent up to 100 RFID tags communicating with a reader and quantify each RFID session according to the protocol's computation and transmission cost requirements. As a consequence, not only does the proposed analysis provide quantitative verification results, but also it constitutes a methodology for RFID designers who want to validate their products under specific cost requirements.Comment: To appear in the 36th IEEE Conference on Local Computer Networks (LCN 2011

The metaphysical “monistic” approach of the Platonic Timaeus by the Neo-Platonist Proclus

In this article, we focus on Proclus' commentary on Plato's Timaeus (30a3-6) about how the divine Demiurge intervenes in matter. It is an interesting extract due to the fact that Proclus manages to combine philosophical perspective with theological interpretation and scientific analysis. In the six chapters of the article, we present the theory on dualism established by the representatives of Middle Platonism, we approach the question of the production of the corporeal hypostases, we examine limit and unlimited as productive powers, we explain production in the sense of co-production as well as why matter without qualities is excluded from the entire procedure, and we discuss the principle of the supremacy of the supreme Principle. The most important conclusion drawn according to Proclus, who adopts moderate skepticism, is that, although in his early dialogues Plato tends to dualism, he does this for methodological purposes, for Plato's views are actually connected with ontological monism

Automated Greenhouse Watering and Heating System for the Schenectady ARC

Everyone wants to feel useful and to be able to contribute to their community. The Schenectady ARC aims to provide people with developmental disabilities the resources, services, and support that enable them to advocate and participate within their communities. The program seeks to encourage these people to develop skills and hobbies that give them independence and purpose. One way is operating the ARC\u27s greenhouse. Individuals at the Maple Ridge Center are responsible for operating the water system to irrigate the plant growing tables, daily, and ensuring that the proper amount of water is distributed to the plants. This is a rewarding activity and offers them the opportunity to develop useful skills in greenhouse management and maintenance. However, despite offering manual and automatic options, the current equipment of the greenhouse is not user-friendly and vulnerable if water leaks. The objective of our project is to communicate with the Schenectady ARC to develop an automatic controller for heating and water delivery that will be easy to use, safe, robust, affordable and easy to maintain. This project was started by Guo Qianyue CPE class of 2016, kept on by Stengel Kyle CPE class of 2018, continued by Lisa Gu CPE class of 2019, and followed by Larissa Umulinga CPE class of 2020. The system we created is a wireless sensor system that reads and transmits the moisture and temperature data wirelessly to control the watering and heating system at the ARC greenhouse. This paper describes the problem, goals, design specifications, testing plan, standards and ethics for this project

Myelin contrast across lamina at 7T, ex-vivo and in-vivo dataset

In this article we report the complete data obtained in-vivo for the paper: “Lines of Baillarger in vivo and ex-vivo: myelin contrast across lamina at 7T MRI and histology” (Fracasso et al., 2015) 1. Single participant data (4 participants) from the occipital lobe acquisition are reported for axial, coronal and sagittal slices; early visual area functional localization and laminar profiles are reported. Data from whole brain images are reported and described (5 participants), for axial, coronal and sagittal slices. Laminar profiles from occipital, parietal and frontal lobes are reported. The data reported in this manuscript complements the paper (Fracasso et al., 2015) 1 by providing the full set of results from the complete pool of participants, on a single-participant basis. Moreover, we provide histological images from the ex-vivo sample reported in Fracasso et al. (2015) 1

Οικονομικοί κύκλοι στον πυρήνα και στην περιφέρεια της ΕΕ-15: μία εμπειρική διερεύνηση

109 σ.Εθνικό Μετσόβιο Πολυτεχνείο--Μεταπτυχιακή Εργασία. Διεπιστημονικό-Διατμηματικό Πρόγραμμα Μεταπτυχιακών Σπουδών (Δ.Π.Μ.Σ.) “Μαθηματική Προτυποποίηση σε Σύγχρονες Τεχνολογίες στην Οικονομία”Στην παρούσα εργασία μελετάμε τους κύκλους των 15 χωρών της ΕΕ (Αυστρία, Βέλγιο, Δανία, Γαλλία, Γερμανία, Λουξεμβούργο, Σουηδία, Ολλανδία, Ελβετία, Ηνωμένο Βασίλειο, Ελλάδα, Ιταλία, Ισπανία, Πορτογαλία, Ιρλανδία). Συγκεκριμένα, προσπαθούμε να εξετάσουμε κατά πόσο οι επονομαζόμενες χώρες PIIGS της ευρωζώνης επηρεάζουν τις υπόλοιπες χώρες της Ευρωζώνης λόγω της οικονομικής τους πορείας ή εάν συμβαίνει το αντίθετο. Αρχικά, αναπτύσσεται το θεωρητικό πλαίσιο των οικονομικών κύκλων, καθώς και οι σχολές σκέψης που έχουν δημιουργηθεί γύρω από την θεωρία των οικονομικών διακυμάνσεων. Στη συνέχεια, παρουσιάζεται το μεθοδολογικό πλαίσιο πάνω στο οποίο στηρίζεται η έρευνα και τέλος παρουσιάζοται και αναλύονται τα αποτελέσματα όπως προέκυψαν από την εμεπιρική ανάλυση..Σοφία Β. Πετρίδο

Tissue rheology in embryonic organization

Tissue morphogenesis in multicellular organisms is brought about by spatiotemporal coordination of mechanical and chemical signals. Extensive work on how mechanical forces together with the well‐established morphogen signalling pathways can actively shape living tissues has revealed evolutionary conserved mechanochemical features of embryonic development. More recently, attention has been drawn to the description of tissue material properties and how they can influence certain morphogenetic processes. Interestingly, besides the role of tissue material properties in determining how much tissues deform in response to force application, there is increasing theoretical and experimental evidence, suggesting that tissue material properties can abruptly and drastically change in development. These changes resemble phase transitions, pointing at the intriguing possibility that important morphogenetic processes in development, such as symmetry breaking and self‐organization, might be mediated by tissue phase transitions. In this review, we summarize recent findings on the regulation and role of tissue material properties in the context of the developing embryo. We posit that abrupt changes of tissue rheological properties may have important implications in maintaining the balance between robustness and adaptability during embryonic development