Dieses Handbuch eroertert den aktuellen Stand der Technik bei Faserstoffen und bietet einen breiten UEberblick uber deren Einsatz in Forschung und Entwicklung. Herausgeber ist ein fuhrender Experte des Fachgebiets. Abhandlungen stammen von erfahrenen Forschern im Bereich Fasern und Textilien. Band 1 legt den Schwerpunkt auf Faserklassen, die Herstellung und Charakterisierung von Fasern. Band 2 stellt Anwendungen vor, darunter auch neue Anwendungen aus den Bereichen Energie, Umweltwissenschaften und Gesundheitswesen. Ein hochaktuelles Fachbuch und einzigartiges Wissenskompendium fur Hochschule und Industrie.

These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27-30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading researchers and practitioners of both formal and dynamic veri?cation, for both hardware and software systems. This year's conference extended the successes of the previous years, with a largejumpinthenumberofsubmitted papers. Wereceived49totalsubmissions, with many more high-quality papers than we had room to accept. Submissions came from 19 di?erent countries, re?ecting the growing international visibility of the conference. Of the 49 submissions, 43 were regular papers, 2 of which were later withdrawn, and 6 were tool papers. After a rigorous review process, in which each paper received at least four independent reviews from the dist- guished Program Committee, we accepted 12 regular papers and 4 tools papers for presentation at the conference and inclusion in this volume. These numbers give acceptance rates of 29% for regular papers and 67% for tool papers (34% combined) - comparable to the elite, much older, conferences in the ?eld. A Best Paper Award, selected on the basis of the reviews and scores from the Program Committee, was presented to Edmund Clarke, Alexandre Donz e, and AxelLegayfortheirpaperentitled"StatisticalModelCheckingofMixed-Analog Circuits with an Application to a Third-Order Delta-Sigma Modulator. " The refereed program was complemented by an outstanding program of - vited talks, panels, and special sessions from prominent leaders in the ?eld."

These are the proceedings of the ?fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA. The conference provides a forum for presenting state-of-the-art tools, methods, algorithms, and theory for the application of formalized r- soning to all aspects of computer-aided system design, including speci?cation, veri?cation, synthesis, and testing. FMCAD's heritagedates back20 yearsto someof the earliestconferenceson the subjectofformalreasoningandcomputer-aideddesign.Since 1996, FMCAD has assumedits presentform, heldbiennially inNorthAmerica, alternatingwith its sister conference CHARME in Europe. We are delighted to report that our researchcommunitycontinuesto?ourish: wereceived69papersubmissions, with many more high-quality papers than we had room to accept. After a rigorous review process, in which each paper received at least three, and typically four or more, independent reviews, we accepted 29 papers for the conference and inclusion in this volume. The conference also included invited talks from Greg Spirakis of Intel Corporation and Wayne Wolf of Princeton University. A conference of this size requires the contributions of numerous people. On the technical side, we are grateful to the program committee and the additional reviewers for their countless hours reviewing submissions and ensuring the int- lectual quality of the conference. We would also like to thank the steering c- mittee for their wisdom and guidance. On the logistical side, we thank Christa Mace for designing our website and attending to countless organizational tasks. And we thank our corporate sponsors - AMD, IBM, Intel, and Synopsys - for ?nancial support that helped make this conference possible.

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

Computer technology has transformed textiles from their design through to their manufacture and has contributed to significant advances in the textile industry. Computer technology for textiles and apparel provides an overview of these innovative developments for a wide range of applications, covering topics including structure and defect analysis, modelling and simulation, and apparel design. The book is divided into three parts. Part one provides a review of different computer-based technologies suitable for textile materials, and includes chapters on computer technology for yarn and fabric structure analysis, defect analysis and measurement. Chapters in part two discuss modelling and simulation principles of fibres, yarns, textiles and garments, while part three concludes with a review of computer-based technologies specific to apparel and apparel design, with themes ranging from 3D body scanning to the teaching of computer-aided design to fashion students. With its distinguished editor and international team of expert contributors, Computer technology for textiles and apparel is an invaluable tool for a wide range of people involved in the textile industry, from designers and manufacturers to fibre scientists and quality inspectors.

Shape memory materials are immensely useful because of their capability to recover their original shapes upon exposure to an external stimulus such as heat, moisture, light or a magnetic field. This book reviews key recent research in shape memory polymers, their properties and applications. Topics include the relationship between morphological structures and shape memory properties; high performance Tg and Tm type shape memory polymers; structures of shape memory polymers with supramolecular switches; and the thermally-active and moisture-active shape memory effect of supermolecular shape memory polymers.
Advances in shape memory polymers is an essential reference for polymer and textile material students, scientists, designers, engineers and manufacturers. It is also an invaluable guide for professionals in the biomedical, electronics and engineering industries.
Reviews key recent research in shape-memory polymers, their properties and applicationsOpening chapters address the relationship between morphological structures and shape memory properties and high performance Tg and Tm type shape memory polymersChapters cover thermally-active and moisture-active shape memory effect of supermolecular shape memory polymers, among other topics

Active Coatings for Smart Textiles presents the latest information on active materials and their application to textiles in the form of coatings and finishes for the purpose of improving performance and creating active functional effects. This important book provides detailed coverage of smart coating types, processes, and applications. After an introduction to the topic, Part One introduces various types of smart and active coatings, including memory polymer coatings, durable and self-cleaning coatings, and breathable coatings. Technologies and related processes for the application of coatings to textiles is the focus of Part Two, with chapters devoted to microencapsulation technology, plasma surface treatments, and nanotechnology-based treatments. The book ends with a section on applications of smart textiles with responsive coatings, which are increasingly finding commercial niches in sportswear, protective clothing, medical textiles, and architecture.

The purpose of Basics of Mortgage-Backed Securities is to provide readers with a fundamental understanding of mortgage securities as an integral part of investment in fixed-income securities. The second edition of this MBS classic provides the latest information on the U.S. residential mortgage market, adjustable-rate mortgages and mortgage pass-throughs, relative value analyses and performance characteristics.
Dr. James Hu discusses the major changes within the mortgage market that may affect the fundamentals of mortgage securities. Some of these are: the recovery of the REMIC market after its collapse; the flourish of private-label securities; the growth of equity loan-backed securities and its establishment as a member of the fixed-income securities family. Also included are additional historical data for all exhibits. Mortgage pre-payment, dollar rolls, and private-label mortgage-backed securities are also addressed.

"Asset Securitization" is intended for beginners and market professionals alike who are interested in learning about asset securitization--its concepts and practices. It is designed so that the readers will come away with a fundamental but comprehensive understanding of the asset securitization market. As such, the book aims to provide a review of the market's development, necessary framework, potential benefits, and detailed descriptions of major asset securitization products.

Part I of the book, which consists of four chapters, will discuss the fundamental concepts, the funding efficiency, the market participants, and the potential benefits of asset securitization. An analysis of mortgage finance will be provided in Part II, which consists of six chapters that cover a variety of topics from the description of many different types of residential mortgages to the securitization of different types of residential mortgages, including the now infamous sub-prime mortgages. Also included are important topics, such as prepayments, cash flow structure, maturity and credit tranching, and the trading and relative value of the various mortgage-backed securities. The three chapters in Part III will explain the other major asset securitization products, such as commercial mortgage-backed securities, credit card receivable-backed securities, auto loan-backed securities, and collateralized bond obligations. Part IV has two chapters: one reviews the collapse and the potential recovery of the asset securitization market, and the other describes the asset securitization efforts in Japan, Australia, Taiwan, and China.

Extensive tables and charts are presented to help illustrate a concept or describe a product. Neither analytical discussions nor investment strategies of the various asset-backed securities are included as they are not the focus of this book.