Helene Kirchner's Books

Algebraic and Logic Programming

Second International Conference, Nancy, France, October 1-3, 1990. Proceedings

By: Helene Kirchner,Wolfgang Wechler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Algebraic and Logic Programming

Second International Conference, Nancy, France, October 1-3, 1990. Proceedings

By: Helene Kirchner,Wolfgang Wechler

This volume consists of papers presented at the Second International Conference on Algebraic and Logic Programming in Nancy, France, October 1-3, 1990.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

402

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540531629

ISBN 13

9783540531623

Childe Hassam, American Impressionist

By: Helene Barbara Weinberg

Write a review Read reviews Take a Quiz Solve Book Puzzle

Childe Hassam, American Impressionist

By: Helene Barbara Weinberg

This illustrated publication accompanies a major exhibition at the Metropolitan Museum, the first retrospective presentation of Hassam's work in a museum since 1972. Unique to this volume are an account of Hassam's lifelong campaign to market his art, a study of the frames he selected and designed for his paintings, and an unprecedented lifetime exhibition record. Included in addition are a checklist of works in the exhibition and a chronology of Hassam's life. All works in the exhibition as well as comparative materials are reproduced."--BOOK JACKET.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

441

Publisher

Metropolitan Museum of Art

Published Date

ISBN 10

1588391191

ISBN 13

9781588391193

Oogenesis

The Universal Process

By: Marie-Helene Verlhac,Anne Villeneuve

Write a review Read reviews Take a Quiz Solve Book Puzzle

Oogenesis

The Universal Process

By: Marie-Helene Verlhac,Anne Villeneuve

Oogenesis - the process by which female germ cells develop into mature eggs, or ova - is a complex process involving many important elements of developmental and cellular biology: from cell-cell interactions, complex signalling cascades, specialized cell cycles and cytoskeleton organization. Oocytes from various species (including clam, starfish, xenopus and mouse) are excellent model systems to study the biochemistry of cell division with important implications for basic and clinical research. This book describes the entire process of oogenesis in chronological order with contributions from leading international researchers and chapters covering medical and ethical considerations in oogenic biology. Topics include sex determination and gonadal development, control of meiotic chromosome pairing and homologous recombination, control of meiotic divisions and the remodelling of the oocyte into a totipotent zygote as well as medically-assisted reproduction. This volume is an essential resource for all students, researchers and clinicians in developmental and reproductive biology. Key features: Reaches beyond the study of simply meiosis to cover all aspects of oogenesis Synthesizes recent advances in the field, drawing on studies from different model species Chapter sequence designed to follow the time line in vivo Written by an international panel of expert researchers

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

516

Publisher

John Wiley & Sons

Published Date

ISBN 10

0470687983

ISBN 13

9780470687987

Women in the Classical World

Image and Text

By: Elaine Fantham,Helene Peet Foley,Natalie Boymel Kampen,Sarah B. Pomeroy,H. A. Shapiro

Write a review Read reviews Take a Quiz Solve Book Puzzle

Women in the Classical World

Image and Text

By: Elaine Fantham,Helene Peet Foley,Natalie Boymel Kampen,Sarah B. Pomeroy,H. A. Shapiro

Information about women is scattered throughout the fragmented mosaic of ancient history: the vivid poetry of Sappho survived antiquity on remnants of damaged papyrus; the inscription on a beautiful fourth century B.C.E. grave praises the virtues of Mnesarete, an Athenian woman who died young; a great number of Roman wives were found guilty of poisoning their husbands, but was it accidental food poisoning, or disease, or something more sinister. Apart from the legends of Cleopatra, Dido and Lucretia, and images of graceful maidens dancing on urns, the evidence about the lives of women of the classical world--visual, archaeological, and written--has remained uncollected and uninterpreted. Now, the lavishly illustrated and meticulously researched Women in the Classical World lifts the curtain on the women of ancient Greece and Rome, exploring the lives of slaves and prostitutes, Athenian housewives, and Rome's imperial family. The first book on classical women to give equal weight to written texts and artistic representations, it brings together a great wealth of materials--poetry, vase painting, legislation, medical treatises, architecture, religious and funerary art, women's ornaments, historical epics, political speeches, even ancient coins--to present women in the historical and cultural context of their time. Written by leading experts in the fields of ancient history and art history, women's studies, and Greek and Roman literature, the book's chronological arrangement allows the changing roles of women to unfold over a thousand-year period, beginning in the eighth century B.C.E. Both the art and the literature highlight women's creativity, sexuality and coming of age, marriage and childrearing, religious and public roles, and other themes. Fascinating chapters report on the wild behavior of Spartan and Etruscan women and the mythical Amazons; the changing views of the female body presented in male-authored gynecological treatises; the "new woman" represented by the love poetry of the late Republic and Augustan Age; and the traces of upper- and lower-class life in Pompeii, miraculously preserved by the eruption of Mount Vesuvius in 79 C.E. Provocative and surprising, Women in the Classical World is a masterly foray into the past, and a definitive statement on the lives of women in ancient Greece and Rome.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

443

Publisher

Oxford University Press

Published Date

ISBN 10

0199762163

ISBN 13

9780199762163

Aaron Douglas

Art, Race, and the Harlem Renaissance

By: Amy Helene Kirschke

Write a review Read reviews Take a Quiz Solve Book Puzzle

Aaron Douglas

Art, Race, and the Harlem Renaissance

By: Amy Helene Kirschke

The only book about the premier visual artist of the Harlem Renaissance

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

260

Publisher

Univ. Press of Mississippi

Published Date

ISBN 10

0878058001

ISBN 13

9780878058006

Development of New Radical Cascades and Multi-Component Reactions

Application to the Synthesis of Nitrogen-Containing Heterocycles

By: Marie-Helene Larraufie

Write a review Read reviews Take a Quiz Solve Book Puzzle

Development of New Radical Cascades and Multi-Component Reactions

Application to the Synthesis of Nitrogen-Containing Heterocycles

By: Marie-Helene Larraufie

In this dissertation, Marie-Hélène Larraufie develops original radical and pallado-catalyzed methodologies to enable the synthesis of several classes of bioactive nitrogen-containing heterocycles. New radical cascades employing the N-acylcyanamide moiety offer straightforward routes to quinazolinones and guanidines, as well as new insights into the mechanism of homolytic aromatic substitutions. In parallel, Larraufie expands the scope of visible light photoredox catalysis to the ring opening of epoxides and aziridines, thus providing new sustainable alternatives for the generation of radicals. Furthermore, in a collaborative effort with the Catellani group, the author investigates dual palladium/norbornene catalysis. First, she develops a C-amination coupling variant of the Catellani reaction with unprotected amines which provides an expeditious route to phenanthridines. Then, she examines the influence of the chelating effect on Pd(IV) intermediates reactivity with the help of experimental studies and DFT calculations. The work in this thesis has resulted in numerous publications in high impact journals.The clarity and depth of the experimental section will be useful for students and researchers working in this field.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

340

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3319013246

ISBN 13

9783319013244

The Toxic Museum

Berlin and Beyond

By: Helene Tello

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Toxic Museum

Berlin and Beyond

By: Helene Tello

The Toxic Museum examines the use of pesticides in German museum collections at the end of the 19th and early 20th centuries. It reconstructs the research of substances against harmful insects in museum collections within the historical context of the formation of nation-states, colonialism, a strengthening chemical industry, the First World War, and the resulting broad-based hygiene movement through the lens of the Ethnologisches Museum (Ethnological Museum) in Berlin. Because of their persistence, the consequences of the use of pesticides in museum collections are now unmistakable and well documented in many places. Numerous objects are highly contaminated and are only accessible under difficult conditions regarding occupational health and safety. This creates obstacles for conservation and scientific processing, as well as for mediation in the context of exhibitions and external loans. The most precarious and difficult situations arise when contaminated museum objects are repatriated to their countries of origin. This monograph examines contemporary challenges in the 21st century museum landscape and contextualises the history of pesticide use at the turn of the 20th century. The Toxic Museum will be of great interest to students and scholars working in conservation, museology, monument preservation, art and cultural studies, ethnology, history, and economics.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

284

Publisher

Taylor & Francis

Published Date

ISBN 10

1003832261

ISBN 13

9781003832263

Algebraic and Logic Programming

Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings

By: Hélène Kirchner,Giorgio Levi

Write a review Read reviews Take a Quiz Solve Book Puzzle

Algebraic and Logic Programming

Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings

By: Hélène Kirchner,Giorgio Levi

This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 2-4, 1992. Like the two previous conferences in Germany in 1988 and France in 1990, the third conference aims at strengthening the connections betweenalgebraic techniques and logic programming. On the one hand, logic programming has been very successful during the last decades and more and more systems compete in enhancing its expressive power. On the other hand, concepts like functions, equality theory, and modularity are particularly well handled in an algebraic framework. Common foundations of both approaches have recently been developed, and this conference is a forum for people from both areas to exchange ideas, results, and experiences. The book covers the following topics: semantics ofalgebraic and logic programming; integration of functional and logic programming; term rewriting, narrowing, and resolution; constraintlogic programming and theorem proving; concurrent features in algebraic and logic programming languages; and implementation issues.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

476

Publisher

Springer Science & Business Media

Published Date

ISBN 10

354055873X

ISBN 13

9783540558736

Algebraic and Logic Programming

Second International Conference, Nancy, France, October 1-3, 1990. Proceedings

By: Helene Kirchner,Wolfgang Wechler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Algebraic and Logic Programming

Second International Conference, Nancy, France, October 1-3, 1990. Proceedings

By: Helene Kirchner,Wolfgang Wechler

This volume consists of papers presented at the Second International Conference on Algebraic and Logic Programming in Nancy, France, October 1-3, 1990.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

402

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540531629

ISBN 13

9783540531623

Algebraic Methodology and Software Technology

9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings

By: Helene Kirchner,Christophe Ringeissen

Write a review Read reviews Take a Quiz Solve Book Puzzle

Algebraic Methodology and Software Technology

9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings

By: Helene Kirchner,Christophe Ringeissen

This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9–13, 2002, in Saint-Gilles-les-Bains, R ́eunion Island, France. The major goal of the AMAST conferences is to promote research that may lead to setting software technology on a ?rm mathematical basis. This goal is achieved through a large international cooperation with contributions from both academia and industry. Developing a software technology on a mathematical basis p- duces software that is: (a) correct, and the correctness can be proved mathem- ically, (b) safe, so that it can be used in the implementation of critical systems, (c) portable, i. e. , independent of computing platforms and language generations, (d) evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. All previous AMAST conferences, which were held in Iowa City (1989, 1991), Twente (1993), Montreal (1995), Munich (1996), Sydney (1997), Manaus (1999), and Iowa City (2000), made contributions to the AMAST goals by reporting and disseminating academic and industrial achievements within the AMAST area of interest. During these meetings, AMAST attracted an international following among researchers and practitioners interested in software technology, progr- ming methodology, and their algebraic, and logical foundations.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

550

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540441441

ISBN 13

9783540441441

Trees in Algebra and Programming - CAAP '96

21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings

By: Helene Kirchner

Write a review Read reviews Take a Quiz Solve Book Puzzle

Trees in Algebra and Programming - CAAP '96

21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings

By: Helene Kirchner

This book constitutes the refereed proceedings of the 21st International Colloquium on Trees in Algebra and Programming, CAAP '96, held in Linköping, Sweden, in April 1996. The 21 full revised papers presented were selected from 44 submissions; also included are invited papers by Samson Abramsky and Frank Pfenning. In keeping with the tradition of the CAAP conferences, this volume covers algebraic, logical, and combinatorial properties of discrete structures and their application to computer science, in particular to the theory of computation and to programming theory.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

336

Publisher

Springer

Published Date

ISBN 10

3662214180

ISBN 13

9783662214183

Automated Deduction - CADE-15

15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

By: Claude Kirchner,Helene Kirchner

Write a review Read reviews Take a Quiz Solve Book Puzzle

Automated Deduction - CADE-15

15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

By: Claude Kirchner,Helene Kirchner

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

468

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540646752

ISBN 13

9783540646754

The Helene Hanff Omnibus

By: Helene Hanff

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Helene Hanff Omnibus

By: Helene Hanff

Reflecting her combination of dry humour and observation, this is an omnibus edition of the American Helene Hanff's five autobiographical books - Underfoot in Showbusiness, 84 Charing Cross Road, The Duchess of Bloomsbury Street, Apple of My Eye and Q's Legacy.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

601

Publisher

Sphere

Published Date

ISBN 10

0751507768

ISBN 13

9780751507768

Book's by Helene Kirchner

Algebraic and Logic Programming

Algebraic and Logic Programming

Childe Hassam, American Impressionist

Childe Hassam, American Impressionist

Oogenesis

Oogenesis

Women in the Classical World

Women in the Classical World

Aaron Douglas

Aaron Douglas

Development of New Radical Cascades and Multi-Component Reactions

Development of New Radical Cascades and Multi-Component Reactions

The Toxic Museum

The Toxic Museum

Algebraic and Logic Programming

Algebraic and Logic Programming

Algebraic and Logic Programming

Algebraic and Logic Programming

Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

Trees in Algebra and Programming - CAAP '96

Trees in Algebra and Programming - CAAP '96

Automated Deduction - CADE-15

Automated Deduction - CADE-15

The Helene Hanff Omnibus

The Helene Hanff Omnibus

Username

Password

Username

Password

Password again

Birthday

Email