Adaptive Low-Power Circuits for Wireless Communications
Adaptive radio transceivers require a comprehensive theoretical framework in order to optimize their performance. Adaptive Low-Power Circuits for Wireless Communications provides this framework with a discussion of joint optimization of Noise Figure and Input Intercept Point in receiver systems. Original techniques to optimize voltage controlled oscillators and low-noise amplifiers to minimize their power consumption while maintaining adequate system performance are also provided. The experimental results presented at the end of the book confirm the utility of the proposed techniques.
Adapting Proofs-as-Programs : The Curry--Howard Protocol
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa“roll-your-own”approachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis.
Actors and the Art of Performance : Under Exposure
Actors and the Art of Performance: Under Exposure combines the author's two main biographical paths: her professional commitment to the fields of both theatre and philosophy. The art of acting on stage is analysed here not only from the theoretical perspective of a spectator, but also from the perspective of the actor. The author draws on her experience as both a theatre actor and a university professor whose teachings in the art of acting rely heavily on her own experience and also on her philosophical knowledge. The book is unique not only in terms of its content but also in terms of its style. Written in a multiplicity of voices, the text oscillates between philosophical reasoning and narrative forms of writing, including micro-narratives, fables, parables, and inter alia by Carroll, Hoffmann and Kleist. Hence the book claims that a trans-disciplinary dialogue between the art of acting and the art of philosophical thinking calls for an aesthetical research that questions and begins to seek alternatives to traditionally established and ingrained formats of philosophy.
Active Rheology Control of Cementitious Materials
The research presented here develops a new method of actively controlling the rheology of fresh concrete during casting operations by incorporating specially designed responsive components. This results in real-time changes to the rheological behaviour of the cementitious material, allowing the user to intervene actively after the cementitious material has left the mixing phase. This newly gained agility contributes to increased processing speed and placement reliability in the case of traditional casting methods and can also facilitate advanced 3D concrete printing. The different routes followed to achieve this Active Rheology Control are explained within.
Active Lighting and Its Application for Computer Vision : 40 Years of History of Active Lighting Techniques
Computer vision entails both passive and active illumination techniques. Whereas passive techniques observe the scene statically and analyse it as is, by contrast active techniques give the scene some actions and try to facilitate the analysis. In particular, active illumination techniques project specific light, for which the characteristics are known beforehand, to a target scene to enable stable and accurate analysis of the scene.
Acoustics for Engineers : Troy Lectures
Provides the material for an introductory course in engineering acoustics for students with basic knowledge in mathematics. It is based on extensive teaching experience at the university level. Under the guidance of an academic teacher it is sufficient as the sole textbook for the subject.
Abord Clinique des Urgences au Domicile du Patient = Emergency Clinic at the Patient's Home
The general practitioner finds himself alone in the face of difficult and urgent situations. Her internship years taught her to work with the nursing team. At the patient's home, he must act alone with "the means at hand". To have known these difficulties, we conceived this work: it is intended to be a simple, effective and complete help. It sums up what we have learned from the “field”. It complies with scientific recommendations.
A Studio Guide to Interior Design
Provides a foundation of the analog and digital design processes in interior architecture, interior design and associated disciplines, such as architecture. Throughout the book there are key references to drawing, digital practice, author illustrated diagrams and design precedents. Ancillaries include web-based videos taking the reader through digital graphic principles and planned exercises for use in the classroom environment.
A short guide to clinical pharmacokinetics
Consists of seven chapters that cover various aspects of pharmacokinetics and its clinical applications. The chapters are structured to provide clear objectives and keywords are bolded throughout the text to facilitate understanding. The topics covered include the significance of pharmacokinetics in clinical practice, factors affecting pharmacokinetic parameters, pharmacokinetic drug interactions, therapeutic drug monitoring, dosage adjustment in different population groups, the influence of hepatic diseases on pharmacokinetics and the impact of pharmacogenomics on pharmacokinetics and pharmacodynamics.
A Sea Change: The Exclusive Economic Zone and Governance Institutions for Living Marine Resources
A Sea Change in a Changing Sea The oceans, seas and coastal areas encompass over 70% of the earth’s surface. They are a critical driver of the earth’s hydrologic cycle and climate system, important for c- merce, transport, and tourism, a source of economically important living marine resources, minerals such as hydrocarbons, as well as new pharmaceutical compounds. The marine environment provides essential habitats for thousands of marine living 1 2 resources, which in turn contribute significantly to global food security, employment, 3 and trade. Overall, the sea’s contribution to human welfare, in terms of market and non-market resources and environmental services, has been estimated at US$21 trillion/year (Costanza, 2000). However, despite the importance of the ocean realm to humans, there is a growing sense that human impacts are destabilizing this system. Some experts believe that current fishing levels are approaching or exceeding the total 4 productivity of the ocean ecosystem (National Research Council, 1999).
A primer on theoretical soil mechanics
A Primer to Theoretical Soil Mechanics is about adapting continuum mechanics to granular materials. The field of continuum mechanics offers many fruitful concepts and methods, however there is declining interest in the field due to its complex and fragmented nature. This book's purpose is therefore to facilitate the understanding of the theoretical principles of soil mechanics, as well as introducing the new theory of barodesy.
A History of Limb Amputation
This book traces humanity’s long experience of natural amputations due to congenital absence, disease, frostbite, toxins, domestic and wild animal trauma, and for non-medical reasons related to punitive, ritual, and legal actions, ultimately leading to the development of elective surgical amputation. While the evolution of surgical techniques forms a major chapter in the book, many ancillary problems are addressed including the control of hemorrhage and infection, the approach to pain relief, the development of suitable instruments and equipment, and the invention of prostheses, all suitably illuminated with case histories and relevant illustrations. In addition, alternative procedures designed to avoid amputation, increasingly important in the last two centuries, are debated, and factors associated with self-amputation in extremis, not rare according to press reports, are also examined. A separate chapter considers the philosophy and interpretations of society, patients, and surgeons faced with amputation, particularly before anesthesia.
A handful of happiness herbs
Depression is a multifactorial disorder that affects millions of people worldwide, and none of the currently available therapeutics can completely cure it. Thus, there is a need for developing novel, potent, and safer agents. Recent medicinal chemistry findings on the structure and function of the serotonin 2A (5-HT2A) receptor facilitated design and discovery of novel compounds with antidepressant action. The consumption of cocoa-based products rich in bioactive compounds can be related to decreased risk in coronary heart problems, hypertension, diabetes, and depression...
A guide for delineation of lymph nodal clinical target volume in radiation therapy
This book will facilitate the understanding of cross-sectional anatomy details and assist radiation oncologists in the difficult task of a detailed delineation of lymph node targets in multiple anatomical locations.
A Geometric Approach to Differential Forms
The modern subject of differential forms subsumes classical vector calculus. This text presents differential forms from a geometric perspective accessible at the undergraduate level. The book begins with basic concepts such as partial differentiation and multiple integration and gently develops the entire machinery of differential forms. Each new concept is presented with a natural picture that students can easily grasp. Algebraic properties then follow. This facilitates the development of differential forms without assuming a background in linear algebra. Throughout the text, emphasis is placed on applications in 3 dimensions, but all definitions are given so as to be easily generalized to higher dimensions. A centerpiece of the text is the generalized Stokes' theorem. Although this theorem implies all of the classical integral theorems of vector calculus, it is far easier for students to both comprehend and remember.
A concise introduction to traffic engineering : theoretical fundamentals and case studies
Covers a selection of fundamental topics of traffic engineering useful for highways facilities design and control. The treatment is concise but it does not neglect to examine the most recent and crucial theoretical aspects which are at the root of numerous highway engineering applications, like, for instance, the essential aspects of highways traffic stream reliability calculation and automated highway systems control.
A Beginner's Guide to Sketching Buildings & Landscapes : Perspective and Proportions for Drawing Architecture, Gardens and More! (With over 500 illustrations)
Provides dozens of examples showing you how to establish accurate perspective guidelines and proportions for your initial pencil sketches, setting your drawings up to succeed right from the start. If a sketch's perspective and proportions are correct, your finished work will look crisp and beautiful. If not, you'll have a frustrating time trying to correct the problems at a later stage--and the finished work will never look quite right. A Beginner's Guide to Sketching Buildings & Landscapes is here to help you avoid those frustrations and set up your composition for a finished piece that will make you proud. The detailed step-by-step lessons in this indispensable guide teach you how to: Establish a composition's point of view correctly / Locate the horizon line, dividing land and sky / Break down complicated scenes into simple component shapes / Create the right relationship between foreground and background / Express 3D imagery using 2-point and 3-point perspective
3-D Structural Geology : A Practical Guide to Quantitative Surface and Subsurface Map Interpretation
This book provides an overview of techniques for constructing structural interpretations in 2-D, 2½-D and 3-D environments; for interpolating - tween and extrapolating beyond the control points; and for validating the final int- pretation. The underlying philosophy is that structures are three-dimensional solid bodies and that data from throughout the structure, whether in 2-D or 3-D format, should be integrated into an internally consistent 3-D interpretation. It is assumed that most users of this book will do their work on a computer. C- sequently, the book provides quantitative structural methods and techniques that are designed for use with spreadsheets, mapping software, and three-dimensional c- puter-graphics programs. The book is also intended to provide the background for understanding what interpretive software, for example, a computer contouring p- gram, does automatically. Most techniques are presented in both a traditional format appropriate for paper, pencil, and a pocket calculator, and in quantitative format for use with spreadsheets and computer-graphics or computer-aided-design programs.
3D Segmentation for medical images (OsteoVision) = التقطيع ثلاثي الأبعاد للصور الطبية
With the increasing integration of AI across various sectors, artificial intelligence (AI) is already playing a significant role in the healthcare industry, and its use is expected to grow further. AI systems used in image processing and computer vision algorithms have shown a significant ability to perform many operations such as segmentation, classification, and detection. This project presents the application of computer vision algorithms in the field of medical imaging for diagnostic, therapeutic, and interventional purposes. This thesis explores the use of several computer vision algorithms to address different pathologies, specifically brain tumors (glioma) (see Appendix A) and knee osteoarthritis (OA), as well as tracking the progression of knee osteoarthritis using the Kellgren and Lawrence (KL) grading system, a common method for classifying the severity of OA into five grades. To achieve the desired impact, the project employs various techniques, including 3D segmentation for brain tumors, 2D segmentation for knee joints, and multinomial classification for determining the severity of knee OA injuries. The primary aims of the project are to enhance diagnostic accuracy, assist in creating treatment plans, provide an assistive tool for healthcare providers to make more informed decisions, leverage AI's capabilities to detect abnormalities that might escape the human eye, and streamline workflow. To facilitate these goals, the project incorporates a user-friendly UI, a website, and a Flutter-based mobile application, enabling healthcare providers to efficiently integrate these tools into their practice and improve patient care.
2021 International building code illustrated handbook ; 1st ed.
A full-color guide makes it easy to understand and apply complex IBC® provisions and achieve compliance. With an emphasis on structural and fire- and life-safety requirements, including building classification and means of egress regulations, this practical resource contains hundreds of user-friendly diagrams that clarify the application and intent of the IBC®.



















