الصفحة 9
الصفحة 9
Lifetime Estimation of Welded Joints
In the paper the author attempts to assess the fatigue life of chosen welded joints. It focuses especially on chosen problems that accompany deter- nation of the fatigue life of welded joints, taking into consideration the strain energy density parameter.
Leveraging applications of formal methods, verification and validation : Applications ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.
Leveraging Applications of Formal Methods ; 1st International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers presented were carefully selected from more than 70 submissions. The papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. In particular, by discussing common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems.
Lead-free Soldering
The push toward lead-free soldering in computers, cell phones and other electronic and electrical devices has taken on a greater urgency as laws have been passed or are pending in the United States, the European Union and Asia which ban lead-bearing solder. These new restrictions on hazardous substances are changing the way electronic devices are assembled, and specifically affect process engineering, manufacturing and quality assurance. Lead-Free Soldering offers in a single volume a broad collection of practical techniques for lead-free soldering design and manufacture, which up to now have been scattered in difficult-to-find scholarly sources. The book includes the latest information on proposed changes to lead-free standards, and up-to-date analysis of government and legislative activities and regulations in North America, Europe and Asia.
Lead-Free Electronic Solders : A Special Issue of the Journal of Materials Science : Materials in Electronics
In the last few decades the effect of lead contamination on human health has received significant attention. Based on such concerns, elimination of lead from ceramic glaze, paint, plumbing etc. has been legislated and implemented. However, until recently, solders used in electronics, based on suitability and knowledge-base developed over a long period of time, remained lead-based. Successive rapid advances in microelectronic devices in recent decades make them obsolete within a very short period after their introduction resulting in significant quantities of electronic wastes in landfills. Leaching of toxic lead from such electronic wastes can result in contamination of the human food chain causing serious health hazards. As a consequence, several European and Pacific Rim countries have passed legislations warranting elimination of lead from electronic solders by fast approaching deadlines. Global economic pressures brought on by such legislations have resulted in a flurry of research activities to find suitable lead-free substitutes for the traditional leaded electronic solders.
Laser Spectroscopy : Vol.2 Experimental Techniques
Keeping abreast of the latest techniques and applications, this new edition of the standard reference and graduate text on laser spectroscopy has been completely revised and expanded. While the general concept is unchanged, the new edition features a broad array of new material, e.g. frequency doubling in external cavities, reliable cw-parametric oscillators, tunable narrow-band UV sources, more sensitive detection techniques, tunable femtosecond and sub-femtosecond lasers (X-ray region and the attosecond range), control of atomic and molecular excitations, frequency combs able to synchronize independent femtosecond lasers, coherent matter waves, and still more applications in chemical analysis, medical diagnostics, and engineering.
Laser Spectroscopy : Vol.1 Basic Principles
Keeping abreast of the latest techniques and applications, this new edition of the standard reference and graduate text on laser spectroscopy has been completely revised and expanded. While the general concept is unchanged, the new edition features a broad array of new material, e.g., frequency doubling in external cavities, reliable cw-parametric oscillators, tunable narrow-band UV sources, more sensitive detection techniques, tunable femtosecond and sub-femtosecond lasers (X-ray region and the attosecond range), control of atomic and molecular excitations, frequency combs able to synchronize independent femtosecond lasers, coherent matter waves, and still more applications in chemical analysis, medical diagnostics, and engineering.
Laser additive manufacturing: design, materials, processes and applications
Laser-based additive manufacturing (LAM) is a revolutionary advanced digital manufacturing technology developed in recent decades, which is also a key strategic technology for technological innovation and industrial sustainability. This technology unlocks the design and constraints of traditional manufacturing and meets the needs of complex geometry fabrication and high-performance part fabrication. A deeper understanding of the design, materials, processes, structures, properties and applications is desired to produce novel functional devices, as well as defect-free structurally sound and reliable LAM parts.The topics in this Special Issue reprint include macro- and micro-scale additive manufacturing with lasers, such as structure/material design, fabrication, modeling and simulation, in situ characterization of additive manufacturing processes and ex situ materials characterization and performance, with an overview that covers various applications in aerospace, biomedicine, optics and energy.
Languages and Compilers for Parallel Computing ; 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in October 2007.The 23 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on reliability, languages, parallel compiler technology, libraries, run-time systems and performance analysis, and general compiler techniques.
Justifying the Dependability of Computer-based Systems : With Applications in Nuclear Engineering
The book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, evidence and documentation, and the ways to deal with different types of risk and uncertainty. Justifying the Dependability of Computer-based Systems will be of value to software, computer system, instrumentation and control engineers, and regulators working in industry sectors such as nuclear safety.
IUTAM Symposium on Mechanics and Reliability of Actuating Materials ; Proceedings of the IUTAM Symposium held in Beijing, China, 1-3 September, 2004
The general assembly of IUTAM approved in August, 2002 at Cambridge University, UK, a proposal to hold an IUTAM symposium to summarize the relevant research findings. The main themes of the symposium are: (i) the constitutive relations of actuating materials that couple mechanical, electrical, thermal and magnetic properties, as well as incorporate phase transformation and domain switch; (ii) the physical mechanisms of deformation, damage, and fatigue crack growth of actuating materials; (iii) the development of failure-resilient approaches that base on the macro-, meso-, and micro-mechanics analyses; (iv) the investigation of microstructural evolution, stability of phase transformation, and size effects of ferroelectric ceramics, shape memory alloys, actuating polymers, and bio-actuating materials.
Complex System Maintenance Handbook
Complex System Maintenance Handbook is the first book to integrate this vast literature with chapters written by internationally-renowned active researchers and experienced practitioners focussing on different aspects of maintenance. Each chapter reviews the literature dealing with a particular aspect of maintenance, reports on developments and trends in a particular industry sector, or presents a case study.
Completeness theory for propositional logics
Completeness is one of the most important notions in logic and the foundations of mathematics. Many variants of the notion have been de?ned in literature. We shallconcentrateonthesevariants,andaspects,of completenesswhicharede?ned in propositional logic. Completeness means the possibility of getting all correct and reliable sc- mata of inference by use of logical methods. The word ‘all’, seemingly neutral, is here a crucial point of distinction. Assuming the de?nition as given by E. Post we get, say, a global notion of completeness in which the reliability refers only to syntactic means of logic and outside the correct schemata of inference there are only inconsistent ones. It is impossible, however, to leave aside local aspects of the notion when we want to make it relative to some given or invented notion of truth. Completeness understood in this sense is the adequacy of logic in relation to some semantics, and the change of the logic is accompanied by the change of its semantics.
Comparison of scalpel and lasers technique in the treatment of gingival melanin pigmentation
Gingival hyperpigmentation is a common esthetical concern in patients with gummy smile or excessive gingival display. Laser ablation has been recognized recently as the most effective, pleasant and reliable technique. It has the advantage of easy handling, short treatment time, hemostasis, decontamination, and sterilization effect. The objective of this study is to evaluate and compare scalpel and lasers techniques for gingival depigmentation and to evaluate their effect on re pigmentation.
Comparison of digital anesthesia using articaine vs. lidocaine for mandibular infiltration in pediatric patients : Aged 4-5 vs. 6-8 years
Articaine and lidocaine exhibit equivalent efficacy for mandibular infiltration via computerized systems in children aged 4–8 years. While articaine may marginally improve injection comfort, both agents provide reliable anesthesia with minimal complications. Computerized delivery enhances patient experience, supporting its adoption to reduce dental anxiety.This investigation aims to : determine whether articaine's theoretical advantages translate to clinically significant improvements in young children, identify optimal anesthetic protocols for different pediatric age groups, validate the effectiveness of digital delivery systems in pediatric mandibular anesthesia and provide robust data to replace current adult-derived guidelines with pediatric-specific evidence.
Community-Acquired Pneumonia
Community-acquired pneumonia (CAP) is a disease associated with high morbidity and mortality, with at least one third of cases requiring hospitalization, exceeding the numbers admitted for myocardial infarction and stroke. Despite a broad armamentarium of antimicrobials available, it remains an important cause of death in industrialized countries. CAP is caused by a variety of pathogens with their order of importance dependent on the location and population studied. Despite the importance of CAP, reliable data and a recommended evidence-based therapy are lacking, and basic research must be improved. The goal of this volume is to present state-of-the-art knowledge on epidemiology, clinical presentation, immunology, pathology, and diagnosis including the identification of "new pathogens". Therapeutic approaches, antibiotics resistance, disease management and vaccination strategies are also covered. The volume is of interest to researchers and clinicians in virology, epidemiology and biomedicine.
Climate change : Environment and history of the Near East
When the ?rst edition of this book was published in 2004, the following year 2005 has happened to have been the warmest year since 1880, when the ?rst reliable worldwide instrumental records came into existance. Claiming no li- age between the publication of our book and the temperature record, yet this record demonstrates the trend of increase in the global surface temperatures during thepast20years,reinforcedbyevidenceofriseofatmosphere’sand oceans’ temperatures, and increased melting of ice and snow in the arctic and antarctic regions as well as on mountain tops. All these observations are par- leled by the increase in the quantity of heat trapping gases in the atmosphere, causing most probably, the global greenhouse effect. In order to try and predict, what might be the impact of this effect on the on the natural and human environments of the Near East, (Figs. 1–1d) the authors adopted the saying that the past is the key for the future. The practical conclusion of this principle says that the acquiring knowledge of the impact of past climate changes on the nature and human societies, may allow conclusions with regard to future possible impact of climate changes. By correlating proxy data of all types, paleo-sea and lake levels, paleo-hydrology, pollen pro?les, environmental isotopes as well as archaeological and historical documents, the authors tried to collect as much as possible of this knowledge.
Characterization of Pharmaceutical Nano- and Microsystems
Offers readers a full understanding of the basic physicochemical characteristics, material properties and differences between micro- and nanosystems. It explains how and why greater experience and more reliable measurement techniques are required as particle size shrinks, and the measured phenomena grow weaker.
Challenges in Radiation Protection and Nuclear Safety Regulation of the Nuclear Legacy
The book covers radiation protection and nuclear safety supervision of installations built during the cold war, particularly in relation to regulatory strategies for safe decommissioning of unique or unusual nuclear facilities and remediation
Challenges and Solutions for Sustainable Smart City Development
Discusses advances in smart and sustainable development of smart environments. The authors discuss the challenges faced in developing sustainable smart applications and provide potential solutions. The solutions are aimed at improving reliability and security with the goal of affordability, safety, and durability. Topics include health care applications, sustainable smart transportation systems, intelligent sustainable wearable electronics, and sustainable smart building and alert systems. Authors are from both industry and academia and present research from around the world. Addresses problems and solutions for sustainable development of smart cities; Includes applications such as healthcare, transportation, wearables, security, and more ; Relevant for scientist and researchers working on real time smart city development.
