الصفحة 66
الصفحة 66
Light Absorption in Sea Water
Takes a fresh, holistic approach to the problems of light absorption and absorbers in seawaters, discussing the fundamentals of light absorption at various depths in seawaters of different trophicity by absorbers of diverse origin. The authors have drawn their information from a substantial body of contemporary research results published in the subject literature (over 700 references) as well as their own work during the last 30 years. No other book presently available examines the issues of light absorption and absorbers in seawaters in such a manner. The physical and chemical properties, as well as the optical constants, of organic and inorganic suspended particulate matter (SPM), are discussed in the context of their relationship to the light absorption properties of SPM. Special emphasis is placed on the role of the phytoplankton and the pigments it contains which are particularly strong and important absorbers of visible light in the sea.
Lifetime Spectroscopy : A Method of Defect Characterization in Silicon for Photovoltaic Applications
Lifetime spectroscopy is one of the most sensitive diagnostic tools for the identification and analysis of impurities in semiconductors. Since it is based on the recombination process, it provides insight into precisely those defects that are relevant to semiconductor devices such as solar cells. This book introduces a transparent modeling procedure that allows a detailed theoretical evaluation of the spectroscopic potential of the different lifetime spectroscopic techniques. The various theoretical predictions are verified experimentally with the context of a comprehensive study on different metal impurities. The quality and consistency of the spectroscopic results, as explained here, confirms the excellent performance of lifetime spectroscopy.
Leveraging applications of formal methods, verification and validation : Verification Principles ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
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 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 I, Verification Principles : Modularity and (De-)Composition in Verification ; X-by-Construction: Correctness meets Probability ; 30 Years of Statistical Model Checking ; Verification and Validation of Concurrent and Distributed Systems.
Leveraging applications of formal methods, verification and validation : Engineering Principles ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
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 II, Engineering Principles : Automating Software Re-Engineering ; Rigorous Engineering of Collective Adaptive Systems.
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.
Letterhead+logo design 12
Oxide Design, Co. has collected and curated this latest collection of stunning letterheads and logos. From logos to labels, business cards to envelopes, the creative techniques and full-color images portrayed in this broad range of work inspires new design solutions for age-old challenges that beg for a fresh approach.
Les fonctions sphinctériennes = Sphincter functions
This book on Sphincter functions provides an update on a very topical subject, urinary and anal incontinence. Divided into three parts, it first deals with fundamental aspects, whether anatomical, physiological or clinical. The explorations of the various urinary and anorectal functions are described with electrophysiological, manometric, urodynamic tests as well as imaging. The second part is devoted to the pathology with all the dysfunctions that we encounter in daily practice. Urinary and anal incontinence, dysuria and retention, neurological sphincter disorders, dysfunctions in pregnant women and children are discussed. The last part takes stock of treatments, whether pharmacological, rehabilitative or surgical. This work, which contains a considerable amount of information, will undoubtedly be of interest to many medical specialists (physicians in physical medicine and rehabilitation, neurologists, gastroenterologists, gynecologists, general practitioners, pediatricians), surgeons (urologists, gynecological surgeons, surgeons). digestive) whether they are in training or already involved in the management of perineal disability. Other health professionals will find reference material there (nurses, physiotherapists, midwives).
Les douleurs abdominales en questions : Rôle physiopathologique de la sensibilité viscérale = Abdominal pain in question : The pathophysiological role of visceral sensitivity
The gut-brain axis refers to the network of nerve pathways that connect the myenteric plexus, the veritable "gut brain," to the central nervous system. Nearly 80% of these neurons are sensory neurons, and the afferent pathways that transmit information from the digestive tract to the central nervous system play a crucial role in the physiological regulation of digestive functions, as well as in certain pathological conditions. A large majority of these sensations remain unconscious and give rise to reflex responses. Only those requiring a conscious response reach the level of awareness in a normal state (hunger, thirst, the urge to defecate). In pathological situations, the same is true for painful sensations of digestive origin. Functional bowel disorders are a frequent reason for consultation. Their pathophysiology is now based on a model integrating the various etiological factors around the brain-gut axis. These patients frequently present with visceral hypersensitivity, which manifests as an increased perception of digestive sensations, notably the onset of pain in response to stimuli that are not painful in normal subjects. Recognizing the role of visceral hypersensitivity has made it possible to explain the mechanism of action of medications used to treat functional bowel disorders and paves the way for the development of new molecules acting on digestive afferents. In this book, we will describe the anatomical and physiological basis for understanding the concept of visceral sensitivity and the role of digestive afferents in the pathophysiology of acute and chronic abdominal pain, particularly irritable bowel syndrome.
Left-right asymmetry in vertebrate development
A host of studies has unravelled the involvement of many genes in the left right patterning pathway. Based on this knowledge the genetic basis of human laterality defects are beginning to be revealed. It is a major challenge now to understand how all these genes control left right development as well as the complex set of interactions established between them.
Learning to Live in the Knowledge Society ; IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7–10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
Learning Theory ; Vol. 4005 ; 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings
Constitutes the refereed proceedings of the 19th Annual Conference on Learning Theory, COLT 2006, held in Pittsburgh, Pennsylvania, USA in June 2006. The 43 revised full papers presented together with 2 articles on open problems and 3 invited lectures were carefully reviewed and selected from a total of 102 submissions. The papers cover a wide range of topics including clustering, un- and semisupervised learning, statistical learning theory, regularized learning and kernel methods, query learning and teaching, inductive inference, learning algorithms and limitations on learning, online aggregation, online prediction and reinforcement learning.
Learning Surgery : The Surgery Clerkship Manual
Provides a ready reference to those in third and fourth year residencies. Essential algorithms and case presentations meet with clerkship learning objectives as outlined by the Association of Surgical Education in their ASE Manual. Two sections include Introduction to Clinical Surgery in the Surgical Clerkship Setting and Management of Surgical Diseases During the Clerkship. Chapters include: Stroke, Hypertension, Abdominal Masses, Head Injuries, and Burns. Written by leading clinicians and educators, both surgery residents and medical students will find LEARNING SURGERY indispensible in their rotations and clerkships. Surgeons who train residents will also find the text a valuable ajunct to their teaching.
Learning Classifier Systems ; 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers
Constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops on Learning Classifier Systems that took place in Seattle, WA, USA in July 2006, and in London, UK, in July 2007 - all hosted by the Genetic and Evolutionary Computation Conference, GECCO.The 14 revised full papers presented were carefully reviewed and selected from the workshop contributions. The papers are organized in topical sections on knowledge representation, analysis of the system, mechanisms, new directions, as well as applications.
Lean Business Systems and Beyond ; 1st IFIP TC 5 Advanced Production Management Systems Conference (APMS’2006), Wroclaw, Poland, September 18-20, 2006
Includes : foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.
Le forme spastiche della paralisi cerebrale infantile : Guida all'esplorazione delle funzioni adattive = Spastic forms of cerebral palsy : A guide to exploring adaptive functions
Offers "travel notes" on the topics covered, to spark reflection and comparisons with the readers' experience. The authors address the topics from a pathophysiological perspective that guides their interpretation of the nature of the defect (functional diagnosis), the problems related to prognosis (as a natural history hypothesis), and rehabilitation (as a modification of the architecture of the function in an adaptive sense).The text is accompanied by an extensive glossary of terms used and a DVD with clinical cases, organized according to the authors' classification. This material also highlights the volume's great educational value, both for those already working in this field (physicians, child neuropsychiatrists and physiatrists, rehabilitation therapists) and for students completing their first and second level degrees in rehabilitation and attending postgraduate schools.
Le cefalee: manuale teorico-pratico = Headaches: theoretical and practical manual
Headaches are one of the problems that doctors have to deal with most often. They have protean clinical aspects which correspond to different directions of treatment. To orient oneself in the face of such a complex situation, experiences and clear points of reference are needed, both of which are present in this work.
Layce (Image data poisoning) = لايس (تسميم بيانات الصور )
The ongoing growth of image generative artificial intelligence models was paved with existing drawings and art pieces by great artists both past and present, and while generative models are very useful and helpful, there is the issue of the origin of the datasets trained on, and the morality of usage regarding copyrights and artistic identity. A novel line of defense that helps artists and visual content creators actively protect their pieces emerged, dubbed Data Poisoning and it works by misleading Artificial Intelligence models that attempt to use a Poisoned Image for training, or as a reference, as the Poisoned Image will appear to the human eye identical to the original art piece, while the Artificial Intelligence model will be seeing a remarkably different image, causing generative models to generate false positive results when given a prompt poisoned by the author or when trained on data poisoned by the original owner. This study aims to study image data poisoning methods and technologies, and build an application containing multiple image models, and poisoning models as well, accompanied by a Community for artists to share art and interact with each other.
Laws of Nature
The book is concerned with the laws of nature and in particular with the laws of physics. The authors discuss three important questions: First, whether the observed regularities are based on strict "laws of nature" that hold rigorously and without any exception. Second, what we call a "law of nature" is studied by comparing this concept with invariance principles, causality principles, teleological principles and means of predicting future events. Finally, on the basis of these investigations the authors treat the ambitious and intricate third question, why the laws of nature hold. Are there rational reasons for this largely unexplained phenomenon? This book addresses students as well as researchers. It will be an excellent reference for those interested in the philosophical foundations of the natural sciences.
LATIN 2006 : Theoretical Informatics ; 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings
This book constitutes the refereed proceedings of the 7th International Symposium, Latin American Theoretical Informatics, LATIN 2006, held in March 2006. The 66 revised full papers presented together with seven invited papers were carefully reviewed and selected from 224 submissions. The papers presented are devoted to a broad range of topics in theoretical computer science with a focus on algorithmics and computations related to discrete mathematics as well as on cryptography, data compression and Web applications.
