Search results for "Abstract"

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…

A general characterization of the Janko simple groupJ 2

1974

Confined subgroups in periodic simple finitary linear groups

2002

A subgroupX of the locally finite groupG is said to beconfined, if there exists a finite subgroupF≤G such thatX g∩F≠1 for allg∈G. Since there seems to be a certain correspondence between proper confined subgroups inG and non-trivial ideals in the complex group algebra ℂG, we determine the confined subgroups of periodic simple finitary linear groups in this paper.

Noether’s Early Contributions to Modern Algebra

2020

As described in preceding chapters, Noether’s work on invariant theory broke new ground that led the Gottingen mathematicians, but first and foremost Hilbert, to invite her to habilitate there.

Sequential formula translation

1983

The syntax of an algorithmic language such as ALGOL is conveniently described as a sequence of states indicated by an element called cellar. Transitions are controlled by admissible state- s ymbol pairs which may be represented by a transition matrix. This description of syntax furnishes at the same time an extremely simple rule for translating into machine programs statements in the algorithmic language. Sequential treatment, however, is not feasible in the case of certain optimizing processes such as recursive address calculation.

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.

The Raven's Coloured Progressive Matrices in Healthy Children: A Qualitative Approach

2020

Studies on the structure of intelligence refer to two main theoretical models: the first one considers intelligence as a unitary construct, the second one assumes the involvement of a plurality of factors. Studies using Raven’s Coloured Progressive Matrices (RCPM) tasks have often highlighted the involvement of different cognitive abilities and brain structures, but in the clinical setting, RCPM measurement continues to be used as a single score. The current study aimed to analyse the RCPM performance following qualitative clustering, in order to provide an interpretation of the intelligence assessment through a factorial criterion. The RCPM have been administered to a large group of typica…

The referral centers for the diagnosis and treatment of hypertension in adolescents

2015

Primary hypertension in adolescence was felt to be quite rare. However, the worldwide childhood obesity epidemic has had a profound impact on the frequency of high blood pressure (BP) with the result that primary hypertension should now be viewed as one of the most common health conditions in the young (estimated prevalence 1–5%). Therefore, current guidelines recommend that all children and adolescents seen in a medical setting should have their BP measured. The availability of BP tables with normal BP percentiles for age, sex and height has improved BP values classification. Studies conducted at referral clinics for evaluation of hypertension have indicated that as many as 30 to 40% of ad…

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…