Two types of congruences are introduced in a distributive lattice, one in terms of ideals generated by derivations and the other in terms of images of derivations. An equivalent condition is derived for the corresponding quotient algebra to become a Boolean algebra. An equivalent condition is obtained for the existence of a derivation. 2000 Mathematics Subject Classification: 06D99, 06D15.

finding persian equivalents for scientific terms is one of the aims of academy of persian language and literature, and more than 50 scientific committees are now working on this scope in terminology department of the academy. genetics and biotechnology terminology committee is one of these teams that started his activity from 2009 and since then approved more than 500 of these terms for use in ...

Introduction: The purpose of this study is to build homogeneous equivalent phantom chest in order to provide the necessary ability for checking the image quality in radiographic tests in four age groups of children in terms of the most recent age group categorization ICRP103. This phantom provides the features of weakness and discrepancies similar to body and can be consi...

This paper presents a multi-objective Particle Swarm Optimization (PSO) algorithm for worker assignment and mixed-model assembly line balancing problem when task times depend on the worker’s skill level. The objectives of this model are minimization of the number of stations (equivalent to the maximization of the weighted line efficiency), minimization of the weighted smoothness index and minim...

We discuss an analog of the Givental group action for the space of solutions of the commutativity equation. There are equivalent formulations in terms of cohomology classes on the Losev-Manin compactifications of genus 0 moduli spaces; in terms of linear algebra in the space of Laurent series; in terms of differential operators acting on Gromov-Witten potentials; and in terms of multi-component...

This paper presents a new adaptive torque estimation algorithm for an interior permanent magnet synchronous motor (IPMSM) with parameter variations and cross-coupling between dand q-axis dynamics. All cross-coupled, time-varying, or uncertain terms that are not part of the nominal flux equations are included in two equivalent mutual inductances, which are described using the equivalent dand q-a...

Citation Berger, C. F. et al. " Next-to-leading order QCD predictions for Z, gamma^{*}+3-jet distributions at the Tevatron. Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use.

We present a logic for reasoning about licenses, which are “terms of use” for digital resources. The logic provides a language for writing both properties of licenses and specifications that govern a client’s actions. We discuss the complexity of checking properties and specifications written in our logic and propose a technique for verification. A key feature of our approach is that it is esse...

Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters.