- Table View
- List View
Computer Aided Design of 3D Printable Anatomically Shaped Medical Devices: Methodologies and Applications
by Filip Gorski"Computer Aided Design of 3D Printable Anatomically Shaped Medical Devices: Methodologies and Applications" presents a comprehensive framework for designing 3D printable medical devices tailored to individual anatomies. Bridging engineering and medicine, the book guides readers through advanced CAD techniques, anatomical data acquisition (via 3D scanning and imaging), and additive manufacturing processes, presenting mostly results of author's own and co-authored research. Emphasizing efficiency, customization, and real-world applications, it showcases methodologies developed in collaboration with medical professionals for orthopedic devices, surgical aids, and prosthetics. Case studies offer insights into practical uses, demonstrating how these innovations enhance patient care and surgical outcomes through personalized, accessible solutions.
Computer Aided Design: A Conceptual Approach
by Jayanta SarkarOptimize Designs in Less TimeAn essential element of equipment and system design, computer aided design (CAD) is commonly used to simulate potential engineering problems in order to help gauge the magnitude of their effects. Useful for producing 3D models or drawings with the selection of predefined objects, Computer Aided Design: A Conceptual Appr
Computer Aided Engineering Design and Manufacturing: A Fourth Industrial Revolution Perspective (Springer Series in Advanced Manufacturing)
by Wasim Ahmed Khan Rashid Ali Volkan Esat Muhammad Hammad Hassan Ali Muhammad Qasim ZafarThis text introduces the modern concepts relevant to system engineering design and manufacturing from a 4th Industrial Revolution perspective. The book surveys the current status and cutting edge in Computer Aided Design and Computer Aided Manufacturing (CAD/CAM). This bridges the gaps between academic research and industry. It consists of seven parts and seventeen chapters that first structure the subject areas and later detail the main topics under consideration. Each part of the book and each chapter contains a prelude guiding the reader in a systematic way to the next part or topic. The book explains concepts using state-of-the-art teaching methods, using objectives, learning outcomes and review questions. MS PowerPoint Slides and Solution Manual for instructors are available online as well as videos.
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 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 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 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 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 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 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 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part I (Lecture Notes in Computer Science #15172)
by Roberto Moreno-Díaz Alexis Quesada-Arencibia Michael AffenzellerThis three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to March 1, 2024. The 104 full papers included in this book were carefully reviewed and selected from 150 submissions. They were organized in topical sections as follows : Part I : Systems Theory, Applications, Pioneers, and Landmarks; Theory and Applications of Metaheuristic Algorithms; Mechatronic Product Development; and Model-Based System Design, Verification and Simulation. Part II : Applications of Signal Processing Technology; Applied Data Science and Engineering for Intelligent Transportation Systems and Smart Mobility; Computer and Systems Based Methods and Electronic Tools in Clinical and Academic Medicine ; Systems in Industrial Robotics, Automation and IoT; Systems Thinking: Applications in Technology, Science and Management; and Data Science in Medical and Bio-Informatics. Part III : Modeling, Simulation, and Optimization in Production and Logistics; "Green AI" and SW-Tools for Sustainable Energy and Materials Consumption; Stochastic Models, Statistical Methods, and Applied Systems Simulations; and Systems Cybersecurity Technologies and Quantum Approaches Potentials.
Computer Aided Systems Theory – EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part II (Lecture Notes in Computer Science #15173)
by Roberto Moreno-Díaz Alexis Quesada-Arencibia Michael AffenzellerThis three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to March 1, 2024. The 104 full papers included in this book were carefully reviewed and selected from 150 submissions. They were organized in topical sections as follows : Part I : Systems Theory, Applications, Pioneers, and Landmarks; Theory and Applications of Metaheuristic Algorithms; Mechatronic Product Development; and Model-Based System Design, Verification and Simulation. Part II : Applications of Signal Processing Technology; Applied Data Science and Engineering for Intelligent Transportation Systems and Smart Mobility; Computer and Systems Based Methods and Electronic Tools in Clinical and Academic Medicine ; Systems in Industrial Robotics, Automation and IoT; Systems Thinking: Applications in Technology, Science and Management; and Data Science in Medical and Bio-Informatics. Part III : Modeling, Simulation, and Optimization in Production and Logistics; "Green AI" and SW-Tools for Sustainable Energy and Materials Consumption; Stochastic Models, Statistical Methods, and Applied Systems Simulations; and Systems Cybersecurity Technologies and Quantum Approaches Potentials.
Computer Aided Systems Theory – EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part III (Lecture Notes in Computer Science #15174)
by Roberto Moreno-Díaz Alexis Quesada-Arencibia Michael AffenzellerThis three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to March 1, 2024. The 104 full papers included in this book were carefully reviewed and selected from 150 submissions. They were organized in topical sections as follows : Part I : Systems Theory, Applications, Pioneers, and Landmarks; Theory and Applications of Metaheuristic Algorithms; Mechatronic Product Development; and Model-Based System Design, Verification and Simulation. Part II : Applications of Signal Processing Technology; Applied Data Science and Engineering for Intelligent Transportation Systems and Smart Mobility; Computer and Systems Based Methods and Electronic Tools in Clinical and Academic Medicine ; Systems in Industrial Robotics, Automation and IoT; Systems Thinking: Applications in Technology, Science and Management; and Data Science in Medical and Bio-Informatics. Part III : Modeling, Simulation, and Optimization in Production and Logistics; "Green AI" and SW-Tools for Sustainable Energy and Materials Consumption; Stochastic Models, Statistical Methods, and Applied Systems Simulations; and Systems Cybersecurity Technologies and Quantum Approaches Potentials.
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science #9206)
by Daniel Kroening Corina S. PăsăreanuThe two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.
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: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science #10426)
by Rupak Majumdar Viktor KunčakThe two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science #10427)
by Rupak Majumdar Viktor KunčakThe two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
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: 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: 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: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science #12224)
by Chao Wang Shuvendu K. LahiriThe open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (Lecture Notes in Computer Science #12225)
by Chao Wang Shuvendu K. LahiriThe open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.