scholarly journals Foreword to the Special Issue on the Computational Kinematics Conference, CK2017

Robotica ◽  
2019 ◽  
Vol 37 (7) ◽  
pp. 1159-1160
Author(s):  
Med Amine Laribi ◽  
Giuseppe Carbone
Keyword(s):  
Computer Graphics ◽  
Computer Science ◽  
Wide Field ◽  
Special Issue ◽  
Computational Kinematics

Computational Kinematics is a wide field of science addressing applications ranging from robotics to mechanics, computer science, mathematics and computer graphics.

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

scholarly journals MODELING IN STUDYING COMPUTER GRAPHICS IN THE FUNDAMENTALIZATION OF COMPUTER SCIENCE

2019 ◽  
Vol 16 (32) ◽  
pp. 755-767
Author(s):  
L. B. RAKHIMZHANOVA ◽  
S. N. ISSABAYEVA ◽  
M. A. ZHUMARTOV ◽  
K. T. NAZARBEKOVA ◽  
K. E. TURGANBAY
Keyword(s):  
Computer Graphics ◽  
Computer Science ◽  
Practical Knowledge ◽  
Probabilistic Method ◽  
Evaluation Criteria ◽  
Information Modeling ◽  
Information Models ◽  
Development Levels ◽  
Diagnostic Complex ◽  
Main Components

The aim of the study was to develop an effective method of teaching computer graphics using information models. The authors conducted a pedagogical experiment, which consisted of two stages: ascertaining and teaching. The experiment involved 30 students and teachers in computer science. At the ascertaining stage, the state of students' practical knowledge and skills in computer graphics was analyzed. The authors had the following tasks at the first stage: to develop and describe the components, evaluation criteria and development levels of the motivation for studying computer graphics; design a diagnostic complex aimed at studying the development of the main components of the motivation for studying computer graphics; to identify the features of the development of the main components and levels of motivation for studying computer graphics in traditional learning environments. The teaching stage allowed to check the effectiveness of the task system developed by the authors, as well as the author’s methodology of using information modeling in computer graphics. In order to test the accuracy of experimental learning, the authors used the method of comparing the level of mastering the educational material of students in the control and experimental classes and the probabilistic method. For this purpose, control tests were conducted, the results of which were subjected to qualitative analysis. The results of the pedagogical experiment indicated the effectiveness of the proposed method of using computer information modeling in teaching computer graphics. Also, the authors developed a set of teaching and applied research tasks.

scholarly journals Preface

2021 ◽  
Author(s):  
Attila Kertész
Keyword(s):  
Computer Graphics ◽  
Computer Science ◽  
Program Analysis ◽  
Review Process ◽  
Scientific Journal ◽  
Paper Version ◽  
Healthcare Simulation ◽  
Positive Experiences ◽  
Machine Learning Security ◽  
The University

The 12th Conference of PhD Students in Computer Science (CSCS) was organized by the Institute of Informatics of the University of Szeged (SZTE) and held in Szeged, Hungary, between June 24–26, 2020. The members of the Scientific Committee were the following representatives of the Hungarian doctoral schools in Computer Science: János Csirik (Co-Chair, SZTE), Lajos Rónyai (Co-Chair, SZTAKI, BME), Péter Baranyi (SZE), András Benczúr (ELTE), András Benczúr (SZTAKI), Hassan Charaf (BME), Tibor Csendes (SZTE), László Cser (BCE), Erzsébet Csuhaj-Varjú (ELTE), József Dombi (SZTE), István Fazekas (DE), Zoltán Fülöp (SZTE), Aurél Galántai (OE), Zoltán Gingl (SZTE), Tibor Gyimóthy (SZTE), Katalin Hangos (PE), Zoltán Horváth (ELTE), Márk Jelasity (SZTE), Zoltán Kása (Sapientia EMTE), László Kóczy (SZE), János Levendovszki (BME), Gyöngyvér Márton (Sapientia EMTE), Branko Milosavljevic (UNS), Valerie Novitzka (TUKE), László Nyúl (SZTE), Marius Otesteanu (UPT), Attila Pethő (DE), Vlado Stankovski (UNILJ), Tamás Szirányi (SZTAKI), Péter Szolgay (PPKE), János Sztrik (DE), János Tapolcai (BME), János Végh (ME), and Daniela Zaharie (UVT). The members of the Organizing Committee were: Attila Kertész, Balázs Bánhelyi, Tamás Gergely, Judit Jász, and Zoltán Kincses. There were more than 50 participants and 43 talks in several fields of computer science and its applications (11 sessions). The talks were going in sections in Graphs, Machine Learning, Security, Program Analysis, Healthcare, Simulation, Privacy, Computer Graphics I., Bugs, Computer Graphics II., and Distributed systems. The talks of the students were completed by 2 plenary talks of leading scientists: Tibor Gyimóthy (University of Szeged, Hungary), and Gábor Tardos (Alfréd Rényi Institute of Mathematics, Hungary). The open-access scientific journal Acta Cybernetica offered PhD students to publish the paper version of their presentations after a careful selection and review process. Altogether 29 manuscripts were submitted for review, out of which 22 were accepted for publication in the present special issue of Acta Cybernetica. The full program of the conference, the collection of the abstracts and furtherinformation can be found at https://www.inf.u-szeged.hu/~cscs/. On the basis of our repeated positive experiences, the conference will be organized in the future, too. According to the present plans, the next meeting will be held around the end of June 2022 in Szeged.

Sign in / Sign up

Export Citation Format

Share Document