Author : Alexey Ivanov
Publisher : Springer
Page : 335 pages
File Size : 19,89 MB
Release : 2017-09-10
Category : Technology & Engineering
ISBN : 3658192380
Alexey Ivanov investigates the application of a silicon anodization process as a three-dimensional structuring technique, where silicon is transformed into porous silicon as a sacrificial layer or directly dissolved in electropolishing regime. The work contains a detailed state of the art, experimental studies and modeling of the process for basic shape controlling techniques. Limitations of the developed FEM model with secondary current distribution are discussed.
Author : Robert Sherman
Publisher : Routledge
Page : 265 pages
File Size : 21,57 MB
Release : 2013-06-17
Category : Psychology
ISBN : 1134845464
Published in the year 1986, Handbook of Structured Techniques in Marriage and Family Therapy is a valuable contribution to the field of Family Therapy.
Author : Laurence Pierre
Publisher : Springer
Page : 399 pages
File Size : 18,71 MB
Release : 2003-07-31
Category : Computers
ISBN : 3540481532
CHARME’99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place in Bad Her- nalb, a resort village located in the Black Forest close to the city of Karlsruhe. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems. A predominantly academic area of study until a few years ago, formal design and veri?cation techniques are now migrating into industrial use. The aim of CHARME’99 is to bring together researchers and users from academia and industry working in this active area of research. Two invited talks illustrate major current trends: the presentation by G ́erard Berry (Ecole des Mines de Paris, Sophia-Antipolis, France) is concerned with the use of synchronous languages in circuit design, and the talk given by Peter Jansen (BMW, Munich, Germany) demonstrates an application of formal methods in an industrial environment. The program also includes 20 regular presentations and 12 short presentations/poster exhibitions that have been selected from the 48 submitted papers.
Author : Tiziana Margaria
Publisher : Springer
Page : 491 pages
File Size : 32,36 MB
Release : 2003-06-30
Category : Computers
ISBN : 3540447989
This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods. CHARME 2001 is the 11th in a series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and hardware-like systems. Previous events in the ‘CHARME’ series were held in Bad Herrenalb (1999), Montreal (1997), Frankfurt (1995), Arles (1993), and Torino (1991). This series of meetings has been organized in cooperation with IFIP WG 10.5 and WG 10.2. Prior meetings, stretching backto the earliest days of formal hardware veri?cation, were held under various names in Miami (1990), Leuven (1989), Glasgow (1988), Grenoble (1986), Edinburgh (1985), and Darmstadt (1984). The convention is now well-established whereby the European CHARME conference alternates with its biennial counterpart, the International Conference on Formal Methods in Computer-Aided Design (FMCAD), which is held on even-numbered years in the USA. The conference tookplace during 4–7 September 2001 at the Institute for System Level Integration in Livingston, Scotland. It was co-hosted by the - stitute and the Department of Computing Science of Glasgow University and co-sponsored by the IFIP TC10/WG10.5 Working Group on Design and En- neering of Electronic Systems. CHARME 2001 also included a scienti?c session and social program held jointly with the 14th International Conference on Th- rem Proving in Higher Order Logics (TPHOLs), which was co-located in nearby Edinburgh.
Author : Paolo M. Ossi
Publisher : Springer
Page : 410 pages
File Size : 48,25 MB
Release : 2018-10-01
Category : Science
ISBN : 3319968459
The book covers recent advances and progress in understanding both the fundamental science of lasers interactions in materials science, as well as a special emphasis on emerging applications enabled by the irradiation of materials by pulsed laser systems. The different chapters illustrate how, by careful control of the processing conditions, laser irradiation can result in efficient material synthesis, characterization, and fabrication at various length scales from atomically-thin 2D materials to microstructured periodic surface structures. This book serves as an excellent resource for all who employ lasers in materials science, spanning such different disciplines as photonics, photovoltaics, and sensing, to biomedical applications.
Author : Mike Yearworth
Publisher : John Wiley & Sons
Page : 373 pages
File Size : 27,35 MB
Release : 2024-10-22
Category : Technology & Engineering
ISBN : 1119744822
Current perspectives on approaches to problem structuring in operational research and engineering and prospects for problem structuring methods applicable to a wide range of practice. Bridging between operational research (OR) and engineering practice, Problem Structuring: Methodology in Practice is grounded in the emergence of soft OR and its development over time as a distinctively new field, broadening the scope of OR to deal with issues of transforming, strategising, and planning in the context of wicked problems. The book is centred on a methodological framing of intervention processes known as problem structuring methods (PSMs) and the techniques presented are suitable for practitioners across a broad range of disciplines. Written by a highly qualified professor of engineering and management, Problem Structuring: Methodology in Practice contains four linked sections that cover: I. Problem formulation when dealing with wicked problems, justification for a methodological approach, the emergence of soft OR, the relevance of pragmatic philosophy to OR practice. II. Traces debates and issues in OR leading to the emergence of soft OR, comparative analysis of PSMs leading to a generic framework for soft OR practice, addressing practical considerations in delivering PSM interventions. III. Charts the emergence of a problem structuring sensibility in engineering practice, introduces a new PSM based on hierarchical process modelling (HPM) supported by teaching and case studies, makes the case for a processual turn in engineering practice supported by HPM with relevance to OR practice. IV. Evaluation of PSM interventions, survey of applications, use of group support systems, new developments supported by machine learning, recontextualising soft OR practice. Problem Structuring: Methodology in Practice is a thought-provoking and highly valuable resource relevant to all “students of problems.” It is suitable for any UK Level 7 (or equivalent) programme in OR, engineering, or applied social science where a reflective, methodological approach to dealing with wicked problems is an essential requirement for practice.
Author : Gnana Moorthy Eswaran U
Publisher : CRC Press
Page : 308 pages
File Size : 11,8 MB
Release : 2024-08-07
Category : Technology & Engineering
ISBN : 1040087906
Structured Foods is an important reference that discusses the recent research trends on structural development in various foods. This book covers different tools and food engineering techniques such as encapsulation, 3D and 4D printing, imaging techniques, and clean meat technology. It discusses how various foods can be broken down and manipulated at the molecular level to improve their quality, safety, and healthfulness. It describes the structuring of components like starch, proteins, and polysaccharides and the stability and bioavailability of different food structures. This is a useful reference for researchers and industry experts in food technology, food engineering, and food processing. The work addresses critical food-related issues that need to be tackled, including harvesting enough food to feed the global population, improving food sustainability, reducing food waste and pollution, and improving human health. Further, it focuses on the new scientific technologies being applied by scientists for an improved food system. The book is an important resource for all stakeholders in the debate about the future of our foods in the spheres of academic, industrial, and government policy.
Author : Wolfgang Grieskamp
Publisher : Springer Science & Business Media
Page : 449 pages
File Size : 21,38 MB
Release : 2007-10-23
Category : Computers
ISBN : 3540409114
Author : Peter C. W. Ho
Publisher : Wipf and Stock Publishers
Page : 524 pages
File Size : 32,4 MB
Release : 2019-10-04
Category : Religion
ISBN : 1532654448
Good poetry is like a good painting: the more you linger over it, the more it reveals. It is a deep well that never runs dry. And that is why the Psalter, like a good painting, keeps giving. In the last four decades, Psalms scholarship has found remarkable fruitfulness in reading the Psalter as a book--that is, in reading the Psalms as a unified composition with a metanarrative across its 150 poems. Pivotal questions associated with this approach really boil down to two questions--how and why? How are individual psalms sequenced, if at all, and what is the design logic behind that macrostructure? This volume seeks to answer those questions. In essence, the Psalter unfurls the story of the Davidic covenant. While interest in the editing of the Psalter remains high in recent Psalms scholarship, this interest has not led to clear consensus. The specific and timely contribution of this volume is twofold. First, it consolidates the results of studies on groups of psalms. Second, it integrates poetic and thematic approaches that are typically separated in Psalms scholarship. Readers will find results of this study surprising and their implications sobering.
Author : Edwin Zondervan
Publisher : Walter de Gruyter GmbH & Co KG
Page : 594 pages
File Size : 33,4 MB
Release : 2023-09-04
Category : Technology & Engineering
ISBN : 3111014959
Product-driven process design – from molecule to enterprise provides process engineers and process engineering students with access to a modern and stimulating methodology to process and product design. Throughout the book the links between product design and process design become evident while the reader is guided step-by-step through the different stages of the intertwining product and process design activities. Both molecular and enterprise-wide considerations in design are introduced and addressed in detail. Several examples and case studies in emerging areas such as bio- and food-systems, pharmaceuticals and energy are discussed and presented. This book is an excellent guide and companion for undergraduate, graduate students as well as professional practitioners.
