Author : group of authors
Publisher : MAC Prague consulting
Page : 363 pages
File Size : 11,40 MB
Release : 2015-10-14
Category : Business & Economics
ISBN : 8088085098
The 5th Multidisciplinary Academic Conference in Prague 2015, Czech Republic (The 5th MAC 2015)
Author : group of authors
Publisher : MAC Prague consulting
Page : 358 pages
File Size : 30,76 MB
Release : 2015-12-04
Category : Business & Economics
ISBN : 8088085039
Author : M. Shamim Kaiser
Publisher : Springer Nature
Page : 651 pages
File Size : 26,41 MB
Release :
Category :
ISBN : 9819719232
Author : Pavel Krömer
Publisher : Springer
Page : 862 pages
File Size : 27,88 MB
Release : 2018-12-24
Category : Technology & Engineering
ISBN : 3030037665
This volume of Advances in Intelligent Systems and Computing highlights papers presented at the Fifth Euro-China Conference on Intelligent Data Analysis and Applications (ECC2018), held in Xi’an, China from October 12 to 14 2018. The conference was co-sponsored by Springer, Xi’an University of Posts and Telecommunications, VSB Technical University of Ostrava (Czech Republic), Fujian University of Technology, Fujian Provincial Key Laboratory of Digital Equipment, Fujian Provincial Key Lab of Big Data Mining and Applications, and Shandong University of Science and Technology in China. The conference was intended as an international forum for researchers and professionals engaged in all areas of computational intelligence, intelligent control, intelligent data analysis, pattern recognition, intelligent information processing, and applications.
Author : Zhang Ren
Publisher : Springer Nature
Page : 1902 pages
File Size : 11,95 MB
Release : 2022-07-29
Category : Technology & Engineering
ISBN : 9811939985
This book includes original, peer-reviewed research papers from the 2021 5th Chinese Conference on Swarm Intelligence and Cooperative Control (CCSICC2021), held in Shenzhen, China on January 19-22, 2022. The topics covered include but are not limited to: reviews and discussions of swarm intelligence, basic theories on swarm intelligence, swarm communication and networking, swarm perception, awareness and location, swarm decision and planning, cooperative control, cooperative guidance, swarm simulation and assessment. The papers showcased here share the latest findings on theories, algorithms and applications in swarm intelligence and cooperative control, making the book a valuable asset for researchers, engineers, and university students alike.
Author : Chi-hau Chen
Publisher : World Scientific
Page : 582 pages
File Size : 13,44 MB
Release : 2015-12-15
Category : Computers
ISBN : 9814656534
The book provides an up-to-date and authoritative treatment of pattern recognition and computer vision, with chapters written by leaders in the field. On the basic methods in pattern recognition and computer vision, topics range from statistical pattern recognition to array grammars to projective geometry to skeletonization, and shape and texture measures. Recognition applications include character recognition and document analysis, detection of digital mammograms, remote sensing image fusion, and analysis of functional magnetic resonance imaging data, etc.
Author : Leah Epstein
Publisher : Springer
Page : 356 pages
File Size : 21,16 MB
Release : 2018-11-28
Category : Computers
ISBN : 3030046931
This book constitutes the thoroughly refereed workshop post-proceedings of the 16th International Workshop on Approximation and Online Algorithms, WAOA 2018, held in Helsinki, Finland, in August 2018 as part of ALGO 2018. The 19 revised full papers presented together with one invited paper in this book were carefully reviewed and selected from 44 submissions. Topics of interest for WAOA 2016 were: graph algorithms; inapproximability results; network design; packing and covering; paradigms for the design and analysis of approximation and online algorithms; parameterized complexity; scheduling problems; algorithmic game theory; algorithmic trading; coloring and partitioning; competitive analysis; computational advertising; computational finance; cuts and connectivity; geometric problems; mechanism design; resource augmentation; and real-world applications.
Author : Lytras, Miltiadis D.
Publisher : IGI Global
Page : 415 pages
File Size : 43,99 MB
Release : 2018-10-26
Category : Computers
ISBN : 1522571876
Continual advancements in web technology have highlighted the need for formatted systems that computers can utilize to easily read and sift through the hundreds of thousands of data points across the internet. Therefore, having the most relevant data in the least amount of time to optimize the productivity of users becomes a priority. Semantic Web Science and Real-World Applications provides emerging research exploring the theoretical and practical aspects of semantic web science and real-world applications within the area of big data. Featuring coverage on a broad range of topics such as artificial intelligence, social media monitoring, and microblogging recommendation systems, this book is ideally designed for IT consultants, academics, professionals, and researchers of web science seeking the current developments, requirements and standards, and technology spaces presented across academia and industries.
Author : Sergey Yurish
Publisher : Lulu.com
Page : 584 pages
File Size : 33,50 MB
Release : 2018-06-18
Category : Technology & Engineering
ISBN : 8409030306
The Vol. 6 of this Book Series contains 21 chapters written by 94 contributors-experts from universities and research centres, from 21 countries: Argentina, Austria, Brazil, China, Czech Republic, Denmark, Finland, France, Germany, India, Italy, Japan, Mexico, Poland, Romania, Russia, Slovenia, Switzerland, Thailand, UK and USA. This volume is devoted to various chemical sensors (sensors for various gases, nucleic acids, organic compounds, nanosensors, etc.) and biosensors. This book ensures that our readers will stay at the cutting edge of the field and get the right and effective start point and road map for the further researches and developments. By this way, they will be able to save more time for productive research activity and eliminate routine work. With the unique combination of information in this volume, the 'Advances in Sensors: Reviews' Book Series will be of value for scientists and engineers in industry and at universities, to sensors developers, distributors, and end users.
Author : Sylvie Boldo
Publisher : Elsevier
Page : 328 pages
File Size : 25,97 MB
Release : 2017-11-17
Category : Computers
ISBN : 0081011709
Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs. This book provides a comprehensive view of how to formally specify and verify tricky floating-point algorithms with the Coq proof assistant. It describes the Flocq formalization of floating-point arithmetic and some methods to automate theorem proofs. It then presents the specification and verification of various algorithms, from error-free transformations to a numerical scheme for a partial differential equation. The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation. - Describes the notions of specification and weakest precondition computation and their practical use - Shows how to tackle algorithms that extend beyond the realm of simple floating-point arithmetic - Includes real analysis and a case study about numerical analysis
