This talk is about Categorical Logic, a branch of Category Theory, a newer subfield of Algebra, established in the late forties/early fifties by Eilenberg and MacLane. One of its most exciting applications is to theoretical computer science and I plan to discuss it, from a very personal perspective.
Los días 29 y 30 de mayo de 2010 tendrá lugar en Madrid un encuentro exclusivo para alumnos y antiguos alumnos de Esden.
Serán unas jornadas en las que los asistentes compartirán experiencias, además de asistir a las conferencias de personalidades de primer orden a nivel internacional.
Compendium of European and Latin American case studies and interviews on open...@cristobalcobo
This document has been developed in close collaboration with experts, researchers and decision makers from more than 10 universities in order to provide a global perspective of the OER movement. Some of the more relevant trends identified in this study are exemplified by a broad range of initiatives, including: change in the organizational culture; flexible certification; new business models; middle term institutional strategy; incentives policy; use of non-commercial open source or self-develop platforms; focus on champions; decentralized – federated solutions; open standard, bibliometric criteria; search engine optimization; community building and peer-based collaboration; quality assurance; repurposing and licensing; and open publishing policies.
Los días 29 y 30 de mayo de 2010 tendrá lugar en Madrid un encuentro exclusivo para alumnos y antiguos alumnos de Esden.
Serán unas jornadas en las que los asistentes compartirán experiencias, además de asistir a las conferencias de personalidades de primer orden a nivel internacional.
Compendium of European and Latin American case studies and interviews on open...@cristobalcobo
This document has been developed in close collaboration with experts, researchers and decision makers from more than 10 universities in order to provide a global perspective of the OER movement. Some of the more relevant trends identified in this study are exemplified by a broad range of initiatives, including: change in the organizational culture; flexible certification; new business models; middle term institutional strategy; incentives policy; use of non-commercial open source or self-develop platforms; focus on champions; decentralized – federated solutions; open standard, bibliometric criteria; search engine optimization; community building and peer-based collaboration; quality assurance; repurposing and licensing; and open publishing policies.
Folleto corporativo del despacho abogados en oviedo Velazquez y Villa. Equipo experto de abogados multidisciplinares para resolver sus problemas legales.
Confie en nuestra experiencia.
Dynamical Classes of Collective Attention in TwitterJanette Lehmann
Presentation at WWW, held in Lyon, April 2012.
Micro-blogging systems such as Twitter expose digital traces of social discourse with an unprecedented degree of resolution of individual behaviors. They offer an opportunity to investigate how a large-scale social system responds to exogenous or endogenous stimuli, and to disentangle the temporal, spatial and topical aspects of users’ activity. Here we focus on spikes of collective attention in Twitter, and specifically on peaks in the popularity of hashtags. Users employ hashtags as a form of social annotation, to define a shared context for a specific event, topic, or meme. We analyze a large-scale record of Twitter activity and find that the evolution of hashtag popularity over time defines discrete classes of hashtags. We link these dynamical classes to the events the hashtags represent and use text mining techniques to provide a semantic characterization of the hashtag classes. Moreover, we track the propagation of hashtags in the Twitter social network and find that epidemic spreading plays a minor role in hashtag popularity, which is mostly driven by exogenous factors.
This work was done in collaboration with Bruno Gonçalves, Jose J. Ramasco, and Ciro Cattuto.
FELICES DIAS DE PASCUAS PARA TODOS Y TODAS... QUE DIOS ILUMINE TODOS LOS DIAS DE SUS VIDAS! Son los deseos de la Ing. Juana Huancahuari -Directora Ejecutiva del Proyecto Especial Sierra Centro Sur -PESCS.
Compartimos con ustedes un Brochure que ha sido preparado especialmente con ocasión a la religiosidad que se vive durante la Semana Santa Ayacuchana... Los invitamos a disfrutar de las hermosas imágenes que estas fiestas nos ofrecen...
Creemos necesario propiciar espacios lúdico-formativos que permitan a los miembros de la familia pasar tiempo juntos y fortalecer los vínculos que los unen. El ritmo frenético que marca hoy la sociedad hace difícil que se puedan llevar a cabo actividades que impliquen a toda la familia. Por ello, queremos favorecer un encuentro en el que los padres, modelos de aprendizaje, puedan transmitir hábitos culturales a sus hijos.
Folleto corporativo del despacho abogados en oviedo Velazquez y Villa. Equipo experto de abogados multidisciplinares para resolver sus problemas legales.
Confie en nuestra experiencia.
Dynamical Classes of Collective Attention in TwitterJanette Lehmann
Presentation at WWW, held in Lyon, April 2012.
Micro-blogging systems such as Twitter expose digital traces of social discourse with an unprecedented degree of resolution of individual behaviors. They offer an opportunity to investigate how a large-scale social system responds to exogenous or endogenous stimuli, and to disentangle the temporal, spatial and topical aspects of users’ activity. Here we focus on spikes of collective attention in Twitter, and specifically on peaks in the popularity of hashtags. Users employ hashtags as a form of social annotation, to define a shared context for a specific event, topic, or meme. We analyze a large-scale record of Twitter activity and find that the evolution of hashtag popularity over time defines discrete classes of hashtags. We link these dynamical classes to the events the hashtags represent and use text mining techniques to provide a semantic characterization of the hashtag classes. Moreover, we track the propagation of hashtags in the Twitter social network and find that epidemic spreading plays a minor role in hashtag popularity, which is mostly driven by exogenous factors.
This work was done in collaboration with Bruno Gonçalves, Jose J. Ramasco, and Ciro Cattuto.
FELICES DIAS DE PASCUAS PARA TODOS Y TODAS... QUE DIOS ILUMINE TODOS LOS DIAS DE SUS VIDAS! Son los deseos de la Ing. Juana Huancahuari -Directora Ejecutiva del Proyecto Especial Sierra Centro Sur -PESCS.
Compartimos con ustedes un Brochure que ha sido preparado especialmente con ocasión a la religiosidad que se vive durante la Semana Santa Ayacuchana... Los invitamos a disfrutar de las hermosas imágenes que estas fiestas nos ofrecen...
Creemos necesario propiciar espacios lúdico-formativos que permitan a los miembros de la familia pasar tiempo juntos y fortalecer los vínculos que los unen. El ritmo frenético que marca hoy la sociedad hace difícil que se puedan llevar a cabo actividades que impliquen a toda la familia. Por ello, queremos favorecer un encuentro en el que los padres, modelos de aprendizaje, puedan transmitir hábitos culturales a sus hijos.
Smart Cities, Smart Citizens and Smart DecisionsMartha Russell
Presentation given on December 11, 2016 in Hong Kong, hosted by Savantas Policy Institute, The Hong Kong Computer Society, Hong Kong Industry-University-Research Collaboration Association, Invotech, Internet Professional Association (iProA), and Savantas Liberal Arts Academy.
We stand on the thresh hold of abundance. Higher productivity is possible. Better quality of life is possible. We have new opportunities in personal and family wellness. The technological advances in sensors, connectivity and data now provide a perfect storm of change – for smart cities, smart workplaces, smart education, and smart communities. In this perfect storm, relationships, trust and vision are essential for innovation leadership. Shared vision among smart citizens allows people operating independently to arrive together at the same future. Massive data permits continuous feedback for high quality decisions. Change is an imperative. Change is continual. In order to move forward, we must be both the architects and the engines of change.
The question before us is: Are we moving forward – and, are we doing so fast enough?
32. L+1'.,'E','&-'4
Godel's Collected Works, eds Feferman and Dawson
Categories for the Working Mathematician Saunders MacLane
The Curry-Howard Correspondence ed de Groote, Gallier's paper
Proofs and Types – Jean-Yves Girard
http://www.cs.bham.ac.uk/~vdp/publications/papers.html
! !