الصفحة 7
الصفحة 7
Beginning Apache Struts: From novice to professional
Beginning Apache Struts will provide you a working knowledge of Apache Struts 1.2. This book is ideal for you Java programmers who have some JSP familiarity, but little or no prior experience with Servlet technology. Organized in a condensed tutorial and lab format, the material in this book has been tested in real classroom environments. It takes a step-by-step, hands-on approach to teaching you Struts. The book even previews the next generation of Struts, the Apache Shale. The overall result is that you can quickly apply Struts to your work settings with confidence.
Beginning Ajax with PHP : From novice to professional
Beginning Ajax with PHP: From Novice to Professional is the first book to introduce how these two popular technologies can work together to create next-generation applications. Author Lee Babin covers what you commonly encounter in daily web application development tasks.
Bayesian reliability
Bayesian Reliability presents modern methods and techniques for analyzing reliability data from a Bayesian perspective. The adoption and application of Bayesian methods in virtually all branches of science and engineering have significantly increased over the past few decades. This increase is largely due to advances in simulation-based computational tools for implementing Bayesian methods. The authors extensively use such tools throughout this book, focusing on assessing the reliability of components and systems with particular attention to hierarchical models and models incorporating explanatory variables. Such models include failure time regression models, accelerated testing models, and degradation models. The authors pay special attention to Bayesian goodness-of-fit testing, model validation, reliability test design, and assurance test planning. Throughout the book, the authors use Markov chain Monte Carlo (MCMC) algorithms for implementing Bayesian analyses--algorithms that make the Bayesian approach to reliability computationally feasible and conceptually straightforward.
Bayesian Methods in the Search for MH370
This book demonstrates how nonlinear/non-Gaussian Bayesian time series estimation methods were used to produce a probability distribution of potential MH370 flight paths. It provides details of how the probabilistic models of aircraft flight dynamics, satellite communication system measurements, environmental effects and radar data were constructed and calibrated. The probability distribution was used to define the search zone in the southern Indian Ocean. The book describes particle-filter based numerical calculation of the aircraft flight-path probability distribution and validates the method using data from several of the involved aircraft’s previous flights. Finally it is shown how the Reunion Island flaperon debris find affects the search probability distribution.
Automated technology for verification and analysis ; 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008.
Automated technology for verification and analysis ; 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.
ASP.NET 1.1 Solutions Toolkit
This collection of reusable ASP.NET components serves two purposes. First, the components are ready to use, so you may add exciting features to your own ASP.NET websites. Second, each component's design and implementation is discussed, and you'll discover tips and tricks applicable for developing your own controls. Controls can be cut and pasted or used as templates for you to build your own controls. And the 15 included controls (programs) cover a broad range of situations, providing you both working coded solutions to your problem and the rationalization behind those solutions. Overall, this highly anticipated book provides immediate solutions to range of common problems.
Architectural scale models in the digital age : Design, representation and manufacturing
Complex geometric forms generated using virtual media can be tested and validated only by means of physical models, which also make it possible to assess their practical application. The complexity of contemporary architectural design requires the mastery of new methods of producing scale models, which opens a new chapter in the field of modeling, and is the focus of this book. Along with the traditional methods that provide the basis for modeling, this book presents the principles of digital NURBS modeling, parametric modeling, digital modeling support, and model creation, complete with a number of tutorials, practical advice and examples found in architectural practice today.
Architecting dependable systems V
As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability.
Applied geotechnics for construction projects ; Vol. 3 : Behavior and Design of Project Foundations and Eurocode Validation
Applied Geotechnics for Construction Projects 3 first presents the basic theoretical principles and rules governing the designing and validation of foundations; shallow, semi-deep and deep, then presents real foundation projects with a detailed comparison of the approaches and methods of calculating foundations in relation to the reference systems and rules in force, closely compared to and validated by the Eurocodes. The third chapter presents examples of foundation projects, covering high-side building rafts, strip footings, piles and embankments, enriched by an unprecedented level of experience in the field of foundations for civil and industrial construction projects.
Applications and Theory of Petri Nets ; 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008.
Application and Theory of Petri Nets 2002 ; 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN 2002, held in Adelaide, Australia, in June 2002. The 18 regular papers and one tool presentation presented together with six invited paper were carefully reviewed and selected from 45 submissions. All current issues on research and development of Petri nets are addressed, in particular concurrent systems analysis, model validation, business process management, reactive systems, workflow processes, wireless transaction protocols.
Androgen Excess Disorders in Women
The field of androgen excess disorders has advanced substantially since the original publication of this book. The Androgen Excess Society (AES) was founded to bring together investigators in the field. A better understanding of the screening, progression, and molecular genetics of nonclassic adrenal hyperplasia (NCAH) has improved the clinical care and diagnostic accuracy of these patients. New criteria for the diagnosis of the polycystic ovary syndrome (PCOS) were proposed in Rotterdam, criteria that have resulted in controversy and, hopefully, initiation of new studies. The association of insulin resistance with PCOS has been strengthened, and the role of metformin in tre- ing the infertility of the PCOS has been validated. Risks for diabetes and, more cont- versially, cardiovascular disease in women with PCOS have received substantial investigation. Our understanding of the epidemiology and economic impact of these disorders has expanded, emphasizing their critical importance.
Analog-baseband architectures and circuits For multistandard and lowvoltage wireless transceivers
"Analog-Baseband Architectures and Circuits reviews the fundamentals and studies the state-of-the-art multistandard transceivers before describing novel architectural and circuit techniques for implementing multimode and wideband (tens of MHz) baseband analog front-ends under low-voltage constraints. Techniques developed on architecture level for efficient system-in-package (SiP) integration, testability and multi-standardability; and on circuit level for reducing the required supply voltage, power and area are generally applicable for most wireless systems, and are somewhat independent to technology scaling. Experimental 1-V baseband building blocks (i.e., double-quadrature-downconversion filter, programmable-gain amplifier and dc-offset canceler) and a 1-V fully-integrated receiver analog-baseband chain for IEEE 802.11a/b/g WLAN validate the techniques. The implementations are all in standard-VTH CMOS process, and no voltage boosting is required at any node." "Analog-Baseband Architectures and Circuits will be relevant to system architects, circuit designers, professors and students engaged in wireless transceiver front-ends research and development."
Ajax in Oracle JDeveloper
The book covers web search and RSS Feed with Ajax as well as form validation with Ajax frameworks for Java, JSP, JSF, and PHP. It discusses using Ajax in Oracle JDeveloper and is IDE based. JDeveloper has the following advantages over Eclipse IDE.
AI in disease detection : Advancements and applications
Discusses the integration of artificial intelligence to revolutionize disease detection approaches, with case studies of AI in disease detection as well as insight into the opportunities and challenges of AI in healthcare as a whole. The book explores a wide range of individual AI components such as computer vision, natural language processing, and machine learning as well as the development and implementation of AI systems for efficient practices in data collection, model training, and clinical validation.
Agent-oriented software engineering VI ; 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software Engineering, AOSE 2005, held in Utrecht, The Netherlands, in July 2005 as part of AAMAS 2005. The 18 revised full papers were carefully selected from 35 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on modeling tools, analysis and validation tools, multiagent systems design, implementation tools, and experiences and comparative evaluations.
Agent Technology from a Formal Perspective
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, provided a timely and compelling platform on which the growing concerns and requirement of agent-based systems users that systems should be accompanied by behavioral assurances, could be discussed. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, and are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems.
Advances in Targeted Cancer Therapy
This volume is the first book to cover the general topic of targeted cancer therapy. It presents a range of targets such as tumor angiogenesis, cell cycle control and cell signalling, COX-2, apoptosis/cell survival, invasion and metastasis and approaches like kinase inhibitors, antisense, and antibody-based therapeutics. The emphasis is on preclinical development, including target validation, development of biomarkers, strategies for combination approaches, and development of resistance. The particular challenges involved in translating these data to clinical application are discussed.
Advances in Multilingual and Multimodal Information Retrieval ; 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed proceedings of the 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, held in Budapest, Hungary, September 2007.
