Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Scientific research requires both innovation and attention to detail, clever breakthroughs and routine procedures. This indispensable guide gives students and researchers across all scientific disciplines practical advice on how to succeed. All types of scientific careers are discussed, from those in industry and academia to consulting, with emphasis on how scientists spend their time and the skills that are needed to be productive. Strategic thinking, creativity and problem-solving, the central keys to success in research, are all explored. The reader is shown how to enhance the creative process in science, how one goes about making discoveries, putting together the solution to a complex problem and then testing the solution obtained. The social dimension of science is also discussed from the development and execution of a scientific research program to publishing papers, as well as issues of ethics and science policy." --NHBS Environment Bookstore.

Science --- Research --- Research management --- Science as a profession --- Scientists --- Vocational guidance. --- Management. --- Vocational guidance

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This Festschrift honors George Samuel Fishman, one of the founders of the field of computer simulation and a leader in the disciplines of operations research and management science for the past five decades. The papers in this volume span the theory, methodology, and application of computer simulation. Renowned researcher, teacher, mentor, and author, Fishman has made fundamental contributions to both the theory and practice of simulation, the dissemination of knowledge, service to the profession, and the advancement of the status of the field. Among his many honors and awards are the Distinguished Service Award from TIMS/College on Simulation; the Frederick W. Lanchester Prize from INFORMS; and the INFORMS Simulation Society’s Lifetime Professional Achievement Award. Individual papers in this volume include a biography and then an interview with Fishman; Computer Intensive Statistical Model Building; Patchwork Distributions; Asymptotic Validity of Batch Means Steady-State Confidence Intervals; Efficient Modeling of Delays in Discrete-Event Simulation; Sampling from Linear Multivariate Densities; Factor Screening in Simulation Experiments; and many others that all honor the achievements, influence, and friendship of George Samuel Fishman. .

Operations research --- Computer programs. --- Data processing. --- Operational analysis --- Operational research --- Industrial engineering --- Management science --- Research --- System theory --- Operations research. --- Computer science --- Mathematical optimization. --- Operations Research/Decision Theory. --- Computational Mathematics and Numerical Analysis. --- Operations Research, Management Science. --- Optimization. --- Mathematics. --- Optimization (Mathematics) --- Optimization techniques --- Optimization theory --- Systems optimization --- Mathematical analysis --- Maxima and minima --- Simulation methods --- System analysis --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Mathematics --- Decision making. --- Computer mathematics. --- Management science. --- Quantitative business analysis --- Management --- Problem solving --- Statistical decision --- Deciding --- Decision (Psychology) --- Decision analysis --- Decision processes --- Making decisions --- Management decisions --- Choice (Psychology) --- Decision making --- Fishman, George S. --- Mathematics—Data processing. --- Operations Research and Decision Theory. --- Operations Research, Management Science .

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book verifies with compelling evidence the author’s intent to "write a book on proof theory that needs no previous knowledge of proof theory". Avoiding the cryptic terminology of proof theory as far as possible, the book starts at an elementary level and displays the connections between infinitary proof theory and generalized recursion theory, especially the theory of inductive definitions. As a "warm up" Gentzen's classical analysis of pure number theory is presented in a more modern terminology, followed by an explanation and proof of the famous result of Feferman and Schütte on the limits of predicativity. The author also provides an introduction to ordinal arithmetic, introduces the Veblen hierarchy and employs these functions to design an ordinal notation system for the ordinals below Epsilon 0 and Gamma 0, while emphasizing the first step into impredicativity, that is, the first step beyond Gamma 0. This is first done by an analysis of the theory of non-iterated inductive definitions using Buchholz’s improvement of local predicativity, followed by Weiermann's observation that Buchholz’s method can also be used for predicative theories to characterize their provably recursive functions. A second example presents an ordinal analysis of the theory of $/Pi_2$ reflection, a subsystem of set theory that is proof-theoretically equivalent to Kripke-Platek set. The book is pitched at undergraduate/graduate level, and thus addressed to students of mathematical logic interested in the basics of proof theory. It can be used for introductory as well as more advanced courses in proof theory. An earlier version of this book was published in 1989 as volume 1407 of the "Lecture Notes in Mathematics" (ISBN 978-3-540-51842-6).

Electronic books. -- local. --- Proof theory. --- Proof theory --- Mathematical Theory --- Mathematics --- Physical Sciences & Mathematics --- Mathematics. --- Mathematical logic. --- Operations research. --- Management science. --- Mathematical Logic and Foundations. --- Operations Research, Management Science. --- Quantitative business analysis --- Management --- Problem solving --- Operations research --- Statistical decision --- Operational analysis --- Operational research --- Industrial engineering --- Management science --- Research --- System theory --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Math --- Science --- Logic, Symbolic and mathematical --- Logic, Symbolic and mathematical.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

There is increasing need to solve large-scale complex optimization problems in a wide variety of science and engineering applications, including designing telecommunication networks for multimedia transmission, planning and scheduling problems in manufacturing and military operations, or designing nanoscale devices and systems. Advances in technology and information systems have made such optimization problems more and more complicated in terms of size and uncertainty. Nested Partitions Method, Theory and Applications provides a cutting-edge research tool to use for large-scale, complex systems optimization. The Nested Partitions (NP) framework is an innovative mix of traditional optimization methodology and probabilistic assumptions. An important feature of the NP framework is that it combines many well-known optimization techniques, including dynamic programming, mixed integer programming, genetic algorithms and tabu search, while also integrating many problem-specific local search heuristics. The book uses numerous real-world application examples, demonstrating that the resulting hybrid algorithms are much more robust and efficient than a single stand-alone heuristic or optimization technique. This book aims to provide an optimization framework with which researchers will be able to discover and develop new hybrid optimization methods for successful application of real optimization problems. Researchers and practitioners in management science, industrial engineering, economics, computer science, and environmental science will find this book valuable in their research and study. Because of its emphasis on practical applications, the book can appropriately be used as a textbook in a graduate course. .

Large scale systems. --- Mathematical optimization --- Large scale systems --- Management Theory --- Operations Research --- Management --- Civil & Environmental Engineering --- Engineering & Applied Sciences --- Business & Economics --- Data processing. --- Mathematical optimization. --- Optimization (Mathematics) --- Optimization techniques --- Optimization theory --- Systems optimization --- Systems, Large scale --- Mathematics. --- Production management. --- Operations research. --- Decision making. --- Computer mathematics. --- Mathematical models. --- Management science. --- Optimization. --- Operation Research/Decision Theory. --- Operations Research, Management Science. --- Operations Management. --- Computational Mathematics and Numerical Analysis. --- Mathematical Modeling and Industrial Mathematics. --- Mathematical analysis --- Maxima and minima --- Operations research --- Simulation methods --- System analysis --- Engineering systems

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Most developed economics show the tendency of an increasing importance of modern services such as tourism, logistical services, finance, and others. In many cases, complex optimization problems can be found in this context, and the successful operation of modern services often depends on the ability to solve the obtained optimization models. Metaheuristics on the other hand present an interesting problem-resolution paradigm that has attracted considerable interest in past years. The book combines a set of selected and peer-reviewed articles, presenting novel results of metaheuristics for modern services. In particular, applications in the area of transportation and logistics are considered, while other areas include production and financial services. Novel methodological approaches as well as improved results are obtained, resulting in a considerable contribution to the state-of-the-art of research in metaheuristics.

Industrial management. --- Management science. --- Operations Research --- Civil & Environmental Engineering --- Engineering & Applied Sciences --- Problem solving --- Service industries --- Data processing. --- Mathematical models. --- Mathematics. --- Production management. --- Operations research. --- Decision making. --- Mathematical optimization. --- Optimization. --- Operation Research/Decision Theory. --- Operations Research, Management Science. --- Operations Management. --- Industries --- Operations Research/Decision Theory. --- Manufacturing management --- Industrial management --- Operational analysis --- Operational research --- Industrial engineering --- Management science --- Research --- System theory --- Optimization (Mathematics) --- Optimization techniques --- Optimization theory --- Systems optimization --- Mathematical analysis --- Maxima and minima --- Operations research --- Simulation methods --- System analysis --- Quantitative business analysis --- Management --- Statistical decision --- Deciding --- Decision (Psychology) --- Decision analysis --- Decision processes --- Making decisions --- Management decisions --- Choice (Psychology) --- Decision making --- Heuristic programming --- Data processing