scholarly journals Selected Papers from IIKII 2019 Conferences in Symmetry

Symmetry ◽  
2020 ◽  
Vol 12 (5) ◽  
pp. 684
Author(s):  
Teen-Hang Meen ◽  
Charles Tijus ◽  
Jih-Fu Tu
Keyword(s):  
Computer Science ◽  
Scientific Knowledge ◽  
International Institute ◽  
Special Issue ◽  
Communication Platform ◽  
Knowledge Innovation ◽  
Innovation And Invention ◽  
Theoretical Results

The International Institute of Knowledge Innovation and Invention (IIKII) is an institute that promotes the exchange of innovations and inventions, and establishes a communication platform for international innovations and researches. In 2019, IIKII cooperated with the Institute of Electrical and Electronics Engineers (IEEE) Tainan Section Sensors Council to hold IEEE conferences such as IEEE ICIASE 2019, IEEE ECBIOS 2019, IEEE ICKII 2019, ICUSA-GAME 2019, and IEEE ECICE 2019. This Special Issue entitled “Selected Papers from IIKII 2019 conferences” aims to select excellent papers from IIKII 2019 conferences, including symmetry in physics, chemistry, biology, mathematics, and computer science, etc. It selected 21 excellent papers from 750 papers presented in IIKII 2019 conferences on the topic of symmetry. The main goals of this Special Issue are to encourage scientists to publish their experimental and theoretical results in as much detail as possible, and to discover new scientific knowledge relevant to the topic of symmetry.

scholarly journals Special Issue on Intelligent Electronic Devices

Electronics ◽  
2020 ◽  
Vol 9 (4) ◽  
pp. 645
Author(s):  
Teen-Hang Meen ◽  
Wenbing Zhao ◽  
Cheng-Fu Yang
Keyword(s):  
South Korea ◽  
Scientific Knowledge ◽  
Electronic Devices ◽  
Special Issue ◽  
International Conference ◽  
Knowledge Innovation ◽  
Innovation And Invention ◽  
Intelligent Electronic Devices ◽  
Ieee International Conference ◽  
Theoretical Results

The second IEEE International Conference on Knowledge Innovation and Invention 2019 (IEEE ICKII 2019) was held in Seoul, South Korea, 12–15 July 2019. This special issue “Intelligent Electronic Devices” selects 13 excellent papers form 260 papers presented in IEEE ICKII 2019 conference about the topics of Intelligent Electronic Devices. The main goals of this special issue are to encourage scientists to publish their experimental and theoretical results in as much detail as possible, and to discover new scientific knowledge relevant to the topics of electronics.

scholarly journals Preface

2011 ◽  
Vol 21 (4) ◽  
pp. 671-677 ◽  
Author(s):  
GÉRARD HUET
Keyword(s):  
Mathematical Logic ◽  
Computer Science ◽  
20Th Century ◽  
Theorem Proving ◽  
Propositional Calculus ◽  
Interactive Theorem Proving ◽  
Predicate Calculus ◽  
Special Issue ◽  
Mathematical Structures ◽  
Infinite Domains

This special issue of Mathematical Structures in Computer Science is devoted to the theme of ‘Interactive theorem proving and the formalisation of mathematics’.The formalisation of mathematics started at the turn of the 20th century when mathematical logic emerged from the work of Frege and his contemporaries with the invention of the formal notation for mathematical statements called predicate calculus. This notation allowed the formulation of abstract general statements over possibly infinite domains in a uniform way, and thus went well beyond propositional calculus, which goes back to Aristotle and only allowed tautologies over unquantified statements.

scholarly journals Introduction

2018 ◽  
Vol 27 (4) ◽  
pp. 441-441
Author(s):  
PAUL BALISTER ◽  
BÉLA BOLLOBÁS ◽  
IMRE LEADER ◽  
ROB MORRIS ◽  
OLIVER RIORDAN
Keyword(s):  
Computer Science ◽  
Theoretical Computer Science ◽  
Special Issue ◽  
Open Problems ◽  
Theoretical Computer ◽  
Discrete Probability ◽  
The Common

This special issue is devoted to papers from the meeting on Combinatorics and Probability, held at the Mathematisches Forschungsinstitut in Oberwolfach from the 17th to the 23rd April 2016. The lectures at this meeting focused on the common themes of Combinatorics and Discrete Probability, with many of the problems studied originating in Theoretical Computer Science. The lectures, many of which were given by young participants, stimulated fruitful discussions. The fact that the participants work in different and yet related topics, and the open problems session held during the meeting, encouraged interesting discussions and collaborations.

scholarly journals Introduction to the special issue on computational logic for verification

2018 ◽  
Vol 18 (2) ◽  
pp. 122-125
Author(s):  
GERMÁN VIDAL
Keyword(s):  
Computer Science ◽  
Program Verification ◽  
Computational Logic ◽  
Special Issue

Logic underlies many fundamental techniques in computer science. It helps us to rigorously formalize these techniques and prove them correct. The last decade has witnessed a growing interest in the use of computational logic methods for program verification. It has attracted researchers from both computational logic and program verification communities, giving rise to a fruitful exchange of ideas and experiences.

scholarly journals Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems

2013 ◽  
Vol 23 (4) ◽  
pp. 675-675
Author(s):  
AZER BESTAVROS ◽  
ASSAF KFOURY
Keyword(s):  
Computer Science ◽  
Formal Methods ◽  
Wide Spectrum ◽  
Critical Systems ◽  
Research Groups ◽  
Special Issue ◽  
Mathematical Structures ◽  
Safety Critical ◽  
Safety Critical Systems ◽  
Final Selection

The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection.

Special Issue: Quantum structures in computer science: Language, semantics, retrieval

2018 ◽  
Vol 752 ◽  
pp. 1-4 ◽  
Author(s):  
Diederik Aerts ◽  
Massimo Melucci ◽  
Massimiliano Sassoli de Bianchi ◽  
Sandro Sozzo ◽  
Tomas Veloz
Keyword(s):  
Computer Science ◽  
Quantum Structures ◽  
Special Issue ◽  
Language Semantics

Introduction to special issue on concurrency and coordination: Selected work from the International Workshop ConCoord

2004 ◽  
Vol 14 (3) ◽  
pp. 283-283
Author(s):  
VLADIMIRO SASSONE
Keyword(s):  
Computer Science ◽  
International Workshop ◽  
Wide Area ◽  
Area Network ◽  
Network Programming ◽  
Wide Area Network ◽  
Special Issue ◽  
Mathematical Structures

This Special Issue of Mathematical Structures in Computer Science contains selected papers from ConCoord, the International Workshop on Concurrency and Coordination held in Lipari, Italy, on July 6–8, 2001 and associated to the 13th Lipari School for Computer Science Researchers on the Foundations of Wide Area Network Programming.

H. COLLINS'S PROJECT FOR DEVELOPING A RELATIVISTIC EMPIRICAL PROGRAMME IN SOCIOLOGY OF SCIENCE

2020 ◽  
pp. 40-44
Author(s):  
Nadezhda Nikolina
Keyword(s):  
Scientific Knowledge ◽  
Natural Science ◽  
Sociology Of Science ◽  
Main Idea ◽  
Special Role ◽  
Special Issue ◽  
Modern Natural ◽  
Modern Natural Science ◽  
Experimental Process ◽  
Issue Knowledge

The main idea of the project discussed in the article is that the production of scientific knowledge is not only an experimental process. Convention among scientists is played a special role in the acceptance of theory. To demon-strate this idea, H. Collins and co-authors of the relativistic empirical programme in the sociology of science publish a special issue “Knowledge and Controversy: Studies of Modern Natural Science”. The results obtained by the authors are discussed in this article.

The Role of Creativity, Innovation, and Invention in Knowledge Management

2013 ◽  
pp. 207-232 ◽  
Author(s):  
Sladjana Cabrilo ◽  
Leposava Grubic-Nesic
Keyword(s):  
Knowledge Management ◽  
Everyday Life ◽  
Business Environment ◽  
Innovation Performance ◽  
Social Changes ◽  
Personal Factors ◽  
Knowledge Innovation ◽  
Innovation And Invention ◽  
Creativity And Innovation

Globalization, fast-paced technological, economic, and social changes, and increased competition have affected the current business environment by changing the role of knowledge, innovation, and creativity in work, learning, and everyday life. Although Knowledge Management (KM) is usually explored separately from creativity and innovation, these concepts are closely related and in practice reinforce each other. Linking KM to innovation and creativity management in a holistic fashion has facilitated the examination of the knowledge management impact on innovation performance of organizations. In addition, this practice makes it possible to examine how creativity and invention can be used to increase the efficiency of knowledge management. This chapter focuses on the analysis of the role and importance of creativity, innovation, and invention in knowledge management. In addition, the chapter investigates the role of KM in innovation, and environmental and personal factors, which contribute to creativity, innovation, and invention in KM.

Sign in / Sign up

Export Citation Format

Share Document