Page 11
Page 11
Information and communication technologies in education, research, and industrial applications ; 16th International Conference, ICTERI 2020, Kharkiv, Ukraine, October 6–10, 2020, Revised Selected Papers
This book contains revised and extended versions of the best papers presented at the 16th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2020, held in Kherson, Ukraine, in October 2020. Due to the COVID-19 pandemic the conference was held online. The 8 revised full papers included in this volume were carefully reviewed and selected from 347 initial submissions. The papers are organized in the following topical sections: ICT in education; ICT in research and industry.
Information and communication technologies and real-life learning : New education for the knowledge society
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Informatics in the Future ; Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015
This volume discusses the prospects and evolution of informatics (or computer science), which has become the operating system of our world, and is today seen as the science of the information society. Its artifacts change the world and its methods have an impact on how we think about and perceive the world. Classical computer science is built on the notion of an “abstract” machine, which can be instantiated by software to any concrete problem-solving machine, changing its behavior in response to external and internal states, allowing for self-reflective and “intelligent” behavior. However, current phenomena such as the Web, cyber physical systems or the Internet of Things show us that we might already have gone beyond this idea, exemplifying a metamorphosis from a stand-alone calculator to the global operating system of our society.
Inference Control in Statistical Databases : From Theory to Practice
Inference control in statistical databases, also known as statistical disclosure limitation or statistical confidentiality, is about finding tradeoffs to the tension between the increasing societal need for accurate statistical data and the legal and ethical obligation to protect privacy of individuals and enterprises which are the source of data for producing statistics. Techniques used by intruders to make inferences compromising privacy increasingly draw on data mining, record linkage, knowledge discovery, and data analysis and thus statistical inference control becomes an integral part of computer science. This coherent state-of-the-art survey presents some of the most recent work in the field. The papers presented together with an introduction are organized in topical sections on tabular data protection, microdata protection, and software and user case studies.
Industrial Robots Programming : Building Applications for the Factories of the Future
Industrial Robots Programming focuses on designing and building robotic manufacturing cells, and explores the capabilities of today’s industrial equipment as well as the latest computer and software technologies. Special attention is given to the input devices and systems that create efficient human-machine interfaces, and how they help non-technical personnel perform necessary programming, control, and supervision tasks.
Industrial applications of semantic web ; Proceedings of the 1st International IFIP/WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25-27, 2005 Jyvaskyla, Finland
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Inductive logic programming ; 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
The 18th International Conference on Inductive Logic Programming was held in Prague, September 10–12, 2008. ILP returned to Prague after 11 years, and it is tempting to look at how the topics of interest have evolved during that time. The ILP community clearly continues to cherish its beloved ?rst-order logic representation framework. This is legitimate, as the work presented at ILP 2008 demonstrated that there is still room for both extending established ILP approaches (such as inverse entailment) and exploring novel logic induction frameworks (such as brave induction). Besides the topics lending ILP research its unique focus.
Inconsistency tolerance
Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field.
Improvements in System Safety ; Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008
Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2008.The Symposium is for engineers, managers and academics in the field of safety, across all industry sectors, and so the papers included in this volume offer a wide-ranging coverage of major safety issues as well as a good blend of academic research and industrial experience. They include discussions of some of the most recent developments in the field.
Implementing semantic web services : The SESA framework
Service-oriented computing has become one of the predominant factors in IT research and development efforts over the last few years. In spite of several standardization efforts that advanced from research labs into industrial-strength technologies and tools, there is still much human effort required in the process of finding and executing Web services.
Implementation and application of functional languages ; Vol. 3474 ; 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers
The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ eck, Germany, September 8–10, 2004. It was jointly organized by the Institute of Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Technology and Programming Languages of the University of Lub ¨ eck. IFL 2004 was the sixteenth event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based progr- ming languages. It provides an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily, but not exclusively, to the implementation and application of functional languages. Topics of interest cover a wide range from theoretical - pects over language design and implementation towards applications and tool support.
Illustrated C# 2008
The unique, visual format of Illustrated C# 2008 has been specially created by author and teacher of development methods, Daniel Solis. The concise text, use of tables to clarify language features, frequent figures and diagrams, as well as focused code samples all combine to create a unique approach that will help you understand and get to work with C# fast. It was while teaching numerous seminars on various programming languages that the author realized the immense power that diagrams have in explaining programming language concepts. Most people learn quicker and retain information better when the material is presented in a clean, simple, visual format. To achieve this result in his book, Solis uses concise text and bulleted lists, tables to clarify and summarize language features, as well as his renowned and ubiquitous figures and diagrams.
III European Conference on computational mechanics : Solids, structures and coupled problems in engineering : Book of abstracts
Computational Mechanics in Solid, Structures and Coupled Problems in Engineering is today a mature science with applications to major industrial projects. This book contains the edited version of the Abstracts of Plenary and Keynote Lectures and Papers, and a companion CD-ROM with the full-length papers, presented at the III European Conference on Computational Mechanics: Solids, Structures and Coupled Problems in Engineering (ECCM-2006), The book reflects the state-of-art of Computation Mechanics in Solids, Structures and Coupled Problems in Engineering and it includes contributions by the world most active researchers in this field.
IFRS for Small and Medium-Sized Enterprises : Structuring the Transition Process
In the process of converting to IFRS, a number of practical questions arise concerning the structures of the accounting area department of medium-sized enterprises as well as the issue of effectively updating financial statements once converted, which have thus far not been addressed in the debate. Richard Wittsiepe analyses the relevant IFRS statements with a view to possibly integrating them into existing workflows in an annual audit. He weighs the key issues of conversion by comparing them with the 4th EU Directive for accounting within the EU. The aim is to visualise the workflows as the basis for creating support software which can make a key contribution to cost-effective conversion.
Identification of Continuous-time Models from Sampled Data
Identification of Continuous-time Models from Sampled Data brings together contributions from well-known experts who present an up-to-date view of this active area of research and describe recent methods and software tools developed in this field.
Hybrid Systems : Computation and Control ; 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
Contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22–24,2008.The annual workshop on hybrid systems focuses on research inbedded ,reactive systems in volving theinterplay between symbolic/switchingand continuous dynamical behaviors. HSCC attracts academic as well as industrial researchers to exchange information on the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems. We would like to thank the Program Committee members and the reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions.
Human-computer interaction Symposium ; IFIP 20th World Computer Congress, Proceedings of the 1st TC 13 Human-Computer Interaction Symposium (HCIS 2008), September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured.
Human-Computer Interaction and Cybersecurity Handbook - Human Factors and Ergonomics
Covers all areas of human–computer interaction and human factors in cybersecurity Includes information for IT specialists, who often desire more knowledge about the human side of cybersecurity Provides a reference for other disciplines such as psychology, behavioral science, software engineering, and security management Offers a source of information for cybersecurity practitioners in government agencies and private enterprises Presents new areas such as smart networking and devices
Human-Computer Interaction : Interaction design and usability ; 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. This volume, edited by Julie A. Jacko, contains papers in the thematic area of Human-Computer Interaction, addressing the following major topics: • Interaction Design: Theoretical Issues, Methods, Techniques and Practice • Usability and Evaluation Methods and Tools • Understanding Users and Contexts of Use • Models and Patterns in HCI
Human-computer interaction – INTERACT 2007 ; 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II
This book is part of a two-volume work that constitutes the refereed proceedings of the 11th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2007, held in Rio de Janeiro, Brazil in September 2007. It covers tangible user interfaces and interaction; as well as software engineering and HCI.
