We formulate a reverse-mode automatic differentiation (RAD) algorithm for (applied) simply typed lambda calculus in the style of Pearlmutter and Siskind [27], using the graphical formalism of string diagrams. Thanks t...
详细信息
The idea of inverse fuzzy mixed graph (IFMG) was firstly introduced by Poulik and Ghorai (Granul Comput 7:549–559, 2021) in 2021 generalizing the idea of fuzzy mixed graphs. Here the idea of planarity is introduced i...
详细信息
We introduce a generalization of the spreadsheet paradigm, called Knowledgesheet, for solving a class of constraint satisfaction problems. The traditional spreadsheet paradigm is based on attaching arithmetic expressi...
详细信息
The parallel robots dynamics requires a great deal of computing as regards the formulation of the generally nonlinear equations of motion and their solution. In this paper different solutions for solving the dynamical...
详细信息
ISBN:
(纸本)3901249850
The parallel robots dynamics requires a great deal of computing as regards the formulation of the generally nonlinear equations of motion and their solution. In this paper different solutions for solving the dynamical model for the guided in three points parallel robots are presented. The derived dynamical algorithms offer the possibility of a complex dynamic study for these parallel robots in order to evaluate their dynamic capabilities and to generate the control algorithms.
In this paper a complete equivalent electric circuit for a planar shear piezoelectric accelerometer is presented. Starting from the KLM (Krimholtz-Leedom-Matthaei) approach for a single piezoceramic plate sandwiched b...
详细信息
A case study on the simulation of a local area network (LAN) that has been used at Vrije Universiteit Brissel (VUB) and the University of Bern to illustrate evolution of object-oriented programs, is reported. The stud...
详细信息
A case study on the simulation of a local area network (LAN) that has been used at Vrije Universiteit Brissel (VUB) and the University of Bern to illustrate evolution of object-oriented programs, is reported. The study is intended to illustrate modeling support for software evolution. The case consists of an initial version of the simulation program and a series of changes in the specification that require it to evolve. The evolution of the program corresponds to a series of four consecutive requirements at the level of the LAN, which must be incorporated into the simulation program.
GUI design isn't simply a matter of putting a nice front-end on a capable program. It requires thought about the way in which people might be expected to use a system, and investigation of the ways that they actua...
详细信息
GUI design isn't simply a matter of putting a nice front-end on a capable program. It requires thought about the way in which people might be expected to use a system, and investigation of the ways that they actually use it. Jape's GUI has been designed to be as simple as possible, so that it will not get in the way of the business of proof. It is designed to be minimal in the information that it displays and the gestures that it requires from the user. In this paper we introduce and give a rationale for the design of Jape's user interface, then note some of its drawbacks.
To maximization the total profit and minimization the total cost we investigate two transportation models with interval transportation parameters and we present a solution of our newly developed models using appropria...
详细信息
A system is a collection of processes connected by channels over which they communicate. We consider systems where processes can be communicated. We propose an extension to propositional temporal logic as specificatio...
详细信息
Nowadays in Ukraine, there is a need for automation and removal of human from the processes of decision making on civil law regulation of contract for the provision of in vitro fertilization, which can significantly i...
详细信息
暂无评论