Cutting planes (cuts) are very popular in the OR community, where they are
used to strengthen the Linear Programming (LP) relaxation of Mixed-Integer
Programs (MIPs) in the hope of improving the performance of an exact LPbased
solver. In particular, an intense research effort has been devoted to the
study of families of general cuts,...
Data mining and knowledge discovery can today be considered as stable fields with
numerous efficient methods and studies that have been proposed to extract knowledge
from data. Nevertheless, the famous golden nugget is still challenging. Actually, the
context evolved since the first definition of the KDD process and knowledge has now...
Ongoing economic challenges are affecting and impacting business and society in nearly every industry and geographical region. Taking decisive action to reprioritize the way we are doing business is a key focus for companies. Around the world, companies are taking the necessary measures that will enable us to adjust to today’s reality...
Traditional software verification algorithms work by using a
combination of Floyd-Hoare Logics, Model Checking and Abstract Interpretation,
to check and infer suitable program invariants. However, these
techniques are problematic in the presence of complex but ubiquitous
constructs like generic data structures, first-class functions....
The Portable Document Format (PDF) is the world’s leading page description language,
and the first format equally useful for print and online use.
PDF documents are now almost ubiquitous in the printing industry, in document interchange,
and in the online distribution of paginated content. They are, however,...
As the Java EE standard has evolved and matured, the API has become increasingly rich and complex. The next generation of application servers needs to be modular and configurable to run only specific services or containers. JBoss AS 7 promises to meet those requirements but the configuration of a complex application server is composed of a mix...
Pure Data (Pd) is a programming language for digital audio and more. Written by Miller Puckette in the 1990s and under active development ever since, Pd has established itself as one of the leading open-source packages for computer music, and it remains largely interoperable with its commercial cousin, Max/MSP. A Pd program,...
Although this book follows the layout of a programming book, the
underlying theme is financial modeling and quantitative trading
system development. In a sense, this book really marries four
disciplines—computer science, quantitative finance, trading strategy,
and quality development—into one, financial engineering....
The idea for this second edition came from Janusz Kacprzyk on April 29,
2005, who kindly invited me to his new Springer series, Studies in Computational
Intelligence. The initial plan was to correct the usual typos and mistakes
but leave the book unchanged, as Janusz thought (and I agreed with
him) that it was the proper moment...
From time immemorial, the security realm and personal identification task had
shown progress by employing technological means like secret knowledge as passwords
and Personal Identification Numbers, and by using personal possessions as
identity cards and Radio Frequency Identification chips. As opposed to these means
which are...
When we began creating Unity, we were just three programmers working on
a beautiful little game. There weren't any good game engines that one could
license without putting down wads of cash, so we created our own. We eventually decided that we enjoyed the challenge of making great tools even more than making games, and after some soul...
Polymericmaterials, both “inert” and degradable, constantly interact with the
surroundings. Because of this interaction changes take place in the polymer
matrix and small molecules are released to the environment. Reliable methods
for testing biodegradability and environmental interaction of renewable
resources and...
