Automated proofs for Diffie–Hellman–based key exchanges

We present an automated verification method for security of Diffie–Hellman–based key exchange protocols. The method includes a Hoare-style logic and syntactic checking. The method is applied to protocols in a simplified version of the Bellare–Rogaway–Pointcheval model (2000). The security of the protocol in the complete model can be established automatically by a modular proof technique of Kudla and Paterson (2005).

Esprit Futur : Le Corbusier and José Oubrerie at Saint-Pierre De Firminy, Firminy-Vert, France, 1968–2006

What is the secret mesmerism that death possesses and under the operation of which a modern architect – strident, confident, resolute – becomes rueful, pessimistic, or melancholic?1 Five years before Le Corbusier’s death at sea in 1965, the architect reluctantly agreed to adopt the project for L’Église Saint-Pierre de Firminy in Firminy-Vert (1960–2006), following the death of its original architect, André Sive, from leukemia in 1958.2 Le Corbusier had already developed, in 1956, the plan for an enclave in the new “green” Firminy town, which included his youth and culture center and a stadium and swimming pool; the church and a “boîte à miracles” near the youth center were inserted into the plan in the ’60s. (Le Corbusier was also invited, in 1962, to produce another plan for three Unités d’Habitation outside Firminy-Vert.) The Saint-Pierre church should have been the zenith of the quartet (the largest urban concentration of works by Le Corbusier in Europe, and what the architect Henri Ciriani termed Le Corbusier’s “acropolis”3) but in the early course of the project, Le Corbusier would suffer the diocese’s serial objections to his vision for the church – not unlike the difficulties he experienced with Notre Dame du Haut at Ronchamp (1950–1954) and the resistance to his proposed monastery of Sainte-Marie de la Tourette (1957–1960). In 1964, the bishop of Saint-Étienne requested that Le Corbusier relocate the church to a new site, but Le Corbusier refused and the diocese subsequently withdrew from the project. (With neither the approval, funds, nor the participation of the bishop, by then the cardinal archbishop of Lyon, the first stone of the church was finally laid on the site in 1970.) Le Corbusier’s ambivalence toward the project, even prior to his quarrels with the bishop, reveals...

MöBIUS-α commutative functions and partially coincident functions

The M¨obius transform of Boolean functions is often involved in cryptographic design and analysis. As studied previously, a Boolean function f is said to be coincident if it is identical with its M¨obius transform fμ, i.e., f = fμ...

Paraiso dos contemplativos, opusculo devotissimo, e utilissimo para as almas que aspirão a perfeição espiritual, e vida contemplativa : composto pelo V. Padre Fr. Batholomeu de Salucio, religioso da Serafica Familia dos Observantes Reformados : traduzido de italiano, e ilustrado com anotações pelo Padre Manoel Bernardes, da Congregação do Oratorio da cidade de Lisboa : offerecido a V. Santissima senhora nossa, concebida nos resplendores da Divina Graça sem sombra de culpa original

Bartholomeu de Salucio nasceu na Itália em 1558, não se sabe exatamente onde. Viveu em Roma, onde morreu em 1617. Frei franciscano foi orador e místico. Escreveu muitas obras espirituais tais como, As Sete Trombetas, As Invenções do Amor Divino, e O Namorado de Jesus, que foram traduzidas para o francês pelo Padre Carlos Jouya e impressas em Rouen, no ano de 1623. O Paraiso dos Contemplativos... é um dialogo entre um filho espiritual e o seu Diretor, com perguntas e respostas, orações e exclamações. É como uma história de peregrinação do espírito em busca da perfeição. As doutrinas são mostradas nas figuras do diálogo. O tradutor Manuel Bernardes fez anotações para ilustrar as metáforas que pudessem parecer obscuras e para confirmar' as doutrinas que pudessem parecer novas. Segundo Inocêncio, "parece que o coletor do pseudo-catálogo da Academia ignorou a existência da edição de 1739, aliás, não deixaria de citá-la de preferência à de 1761, que é a indicada no catálogo.

Voyage dans le district des Diamans et sur le littoral du Brésil : suivi de notes sur quelques plantes caracteristiques et d'un precis de l'histoire des revolutions de l'empire bresilien, depuis le commencement du regne de Jean vi jusqu'a l'abdication de D. Pedro

As Voyages... são estudos completos, abrangendo todos os aspectos das regiões percorridas; servem de subsídio ao estudo das condições de vida no Brasil no século passado. "Fonte primordial de informações sobre os prédios coloniais do Rio de Janeiro, Minas Gerais, São Paulo, Santa Catarina e Goiás. Poucas obras no gênero atingem o valor de Saint-Hilarire. São clássicas e indispensáveis para o estudo do sul do Brasil, antes da Independência" segundo Borba de Moraes

Viagem a provincia de Santa Catharina : 1820

Auguste de Saint-Hilaire foi membro da Academia de Sciencias do Instituto de França. Professor da Faculdade de Sciencias de Patis. Do Instituto Historico e Geographlco Brasileiro, da Socie.dade de Medicina do Rio de Janeiro, etc .

Viagem às nascentes do rio S. Francisco e pela província de Goyaz

As Voyages... são estudos completos, abrangendo todos os aspectos das regiões percorridas; servem de subsídio ao estudo das condições de vida no Brasil no século passado. "Fonte primordial de informações sobre os prédios coloniais do Rio de Janeiro, Minas Gerais, São Paulo, Santa Catarina e Goiás. Poucas obras no gênero atingem o valor de Saint-Hilarire. São clássicas e indispensáveis para o estudo do sul do Brasil, antes da Independência" segundo Borba de Moraes.

Segunda viagem ao interior do Brasil : Espirito Santo

As Voyages... são estudos completos, abrangendo todos os aspectos das regiões percorridas; servem de subsídio ao estudo das condições de vida no Brasil no século passado. "Fonte primordial de informações sobre os prédios coloniais do Rio de Janeiro, Minas Gerais, São Paulo, Santa Catarina e Goiás. Poucas obras no gênero atingem o valor de Saint-Hilarire. São clássicas e indispensáveis para o estudo do sul do Brasil, antes da Independência" segundo Borba de Moraes.

Voyage dans les provinces de Rio de Janeiro et de Minas Geraes

As Voyages... são estudos completos, abrangendo todos os aspectos das regiões percorridas; servem de subsídio ao estudo das condições de vida no Brasil no século passado. "Fonte primordial de informações sobre os prédios coloniais do Rio de Janeiro, Minas Gerais, São Paulo, Santa Catarina e Goiás. Poucas obras no gênero atingem o valor de Saint-Hilarire. São clássicas e indispensáveis para o estudo do sul do Brasil, antes da Independência" segundo Borba de Moraes

High-resolution automatic water quality monitoring systems applied to catchment and reservoir monitoring

Automatic recording instruments provide the ideal means of recording the responses of rivers, lakes and reservoirs to short-term changes in the weather. As part of the project ‘Using Automatic Monitoring and Dynamic Modelling for the Active Management of Lakes and Reservoirs', a family of three automatic monitoring stations were designed by engineers at the Centre for Ecology and Hydrology in Windermere to monitor such responses. In this article, the authors describe this instrument network in some detail and present case studies that illustrate the value of high resolution automatic monitoring in both catchment and reservoir applications.

The design and development of the Windermere Profiler. An instrument for measuring how various environmental parameters vary with depth in lakes, reservoirs and rivers

A review article detailing the background, development and functionality of the Windermere Profiler, a multi parameter environmental monitoring instrument for use in lakes, reservoirs and rivers. The article explains the requirement for regular data collection by the Freshwater Biological Association at Windermere. The article covers the requirements of a profiling instrument, the design considerations, the electronic circuitry, the computer program, the operation of the computer software, the profiler in use and further developments to the design. A number of figures and images accompany the article.

Recherches des larves de thonides dans l'Atlantique tropical-oriental: campagnes effectuées en 1976-1977 par le N/O Capricorne

This study gives the results of oblique plankton hauls (from the sea-surface to the top of the thermocline), made during the dry season (January to March) by oceanographic vessel R.V. Capricorne during three cruises, of tuna larvae research in 1976 and 1977, between the African Coast and the Equator, from 17 degrees W to 9 degrees E.

Distribution et abondance des larves de thonidés dans l'Atlantique tropico-oriental. Étude des données de 1963 à 1974

From several sources of data, the authors study seasonal variations of larval abundance for five species of tuna in Eastern Tropical Atlantic and its relation to the hydrological conditions. Distributional maps and TS graphs are given.

Da violência de gênero contra a mulher ao grupo-dispositivo: desafios para construção de uma prática

O presente trabalho refere-se à realização de uma pesquisa-intervenção em um Centro de Referência de Assistência Social de um município do interior do Rio de Janeiro, cujos principais pressupostos metodológicos fundamentam-se na Análise Institucional, especificamente, a Análise de Implicação e a Cartografia. Os desafios e desvios encontrados para realização da pesquisa constituem importante substrato para análise das práticas da psicologia em relação ao atendimento de mulheres no contexto das políticas públicas da assistência social. A construção de um grupo para mulheres neste serviço possibilitou a abertura de um espaço para discussão, desconectado de qualquer condicionalidade, baseado no desejo de conversa das participantes sobre questões que atravessam suas vidas e o fato de ser mulher. Considerando a possibilidade de transformações do desejo na contemporaneidade aproximamos pontos, linhas e fragmentos de vivências para pensar sobre os relacionamentos e a dicotomia santa x puta que atravessam e aprisionam a vida de tantas mulheres, muitas vezes impedindo-as de se movimentar subjetivamente. Apostando na possibilidade da construção de outros modos de vida, sinalizamos para a importância da prática dos grupos na produção de novos sentidos e novos territórios de existência