Hasil Pencarian  ::  Simpan CSV :: Kembali

"The aim of computer-aided surgery (CAS) is to advance the utilization of computers in the development of new technologies for medical services. The Asian Conference on Computer Aided Surgery (ACCAS) series provides a forum for academic researchers, clinical scientists, surgeons, and industrial partners to exchange new ideas, techniques, and the latest developments in the field. The ACCAS brings together researchers from all fields related to medical activity visualization, simulation and modeling, virtual reality for CAS, image-guided diagnosis and therapies, CAS for minimally invasive intervention, medical robotics and instrumentation, surgical navigation, clinical application of CAS, telemedicine and telesurgery, and CAS education. The ACCAS is also interested in promoting collaboration among people from different disciplines and different countries in Asia and the world. "

"This book presents the proceedings of the 14th International Conference on Computer Aided Engineering, collecting the best papers from the event, which was held in Wrocław, Poland in June 2018. It includes contributions from researchers in computer engineering addressing the applied science and development of the industry and offering up-to-date information on the development of the key technologies in technology transfer. It is divided into the following thematic sections:- parametric and concurrent design,- advanced numerical simulations of physical systems,- integration of CAD/CAE systems for machine design,- presentation of professional CAD and CAE systems,- presentation of the modern methods of machine testing,- presentation of practical CAD/CAM/CAE applications:- designing and manufacturing of machines and technical systems,- durability prediction, repairs and retrofitting of power equipment,- strength and thermodynamic analyses of power equipment,- design and calculation of various types of load-carrying structures,- numerical methods of dimensioning materials handling and long-distance transport equipment (cranes, gantries, automotive, rail, air, space and other special vehicles and earth-moving machinery),- CAE integration problems."

"This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration."

"Using a strong science-based and analytical approach, this book provides a modern description of CAM from an engineering perspective to include design specification, process engineering, and production. The Third Edition of Computer Integrated Manufacturing includes new material on CAD drafting, 3D CAD, surface modeling, solid modeling, feature-based modeling, variational and parametric modeling, tools for PLC logic design, and kinematics of NC machines"