Tag: Computer

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gr


Free Download Computer Aided Systems Theory – EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers By Rudolf F. Albrecht (auth.), Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia (eds.)
2007 | 1236 Pages | ISBN: 3540758666 | PDF | 80 MB
The concept of CAST as Computer Aided Systems Theory was introduced by F. Pichler in the late 1980s to encompass computer-theoretical and practical developments as tools for problem-solving in system science. It was thought of as the third of three components (the other two being CAD and CAM) that together provide a complete picture of the path from computer and systems sciences to practical developments in science and engineering. Franz Pichler, of the University of Linz, organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST (Las Palmas, February 1989), under the name EUROCAST 1989. This proved to be a very successful gathering of systems theorists, computer scientists and engineers from Europe, North America and Japan. It was agreed that EUROCAST international conferences would be organized every two years. Thus, successive EUROCAST meetings have taken place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), Vienna (1999), Las Palmas (2001), Las Palmas (2003) and Las Palmas (2005), in addition to an extra- European CAST Conference in Ottawa in 1994. Selected papers from those meetings were published in springer’s Lecture Notes in Computer Science series, as numbers 410, 585, 763, 1030, 1333, 1798, 2178, 2809 and 3643, and in several special issues of the international journal Cybernetics and Systems.

(more…)

Universal Access in Human-Computer Interaction. Applications and Services for Quality of Life 7th International Conference, UA


Free Download Universal Access in Human-Computer Interaction. Applications and Services for Quality of Life: 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III By Javier Barcenilla, Charles Tijus, Djamel Aissaoui, Eric Brangier (auth.), Constantine Stephanidis, Margherita Antona (eds.)
2013 | 697 Pages | ISBN: 3642391931 | PDF | 34 MB
The three-volume set LNCS 8009-8011 constitutes the refereed proceedings of the 7th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 230 contributions included in the UAHCI proceedings were carefully reviewed and selected for inclusion in this three-volume set. The 78 papers included in this volume are organized in the following topical sections: universal access to smart environments and ambient assisted living; universal access to learning and education; universal access to text, books, ebooks and digital libraries; health, well-being, rehabilitation and medical applications; access to mobile interaction.

(more…)

Mathematics of Computer Science, Cybersecurity and Artificial Intelligence


Free Download Mathematics of Computer Science, Cybersecurity and Artificial Intelligence
English | 2024 | ISBN: 3031662210 | 268 Pages | PDF EPUB (True) | 24 MB
This proceedings book gathers selected, peer-reviewed papers presented at the Fifth Scientific Days of the Doctoral School of Mathematics and Computer Sciences – S2DSMCS, held from December 20-22, 2023, at Cheikh Anta Diop University in Dakar, Senegal. The cutting-edge works cover timely topics in cryptography, cybersecurity, and artificial intelligence, with applications extending to fields such as telecommunications and smart networks. This collection showcases research activities developed by a new generation of mathematicians and computer scientists from Africa, Europe, Asia, and America.

(more…)

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings


Free Download Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings By Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.)
2013 | 415 Pages | ISBN: 3642357210 | PDF | 5 MB
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logic; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science.

(more…)

Human-Computer Interaction. Interaction Modalities and Techniques 15th International Conference, HCI International 2013, Las V


Free Download Human-Computer Interaction. Interaction Modalities and Techniques: 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV By Christina Alexandris (auth.), Masaaki Kurosu (eds.)
2013 | 768 Pages | ISBN: 3642393292 | PDF | 51 MB
The five-volume set LNCS 8004–8008 constitutes the refereed proceedings of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, NV, USA in July 2013. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This volume contains papers in the thematic area of human-computer interaction, addressing the following major topics: speech, natural language and auditory interfaces; gesture and eye-gaze based Interaction; touch-based interaction; haptic interaction; graphical user interfaces and visualisation.

(more…)

Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data Third International Workshop, HCI-KDD 20


Free Download Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data: Third International Workshop, HCI-KDD 2013, Held at SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings By Cagatay Turkay, Arvid Lundervold, Astri Johansen Lundervold, Helwig Hauser (auth.), Andreas Holzinger, Gabriella Pasi (eds.)
2013 | 442 Pages | ISBN: 3642391451 | PDF | 20 MB
This book constitutes the refereed proceedings of the Third Workshop on Human-Computer Interaction and Knowledge Discovery, HCI-KDD 2013, held in Maribor, Slovenia, in July 2013, at SouthCHI 2013. The 20 revised papers presented were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on human-computer interaction and knowledge discovery, knowledge discovery and smart homes, smart learning environments, and visualization data analytics.

(more…)

Computer and Computing Technologies in Agriculture VI 6th IFIP WG 5.14 International Conference, CCTA 2012, Zhangjiajie, China


Free Download Computer and Computing Technologies in Agriculture VI: 6th IFIP WG 5.14 International Conference, CCTA 2012, Zhangjiajie, China, October 19-21, 2012, Revised Selected Papers, Part I By Yun Qiu, Jingchao Fan, Lin Hu, Guomin Zhou (auth.), Daoliang Li, Yingyi Chen (eds.)
2013 | 455 Pages | ISBN: 3642361234 | PDF | 14 MB
The two-volume set IFIP AICT 392 and 393 constitutes the refereed post-conference proceedings of the 6th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2012, held in Zhangjiajie, China, in October 2012. The 108 revised papers presented were carefully selected from numerous submissions. They cover a wide range of interesting theories and applications of information technology in agriculture, including Internet of things and cloud computing; simulation models and decision-support systems for agricultural production; smart sensor, monitoring, and control technology; traceability and e-commerce technology; computer vision, computer graphics, and virtual reality; the application of information and communication technology in agriculture; and universal information service technology and service systems development in rural areas. The 53 papers included in the first volume focus on decision support systems, intelligent systems, and artificial intelligence applications.

(more…)

Computer Vision, Imaging and Computer Graphics. Theory and Application 7th International Joint Conference, VISIGRAPP 2012, Rom


Free Download Computer Vision, Imaging and Computer Graphics. Theory and Application: 7th International Joint Conference, VISIGRAPP 2012, Rome, Italy, February 24-26, 2012, Revised Selected Papers By Zoltan Kato (auth.), Gabriela Csurka, Martin Kraus, Robert S. Laramee, Paul Richard, José Braz (eds.)
2013 | 446 Pages | ISBN: 3642382401 | PDF | 56 MB
This book constitutes the refereed proceedings of the International Conference, VISIGRAPP 2012, the Joint Conference on Computer Vision Theory and Applications (VISAPP), on Computer Graphics Theory and Applications (GRAPP), and on Information Visualization Theory and Applications (IVAPP), held in Rome, Italy, in February 2012. The 28 revised full papers presented together with one invited paper were carefully reviewed and selected from 483 submissions. The papers are organized in topical sections on computer graphics theory and applications; information visualization theory and applications; computer vision theory and applications.

(more…)

Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Pap


Free Download Computer Vision – ACCV 2012: 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part I By Tatiana Tommasi, Novi Quadrianto, Barbara Caputo, Christoph H. Lampert (auth.), Kyoung Mu Lee, Yasuyuki Matsushita, James M. Rehg, Zhanyi Hu (eds.)
2013 | 821 Pages | ISBN: 3642373305 | PDF | 80 MB
The four-volume set LNCS 7724–7727 constitutes the thoroughly refereed post-conference proceedings of the 11th Asian Conference on Computer Vision, ACCV 2012, held in Daejeon, Korea, in November 2012. The total of 226 contributions presented in these volumes was carefully reviewed and selected from 869 submissions. The papers are organized in topical sections on object detection, learning and matching; object recognition; feature, representation, and recognition; segmentation, grouping, and classification; image representation; image and video retrieval and medical image analysis; face and gesture analysis and recognition; optical flow and tracking; motion, tracking, and computational photography; video analysis and action recognition; shape reconstruction and optimization; shape from X and photometry; applications of computer vision; low-level vision and applications of computer vision.

(more…)