Catálogo de publicaciones

This book is the result of over ten years of field research across Zambia. It covers the production and diverse uses of wood and non-wood forest products in different parts of Zambia. Although a short format, it is a multi-contributed work.

It starts an overview of the forestry sector, and covers more specific areas like production, markets and trade of wood and non-wood products; the role of non-wood forest products in the livelihood of the local population, the contribution of the forestry sector to Zambia’s overall economy and reviews of efforts to strategically utilize these resources for local economic, and sustainable, development.

• A concise reference to understand key wood products, market dynamics, and role of forests in a developing nation 
• A useful guide for corporations, consultants, NGOs and international research organizations involved with sustainable development in Zambia as well as other nations in the SADC

Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies. After reading this book, readers will be prepared to introduce FV in their organization and effectively deploy FV techniques to increase design and validation productivity.

• Learn formal verification algorithms to gain full coverage without exhaustive simulation
• Understand formal verification tools and how they differ from simulation tools
• Create instant test benches to gain insight into how models work and find initial bugs
• Learn from Intel insiders sharing their hard-won knowledge and solutions to complex design problems

Formation and Fate of Cell Organelles presents the proceedings of the symposia of the International Society for Cell Biology. Contributors offer their views on various aspects of the problem of spontaneous assembly, particularly how cellular structures arise from the component molecules. They consider whether all cellular organelles and cells, themselves, can arise by spontaneous assembly, or whether some regulation is involved and the mechanisms underlying such regulation.
This book is organized into 16 chapters and begins with an overview of self-assembling systems of equal units and how they can be built efficiently, focusing on quasi-equivalence and helical waves on bacterial flagella. This text also discusses the differences in free energy of the molecules in their various states and the use of the free energy of a particular array of molecules to predict what arrays will form. The reader is introduced to intermolecular forces and how macromolecular lipid structures assemble in vitro, along with developments in the resolution of the spindle fibers of the mitotic apparatus. The book also looks into the mechanisms underlying the disposition of microtubules in plant cells during interphase and mitosis, and then concludes with a chapter on some studies dealing with cytoplasmic genes and cytoplasmic inheritance.
This book is a valuable source of information for scientists and researchers engaged in fields ranging from cytology and biology to chemistry, pathology, and biophysics.

Formative Assessment, Learning Data Analytics and Gamification: An ICT Education discusses the challenges associated with assessing student progress given the explosion of e-learning environments, such as MOOCs and online courses that incorporate activities such as design and modeling. This book shows educators how to effectively garner intelligent data from online educational environments that combine assessment and gamification.

This data, when used effectively, can have a positive impact on learning environments and be used for building learner profiles, community building, and as a tactic to create a collaborative team. Using numerous illustrative examples and theoretical and practical results, leading international experts discuss application of automatic techniques for e-assessment of learning activities, methods to collect, analyze, and correctly visualize learning data in educational environments, applications, benefits and challenges of using gamification techniques in academic contexts, and solutions and strategies for increasing student participation and performance.

• Discusses application of automatic techniques for e-assessment of learning activities
• Presents strategies to provide immediate and useful feedback on students’ activities
• Provides methods to collect, analyze, and correctly visualize learning data in educational environments
• Explains the applications, benefits, and challenges of using gamification techniques in academic contexts
• Offers solutions to increase students’ participation and performance while lowering drop-out rates and retention levels

Forms are everywhere on the web – for registration and communicating, for commerce and government. Good forms make for happier customers, better data, and reduced support costs. Bad forms fill your organization’s databases with inaccuracies and duplicates and can cause loss of potential consumers.

Designing good forms is trickier than people think. Jarrett and Gaffney come to the rescue with Designing Forms that Work, clearly explaining exactly how to design great forms for the web. Liberally illustrated with full-color examples, it guides readers on how to define requirements, how to write questions that users will understand and want to answer, and how to deal with instructions, progress indicators and errors.

*Provides proven and practical advice that will help you avoid pitfalls, and produce forms that are aesthetically pleasing, efficient and cost-effective.

*Features invaluable design methods, tips, and tricks to help ensure accurate data and satisfied customers.

*Includes dozens of examples -- from nitty-gritty details (label alignment, mandatory fields) to visual designs (creating good grids, use of color).

*Foreword by Steve Krug, author of the best selling Don't Make Me Think!

The most complete manual of its kind, this handy book gives you all the formulas and calculations you are likely to need in drilling operations. New updated material includes conversion tables into metric. Separate chapters deal with calculations for drilling fluids, pressure control, and engineering. Example calculations are provided throughout.

Presented in easy-to-use, step-by-step order, Formulas and Calculations is a quick reference for day-to-day work out on the rig. It also serves as a handy study guide for drilling and well control certification courses. Virtually all the mathematics required out on the drilling rig is here in one convenient source, including formulas for pressure gradient, specific gravity, pump output, annular velocity, buoyancy factor, volume and stroke, slug weight, drill string design, cementing, depth of washout, bulk density of cuttings, and stuck pipe.


The most complete manual of its kind

New updated material includes conversion tables into metric

Example calculations are provided throughout

Formulas and Calculations for Drilling, Production, and Workover, All the Formulas You Need to Solve Drilling and Production Problems, Fourth Edition provides a convenient reference for oil field workers who do not use formulas and calculations on a regular basis, aiming to help reduce the volume of materials they must carry to the rig floor or job site.

Starting with a review of basic equations, calculations, and featuring many examples, this handy reference offers a quick look-up of topics such as drilling fluids, pressure control, engineering calculations, and air and gas calculations. The formulas and calculations are provided in either English field units or in metric units.

This edition includes additional coverage on cementing, subsea considerations, well hydraulics, especially calculating for hydraulic fracturing methods, and drill string design limitations.

This practical guide continues to save time and money for the oil field worker or manager, with an easy layout and organization to help confidently conduct operations and evaluate the performance of wells on-the-go.

• Features a new chapter focused on cementing
• Includes on-the-job answers and formulas for today’s hydraulic fracturing methods
• Provides extra utility with an online basic equation calculator for 24/7 problem-solving access
• Covers topics such as drilling fluids, pressure control, engineering calculations, and air and gas calculations