Libros a Descargar Gratis

Handbook of Anthropometry

Autor: Victor R. Preedy

Número de Páginas: 3042

Although its underlying concept is a relatively simple one—the measurement of the human body and its parts—anthropometry employs a myriad of methods and instruments, and is useful for a variety of purposes, from understanding the impact of disease on individuals to tracking changes in populations over time. The first interdisciplinary reference on the subject, the Handbook of Anthropometry brings this wide-ranging field together: basic theory and highly specialized topics in normal and abnormal anthropometry in terms of health, disease prevention, and intervention. Over 140 self-contained chapters cover up-to-date indices, the latest studies on computerized methods, shape-capturing systems, and bioelectrical impedance, data concerning single tissues and whole-body variables, and reports from different areas of the world. Chapters feature helpful charts and illustrations, cross-references to related chapters are included, and key points are presented in bullet form for ease of comprehension. Together, the Handbook’s thirteen sections entail all major aspects of anthropometrical practice and research, including: Tools and techniques. Developmental stages, from fetus to elder....

Algorithmic Number Theory

Autor: Joe P. Buhler

Número de Páginas: 660

The field of diagnostic nuclear medicine has changed significantly during the past decade. This volume is designed to present the student and the professional with a comprehensive update of recent developments not found in other textbooks on the subject. The various clinical applications of nuclear medicine techniques are extensively considered, and due attention is given also to radiopharmaceuticals, equipment and instrumentation, reconstruction techniques and the principles of gene imaging.

Data Structures

Autor: Wayne Amsbury

Número de Páginas: 552

Programming in C

Autor: J.b. Dixit

Número de Páginas: 528

Game Physics

Autor: David H. Eberly

Número de Páginas: 928

Create physically realistic 3D Graphics environments with this introduction to the ideas and techniques behind the process. Author David H. Eberly includes simulations to introduce the key problems involved and then gradually reveals the mathematical and physical concepts needed to solve them.

Programming the PIC Microcontroller with MBASIC

Autor: Jack Smith

Número de Páginas: 801

The Microchip PIC family of microcontrollers is the most popular series of microcontrollers in the world. However, no microcontroller is of any use without software to make it perform useful functions. This comprehensive reference focuses on designing with Microchip's mid-range PIC line using MBASIC, a powerful but easy to learn programming language. It illustrates MBASIC's abilities through a series of design examples, beginning with simple PIC-based projects and proceeding through more advanced designs. Unlike other references however, it also covers essential hardware and software design fundamentals of the PIC microcontroller series, including programming in assembly language when needed to supplement the capabilities of MBASIC. Details of hardware/software interfacing to the PIC are also provided.BENEFIT TO THE READER: This book provides one of the most thorough introductions available to the world's most popular microcontroller, with numerous hardware and software working design examples which engineers, students and hobbyists can directly apply to their design work and studies. Using MBASIC, it is possible to develop working programs for the PIC in a much shorter time frame ...

Computers in Radiology

Autor: R. De Haene , A. Wambersie

Número de Páginas: 684

Mastering C++ Programs

Autor: J.b. Dixit

Número de Páginas: 628

e-Health Security Management

Autor: Omessaad Hamdi

Número de Páginas: 260

Digital evolution, whether through Internet advances or the development of connected objects, has triggered a veritable societal revolution. Thanks to technological advances, e-health services enable healthcare professionals to monitor patients in real time. However, new challenges have also arisen in the field of e-health, concerning the security of medical data, as well as the protection of patient privacy. After presenting e-health architectures and explaining the proliferation of cyber attacks, e-Health Security Management focuses on proposing solutions designed to meet these security imperatives and respect patient privacy, such as the use of blockchain, "biometrics", new encryption methods or artificial intelligence. Implementing these solutions is crucial to guarantee the acceptance and effectiveness of e-health services.

FDDI Performance Guarantees for Real-time Traffic in the Absense of a Synchronous Mode

Autor: Michael Melville Johnson

Número de Páginas: 222

Numerical Methods with Python

Autor: William Miles

Número de Páginas: 326

Introduces students to appropriate use of computer programming within the scientific disciplines using Python. Discusses several common applications of programming and implementation using real world examples and hands on programming exercises. Students learn how to model situations such as image recognition, medical diagnosis, spread of disease, and others. The text could be used by students and lecturers for courses in Python, Numerical Methods, or as a first course in Data Science.

Excel for Scientists and Engineers

Autor: E. Joseph Billo

Número de Páginas: 480

Learn to fully harness the power of Microsoft Excel® to perform scientific and engineering calculations With this text as your guide, you can significantly enhance Microsoft Excel's® capabilities to execute the calculations needed to solve a variety of chemical, biochemical, physical, engineering, biological, and medicinal problems. The text begins with two chapters that introduce you to Excel's Visual Basic for Applications (VBA) programming language, which allows you to expand Excel's® capabilities, although you can still use the text without learning VBA. Following the author's step-by-step instructions, here are just a few of the calculations you learn to perform: Use worksheet functions to work with matrices Find roots of equations and solve systems of simultaneous equations Solve ordinary differential equations and partial differential equations Perform linear and non-linear regression Use random numbers and the Monte Carlo method This text is loaded with examples ranging from very basic to highly sophisticated solutions. More than 100 end-of-chapter problems help you test and put your knowledge to practice solving real-world problems. Answers and explanatory notes for...

Advanced Smart Grid Functionalities Based on PowerFactory

Autor: Francisco Gonzalez-longatt , José Luis Rueda Torres

Número de Páginas: 379

This book consolidates some of the most promising advanced smart grid functionalities and provides a comprehensive set of guidelines for their implementation/evaluation using DIgSILENT Power Factory. It includes specific aspects of modeling, simulation and analysis, for example wide-area monitoring, visualization and control, dynamic capability rating, real-time load measurement and management, interfaces and co-simulation for modeling and simulation of hybrid systems. It also presents key advanced features of modeling and automation of calculations using PowerFactory, such as the use of domain-specific (DSL) and DIgSILENT Programming (DPL) languages, and utilizes a variety of methodologies including theoretical explanations, practical examples and guidelines. Providing a concise compilation of significant outcomes by experienced users and developers of this program, it is a valuable resource for postgraduate students and engineers working in power-system operation and planning.

Structural Information and Communication Complexity

Autor: Zvi Lotker , Boaz Patt-shamir

Número de Páginas: 424

This book constitutes the refereed post-conference proceedings of the 25th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2018, held in Ma'ale HaHamisha, Israel, in June 2018. The 23 full papers and 8 short papers presented were carefully reviewed and selected from 47 submissions. They are devoted to the study of the interplay between structural knowledge, communications, and computing in decentralized systems of multiple communicating entities and cover a large range of topics.

Mastering Data Structures Through C Language

Autor: J. B. Dixit

Número de Páginas: 640

Computer Concepts and C Programming

Autor: J. Dixit

Número de Páginas: 650

Indigenous Peoples, Consent and Benefit Sharing

Autor: Rachel Wynberg , Doris Schroeder , Roger Chennells

Número de Páginas: 375

Indigenous Peoples, Consent and Benefit Sharing is the first in-depth account of the Hoodia bioprospecting case and use of San traditional knowledge, placing it in the global context of indigenous peoples’ rights, consent and benefit-sharing. It is unique as the first interdisciplinary analysis of consent and benefit sharing in which philosophers apply their minds to questions of justice in the Convention on Biological Diversity (CBD), lawyers interrogate the use of intellectual property rights to protect traditional knowledge, environmental scientists analyse implications for national policies, anthropologists grapple with the commodification of knowledge and, uniquely, case experts from Asia, Australia and North America bring their collective expertise and experiences to bear on the San-Hoodia case.

Modern Borehole Analytics

Autor: Wilson C. Chin

Número de Páginas: 481

Written by a leading industry specialist, a must-have for drilling specialists, petroleum engineers, and field practitioners, this is the only book providing practical, rigorous and validated models for general annular flows, eccentric geometries, non-Newtonian fluids, yield stresses, multiphase effects, and transient motions and flow rates and includes new methods describing mudcake integrity and pore pressure for blowout assessment. Wilson C. Chin has written some of the most important and well-known books in the petroleum industry. These books, whose research was funded by the U.S. Department of Energy and several international petroleum corporations, have set very high standards. Many algorithms are used at leading oil service companies to support key drilling and well logging applications. For the first time, the physical models in these publications, founded on rigorous mathematics and numerical methods, are now available to the broader industry: students, petroleum engineers, drillers and faculty researchers. The presentations are written in easy-to-understand language, with few equations, offering simplified explanations of difficult problems and solutions which provide...

Algorithms and Data Structures

Autor: Frank Dehne , John Iacono , Jörg-rüdiger Sack

Número de Páginas: 730

Annotation Constituting the refereed proceedings of the 12th Algorithms and Data Structures Symposium held in New York in August 2011, this text presents original research on the theory and application of algorithms and data structures in all areas, including combinatorics, computational geometry and databases.

Supercharge, Invasion, and Mudcake Growth in Downhole Applications

Autor: Wilson C. Chin , Tao Lu , Xiaofei Qin , Yongren Feng , Yanmin Zhou

Número de Páginas: 530

Mysterious "supercharge effects," encountered in formation testing pressure transient analysis, and reservoir invasion, mudcake growth, dynamic filtration, stuck-pipe remediation, and so on, are often discussed in contrasting petrophysical versus drilling contexts. However, these effects are physically coupled and intricately related. The authors focus on a comprehensive formulation, provide solutions for different specialized limits, and develop applications that illustrate how the central ideas can be used in seemingly unrelated disciplines. This approach contributes to a firm understanding of logging and drilling principles. Fortran source code, furnished where applicable, is listed together with recently developed software applications and conveniently summarized throughout the book. In addition, common (incorrect) methods used in the industry are re-analyzed and replaced with more accurate models, which are then used to address challenging field objectives. Sophisticated mathematics is explained in "down to earth" terms, but empirical validations, in this case through Catscan experiments, are used to "keep predictions honest." Similarly, early-time, low mobility, permeability ...

Computer Applications in Radiology

Número de Páginas: 742

Quantitative Methods in Reservoir Engineering

Autor: Wilson C Chin

Número de Páginas: 708

Quantitative Methods in Reservoir Engineering, Second Edition, brings together the critical aspects of the industry to create more accurate models and better financial forecasts for oil and gas assets. Updated to cover more practical applications related to intelligent infill drilling, optimized well pattern arrangement, water flooding with modern wells, and multiphase flow, this new edition helps reservoir engineers better lay the mathematical foundations for analytical or semi-analytical methods in today's more difficult reservoir engineering applications. Authored by a worldwide expert on computational flow modeling, this reference integrates current mathematical methods to aid in understanding more complex well systems and ultimately guides the engineer to choose the most profitable well path. The book delivers a valuable tool that will keep reservoir engineers up-to-speed in this fast-paced sector of the oil and gas market. - Stay competitive with new content on unconventional reservoir simulation - Get updated with new material on formation testing and flow simulation for complex well systems and paths - Apply methods derived from real-world case studies and calculation...

Program Proofs

Autor: K. Rustan M. Leino

Número de Páginas: 498

This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. Writing with clarity and humor, K. Rustan M. Leino first provides an overview of the basic theory behind reasoning about programs. He then gradually builds up to complex concepts and applications, until students are facing real programs using objects, data structures, and non-trivial recursion. To emphasize the practical nature of program proofs, all material and examples use the verification-aware programming language Dafny, but no previous knowledge of Dafny is assumed. Written in a highly readable and student-friendly style Builds up to complex concepts in an incremental manner Comprehensively covers how to write proofs and how to specify and verify both functional programs and imperative programs Uses real program text from a real programming language, not psuedo code Features engaging...

Foundations of Deductive Databases and Logic Programming

Autor: Jack Minker

Número de Páginas: 753

Foundations of Deductive Databases and Logic Programming focuses on the foundational issues concerning deductive databases and logic programming. The selection first elaborates on negation in logic programming and towards a theory of declarative knowledge. Discussions focus on model theory of stratified programs, fixed point theory of nonmonotonic operators, stratified programs, semantics for negation in terms of special classes of models, relation between closed world assumption and the completed database, negation as a failure, and closed world assumption. The book then takes a look at negation as failure using tight derivations for general logic programs, declarative semantics of logic programs with negation, and declarative semantics of deductive databases and logic programs. The publication tackles converting AND-control to OR-control by program transformation, optimizing dialog, equivalences of logic programs, unification, and logic programming and parallel complexity. Topics include parallelism and structured and unstructured data, parallel algorithms and complexity, solving equations, most general unifiers, systems of equations and inequations, equivalences of logic...

Informatics and Management Science I

Autor: Wenjiang Du

Número de Páginas: 755

The International Conference on Informatics and Management Science (IMS) 2012 will be held on November 16-19, 2012, in Chongqing, China, which is organized by Chongqing Normal University, Chongqing University, Shanghai Jiao Tong University, Nanyang Technological University, University of Michigan, Chongqing University of Arts and Sciences, and sponsored by National Natural Science Foundation of China (NSFC). The objective of IMS 2012 is to facilitate an exchange of information on best practices for the latest research advances in a range of areas. Informatics and Management Science contains over 600 contributions to suggest and inspire solutions and methods drawing from multiple disciplines including: · Computer Science · Communications and Electrical Engineering · Management Science · Service Science · Business Intelligence

Neural Information Processing

Autor: Derong Liu , Shengli Xie , Yuanqing Li , Dongbin Zhao , El-sayed M. El-alfy

Número de Páginas: 943

The six volume set LNCS 10634, LNCS 10635, LNCS 10636, LNCS 10637, LNCS 10638, and LNCS 10639 constitues the proceedings of the 24rd International Conference on Neural Information Processing, ICONIP 2017, held in Guangzhou, China, in November 2017. The 563 full papers presented were carefully reviewed and selected from 856 submissions. The 6 volumes are organized in topical sections on Machine Learning, Reinforcement Learning, Big Data Analysis, Deep Learning, Brain-Computer Interface, Computational Finance, Computer Vision, Neurodynamics, Sensory Perception and Decision Making, Computational Intelligence, Neural Data Analysis, Biomedical Engineering, Emotion and Bayesian Networks, Data Mining, Time-Series Analysis, Social Networks, Bioinformatics, Information Security and Social Cognition, Robotics and Control, Pattern Recognition, Neuromorphic Hardware and Speech Processing.

Pro Android 4

Autor: Satya Komatineni , Dave Maclean

Número de Páginas: 1006

Pro Android 4 shows you how to build real-world and fun mobile apps using the new Android SDK 4 (Ice Cream Sandwich), which unifies Gingerbread for smartphones, Honeycomb for tablets and augments further with Google TV and more. This Android 4 book updates the best selling Pro Android 3 and covers everything from the fundamentals of building apps for embedded devices, smartphones, and tablets to advanced concepts such as custom 3D components, multi-tasking, sensors/augmented reality, better accessories support and much more. Using the tutorials and expert advice, you'll quickly be able to build cool mobile apps and run them on dozens of Android-based smartphones. You'll explore and use the Android APIs, including those for media and sensors. And you'll check out what's new with Android 4, including the improved user interface across all Android platforms, integration with services, and more. After reading thisdefinitive tutorial and reference, you gain the knowledge and experience to create stunning, cutting-edge Android 4 apps that can make you money, while keeping you agile enough to respond to changes in the future.

Nonlinear Biomedical Signal Processing, Volume 2

Autor: Metin Akay

Número de Páginas: 371

Featuring current contributions by experts in signal processing and biomedical engineering, this book introduces the concepts, recent advances, and implementations of nonlinear dynamic analysis methods. Together with Volume I in this series, this book provides comprehensive coverage of nonlinear signal and image processing techniques. Nonlinear Biomedical Signal Processing: Volume II combines analytical and biological expertise in the original mathematical simulation and modeling of physiological systems. Detailed discussions of the analysis of steady-state and dynamic systems, discrete-time system theory, and discrete modeling of continuous-time systems are provided. Biomedical examples include the analysis of the respiratory control system, the dynamics of cardiac muscle and the cardiorespiratory function, and neural firing patterns in auditory and vision systems. Examples include relevant MATLAB® and Pascal programs. Topics covered include: Nonlinear dynamics Behavior and estimation Modeling of biomedical signals and systems Heart rate variability measures, models, and signal assessments Origin of chaos in cardiovascular and gastric myoelectrical activity Measurement of...

National Weather Service River Forecast System: Snow Accumulation and Ablation Model

Autor: Eric A. Anderson

Número de Páginas: 236

ASTROS Enhancements

Autor: D. J. Neill , David L. Herendeen

Número de Páginas: 518

ASTROS (Automated STRuctural Optimization System) is a computer program for the multidisciplinary design and analysis of aerospace structures. ASTROS combines mathematical optimization algorithms with traditional structural analysis disciplines such as static forces, normal modes, static aeroelasticity, and dynamic aeroelasticity (flutter), all in a finite element context, to perform automated preliminary design of an aircraft structure. This report is a complete user's manual that documents the many features of ASTROS through version 12 of the software package. It also provides information on system architecture and other topics of interest. This report is Volume a of a set; Volume 2 (WL-TR-93-3038) is the programmer's manual.

Fundamentals of Computing

Autor: J. B. Dixit

Número de Páginas: 686

Associative Computing

Autor: Jerry L. Potter

Número de Páginas: 291

Integrating associative processing concepts with massively parallel SIMD technology, this volume explores a model for accessing data by content rather than abstract address mapping.

Solutions to Programming in C and Numerical Analysis

Autor: J.b. Dixit

Número de Páginas: 432

Imprecise-computation Schedulers

Autor: Pilar Manzano , University Of Illinois At Urbana-champaign. Department Of Computer Science

Número de Páginas: 156

The periodic-job schedulers are divided in two groups depending on the effect of the error. These groups are the error-cumulative schedulers and the error-non-cumulative schedulers. The periodic-job schedulers have been integrated with two resource-access-control protocols for the management of shared non-preemptable resources and the mode-change- control protocol for task systems working in several modes. The resource- access-control protocols are the priority-ceiling protocol and the stack- based protocol. All the algorithms provided here are part of a performance analysis and execution environment, and can also be used as building blocks for schedulers for other computation models."

Expert VB 2005 Business Objects

Autor: Rockford Lhotka

Número de Páginas: 686

Rockford Lhotka started writing his Business Objects books in 1996, and over the years, he’s become one of the world's foremost authorities on building distributed object-oriented systems. This second edition of his industry-standard VB .NET Business Objects book not only addresses changes in .NET 2.0 and Visual Studio 2005, but also reflects substantial enhancements and improvements to the CSLA .NET Framework and how it can be used to create enterprise-level .NET applications. Expert VB 2005 Business Objects takes you from an opening discussion of logical architectures to detailed n-tier deployment options using the CSLA .NET Framework. Rockford provides enough understanding and detail for you to take this approach to your own projects, as many developers have already done. Rockford travels the world discussing his ideas with other developers at professional conferences and local user groups, but you can benefit from his expertise anytime with this book. There are many solutions to developing distributed applications; why not learn about them from an expert with a universally accepted and respected framework?

SIGMOD Record

Número de Páginas: 474

Fundamentals of Computers and Programming in C

Autor: J. B. Dixit

Número de Páginas: 854

Scientific Computing with Multicore and Accelerators

Autor: Jakub Kurzak , David A. Bader , Jack Dongarra

Número de Páginas: 495

The hybrid/heterogeneous nature of future microprocessors and large high-performance computing systems will result in a reliance on two major types of components: multicore/manycore central processing units and special purpose hardware/massively parallel accelerators. While these technologies have numerous benefits, they also pose substantial perfo

Development of Sequential Sampling Plans for Spruce Budworm Egg Masses Using Monte Carlo Simulation

Autor: Ann M. Lynch

Número de Páginas: 91