You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
O Direito de Propriedade Intelectual na indústria farmacêutica tem sido alvo de infrações no âmbito das patentes. Explorando a possibilidade de soluções inovadoras em harmonia com a proteção dos bens jurídicos em causa, investiga-se a compatibilidade da Blockchain com o setor farmacêutico, com o intuito de ser reconhecida a utilidade que a tecnologia pode proporcionar ao colmatar as lacunas existentes no mercado, garantindo uma melhor proteção dos Direitos de Propriedade Intelectual. O objetivo é proporcionar ao leitor um pensamento crítico detalhado das complexidades expostas ao longo da obra, permitindo-lhe avaliar o potencial de uma tecnologia alternativa para a proteção dos direitos em causa.
The South Asian Christian diaspora is largely invisible in the literature about religion and migration. This is the first comprehensive study of South Asian Christians living in Europe and North America, presenting the main features of these diasporas, their community histories and their religious practices. The South Asian Christian diaspora is pluralistic both in terms of religious adherence, cultural tradition and geographical areas of origin. This book gives justice to such pluralism and presents a multiplicity of cultures and traditions typical of the South Asian Christian diaspora. Issues such as the institutionalization of the religious traditions in new countries, identity, the paradox of belonging both to a minority immigrant group and a majority religion, the social functions of rituals, attitudes to language, generational transfer, and marriage and family life, are all discussed.
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model—representing, for example, a hardware or software design—satisfies a formal specification expressed as a temporal logic formula. If the specification is not satisfied, the method identifies a counterexample execution that shows the source of the problem. Today, many major hardware and software companies use model checking in practice, for verification of VLSI circuits, communication protocols, software...
None
None
The Atlantic Forest is one of the 36 hotspots for biodiversity conservation worldwide. It is a unique, large biome (more than 3000 km in latitude; 2500 in longitude), marked by high biodiversity, high degree of endemic species and, at the same time, extremely threatened. Approximately 70% of the Brazilian population lives in the area of this biome, which makes the conflict between biodiversity conservation and the sustainability of the human population a relevant issue. This book aims to cover: 1) the historical characterization and geographic variation of the biome; 2) the distribution of the diversity of some relevant taxa; 3) the main threats to biodiversity, and 4) possible opportunities to ensure the biodiversity conservation, and the economic and social sustainability. Also, it is hoped that this book can be useful for those involved in the development of public policies aimed at the conservation of this important global biome.
None