Page 3
Page 3
Hybrid Systems : Computation and Control ; Vol.3927 ; 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
The focus is on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Topics addressed include tools for analysis and verification, control and optimization, modeling, engineering applications, and new directions in language support and implementation.
Hybrid Systems : Computation and Control ; Vol. # 3414 ; 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
Contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich, Switzerlandduring March 9-11, 2005. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous - haviors. This year's HSCC was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 3 invited talks and 40 regular papers selected from 91 regular submissions. The program covered topics such as tools for analysis and verification, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation. We would like to thank the Program Committee members and reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions.
History of Mathematics Teaching and Learning : Achievements, Problems, Prospects
This work examines the main directions of research conducted on the history of mathematics education. It devotes substantial attention to research methodologies and the connections between this field and other scholarly fields. The results of a survey about academic literature on this subject are accompanied by a discussion of what has yet to be done and problems that remain unsolved.
Higher education : Handbook of theory and research ; Vol. 19
In this Book provide some reflections on own contributions to the field of higher education. Describing how andwhy I conducted some of my studies may, I hope, help students understandthe process of doing research. Early in my graduate studies I came across abook about how sociologists work. The book was written by sociologistswho described in some detail how they went about doing particularresearch studies. This essay follows that same approach in describing myown rationale and experiences in carrying out studies in higher education,Bill McKeachie provided a rich foundation in theevaluation and improvement of teaching that helped me identify worth-while research directions. My own goal has always been to be pragmaticand to hope my findings would make a difference — in other words I havehoped that my research results would somehow be of service to someonein our colleges and universities.
High Dielectric Constant Materials : VLSI MOSFET Applications
Issues relating to the high-K gate dielectric are among the greatest challenges for the evolving International Technology Roadmap for Semiconductors (ITRS). More than just an historical overview, this book will assess previous and present approaches related to scaling the gate dielectric and their impact, along with the creative directions and forthcoming challenges that will define the future of gate dielectric scaling technology. Topics include: an extensive review of Moore's Law, the classical regime for SiO2 gate dielectrics; the transition to silicon oxynitride gate dielectrics; the transition to high-K gate dielectrics (including the drive towards equivalent oxide thickness in the single-digit nanometer regime); and future directions and issues for ultimate technology generation scaling. The vision, wisdom, and experience of the team of authors will make this book a timely, relevant, and interesting, resource focusing on fundamentals of the 45 nm Technology Generation and beyond.
High accuracy detection of mobile malware using machine learning
As increasingly sophisticated and evasive malware attacks continue to emerge, more effective detection solutions to tackle the problem are being sought through the application of advanced machine learning techniques. This reprint presents several advances in the field including: a new method of generating adversarial samples through byte sequence feature extraction using deep learning; a state-of-the-art comparative evaluation of deep learning approaches for mobile botnet detection; a novel visualization-based approach that utilizes images for Android botnet detection; a study on the detection of drive-by exploits in images using deep learning; etc. Furthermore, this reprint presents state-of-the-art reviews about machine learning-based detection techniques that will increase researchers' knowledge in the field and enable them to identify future research and development directions.
Herbs for stress & anxiety : How to make and use herbal remedies to strengthen the nervous system
Treat stress, anxiety, depression, and more with simple herbal remedies that calm your mind, build a healthy nervous system, and promote lasting peace. In this informative guide, renowned herbalist Rosemary Gladstar profiles 21 herbs proven to be effective at soothing common ailments like insomnia, panic attacks, skin conditions, and migraines. With simple directions for making herbal mixtures that can be used in delicious teas, tinctures, and capsules, Gladstar shows you how to harness the power of nature to achieve a more relaxed and fulfilling life.
Handover in DVB-H : Investigation and Analysis
This book gives a detail description of the handover issues in DVB-H networks, in converged DVB-H/UMTS networks and in hybrid DVB-H/DMB-T networks. Besides, the DVB-H signalling information including ESG is discussed. The current status and the future research directions of DVB-H and DVB-H handover are presented so that the readers can also get an overview of the research methods being used.
Handbook on Information Technologies for Education and Training
The handbook's goal is to enable the reader to gain a deep understanding of past, current and future research and applications in the field of educational technology. The reader will gain an in-depth understanding of complex theories, strategies, concepts, and methods relating to the design, development, implementation, and evaluation of educational technologies. Because it combines both the present experience in the field and the vision of its emerging directions, the handbook will be a comprehensive guide for researchers and practitioners working with educational technologies. All the chapters of the second edition are newly written, the handbook therefore presents the latest developments in the field.
Handbook of Normal Frames and Coordinates
This book provides the first comprehensive and complete overview on results and methods concerning normal frames and coordinates in differential geometry, with emphasis on vector and differentiable bundles. The book can be used as a reference manual, for reviewing the existing results and as an introduction to some new ideas and developments. Virtually all essential results and methods concerning normal frames and coordinates are presented, most of them with full proofs, in some cases using new approaches.All classical results are expanded and generalized in various directions. For example, normal frames and coordinates are defined and investigated for different kinds of derivations, in particular for (possibly linear) connections on manifolds, with or without torsion, in vector bundles and on differentiable bundles; they are explored also for (possibly parallel) transports along paths in vector bundles. Theorems of existence, uniqueness and, possibly, holonomicity of normal frames and coordinates are proved; mostly, the proofs are constructive and some of their parts can be used independently for other tasks.
Handbook of K-Theory
This handbook offers a compilation of techniques and results in K-theory.Many chapters present historical background; some present previously unpublished results, whereas some present the first expository account of a topic; many discuss future directions as well as open problems. The overall intent of this handbook is to offer the interested reader an exposition of our current state of knowledge as well as an implicit blueprint for future research.
Handbook of Homework Assignments in Psychotherapy : Research, Practice, and Prevention
The Handbook of Homework in Psychotherapy is the first resource for the practicing clinician that addresses the role of homework across major therapeutic paradigms and complex clinical problems. It opens with a series of practice-orientated chapters on the role of homework in different psychotherapies (acceptance and commitment, client-centered, constructivist, cognitive-behavioral, experiential, family, interpersonal, psychodynamic) written by an international team of expert psychotherapy practitioner-researchers. Then, experienced practitioners present strategies, examples, and formulated assignments for use with different populations (couples, families, older adults) and complex problems (chronic depression, chronic pain, eating disorders, obsessions and compulsions, personality disorders, psychosis, sexual dysfunction, substance abuse, traumatic brain injury). The Handbook closes with three chapters by leading psychotherapy theoreticians, researchers, and practitioners that critique the available research evidence for homework, integrate the recommendations for using homework in practice, and also provide directions for homework's role in prevention.
Handbook of Face Recognition
This authoritative handbook is the first to provide complete coverage of face recognition, including major established approaches, algorithms, systems, databases, evaluation methods, and applications. After a thorough introductory chapter from the editors, 15 chapters address the sub-areas and major components necessary for designing operational face recognition systems. Each chapter focuses on a specific topic, reviewing background information, reviewing up-to-date techniques, presenting results, and offering challenges and future directions.
Hadron Collider Physics 2005 ; Proceedings of the 1st Hadron Collider Physics Symposium, Les Diablerets, Switzerland, July 4-9, 2005
The Hadron Collider Physics Symposia (HCP) are a new series of conferences that follow the merger of the Hadron Collider Conferences with the LHC Symposia series, with the goal of maximizing the shared experience of the Tevatron and LHC communities. This book gathers the proceedings of the first symposium, HCP2005 and reviews the state-of-the-art in the key physics directions of experimental hadron collider research: - QCD physics - precision electroweak physics - c-, b-, and t-quark physics - physics beyond the Standard Model - heavy ion physics
Growth Dynamics of Conifer Tree Rings : Images of Past and Future Environments
Each tree ring contains an image of the time when the ring formed, projected onto the ring's size, structure, and composition. Tree rings thus are natural archives of past environments, and contain records of past climate. While dendrochronologists have investigated the impact of climate on tree-ring growth by empirical–statistical methods, this volume presents a process-based model complementing previous approaches. Basic ideas concerning the biology of tree-ring growth and its control by environmental factors are treated, especially for conifers. The use of the model is illustrated by means of several examples from widely differing environments, and possible future directions for model development and application are discussed. The volume provides an improved mechanistic basis for the interpretation of tree rings as records of past climate. It advances process understanding of the large-scale environmental control of wood growth. As forests are the main carbon sink on land, the results are of great importance for all global change studies.
Graph-theoretic concepts in computer science ; Vol. 4271 ; 32nd International Workshop, WG 2006, Bergen, Norway, June 22-23, 2006, Revised Papers
The workshop aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computer s- ence, or by extracting new problems from applications. The goal is to present recent research results and to identify and explore directions of future research. The talks showed how recent researchresults from algorithmic graph theory can be used in computer science and which graph-theoreticquestions arisefrom new developments in computer science.
Graph-theoretic concepts in computer science ; 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers
This book constitutes the revised papers of the 46th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2020, held in Leeds, UK, in June 2020. The workshop was held virtually due to the COVID-19 pandemic. The 32 full papers presented in this volume were carefully reviewed and selected from 94 submissions. They cover a wide range of areas, aiming to present emerging research results and to identify and explore directions of future research of concepts on graph theory and how they can be applied to various areas in computer science.
Graph-theoretic concepts in computer science ; 33rd International workshop, WG 2007, Dornburg, Germany, June 21-23, 2007, Revised Papers
The WG conference traditionally aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computer science, or by extracting new problems from applications. The goal is to present recent researchresults and to identify and exploredirections of future research.
Graph drawing ; 15th International symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers
The 16th International Symposium on Graph Drawing (GD 2008) was held in Hersonissos, near Heraklion, Crete, Greece, September 21-24, 2008, and was attended by 91 participants from 19 countries. In response to the call for papers the Program Committee received 83 s- missions,eachdescribing originalresearchand/or a systemdemonstration.Tamassia showed how graph drawing techniques can be used as an e?ective tool in computer security and pointed to future research directions in this area. Following what is now a tradition, the 15th Annual Graph Drawing Contest was held during the conference, also including a Graph Drawing Challenge to the conference attendees.
Global Change and Mountain Regions : An Overview of Current Knowledge
Mountain regions occupy about a quarter of the global terrestrial land surface and provide goods and services to more than half the humanity. Global environmental change threatens the integrity of these systems and their ability to provide the goods and services upon which humanity has come to depend. This book gives an overview of the state of research in fields pertaining to the detection, understanding and prediction of global change impacts in mountain regions. More than 60 contributions from paleoclimatology, cryospheric research, hydrology, ecology, and development studies are compiled in this volume, each with an outlook on future research directions.
