scholarly journals Optimal implementation of wait-free binary relations

1997 ◽  
pp. 225-236
Author(s):  
Eric Goubault
Keyword(s):  
Binary Relations ◽  
Optimal Implementation

FACTOR ANALYSIS OF GEOGRAPHIC COORDINATES AT POINTS OF THE CHANNEL OF A SMALL RIVER ON SPACE IMAGES

2020 ◽  
Author(s):  
Peter Matveevich Mazurkin ◽  
Yana Oltgovna Georgieva
Keyword(s):  
Correlation Coefficient ◽  
Geographical Location ◽  
Small River ◽  
Binary Relations ◽  
Catchment Basin ◽  
Space Images ◽  
The North ◽  
Inverse Effect ◽  
Characteristic Points ◽  
Fractal Representation

The purpose of the article is the analysis of asymmetric wavelets in binary relations between three coordinates at 290 characteristic points from the source to the mouth of the small river Irovka. The hypsometric characteristic is the most important property of the relief. The Irovka River belongs to a low level, at the mouth it is 89 m high, and at the source it is 148 m above sea level. Modeling of binary relations with latitude, longitude, and height has shown that local latitude receives the greatest quantum certainty. In this case, all paired regularities received a correlation coefficient of more than 0.95. Such a high adequacy of wave patterns shows that geomorphology can go over to the wave multiple fractal representation of the relief. The Irovka River is characterized by a small anthropogenic impact, therefore, the relief over a length of 69 km has the natural character of the oscillatory adaptation of a small river to the surface of the Vyatka Uval from its eastern side. This allows us to proceed to the analysis of the four tributaries of the small river Irovka, as well as to model the relief of the entire catchment basin of 917 km2. The greatest adequacy with a correlation coefficient of 0.9976 was obtained by the influence of latitude on longitude, that is, the geographical location of the relief of the river channel with respect to the geomorphology of the Vyatka Uval. In second place with a correlation of 0.9967 was the influence of the height of the points of the channel of the small river on local longitude and it is also mainly determined by the relief of the Vyatka Uval. In third place was the effect of latitude on height with a correlation coefficient of 0.9859. And in last sixth place is the inverse effect of altitude on local latitude in the North-South direction.

On algebras of binary relations with conjunctive operations

2021 ◽  
Vol 82 (3) ◽  
Author(s):  
Dmitry A. Bredikhin
Keyword(s):  
Binary Relations

Adoption and Implementation of Clinical Legal Education Programmes in the Indonesian Legal Education System

2020 ◽  
pp. 232200582096120
Author(s):  
Saru Arifin ◽  
Bayangsari Wedhatami ◽  
Riska Alkadri
Keyword(s):  
Education System ◽  
Core Curriculum ◽  
Public Speaking ◽  
Legal Education ◽  
Extracurricular Activity ◽  
Education Curriculum ◽  
Legal Doctrine ◽  
Learn Theory ◽  
Adoption And Implementation ◽  
Optimal Implementation

Legal education in Indonesia has followed a traditional model, focusing on the rote transfer of legal doctrine. Students are taught legal theories and sources of law but not how to critically apply the law in concrete real-world scenarios. Consequently, law graduates tend to be unprepared for the workforce, which is a regular complaint of employers. To overcome this impediment, some law faculties in Indonesia adopted clinical legal education (CLE) as a ‘new method’ in the legal education system, whereby students not just learn theory but also gain practical legal experience. This article analyses the adoption of the model and methods of applying CLE to legal education in Indonesia. This study uses the doctrinal research method with a qualitative approach. It is found that the adoption of CLE in Indonesia is diverse; some programmes include it in the core curriculum, while others make it an extracurricular activity. CLE programmes generally use three of six methods, namely street law, advocacy and internship. The differences in the three methods of CLE directly influence their success, exposing participants to interaction with live clients, public speaking and networking. This article recommends that in order to achieve the optimal implementation of CLE, uniformity of the CLE adoption model in Indonesia’s legal education curriculum is needed.

scholarly journals Finite representability of semigroups with demonic refinement

2021 ◽  
Vol 82 (2) ◽  
Author(s):  
Robin Hirsch ◽  
Jaš Šemrl
Keyword(s):  
Partial Order ◽  
Turing Machines ◽  
Binary Relations ◽  
Finite Representation ◽  
First Order ◽  
Finite Structures ◽  
Finite Base ◽  
Finite Set ◽  
Finite Representability ◽  
Representation Class

AbstractThe motivation for using demonic calculus for binary relations stems from the behaviour of demonic turing machines, when modelled relationally. Relational composition (; ) models sequential runs of two programs and demonic refinement ($$\sqsubseteq $$ ⊑ ) arises from the partial order given by modeling demonic choice ($$\sqcup $$ ⊔ ) of programs (see below for the formal relational definitions). We prove that the class $$R(\sqsubseteq , ;)$$ R ( ⊑ , ; ) of abstract $$(\le , \circ )$$ ( ≤ , ∘ ) structures isomorphic to a set of binary relations ordered by demonic refinement with composition cannot be axiomatised by any finite set of first-order $$(\le , \circ )$$ ( ≤ , ∘ ) formulas. We provide a fairly simple, infinite, recursive axiomatisation that defines $$R(\sqsubseteq , ;)$$ R ( ⊑ , ; ) . We prove that a finite representable $$(\le , \circ )$$ ( ≤ , ∘ ) structure has a representation over a finite base. This appears to be the first example of a signature for binary relations with composition where the representation class is non-finitely axiomatisable, but where the finite representation property holds for finite structures.

Program structure definition using binary relations

1976 ◽  
Vol 11 (12) ◽  
pp. 38-55
Author(s):  
Lars Kahn
Keyword(s):  
Binary Relations ◽  
Program Structure

RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS

2010 ◽  
Vol 3 (1) ◽  
pp. 41-70 ◽  
Author(s):  
ROGER D. MADDUX
Keyword(s):  
Propositional Logic ◽  
Relevance Logic ◽  
Binary Relations ◽  
Classical Propositional Logic

Sound and complete semantics for classical propositional logic can be obtained by interpreting sentences as sets. Replacing sets with commuting dense binary relations produces an interpretation that turns out to be sound but not complete for R. Adding transitivity yields sound and complete semantics for RM, because all normal Sugihara matrices are representable as algebras of binary relations.

scholarly journals The Performance of a Mechanical Design ‘Compiler’

1993 ◽  
Vol 115 (3) ◽  
pp. 341-345 ◽  
Author(s):  
A. C. Ward ◽  
W. P. Seering
Keyword(s):  
Utility Function ◽  
Power Transmission ◽  
Mechanical Design ◽  
Temperature Sensing ◽  
Hydraulic Power ◽  
Optimal Implementation

A mechanical design “compiler” has been developed which, given an appropriate schematic, specifications, and utility function for a mechanical design, returns catalog numbers for an optimal implementation. The compiler has been successfully tested on a variety of mechanical and hydraulic power transmission designs, and a few temperature sensing designs. Times required have been at worst proportional to the logarithm of the number of possible combinations of catalog numbers.

Sign in / Sign up

Export Citation Format

Share Document