Aquele humilde jogador de Futebol precisava muito ganhar aquela partida. Ele não podia permitir que seu irmão deixasse de ver aquela vitória antes que partisse. Caso isto acontecesse, seria impossível viver com uma consciência tranquila. Felizmente ele sabia que a partida estava ganha. Alguém já lhe havia dito. Sim, de certa forma, o resultado da partida já havia sido previsto por uma pessoa que enchia seu coração de esperança. Um amigo conquistado em uma situação bem atípica em um ambiente que permeava a loucura. Um hospital mais do que movimentado. O amigo que gerava fé naquele jogador também acalentava os corações de muitos seres humanos, dos mais variados perfis. Fato até curioso pois, mesmo diferentes umas das outras, essas pessoas encontravam naquele hospital sentimentos bem parecidos. Uma dependente química, um garoto pobre da favela, um homem rico e bem sucedido, uma filha que morria de saudades do pai, um velho depressivo, um homem odioso e seus dois filhos. Muitos destinos cruzados naquele quarto de hospital. Todos tinham uma ligação especial com Isaac, o guru de São Rafael, que dava importantes conselhos para o dia-a-dia de qualquer um, provido de muita sabedoria. Tal propriedade intelectual, porém, não garantia a resposta para todas as suas perguntas. Uma delas, especialmente, deixava-o bastante atordoado. Por que ele, mesmo deitado ali, naquela cama, tetraplégico, sem poder se mexer, podia sentir, misteriosamente, exatamente o que se passava com a vida de outra pessoa, especial, que estava a quilômetros de distância, do outro lado da cidade?
Um convite ao estudo da obra de Kierkegaard, cujo pensamento se baseia no diálogo com o leitor, colocando enigmas e propondo alternativas, para que cada indivíduo dirija o olhar para sua própria existência.
Brazil is located in the east coast of the South America, by Atlantic Ocean. With its area of 8,511,965 km2, constitutes one of biggest countries of the world in territorial extension. It possesses vast natural water holds; the biggest forest of the land; and flora, fauna, air, land, minerals and waters of inestimable value for the planet. It possesses around 169 million inhabitants, distributed in 26 States and a Federal District, where it is locates Brasilia capital. Brazil has a Gross Internal Product (GIP) close to USS 800 billion, and the per capita GIP is close to USS 4,719.76. It has the biggest economy of Latin America, and well developed sectors in the area of agriculture, industry, commerce and jobs. In agriculture, it is distinguished by the coffee production, soy, rice, meat, sugar cane, citric, cocoa. Its industrial park is distinguished by the production of chemical, shoes products, cement, iron, steel, airplanes, engines and automobiles, buses, machines, implements and equipment. It exports and imports around USS 50 billion per year; it has around 50 million television sets, 40 million fixed and cellular telephones, 70 million radios. This new book presents important analyses of this dynamic country.
Motivated by applications in theoretical computer science, the theory of finite semigroups has emerged in recent years as an autonomous area of mathematics. It fruitfully combines methods, ideas and constructions from algebra, combinatorics, logic and topology. In simple terms, the theory aims at a classification of finite semigroups in certain classes called “pseudovarieties”. The classifying characteristics have both structural and syntactical aspects, the general connection between them being part of universal algebra. Besides providing a foundational study of the theory in the setting of arbitrary abstract finite algebras, this book stresses the syntactical approach to finite semigroups. This involves studying (relatively) free and profinite free semigroups and their presentations. The techniques used are illustrated in a systematic study of various operators on pseudovarieties of semigroups.
This book describes the relation between profinite semigroups and symbolic dynamics. Profinite semigroups are topological semigroups which are compact and residually finite. In particular, free profinite semigroups can be seen as the completion of free semigroups with respect to the profinite metric. In this metric, two words are close if one needs a morphism on a large finite monoid to distinguish them. The main focus is on a natural correspondence between minimal shift spaces (closed shift-invariant sets of two-sided infinite words) and maximal J-classes (certain subsets of free profinite semigroups). This correspondence sheds light on many aspects of both profinite semigroups and symbolic dynamics. For example, the return words to a given word in a shift space can be related to the generators of the group of the corresponding J-class. The book is aimed at researchers and graduate students in mathematics or theoretical computer science.
This book discusses the impact of climate change on rural forest areas. It analyses data provided by the Portuguese Institute of the Sea and Atmosphere (IPMA) to not only demonstrate that climate change has occurred in Portuguese forests, but also to suggest how forestry practices can be adapted to minimise its effects. In turn, the book distils data collected over several years into a comprehensive and coherent review of the ways in which the climate has changed in Portugal. It addresses the changes in rainfall, temperatures, and climatic anomalies, and how these changes correlate with effects such as rural forest fires. Though the text chiefly focuses on Portugal, the tools implemented are easily transferable to other countries and regions, making it relevant to readers around the globe. The book offers a valuable asset for students, researchers, foresters and those working at environmental (research) institutions.
The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. The idea of specifying the behaviour of individual software components by attaching contracts to them is now a widely followed approach in program development, which has given rise notably to the development of a number of behavioural interface specification languages and program verification tools. A foundation for the static verification of programs based on contract-annotated routines is laid out in the book. These can be independently verified, which provides a modular approach to the verification of software. The text assumes only basic knowledge of standard mathematical concepts that should be familiar to any computer science student. It includes a self-contained introduction to propositional logic and first-order reasoning with theories, followed by a study of program verification that combines theoretical and practical aspects - from a program logic (a variant of Hoare logic for programs containing user-provided annotations) to the use of a realistic tool for the verification of C programs (annotated using the ACSL specification language), through the generation of verification conditions and the static verification of runtime errors.
An illustrated study that casts a new light on Oiticica's most important work of “quasi-cinema” on its fortieth anniversary. Hélio Oiticica (1937–1980) occupies a central position in the Latin American avant-garde of the postwar era. Associated with the Rio de Janeiro-based neo-concretist movement at the beginning of his career, Oiticica moved from object production to the creation of chromatically opulent and sensually engulfing large-scale installations or wearable garments. Building on the idea for a film by Brazilian underground filmmaker Neville D'Almeida, Oiticica developed the concept for Block-Experiments in Cosmococa—Program in Progress (1973–1974) as an “open program”: a series of nine proposals for environments, each consisting of slide projections, soundtracks, leisure facilities, drawings (with cocaine used as pigment), and instructions for visitors. It is the epitome of what the artist called his “quasi-cinema” work—his most controversial production, and perhaps his most direct effort to merge art and life. Presented publicly for the first time in 1992, these works have been included in major international exhibitions in Los Angeles, Chicago, London, and New York. Drawing on unpublished primary sources, letters, and writings by Oiticica himself, this illustrated examination of Oiticica's work considers the vast catalog of theoretical references the artist's work relies on, from anticolonial materialism to French phenomenology and postmodern media theory to the work of Jean-Luc Godard, Andy Warhol, and Brazilian avant-garde filmmakers. It discusses Oiticica's work in relation to the diaspora of Brazilian intellectuals during the military dictatorship, the politics of media circulation, the commercialization of New York's queer underground, the explicit use of cocaine as means of production, and possible future reappraisals of Oiticica's work.
This book focuses on process simulation in chemical engineering with a numerical algorithm based on the moving finite element method (MFEM). It offers new tools and approaches for modeling and simulating time-dependent problems with moving fronts and with moving boundaries described by time-dependent convection-reaction-diffusion partial differential equations in one or two-dimensional space domains. It provides a comprehensive account of the development of the moving finite element method, describing and analyzing the theoretical and practical aspects of the MFEM for models in 1D, 1D+1d, and 2D space domains. Mathematical models are universal, and the book reviews successful applications of MFEM to solve engineering problems. It covers a broad range of application algorithm to engineering problems, namely on separation and reaction processes presenting and discussing relevant numerical applications of the moving finite element method derived from real-world process simulations.
Collection of 120 peer-reviewed papers that were presented at the 3rd International Conference on Advanced Research in Virtual and Rapid Prototyping, held in Leiria, Portugal in September 2007. Essential reading for all those working on V&RP, focused on inducing increased collaboration between industry and academia. In addition to key
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.