880 resultados para TCTL (timed computation tree logic)
Resumo:
Speaker(s): Prof. David Evans Organiser: Dr Tim Chown Time: 22/05/2014 10:45-11:45 Location: B53/4025 Abstract Secure multi-party computation enables two (or more) participants to reliably compute a function that depends on both of their inputs, without revealing those inputs to the other party or needing to trust any other party. It could enable two people who meet at a conference to learn who they known in common without revealing any of their other contacts, or allow a pharmaceutical company to determine the correct dosage of a medication based on a patient’s genome without compromising the privacy of the patient. A general solution to this problem has been known since Yao's pioneering work in the 1980s, but only recently has it become conceivable to use this approach in practice. Over the past few years, my research group has worked towards making secure computation practical for real applications. In this talk, I'll provide a brief introduction to secure computation protocols, describe the techniques we have developed to design scalable and efficient protocols, and share some recent results on improving efficiency and how secure computing applications are developed.
Resumo:
La selva es el hogar de más de la mitad de los animales del mundo desde diminutos insectos a los grandes mamíferos pretende enseñar a los niños el ciclo de vida de las ranas arbóreas y la forma en que interactúan con su entorno, sus hábitos , su estilo de vida y las amenazas a los que se enfrenta por la actuación de los hombres al modificar las condiciones ambientales. La obra contiene un mapa de distribución de su hábitat, glosario y bibliografía.
Resumo:
Examina las características distintivas, ciclo de vida, la caza y la conducta de alimentación, hibernación, mecanismos de defensa de diferentes tipos de ranas de árboles. Incluye un glosario.
Resumo:
Pertenece a un amplio programa infantil de lectura que abarca distintos niveles de edad y, por tanto, de conocimientos. Se abordan las necesidades de lectura en los niños y la amplia variedad de habilidades que necesitan adquirir para su aprendizaje y, se destaca, también, la importancia de la narración en las historias. Los niños protagonistas viven una aventura fantástica con un dragón que vive en un árbol.
Resumo:
Guía del profesor con recursos fotocopiables, para proporcionar más posibilidades a los niños con una capacidad por encima de la media y que pueden hacer frente a una mayor complejidad narrativa. Ofrece más de un género literario y un texto más maduro. Nuevas actividades, incluidas la comprensión, gramática, puntuación, y escritura creativa. Lista de libros para la lectura adicional.
Resumo:
Da explicaciones detalladas para ayudar a los niños a aprender a leer en las primeras etapas. Facilita al profesor una serie de estrategias para la enseñanza de la lectura y una amplia variedad de recursos y materiales de apoyo linguístico. Contiene actividades de apoyo a una serie de estrategiás de lectura, recursos fotocopiables, actividades transversales de los contenidos curriculares, evaluación con hojas de registro. También incluye material adicional.
Resumo:
Da explicaciones detalladas para ayudar a los niños a aprender a leer en las primeras etapas. Facilita al profesor una serie de estrategias para la enseñanza de la lectura y una amplia variedad de recursos y materiales de apoyo linguístico. Contiene actividades de apoyo a una serie de estrategiás de lectura, recursos fotocopiables, actividades transversales de los contenidos curriculares, evaluación con hojas de registro. También incluye material adicional.
Resumo:
Explicaciones detalladas de cómo sacar el máximo provecho de cada etapa. Las ideas y sugerencias de esta guía mantienen y amplían la filosofía de la lectura, y el programa, según la propuesta de métodos de enseñanza establecidos en la guía del primer nivel, que ayudarán a dar a los niños la confianza, y las habilidades necesarias para hacer frente a historias con textos más extensos y complejos. Contiene actividades de apoyo a una serie de estrategias de lectura, recursos fotocopiables, actividades tranversales de los contenidos curriculares, evaluación con hojas de registro. También incluye material adicional.
Resumo:
Explicaciones detalladas para ayudar a los niños a aprender a leer en las primeras etapas. Facilita al profesor una serie de estrategias para la enseñanza de la lectura y una amplia variedad de recursos y materiales de apoyo lingüístico. Contiene actividades de apoyo a una serie de estrategias de lectura, recursos fotocopiables, actividades transversales de los contenidos curriculares, evaluación con hojas de registro. También incluye material adicional.
Resumo:
Resumen basado en el de la publicación
Resumo:
Realistic rendering animation is known to be an expensive processing task when physically-based global illumination methods are used in order to improve illumination details. This paper presents an acceleration technique to compute animations in radiosity environments. The technique is based on an interpolated approach that exploits temporal coherence in radiosity. A fast global Monte Carlo pre-processing step is introduced to the whole computation of the animated sequence to select important frames. These are fully computed and used as a base for the interpolation of all the sequence. The approach is completely view-independent. Once the illumination is computed, it can be visualized by any animated camera. Results present significant high speed-ups showing that the technique could be an interesting alternative to deterministic methods for computing non-interactive radiosity animations for moderately complex scenarios
Resumo:
In the ornamental plant production region of Girona (Spain), which is one of the largest of its kind in southern Europe, most of the surface is irrigated using wide blocked-end furrows. The objectives of this paper were: (1) to evaluate the irrigation scheduling methods used by ornamental plant producers; (2) to analyse different scenarios in order to assess how they affect irrigation performance; (3) to evaluate the risk of deep percolation; and (4) to calculate gross water productivity. A two-year study in a representative commercial field, planted with Prunus cerasifera ‘Nigra’, was carried out. The irrigation dose applied by the farmers was slightly smaller than the required water dose estimated by the use of two different methods: the first based on soil water content, and the second based on evapotranspiration. Distribution uniformity and application efficiency were high, with mean values above 87%. Soil water content measurements revealed that even at the end of the furrow, where the infiltrated water depth was greatest, more than 90% of the infiltrated water was retained in the shallowest 40 cm of the soil; accordingly, the risk of water loss due to deep percolation was minimal. Gross water productivity for ornamental tree production was € 11.70 m–3, approximately 20 times higher than that obtained with maize in the same region
Resumo:
Aquesta tesi tracta del disseny, implementació i discussió d'algoritmes per resoldre problemes de visibilitat i bona-visibilitat utilitzant el hardware gràfic de l'ordinador. Concretament, s'obté una discretització dels mapes de multi-visibilitat i bona-visibilitat a partir d'un conjunt d'objectes de visió i un conjunt d'obstacles. Aquests algoritmes són útils tant per fer càlculs en dues dimensions com en tres dimensions. Fins i tot ens permeten calcular-los sobre terrenys.