The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In the present paper, we deal with the methodology of mantissa normalization on the basis of parallel algorithmic structures of modular arithmetic. The use of interval-modular form and basic integral characteristics of modular code is fundamental for construction of floating-point modular computing arithmetic. The proposed method of mantissa normalization in the minimal redundant modular number system...
In the paper we present Satisfiability Modulo Theory based (SMT-based) reachability analysis algorithm for Simply-Timed Systems (i.e., Kripke structures where each transition holds a duration, which is an arbitrary natural number) generated by simply-timed automata. The algorithm is based on a SMT-based encoding for Simply-Timed Systems. We have tested the algorithm in question by using the generic...
We define an SAT-based bounded model checking (BMC) method for RTECTLK (the existential fragment of the real-time computation tree logic with knowledge) that is interpreted over timed models generated by timed interpreted systems. Specifically, we translate the model checking problem for RTECTLK to the model checking problem for a variant of branching temporal logic (called EyCTLK) interpreted over...
We introduce the notion of sparingly glued tolerances for lattices and then count their numbers in case of finite chains. We also estimate the density of sparingly glued tolerances among all glued tolerances on finite chains.
The idea of an angle has several meanings at school mathematics. We propose the survey of different understandings of this notion with respect to the age of pupils, the level of school. We discuss the difficulties in defining and understanding of the notion of an angle. Of course, we discuss the topic with respect to Polish programmes of school mathematics.
We consider the class of rational functions defined by the formula F(x, y) = φˉ¹(φ(x)φ(y)), where φ is a homographic function and we describe associative functions of the above form.
Vectors have several meanings in the science. Mathematicians, physicists and other scientists make use of the notion of a vector. The notions they make use of are different in different subjects. Here we present different meanings of vectors and give some hints how to understand them in different subjects of science.
In this article we want to present some simple method of doing time calculations which is not often used by teachers and show that the discussed way does not have to be difficult for students and is based on strict mathematical rules.
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.