LCA – additional requirement for engineers

2021 ◽  
pp. 123-139
Author(s):  
Olaf Toedter ◽  
Philipp Weber ◽  
Thomas Koch
2021 ◽  
Vol 180 (1-2) ◽  
pp. 151-177
Author(s):  
Qichao Wang

Weighted restarting automata have been introduced to study quantitative aspects of computations of restarting automata. In earlier works we studied the classes of functions and relations that are computed by weighted restarting automata. Here we use them to define classes of formal languages by restricting the weight associated to a given input word through an additional requirement. In this way, weighted restarting automata can be used as language acceptors. First, we show that by using the notion of acceptance relative to the tropical semiring, we can avoid the use of auxiliary symbols. Furthermore, a certain type of word-weighted restarting automata turns out to be equivalent to non-forgetting restarting automata, and another class of languages accepted by word-weighted restarting automata is shown to be closed under the operation of intersection. This is the first result that shows that a class of languages defined in terms of a quite general class of restarting automata is closed under intersection. Finally, we prove that the restarting automata that are allowed to use auxiliary symbols in a rewrite step, and to keep on reading after performing a rewrite step can be simulated by regular-weighted restarting automata that cannot do this.


2021 ◽  
Author(s):  
Elena Vialetto ◽  
Yanying Yu ◽  
Scott P. Collins ◽  
Katharina G. Wandera ◽  
Lars Barquist ◽  
...  

Immune systems must recognize and clear foreign invaders without eliciting autoimmunity. CRISPR-Cas immune systems in prokaryotes manage this task by following two criteria: extensive guide:target complementarity and a defined target-flanking motif. Here we report an additional requirement for RNA-targeting CRISPR-Cas13 systems: expression of the target transcript exceeding a threshold. This finding is based on targeting endogenous non-essential transcripts, which rarely elicited dormancy through collateral RNA degradation. Instead, eliciting dormancy required over-expressing targeted transcripts above a threshold. A genome-wide screen confirmed target expression levels as the principal determinant of cytotoxic autoimmunity and revealed that the threshold shifts with the guide:target pair. This expression threshold ensured defense against a lytic bacteriophage yet allowed tolerance of a targeted beneficial gene expressed from an invading plasmid. These findings establish target expression levels as a third criterion for immune activation by RNA-targeting CRISPR-Cas systems, buffering against autoimmunity and distinguishing pathogenic and benign invaders.


2020 ◽  
Vol 5 (5) ◽  

• Vector (a quantity possessing both magnitude and direction, represented by an arrow the direction of which indicates the direction of the quantity and the length of which is proportional to the magnitude; such a quantity with the additional requirement that such quantities are to transform in a particular way under changes of the coordinate system). • Vectory (a Scandinavian company specialised in solutions incorporating inertial sensors). • Verticality (position at right angles to the horizon).


Author(s):  
Kristine Deray ◽  
Simeon Simoff

The purpose of this chapter is to set design guidelines on visual representations of interactions for mobile multimodal systems. The chapter looks at the features of interaction as process and how these features are exposed in the data. It presents a three layer framework for designing visual representations for mobile multimodal systems and a method that implements it. The method is based on an operationalisation of the source-target mapping from the contemporary theory of metaphors. Resultant design guidelines are grouped into (i) a set of high-level design requirements for visual representations of interactions on mobile multimodal systems; and (ii) a set of specific design requirements for the visual elements and displays for representing interactions on mobile multimodal systems. The second set then is considered subject to an additional requirement – the preservation of the beauty of the representation across the relevant modalities. The chapter is focused on the modality of the output. Though the chapter considers interaction data from human to human interactions, presented framework and designed guidelines are applicable towards interaction in general.


1959 ◽  
Vol 81 (1) ◽  
pp. 37-40 ◽  
Author(s):  
R. T. Hinkle ◽  
I. E. Morse

In the design of helical springs where the load, deflection, allowable stress, and material are specified, there are an infinite number of solutions. In this paper, equations and graphs are presented for the selection of a spring index that will result in a spring of minimum weight, volume, or length. If, an addition to these requirements, the inside or outside diameter of the spring is fixed, there is only one solution. Equations and graphs are included for the selection of the spring index which will satisfy this additional requirement.


2021 ◽  
Vol 246 ◽  
pp. 14002
Author(s):  
Åsa Wahlström ◽  
Mari-Liis Maripuu

This study has analysed which options would be appropriate to use as additional requirements to the main requirement of primary energy number in the new Swedish building regulations. The starting point is to ensure that buildings are built with good qualitative properties in terms of the building envelope so that low energy use can be maintained throughout the life of the building despite changes in installation systems or the building’s occupancy. The additional requirements should aim to minimize energy losses, i.e., to ensure that the building's total energy demand is low. The following possible additional requirements have been examined: net energy demand, net energy demand for heating, heat power demand, heat loss rate and average heat transfer coefficient. In order to ensure that the additional requirements will work as desired and to explore possibilities with, and identify the consequences of, the various proposals, calculations have been made for four different categories of buildings: single-family houses, apartment buildings, schools and offices. The results show that the suggested option net energy demand will not contribute to any additional benefits in relation to primary energy number. The other options analysed have both advantages and disadvantages and it is difficult to find a single additional requirement that fulfils all the pre-set demands.


Author(s):  
R.M. Heints

The article analyzes the definition of civil active capacity of natural persons, reveals the existing approaches in the doctrine to its definition and understanding of passive capacity to perform juristic act as an element of civil active capacity. The author positively perceives the position of the legislature on the formulation of the concept of civil active capacity through the term «ability», because the process of forming the will of natural persons has a biological nature and, accordingly, the basis for granting of natural persons an active capacity is its natural ability to adequately perceive and evaluate the surrounding reality, own actions, make independent decisions, implement them through own actions and be aware of the responsibility for such actions. Given that the basis of active capacity is the ability to independently perform legally significant lawful acts, the key element of active capacity is passive capacity to perform juristic act. According to the results of the study, the author proposes to classify all juristic act performing by a minor by the criterion of «coordination of their commission with parents (adopter) or trustees» into three groups: 1) juristic act that can be performing without the consent of parents (adopter) or trustees; 2) juristic act that can be performing with the consent of parents (adopter) or trustees; 3) juristic act that can be performing with the consent of parents (adopter) or trustees and with the permission of the guardianship authority. The consent of parents (adopter) or trustees to perform a juristic act by a minor should be considered as an additional requirement established by the legislature to the procedure of its performing by a minor and an additional guarantee to protect the interests of a minor who cannot fully assess the need to perform the juristic act and its legal consequences. According to the current legislation, the consent of the parents (adopter) or trustees to perform a juristic act by a minor may be made orally, for default, or in writing by a notarized form.


Sign in / Sign up

Export Citation Format

Share Document