Time, with over 50 reusable stickers.

Estas ilustraciones enseñan a los niños pequeños a percibir el paso del tiempo a través de las actividades que realizan a lo largo de todo el día, desde el momento de despertar hasta la hora de acostarse. El desayuno, el colegio, la merienda, el recreo, la lectura por la tarde y la cena marcan las otras partes en que se divide el día. También aprenden las horas que marca el reloj tanto las horas en punto, como las medias y los cuartos.

Sizes, with over 50 reusable stickers.

Actividades divertidas para que los niños más pequeños aprendan a distinguir los distintos tamaños de los más variados objetos, alto y bajo, ancho y estrecho, grande y pequeño, grueso y delgado. Contiene pegatinas reutilizables para que puedan repetir las actividades y utilizarlas después cómo etiquetas para libros y carteles.

Food and drink, with over 50 reusable stickers.

Los niños en edad preescolar aprenden a conocer algunos alimentos y bebidas tanto calientes como frías. También aprenden a preparar algunos platos de cocina como una tarta, con el nombre de sus ingredientes y de algunos utensilios de cocina. Las pegatinas reutilizables les sirven para repetir actividades y mejorar en el aprendizaje.

Patterns, with over 50 reusable stickers.

De una forma divertida y con un texto sencillo que les permite también desarrollar las habilidades para la lectura, los niños de preescolar aprenden a distinguir los distintos tipos de dibujos que aparecen en las imágenes, rayas, lunares, cuadros, espirales, zigzag. Ellos mismos también pueden realizar dibujos, y las pegatinas reutilizables les permiten repetir los juegos para un mejor aprendizaje.

My body, with over 50 reusable stickers.

Con un texto sencillo, los niños de preescolar aprenden a conocer e identificar las distintas partes de su cuerpo. También realizan ejercicios y actividades cotidianas que les permiten conocer para que sirven los órganos del cuerpo. Las pegatinas reutilizables les ayudan a repetir estas acciones cómo si fueran juegos y mejorar en el aprendizaje.

Opposites, with over 50 reusable stickers.

Actividades divertidas para que los niños más pequeños aprendan de forma amena las diferencias entre opuestos, es decir, entre grande y pequeño, arriba y abajo, dentro y fuera, largo y corto. Los adhesivos son reutilizables para que puedan realizar las actividades varias veces.

Mix and match, with over 50 reusable stickers.

Se enseña a los niños las diferencias entre los conceptos de mezclar y combinar objetos, también les aparecen en las ilustraciones las distinciones entre pares de objetos y objetos complementarios, así como, disfraces de cuentos de hadas. Los adhesivos reutilizables les ayudan a practicar las actividades repetidas veces y aprender jugando.

Playtime, with over 50 reusable stickers.

A todos los niños les gusta el recreo y los juguetes, desde un tambor ó una muñeca blandita, hasta un coche de carreras ó un tractor. Y también les gustan los juegos en el agua y en la arena, los disfraces y los juegos de patio de recreo. Todo ello se acompaña de pegatinas reutilizables para repetir las actividades y disfrutarlas varias veces.

Evaluación formativa de las redes de colaboración del Centro de Excelencia en Enseñanza y Aprendizaje en Objetos de Aprendizaje (Centre for Excellence in Teaching and Learning in Reusable Learning Objects-RLO-CETL) : la visión del primer año.

Resumen basado en el de la publicación

Fred: An approach to generating real, correct, reusable programs from proofs

In this paper we describe our system for automatically extracting "correct" programs from proofs using a development of the Curry-Howard process. Although program extraction has been developed by many authors, our system has a number of novel features designed to make it very easy to use and as close as possible to ordinary mathematical terminology and practice. These features include 1. the use of Henkin's technique to reduce higher-order logic to many-sorted (first-order) logic; 2. the free use of new rules for induction subject to certain conditions; 3. the extensive use of previously programmed (total, recursive) functions; 4. the use of templates to make the reasoning much closer to normal mathematical proofs and 5. a conceptual distinction between the computational type theory (for representing programs)and the logical type theory (for reasoning about programs). As an example of our system we give a constructive proof of the well known theorem that every graph of even parity, which is non-trivial in the sense that it does not consist of isolated vertices, has a cycle. Given such a graph as input, the extracted program produces a cycle as promised.

Reduced graphene oxide/ZnO composite : reusable adsorbent for pollutant management

Reduced graphene oxide (RGO) coated with ZnO nanoparticles (NPs) was synthesized by a self-assembly and in situ photoreduction method, and then their application for removing organic pollutant from water was investigated. The RGO@ZnO composite nanomaterial has unique structural features including well-dispersed NPs on the surface and dense NPs loading. This composite exhibited a greatly improved Rhodamine B (RhB) adsorption capacity and an improved photocatalytic activity for degrading RhB compared to neat ZnO NPs. These properties made RGO@ZnO reusable for pollutant adsorbent. The composite showed an excellent cycling performance for organic pollutant removal up to 99% recovery over several cycles via simulated sunlight irradiation.

Boron nitride nanosheets as improved and reusable substrates for gold nanoparticles enabled surface enhanced Raman spectroscopy.

Atomically thin boron nitride (BN) nanosheets have been found to be excellent substrates for noble metal particles enabled surface enhanced Raman spectroscopy (SERS), thanks to their good adsorption of aromatic molecules, high thermal stability and weak Raman scattering. Faceted gold (Au) nanoparticles have been synthesized on BN nanosheets using a simple but controllable and reproducible sputtering and annealing method. The size and density of the Au particles can be controlled by sputtering time, current and annealing temperature etc. Under the same sputtering and annealing conditions, the Au particles on BN of different thicknesses show various sizes because the surface diffusion coefficients of Au depend on the thickness of BN. Intriguingly, decorated with similar morphology and distribution of Au particles, BN nanosheets exhibit better Raman enhancements than silicon substrates as well as bulk BN crystals. Additionally, BN nanosheets show no noticeable SERS signal and hence cause no interference to the Raman signal of the analyte. The Au/BN substrates can be reused by heating in air to remove the adsorbed analyte without loss of SERS enhancement.

Photoredox catalysis of intramolecular cyclizations with a reusable silica-bound ruthenium complex

Photoredox catalysis with the use of a stable, reusable silica-bound chromophore was applied to the intramolecular cyclization of a series of 2-benzylidenehydrazinecarbothioamides to give 5-phenyl-1,3,4-thiadiazol-2-amines. The catalyst was readily prepared by carbodiimide-mediated coupling of commercially available amine-functionalized silica beads to a carboxylic acid functionalized ruthenium complex. The immobilized catalyst was readily removed from the reaction product by filtration and was used eight times without loss of catalytic activity. This simple, safe, and practical method is an attractive alternative to conventional procedures.

Generating reusable visual notations using model transformation

Visual notations are a key aspect of visual languages. They provide a direct mapping between the intended information and set of graphical symbols. Visual notations are most often implemented using the low level syntax of programming languages which is time consuming, error prone, difficult to maintain and hardly human-centric. In this paper we describe an alternative approach to generating visual notations using by-example model transformations. In our new approach, a semantic mapping between model and view is implemented using model transformations. The notations resulting from this approach can be reused by mapping varieties of input data to their model and can be composed into different visualizations. Our approach is implemented in the CONVErT framework and has been applied to many visualization examples. Three case studies for visualizing statistical charts, visualization of traffic data, and reuse of a Minard's map visualization's components, are presented in this paper. A detailed user study of our approach for reusing notations and generating visualizations has been provided. 80% of the participants in this user study agreed that the novel approach to visualization was easy and 87% stated that they quickly learned to use the tool support.