262,509 research outputs found
Two-penny physics: Teaching 2D linear momentum conservation
No full textA low-cost setup is used to quantitatively introduce the momentum conservation law in two dimensions. The apparatus consists of two small identical coins (e.g., 1 euro cent), a small cardboard box, and two A4 sheets of paper; it is technology-free, low-cost, works with energy supplied by the gravitational field, and takes up little space. For these reasons, it can be assembled on a desk, allowing the entire class to directly engage with it, and is a suitable device for schools with a low budget. Educational results of a test stage with 15 secondary school students are also discussed
A Logical Verification Methodology for Service-Oriented Computing
No full textWe introduce a logical verification methodology for checking behavioural properties of service-oriented computing systems. Service properties are described by means of SocL, a branching-time temporal logic that we have specifically designed to express in an effective way distinctive aspects of services, such as, e.g., acceptance of a request, provision of a response, and correlation among service requests and responses. Our approach allows service properties to be expressed in such a way that
they can be independent of service domains and specifications. We show an instantiation of our general methodology that uses the formal language COWS to conveniently specify services and the expressly developed software tool CMC to assist the user in the task of verifying SocL formulae over service specifications. We demonstrate feasibility and effectiveness of our methodology by means of the specification and the analysis of a case study in the automotive domain
Close Encounters with Heisenberg: Uncertainty in secondary school
No full textIn this paper we present a pedagogical strategy to introduce the Heisenberg uncertainty principle to high school students. The basis on which this proposal relies is the Fourier transform, connecting the quantum function in the x domain, , with the function in the wave number domain, . This mathematical relationship directly leads to the uncertainty principle: a state localized in the former domain will present an inversely proportional dispersion in the latter domain. Since in acoustic we have an analog situation we can carry out experiments with sounds leading students to the understanding of the uncertainty relation. In our approach a slightly modified musical theme from the Steven Spielberg movie 'Close Encounters of the Third Kind' is the starting point to reach the uncertainty relation
CTS for Time Metrology - An overview of the current time and frequency metrology best practices and possible perspectives for timing with muons
No full textIl progetto “FRATERNISE”: Facility ad elevata accuRAtezza Temporale pEr espeRimeNti di fISica fondamEntale
No full textGoing Beyond Counting First Authors in Author Co-citation Analysis
No full textThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Using Clustering to Improve the Structure of Natural Language Requirements Documents
No full text[Context and motivation] System requirements are normally provided in the form of natural language documents. Such documents need to be properly structured, in order to ease the overall uptake of the requirements by the readers of the document. A structure that allows a proper understanding of a requirements document shall satisfy two main quality attributes: (i) requirements relatedness: each requirement is conceptually connected with the requirements in the same section; (ii) sections independence: each section is conceptually separated from the others. [Question/Problem] Automatically identifying the parts of the document that lack requirements relatedness and sections independence may help improve the document structure. [Principal idea/results] To this end, we define a novel clustering algorithm named Sliding Head-Tail Component (S-HTC). The algorithm groups together similar requirements that are contiguous in the requirements document. We claim that such algorithm allows discovering the structure of the document in the way it is perceived by the reader. If the structure originally provided by the document does not match the structure discovered by the algorithm, hints are given to identify the parts of the document that lack requirements relatedness and sections independence. [Contribution] We evaluate the effectiveness of the algorithm with a pilot test on a requirements standard of the railway domain (583 requirements)
Timing Requirements Analysis for Particle Physics and Astrophysics: A Metrological Point of View
No full textApplicazioni G.I.S. in aree dell’entroterra maceratese
No full textQuesto contributo espone le linee di base di un progetto finalizzato alla digitalizzazione di mappe del Catasto Gregoriano riferibili a un’area dell’entroterra marchigiano (Pioraco – Fiuminata). Attraverso tale procedura gli Autori si propongono di ricostruire una carta dell’uso del suolo della zona indagata all’inizio del XIX secolo e di realizzare una dettagliata mappatura dei toponimi contenuti nelle matrici del catasto. Poiché il tessuto toponomastico delle aree interne è molto conservativo, esso può essere utilizzato come punto di partenza di un cammino a ritroso attraverso la documentazione (catastale e non) più antica, fino a giungere alle testimonianze più remote, in questo caso un catasto della metà del Duecento. Il progetto tende quindi a creare un’ampia base di dati il cui modello ottimale di gestione è ovviamente quello attuabile mediante piattaforma G.I.S
Close Encounters with Heisenberg: Uncertainty in secondary school
No full textIn this paper we present a pedagogical strategy to introduce the Heisenberg uncertainty principle to high school students. The basis on which this proposal relies is the Fourier transform, connecting the quantum function in the x domain, Ψ(x), with the function in the wave number domain, A(k). This mathematical relationship directly leads to the uncertainty principle: a state localized in the former domain will present an inversely proportional dispersion in the latter domain. Since in acoustic we have an analog situation we can carry out experiments with sounds leading students to the understanding of the uncertainty relation. In our approach a slightly modified musical theme from the Steven Spielberg movie ‘Close Encounters of the Third Kind’ is the starting point to reach the uncertainty relation.Fil: Galanternik, Laura Irene. Università di Torino; Italia. Enrico Fermi Historical Museum Of Physics; ItaliaFil: Arlego, Marcelo José Fabián. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto de Física La Plata. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Instituto de Física La Plata; ArgentinaFil: Fanaro, Maria de Los Angeles. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Humanas. Núcleo de Estudios Educacionales y Sociales; Argentina. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas. Núcleo de Investigación en Educacion Ciencia y Tecnologia; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil; ArgentinaFil: Gnesi, I.. Enrico Fermi Historical Museum Of Physics; Itali
- …
