Search results for "Data type"
showing 10 items of 1183 documents
Computing the ℤ2-Cocharacter of 3 × 3 Matrices of Odd Degree
2013
Let F be a field of characteristic 0 and A = M 2, 1(F) the algebra of 3 × 3 matrices over F endowed with the only non trivial ℤ2-grading. Aver'yanov in [1] determined a set of generators for the T 2-ideal of graded identities of A. Here we study the identities in variables of homogeneous degree 1 via the representation theory of the symmetric group, and we determine the decomposition of the corresponding character into irreducibles.
On P-compatible hybrid identities and hyperidentities
1994
P-compatible identities are built up from terms with a special structure. We investigate a variety defined by a set ofP-compatible hybrid identities and answer the question whether a variety defined by a set ofP-compatible hyperidentities can be solid.
Applied Linear Algebra: Electrical Networks
2016
This chapter shows how mathematical theory is not an abstract subject which has no connection with the real world. On the contrary, this entire book is written by stating that mathematics in general, and algebra in this case, is an integrating part of every day real life and that the professional life of computational scientists and engineers requires a solid mathematical background. In order to show how the contents of the previous chapters have an immediate technical application, the last chapter of this book describes a core engineering subject, i.e. electrical networks, as an algebraic exercise. Furthermore, this chapter shows how the combination of the algebraic topics give a natural r…
Conditional measures and their applications to fuzzy sets
1991
Abstract Given a ⊥-decomposable measure with respect to a continuous t-conorm, as introduced by the author in an earlier paper (see Section 1), we can construct ⊥-conditional measures as implications. These fulfil a ‘generalized product law’ replacing the product in the classical law by any other strict t-norm ⊥ and turn out to be decomposable with respect to an operation ⊥ V depending on ⊥, ⊥ and the condition set V (Section 2). More general, conditional measures are introduced axiomatically and are shown to be ⊥-conditional measures with respect to some ⊥-decomposable measure (Section 3). ‘Bayesian-like’ models are given which are alternatives to that presented by the author in a recent p…
Nondivisibility among character degrees II: Nonsolvable groups
2007
We say that a finite group G is an NDAD-group (no divisibility among degrees) if for any 1 < a < b in the set of degrees of the complex irreducible characters of G, a does not divide b. In this article, we determine the nonsolvable NDAD-groups. Together with the work of Lewis, Moreto and Wolf (J. Group Theory 8 (2005)), this settles a problem raised by Berkovich and Zhmud’, which asks for a classification of the NDAD-groups.
Elementary Action Systems
2015
This chapter expounds basic notions. An elementary action system is a triple consisting of the set of states, the transition relation between states, and a family of binary relations defined on the set of states. The elements of this family are called atomic actions. Each pair of states belonging to an atomic action is a possible performance of this action. This purely extensional understanding of atomic actions is close to dynamic logic. Compound actions are defined as sets of finite sequences of atomic actions. Thus compound actions are regarded as languages over the alphabet whose elements are atomic actions. This chapter is concerned with the problem of performability of actions and the…
Notes on the Use of the Tables of Standard ISO 7730 for the Evaluation of the PMV Index
1996
Standard ISO 7730, which is also known as European Standard EN-ISO 7730, provides two alternative methods for the evaluation of the predicted mean vote (PMV) index: a calculation program and a set of tables. In order to use the tables, the operative temperature must be calculated beforehand. The impres sion is given from reading the standard that for a relative humidity of 50%, the two methods are equivalent, i.e. provide the same value for PMV, from the same initial values. In this paper, examples are given showing that the two methods are not equivalent. Differences between them are analysed and a proposal made to introduce an amendment in the next revision of the stan dard.
Quantum state engineering using one-dimensional discrete-time quantum walks
2017
Quantum state preparation in high-dimensional systems is an essential requirement for many quantum-technology applications. The engineering of an arbitrary quantum state is, however, typically strongly dependent on the experimental platform chosen for implementation, and a general framework is still missing. Here we show that coined quantum walks on a line, which represent a framework general enough to encompass a variety of different platforms, can be used for quantum state engineering of arbitrary superpositions of the walker's sites. We achieve this goal by identifying a set of conditions that fully characterize the reachable states in the space comprising walker and coin, and providing …
Atom, atom-type and total molecular linear indices as a promising approach for bioorganic and medicinal chemistry: theoretical and experimental asses…
2004
Abstract Helminth infections are a medical problem in the world nowadays. In this paper a novel atom-level chemical descriptor has been applied to estimate the anthelmintic activity. Total and local linear indices and linear discriminant analysis were used to obtain a quantitative model that discriminates between anthelmintic and non-anthelmintic drug-like compounds. The discriminant model has an accuracy of 90.11% in the training set, with a high Matthews’ correlation coefficient (MCC = 0.80). To assess the robustness and predictive power of the obtained model, internal (leave-n-out) and external validation process was performed. The QSAR model correctly classified 88.55% of compounds in t…
Mappings of finite distortion : size of the branch set
2018
Abstract We study the branch set of a mapping between subsets of ℝ n {\mathbb{R}^{n}} , i.e., the set where a given mapping is not defining a local homeomorphism. We construct several sharp examples showing that the branch set or its image can have positive measure.