Page 1
Page 1
برج المار السكني Almar residential tower
المشروع عبارة عن مبنى برجي سكني متعدد الوظائف. يتألف من اثنا عشر طابق سكني، و كل طابق يتكون من أربعة شقق سكنية بالإضافة إلى الطابق الأرضي المؤلف من البهو و المكاتب التجارية، و يوجد في القبو غرف التدفئة و التكييف بالإضافة إلى الرامب المعد للسيارات و تخديمها للبناء.
Secure Transaction Protocol Analysis : Models and Applications
The present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. It aims to serve as an overall course-aid and to provide self-study material for researchers and students in formal methods theory and applications in e-commerce, data analysis and data mining. The volume will also be useful to anyone interested in secure e-commerce. The book is organized in eight chapters covering the main approaches and tools in formal methods for security protocol analysis. It starts with an introductory chapter presenting the fundamentals and background knowledge with respect to formal methods and security protocol analysis. Chapter 2 provides an overview of related work in this area, including basic concepts and terminology. Chapters 3 and 4 show a logical framework and a model checker for analyzing secure transaction protocols. Chapter 5 explains how to deal with uncertainty issues in secure messages, including inconsistent messages and conflicting beliefs in messages. Chapter 6 integrates data mining with security protocol analysis, and Chapter 7 develops a new technique for detecting collusion attack in security protocols. Chapter 8 gives a summary of the chapters and presents a brief discussion of some emerging issues in the field.
Psychological Knowledge in Court : PTSD, Pain, and TBI
PTSD, pain syndromes, traumatic brain injury: these three areas are common features of personal injury cases, often forming the cornerstone of expert testimony. Yet their complex interplay in an individual can make evaluation—and explaining the results in court—extremely difficult.
Logic, Language, and Computation ; 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second volume of the FoLLI LNAI subline. It represents the thoroughly refereed post-proceedings of the 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, held in Batumi, Georgia, in September 2005.
IUTAM symposium on relations of shell plate beam and 3D models ; Proceedings of the IUTAM Symposium on the relations of shell, plate, beam, and 3D models, Dedicated to the Centenary of Ilia Vekua’s Birth, held in Tbilisi, Georgia, April 23-27, 2007
Contains papers on the main topics reflecting the scientific programme of the symposium: hierarchical, refined mathematical and technical models of shells, plates, and beams; relation of 2D and 1D models to 3D linear, non-linear and physical models; junction problems. In particular, peculiarities of cusped shells, plates, and beams are emphasized and special attention is paid to junction, multibody and fluid-elastic shell (plate, beam) interaction problems and their applications.
Causality of Psychological Injury : Presenting Evidence in Court
This sequel to the authors’ Psychological Knowledge in Court offers a welcome expansion on key concepts, terms, and issues in causality, bringing much needed clarity to psychological injury assessments and the legal contexts that employ them. Focusing on PTSD, traumatic brain injury, and chronic pain (and grounding readers in salient U.S. and Canadian case law), Causality sets out a multifactorial causality framework to facilitate admissibility of psychological evidence in court. Issues concerning malingering are examined in depth, as are clinical gray areas that can jeopardize validity. At the same time, the book clearly explains what lawyers and clinicians need to understand about each other’s work—of crucial importance since the two sides often seem to speak at cross-purposes.
Apitherapy and therapeutic properties
Apitherapy is an alternate therapy that relies on the usage of honeybee products, most importantly bee venom for the treatment of many human diseases. Bee venom contains several active molecules such as peptides and enzymes that have advantageous potential in treating inflammation and central nervous system diseases, such as Parkinson’s disease, and Alzheimer’s disease and autoimmume diseases like reumatic and atherosclerosis .Bee venom (BV) is usually associated with pain since, when humans are stung by bees,local inflammation and even an allergic reaction can be produced. It also consists of a mixture of proteins and peptides, including enzymes such as Melittin and phospholipase A2 (PLA2) are the most abundant and studied compounds of BV Stings of hymenoptera can induce IgE-mediated hypersensitivity reactions in venom-allergic patients, ranging from local up to severe systemic reactions and even fatal anaphylaxis. skin is larger than any other organ in humans.
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.
6G Mobile Wireless Networks
Specifically, this book covers the following topics: 6G Use Cases, Requirements, Metrics and Enabling Technologies, PHY Technologies for 6G Wireless, Reconfigurable Intelligent Surface for 6G Wireless Networks, Millimeter-wave and Terahertz Spectrum for 6G Wireless, Challenges in Transport Layer for Tbit/s Communications, High-capacity Backhaul Connectivity for 6G Wireless, Cloud Native Approach for 6G Wireless Networks, Machine Type Communications in 6G, Edge Intelligence and Pervasive AI in 6G, Blockchain: Foundations and Role in 6G, Role of Open-source Platforms in 6G, and Quantum Computing and 6G Wireless.
