Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book presents the Proceedings of The 4th Brazilian Technology Symposium (BTSym'18). Part I of the book discusses current technological issues on Systems Engineering, Mathematics and Physical Sciences, such as the Transmission Line, Protein-modified mortars, Electromagnetic Properties, Clock Domains, Chebyshev Polynomials, Satellite Control Systems, Hough Transform, Watershed Transform, Blood Smear Images, Toxoplasma Gondi, Operation System Developments, MIMO Systems, Geothermal-Photovoltaic Energy Systems, Mineral Flotation Application, CMOS Techniques, Frameworks Developments, Physiological Parameters Applications, Brain Computer Interface, Artificial Neural Networks, Computational Vision, Security Applications, FPGA Applications, IoT, Residential Automation, Data Acquisition, Industry 4.0, Cyber-Physical Systems, Digital Image Processing, Patters Recognition, Machine Learning, Photocatalytic Process, Physical-chemical analysis, Smoothing Filters, Frequency Synthesizers, Voltage Controlled Ring Oscillator, Difference Amplifier, Photocatalysis and Photodegradation. Part II of the book discusses current technological issues on Human, Smart and Sustainable Future of Cities, such as the Digital Transformation, Data Science, Hydrothermal Dispatch, Project Knowledge Transfer, Immunization Programs, Efficiency and Predictive Methods, PMBOK Applications, Logistics Process, IoT, Data Acquisition, Industry 4.0, Cyber-Physical Systems, Fingerspelling Recognition, Cognitive Ergonomics, Ecosystem services, Environmental, Ecosystem services valuation, Solid Waste and University Extension. BTSym is the brainchild of Prof. Dr. Yuzo Iano, who is responsible for the Laboratory of Visual Communications (LCV) at the Department of Communications (DECOM) of the Faculty of Electrical and Computing Engineering (FEEC), State University of Campinas (UNICAMP), Brazil."

"This book presents the proceedings of the 3rd Brazilian Technology Symposium (BTSym), which is a multi/trans/interdisciplinary event offering an excellent forum for presentations and discussions of the latest scientific and technological developments in various areas of research, with an emphasis on smart design and future technologies.It brings together researchers, students and professionals from the industrial and academic sectors to discuss current technological issues. Among the main topics covered in this book, we can highlight Artificial Neural Networks, Computational Vision, Security Applications, Web Tool, Cloud Environment, Network Functions Virtualization, Software-Defined Networks, IoT, Residential Automation, Data Acquisition, Industry 4.0, Cyber-Physical Systems, Digital Image Processing, Infrared Images, Patters Recognition, Digital Video Processing, Precoding, Embedded Systems, Machine Learning, Remote Sensing, Wireless Sensor Network, Heterogeneous Networks, Unmanned Ground Vehicle, Unmanned Aerial System, Security, Surveillance, Traffic Analysis, Digital Television, 5G, Image Filter, Partial Differential Equation, Smoothing Filters, Voltage Controlled Ring Oscillator, Difference Amplifier, Photocatalysis, Photodegradation, Cosmic Radiation Effects, Radiation Hardening Techniques, Surface Electromyography, Sickle cell disease methodology, MicroRNAs, Image Processing Venipuncture, Cognitive Ergonomics, Ecosystem services, Environmental, Power Generation, Ecosystem services valuation, Solid Waste and University Extension."

"This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Artificial Intelligence, SBIA 2012, held in Curitiba, Brazil, in October 2012. The 23 revised full papers presented were carefully reviewed and selected from 81 submissions. The papers cover the following topics: knowledge representation, machine learning, machine learning and computer vision, agent-based and multi-agent systems, robotics and language, as well as constraints."

"This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains."

"The 10 full and 2 short papers were carefully reviewed and selected from 27 submissions. The papers cover various aspects of programming languages and software engineering."

"Brazilian Symposium on Bioinformatics covers all aspects of bioinformatics and computational biology, including sequence analysis, motifs, and pattern matching, biological databases, data management, data integration, and data mining, biomedical text mining, structural, comparative, and functional genomics, personal genomics, protein structure, modeling, and simulation, gene identification, regulation and expression analysis, gene and protein interaction and networks, molecular docking, molecular evolution and phylogenetics, computational systems biology, computational proteomics, statistical analysis of molecular sequences, algorithms for problems in computational biology, applications in molecular biology, biochemistry, genetics, medicine, microbiology and associated subjects."

"The book reports on advanced topics in the areas of wearable robotics research and practice. It focuses on new technologies, including neural interfaces, soft wearable robots, sensors and actuators technologies, and discusses important regulatory challenges, as well as clinical and ethical issues. Based on the 4th International Symposium on Wearable Robotics, WeRob2018, held October 16-20, 2018, in Pisa, Italy, the book addresses a large audience of academics and professionals working in government, industry, and medical centers, and end-users alike. It provides them with specialized information and with a source of inspiration for new ideas and collaborations. It discusses exemplary case studies highlighting practical challenges related to the implementation of wearable robots in a number of fields. One of the focus is on clinical applications, which was encouraged by the colocation of WeRob2018 with the International Conference on Neurorehabilitation, INCR2018. Additional topics include space applications and assistive technologies in the industry. The book merges together the engineering, medical, ethical and political perspectives, thus offering a multidisciplinary, timely snapshot of the field of wearable technologies. "

"This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 revised full papers presented together with 7 idea papers were carefully reviewed and selected from 53 submissions. The full papers present new research results in the field of engineering secure software and systems, whereas the idea papers give crisp expositions of interesting, novel ideas in the early stages of development."

"This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis and applications of formal techniques."