74 results
Search Results
2. Informatics in control, automation and robotics : selected papers from the International Conference on Informatics in Control, Automation and Robotics 2007.
- Author
-
Andrade-Cetto, Juan, Ferrier, Jean Louis, and Filipe, Joaquim
- Subjects
Automation -- Congresses ,Control theory -- Congresses ,Robotics -- Congresses - Abstract
Summary: The present book includes a set of selected papers from the 5th "International Conference on Informatics in Control Automation and Robotics" (ICINCO 2008), held in Funchal-Madeira, Portugal, 11-15 May 2008. The conference was organized in three simultaneous tracks: "Intelligent Control Systems and Optimization", "Robotics and Automation" and "Systems Modeling, Signal Processing and Control". The book is based on the same structure. The purpose of this conference is to bring together researchers, engineers and practitioners interested in the application of informatics to Control, Automation and Robotics." "Informatics applications are pervasive in many areas of Control, Automation and Robotics, and this conference intends to emphasize this connection, therefore, most papers highlight applications of Information Technology (IT) in these areas and present ideas on how to solve problems using IT, both in R&D and industrial applications. A diversity of papers are included in the book.
- Published
- 2009
3. Recent progress in robotics : viable robotic service to human : an edition of the selected papers from the 13th International Conference on Advanced Robotics.
- Author
-
Suh, ll hong, Kim, Mun Sang, and Lee, Sukhan
- Subjects
Human-robot interaction ,Robotics -- Congresses - Abstract
Summary: This volume is an edition of the papers selected from the 13th International Conference on Advanced Robotics, ICAR 2007, held in Jeju, Korea, August 22-25, 2007, with the theme: "Viable Robotics Service to Human." It is intended to deliver readers the most recent technical progress in robotics, in particular, toward the advancement of robotic service to human.
- Published
- 2008
4. Machine learning for multimodal interaction. [electronic resource] : third international workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006 : revised selected papers.
- Author
-
Bengio, Samy, Fiscus, Jonathan G., Renals, Steve, and National Institute of Standards and Technology (U.S.)
- Subjects
Automatic speech recognition ,Human-computer interaction ,Machine learning ,Natural language processing (Computer science) ,Speech processing systems - Abstract
Summary: This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Machine Learning for Multimodal Interaction, MLMI 2006, held in Bethesda, MD, USA, in May 2006. The papers are organized in topical sections on multimodal processing, image and video processing, HCI and applications, discourse and dialogue, speech and audio processing, and NIST meeting recognition evaluation.
- Published
- 2006
5. Pen-and-Paper User Interfaces - Integrating Printed and Digital Documents
- Author
-
Jürgen Steimle
- Published
- 2012
- Full Text
- View/download PDF
6. Software Engineering Research, Management and Applications [selected papers from the 12th International Conference on Software Engineering Research, Management and Applications, SERA 2014, Kitakyushu, Japan, 2014]
- Author
-
Roger Y. Lee
- Published
- 2015
- Full Text
- View/download PDF
7. Argument, Inference and Dialectic, Collected Papers on Informal Logic with an Introduction by Hans V. Hansen.
- Author
-
Robert C. Pinto
- Published
- 2001
- Full Text
- View/download PDF
8. Ludics, Dialogue and Interaction - PRELUDE Project - 2006-2009. Revised Selected Papers
- Author
-
Alain Lecomte and Samuel Tronçon
- Published
- 2011
- Full Text
- View/download PDF
9. Language Technology for Cultural Heritage, Selected Papers from the LaTeCH Workshop Series
- Author
-
Caroline Sporleder, Antal van den Bosch, and Kalliopi Zervanou
- Published
- 2011
- Full Text
- View/download PDF
10. Computer and Information Science 2010 [outstanding papers from the 9th ACIS/IEEE International Conference on Computer and Information Science, Kaminoyama, Japan, August 18-20, 2010].
- Author
-
Roger Y. Lee
- Published
- 2010
- Full Text
- View/download PDF
11. Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, Shanghai, China, June 1-3, 2009]
- Author
-
Roger Y. Lee, Gongzhu Hu, and Huaikou Miao
- Published
- 2009
- Full Text
- View/download PDF
12. Advances in Ubiquitous User Modelling, Revised Selected Papers
- Author
-
Tsvi Kuflik, Shlomo Berkovsky, Francesca Carmagnola, Dominik Heckmann, and Antonio Krüger
- Published
- 2009
- Full Text
- View/download PDF
13. Computer and Information Science [outstanding papers from IEEE/ACIS ICIS/IWEA 2008]
- Author
-
Roger Y. Lee and Haeng-Kon Kim
- Published
- 2008
14. Heterogeneous Objects Modelling and Applications, Collection of Papers on Foundations and Practice
- Author
-
Alexander A. Pasko, Valery Adzhiev, and Peter Comninos
- Published
- 2008
- Full Text
- View/download PDF
15. Analysis and Design of Intelligent Systems using Soft Computing Techniques, a selection of papers from IFSA 2007
- Author
-
Patricia Melin, Oscar Castillo 0001, Eduardo Gómez-Ramírez, Janusz Kacprzyk, and Witold Pedrycz
- Published
- 2007
16. The Legibility of Serif and Sans Serif Typefaces
- Author
-
Richardson, John T. E.
- Subjects
Legibility of text ,Reading from paper ,Reading from screens ,Sans serif typefaces ,Serif typefaces ,Typography and typographic design ,Open Access ,bic Book Industry Communication::C Language::CF linguistics::CFC Literacy ,bic Book Industry Communication::C Language::CB Language: reference & general ,bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject - Abstract
This open access book provides a detailed and up-to-date account of the relevant literature on the legibility of different kinds of typefaces, which goes back over 140 years in the case of reading from paper and more than 50 years in the case of reading from screens. It describes the origins of serif and sans serif styles in ancient inscriptions, their adoption in modern printing techniques, and their legibility in different situations and in different populations of readers. It also examines recent research on the legibility of serif and sans serif typefaces when used with internet browsers, smartphones and other hand-held devices. The book investigates the difference in the legibility of serif typefaces and sans serif typefaces when they are used to produce printed material or when they are used to present material on computer monitors or other screens and it explores the differences in readers’ preferences among typefaces. The book’s main focus is on the psychology of reading, but there are clear implications for education and publishing. Indeed, the book can be read with benefit by anyone concerned with communicating with others through written text, whether it is printed on paper or displayed on computer screens.
- Published
- 2022
- Full Text
- View/download PDF
17. Machine learning and knowledge discovery in databases : European conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008 : proceedings.
- Author
-
Daelemans, Walter, Goethals, Bart, and Morik, Katharina
- Subjects
Artificial intelligence ,Data mining ,Machine learning - Abstract
Summary: This book constitutes the refereed proceedings of the joint conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2008, held in Antwerp, Belgium, in September 2008. The 100 papers presented in two volumes, together with 5 invited talks, were carefully reviewed and selected from 521 submissions. In addition to the regular papers the volume contains 14 abstracts of papers appearing in full version in the Machine Learning Journal and the Knowledge Discovery and Databases Journal of Springer. The conference intends to provide an international forum for the discussion of the latest high quality research results in all areas related to machine learning and knowledge discovery in databases. The topics addressed are application of machine learning and data mining methods to real-world problems, particularly exploratory research that describes novel learning and mining tasks and applications requiring non-standard techniques.
- Published
- 2008
18. Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures.
- Author
-
Bernardo, Marco, Degano, Pierpaolo, and Zavattaro, Gianluigi
- Subjects
Computational system biology ,Formal methods (Computer science) -- Congresses ,Integrated circuits -- Verification -- Congresses - Abstract
Summary: This book presents a set of 14 papers accompanying the lectures of leading researchers given at the 8th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2008, held in Bertinoro, Italy in June 2008. SFM 2008 was devoted to formal techniques for computational systems biology and covered several aspects of the field, including computational models, calculi and logics for biological systems, and verification and simulation methods. The first part of this volume comprises nine papers based on regular lectures, the second part of this volume comprises five papers based on talks given by people involved in the Italian BISCA research project on Bio-Inspired Systems and Calculi with Applications
- Published
- 2008
19. Intelligent robotics and applications : 10th International Conference, ICIRA 2017, Wuhan, China, August 16-18, 2017, Proceedings.
- Author
-
Huang, YongAn, Liu, Honghai, Wu, Hao, and Yin, Zhouping
- Subjects
Artificial intelligence -- Congresses ,Robotics -- Congresses ,Robots -- Congresses - Abstract
Summary: The three volume set LNAI 7506, LNAI 7507 and LNAI 7508 constitutes the refereed proceedings of the 5th International Conference on Intelligent Robotics and Applications, ICIRA 2012, held in Montreal, Canada, in October 2012. The 197 revised full papers presented were thoroughly reviewed and selected from 271 submissions. They present the state-of-the-art developments in robotics, automation and mechatronics. This volume covers the topics of robotics for rehabilitation and assistance; mechatronics and integration technology in electronics and information devices fabrication; man-machine interactions; manufacturing; micro and nano systems; mobile robots and intelligent autonomous systems; motion control; multi-agent systems and distributed control; and multi-sensor data fusion algorithms.
- Published
- 2017
20. Modeling Decisions for Artificial Intelligence : 12th International Conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, Proceedings.
- Author
-
Narukawa, Yasuo and Torra, Vicenc
- Subjects
Application software ,Artificial intelligence ,Data mining ,Information storage and retrieval ,Numerical analysis ,Pattern recognition - Abstract
Summary: This book constitutes the proceedings of the 12th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2015, held in Skövde, Sweden, in September 2015. The 18 revised full papers presented were carefully reviewed and selected from 38 submissions. They discuss theory and tools for modeling decisions, as well as applications that encompass decision making processes and information fusion techniques.
- Published
- 2015
21. Software engineering, artificial intelligence, networking and parallel/distributed computing 2011.
- Author
-
Lee, Roger
- Subjects
Artificial intelligence ,Computer networks ,Electronic data processing ,Parallel processing ,Software engineering - Abstract
Summary: The purpose of the 12th Conference Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2011) held on July 6-8, 2011 in Sydney, Australia was to bring together scientists, engineers, computer users, and students to share their experiences and exchange new ideas and research results about all aspects (theory, applications and tools) of computer and information sciences, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. ¡ The conference organizers selected 14 outstanding papers from SNPD 2011, all of which you will find in this volume of Springer{u2019}s Studies in Computational Intelligence.
- Published
- 2011
22. Ensembles in machine learning applications.
- Author
-
Okun, Oleg, Re, Matteo, and Valentini, Giorgio
- Subjects
Machine learning ,Set theory ,Artificial Intelligence (incl. Robotics) ,Computational intelligence - Abstract
Summary: This book contains the extended papers presented at the 3rd Workshop on Supervised and Unsupervised Ensemble Methods and their Applications (SUEMA) that was held in conjunction with the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML/PKDD 2010, Barcelona, Catalonia, Spain). As its two predecessors, its main theme was ensembles of supervised and unsupervised algorithms {u2013} advanced machine learning and data mining technique. Unlike a single classification or clustering algorithm, an ensemble is a group of algorithms, each of which first independently solves the task at hand by assigning a class or cluster label (voting) to instances in a dataset and after that all votes are combined together to produce the final class or cluster membership. As a result, ensembles often outperform best single algorithms in many real-world problems. ¡ This book consists of 14 chapters, each of which can be read independently of the others. In addition to two previous SUEMA editions, also published by Springer, many chapters in the current book include pseudo code and/or programming code of the algorithms described in them. This was done in order to facilitate ensemble adoption in practice and to help to both researchers and engineers developing ensemble applications.
- Published
- 2011
23. VLSI for artificial intelligence and neural networks.
- Author
-
Delgado-Frias, José G. and Moore, Will R.
- Subjects
Artificial intelligence ,System designNeural networks (Computer science) ,VLSI - Abstract
Summary: This book is an edited selection of the papers presented at the International Workshop on VLSI for Artifidal Intelligence and Neural Networks which was held at the University of Oxford in September 1990. Our thanks go to all the contributors and especially to the programme committee for all their hard work. Thanks are also due to the ACM-SIGARCH, the IEEE Computer Society, and the lEE for publicizing the event and to the University of Oxford and SUNY-Binghamton for their active support. We are particularly grateful to Anna Morris, Maureen Doherty and Laura Duffy for coping with the administrative problems. Jose Delgado-Frias Will Moore April 1991 vii PROLOGUE Artificial intelligence and neural network algorithms/computing have increased in complexity as well as in the number of applications. This in tum has posed a tremendous need for a larger computational power than can be provided by conventional scalar processors which are oriented towards numeric and data manipulations. Due to the artificial intelligence requirements (symbolic manipulation, knowledge representation, non-deterministic computations and dynamic resource allocation) and neural network computing approach (non-programming and learning), a different set of constraints and demands are imposed on the computer architectures for these applications.
24. Software engineering, artificial intelligence, networking and parallel/distributed computing.
- Author
-
Lee, Roger
- Subjects
Artificial Intelligence ,Data processing ,Artificial intelligence ,Computational intelligence - Abstract
Summary: This edited book presents the scientific outcomes of the 19th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2018), which was held in Busan, Korea on June 27-29, 2018. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. The book includes research findings on all aspects (theory, applications and tools) of computer and information science and discusses the practical challenges encountered along the way and the solutions adopted to respond to them. The book includes 13 of the conference's most promising papers.
- Published
- 1993
25. Computer Aided Verification
- Author
-
Shoham, Sharon and Vizel, Yakir
- Subjects
architecting ,architecture verification and validation ,artificial intelligence ,computer programming ,computer science ,computer systems ,databases ,distributed computer systems ,embedded systems ,engineering ,formal languages ,formal logic ,linguistics ,mathematics ,model checking ,software architecture ,software design ,software engineering ,software quality ,theoretical computer science ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science - Abstract
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
- Published
- 2022
- Full Text
- View/download PDF
26. Cyber Security
- Author
-
Lu, Wei, Zhang, Yuqing, Wen, Weiping, Yan, Hanbing, and Li, Chao
- Subjects
application service layer ,artificial intelligence ,communication systems ,computer crime ,computer networks ,computer security ,computer systems ,cryptography ,cyber security ,data communication systems ,data security ,databases ,machine learning ,network protocols ,network security ,privacy ,signal processing ,telecommunication networks ,telecommunication systems ,thema EDItEUR::U Computing and Information Technology::UR Computer security ,thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ,thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBL Digital and information technologies: Legal aspects ,thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications::UTN Network security - Abstract
This open access book constitutes the refereed proceedings of the 18th China Annual Conference on Cyber Security, CNCERT 2022, held in Beijing, China, in August 2022. The 17 papers presented were carefully reviewed and selected from 64 submissions. The papers are organized according to the following topical sections: data security; anomaly detection; cryptocurrency; information security; vulnerabilities; mobile internet; threat intelligence; text recognition.
- Published
- 2022
- Full Text
- View/download PDF
27. Agile Processes in Software Engineering and Extreme Programming
- Author
-
Stray, Viktoria, Stol, Klaas-Jan, Paasivaara, Maria, and Kruchten, Philippe
- Subjects
agile software development ,software creation and management ,Scrum ,lean software development ,process management ,test-driven development ,project and people management ,software development techniques ,risk management ,empirical software engineering ,software measurement ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZM Information architecture - Abstract
This open access book constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Agile in the Era of Hybrid Work”. The 13 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 40 submissions. They were organized in topical sections named: agile practices; agile processes; and agile in the large.
- Published
- 2022
- Full Text
- View/download PDF
28. Automated Reasoning
- Author
-
Blanchette, Jasmin, Kovács, Laura, and Pattinson, Dirk
- Subjects
artificial intelligence ,automata theory ,computer hardware ,computer networks ,computer programming ,computer systems ,embedded systems ,formal languages ,formal logic ,logic programming ,network protocols ,semantics ,software architecture ,software design ,software engineering ,theoretical computer science ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development - Abstract
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book.
- Published
- 2022
- Full Text
- View/download PDF
29. Doing Online Relearning through Information Skills (DORIS): A mutual shaping perspective for information literacy research and practice
- Author
-
Machin-Mastromatteo, Juan-Daniel and Virkus, Sirje
- Subjects
C. Users, literacy and reading. - Abstract
This paper is part of a doctoral research study about the integration of social media in a learning experience and the roles that information literacy, digital literacy, and new literacies may play in such integration. A pilot study was conducted and the final empirical study took place in April 2013. The methodological approach used is participatory action research (PAR) and following its logic as well as the results of the pilot study, the research and methodological framework labeled as ‘Doing Online Relearning through Information Skills’ (DORIS) was developed. This framework comprises a series of learning interventions, activities, and assignments. This paper provides early data analysis focusing on: a) its particular epistemological assumptions and supporting theories, b) the overall mutual shaping perspective assumed, and c) some of the possible contributions such study can offer to information literacy research and practice.
- Published
- 2013
30. Tools and Algorithms for the Construction and Analysis of Systems
- Author
-
Groote, Jan Friso and Larsen, Kim Guldstrand
- Subjects
Theory of Computation ,Computer Systems Organization and Communication Networks ,Control Structures and Microprogramming ,Software Engineering ,Computer Engineering and Networks ,architecture verification and validation ,automata theory ,computer systems ,distributed computer systems ,embedded systems ,formal logic ,mathematics ,model checking ,model-checking ,parallel processing systems ,SAT and SMT solving ,software architecture ,static and dynamic program analysis ,theorem-proving ,verification and validation ,Computer science ,Mathematical theory of computation ,Computer networking & communications ,Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering - Abstract
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
- Published
- 2021
- Full Text
- View/download PDF
31. Paul Lorenzen -- Mathematician and Logician
- Author
-
Heinzmann, Gerhard and Wolters, Gereon
- Subjects
Lorenzen on Constructive Mathematics ,Application to Constructive Measure Theory ,Lorenzeṇ’s Work on Lattice-groups and Divisibility Theory ,Krull’s Fundamentalsatz for Integral Domains ,Modern Set Theory and Lorenzen’s Critique of Actual Infinity ,Grundlagenforschung ,Lorenzen’s Consistency Proof and Hilbert’s Larger Programme ,Lorenzen's Dialogue Game ,Game Semantics for Substructural Logics ,Constructive Examination of a Russell-style Ramified Type Theory ,Operative Justification of Logic and Mathematics ,Lorenzen on Proof-theoretic Semantics ,Lorenzen on Databank Management ,Lorenzen on Stochastics ,Russell-style Ramified Type Theory ,Lorenzen and Erlangen School of Methodical Constructivism ,bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBB Philosophy of mathematics ,bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBX History of mathematics ,bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBC Mathematical foundations - Abstract
This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioners can implement Lorenzen’s systematical ideas in today’s debates on proof-theoretic semantics, databank management, and stochastics. Coverage details key contributions of Lorenzen to constructive mathematics, Lorenzen’s work on lattice-groups and divisibility theory, and modern set theory and Lorenzen’s critique of actual infinity. The contributors also look at the main problem of Grundlagenforschung and Lorenzen’s consistency proof and Hilbert’s larger program. In addition, the papers offer a constructive examination of a Russell-style Ramified Type Theory and a way out of the circularity puzzle within the operative justification of logic and mathematics. Paul Lorenzen's name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. This volume features 10 papers from a meeting that took place at the University of Konstanz.
- Published
- 2021
- Full Text
- View/download PDF
32. Smart Technologies for Precision Assembly
- Author
-
Ratchev, Svetan
- Subjects
Computer Applications ,Special Purpose and Application-Based Systems ,User Interfaces and Human Computer Interaction ,Robotics ,Computer and Information Systems Applications ,open access ,artificial intelligence ,computer vision ,hci ,human engineering ,human-computer interaction ,image processing ,manipulators ,mobile robots ,motion planning ,network protocols ,robots ,sensors ,signal processing ,software engineering ,telecommunication networks ,user interfaces ,Information technology: general issues ,Expert systems / knowledge-based systems ,User interface design & usability ,bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction - Abstract
This open access book constitutes the refereed post-conference proceedings of the 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, held virtually in December 2020. The 16 revised full papers and 10 revised short papers presented together with 1 keynote paper were carefully reviewed and selected from numerous submissions. The papers address topics such as assembly design and planning; assembly operations; assembly cells and systems; human centred assembly; and assistance methods in assembly.
- Published
- 2021
- Full Text
- View/download PDF
33. Computer Aided Verification
- Author
-
Silva, Alexandra and Leino, K. Rustan M.
- Subjects
architecture verification ,artificial intelligence ,computer programming ,distributed computer systems ,distributed systems ,embedded systems ,formal logic ,formal methods ,formal verifications ,model checker ,model checking ,signal processing ,software architecture ,software design ,software engineering ,software quality ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYM Computer modelling & simulation - Abstract
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
- Published
- 2021
- Full Text
- View/download PDF
34. Brain-Inspired Computing
- Author
-
Amunts, Katrin, Grandinetti, Lucio, Lippert, Thomas, and Petkov, Nicolai
- Subjects
artificial intelligence ,communication systems ,computer hardware ,computer networks ,computer programming ,computer systems ,computer vision ,deep learning ,distributed computer systems ,image analysis ,image processing ,machine learning ,network protocols ,neural networks ,signal processing ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZG User interface design & usability ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications - Abstract
This open access book constitutes revised selected papers from the 4th International Workshop on Brain-Inspired Computing, BrainComp 2019, held in Cetraro, Italy, in July 2019. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They deal with research on brain atlasing, multi-scale models and simulation, HPC and data infra-structures for neuroscience as well as artificial and natural neural architectures.
- Published
- 2021
- Full Text
- View/download PDF
35. Fundamental Approaches to Software Engineering
- Author
-
Wehrheim, Heike and Cabot, Jordi
- Subjects
Software Engineering ,Special Purpose and Application-Based Systems ,Control Structures and Microprogramming ,Computer System Implementation ,Information Systems and Communication Service ,Artificial Intelligence ,open access ,software engineering ,requirements engineering ,model-based design ,software analysis ,testing ,software architectures ,security ,model transformations ,software evolution ,software product lines ,architecting ,artificial intelligence ,computer programming ,computer systems ,embedded systems ,mathematics ,software architecture ,software design ,Expert systems / knowledge-based systems ,Algorithms & data structures ,Systems analysis & design ,Computer networking & communications ,Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence - Abstract
This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.
- Published
- 2020
- Full Text
- View/download PDF
36. Computer Aided Verification
- Author
-
Lahiri, Shuvendu K. and Wang, Chao
- Subjects
Software Engineering ,Theory of Computation ,Computer Systems Organization and Communication Networks ,Artificial Intelligence ,Information Systems and Communication Service ,Computer Hardware ,Computer Engineering and Networks ,Database Management System ,architecture verification and validation ,artificial intelligence ,computer hardware ,computer networks ,computer programming ,computer systems ,data security ,distributed computer systems ,embedded systems ,formal logic ,linguistics ,model checking ,network protocols ,parallel processing systems ,signal processing ,software architecture ,software design ,software quality ,verification and validation ,Open Access ,Computer science ,Mathematical theory of computation ,Computer networking & communications ,Artificial intelligence ,Computer hardware ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UK Computer hardware - Abstract
The 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.
- Published
- 2020
- Full Text
- View/download PDF
37. Agile Processes in Software Engineering and Extreme Programming – Workshops
- Author
-
Paasivaara, Maria and Kruchten, Philippe
- Subjects
Management of Computing and Information Systems ,IT in Business ,Software Engineering ,IT Operations ,XP ,Agile software development ,Extreme programming ,Lean development ,Software measurement ,open access ,Software maintenance ,Software testing ,Empirical software engineering ,Software management ,Software development techniques ,Business agility ,Information architecture ,Maintenance & repairs ,Business mathematics & systems ,Business applications ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZM Information architecture ,bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems - Abstract
This open access book constitutes the 6 research workshops, the Agile Education and Training Track, the Doctoral Symposium, as well as a panel presented at XP 2020, the 21st International Conference on Agile Software Development, which was held during June 8-12, 2020. The conference was planned to take place at the IT University of Copenhagen, Denmark. Due to the COVID 19 pandemic, the conference was held online. In 2020, the following six workshops took place: Third International Workshop on Software-Intensive Business Eighth International Workshop on Large-Scale Agile Development Second European Symposium on Serverless Computing and Applications Second International Workshop on Agile Transformation First International Workshop on Agility with Microservices Programming Third International Workshop on Autonomous Agile Teams XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. The 31 papers presented in this volume were carefully reviewed and selected from overall 79 submissions. In addition to the 26 workshop papers, this volume also includes 2 papers from the Agile Education and Training Track and 3 papers from the Doctoral Symposium. Furthermore, the book contains a summary of a panel discussion with the topic “Covid-19’s Influence on the Future of Agile”.
- Published
- 2020
- Full Text
- View/download PDF
38. Foundations of Software Science and Computation Structures
- Author
-
Goubault-Larrecq, Jean and König, Barbara
- Subjects
Mathematical Logic and Foundations ,Discrete Mathematics in Computer Science ,Programming Languages, Compilers, Interpreters ,Programming Techniques ,Logic in AI ,Computer Systems Organization and Communication Networks ,categorical models and logics ,language theory, automata, and games ,modal, spatial, and temporal logics ,type theory and proof theory ,concurrency theory and process calculi ,rewriting theory ,semantics of programming languages ,program analysis, correctness, transformation, and verification ,logics of programming ,software specification and refinement ,emerging models of computation ,logical aspects of computational complexity ,models of software security ,logical foundations of data bases ,mathematics ,artificial intellegence ,formal logic ,linguistics ,Mathematical foundations ,Mathematical logic ,Discrete mathematics ,Maths for computer scientists ,Programming & scripting languages: general ,Compilers & interpreters ,Computer programming / software engineering ,Artificial intelligence ,Computer networking & communications ,bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBC Mathematical foundations ,bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBD Discrete mathematics ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications - Abstract
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.
- Published
- 2020
- Full Text
- View/download PDF
39. The Impact of Digital Technologies on Public Health in Developed and Developing Countries
- Author
-
Jmaiel, Mohamed, Mokhtari, Mounir, Abdulrazak, Bessam, Aloulou, Hamdi, and Kallel, Slim
- Subjects
Computer Communication Networks ,Artificial Intelligence ,Information Systems Applications (incl. Internet) ,Special Purpose and Application-Based Systems ,Computer System Implementation ,User Interfaces and Human Computer Interaction ,Computer and Information Systems Applications ,open access ,artificial intelligence ,communication systems ,computer vision ,databases ,hci ,human-computer interaction ,image processing ,Internet of Things ,IoT ,machine learning ,network protocols ,sensors ,signal processing ,software architecture ,software design ,telecommunication networks ,telecommunication systems ,user interfaces ,wireless telecommunication systems ,Network hardware ,Artificial intelligence ,Information retrieval ,Internet searching ,Expert systems / knowledge-based systems ,Systems analysis & design ,User interface design & usability ,bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UN Databases::UNH Information retrieval ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZG User interface design & usability - Abstract
This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic.
- Published
- 2020
- Full Text
- View/download PDF
40. Tools and Algorithms for the Construction and Analysis of Systems
- Author
-
Biere, Armin and Parker, David
- Subjects
Software Engineering/Programming and Operating Systems ,Special Purpose and Application-Based Systems ,Computer System Implementation ,Control Structures and Microprogramming ,Mathematics of Computing ,open access ,specification and verification techniques ,software and hardware verification ,SAT and SMT solving ,theorem proving ,model checking ,static and dynamic program analysis ,testing ,system construction and transformation techniques ,tool environments and tool architectures ,abstraction techniques for modeling and verification ,compositional and refinement-based methodologies ,mathematics ,software engineering ,software design ,architecting ,software architecture ,embedded systems ,automata theory ,linguistics ,Software Engineering ,Operating systems ,Expert systems / knowledge-based systems ,Systems analysis & design ,Algorithms & data structures ,Mathematical theory of computation ,Maths for computer scientists ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation - Abstract
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
- Published
- 2020
- Full Text
- View/download PDF
41. Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018
- Author
-
Sherwin, Spencer J., Moxey, David, Peiró, Joaquim, Vincent, Peter E., and Schwab, Christoph
- Subjects
Partial Differential Equations ,Numerical Analysis ,Analysis ,High-order methods ,Partial differential equations ,Spectral methods ,Isogeometric methods ,Discontinuous Galerkin methods ,Wave simulation ,Uncertainty quantification ,Open access ,Differential calculus & equations ,Numerical analysis ,bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBK Calculus & mathematical analysis::PBKJ Differential calculus & equations ,bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBK Calculus & mathematical analysis::PBKS Numerical analysis - Abstract
This open access book features a selection of high-quality papers from the presentations at the International Conference on Spectral and High-Order Methods 2018, offering an overview of the depth and breadth of the activities within this important research area. The carefully reviewed papers provide a snapshot of the state of the art, while the extensive bibliography helps initiate new research directions.
- Published
- 2020
- Full Text
- View/download PDF
42. Web Searching: A Quality Measurement Perspective
- Author
-
Lewandowski, Dirk, Höchstötter, Nadine, Spink, Amanda, and Zimmer, Michael
- Subjects
LS. Search engines. - Abstract
The purpose of this paper is to describe various quality measures for search engines and to ask whether these are suitable. We especially focus on user needs and their use of web search engines. The paper presents an extensive literature review and a first quality measurement model, as well. Findings include that search engine quality can not be measured by just retrieval effectiveness (the quality of the results), but should also consider index quality, the quality of the search features and search engine usability. For each of these sections, empirical results from studies conducted in the past, as well as from our own research are presented. These results have implications for the evaluation of search engines and for the development of better search systems that give the user the best possible search experience.
- Published
- 2007
43. Towards comprehensive foundations of computational intelligence
- Author
-
Duch, Prof Wlodzislaw, Duch, Prof W, and Mandziuk, Prof J
- Subjects
Computer Science: Language ,Computer Science: Machine Learning ,Computer Science: Artificial Intelligence ,Computer Science: Neural Nets ,Language ,Machine Learning ,Artificial Intelligence ,Neural Nets - Abstract
Although computational intelligence (CI) covers a vast variety of different methods it still lacks an integrative theory. Several proposals for CI foundations are discussed: computing and cognition as compression, meta-learning as search in the space of data models, (dis)similarity based methods providing a framework for such meta-learning, and a more general approach based on chains of transformations. Many useful transformations that extract information from features are discussed. Heterogeneous adaptive systems are presented as particular example of transformation-based systems, and the goal of learning is redefined to facilitate creation of simpler data models. The need to understand data structures leads to techniques for logical and prototype-based rule extraction, and to generation of multiple alternative models, while the need to increase predictive power of adaptive models leads to committees of competent models. Learning from partial observations is a natural extension towards reasoning based on perceptions, and an approach to intuitive solving of such problems is presented. Throughout the paper neurocognitive inspirations are frequently used and are especially important in modeling of the higher cognitive functions. Promising directions such as liquid and laminar computing are identified and many open problems presented.
- Published
- 2007
44. What sort of control system is able to have a personality?
- Author
-
Sloman, Aaron, Trappl, Robert, and Petta, Paolo
- Subjects
Psychology: Clinical Psychology ,Psychology: Cognitive Psychology ,Computer Science: Artificial Intelligence ,Computer Science: Robotics ,Philosophy: Epistemology ,Philosophy: Philosophy of Mind ,Philosophy: Philosophy of Science ,Clinical Psychology ,Cognitive Psychology ,Artificial Intelligence ,Robotics ,Epistemology ,Philosophy of Mind ,Philosophy of Science - Abstract
This paper outlines a design-based methodology for the study of mind as a part of the broad discipline of Artificial Intelligence. Within that framework some architectural requirements for human-like minds are discussed, and some preliminary suggestions made regarding mechanisms underlying motivation, emotions, and personality. A brief description is given of the `Nursemaid' or `Minder' scenario being used at the University of Birmingham as a framework for research on these problems. It may be possible later to combine some of these ideas with work on synthetic agents inhabiting virtual reality environments.
- Published
- 1996
45. Haptics: Science, Technology, Applications
- Author
-
Seifi, Hasti, Kappers, Astrid M. L., Schneider, Oliver, Drewing, Knut, Pacchierotti, Claudio, Abbasimoshaei, Alireza, Huisman, Gijs, and Kern, Thorsten A.
- Subjects
communication systems ,computer networks ,data communication systems ,haptic interfaces ,human engineering ,Human-Computer Interaction (HCI) ,mobile computing ,mobile devices ,network protocols ,rehabilitation systems ,robotics ,signal processing ,telecommunication networks ,telecommunication systems ,user interfaces ,virtual reality ,wireless telecommunication systems ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZG User interface design & usability ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYT Image processing ,bic Book Industry Communication::U Computing & information technology::UN Databases::UNH Information retrieval ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence - Abstract
This open access book constitutes the proceedings of the 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, held in Hamburg, Germany, in May 2022. The 36 regular papers included in this book were carefully reviewed and selected from 129 submissions. They were organized in topical sections as follows: haptic science; haptic technology; and haptic applications.
- Published
- 2022
- Full Text
- View/download PDF
46. Ernst Denert Award for Software Engineering 2020
- Author
-
Felderer, Michael, Hasselbring, Wilhelm, Koziolek, Heiko, Matthes, Florian, Prechelt, Lutz, Reussner, Ralf, Rumpe, Bernhard, and Schaefer, Ina
- Subjects
Software Engineering ,Software Development ,Requirements Engineering ,Software Modeling ,Software Research ,Ernst Denert Award ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZM Information architecture - Abstract
This open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains eleven papers that describe the works by Jonathan Brachthäuser (EPFL Lausanne) entitled What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style, Mojdeh Golagha’s (Fortiss, Munich) thesis How to Effectively Reduce Failure Analysis Time?, Nikolay Harutyunyan’s (FAU Erlangen-Nürnberg) work on Open Source Software Governance, Dominic Henze’s (TU Munich) research about Dynamically Scalable Fog Architectures, Anne Hess’s (Fraunhofer IESE, Kaiserslautern) work on Crossing Disciplinary Borders to Improve Requirements Communication, Istvan Koren’s (RWTH Aachen U) thesis DevOpsUse: A Community-Oriented Methodology for Societal Software Engineering, Yannic Noller’s (NU Singapore) work on Hybrid Differential Software Testing, Dominic Steinhofel’s (TU Darmstadt) thesis entitled Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules, Peter Wägemann’s (FAU Erlangen-Nürnberg) work Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems, Michael von Wenckstern’s (RWTH Aachen U) research on Improving the Model-Based Systems Engineering Process, and Franz Zieris’s (FU Berlin) thesis on Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.
- Published
- 2022
- Full Text
- View/download PDF
47. Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries
- Author
-
Crimi, Alessandro and Bakas, Spyridon
- Subjects
artificial intelligence ,bioinformatics ,computer science ,computer systems ,computer vision ,education ,image analysis ,image processing ,image segmentation ,learning ,machine learning ,medical images ,neural networks ,pattern recognition ,segmentation methods ,software design ,software engineering ,software quality ,validation ,verification and validation ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYT Image processing ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues - Abstract
This two-volume set LNCS 12962 and 12963 constitutes the thoroughly refereed proceedings of the 7th International MICCAI Brainlesion Workshop, BrainLes 2021, as well as the RSNA-ASNR-MICCAI Brain Tumor Segmentation (BraTS) Challenge, the Federated Tumor Segmentation (FeTS) Challenge, the Cross-Modality Domain Adaptation (CrossMoDA) Challenge, and the challenge on Quantification of Uncertainties in Biomedical Image Quantification (QUBIQ). These were held jointly at the 23rd Medical Image Computing for Computer Assisted Intervention Conference, MICCAI 2020, in September 2021. The 91 revised papers presented in these volumes were selected form 151 submissions. Due to COVID-19 pandemic the conference was held virtually. This is an open access book.
- Published
- 2022
- Full Text
- View/download PDF
48. Participatory action research and information literacy: Revising an old new hope for research and practice
- Author
-
Machin-Mastromatteo, Juan-Daniel, Lau, Jesús, and Virkus, Sirje
- Subjects
AC. Relationship of LIS with other fields. ,C. Users, literacy and reading. - Abstract
This paper is a starting of a research which points toward constructing the basis for a research agenda integrating Participatory Action Research (PAR) into Information Literacy (IL) research and practice. In order to achieve this goal: a) we enumerate some pros and cons of using such methodology on IL with the pertinent literature and our own practice as IL researchers; b) we have developed a questionnaire to gather some insights from the research community in this matter; and c) we will start to seek an understanding of the possible contributions that a PAR-IL research agenda can bring to the field. The integration of PAR into IL research and practice is discussed from the three possible methodological stances: quantitative, qualitative, and a mixed methods perspective. Furthermore, we enumerate some of the pros, cons, hesitations and eagerness that researchers might have toward the idea of using PAR.
- Published
- 2013
49. Smart and Sustainable Planning for Cities and Regions
- Author
-
Bisello, Adriano, Vettorato, Daniele, Ludlow, David, and Baranzelli, Claudia
- Subjects
Urban Geography / Urbanism (inc. megacities, cities, towns) ,Environmental Policy ,Sociology, general ,Regional/Spatial Science ,Urban Geography and Urbanism ,Environmental Social Sciences ,Regional and Spatial Economics ,environmental protection ,urban planning ,regional planning ,urban big data ,smart cities ,mobility ,urban ecosystem services ,climate change ,SSPCR ,Open Access ,Urban & municipal planning ,Central / national / federal government policies ,Sociology ,Political economy ,Regional studies ,bic Book Industry Communication::R Earth sciences, geography, environment, planning::RP Regional & area planning::RPC Urban & municipal planning ,bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ,bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ,bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy - Abstract
This open access book offers a selection of research papers and case studies presented at the 3rd international conference “Smart and Sustainable Planning for Cities and Regions”, held in December 2019 in Bolzano, Italy, and explores the concept of smart and sustainable planning, including top contributions from academics, policy makers, consultants and other professionals. Innovation processes such as co-design and co-creation help establish collaborations that engage with stakeholders in a trustworthy and transparent environment while answering the need for new value propositions. The importance of an integrated, holistic approach is widely recognized to break down silos in local government, in particular, when aimed at achieving a better integration of climate-energy planning. Despite the ongoing urbanization and polarization processes, new synergies between urban and rural areas emerge, linking development opportunities to intrinsic cultural, natural and man-made landscape values. The increasing availability of big, real-time urban data and advanced ICT facilitates frequent assessment and continuous monitoring of performances, while allowing fine-tuning as needed. This is valid not only for individual projects but also on a wider scale. In addition, and circling back to the first point, (big) urban data and ICT can be of enormous help in facilitating engagement and co-creation by raising awareness and by providing insight into the local consequences of specific plans. However, this potential is not yet fully exploited in standard processes and procedures, which can therefore lack the agility and flexibility to keep up with the pulse of the city and dynamics of society. The book provides a multi-disciplinary outlook based on experience to orient the reader in the giant galaxy of smart and sustainable planning, support the transposition of research into practice, scale up visionary approaches and design groundbreaking planning policies and tools.
- Published
- 2021
- Full Text
- View/download PDF
50. African Handbook of Climate Change Adaptation
- Author
-
Oguge, Nicholas, Ayal, Desalegn, Adeleke, Lydia, and da Silva, Izael
- Subjects
Climate Change ,Sustainability Management ,Environmental and Sustainability Education ,Sustainable Development ,Environmental Sciences ,Management ,Environmental Social Sciences ,Africa ,Adaptation ,Resilience ,Research ,Projects ,Open Access ,Business & the environment ,‘green’ approaches to business ,Education ,Sustainability ,bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ,bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJJ Business & the environment, ‘Green’ approaches to business ,bic Book Industry Communication::J Society & social sciences::JN Education ,bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability - Abstract
This open access book discusses current thinking and presents the main issues and challenges associated with climate change in Africa. It introduces evidences from studies and projects which show how climate change adaptation is being - and may continue to be successfully implemented in African countries. Thanks to its scope and wide range of themes surrounding climate change, the ambition is that this book will be a lead publication on the topic, which may be regularly updated and hence capture further works. Climate change is a major global challenge. However, some geographical regions are more severly affected than others. One of these regions is the African continent. Due to a combination of unfavourable socio-economic and meteorological conditions, African countries are particularly vulnerable to climate change and its impacts. The recently released IPCC special report "Global Warming of 1.5º C" outlines the fact that keeping global warming by the level of 1.5º C is possible, but also suggested that an increase by 2º C could lead to crises with crops (agriculture fed by rain could drop by 50% in some African countries by 2020) and livestock production, could damage water supplies and pose an additonal threat to coastal areas. The 5th Assessment Report produced by IPCC predicts that wheat may disappear from Africa by 2080, and that maize— a staple—will fall significantly in southern Africa. Also, arid and semi-arid lands are likely to increase by up to 8%, with severe ramifications for livelihoods, poverty eradication and meeting the SDGs. Pursuing appropriate adaptation strategies is thus vital, in order to address the current and future challenges posed by a changing climate. It is against this background that the "African Handbook of Climate Change Adaptation" is being published. It contains papers prepared by scholars, representatives from social movements, practitioners and members of governmental agencies, undertaking research and/or executing climate change projects in Africa, and working with communities across the African continent. Encompassing over 100 contribtions from across Africa, it is the most comprehensive publication on climate change adaptation in Africa ever produced.
- Published
- 2021
- Full Text
- View/download PDF
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.