Page 3
Page 3
Voices of Trauma : Treating Psychological Trauma Across Cultures
Synthesizing insights from psychiatry, social psychology, and anthropology, Voices of Trauma: Treating Survivors across Cultures sets out a framework for therapy that is as culturally informed as it is productive. An international panel of 23 therapists offers contextual knowledge on PTSD, coping skills, and other trauma sequelae as they affect survivors of traumatic events. Case studies from Egypt to Chechnya demonstrate various therapeutic approaches (and the Cultural Formation of Diagnosis from the DSM-IV), often integrated with social agencies outside the clinical setting. Authors explore the balance of inter- and intrapersonal factors in reactions to trauma, dispel misconceptions that hinder progress in treatment, and provide profound examples of mutual trust and empathy, even how the wounded may heal the therapist.
Vocational Teacher Education in Central Asia : Developing Skills and Facilitating Success
This book is open access under a CC-BY license. This open access volume presents papers on vocational education, project-based learning and science didactic approaches, illustrating with sample cases, and with a special focus on Central Asian states. Thematically embedded in the area of Technical Vocational Education and Training (TVET), the book examines the following main topics: project-based learning (PBL), specific didactics with a linkage to food technologies and laboratory didactics, media and new technologies in TVET, evaluation of competencies including aspects of measurement, examination issues, and labour market and private sector issues in TVET, and research methods with a focus on empirical research and the role of scientific networks.
Vlsi-Soc : From systems to silicon ; IFIP TC10/ WG 10.5 13th International Conference on very large scale integration of system on chip (VLSI-SoC2005), October 17-19, 2005, Perth, Australia
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 referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Vitreo-retinal Surgery ; 1st ed.
Progress in vitreo-retinal surgery is mercurial. Since this series is dedicated to new developments the reader is presented with a motley list of topics. The advancements described here may represent generally accepted progress in the field: New instruments, Macular hole surgery, Tumor biopsy. New ideas are set out to be tested for their benefit, for example: AMD surgery, Adjunctive pharmacotherapy. Reflections on incessant clinical problems in vitreo-retina surgery require superior scrutinization of established surgical techniques and indications: Posterior slippage, Inferior breaks, Subclinical retinal detachments. The editors will expand this list in future editions with topics like: new support for buckling surgery, enzyme assisted vitrectomy, new tamponades and other yet unknown fields of progress.
Vitamin deficiency
Vitamin deficiency is the condition of a long-term lack of a vitamin. When caused by not enough vitamin intake it is classified as a primary deficiency, whereas when due to an underlying disorder such as malabsorption it is called a secondary deficiency. An underlying disorder may be metabolic – as in a genetic defect for converting tryptophan to niacin – or from lifestyle choices that increase vitamin needs, such as smoking or drinking alcohol. Governments guidelines on vitamin deficiencies advise certain intakes for healthy people, with specific values for women, men, babies, the elderly, and during pregnancy or breastfeeding. Many countries have mandated vitamin food fortification programs to prevent commonly occurring vitamin deficiencies. Conversely hypervitaminosis refers to symptoms caused by vitamin intakes in excess of needs, especially for fat-soluble vitamins that can accumulate in body tissues.
Visual Basic 2008 Recipes : A Problem-Solution Approach
Sometimes you just need to solve a problem and get on with your work. To that end, Visual Basic 2008 Recipes is a compendium of practical solutions for busy VB .NET programmers. Create time for the more interesting aspects of your VB .NET project by solving common problems with the practical solutions and dozens of code examples in this book. Important .NET 3.5 technologies, such as Windows Presentation Framework (WPF) and Language Integrated Query (LINQ), are covered, and each chapter addresses a specific problem domain, including database access, multimedia, XML manipulation, networking, and security. The code is free to download, so you can use the recipes immediately.
Virtual, Distributed and Flexible Organisations : Studies in Organisational Semiotics
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. The methods and techniques derived from Organisational Semiotics enable us to study the organisation by examining how information is created and used for communication, coordination and performance of actions towards organisational objectives. The latest development of the young discipline and its applications have been reported in this book, which provides a useful guide and a valuable reference to anyone working in the areas of organisational study and information systems development.
Viral Therapy
Virotherapy is a treatment using biotechnology to convert viruses into therapeutic agents by reprogramming viruses to treat diseases. There are three main branches of virotherapy: anti-cancer oncolytic viruses, viral vectors for gene therapy and viral immunotherapy. These branches utilize three different types of treatment methods: gene overexpression, gene knockout, and suicide gene delivery. Gene overexpression adds genetic sequences that compensate for low to zero levels of needed gene expression. Gene knockout utilizes RNA methods to silence or reduce expression of disease-causing genes. Suicide gene delivery introduces genetic sequences that induce an apoptotic response in cells, usually to kill cancerous growths. In a slightly different context, virotherapy can also refer more broadly to the use of viruses to treat certain medical conditions by killing pathogens like Bacteriophages that specialized to kill Bacteria without harming human cell.
V-Invex Functions and Vector Optimization
the book focuses on V-invex functions in vector optimization that have grown out of the work of Jeyakumar and Mond in the 1990’s. V-invex functions are areas in which there has been much interest because it allows researchers and practitioners to address and provide better solutions to problems that are nonlinear, multi-objective, fractional, and continuous in nature. Hence, V-invex functions have permitted work on a whole new class of vector optimization applications.
Victim-Offender Mediation with Youth Offenders in Europe: An Overview and Comparison of 15 Countries
This book documents the state of the art on Victim-Offender Mediation with youth offenders in 15 European nations.It provides an up-do date review of current theory and practice and presents a critical discussion of problems and benefits which may help guide future policy decisions and applications. The book informs both those who are interested in evaluating the current state of affairs of Victim-Offender Mediation with youth offenders in Europe, and those who would like to promote Victim-Offender Mediation in their own countries. The common format used in each chapter facilitates comparison across countries. Per country, five areas of investigation are explored and discussed: norms and legislation allowing for the implementation of victim-offender mediation programmes; values and theoretical frameworks of victim-offender mediation; organizational structure of victim-offender mediation services; professional characteristics of mediators; benefits, potential problems, and criticisms of current practice.
Vibrations and Stability : Advanced Theory, Analysis, and Tools
Ties together classical and modern topics of advanced vibration analysis in an interesting and lucid manner. It is intended for advanced students, university teachers, and researchers in mechanical/structural engineering dynamics, and professional engineers aiming at strengthening their theoretical foundation. Assuming background knowledge in elementary vibrations, it provides a set of useful tools for understanding and analyzing the more complex dynamical phenomena that can be met in engineering and scientific practice. Summarizing first basic linear vibration theory, it progresses over various types of nonlinearity and nonlinear interaction to bifurcation analysis, chaotic vibrations, and special high-frequency effects. It trains the student to analyze simple models, recognize nonlinear phenomena, and work with advanced tools such as perturbation analysis and bifurcation analysis
Verrechnungspreise : Grundlagen und Praxis = Transfer Pricing: Principles and Practice
Offers a structured overview of tax transfer prices, which have become one of the most important tax challenges for multinational corporations as well as internationally active medium-sized companies, but also design fields. The work deals with relevant legal bases, methods of determining transfer pricing, typical areas of conflict in tax audits and provides assistance in preparing transfer pricing documentation. The second edition also takes into account the recently adopted program of the G20 countries and the OECD against tax avoidance and profit shifting, "Base Erosion and Profit Shifting" (BEPS for short), which will bring significant changes to the area of transfer pricing. In addition, the latest empirical findings from the current PwC audit study are processed.
Verified Software: Theories, Tools, Experiments ; 2nd International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.
Verified Software: Theories, Tools, Experiments ; 1st IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying compiler". Most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. The papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques.
Verification, Model Checking, and Abstract Interpretation ; Vol. 3855 ; 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, and Abstract Interpretation,held January 8-10, 2006, at Charleston, South Carolina, USA.VMCAI provides a forum for researchers from the communities of verifica-tion, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.The program was selected from 58 submitted papers.
Verification, model checking, and abstract interpretation ; Vol. 3385 ; 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.
Verification, Model Checking, and Abstract Interpretation ; 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
The book feature current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, cross-fertilization, and advancement of hybrid methods.
Verification, Model Checking, and Abstract Interpretation ; 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
Contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January 14–16, 2007 in Nice. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization,and dvancement of hybrid methods that combine the three areas.
Verification, Model Checking, and Abstract Interpretation ; 3rd International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, Model Checking, and AbstractInterpretation, Venice (Italy), January 21-22, 2002.The main goal of the workshop was to give an overview of the main directionsdecisive for the growth and cross-fertilization of major research activities inprogram analysis and verification. The program committee selected 22 papers out of 41 submissions on the basisof at least 3 reviews. The resulting volume offers the reader an interesting perspectiveof the current research trends in the area. In particular, the papers contributeto the following topics: Security and Protocols, Timed Systems and Games,Static Analysis, Optimizations, Types and Verification, and Temporal Logicsand Systems.
Verification of Object-Oriented Software : The KeY Approach
Features of the programming languages we employ in these programs are plentiful, including object-oriented organizations of data, facilities for specifying di?erent c- trol ?ow for rare situations, constructs for iterating over the elements of a collection, and the grouping together of operations into atomic transactions. These language features were designed to facilitate simpler and more natural encodings of programs, and ideally they are accompanied by simpler proof rules. But the variety and increased number of these features make it harder to remember all that needs to be proved about their uses. As a third problem, we have come to expect a higher degree of rigor from our proofs. A proof carried out or replayed by a machine somehow gets more credibility than one that requires human intellect to understand.
