scholarly journals Preface

2015 ◽  
Vol 27 (4) ◽  
pp. 459-459
Author(s):  
ACHIM JUNG ◽  
GUO-QIANG ZHANG
Keyword(s):  
Lattice Theory ◽  
Process Algebra ◽  
Metric Spaces ◽  
Domain Theory ◽  
Conference Series ◽  
The Third ◽  
Language Semantics ◽  
And Mathematics ◽  
October 17 ◽  
Partial Logics

The International Symposium on Domain Theory (ISDT) is a conference series intended to be a forum for researchers in domain theory and its applications. Topics include topological and logical aspects of domains; categories of domains and powerdomains; continuous posets and their representations; partial orders, lattice theory and metric spaces; types, process algebra and concurrency; non-classical and partial logics; programming language semantics; applications in computer science and mathematics. This conference series was founded by Yingming Liu, Yixiang Chen, Klaus Keimel, and Guo-Qiang Zhang. All ISDT events have taken place in China. The first ISDT was held in Shanghai, October 17–24, 1999; the second ISDT was held in Chengdu, October 22–26, 2001; the third ISDT occurred in Xi'an, China, May 10–14, 2004; the fourth ISDT was held in Changsha, June 2–6, 2006; and the fifth ISDT took place in Shanghai, September 11–14, 2009.

scholarly journals Improved Performance of Asymptotically Optimal Rapidly Exploring Random Trees

2018 ◽  
Vol 141 (1) ◽  
Author(s):  
Beth Boardman ◽  
Troy Harden ◽  
Sonia Martínez
Keyword(s):  
Degrees Of Freedom ◽  
Metric Spaces ◽  
Dynamic Environments ◽  
Random Trees ◽  
Asymptotically Optimal ◽  
Euclidean Metric ◽  
The Third ◽  
Dubins Vehicle ◽  
Improved Performance ◽  
Dubins Vehicles

Three algorithms that improve the performance of the asymptotically optimal Rapidly exploring Random Tree (RRT*) are presented in this paper. First, we introduce the Goal Tree (GT) algorithm for motion planning in dynamic environments where unexpected obstacles appear sporadically. The GT reuses the previous RRT* by pruning the affected area and then extending the tree by drawing samples from a shadow set. The shadow is the subset of the free configuration space containing all configurations that have geodesics ending at the goal and are in conflict with the new obstacle. Smaller, well defined, sampling regions are considered for Euclidean metric spaces and Dubins' vehicles. Next, the Focused-Refinement (FR) algorithm, which samples with some probability around the first path found by an RRT*, is defined. The third improvement is the Grandparent-Connection (GP) algorithm, which attempts to connect an added vertex directly to its grandparent vertex instead of parent. The GT and GP algorithms are both proven to be asymptotically optimal. Finally, the three algorithms are simulated and compared for a Euclidean metric robot, a Dubins' vehicle, and a seven degrees-of-freedom manipulator.

scholarly journals Out of school opportunities for science and mathematics learning: Environment as the third educator

2018 ◽  
Vol 6 (2) ◽  
Author(s):  
Valeria M. Cabello ◽  
Vesna Ferk Savec
Keyword(s):  
Mathematics Learning ◽  
Special Topic ◽  
The Third ◽  
Educational Spaces ◽  
School Learning ◽  
And Mathematics ◽  
Conclusion Section ◽  
Selection Of ◽  
Out Of School

Out-of-school environments offer a unique opportunity for experiental learning which transcends the role of educational resources and teachers. This article introduces the special topic of out-of-school learning in science and mathematics education. First, we present the theoretical underpinnings from the movement towards crossing the boundaries of school in educational practices and broadening educational spaces. We continue with the key facets of out-of-school learning through a constructivist approach, aided by the concept of mediation environments as the third educator from a socio-material perspective. Furthermore, we focus our discussion on a selection of articles from this special number as an international overview on out-of-school learning. In the conclusion section, we discuss the gaps that the following works fill, as well as new questions that arise in the area. The closing remarks highlight the promotion of active learning in students, considering the role of the environment as the third educator. 

Coping Better with the Project´s Unknown Unknowns

2020 ◽  
pp. 1419-1440
Author(s):  
Yvonne-Gabriele Schoper ◽  
Fritz Böhle ◽  
Eckhard Heidling
Keyword(s):  
Project Management ◽  
Modern Philosophy ◽  
Practical Wisdom ◽  
Technical Skills ◽  
Natural Sciences ◽  
Know How ◽  
The Third ◽  
Stable Conditions ◽  
Influencing Parameters ◽  
And Mathematics

It is the goal of management to overcome and delete uncertainty. Uncertainty is seen as an obstacle and threat for successful management. However projects are full of uncertainty. Successful project management therefore aims to overcome and ideally delete uncertainty as far as possible. In project management, uncertainty and risk are often used synonymously. Current project management methodology contains only technics how to manage risk in projects. The assessment of risks is based on the precondition of stable conditions and the idea that the influencing parameters are known, assessable and calculable. Since more than 2,000 years it is the aim of the Western cultures to master the nature by natural sciences and mathematics. In the last three centuries of Modern Philosophy the perspective developed that analytical scientific know how (episteme) and technical skills (techne) can master any kind of complexity and risk. The third traditional Aristotelian competence, the practical wisdom (phronesis) however was perceived as not acknowledgeable.

scholarly journals F-Metric, F-Contraction and Common Fixed-Point Theorems with Applications

Mathematics ◽  
2019 ◽  
Vol 7 (7) ◽  
pp. 586 ◽  
Author(s):  
Awais Asif ◽  
Muhammad Nazam ◽  
Muhammad Arshad ◽  
Sang Og Kim
Keyword(s):  
Fixed Point ◽  
Fixed Points ◽  
Common Fixed Point ◽  
Functional Equations ◽  
Fixed Point Theorems ◽  
Metric Spaces ◽  
The Third ◽  
Set Valued Mappings ◽  
Common Fixed Point Theorems

In this paper, we noticed that the existence of fixed points of F-contractions, in F -metric space, can be ensured without the third condition (F3) imposed on the Wardowski function F : ( 0 , ∞ ) → R . We obtain fixed points as well as common fixed-point results for Reich-type F-contractions for both single and set-valued mappings in F -metric spaces. To show the usability of our results, we present two examples. Also, an application to functional equations is presented. The application shows the role of fixed-point theorems in dynamic programming, which is widely used in computer programming and optimization. Our results extend and generalize the previous results in the existing literature.

Zen, Mathematics, and Rāmānujan: Uncommon Links

2016 ◽  
Vol 4 (1) ◽  
pp. 25-47
Author(s):  
Masato Mitsuda
Keyword(s):  
Scientific Revolution ◽  
Technological Progress ◽  
18Th Century ◽  
Philosophy Of Mathematics ◽  
Zen Buddhism ◽  
Fundamental Difference ◽  
The Third ◽  
Late 18Th Century ◽  
And Mathematics ◽  
Celestial Sphere

For centuries, religion has been the main impulse for moral and humanistic advancement, and ever since the rise of the Scientific Revolution (from 1543, the year Copernicus published De revolutioni bus orbium coelestium [On the revolution of the celestial sphere] – to the late 18th century), mathematics has been the cardinal element for scientific and technological progress. Mathematics requires a logical mind, but religion demands a receptive and compassionate mind. Even though there is a fundamental difference between the two subjects, the aim of this essay is to explore the relationships between Zen, mathematics, and Rāmānujan. The first section expounds on Bodhidharma’s and Hui neng’s notions of “no mind” and the “essence of mind,” as they are deemed an important bridge between Zen and mathematics. The second section presents how mathematics and Zen Buddhism relate to each other. Accordingly, the views on intuition, imagination, freedom, and language based on Einstein, Cantor, Brouwer, Poincare, et al. are discussed. The third section discusses the work of the most renowned mathematician in modern India in relation to Zen Buddhism. Rāmānujan’s unparalleled accomplishment in the field of number theory is well known among mathematicians. However, he is not well presented in the philosophy of mathematics, because of his unusual approach to mathematics.

scholarly journals Compactness in Metric Spaces

2016 ◽  
Vol 24 (3) ◽  
pp. 167-172
Author(s):  
Kazuhisa Nakasho ◽  
Keiko Narita ◽  
Yasunari Shidama
Keyword(s):  
Real Line ◽  
Metric Spaces ◽  
Topological Properties ◽  
The Real ◽  
The Third ◽  
Norm Space ◽  
Number Sequences ◽  
Sequential Compactness ◽  
Countable Compactness ◽  
Definition Of

Summary In this article, we mainly formalize in Mizar [2] the equivalence among a few compactness definitions of metric spaces, norm spaces, and the real line. In the first section, we formalized general topological properties of metric spaces. We discussed openness and closedness of subsets in metric spaces in terms of convergence of element sequences. In the second section, we firstly formalize the definition of sequentially compact, and then discuss the equivalence of compactness, countable compactness, sequential compactness, and totally boundedness with completeness in metric spaces. In the third section, we discuss compactness in norm spaces. We formalize the equivalence of compactness and sequential compactness in norm space. In the fourth section, we formalize topological properties of the real line in terms of convergence of real number sequences. In the last section, we formalize the equivalence of compactness and sequential compactness in the real line. These formalizations are based on [20], [5], [17], [14], and [4].

scholarly journals Writer-kolymchanin Georgiy Demidov and Kharkiv

2019 ◽  
Keyword(s):  
Electric Power ◽  
Graduate School ◽  
Power Transmission ◽  
Associate Professor ◽  
The Third ◽  
Research Fellow ◽  
Senior Research Fellow ◽  
Senior Research ◽  
State Archives ◽  
And Mathematics

The article describes the Kharkov period of the life of the repressed physicist and writer Georgiy Demidov on the basis of documentary materials. The Kharkov realities reflected in his works are shown. G. G. Demidov (1908–1987) lived in Kharkov from 1928 to 1938. Information about the writer regarding his stay in Kharkov and given in accessible sources is scarce and inaccurate. Acquaintance with archival materials about Georgy Demidov (the writer's archive transferred by his daughter to the Kharkiv State Scientific Library named after V. G. Korolenko; materials from the archive of the Kharkov Electrotechnical Institute, preserved in the State Archives of the Kharkov Region and the archives of the National Technical University “KhPI”) made it possible to clarify and expand information about his studies and work in Kharkov. In the years 1928–1931 Demidov studied at the Kharkov Institute of Public Education, the Kharkov Institute of Physics, Chemistry and Mathematics (the universities into which Kharkov University was consistently transformed; faculties of natural sciences entered the FChMI). A talented student was appreciated by L. Landau. Demidov continued his education at the Leningrad Polytechnic Institute and, having graduated from it in 1932, returned to Kharkov. He became a research fellow at the Kharkov Electrotechnical Institute (now – the electrotechnical faculty of NTU "KhPI"). From 1933 to 1936 studied in graduate school at the Department of Electric Power Transmission HETI. After defending his dissertation in 1936, he worked as a senior research fellow at a vacuum laboratory organized at the Department of Electric Power Transmission, and received the title of Associate Professor. In February 1938 he was arrested, received a term, and spent six months in the NKVD dungeons in Kharkov before being sent to Kolyma. The realities of Kharkov were reflected mainly in Demidov’s novel “Orange Lampshade”, as well as in the stories “Decembrist” and “Fonet Kvass”. The third autobiographical novel written in the draft manuscript is also written on Kharkov material.

The Macneille Completion of a Uniquely Complemented Lattice

1994 ◽  
Vol 37 (2) ◽  
pp. 222-227 ◽  
Author(s):  
John Harding
Keyword(s):  
Lattice Theory ◽  
Macneille Completion ◽  
The Third ◽  
Uniquely Complemented ◽  
Complemented Lattice

AbstractProblem 36 of the third edition of Birkhoff's Lattice theory [2] asks whether the MacNeille completion of uniquely complemented lattice is necessarily uniquely complemented. We show that the MacNeille completion of a uniquely complemented lattice need not be complemented.

Coping Better With the Project's Unknown Unknowns

2018 ◽  
pp. 1739-1760
Author(s):  
Yvonne-Gabriele Schoper ◽  
Fritz Böhle ◽  
Eckhard Heidling
Keyword(s):  
Project Management ◽  
Modern Philosophy ◽  
Practical Wisdom ◽  
Technical Skills ◽  
Natural Sciences ◽  
Know How ◽  
The Third ◽  
Stable Conditions ◽  
Influencing Parameters ◽  
And Mathematics

It is the goal of management to overcome and delete uncertainty. Uncertainty is seen as an obstacle and threat for successful management. However projects are full of uncertainty. Successful project management therefore aims to overcome and ideally delete uncertainty as far as possible. In project management, uncertainty and risk are often used synonymously. Current project management methodology contains only technics how to manage risk in projects. The assessment of risks is based on the precondition of stable conditions and the idea that the influencing parameters are known, assessable and calculable. Since more than 2,000 years it is the aim of the Western cultures to master the nature by natural sciences and mathematics. In the last three centuries of Modern Philosophy the perspective developed that analytical scientific know how (episteme) and technical skills (techne) can master any kind of complexity and risk. The third traditional Aristotelian competence, the practical wisdom (phronesis) however was perceived as not acknowledgeable.

Sign in / Sign up

Export Citation Format

Share Document