The use of learning management platforms in school context - a national study

This report results from a national study carried out under the Project “Educational application of learning management platforms”, supported and funded by the Computers, Networks, and Internet in Schools department of the Portuguese Ministry of Education- General Directorate for Innovation and Educational Development. This report has been developed by the ICT Competence Centre of the Faculty of Sciences- University of Lisbon, during the school year 2007/2008

Entangled coherent states and squeezing in N trapped ions

We consider a resonant bichromatic excitation of N trapped ions that generates displacement and squeezing in their collective motion conditioned to their ionic internal state, producing eventually Scrhodinger cat states and entangled squeezing. Furthermore, we study the case of tetrachromatic illumination or producing the so called entangled coherent states in two motional normal modes.Comment: 4 Revtex pages, no figures. To appear in Proceedings of "Mysteries, Puzzles and Paradoxes in Quantum Mechanics", Garda Lake, Italy (2001

Axisymmetric Stationary Solutions as Harmonic Maps

We present a method for generating exact solutions of Einstein equations in vacuum using harmonic maps, when the spacetime possesses two commutating Killing vectors. This method consists in writing the axisymmetric stationry Einstein equations in vacuum as a harmonic map which belongs to the group SL(2,R), and decomposing it in its harmonic "submaps". This method provides a natural classification of the solutions in classes (Weil's class, Lewis' class etc).Comment: 17 TeX pages, one table,( CINVESTAV- preprint 12/93

Reliable teleportation in trapped ions

We study a method for the implementation of a reliable teleportation protocol (theoretically, 100% of success) of internal states in trapped ions. The generation of the quantum channel (any of four Bell states) may be done respecting technical limitations on individual addressing and without claiming the Lamb-Dicke regime. An adequate Bell analyzer, that transforms unitarily the Bell basis into a completely disentangled one, is considered. Probable sources of error and fidelity estimations of the teleportation process are studied. Finally, we discuss experimental issues, proposing a scenario in which the present scheme could be implemented.Comment: 8 Latex pages with five (ps,eps) figures included (EPJ style also included). Accepted for publication in European Physical Journal

Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification

Reliability and trust are fundamental prerequisites for the establishment of functional relationships among peers in a Collaborative Networked Organisation (CNO), especially in the context of Virtual Enterprises where economic benefits can be directly at stake. This paper presents a novel approach towards effective service discovery and selection that is no longer based on informal, ambiguous and potentially unreliable service descriptions, but on formal specifications that can be used to verify and certify the actual Web service implementations. We propose the use of Stream X-machines (SXMs) as a powerful modelling formalism for constructing the behavioural specification of a Web service, for performing verification through the generation of exhaustive test cases, and for performing validation through animation or model checking during service selection

Two Distinct, Geographically Overlapping Lineages of the Corallimorpharian Ricordea Florida (Cnidaria: Hexacorallia: Ricordeidae)

We examined the genetic variation of the corallimorpharian Ricordea florida; it is distributed throughout the Caribbean region and is heavily harvested for the marine aquarium trade. Eighty-four distinct individuals of R. florida were sequenced from four geographically distant Caribbean locations (Curaçao, Florida, Guadeloupe, and Puerto Rico). Analysis of the ribosomal nuclear region (ITS1, 5.8S, ITS2) uncovered two geographically partially overlapping genetic lineages in R. florida, probably representing two cryptic species. Lineage 1 was found in Florida and Puerto Rico, and Lineage 2 was found in Florida, Puerto Rico, Guadeloupe, and Curaçao. Because of the multi-allelic nature of the ITS region, four individuals from Lineage 1 and six from Lineage 2 were cloned to evaluate the levels of hidden intra-individual variability. Pairwise genetic comparisons indicated that the levels of intra-individual and intra-lineage variability (\u3c1%) were approximately an order of magnitude lower than the divergence (~9%) observed between the two lineages. The fishery regulations of the aquarium trade regard R. florida as one species. More refined regulations should take into account the presence of two genetic lineages, and they should be managed separately in order to preserve the long-term evolutionary potential of this corallimorpharian. The discovery of two distinct lineages in R. florida illustrates the importance of evaluating genetic variability in harvested species prior to the implementation of management policies