Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Theoretical Computer Science
This book constitutes the refereed proceedings of the 8th Italian Conference on Theoretical Computer Science, ICTCS 2003, held in Bertinoro, Italy in October 2003. The 27 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on program design-models and analysis, algorithms and complexity, semantics and formal languages, and security and cryptography.
Handbook of Optimization in the Railway Industry
This book promotes the use of mathematical optimization and operations research methods in rail transportation. The editors assembled thirteen contributions from leading scholars to present a unified voice, standardize terminology, and assess the state-of-the-art. There are three main clusters of articles, corresponding to the classical stages of the planning process: strategic, tactical, and operational. These three clusters are further subdivided into five parts which correspond to the main phases of the railway network planning process: network assessment, capacity planning, timetabling, resource planning, and operational planning. Individual chapters cover: Simulation Capacity Assessment Network Design Train Routing Robust Timetabling Event Scheduling Track Allocation Blocking Shunting Rolling Stock Crew Scheduling Dispatching Delay Propagation
Theory and Practice of Algorithms in (Computer) Systems
This book constitutes the refereed proceedings of the First International ICST Conference on Theory and Practice of Algorithms in (Computer) Systems, TAPAS 2011, held in Rome, Italy, in April 2011. The 25 papers presented, including three short papers by invited speakers, were carefully reviewed and selected from 45 submissions. The papers all feature original research in the design, implementation and evaluation of algorithms with special focus on algorithms for combinatorial optimization problems, and to real-world applications, engineering and experimental analysis of algorithms - thus fostering the cooperation among researchers in computer science, networking, discrete mathematics, mathematical programming and operations research.
Robust and Online Large-Scale Optimization
Scheduled transportation networks give rise to very complex and large-scale networkoptimization problems requiring innovative solution techniques and ideas from mathematical optimization and theoretical computer science. Examples of scheduled transportation include bus, ferry, airline, and railway networks, with the latter being a prime application domain that provides a fair amount of the most complex and largest instances of such optimization problems. Scheduled transport optimization deals with planning and scheduling problems over several time horizons, and substantial progress has been made for strategic planning and scheduling problems in all transportation domains. This state-of-the-art survey presents the outcome of an open call for contributions asking for either research papers or state-of-the-art survey articles. We received 24 submissions that underwent two rounds of the standard peer-review process, out of which 18 were finally accepted for publication. The volume is organized in four parts: Robustness and Recoverability, Robust Timetabling and Route Planning, Robust Planning Under Scarce Resources, and Online Planning: Delay and Disruption Management.
Transitions Towards Sustainable Mobility
Delivering a sustainable transport system is not just a matter of adopting a number of technological innovations to improve performance in terms of people, planet, and profits. A broader structural and societal transition is needed in technology, as well as in institutions, behavioural patterns, and the economy as a whole. In this broader view, neither the free market nor the public sector will be the unique key player in making this transition happen. Elements of such an approach are presented in this book in a number of domains: integrating transport infrastructure and land use planning, thus connecting fields that are rather unconnected in day-to-day policies; experiments with dynamic transport optimization, including reports on pilot projects to test the viability of transitions; towards reliable transport systems, describing a reversal from supply-driven towards demand-driven approaches; and sustainable logistics and traffic management, from ‘local’ city distribution to global closed supply chain loops.
Making Transit Fun!
Why do people in Stockholm prefer to take the stairs over the escalator? Why do Londoners enjoy hanging out at bus stops? How do carmakers convince us to buy gas-guzzling, environmentally damaging, and wallet-draining machines? It's called the fun theory. What Darrin Nordahl illustrates in this delightful book is that transit can be just as inviting, exciting, and even seductive as the automobile, if designed with the passenger experience in mind. In Making Transit Fun!, Nordahl shows that with the help of architects, urban designers, graphic artists, industrial engineers, marketing experts-and even fashion designers-we can lure people out of their automobiles and toward healthier, more sustainable methods of transportation. This accessible E-ssential focuses on the possibilities for making public transit, cycling, and walking more appealing to the motorist. In each section, Nordahl demonstrates how the transit stigma can be overcome with innovative design. From the aesthetics of buses to segregated bike lanes and pedestrian-priority streets, Nordahl showcases examples from around the world that excite the heart and bring an easy smile.
OR At Work
Complete with case studies, this work is concerned with the problems of Operational Research OR. A variety of application areas such as industry, service, agriculture and health care are featured to show the variety of OR.
Planning in Intelligent Systems
The first comparative examination of planning paradigms This text begins with the principle that the ability to anticipateand plan is an essential feature of intelligent systems, whetherhuman or machine. It further assumes that better planning resultsin greater achievements. With these principles as a foundation,Planning in Intelligent Systems provides readers with the toolsneeded to better understand the process of planning and to becomebetter planners themselves. The text is divided into two parts: * Part One, "Theoretical," discusses the predominant schools ofthought in planning: psychology and cognitive science,organizational science, computer science, mathematics, artificialintelligence...
Computer-Aided Scheduling of Public Transport
This proceedings volume consists of selected papers presented at the Eighth International Conference on Computer-Aided Scheduling 0/Public Transport (CASPT 2000), which was held at the conference center of the Konrad rd Adenauer-Foundation in Berlin, Germany, from June 2pt to 23 , 2000. The CASPT 2000 is the continuation of aseries of international workshops and conferences presenting recent research and progress in computer-aided scheduling in public transport.Previous workshops and conferences were held in • Chicago (1975), • Leeds (1980), • Montreal (1983 and 1990), • Hamburg (1987), • Lisbon (1993) and • Cambridge, Mass. (1997).1 With CASPT 2000, our series of workshops and c...
