Search Results
-
Virtuality and Capabilities in a World of Ambient Intelligence
by Luiz CostaThis book is about power and freedoms in our technological world and has two main objectives. The first is to demonstrate that a theoretical exploration of the algorithmic governmentality hypothesis combined with the capability approach is useful for a better understanding of power and freedoms in ... More
Language: ENGCopyright: 2016 -
The Enigma of Love
by Antonio Almas • Luís CostaGabriel during his long life was a lover of the eternal feminine, the Woman was always for him a perdition. As a young man, many young women passed through his life, many were slender, over the years he learned to curb this insatiable desire for the conquest of women's love, for the pursuit of perfe... More
Language: ENGCopyright: 2017 -
Verses Sertanejos
Sertão of the northeast, arid and barren land, Cradle of the greatest droughts, In cycles she delights herself. When they come it causes great damage, For the earth, fauna, flora and the man himself. Everything she consumes. And what to do? Before tremendous tragedy? There are two possibilities: Sta... More
Language: ENGCopyright: 2017 -
Language: ENGCopyright: 2018
-
The Art of Knowing to Relate: Learn how to relate in a healthy way
From that much of relations with the machines than with people, humans apparently lost the social skills needed to maintain good relationships. There are those who dropped to relate to and live today locked in a few cubic meters trying to live life alone. How to relate? How to maintain a relationsh... More
Language: ENGCopyright: 2018 -
Continuous Average Control of Piecewise Deterministic Markov Processes (SpringerBriefs in Mathematics)
The intent of this book is to present recent results in the control theory for the long run average continuous control problem of piecewise deterministic Markov processes (PDMPs). The book focuses mainly on the long run average cost criteria and extends to the PDMPs some well-known techniques relat... More
Language: ENGCopyright: 2013 -
Continuous-Time Markov Jump Linear Systems (Probability and Its Applications)
It has been widely recognized nowadays the importance of introducing mathematical models that take into account possible sudden changes in the dynamical behavior of a high-integrity systems or a safety-critical system. Such systems can be found in aircraft control, nuclear power stations, robotic ma... More
Language: ENGCopyright: 2013 -
Resolvendo a vida de Charlie
No primeiro fim-de-semana foi para uma conhecida cidade pelo seu frio, localizada em Kashmir, Dras. Algumas pessoas chamam-na de Drass. Até recebeu turistas com um letreiro pintado a dizer “Bem-vindos à Drass – o segundo lugar habitado, mais frio do mundo”. Era conhecido como a porta de entrada para... More
Language: PORCopyright: 2017 -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science #12233)
by Antonio Cerone • Riccardo Guidotti • Martin Kutrib • Emil Sekerinski • José N. Oliveira • Brijesh Dongol • Nelma Moreira • Daniel Ratiu • Marie Farrell • Matt Luckcuck • Diego Marmsoler • José Campos • Troy Astarte • Laure Gonnord • Luis Couto • Pedro Monteiro • David DelmasThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verifica... More
Language: ENGCopyright: 2020 -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #12232)
by Antonio Cerone • Riccardo Guidotti • Martin Kutrib • Emil Sekerinski • José N. Oliveira • Brijesh Dongol • Nelma Moreira • Daniel Ratiu • Marie Farrell • Matt Luckcuck • Diego Marmsoler • José Campos • Troy Astarte • Laure Gonnord • Luis Couto • Pedro Monteiro • David DelmasThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verifica... More
Language: ENGCopyright: 2020 -
Transpoetic Exchange: Haroldo de Campos, Octavio Paz, and Other Multiversal Dialogues (Bucknell Studies in Latin American Literature and Theory)
by Marília Librandi • Jamille Pinheiro Dias • Tom Winterbottom • Enrico Mario Santí • João Adolfo Hansen • Marjorie Perloff • Antonio Cicero • Luiz Costa-Lima • Odile Cisneros • Charles A. Perrone • Kenneth David Jackson • Benedito Nunes • Jerome Rothenberg • Keijiro Suga • André Vallias • Charles BernsteinTranspoetic Exchange illuminates the poetic interactions between Octavio Paz (1914-1998) and Haroldo de Campos (1929-2003) from three perspectives--comparative, theoretical, and performative. The poem Blanco by Octavio Paz, written when he was ambassador to India in 1966, and Haroldo de Campos’ tra... More
Language: ENGCopyright: 2020 -
O Óbvio
"O futuro de uma importante agência de publicidade passa pelo sucesso do seu projeto mais ousado e ambicioso, ao qual está vinculado não só o destino da empresa, mas também o dos homens que a tornaram grande e conhecida. Num clima de grande incerteza, todos são chamados a juntar as cabeças em tor... More
Language: PORCopyright: 2016 -
Borges and the Eternal Orangutans
Jorge Luis Borges is the hero of this literary whodunit by one of Brazil's most celebrated writers. Vogelstein is a loner who has always lived among books. Suddenly, fate grabs hold of his insignificant life and carries him off to Buenos Aires, to a conference on Edgar Allan Poe, the inventor o... More
Language: ENGCopyright: 2005 -
Advances in Animal Health, Medicine and Production: A Research Portrait of the Centre for Interdisciplinary Research in Animal Health (CIISA), University of Lisbon, Portugal
This book brings together in a review manner a comprehensive summary of high-quality research contributions from the different research teams and their collaborators, to celebrate the 25th anniversary of the Centre for Interdisciplinary Research in Animal Health (CIISA). The topics span from animal ... More
Language: ENGCopyright: 2020 -
The Spies
A frustrated publisher receives a mysterious angst-ridden manuscript: 'a friend' must send it in installments; its contents would put the author in danger. As he pieces together the story, he learns that the author is the wife of one of the two Martelli brothers - gangsters who dominate a small town... More
Language: ENGCopyright: 2012 -
Higher-Order Differential Equations and Elasticity (Mathematics and Physics for Science and Technology)
Higher-Order Differential Equations and Elasticity is the third book within Ordinary Differential Equations with Applications to Trajectories and Vibrations, Six-volume Set. As a set, they are the fourth volume in the series Mathematics and Physics Applied to Science and Technology. This third book ... More
Language: ENGCopyright: 2019 -
Non-Linear Differential Equations and Dynamical Systems (Mathematics and Physics for Science and Technology)
Non-Linear Differential Equations and Dynamical Systems is the second book within Ordinary Differential Equations with Applications to Trajectories and Vibrations, Six-volume Set. As a set, they are the fourth volume in the series Mathematics and Physics Applied to Science and Technology. This se... More
Language: ENGCopyright: 2019 -
Simultaneous Systems of Differential Equations and Multi-Dimensional Vibrations (Mathematics and Physics for Science and Technology)
Simultaneous Differential Equations and Multi-Dimensional Vibrations is the fourth book within Ordinary Differential Equations with Applications to Trajectories and Vibrations, Six-volume Set. As a set, they are the fourth volume in the series Mathematics and Physics Applied to Science and Techno... More
Language: ENGCopyright: 2019 -
Linear Differential Equations and Oscillators (Mathematics and Physics for Science and Technology)
Linear Differential Equations and Oscillators is the first book within Ordinary Differential Equations with Applications to Trajectories and Vibrations, Six-volume Set. As a set, they are the fourth volume in the series Mathematics and Physics Applied to Science and Technology. This first book co... More
Language: ENGCopyright: 2019 -
Classification and Examples of Differential Equations and their Applications (Mathematics and Physics for Science and Technology)
Classification and Examples of Differential Equations and their Applications is the sixth book within Ordinary Differential Equations with Applications to Trajectories and Vibrations, Six-volume Set. As a set, they are the fourth volume in the series Mathematics and Physics Applied to Science and Te... More
Language: ENGCopyright: 2019 -
Singular Differential Equations and Special Functions (Mathematics and Physics for Science and Technology)
Singular Differential Equations and Special Functions is the fifth book within Ordinary Differential Equations with Applications to Trajectories and Vibrations, Six-volume Set. As a set they are the fourth volume in the series Mathematics and Physics Applied to Science and Technology. This fifth... More
Language: ENGCopyright: 2019 -
Manual of Clinical Procedures in the Horse
Manual of Clinical Procedures in the Horse is a detailed step-by-step guide to clinical skills in equine practice. With information on techniques ranging from physical examination and blood sampling to lameness and neurologic exams and other specialized procedures, the book is an aid to confidently ... More
Language: ENGCopyright: 2018 -
Compressible Flow with Applications to Engines, Shocks and Nozzles (Mathematics and Physics for Science and Technology #11)
Compressible Flow with Application to Shocks and Propulsion is part of the series "Mathematics and Physics for Science and Technology", which combines rigorous mathematics with general physical principles to model practical engineering systems with a detailed derivation and interpretation of results... More
Language: ENGCopyright: 2021 -
Vector Fields with Applications to Thermodynamics and Irreversibility (Mathematics and Physics for Science and Technology #10)
Vector Fields with Applications to Thermodynamics and Irreversibility is part of the series "Mathematics and Physics for Science and Technology", which combines rigorous mathematics with general physical principles to model practical engineering systems with a detailed derivation and interpretation ... More
Language: ENGCopyright: 2021 -
Male Bodies, Women's Souls: Personal Narratives of Thailand's Transgendered Youth
by LeeRar CostaGet a detailed look at the Thai sex/gender systemthrough analysis of the personal stories from transgendered youth in ThailandThe Thai term sao braphet song (a second type of woman) describes males who reject the gender of masculinity for femininity. Male Bodies, Women&’s Souls: Personal Narrativ... More
Language: ENGCopyright: 2007