|
Books > Computing & IT > General theory of computing
Organizations are showing a remarkable interest in realizing
knowledge management technologies and processes to adopt knowledge
management as part of their overall strategy. However, even with
the current advancement in technology, few organizations are
entirely capable of developing critical organizational knowledge to
achieve improved performance. Technological Innovations in
Knowledge Management and Decision Support is a vital research
publication that examines different knowledge management areas for
organizational competitiveness, survival, and effectiveness. It
also provides cutting-edge research techniques in related
optimization methods and other automated techniques in real-world
processes. Featuring a broad range of topics such as enterprise
resource planning, neural networks, and image segmentation, this
book is a critical resource for managers, IT specialists,
healthcare and social sciences professionals, engineers,
academicians, and researchers seeking research on effective
knowledge management systems.
This book provides application of multi criteria decision making
techniques for managerial discretion. With this book, a concerted
platform has been provided for several peers and other management
organizations to understand and implement these tools and deal with
the practical problems in a better way so as to provide more robust
managerial decision making.
For the past decade or more, much of cell biology research has been
focused on determining the key molecules involved in different
cellular processes, an analytical problem that has been amenable to
biochemical and genetic approaches. Now, we face an integrative
problem of understanding how all of these molecules work together
to produce living cells, a challenge that requires using
quantitative approaches to model the complex interactions within a
cell, and testing those models with careful quantitative
measurements. This book is an introductory overview of the various
approaches, methods, techniques, and models employed in
quantitative cell biology, which are reviewed in greater detail in
the other volumes in this e-book series. Particular emphasis is
placed on the goals and purpose of quantitative analysis and
modeling, and the special challenges that cell biology holds for
understanding life at the physical level.
Because efficient compilation of information allows managers and
business leaders to make the best decisions for the financial
solvency of their organizations, data analysis is an important part
of modern business administration. Understanding the use of
analytics, reporting, and data mining in everyday business
environments is imperative to the success of modern businesses.
Utilizing Big Data Paradigms for Business Intelligence is a pivotal
reference source that provides vital research on how to address the
challenges of data extraction in business intelligence using the
five "Vs" of big data: velocity, volume, value, variety, and
veracity. This book is ideally designed for business analysts,
investors, corporate managers, entrepreneurs, and researchers in
the fields of computer science, data science, and business
intelligence.
Since its first volume in 1960, "Advances in Computers" has
presented detailed coverage of innovations in computer hardware,
software, theory, design, and applications. It has also provided
contributors with a medium in which they can explore their subjects
in greater depth and breadth than journal articles usually allow.
As a result, many articles have become standard references that
continue to be of sugnificant, lasting value in this rapidly
expanding field.
In-depth surveys and tutorials on new computer technologyWell-known
authors and researchers in the fieldExtensive bibliographies with
most chaptersMany of the volumes are devoted to single themes or
subfields of computer science
The internet of things (IoT) enhances customer experience,
increases the amount of data gained through connected devices, and
widens the scope of analytics. This provides a range of exciting
marketing possibilities such as selling existing products and
services more effectively, delivering truly personalized customer
experiences, and potentially creating new products and services.
Smart Marketing With the Internet of Things is an essential
reference source that discusses the use of the internet of things
in marketing, as well as its importance in enhancing the customer
experience. Featuring research on topics such as augmented reality,
sensor networks, and wearable technology, this book is ideally
designed for business professionals, marketing managers, marketing
strategists, academicians, researchers, and graduate-level students
seeking coverage on the use of IoT in enhancing customer marketing
outcomes.
This book provides a comprehensive examination of preconditioners
for boundary element discretisations of first-kind integral
equations. Focusing on domain-decomposition-type and multilevel
methods, it allows readers to gain a good understanding of the
mechanisms and necessary techniques in the analysis of the
preconditioners. These techniques are unique for the discretisation
of first-kind integral equations since the resulting systems of
linear equations are not only large and ill-conditioned, but also
dense. The book showcases state-of-the-art preconditioning
techniques for boundary integral equations, presenting up-to-date
research. It also includes a detailed discussion of Sobolev spaces
of fractional orders to familiarise readers with important
mathematical tools for the analysis. Furthermore, the concise
overview of adaptive BEM, hp-version BEM, and coupling of FEM-BEM
provides efficient computational tools for solving practical
problems with applications in science and engineering.
This monograph presents a general theory of weakly implicative
logics, a family covering a vast number of non-classical logics
studied in the literature, concentrating mainly on the abstract
study of the relationship between logics and their algebraic
semantics. It can also serve as an introduction to (abstract)
algebraic logic, both propositional and first-order, with special
attention paid to the role of implication, lattice and residuated
connectives, and generalized disjunctions. Based on their recent
work, the authors develop a powerful uniform framework for the
study of non-classical logics. In a self-contained and didactic
style, starting from very elementary notions, they build a general
theory with a substantial number of abstract results. The theory is
then applied to obtain numerous results for prominent families of
logics and their algebraic counterparts, in particular for
superintuitionistic, modal, substructural, fuzzy, and relevant
logics. The book may be of interest to a wide audience, especially
students and scholars in the fields of mathematics, philosophy,
computer science, or related areas, looking for an introduction to
a general theory of non-classical logics and their algebraic
semantics.
Since its first volume in 1960, "Advances in Computers" has
presented detailed coverage of innovations in computer hardware,
software, theory, design, and applications. It has also provided
contributors with a medium in which they can explore their subjects
in greater depth and breadth than journal articles usually allow.
As a result, many articles have become standard references that
continue to be of sugnificant, lasting value in this rapidly
expanding field.
In-depth surveys and tutorials on new computer technologyWell-known
authors and researchers in the fieldExtensive bibliographies with
most chaptersMany of the volumes are devoted to single themes or
subfields of computer science
Over a decade after Anonymous first appeared, it has grown from a
small band of hacktivists to a Global Collective with organized
National Cells in half the countries on Earth and 2.5 million
dedicated participants worldwide. Dark Ops explores four years in
the history of the global and viral meme of revolution called
Anonymous, as it continues to battle the forces of evil bent on
world domination. As NATO and the ""Five Eyes"" nations continue to
war on Anonymous, the Global Collective strikes some fearful blows
in return. Join Commander X and other Anons as they take you on a
grand adventure, and lead us all into the mysterious Dark Ops.
www.DarkOps.cf
This book features more than 20 papers that celebrate the work of
Hajnal Andreka and Istvan Nemeti. It illustrates an interaction
between developing and applying mathematical logic. The papers
offer new results as well as surveys in areas influenced by these
two outstanding researchers. They also provide details on the
after-life of some of their initiatives. Computer science connects
the papers in the first part of the book. The second part
concentrates on algebraic logic. It features a range of papers that
hint at the intricate many-way connections between logic, algebra,
and geometry. The third part explores novel applications of logic
in relativity theory, philosophy of logic, philosophy of physics
and spacetime, and methodology of science. They include such
exciting subjects as time travelling in emergent spacetime. The
short autobiographies of Hajnal Andreka and Istvan Nemeti at the
end of the book describe an adventurous journey from electric
engineering and Maxwell's equations to a complex system of computer
programs for designing Hungary's electric power system, to
exploring and contributing deep results to Tarskian algebraic logic
as the deepest core theory of such questions, then on to
applications of the results in such exciting new areas as
relativity theory in order to rejuvenate logic itself.
This book is a collection of papers devoted to the emergence and
development in Bulgarian Academy of Sciences of some of the areas
of informatics, including artificial intelligence. The papers are
prepared by specialists from the Academy, some of whom are among
the founders of these scientific and application areas in Bulgaria
and in some cases - in the world. The book is interesting for
specialists in informatics and computer science and researchers in
history of sciences.
This volume explores the connections between mathematical modeling,
computational methods, and high performance computing, and how
recent developments in these areas can help to solve complex
problems in the natural sciences and engineering. The content of
the book is based on talks and papers presented at the conference
Modern Mathematical Methods and High Performance Computing in
Science & Technology (M3HPCST), held at Inderprastha
Engineering College in Ghaziabad, India in January 2020. A wide
range of both theoretical and applied topics are covered in detail,
including the conceptualization of infinity, efficient domain
decomposition, high capacity wireless communication, infectious
disease modeling, and more. These chapters are organized around the
following areas: Partial and ordinary differential equations
Optimization and optimal control High performance and scientific
computing Stochastic models and statistics Recent Trends in
Mathematical Modeling and High Performance Computing will be of
interest to researchers in both mathematics and engineering, as
well as to practitioners who face complex models and extensive
computations.
Enterprise Resource Planning Models for the Education Sector:
Applications and Methodologies is a comprehensive collection of
research which highlights the increasing demand for insight into
the challenges faced by educational institutions on the design and
development of enterprise resource planning applications. This book
is composed of content from management and engineering students,
professionals and researchers in the education fields.
Coinduction is a method for specifying and reasoning about infinite
data types and automata with infinite behaviour. In recent years,
it has come to play an ever more important role in the theory of
computing. It is studied in many disciplines, including process
theory and concurrency, modal logic and automata theory. Typically,
coinductive proofs demonstrate the equivalence of two objects by
constructing a suitable bisimulation relation between them. This
collection of surveys is aimed at both researchers and Master's
students in computer science and mathematics and deals with various
aspects of bisimulation and coinduction, with an emphasis on
process theory. Seven chapters cover the following topics: history,
algebra and coalgebra, algorithmics, logic, higher-order languages,
enhancements of the bisimulation proof method, and probabilities.
Exercises are also included to help the reader master new material.
|
|