الصفحة 9
الصفحة 9
Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
This paper presents a few of these, including a distributed garbage collection problem, distributed consensus problems for reconciling tree-like data structures, using model-based test case generation, and the use of software model checking in design and development process.
Focusing telescopes in nuclear astrophysics
This volume is the first of its kind on focusing gamma-ray telescopes. Forty-eight refereed papers provide a comprehensive overview of the scientific potential and technical challenges of this nascent tool for nuclear astrophysics. The book features articles dealing with pivotal technologies such as grazing incident mirrors, multilayer coatings, Laue- and Fresnel-lenses - and even an optic using the curvature of space-time. The volume also presents an overview of detectors matching the ambitious objectives of gamma ray optics, and facilities for operating such systems on the ground and in space. The extraordinary scientific potential of focusing gamma-ray telescopes for the study of the most powerful sources and the most violent events in the Universe is emphasized in a series of introductory articles.
Focus on bacterial biofilms
Bacterial biofilms are colonies of bacterial cells embedded in their self-produced matrix composed of polysaccharides, DNA, and proteins. They protect bacterial cells against antibiotics, antibacterial agents, soaps and detergents, and shear stress. Some of the most common biofilm-associated infections in humans include urinary tract infections, infection of wounds and surgical sites, diabetic foot ulcers, dental caries (tooth decay) and gingivitis (gum inflammation), ventilator-associated infections, sinusitis, microbial keratitis, secondary infection related to Covid-19 and other viral infections, and so on. Bacterial resistance to common antibiotics (e.g., penicillin, gentamycin, erythromycin, ciprofloxacin, etc.) is driving us to a catastrophic failure of our health systems. Strategies to develop novel antibacterial agents and technology must be prioritized to combat and eradicate biofilms and their associated challenges. This book provides a comprehensive overview of biofilms with chapters on bacterial virulence factors, quorum sensing in bacteria, antimicrobial resistance in bacteria, strategies to develop new antibacterial agents, and much more.
Focal liver lesions : Detection, characterization, ablation
Few fields of medicine have witnessed such impressive progress as the diagnosis and treatment of liver tumors. Advances in imaging technology, the development of novel contrast agents, and the introduction of optimized scanning protocols have greatly facilitated the non-invasive detection and characterization of focal liver lesions. Furthermore, image-guided techniques for percutaneous tumor ablation have become an accepted alternative treatment for patients with inoperable liver cancer. This book provides a comprehensive and up-to-date overview of the role of diagnostic and interventional radiology in respect of liver tumors. The volume moves from background sections on methodology and segmental liver anatomy to the main sections on the diagnosis of benign and malignant liver lesions. An integrated approach, focused on the correlation of ultrasound, CT, and MR imaging findings, is presented. Finally, a full section describes the principles, methods, and results of percutaneous tumor ablation techniques.
Flow cytometry in hematopathology : A visual approach to data analysis and interpretation
Although instrumentation and laboratory techniques for flow cytometry (FCM) immunophenotyping of hematopoietic malignancies are well documented, there is relatively little information on how best to perform data analysis, a critical step in FCM testing. In Flow Cytometry in Hematopathology: A Visual Approach to Data Analysis and Interpretation, three physicians highly experienced in laboratory hematopathology and FCM offer a unique systematic approach to FCM data analysis and interpretation based on the visual inspection of dual parameter FCM graphics. This step-by-step approach to optimal FCM data analysis is demonstrated by means of numerous FCM graphics derived from actual well-documented clinical cases.The focus of the additional material is on the TCR-Vb eight-tube kit which has greatly facilitated the evaluation mature T-cell disorders, and on the DNA dye DRAQ5 for improved grading of malignant lymphoma. The authors also include notes on "tricks of the trade" and pitfalls to avoid. The discussion, covering leukemias, lymphomas, and other conditions, moves from simple to complex specimens, with an emphasis on visual pattern analysis.
Fitzpatrick's therapeutics : A clinician's guide to dermatologic treatment
It is the gold-standard textbook in dermatology and is designed to be read by practicing clinicians, medical trainees, and skin scientists when they want a complete and extensive overview of any dermatologic topic. Although comprehensive, the patient management sections in Fitzpatrick’s Dermatology are not presented in a format that facilitates easy and quick access for busy practicing clinicians who want to review treatment options at the bedside. The idea for Fitzpatrick’s Therapeutics arose to fill this gap.
First Light in the Universe : Saas-Fee Advanced Course 36. Swiss Society for Astrophysics and Astronomy
The exploration of the first billion years of the history of the Universe, from the so-called Dark Ages to cosmic reionisation, represents one of the great challenges of contemporary astrophysics and one of the main drivers for future observational facilities. The book contains the elaborated notes of lectures given at the 36th Saas-Fee Advanced Course "First Light in the Universe" by three eminent scientists in the field: Abraham Loeb, Andrea Ferrara, and Richard Ellis. The formation of the first stars and black holes, the initial mass function, feedback effects, early dust formation, the history of cosmic star formation, distant galaxies, cosmic reionisation and the cosmic infrared background are the main topics treated. This book provides an accessible and up-to-date review of the field and will be useful to graduate students of astronomy, cosmologists, physicists and researchers.
First floridians and last mastodons : The Page-Ladson Site in the Aucilla River
Over the last 20 years the Aucilla River Prehistory Project has been one of the most f- cinating stories unfolding in Florida. This project, uncovering the remains of plants and animals from the end of the last Ice Age and the beginning of Florida’s human oc- pation, is answering questions important to the entire western hemisphere. Questions such as when did people first arrive in the Americas? Were these newcomer scavengers or skillful hunters? Could they have contributed to the extinction of the great Ice Age beasts – animals such as elephants – that were creatures native to Florida for the pre- ous million or so years? And how did these first Florida people survive 12,000 years ago at a time when sea level was so low that this peninsula was double its present size, sprawling hugely into the warm waters of the Caribbean? Much of Florida at that time was almost desert.
Fire Safety for Very Tall Buildings : Engineering Guide
Provides information on special topics that affect the fire safety performance of very tall buildings, their occupants and first responders during a fire. This Guide addresses these topics as part of the overall building design process using performance-based fire protection engineering concepts as described in the SFPE Engineering Guide to Performance Based Fire Protection. This Guide is not intended to be a recommended practice or a document that is suitable for adoption as a code. The Guide pertains to “super tall,” “very tall” and “tall” buildings. Throughout this Guide, all such buildings are called “very tall buildings.” These buildings are characterized by heights that impose fire protection challenges; they require special attention beyond the protection features typically provided by traditional fire protection methods. This Guide does not establish a definition of buildings that fall within the scope of this document.
Fine- and Coarse-Grain Reconfigurable Computing
The FPGA technology is defined, which includes architecture, logic block structure, interconnect, and configuration methods and existing fine-grain reconfigurable architectures emerged from both academia and industry. Additionally, the implementation techniques and CAD tools developed to facilitate the implementation of a system in reconfigurable hardware by the industry and academia are provided.
Ferro- and Antiferroelectricity : Order/Disorder versus Displacive
Solid-state systems are frequently classi?ed according to their physical, str- tural or chemical properties. Such schemes are extremely helpful since pr- erties related to any such classi?cation are typically known and facilitate id- tifying solids with special material classes. The best-known examples of these schemes are conductivity or resistivity measurements by means of which m- als are easily distinguishable from insulators. However, frequently clear-cut decisions between material classes are not possible, since anisotropy, chemical composition, binding forces and local effects wash out distinct properties and lead to competition or coexistence. Such unresolved situations are especially typical for transition metal oxides that exhibit a variety of ground-state properties in a fascinating way.
Fault in criminal law : A research companion
Addresses three specific elements within the arena of fault, embracing an overarching synergy between them. This structure facilitates an examination of UK provisions, with specialist contributions on domestic law, and in contrasting these provisions against alternative domestic jurisdictions as well as comparative contributions addressing a particularised research grid for content. The comparative chapters provide a wider background of how other legal systems treat a variety of specialised issues relating to fault elements in the context of the Criminal Law.
Fast Simulation of Electro-Thermal MEMS : Efficient Dynamic Compact Models
Fast Simulation of Electro-Thermal MEMS provides the reader with a complete methodology and software environment for creating efficient dynamic compact models for electro-thermal MEMS devices. It supplies the basic knowledge and understanding for using model order reduction at the engineering level. Emphasis is placed on the application of the Arnoldi method for effective order reduction of thermal systems. This tutorial is written for MEMS engineers and is enriched with many case studies which equip readers with the know-how to facilitate the simulation of a specific problem.
Fashionity
This project is an AI fashion design system to generate fashion images based on user textual description. The proposed system incorporates advanced technology for dissemination and machine translation with the aim of facilitating a seamless user experience for input in both Arabic and English languages. Moreover, the project encompasses the incorporation of a recommendation system that proposes appropriate visual content based on user style. The primary objective of this project is to develop a robust framework capable of generating high-quality images based on textual descriptions, providing recommendations for similar clothing items, and facilitating the retrieval of photographic and apparel articles through image search.
Fashion recommender systems
The impact of social networks and the influence that fashion influencers have on the choices people make for shopping is undeniable. For instance, many people use Instagram to learn about fashion trends from top influencers, which helps them to buy similar or even exact outfits from the tagged brands in the post. When traced, customers’ social behavior can be a very useful guide for online shopping websites, providing insights on the styles the customers are really interested in, and hence aiding the online shops in offering better recommendations and facilitating customers quest for outfits.
Fairness in criminal appeal : A critical and interdisciplinary analysis of the ECtHR case-law
Addresses the European Court of Human Rights fairness standards in criminal appeal, filling a gap in this less researched area of studies. Based on a fair trial immediacy requirement, the Court has found several violations of Article 6 of the European Convention on Human Rights at the appellate level by at least eighteen States of the Council of Europe in a vast array of cases, particularly in contexts of first instance acquittals overturning and of sentences increasing on appeal. On the one hand, the book critically engages this case-law with the law revisions it has recently inspired in European countries, as well as with the critiques and difficulties that it continues to raise.
Factorization Method in Quantum Mechanics
Introduces the factorization method in quantum mechanics at an advanced level with an aim to put mathematical and physical concepts and techniques like the factorization method, Lie algebras, matrix elements and quantum control at the Reader’s disposal.
Facilities Design
Describes tools commonly used for presenting layout designs Presents traditional models for facility layout including the popular systematic layout planning (SLP) model in detail Provides a layout project involving the SLP model Covers group technology and cellular manufacturing at the elementary level Includes a project and case study on machine grouping and layout Considers next-generation factory layouts Discusses analytical queuing and queuing network models, and more Explains the ins and outs of facility planning and design. A reference for both student and professional, the book addresses facilities design and layout problems in manufacturing systems and covers layout, logistics, supply chain, warehousing, and materials handling.
Facilitative glucose transporters in articular chondrocytes : Expression, distribution and functional regulation of GLUT isoforms by hypoxia, hypoxia mimetics, growth factors and pro-inflammatory Cytokines
In this multidisciplinary article we review the molecular and morphological aspects of GLUT expression and function in chondrocytes and their mesenchymal and embryonic stem cell precursors and propose key roles for these proteins in glucose sensing and metabolic regulation in cartilage.
Facilitating Desistance from Aggression and Crime : Theory, Research, and Strength-Based Practices
In Facilitating Desistance from Aggression and Crime: Theory, Research, & Strength-Based Practices, Drs. Calvin Langton and James Worling have gathered together internationally renowned authorities in the fields of psychology, psychiatry, criminology, social work, and law, to critically examine desistance as a construct, process, and outcome as well as the place of strengths work in correctional and forensic mental health settings.
