Project Management

Project Management

Author: Paul C Tinnirello

Publisher: CRC Press

Published: 2017-11-22

Total Pages: 517

ISBN-13: 1351358677

DOWNLOAD EBOOK

Project Management covers the full range of issues of vital concern to IT managers working in today's hurry-up, budget-conscious business environment. The handbook provides valuable advice and guidance on how to get projects finished on-time, within budget, and to the complete satisfaction of users, whether a high-tech, low-tech, financial, manufacturing, or service organization. Project Management Handbook brings together contributions from an all-star team of more than 40 of experts working at leading enterprise organizations and consulting firms across America, and around the world. With the help of dozens of fascinating and instructive case studies and vignettes, reporting experiences in a wide range of business sectors, those experts share their insights and experience and extrapolate practicable guidelines and actions steps that project managers can put to work on their current projects.


ECAI 2020

ECAI 2020

Author: G. De Giacomo

Publisher: IOS Press

Published: 2020-09-11

Total Pages: 3122

ISBN-13: 164368101X

DOWNLOAD EBOOK

This book presents the proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), held in Santiago de Compostela, Spain, from 29 August to 8 September 2020. The conference was postponed from June, and much of it conducted online due to the COVID-19 restrictions. The conference is one of the principal occasions for researchers and practitioners of AI to meet and discuss the latest trends and challenges in all fields of AI and to demonstrate innovative applications and uses of advanced AI technology. The book also includes the proceedings of the 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) held at the same time. A record number of more than 1,700 submissions was received for ECAI 2020, of which 1,443 were reviewed. Of these, 361 full-papers and 36 highlight papers were accepted (an acceptance rate of 25% for full-papers and 45% for highlight papers). The book is divided into three sections: ECAI full papers; ECAI highlight papers; and PAIS papers. The topics of these papers cover all aspects of AI, including Agent-based and Multi-agent Systems; Computational Intelligence; Constraints and Satisfiability; Games and Virtual Environments; Heuristic Search; Human Aspects in AI; Information Retrieval and Filtering; Knowledge Representation and Reasoning; Machine Learning; Multidisciplinary Topics and Applications; Natural Language Processing; Planning and Scheduling; Robotics; Safe, Explainable, and Trustworthy AI; Semantic Technologies; Uncertainty in AI; and Vision. The book will be of interest to all those whose work involves the use of AI technology.


Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing

Author: Fahiem Bacchus

Publisher: Springer

Published: 2005-06-02

Total Pages: 502

ISBN-13: 3540316795

DOWNLOAD EBOOK

The 8th International Conference on Theory and Applications of Satis?ability Testing(SAT2005)providedaninternationalforumforthemostrecentresearch on the satis?ablity problem (SAT). SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was the ?rst problem shown by Cook to be NP-complete. Despite its seemingly specialized nature, satis?ability testing has proved to extremely useful in a wide range of di?erent disciplines, both from a practical as well as from a theoretical point of view. For example, work on SAT continues to provide insight into various fundamental problems in computation, and SAT solving technology has advanced to the point where it has become the most e?ective way of solving a number of practical problems. The SAT series of conferences are multidisciplinary conferences intended to bring together researchers from various disciplines who are interested in SAT. Topics of interest include, but are not limited to: proof systems and proof c- plexity; search algorithms and heuristics; analysis of algorithms; theories beyond the propositional; hard instances and random formulae; problem encodings; - dustrial applications; solvers and other tools. This volume contains the papers accepted for presentation at SAT 2005. The conference attracted a record number of 73 submissions. Of these, 26 papers were accepted for presentation in the technical programme. In addition, 16 - pers were accepted as shorter papers and were presented as posters during the technicalprogramme.Theacceptedpapersandposterpaperscoverthefullrange of topics listed in the call for papers.


Bayesian Psychometric Modeling

Bayesian Psychometric Modeling

Author: Roy Levy

Publisher: CRC Press

Published: 2017-07-28

Total Pages: 480

ISBN-13: 1439884684

DOWNLOAD EBOOK

A Single Cohesive Framework of Tools and Procedures for Psychometrics and Assessment Bayesian Psychometric Modeling presents a unified Bayesian approach across traditionally separate families of psychometric models. It shows that Bayesian techniques, as alternatives to conventional approaches, offer distinct and profound advantages in achieving many goals of psychometrics. Adopting a Bayesian approach can aid in unifying seemingly disparate—and sometimes conflicting—ideas and activities in psychometrics. This book explains both how to perform psychometrics using Bayesian methods and why many of the activities in psychometrics align with Bayesian thinking. The first part of the book introduces foundational principles and statistical models, including conceptual issues, normal distribution models, Markov chain Monte Carlo estimation, and regression. Focusing more directly on psychometrics, the second part covers popular psychometric models, including classical test theory, factor analysis, item response theory, latent class analysis, and Bayesian networks. Throughout the book, procedures are illustrated using examples primarily from educational assessments. A supplementary website provides the datasets, WinBUGS code, R code, and Netica files used in the examples.


Web Engineering

Web Engineering

Author: Juan Manuel Cueva Lovelle

Publisher: Springer Science & Business Media

Published: 2003-06-30

Total Pages: 573

ISBN-13: 3540405224

DOWNLOAD EBOOK

The refereed proceedings of the International Conference on Web Engineering, ICWE 2003, held in Oviedo, Spain in July 2003. The 25 revised full papers and 73 short papers presented together with 2 invited papers were carefully reviewed and selected from 190 submissions. The papers are organized in topical sections on agents on the Web, e-commerce, e-learning, human-computer interaction, languages and tools, mobility and the Web, multimedia techniques and telecommunications, security, Web quality and testing, semantic Web, and Web applications development.


Plasticity and Geotechnics

Plasticity and Geotechnics

Author: Hai-Sui Yu

Publisher: Springer Science & Business Media

Published: 2007-01-11

Total Pages: 541

ISBN-13: 0387335994

DOWNLOAD EBOOK

Plasticity and Geotechnics is the first attempt to summarize and present in a single volume the major achievements in the field of plasticity theory for geotechnical materials and its applications to geotechnical analysis and design. The book emerges from the author’s belief that there is an urgent need for the geotechnical and solid mechanics community to have a unified presentation of plasticity theory and its application to geotechnical engineering.


The Ricci Flow: Techniques and Applications

The Ricci Flow: Techniques and Applications

Author: Bennett Chow

Publisher: American Mathematical Soc.

Published: 2015-10-19

Total Pages: 397

ISBN-13: 0821849913

DOWNLOAD EBOOK

Ricci flow is a powerful technique using a heat-type equation to deform Riemannian metrics on manifolds to better metrics in the search for geometric decompositions. With the fourth part of their volume on techniques and applications of the theory, the authors discuss long-time solutions of the Ricci flow and related topics. In dimension 3, Perelman completed Hamilton's program to prove Thurston's geometrization conjecture. In higher dimensions the Ricci flow has remarkable properties, which indicates its usefulness to understand relations between the geometry and topology of manifolds. This book discusses recent developments on gradient Ricci solitons, which model the singularities developing under the Ricci flow. In the shrinking case there is a surprising rigidity which suggests the likelihood of a well-developed structure theory. A broader class of solutions is ancient solutions; the authors discuss the beautiful classification in dimension 2. In higher dimensions they consider both ancient and singular Type I solutions, which must have shrinking gradient Ricci soliton models. Next, Hamilton's theory of 3-dimensional nonsingular solutions is presented, following his original work. Historically, this theory initially connected the Ricci flow to the geometrization conjecture. From a dynamical point of view, one is interested in the stability of the Ricci flow. The authors discuss what is known about this basic problem. Finally, they consider the degenerate neckpinch singularity from both the numerical and theoretical perspectives. This book makes advanced material accessible to researchers and graduate students who are interested in the Ricci flow and geometric evolution equations and who have a knowledge of the fundamentals of the Ricci flow.


High-Performance Computing Using FPGAs

High-Performance Computing Using FPGAs

Author: Wim Vanderbauwhede

Publisher: Springer Science & Business Media

Published: 2013-08-23

Total Pages: 798

ISBN-13: 1461417910

DOWNLOAD EBOOK

High-Performance Computing using FPGA covers the area of high performance reconfigurable computing (HPRC). This book provides an overview of architectures, tools and applications for High-Performance Reconfigurable Computing (HPRC). FPGAs offer very high I/O bandwidth and fine-grained, custom and flexible parallelism and with the ever-increasing computational needs coupled with the frequency/power wall, the increasing maturity and capabilities of FPGAs, and the advent of multicore processors which has caused the acceptance of parallel computational models. The Part on architectures will introduce different FPGA-based HPC platforms: attached co-processor HPRC architectures such as the CHREC’s Novo-G and EPCC’s Maxwell systems; tightly coupled HRPC architectures, e.g. the Convey hybrid-core computer; reconfigurably networked HPRC architectures, e.g. the QPACE system, and standalone HPRC architectures such as EPFL’s CONFETTI system. The Part on Tools will focus on high-level programming approaches for HPRC, with chapters on C-to-Gate tools (such as Impulse-C, AutoESL, Handel-C, MORA-C++); Graphical tools (MATLAB-Simulink, NI LabVIEW); Domain-specific languages, languages for heterogeneous computing(for example OpenCL, Microsoft’s Kiwi and Alchemy projects). The part on Applications will present case from several application domains where HPRC has been used successfully, such as Bioinformatics and Computational Biology; Financial Computing; Stencil computations; Information retrieval; Lattice QCD; Astrophysics simulations; Weather and climate modeling.


Nonlinear Assignment Problems

Nonlinear Assignment Problems

Author: Panos M. Pardalos

Publisher: Springer Science & Business Media

Published: 2013-03-09

Total Pages: 317

ISBN-13: 1475731558

DOWNLOAD EBOOK

Nonlinear Assignment Problems (NAPs) are natural extensions of the classic Linear Assignment Problem, and despite the efforts of many researchers over the past three decades, they still remain some of the hardest combinatorial optimization problems to solve exactly. The purpose of this book is to provide in a single volume, major algorithmic aspects and applications of NAPs as contributed by leading international experts. The chapters included in this book are concerned with major applications and the latest algorithmic solution approaches for NAPs. Approximation algorithms, polyhedral methods, semidefinite programming approaches and heuristic procedures for NAPs are included, while applications of this problem class in the areas of multiple-target tracking in the context of military surveillance systems, of experimental high energy physics, and of parallel processing are presented. Audience: Researchers and graduate students in the areas of combinatorial optimization, mathematical programming, operations research, physics, and computer science.