7,641 research outputs found
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
- …