Author: Zhengbing Hu
Publisher: Springer Nature
ISBN: 3031361180
Category : Computers
Languages : en
Pages : 1166
Book Description
This book contains high-quality refereed research papers presented at the 6th International Conference on Computer Science, Engineering, and Education Applications (ICCSEEA2023), which took place in Warsaw, Poland, on March 17–19, 2023, and was organized by the National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute”, the National Aviation University, Lviv Polytechnic National University, the Polish Operational and Systems Society, Warsaw University of Technology, and the International Research Association of Modern Education and Computer Science. The book covers a variety of topics, including cutting-edge research in computer science, artificial intelligence, engineering techniques, smart logistics, and knowledge representation with educational applications. The book is an invaluable resource for academics, graduate students, engineers, management professionals, and undergraduate students who are interested in computer science and its applications in engineering and education.
Advances in Computer Science for Engineering and Education VI
Author: Zhengbing Hu
Publisher: Springer Nature
ISBN: 3031361180
Category : Computers
Languages : en
Pages : 1166
Book Description
This book contains high-quality refereed research papers presented at the 6th International Conference on Computer Science, Engineering, and Education Applications (ICCSEEA2023), which took place in Warsaw, Poland, on March 17–19, 2023, and was organized by the National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute”, the National Aviation University, Lviv Polytechnic National University, the Polish Operational and Systems Society, Warsaw University of Technology, and the International Research Association of Modern Education and Computer Science. The book covers a variety of topics, including cutting-edge research in computer science, artificial intelligence, engineering techniques, smart logistics, and knowledge representation with educational applications. The book is an invaluable resource for academics, graduate students, engineers, management professionals, and undergraduate students who are interested in computer science and its applications in engineering and education.
Publisher: Springer Nature
ISBN: 3031361180
Category : Computers
Languages : en
Pages : 1166
Book Description
This book contains high-quality refereed research papers presented at the 6th International Conference on Computer Science, Engineering, and Education Applications (ICCSEEA2023), which took place in Warsaw, Poland, on March 17–19, 2023, and was organized by the National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute”, the National Aviation University, Lviv Polytechnic National University, the Polish Operational and Systems Society, Warsaw University of Technology, and the International Research Association of Modern Education and Computer Science. The book covers a variety of topics, including cutting-edge research in computer science, artificial intelligence, engineering techniques, smart logistics, and knowledge representation with educational applications. The book is an invaluable resource for academics, graduate students, engineers, management professionals, and undergraduate students who are interested in computer science and its applications in engineering and education.
Advances in Computer Science and Engineering
Author: Dehuai Zeng
Publisher: Springer Science & Business Media
ISBN: 3642279481
Category : Technology & Engineering
Languages : en
Pages : 786
Book Description
This book includes the proceedings of the second International Conference on Advances in Computer Science and Engineering (CES 2012), which was held during January 13-14, 2012 in Sanya, China. The papers in these proceedings of CES 2012 focus on the researchers’ advanced works in their fields of Computer Science and Engineering mainly organized in four topics, (1) Software Engineering, (2) Intelligent Computing, (3) Computer Networks, and (4) Artificial Intelligence Software.
Publisher: Springer Science & Business Media
ISBN: 3642279481
Category : Technology & Engineering
Languages : en
Pages : 786
Book Description
This book includes the proceedings of the second International Conference on Advances in Computer Science and Engineering (CES 2012), which was held during January 13-14, 2012 in Sanya, China. The papers in these proceedings of CES 2012 focus on the researchers’ advanced works in their fields of Computer Science and Engineering mainly organized in four topics, (1) Software Engineering, (2) Intelligent Computing, (3) Computer Networks, and (4) Artificial Intelligence Software.
Advances in Computing and Information - ICCI '90
Author: Selim G. Akl
Publisher: Springer Science & Business Media
ISBN: 9783540535041
Category : Coding theory
Languages : en
Pages : 550
Book Description
This volume contains selected and invited papers presented at the International Conference on Computing and Information, ICCI '90, Niagara Falls, Ontario, Canada, May 23-26, 1990. ICCI conferences provide an international forum for presenting new results in research, development and applications in computing and information. Their primary goal is to promote an interchange of ideas and cooperation between practitioners and theorists in the interdisciplinary fields of computing, communication and information theory. The four main topic areas of ICCI '90 are: - Information and coding theory, statistics and probability, - Foundations of computer science, theory of algorithms and programming, - Concurrency, parallelism, communications, networking, computer architecture and VLSI, - Data and software engineering, databases, expert systems, information systems, decision making, and AI methodologies.
Publisher: Springer Science & Business Media
ISBN: 9783540535041
Category : Coding theory
Languages : en
Pages : 550
Book Description
This volume contains selected and invited papers presented at the International Conference on Computing and Information, ICCI '90, Niagara Falls, Ontario, Canada, May 23-26, 1990. ICCI conferences provide an international forum for presenting new results in research, development and applications in computing and information. Their primary goal is to promote an interchange of ideas and cooperation between practitioners and theorists in the interdisciplinary fields of computing, communication and information theory. The four main topic areas of ICCI '90 are: - Information and coding theory, statistics and probability, - Foundations of computer science, theory of algorithms and programming, - Concurrency, parallelism, communications, networking, computer architecture and VLSI, - Data and software engineering, databases, expert systems, information systems, decision making, and AI methodologies.
Advances in Computing and Information - ICCI '91
Author: Frank Dehne
Publisher: Springer Science & Business Media
ISBN: 9783540540298
Category : Computers
Languages : en
Pages : 762
Book Description
This volume contains papers presented at the Third International Conference on Computing and Information, ICCI '91, held at Carleton University in Ottawa, Canada, May 27-29, 1991. The conference was organized by the School of Computer Science at Carleton University, and was sponsored by the Natural Sciences and Engineering Research Council of Canada (NSERC) and Carleton University. ICCI '91 was an international forum for the presentation of original results in research, development, and applications in computing and information processing. The conference was aimed at both practitioners and theoreticians, and was organized into five streams: - Algorithms and complexity, - Databases and information systems, - Parallel processing and systems, - Distributed computing and systems, - Expert systems, artificial intelligence. This volume contains three invited papers, by E.C.R. Hehner, R.L. Probert, and S.J. Smith, and 71 selected papers.
Publisher: Springer Science & Business Media
ISBN: 9783540540298
Category : Computers
Languages : en
Pages : 762
Book Description
This volume contains papers presented at the Third International Conference on Computing and Information, ICCI '91, held at Carleton University in Ottawa, Canada, May 27-29, 1991. The conference was organized by the School of Computer Science at Carleton University, and was sponsored by the Natural Sciences and Engineering Research Council of Canada (NSERC) and Carleton University. ICCI '91 was an international forum for the presentation of original results in research, development, and applications in computing and information processing. The conference was aimed at both practitioners and theoreticians, and was organized into five streams: - Algorithms and complexity, - Databases and information systems, - Parallel processing and systems, - Distributed computing and systems, - Expert systems, artificial intelligence. This volume contains three invited papers, by E.C.R. Hehner, R.L. Probert, and S.J. Smith, and 71 selected papers.
TAPSOFT '91 - Volume 2
Author: Samson Abramsky
Publisher: Springer Science & Business Media
ISBN: 9783540539810
Category : Computer software
Languages : en
Pages : 502
Book Description
"TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches."--PUBLISHER'S WEBSITE.
Publisher: Springer Science & Business Media
ISBN: 9783540539810
Category : Computer software
Languages : en
Pages : 502
Book Description
"TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches."--PUBLISHER'S WEBSITE.
ICDT '90
Author: Serge Abiteboul
Publisher: Springer Science & Business Media
ISBN: 9783540535072
Category : Computers
Languages : en
Pages : 540
Book Description
The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the development of the field. This volume contains the papers selected for the third International Conference on Database Theory, ICDT'90. The conferences in this series are held biannually in beautiful European cities, Rome in 1986 and Bruges in 1988 with proceedings published as volumes 234 and 326 in the same series. ICDT'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique. The conference features 2 invited presentations and 31 papers selected from 129 submissions. The papers describe original ideas and new results on the foundations of databases, knowledge bases, object-oriented databases, relational theory, transaction management, data structures and deductive databases. The volume offers a good overview of the state of the art and the current trends in database theory. It should be a valuable source of information for researchers interested in the field.
Publisher: Springer Science & Business Media
ISBN: 9783540535072
Category : Computers
Languages : en
Pages : 540
Book Description
The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the development of the field. This volume contains the papers selected for the third International Conference on Database Theory, ICDT'90. The conferences in this series are held biannually in beautiful European cities, Rome in 1986 and Bruges in 1988 with proceedings published as volumes 234 and 326 in the same series. ICDT'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique. The conference features 2 invited presentations and 31 papers selected from 129 submissions. The papers describe original ideas and new results on the foundations of databases, knowledge bases, object-oriented databases, relational theory, transaction management, data structures and deductive databases. The volume offers a good overview of the state of the art and the current trends in database theory. It should be a valuable source of information for researchers interested in the field.
ESEC '89
Author: Carlo Ghezzi
Publisher: Springer Science & Business Media
ISBN: 9783540516354
Category : Computers
Languages : en
Pages : 506
Book Description
The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software engineering as represented by the papers at that conference. The material covers both submitted papers and a number of invited papers given at the conference. The topics covered include: metrics and measurement, software process modelling, formal methods including their use in industry, software configuration management, software development environments, and requirements engineering. The book is most likely to be of interest to researchers and professionals working in the field of software development. The primary value of the book is that it gives an up-to-date treatment of its subject material and includes some interesting discussions of the transfer of research ideas into industrial practice.
Publisher: Springer Science & Business Media
ISBN: 9783540516354
Category : Computers
Languages : en
Pages : 506
Book Description
The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software engineering as represented by the papers at that conference. The material covers both submitted papers and a number of invited papers given at the conference. The topics covered include: metrics and measurement, software process modelling, formal methods including their use in industry, software configuration management, software development environments, and requirements engineering. The book is most likely to be of interest to researchers and professionals working in the field of software development. The primary value of the book is that it gives an up-to-date treatment of its subject material and includes some interesting discussions of the transfer of research ideas into industrial practice.
COLOG-88
Author: Per Martin-Löf
Publisher: Springer Science & Business Media
ISBN: 9783540523352
Category : Computers
Languages : en
Pages : 348
Book Description
This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.
Publisher: Springer Science & Business Media
ISBN: 9783540523352
Category : Computers
Languages : en
Pages : 348
Book Description
This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.
Network Optimization in Intelligent Internet of Things Applications
Author: Payal Khurana Batra
Publisher: CRC Press
ISBN: 1040118771
Category : Computers
Languages : en
Pages : 349
Book Description
Network Optimization in Intelligent Internet of Things Applications: Principles and Challenges sheds light on the optimization methods that form the basis of effective communication between networked devices. It is an excellent resource as it provides readers with a thorough understanding of the methods, ideas, and tactics essential to attaining seamless connectivity and improving performance. This book presents the fundamental ideas that govern network optimization, from maximizing throughput and lowering latency to handling a variety of communication protocols and minimizing energy use. It also addresses scalability issues, security flaws, and constantly changing IoT environments along with optimization techniques. This book uses cutting-edge research and real-world examples to give readers the knowledge and skills to address the complex problems associated with network optimization in intelligent IoT applications. It also examines machine learning-driven predictive analytics, robust security protocols, flexible routing algorithms, and the integration of edge computing - all crucial instruments for overcoming obstacles and attaining peak performance. This book provides a comprehensive understanding of the principles, challenges, and cutting-edge solutions in IoT network optimization for all kinds of readers, whether it is students, academicians, researchers, or industry professionals. This book unleashes the potential of networked smart devices, which can be unleashed in various sectors.
Publisher: CRC Press
ISBN: 1040118771
Category : Computers
Languages : en
Pages : 349
Book Description
Network Optimization in Intelligent Internet of Things Applications: Principles and Challenges sheds light on the optimization methods that form the basis of effective communication between networked devices. It is an excellent resource as it provides readers with a thorough understanding of the methods, ideas, and tactics essential to attaining seamless connectivity and improving performance. This book presents the fundamental ideas that govern network optimization, from maximizing throughput and lowering latency to handling a variety of communication protocols and minimizing energy use. It also addresses scalability issues, security flaws, and constantly changing IoT environments along with optimization techniques. This book uses cutting-edge research and real-world examples to give readers the knowledge and skills to address the complex problems associated with network optimization in intelligent IoT applications. It also examines machine learning-driven predictive analytics, robust security protocols, flexible routing algorithms, and the integration of edge computing - all crucial instruments for overcoming obstacles and attaining peak performance. This book provides a comprehensive understanding of the principles, challenges, and cutting-edge solutions in IoT network optimization for all kinds of readers, whether it is students, academicians, researchers, or industry professionals. This book unleashes the potential of networked smart devices, which can be unleashed in various sectors.
Advances in Computer Science for Engineering and Education IV
Author: Zhengbing Hu
Publisher: Springer Nature
ISBN: 3030804720
Category : Technology & Engineering
Languages : en
Pages : 468
Book Description
This book comprises high-quality refereed research papers presented at the Fourth International Conference on Computer Science, Engineering and Education Applications (ICCSEEA2021), held in Kyiv, Ukraine, on January 23–24, 2021, organized jointly by the National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”, National Aviation University, and the International Research Association of Modern Education and Computer Science. The topics discussed in the book include state-of-the-art papers in computer science, artificial intelligence, engineering techniques, genetic coding systems, deep learning with its medical applications, and knowledge representation with its applications in education. It is an excellent source of references for researchers, graduate students, engineers, management practitioners, and undergraduate students interested in computer science and their applications in engineering and education.
Publisher: Springer Nature
ISBN: 3030804720
Category : Technology & Engineering
Languages : en
Pages : 468
Book Description
This book comprises high-quality refereed research papers presented at the Fourth International Conference on Computer Science, Engineering and Education Applications (ICCSEEA2021), held in Kyiv, Ukraine, on January 23–24, 2021, organized jointly by the National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”, National Aviation University, and the International Research Association of Modern Education and Computer Science. The topics discussed in the book include state-of-the-art papers in computer science, artificial intelligence, engineering techniques, genetic coding systems, deep learning with its medical applications, and knowledge representation with its applications in education. It is an excellent source of references for researchers, graduate students, engineers, management practitioners, and undergraduate students interested in computer science and their applications in engineering and education.