Resultados de Pesquisa

INGLÊS

Compressed Data Structures For Strings - On Searching And Extracting Strings From Compressed Textual Data

de Rossano Venturini

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Data compression is mandatory to manage massive datasets, indexing is fundamental to query them.
INGLÊS

Constraints Meet Concurrency

de Jacopo Mauro

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Constraints Meet Concurrency
INGLÊS

Analysis And Enumeration - Algorithms For Biological Graphs

de Andrea Marino

83,46€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 In this work we plan to revise the main techniques for enumeration algorithms and to show four examples of enumeration algorithms that can be applied to efficiently deal with some biological problems modelled by using biological networks: enumerating central and peripheral nodes of a network, enumerating stories, enumerating paths or cycles, and enumerating bubbles. Notice that the corresponding computational problems we define are of more general interest and our results hold in the case of arbitrary graphs. Enumerating all the most and less central vertices in a network according to their eccentricity is an example of an enumeration problem whose solutions are polynomial and can be listed in polynomial time, very often in linear or almost linear time in practice. Enumerating stories, i.e. all maximal directed acyclic subgraphs of a graph G whose sources and targets belong to a predefined subset of the vertices, is on the other hand an example of an enumeration problem with an exponential number of solutions, that can be solved by using a non trivial brute-force approach. Given a metabolic network, each individual story should explain how some interesting metabolites are derived from some others through a chain of reactions, by keeping all alternative pathways between sources and targets. Enumerating cycles or paths in an undirected graph, such as a protein-protein interaction undirected network, is an example of an enumeration problem in which all the solutions can be listed through an optimal algorithm, i.e. the time required to list all the solutions is dominated by the time to read the graph plus the time required to print all of them. By extending this result to directed graphs, it would be possible to deal more efficiently with feedback loops and signed paths analysis in signed or interaction directed graphs, such as gene regulatory networks. Finally, enumerating mouths or bubbles with a source s in a directed graph, that is enumerating all the two vertex-disjoint directed paths between the source s and all the possible targets, is an example of an enumeration problem in which all the solutions can be listed through a linear delay algorithm, meaning that the delay between any two consecutive solutions is linear, by turning the problem into a constrained cycle enumeration problem. Such patterns, in a de Bruijn graph representation of the reads obtained by sequencing, are related to polymorphisms in DNA- or RNA-seq data.
INGLÊS

Type Systems For Distributed Programs: Components And Sessions

de Ornela Dardha

94,08€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 <div>In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings.</div><div>The main contributions of this book are twofold.<br><br></div><div>i) We design a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations.<br><br></div><div>ii) We define an encoding of the session pi-calculus, which models communication in distributed systems, into the standard typed pi-calculus. We use this encoding to derive properties like type safety and progress in the session pi-calculus by exploiting the corresponding properties in the standard typed pi-calculus.</div>
INGLÊS

Code Generation With Templates

de A. Serebrenik, J.J. Brunekreef, Jeroen Arnoldus e Mark Van Den Brand

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Covers the topic of templates in software engineering. This book discusses the theoretical background of templates. It shows that the metalanguage can be limited to the power of a tree-to-string transducer. It discusses an approach where the template evaluator explicitly guarantees syntactical correctness of the output.
INGLÊS

Instruction Sequences For Computer Science

de Cornelis A. Middelburg e Jan A Bergstra

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Demonstrates that the concept of an instruction sequence offers a useful viewpoint on issues relating to diverse subjects in computer science. This title investigates selected issues relating to well-known subjects from the theory of computation and the area of computer architecture in terms of a common model of computation.
INGLÊS

Logics In Computer Science - A Study On Extensions Of Temporal And Strategic Logics

de Fabio Mogavero

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
INGLÊS

Logics In Computer Science - A Study On Extensions Of Temporal And Strategic Logics

de Fabio Mogavero

60,82€ + 10% EM CARTÃO

portes grátis

 In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
INGLÊS

Compressed Data Structures For Strings - On Searching And Extracting Strings From Compressed Textual Data

de Rossano Venturini

60,82€ + 10% EM CARTÃO

portes grátis

 Data compression is mandatory to manage massive datasets, indexing is fundamental to query them.
INGLÊS

The Essential Knuth

de Donald E (Stanford University California) Knuth

ESGOTADO OU NÃO DISPONÍVEL
INGLÊS

Turing Tales

de Edgar G Daylight

ESGOTADO OU NÃO DISPONÍVEL
INGLÊS

Spanish Pyrenees - And Steppes Of Huesca - Spain

de Dirk Hilbers e Kees Woutersen

33,41€

portes grátis

ESGOTADO OU NÃO DISPONÍVEL

 This is the new edition of the successful Spanish Pyrenees and steppes of Huesca - Spain. This Crossbill Guide covers all aspects of this region: Wildlife and landscape: birdwatching sites, the most intact wilderness areas, the butterflies and wildflowers and geological phenomena.
INGLÊS

Canary Islands - Fuerteventura And Lanzarote - Spain

de Dirk Hilbers e Kees Woutersen

31,03€

portes grátis

ESGOTADO OU NÃO DISPONÍVEL
INGLÊS

Rijks - Masters Of The Golden Age

de Marcel Wanders

168,98€

portes grátis

ESGOTADO OU NÃO DISPONÍVEL

 An homage to the 17th-century Dutch masterpieces from the Rijksmuseum's prestigious Gallery of Honour, with over 60 iconic paintings.
INGLÊS

Decorations - Kasper Bosmans

ESGOTADO OU NÃO DISPONÍVEL
INGLÊS

Wdwxxv - In Light Of 25 Years

de Defne Ayas e Samuel Saelemakers

ESGOTADO OU NÃO DISPONÍVEL
INGLÊS

Art In The Age Of...

ESGOTADO OU NÃO DISPONÍVEL
INGLÊS

End Note - Moderation 2012-2014

de Nadim Abbas

ESGOTADO OU NÃO DISPONÍVEL
INGLÊS

Rotterdam Zuid - Home

de Erik Van Lieshout

ESGOTADO OU NÃO DISPONÍVEL
INGLÊS

Angela Bulloch - Source Book 10

de George Van Dam, Nav Haq e Nicolaus Schafhausen

ESGOTADO OU NÃO DISPONÍVEL
INGLÊS

One Leg In The Grave Revisited

32,19€

portes grátis

ESGOTADO OU NÃO DISPONÍVEL

 This book offers over 80 reproductions of representations of the Miracle of the Black Leg, quite a number of which have never been published before. Articles by art historians (De Jong, Fracchia), medievalists (Santing), and an Introduction by Zimmerman himself, shed light on different aspects of the legend.
INGLÊS

The Occupied Coast - Living In The Shadow Of The Atlantic Wall

de Aline Sax, Hannelore Vandebroek e Jonas Raats

32,19€

portes grátis

ESGOTADO OU NÃO DISPONÍVEL

 Telling the story of the English, French and Belgian people who were living where Hitler built his Atlantic Wall, and including testimonies, documents from archives world wide, and previously unpublished images.
INGLÊS

Limits Of Patriarchy - How Female Networks Of Pilfering And Gossip Sparked The First Debates On Rural Gender Rights In The 19th-Century Finnish-Language Press

de Laura Stark

ESGOTADO OU NÃO DISPONÍVEL
INGLÊS

Hardly Ever Otherwise

de Maria Matios

ESGOTADO OU NÃO DISPONÍVEL

 Stories of several Ukrainian families in the Carpathian mountains during the last decade of the Austro-Hungarian Empire told as seen through the eyes of Ukrainian women, highlighting aspects of culture and daily life.
A carregar resultados...

Ver mais resultados