- Table View
- List View
Computer-Aided Design, Engineering, and Manufacturing: Systems Techniques and Applications, Volume V, The Design of Manufacturing Systems
by Cornelius LeondesIn the competitive business arena companies must continually strive to create new and better products faster, more efficiently, and more cost effectively than their competitors to gain and keep the competitive advantage. Computer-aided design (CAD), computer-aided engineering (CAE), and computer-aided manufacturing (CAM) are now the industry standa
Computer-Aided Design, Engineering, and Manufacturing: Systems Techniques and Applications, Volume IV, Optimization Methods for Manufacturing
by Cornelius LeondesIn the competitive business arena companies must continually strive to create new and better products faster, more efficiently, and more cost effectively than their competitors to gain and keep the competitive advantage. Computer-aided design (CAD), computer-aided engineering (CAE), and computer-aided manufacturing (CAM) are now the industry standa
Computer-Aided Design, Engineering, and Manufacturing: Systems Techniques and Applications, Volume I, Systems Techniques and Computational Methods
by Cornelius LeondesIn the competitive business arena organizations must continually strive to create new and better products faster, more efficiently, and more cost effectively than competitors to gain and keep the competitive advantage. Computer-aided design (CAD), computer-aided engineering (CAE), and computer-aided manufacturing (CAM) are now the industry standard, in all major industries. The seven volumes in Computer-Aided Design, Engineering, and Manufacturing: Systems Techniques, and Manufacturing provide a comprehensive treatment of the techniques and applications of CAD, CAE, and CAM.
Computer-Aided Design, Engineering, and Manufacturing: Systems Techniques and Applications, Volume II, Computer-Integrated Manufacturing
by Cornelius T. LeondesIn the competitive business arena companies must continually strive to create new and better products faster, more efficiently, and more cost effectively than their competitors to gain and keep the competitive advantage. Computer-aided design (CAD), computer-aided engineering (CAE), and computer-aided manufacturing (CAM) are now the industry standa
Computer-Aided Design of Microfluidic Very Large Scale Integration (mVLSI) Biochips: Design Automation, Testing, and Design-for-Testability
by Krishnendu Chakrabarty Tsung-Yi Ho Kai HuThis book provides a comprehensive overview of flow-based, microfluidic VLSI. The authors describe and solve in a comprehensive and holistic manner practical challenges such as control synthesis, wash optimization, design for testability, and diagnosis of modern flow-based microfluidic biochips. They introduce practical solutions, based on rigorous optimization and formal models. The technical contributions presented in this book will not only shorten the product development cycle, but also accelerate the adoption and further development of modern flow-based microfluidic biochips, by facilitating the full exploitation of design complexities that are possible with current fabrication techniques.
Computer-Aided Design of User Interfaces VI: Proceedings Of The Seventh International Conference On Computer-aided Design Of Users Inferaces (cadui 2008)
by Victor Lopez Jaquero Francisco Montero Simarro Jean Vanderdonckt Jose Pascual Molina MassoComputer-Aided Design of User Interfaces VI gathers the latest experience of experts, research teams and leading organisations involved in computer-aided design of user interactive applications. This area investigates how it is desirable and possible to support, to facilitate and to speed up the development life cycle of any interactive system: requirements engineering, early-stage design, detailed design, deelopment, deployment, evaluation, and maintenance. In particular, it stresses how the design activity could be better understood for different types of advanced interactive ubiquitous computing, and multi-device environments.
Computer Aided Engineering of Batteries (Modern Aspects of Electrochemistry #62)
by Shriram SanthanagopalanThis edited volume, with contributions from the Computer Aided Engineering for Batteries (CAEBAT) program, provides firsthand insights into nuances of implementing battery models in actual geometries. It discusses practical examples and gaps in our understanding, while reviewing in depth the theoretical background and algorithms. Over the last ten years, several world-class academics, automotive original equipment manufacturers (OEMs), battery cell manufacturers and software developers worked together under an effort initiated by the U.S. Department of Energy to develop mature, validated modeling tools to simulate design, performance, safety and life of automotive batteries. Until recently, battery modeling was a niche focus area with a relatively small number of experts. This book opens up the research topic for a broader audience from industry and academia alike. It is a valuable resource for anyone who works on battery engineering but has limited hands-on experience with coding.
Computer Aided Fraud Prevention and Detection
by David Coderrebecome superhuman." -Richard B. Lanza, President, Cash Recovery Partners, LLC "Computer-Aided Fraud Prevention and Detection: A Step-by-Step Guide helps management and auditors answer T. S. Eliot's timeless question, 'Where is the knowledge lost in information?' Data analysis provides a means to mine the knowledge hidden in our information. Dave Coderre has long been a leader in educating auditors and others about Computer Assisted Audit Techniques. The book combines practical approaches with unique data analysis case examples that compel the readers to try the techniques themselves." -Courtenay Thompson Jr. Consultant, Courtenay Thompson & Associates
Computer-Aided Graphics and Design (Computer Aided Engineering Ser. #4)
by Daniel L. RyanThis text, now in its third edition, presents all common methods of computer/automated graphical construction most helpful to the engineering student, draftsperson or designer, describing, in easy-to-understand terms, a wide range of hardware platforms that will run a single set of software options from the Autodesk Corporation. Rewritten and illustrated with over 330 tables, drawings and photographs, this is a vital reference for all mechanical, electrical and electronics, manufacturing, software, civil and architectural engineers; engineering designers and drafters, and industrial illustrartors and asrtisits. A defintive text on the subject for students familiar with LISP in undergarduate courses.
Computer Aided Intervention and Diagnostics in Clinical and Medical Images (Lecture Notes in Computational Vision and Biomechanics #31)
by J. Dinesh Peter Steven Lawrence Fernandes Carlos Eduardo Thomaz Serestina ViririThis book is a compendium of the ICCMIA 2018 proceedings, which provides an ideal reference for all medical imaging researchers and professionals to explore innovative methods and analyses on imaging technologies for better prospective patient care.This work serves as an exclusive source for new computer assisted clinical and medical developments in imaging diagnosis, intervention and analysis. It includes articles on computer assisted medical scanning techniques, computer-aided diagnosis, robotic surgery and imaging, imaging genomics, clinically-oriented imaging physics and informatics, augmented-reality medical visualization, imaging modalities, computerized radiology, oncology, and surgery. Moreover, information on non-medical imaging that has medical applications such as multi-photon microscopy and confocal, photoacoustic imaging, optical microendoscope, infra-red radiation, and other imaging modalities is also represented.
Computer-Aided Kinetics for Machine Design (Mechanical Engineering Ser. #7)
by Daniel L. RyanThis book presents a study of computer-aided machine design and explains the fundamental concepts of kinematics and machine element design in lay terms. It is useful for those concerned with developing new programs in computer-aided design, in both industry and education.
Computer-aided Nonlinear Control System Design: Using Describing Function Models
by Amir NassirharandA systematic computer-aided approach provides a versatile setting for the control engineer to overcome the complications of controller design for highly nonlinear systems. Computer-aided Nonlinear Control System Design provides such an approach based on the use of describing functions. The text deals with a large class of nonlinear systems without restrictions on the system order, the number of inputs and/or outputs or the number, type or arrangement of nonlinear terms. The strongly software-oriented methods detailed facilitate fulfillment of tight performance requirements and help the designer to think in purely nonlinear terms, avoiding the expedient of linearization which can impose substantial and unrealistic model limitations and drive up the cost of the final product. Design procedures are presented in a step-by-step algorithmic format each step being a functional unit with outputs that drive the other steps. This procedure may be easily implemented on a digital computer with example problems from mechatronic and aerospace design being used to demonstrate the techniques discussed. The author's commercial MATLAB®-based environment, available separately from insert URL here, can be used to create simulations showing the results of using the computer-aided control system design ideas characterized in the text. Academic researchers and graduate students studying nonlinear control systems and control engineers dealing with nonlinear plant, particularly mechatronic or aerospace systems will find Computer-aided Nonlinear Control System Design to be of great practical assistance adding to their toolbox of techniques for dealing with system nonlinearities. A basic knowledge of calculus, nonlinear analysis and software engineering will enable the reader to get the best from this book.
Computer Aided Systems Theory – EUROCAST 2017: 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I (Lecture Notes in Computer Science #10671)
by Roberto Moreno-Díaz Franz Pichler Alexis Quesada-ArencibiaThe two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, EUROCAST 2017, held in Las Palmas de Gran Canaria, Spain, in February 2017. The 117 full papers presented were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on: pioneers and landmarks in the development of information and communication technologies; systems theory, socio-economic systems and applications; theory and applications of metaheuristic algorithms; stochastic models and applications to natural, social and technical systems; model-based system design, verification and simulation; applications of signal processing technology; algebraic and combinatorial methods in signal and pattern analysis; computer vision, deep learning and applications; computer and systems based methods and electronics technologies in medicine; intelligent transportation systems and smart mobility.
Computer Aided Systems Theory – EUROCAST 2017: 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II (Lecture Notes in Computer Science #10672)
by Roberto Moreno-Díaz Franz Pichler Alexis Quesada-ArencibiaThe two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, EUROCAST 2017, held in Las Palmas de Gran Canaria, Spain, in February 2017. The 117 full papers presented were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on: pioneers and landmarks in the development of information and communication technologies; systems theory, socio-economic systems and applications; theory and applications of metaheuristic algorithms; stochastic models and applications to natural, social and technical systems; model-based system design, verification and simulation; applications of signal processing technology; algebraic and combinatorial methods in signal and pattern analysis; computer vision, deep learning and applications; computer and systems based methods and electronics technologies in medicine; intelligent transportation systems and smart mobility.
Computer Aided Systems Theory – EUROCAST 2019: 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science #12014)
by Roberto Moreno-Díaz Franz Pichler Alexis Quesada-ArencibiaThe two-volume set LNCS 12013 and 12014 constitutes the thoroughly refereed proceedings of the 17th International Conference on Computer Aided Systems Theory, EUROCAST 2019, held in Las Palmas de Gran Canaria, Spain, in February 2019. The 123 full papers presented were carefully reviewed and selected from 172 submissions. The papers are organized in the following topical sections: Part I: systems theory and applications; pioneers and landmarks in the development of information and communication technologies; stochastic models and applications to natural, social and technical systems; theory and applications of metaheuristic algorithms; model-based system design, verification and simulation. Part II: applications of signal processing technology; artificial intelligence and data mining for intelligent transportation systems and smart mobility; computer vision, machine learning for image analysis and applications; computer and systems based methods and electronic technologies in medicine; advances in biomedical signal and image processing; systems concepts and methods in touristic flows; systems in industrial robotics, automation and IoT.
Computer Aided Systems Theory – EUROCAST 2019: 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #12013)
by Roberto Moreno-Díaz Franz Pichler Alexis Quesada-ArencibiaThe two-volume set LNCS 12013 and 12014 constitutes the thoroughly refereed proceedings of the 17th International Conference on Computer Aided Systems Theory, EUROCAST 2019, held in Las Palmas de Gran Canaria, Spain, in February 2019. The 123 full papers presented were carefully reviewed and selected from 172 submissions. The papers are organized in the following topical sections: Part I: systems theory and applications; pioneers and landmarks in the development of information and communication technologies; stochastic models and applications to natural, social and technical systems; theory and applications of metaheuristic algorithms; model-based system design, verification and simulation. Part II: applications of signal processing technology; artificial intelligence and data mining for intelligent transportation systems and smart mobility; computer vision, machine learning for image analysis and applications; computer and systems based methods and electronic technologies in medicine; advances in biomedical signal and image processing; systems concepts and methods in touristic flows; systems in industrial robotics, automation and IoT.
Computer Aided Systems Theory – EUROCAST 2022: 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20–25, 2022, Revised Selected Papers (Lecture Notes in Computer Science #13789)
by Roberto Moreno-Díaz Franz Pichler Alexis Quesada-ArencibiaThis book constitutes the refereed proceedings of the 18th International Conference on Computer-Aided Systems Theory, EUROCAST 2022, held in Las Palmas de Gran Canaria, Spain, during February 20–25, 2022. The 77 full papers included in this book were carefully reviewed and selected from 110 submissions. They were organized in topical sections as follows: Systems Theory and Applications, Theory and Applications of Metaheuristic Algorithms, Model-Based System Design, Verification and Simulation, Applications of Signal Processing Technology, Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility, Computer Vision, Machine Learning for Image Analysis and Applications, Computer and Systems Based Methods and Electronic Technologies in Medicine, Systems in Industrial Robotics, Automation and IoT, Systems Thinking. Relevance for Technology, Science and Management Professionals.
Computer Aided Systems Theory - EUROCAST 2015: 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers (Lecture Notes in Computer Science #9520)
by Roberto Moreno-Díaz Franz Pichler Alexis Quesada-ArencibiaThis volume constitutes the papers presented at the 15thInternational Conference on Computer Aided Systems Theory, EUROCAST 2015, heldin February 2015 in Las Palmas de Gran Canaria, Spain. The total of 107 papers presented were carefully reviewedand selected for inclusion in the book. The contributions are organized intopical sections on Systems Theory and Applications; Modelling BiologicalSystems; Intelligent Information Processing; Theory and Applications ofMetaheuristic Algorithms; Computer Methods, Virtual Reality and ImageProcessing for Clinical and Academic Medicine; Signals and Systems inElectronics; Model-Based System Design, Verification, and Simulation; DigitalSignal Processing Methods and Applications; Modelling and Control of Robots;Mobile Platforms, Autonomous and Computing Traffic Systems; Cloud and OtherComputing Systems; and Marine Sensors and Manipulators.
Computer-Aided Translation Technology: A Practical Introduction
by Lynne BowkerLynne Bowker introduces the world of technology to the world of translation in this unique book, the first of its kind. Bowker reveals the role of technology in translation and how to use this ever developing tool.
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science #9779)
by Swarat Chaudhuri Azadeh FarzanThe two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Lecture Notes in Computer Science #10982)
by Hana Chockler Georg WeissenbacherThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Lecture Notes in Computer Science #10981)
by Hana Chockler Georg WeissenbacherThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Lecture Notes in Computer Science #11561)
by Isil Dillig Serdar TasiranThis open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11562)
by Isil Dillig Serdar TasiranThe open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III (Lecture Notes in Computer Science #13966)
by Constantin Enea Akash LalThe open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.