Jorge Sousa Pinto's Books

Rigorous Software Development

An Introduction to Program Verification

By: José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto,Simão Melo de Sousa

Write a review Read reviews Take a Quiz Solve Book Puzzle

Rigorous Software Development

An Introduction to Program Verification

By: José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto,Simão Melo de Sousa

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.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

269

Publisher

Springer Science & Business Media

Published Date

ISBN 10

0857290185

ISBN 13

9780857290182

The Portuguese and the Straits of Melaka, 1575-1619

Power, Trade and Diplomacy

By: Paulo Jorge De Sousa Pinto

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Portuguese and the Straits of Melaka, 1575-1619

Power, Trade and Diplomacy

By: Paulo Jorge De Sousa Pinto

Following the fall of the Melaka Sultanate to the Portuguese in 1511, the sultanates of Johor and Aceh emerged as major trading centers alongside Portuguese Melaka. Each power represented wider global interests. Aceh had links with Gujerat, the Ottoman Empire and the Levant. Johor was a center for Javanese merchants and others involved with the Eastern spice trade. Melaka was part of the Estado da India, Portugal's trading empire that extended from Japan to Mozambique. Throughout the sixteenth century, a peculiar balance among the three powers became an important character of the political and economical life in the Straits of Melaka. The arrival of the Dutch in the early seventeenth century upset the balance and led to the decline of Portuguese Melaka. Making extensive use of contemporary Portuguese sources, Paulo Pinto uses geopolitical approach to analyze the financial, political, economic and military institutions that underlay this triangular arrangement, a system that persisted because no one power could achieve an undisputed hegemony. He also considers the position of post-conquest Melaka in the Malay World, where it remained a symbolic center of Malay civilization and a model of Malay political authority despite changes associated with Portuguese rule. In the process provides information on the social, political and genealogical circumstances of the Johor and Aceh sultanates.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

415

Publisher

NUS Press

Published Date

ISBN 10

9971695707

ISBN 13

9789971695705

International Conference On Dynamical Systems

By: F Ledrappier,Sheldon Newhouse,Jorge Lewowicz

Write a review Read reviews Take a Quiz Solve Book Puzzle

International Conference On Dynamical Systems

By: F Ledrappier,Sheldon Newhouse,Jorge Lewowicz

This volume clearly reflects Ricardo Mane's legacy, his contribution to mathematics and the diversity of his mathematical intersts. It contains fifteen refereed research papers on thems including Hamiltonian and Lagrangian dynamics, growth rate of the number of geodesics on a compact manifold, one dimensional complex and real dynamics, and bifurcations and singular cycles. This book also contains two famous sets of notes by Ricardo Mane. One is the seminal paper on Lagrangian dynamics that he had prepared for the conference; the other is on the genericity of zero exponents area preserving diffeomorphisms on surfaces when non Anosov. This book will be of particular interest to researchers and graduate students in mathematics, mechanics and mathematical physics.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

260

Publisher

CRC Press

Published Date

ISBN 10

058230296X

ISBN 13

9780582302969

Pattern Recognition and Image Analysis

Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceeding

By: Jorge S. Marques

Write a review Read reviews Take a Quiz Solve Book Puzzle

Pattern Recognition and Image Analysis

Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceeding

By: Jorge S. Marques

The two-volume set LNCS 3522 and 3523 constitutes the refereed proceedings of the Second Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2005, held in Estoril, Portugal in June 2005. The 170 revised full papers presented were carefully reviewed and selected from 292 submissions. The papers are organized in topical sections on computer vision, shape and matching, image and video processing, image and video coding, face recognition, human activity analysis, surveillance, robotics, hardware architectures, statistical pattern recognition, syntactical pattern recognition, image analysis, document analysis, bioinformatics, medical imaging, biometrics, speech recognition, natural language analysis, and applications.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

742

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540261540

ISBN 13

9783540261544

Empire of Contingency

How Portugal Entered the Indo-Persian World

By: Jorge Flores

Write a review Read reviews Take a Quiz Solve Book Puzzle

Empire of Contingency

How Portugal Entered the Indo-Persian World

By: Jorge Flores

Explores the information and communication practices of the Portuguese empire in sixteenth- and seventeenth-century India Empire of Contingency explores the information and communication practices of the Portuguese empire in late sixteenth- and seventeenth-century India—a period during which Portuguese imperial ambitions were struggling for survival, while the Mughal empire was at the height of its power and influence. Jorge Flores uncovers the tenuous but ingenious apparatuses of intelligence through which the Estado da Índia (the “State of the Indies,” the name given to the Portuguese political administrative unit in the region between the Cape of Good Hope and East Asia) endeavored to survive in a vast Indo-Persian world shaped by the influence and power of the Mughal empire. Detailing the complex relations that the officials of the Portuguese empire, particularly in Goa, the capital of the Estado da Índia, maintained with the Mughal empire as well as the sultanates of Ahmadnagar and Bijapur in the Deccan region—through information gathering, record-keeping, interpreting, and diplomatic correspondence—the book demonstrates how the Portuguese territories along the western coast of India were substantially incorporated into the vast Persianate cultural sphere spanning from Iran to Southeast Asia. The process of empire-building on the fringes of the Persianate world and the prolonged interaction with the Mughal empire, Ahmadnagar, and Bijapur, Flores argues, led to the irregular, non-linear, and incomplete assimilation of the Portuguese empire into Persianate India. Overturning teleological narratives that portray the workings of (European) empire as the unilateral imposition of power dynamics by a dominant, omniscient actor, Flores reveals how Portuguese imperial administrators were vulnerable participants in a network of relations involving multiple political powers—relations that required enormous bureaucratic and diplomatic effort to understand and successfully navigate. Showing how a European empire was drawn into the political practices and rituals of the Indo-Persian world, Flores decenters the lenses conventionally used to observe the Portuguese empire in Asia and helps us rethink its nature while questioning the boundaries of the Indo-Persian world.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

345

Publisher

University of Pennsylvania Press

Published Date

ISBN 10

1512826456

ISBN 13

9781512826456

Unwanted Neighbours

The Mughals, the Portuguese,and Their Frontier Zones

By: Jorge Flores

Write a review Read reviews Take a Quiz Solve Book Puzzle

Unwanted Neighbours

The Mughals, the Portuguese,and Their Frontier Zones

By: Jorge Flores

In December 1572 the Mughal emperor Akbar arrived in the port city of Khambayat. Having been raised in distant Kabul, Akbar, in his thirty years, had never been to the ocean. Presumably anxious with the news about the Mughal military campaign in Gujarat, several Portuguese merchants in Khambayat rushed to Akbar’s presence. This encounter marked the beginning of a long, complex, and unequal relationship between a continental Muslim empire that was expanding into south India, often looking back to Central Asia, and a European Christian maritime empire whose rulers considered themselves ‘kings of the sea’. By the middle of the seventeenth century, these two empires faced each other across thousands of kilometres from Sind to Bijapur, with a supplementary eastern arm in faraway Bengal. Focusing on borderland management, imperial projects, and cross-cultural circulation, this volume delves into the ways in which, between c. 1570 and c. 1640, the Portuguese understood and dealt with their undesirably close neighbours—the Mughals.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

283

Publisher

Oxford University Press

Published Date

ISBN 10

0199093687

ISBN 13

9780199093687

Monetary Policy Transmission Through Commodity Prices

By: Jorge Miranda-Pinto,Mr. Andrea Pescatori,Ervin Prifti,Guillermo Verduzco-Bustos

Write a review Read reviews Take a Quiz Solve Book Puzzle

Monetary Policy Transmission Through Commodity Prices

By: Jorge Miranda-Pinto,Mr. Andrea Pescatori,Ervin Prifti,Guillermo Verduzco-Bustos

Monetary policy influences inflation dynamics by exerting impact on a diverse array of commodity prices. At high frequencies, we show that a 10 basis points increase in US monetary policy rate reduces commodity prices between 0.5% and 2.5%, after 18 to 24 business days. Beyond the dollar appreciation channel, the effects are larger for highly storable and industrial commodities, consistent with the cost of carry and the expected demand channel. We then study the quantitative importance of the commodity-price channel of monetary policy on domestic and international inflation at longer horizons (6-36 months). The results indicate that the response of commodity prices—oil, base metals, and food prices—to monetary policy accounts for 47% of the total effect of US monetary policy on US headline inflation, and 57% of the effect of US monetary policy on other countries’ headline inflation. The commodity price channel on core inflation is smaller and mainly driven by base metal prices. Finally, the commodity-price channel of ECB monetary policy is smaller, and it mainly operates through its effect on energy prices.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Publisher

International Monetary Fund

Published Date

ISBN 13

9798400256691

Climate Change Impact on Environmental Variability in the Forest

By: Leonel Jorge Ribeiro Nunes,Catarina Isabel Rodrigues Meireles,Carlos José Pinto Gomes,Nuno Manuel Cabral de Almeida Ribeiro

Write a review Read reviews Take a Quiz Solve Book Puzzle

Climate Change Impact on Environmental Variability in the Forest

By: Leonel Jorge Ribeiro Nunes,Catarina Isabel Rodrigues Meireles,Carlos José Pinto Gomes,Nuno Manuel Cabral de Almeida Ribeiro

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.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

102

Publisher

Springer Nature

Published Date

ISBN 10

3030344177

ISBN 13

9783030344177

Expert Knowledge-based Inspection Systems

Inspection, Diagnosis, and Repair of the Building Envelope

By: Jorge de Brito,Clara Pereira,José D. Silvestre,Inês Flores-Colen

Write a review Read reviews Take a Quiz Solve Book Puzzle

Expert Knowledge-based Inspection Systems

Inspection, Diagnosis, and Repair of the Building Envelope

By: Jorge de Brito,Clara Pereira,José D. Silvestre,Inês Flores-Colen

This book provides a novel approach to building pathology in current buildings. Drawing on the available literature, hands-on experience and fieldwork inspections, it presents a systematic perspective on the pathology of the building envelope. The book addresses natural stone claddings, adhesive ceramic tiling, renders, painted surfaces, External Thermal Insulation Composite Systems (ETICS), architectural concrete surfaces, windows and doors framing, and claddings for pitched and flat roofs. In addition to highlighting selected materials and construction elements, the book proposes a global classification system for defects and their probable causes, together with in situ diagnosis methods and repair techniques. It also identifies the relationships between defects and causes, diagnosis methods and repair techniques, and the interdependence between different defects, presenting these relations in the form of correlation matrices. Support files with detailed information and an inspection form are also provided. Selected case studies are presented to illustrate the value of a guidance system in fieldwork. Given its scope, the book offers a valuable guide, particularly for researchers, building inspectors, civil engineers, architects and maintenance planners.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

493

Publisher

Springer Nature

Published Date

ISBN 10

3030424464

ISBN 13

9783030424466

Rigorous Software Development

An Introduction to Program Verification

By: José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto,Simão Melo de Sousa

Write a review Read reviews Take a Quiz Solve Book Puzzle

Rigorous Software Development

An Introduction to Program Verification

By: José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto,Simão Melo de Sousa

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

269

Publisher

Springer Science & Business Media

Published Date

ISBN 10

0857290185

ISBN 13

9780857290182

The Portuguese and the Straits of Melaka, 1575-1619

Power, Trade and Diplomacy

By: Paulo Jorge De Sousa Pinto

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Portuguese and the Straits of Melaka, 1575-1619

Power, Trade and Diplomacy

By: Paulo Jorge De Sousa Pinto

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

415

Publisher

NUS Press

Published Date

ISBN 10

9971695707

ISBN 13

9789971695705

Book's by Jorge Sousa Pinto

Rigorous Software Development

Rigorous Software Development

The Portuguese and the Straits of Melaka, 1575-1619

The Portuguese and the Straits of Melaka, 1575-1619

International Conference On Dynamical Systems

International Conference On Dynamical Systems

Pattern Recognition and Image Analysis

Pattern Recognition and Image Analysis

Empire of Contingency

Empire of Contingency

Unwanted Neighbours

Unwanted Neighbours

Monetary Policy Transmission Through Commodity Prices

Monetary Policy Transmission Through Commodity Prices

Climate Change Impact on Environmental Variability in the Forest

Climate Change Impact on Environmental Variability in the Forest

Expert Knowledge-based Inspection Systems

Expert Knowledge-based Inspection Systems

Rigorous Software Development

Rigorous Software Development

The Portuguese and the Straits of Melaka, 1575-1619

The Portuguese and the Straits of Melaka, 1575-1619

Username

Password

Username

Password

Password again

Birthday

Email