Evolving social networks, attitudes and beliefs and counter terrorism

'The Princeton Companion to Applied Mathematics' is an introduction to applied mathematics for students, teachers, and professionals. This article is for the "Application Areas" part of the book, which comprises articles on connections between applied mathematics and other disciplines.

Computer Theorem Proving and HoTT

Theorem-proving is a one-player game. The history of computer programs being the players goes back to 1956 and the ‘LT’ LOGIC THEORY MACHINE of Newell, Shaw and Simon. In game-playing terms, the ‘initial position’ is the core set of axioms chosen for the particular logic and the ‘moves’ are the rules of inference. Now, the Univalent Foundations Program at IAS Princeton and the resulting ‘HoTT’ book on Homotopy Type Theory have demonstrated the success of a new kind of experimental mathematics using computer theorem proving.

Creativity and Growth in: Edmund Phelps (2013),Mass Flourishing. How Grassroots Innovation Created Jobs, Challenge and Change

This article reviews the thesis presented by Edmund Phelps, Mass Flourishing. How Grassroots Innovation Created Jobs, Challenge and Change (Princeton University Press, 2013) that modern economic growth is an indirect outcome of human creativity, and that the object of enlightened policy ought to be to promote this creativity, or flourishing, rather than economic growth per se. The book is a remarkable contribution to the literature on economic growth, with its focus on how entrepreneurship and innovation generates endogenous growth and, more importantly to the author, improves human satisfaction.

Entropy and thermodynamic limits in M-theory

The matching of the BPS part of the (super) membrane's spectrum enables one to obtain membrane's results via string calculations. We compute the thermodynamic behavior at large coupling constant by considering M-theory on a manifold with topology T-2 X R-9. In the small coupling limit of M-theory the entropy coincides with the standard entropy of type IIB strings. We claim that the finite temperature partition functions associated with BPS p-brane spectrum can be analytically continued to well-defined functionals. This means that finite temperature can be introduced in brane theory. For the point particle limit (p --> 0) the entropy has the standard behavior of thermodynamic quantities.

Controle do arroz vermelho através do herbicida sulfosate isolado e em misturacom adjuvantes

O presente trabalho teve como objetivo avaliar a eficiência do herbicida sulfosate, aplicado isoladamente e em misturas com diferentes adjuvantes, comparado com o herbicida glifosate, ambos aplicados com baixo volume de calda, no controle da planta daninha arroz vermelho (Oryza sativa L.) sob aplicação em condições de préplantio da cultura do arroz. O experimento foi conduzido em campo, sendo a área experimental instalada na cultura de arroz irrigado, variedade IAC-101. A área de pousio recebeu uma lâmina de água de 5 a 10cm de pro fundidade por dois dias, e após a retirada, o arroz vermelho começou a germinar. Quando o mesmo atingiu cerca de 20-25cm de altura, procedeu-se a aplicação de herbicidas de manejo (pré-plantio) . Após 16 dias da aplicação foi efetuado o plantio da cultura com densidade de 60-80 sementes/metro linear e profundidade de 3cm, sendo o espaçamento utilizado de 21,8cm entre linhas. Foram testados tratamentos com os seguintes produtos: sulfosate a 1,20; 1,44 e 1,68Kg i.a./ha e glifosate a 1,20; 1,44 e 1,68Kg i.a./ha, ambos os produtos aplicados isolados e em misturas com os seguintes adjuvantes: Poliglicol, Organosilicone e Amina Graxa, além de uma testemunha não capinada. Para a avaliação do efeito dos tratamentos empregados foram realizadas as seguintes avaliações: fitotoxicidade aperente, porcentagem de controle do arroz vermelho; altura do arroz vermelho (em cm); estande da cultura (no de per filhos/metro linear) e altura da cultura (em cm). Através dos resultados obtidos pode-se concluir que os herbicidas sulfosate, glifosate nas formulações comerciais Rodeo e Roundup, nas doses de 1,20; 1,44 e 1,68Kg i.a./ha, aplicados isolados (exceto o Rodeo) e conjuntamente com os adjuvantes poliglicol (Mojante), organosilicone (Silwet) e amina graxa (Frigate) (exceto Roundup, que foi utilizado apenas com o adjuvante amina graxa e sozinho), propiciaram excelente nível de controle do arroz vermelho, quando aplicados em pós-emergência e área total, e pré-plantio da cultura de arroz, implantada no sistema de plantio direto. Também foi verificado que não ocorreu diferença quanto à eficiência entre sulfosate e glifosate no controle do arroz vermelho, ambos controlando de forma eficiente a planta daninha.

Methods and tools for encoding the WordNet.Br sentences, concept glosses, and conceptual-semantic relations

This paper presents the overall methodology that has been used to encode both the Brazilian Portuguese WordNet (WordNet.Br) standard language-independent conceptual-semantic relations (hyponymy, co-hyponymy, meronymy, cause, and entailment) and the so-called cross-lingual conceptual-semantic relations between different wordnets. Accordingly, after contextualizing the project and outlining the current lexical database structure and statistics, it describes the WordNet.Br editing GUI that was designed to aid the linguist in carrying out the tasks of building synsets, selecting sample sentences from corpora, writing synset concept glosses, and encoding both language-independent conceptual-semantic relations and cross-lingual conceptual-semantic relations between WordNet.Br and Princeton WordNet © Springer-Verlag Berlin Heidelberg 2006.

Os synsets de verbos do português com o SE inerente e os seus equivalentes do inglês

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Delimitação e alinhamento de conceitos lexicalizados no inglês norte-americano e no português brasileiro

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Descrição léxico-gramatical e funcional dos verbos pronominais do português brasileiro com vistas ao aperfeiçoamento da base de verbos da wordnet brasileira e do alinhamento semântico desta à base de verbos da wordnet norte-americana

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Brazilian portuguese wordNet: a computational linguistic exercise of encoding bilingual relational lexicons

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Eddy-induced upwelling off Cape Sao Tome (22 degrees S, Brazil)

The regional ocean off southeast Brazil (20 degrees S-28 degrees S) is known as a current-eddy-upwelling region. The proximity of the Brazil Current to the coast in the Cape Sao Tome vicinities, as well as of its quasi-stationary unstable meanders, suggests the possibility of background eddy-induced upwelling. Such phenomenon can intensify the prevalent coastal upwelling due to wind and topographic effects. In this paper, with the help of a numerical simulation, we provide evidence that eddy-induced upwelling in the absence of wind is possible in this region. The simulation was conducted with a regional configuration of the 3-D Princeton Ocean Model initialized by a feature-based implementation of the Brazil Current and Cape Frio eddy, blended with climatology. (C) 2010 Elsevier Ltd. All rights reserved.

Feature-oriented regional modeling and simulations (FORMS) for the western South Atlantic: Southeastern Brazil region

The multi-scale synoptic circulation system in the southeastern Brazil (SEBRA) region is presented using a feature-oriented approach. Prevalent synoptic circulation structures, or ""features,"" are identified from previous observational studies. These features include the southward-flowing Brazil Current (BC), the eddies off Cabo Sao Tome (CST - 22 degrees S) and off Cabo Frio (CF - 23 degrees S), and the upwelling region off CF and CST. Their synoptic water-mass (T-S) structures are characterized and parameterized to develop temperature-salinity (T-S) feature models. Following [Gangopadhyay, A., Robinson, A.R., Haley, PJ., Leslie, W.J., Lozano, C.j., Bisagni, J., Yu, Z., 2003. Feature-oriented regional modeling and simulation (forms) in the gulf of maine and georges bank. Cont. Shelf Res. 23 (3-4), 317-353] methodology, a synoptic initialization scheme for feature-oriented regional modeling and simulation (FORMS) of the circulation in this region is then developed. First, the temperature and salinity feature-model profiles are placed on a regional circulation template and objectively analyzed with available background climatology in the deep region. These initialization fields are then used for dynamical simulations via the Princeton Ocean Model (POM). A few first applications of this methodology are presented in this paper. These include the BC meandering, the BC-eddy interaction and the meander-eddy-upwelling system (MEUS) simulations. Preliminary validation results include realistic wave-growth and eddy formation and sustained upwelling. Our future plan includes the application of these feature models with satellite, in-situ data and advanced data-assimilation schemes for nowcasting and forecasting the SEBRA region. (c) 2008 Elsevier Ltd. All rights reserved.