Choose an application

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

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

Engineering & Applied Sciences --- Computer Science --- Computer science. --- Computer programming. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Computer science --- Artificial intelligence. --- Computer Science. --- Programming Techniques. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- Discrete Mathematics in Computer Science. --- Logics and Meanings of Programs. --- Mathematics. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer mathematics --- Discrete mathematics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Computational complexity. --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Complexity, Computational --- Logic, Symbolic and mathematical. --- Computer science—Mathematics. --- Machine theory. --- Discrete mathematics. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

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

This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.

Computer science. --- Computer system failures. --- Software engineering. --- Programming languages (Electronic computers). --- Computers. --- Algorithms. --- Computer logic. --- Computer Science. --- System Performance and Evaluation. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Computation by Abstract Devices. --- Computer system performance. --- Computer software. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Computer software engineering --- Engineering --- Informatics --- Science --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Foundations --- Failures --- Computer software --- Development

Choose an application

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

While automatic control and system identification have evolved very rapidly in recent years, there is still an important disjunction between the ideas in theoretical texts and what goes on in real plant. There are very few, if any, situations in which "out-of-the-box" theory fits practical application without simplification and adjustment. This mismatch is important, especially in safety-critical applications and is usually compensated by extensive simulation and/or experimental testing. Identification and Control meets the difficulty of making practical use of new systems theory head on, presenting a selection of varied applications together with relevant theory. The highly-experienced groups of researchers and engineers contributing to this volume show how workable identification and control solutions can be derived by adapting and extrapolating from the theory. Each chapter has a common structure: a brief presentation of theory, extensively cited throughout the chapter; the description of a particular application; experimental results; and a final section highlighting, explaining and laying out solutions to the discrepancy between the theoretical and the practical. The extensive list of applications used as examples includes: mine planning, suspension polymerization, copper founding, magnetic bearings, electromechanical systems, aircraft flight, active noise control, sewer networks, flexible structures, active suspension and active vision. Identification and Control faces a well-known but often-evaded problem squarely and helps it readers to prevail against it. This collection is written for researchers interested in the application of control theory and for engineers who want to make use of new ideas in identification and control.

Automatic control. --- Engineering. --- Construction --- Industrial arts --- Technology --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Automation --- Programmable controllers --- Chemical engineering. --- Industrial engineering. --- Vibration. --- Environmental pollution. --- Industrial Chemistry/Chemical Engineering. --- Industrial and Production Engineering. --- Control, Robotics, Mechatronics. --- Vibration, Dynamical Systems, Control. --- Waste Water Technology / Water Pollution Control / Water Management / Aquatic Pollution. --- Chemical pollution --- Chemicals --- Contamination of environment --- Environmental pollution --- Pollution --- Contamination (Technology) --- Asbestos abatement --- Bioremediation --- Environmental engineering --- Environmental quality --- Factory and trade waste --- Hazardous waste site remediation --- Hazardous wastes --- In situ remediation --- Lead abatement --- Pollutants --- Refuse and refuse disposal --- Cycles --- Mechanics --- Sound --- Chemistry, Industrial --- Engineering, Chemical --- Industrial chemistry --- Engineering --- Chemistry, Technical --- Metallurgy --- Management engineering --- Simplification in industry --- Value analysis (Cost control) --- Environmental aspects --- Production engineering. --- Control engineering. --- Robotics. --- Mechatronics. --- Dynamical systems. --- Dynamics. --- Water pollution. --- Aquatic pollution --- Fresh water --- Fresh water pollution --- Freshwater pollution --- Inland water pollution --- Lake pollution --- Lakes --- Reservoirs --- River pollution --- Rivers --- Stream pollution --- Water contamination --- Water pollutants --- Water pollution --- Waste disposal in rivers, lakes, etc. --- Dynamical systems --- Kinetics --- Mathematics --- Mechanics, Analytic --- Force and energy --- Physics --- Statics --- Mechanical engineering --- Microelectronics --- Microelectromechanical systems --- Machine theory --- Manufacturing engineering --- Process engineering --- Industrial engineering

Choose an application

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

This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis.

Engineering & Applied Sciences --- Computer Science --- Computer software --- Computer systems --- Development --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Computer science. --- Computer system failures. --- Software engineering. --- Programming languages (Electronic computers). --- Computers. --- Algorithms. --- Computer logic. --- Computer Science. --- System Performance and Evaluation. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Computation by Abstract Devices. --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Informatics --- Science --- Foundations --- Failures --- Electronic systems --- Cyberinfrastructure --- Computer system performance. --- Computer software. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Software, Computer

Choose an application

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

Computer science. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Computer Science, general. --- Logics and Meanings of Programs. --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Functional programming languages --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory