These lectures on logic, more specifically proof theory, are basically intended for postgraduate students and researchers in logic. The question at stake is the nature of mathematical knowledge and the difference between a question and an answer, i.e., the implicit and the explicit. The problem is delicate mathematically and philosophically...
This volume contains the proceedings of the 17th International Conference on
Tools and Algorithms for the Construction and Analysis of Systems (TACAS
2011). TACAS 2011 took place in Saarbr¨ucken, Germany, March 28–31, 2011,
as part of the 14th European Joint Conferences on Theory and Practice of Software
(ETAPS 2011), whose...
The much-lamented “innovation gap” often referenced by current authors
with respect to drug discovery in the pharmaceutical industry is a sure
sign that an era has passed. The reductionist view of disease as the direct
consequence of isolated errors of metabolism that could be explained
and understood as simple enzyme...
Mobilized Marketing and the Consumer: Technological Developments and Challenges explores technological developments and widespread issues concerning the explosion of mobile devices in the information age. Providing breakthrough research on topics such as Bluetooth, mobile phones, and online portals, this innovative publication...
This volume provides a general overview of discrete- and continuous-time Markov control processes and stochastic games, along with a look at the range of applications of stochastic control and some of its recent theoretical developments. These topics include various aspects of dynamic programming, approximation...
Control of flexible beam systems constitutes an important benchmark problem in
many application areas, such as flexible manipulators for grasping, marine mooring
lines for station keeping, marine risers for oil transportation, and crane cables for
positioning the payload. Flexible systems have a number of advantages...
Micromechanics of Composites: Multipole Expansion Approach is the first book to introduce micromechanics researchers to a more efficient and accurate alternative to computational micromechanics, which requires heavy computational effort and the need to extract meaningful data from a multitude of numbers produced by finite element software...
Drupal is a highly successful open-source Content Management System (CMS). It is well‑respected for its robustness, its flexible and immaculate code, and its seemingly infinite capacity for extension and customization.
Drupal 6, released early in 2008, represents a significant evolution in this already mature CMS. In this book, we...
"The Element of Fire is a powerful fantasy." -- Locus Magazine, 1993
Scientific magic and fairy magic collide headlong in the threatened kingdom of Ile-Rien, where the Captain of the Queen's Guard fights a perilous battle standing between opposing forces seeking to topping the kingdom's young king. Reprint....
The Web revolution currently under way is making the Internet more and more central to our everyday lives. The amount of information available on the Web is increasing at an enormous rate, and almost everyday new services become available. The Internet is now widely used not only for B2B (business-to-business) and B2C (business-to-consumer)...
Data-Driven decision making is no longer a "nice to have" in today's context but an absolute must. Unfortunately, most business users don't necessarily have the right tools and the skills to question the data and derive meaningful insights. This is where Tableau, as a data visualization tool, shines and provides an...