Resolution with Symmetry Rule Applied to Linear Equations

This paper considers the length of resolution proofs when using Krishnamurthy's classic symmetry rules. We show that inconsistent linear equation systems of bounded width over a fixed finite field $\mathbb{F}_p$ with $p$ a prime have, in their standard encoding as CNFs, polynomial length resolutions when using the local symmetry rule (SRC-II). As a consequence it follows that the multipede instances for the graph isomorphism problem encoded as CNF formula have polynomial length resolution proofs. This contrasts exponential lower bounds for individualization-refinement algorithms on these graphs. For the Cai-F\"urer-Immerman graphs, for which Tor\'an showed exponential lower bounds for resolution proofs (SAT 2013), we also show that already the global symmetry rule (SRC-I) suffices to allow for polynomial length proofs.Comment: 18 pages, to be published in STACS 202

Assessing the Current State of Curl Type Improvement for Karakul of Botoşani Breed in Relation to the Color Variety

The curl’s form and type has always been an important objective of improving the Karakul of Botoşani sheep because some traits such as length, degree of closure, width and height are reflected in an original way over the general aspect of the pelt, influencing the aesthetic and commercial value of them. In pelt’s performance-specific control activities, for quality analysis is insisted mainly on the main traits that influence the expression with a certain type or curl form. In order to create conditions for genetic expression of the desired curl shape, it is necessary to follow the improvement of the following parameters: length, height, width, degree of closure, circumferential direction, contour and layout of the pelt surface curls. The used method in the assessment of the objectives was based on the technical norms specified in Section 1.4 and 1.5 of the MADR Order no. 22 / 20.01.2006, and the statistical processing of the data was based on the use of S.A.V.C. The assessment of the type of curls in long and medium tubes shows a considerable improvement in this character since the type was identified in 65.11% of cases in 2005 and increased to 66.66% in 2015. On the respective interval, the proportion of the desired lambs increased by more than 1.5%, the difference being statistically significant for p<0.01. The proportion of lambs where the curl was predominantly of the flattened type and with a low degree of closure, respectively wave or smooth, was kept within relatively constant limits placed around 20%, with relatively reduced variations from one generation to the next

Precocious Utilisation at Reproduction of Female Youth Sheep From Ţigaie Breed

Ovine rearing represents a domain being in a full development process in Romania. At the base of this tendency are the solicitation of local and external markets for basic production, respectively meat and milk. To record favourable economical results farmers wants to apply the most optimal technologies so, economical efficiency to reach a maximum level for each female which is part of the livestock (Pascal, 2015, Daraban  2006 ). One of those technologies refers also at precocious utilisation at reproduction of a female youth. So, the aim of effectuated research was represented by studying of possibilities for utilization at reproduction of female youth at an age still from the first year of life.Biologic material was represented by domestic ovine, from Ţigaie breed, reared in different farms situated in the North-East part of Romania. Experimental batches were formed by females with different ages, but all of them being utilized for the first time at mating. Respecting those demands were formed three batches differentially by age between them, which had, at the moment of utilization for reproduction, 9 months (L1), 18 months (L2) and 22 months (L3). Control batch was formed by adult females belonging to the same breed (LM). In the current research were tracked more aspects, the most important being the ones in which were analyzed the influence of sheep’ age on specific indexes of reproduction function, on the total duration of gestation and on further corporal development of youth females. The obtained data were statistically processed using ANOVA software, and for determination of differences and their signification were utilized Fisher and Tukey tests. The obtained results allow us to enlightened the fact that even, in case of batches formed by female youth, the mean values for studied parameters were very close to the ones specific to adult sheep, differences are significant in majority of situations for p >0.01

Unsupervised Learning on Monocular Videos for 3D Human Pose Estimation

In the presence of annotated data, deep human pose estimation networks yield impressive performance. Nevertheless, annotating new data is extremely time-consuming, particularly in real-world conditions. Here, we address this by leveraging contrastive self-supervised (CSS) learning to extract rich latent vectors from single-view videos. Instead of simply treating the latent features of nearby frames as positive pairs and those of temporally-distant ones as negative pairs as in other CSS approaches, we explicitly disentangle each latent vector into a time-variant component and a time-invariant one. We then show that applying CSS only to the time-variant features, while also reconstructing the input and encouraging a gradual transition between nearby and away features, yields a rich latent space, well-suited for human pose estimation. Our approach outperforms other unsupervised single-view methods and matches the performance of multi-view techniques

Evaluation of Milk Production at Ţigaie Sheep Reared in Romania

Biological material subjected to research was represented by females belonging to Ţigaie breed which are in different lactations. Research has been expanded to six consecutive lactations, period in which the followed objectives were represented by: quantity of milk sucked by lambs during lactation, the quantity of milk produced in each lactation period when the flock is located in the milking situation exclusively and the total quantity of milk obtained in each controlled lactation. The work methods used are accepted by experimental practice. During the period of lactation was used the control coefficient method; exclusively for milking period was applied the AT4 method respecting the technical specifications specified by the International Committee for Animal Recording. Also, to eliminate the influence of environment, age, nourishment and maintenance conditions, in each season the period was the same (May-September) and had the same conditions of nourishment, maintenance, sheltering etc. Statistical processing of obtained data at the end of evaluation of milk quantity consumed by lambs show that in first 28 days of suckling, Ţigaie breed sheep furnish around 42% from the total milk quantity consumed by lambs during suckling period. Based on this observation we could say that application of selection at sheep on the basis of lambs’ corporal weight at age of 28 days is more indicated and efficient. In case of appreciation of milk quantity gathered by milking could be observed the fact that face to maximum level reached in first lactation the total estimated quantity was higher with 29.29% in second lactation and after that gradually decrease and record negative values in the last controlled lactation. Effectuation of a rate between milk quantity consumed by lambs and milk quantity obtained after their weaning show the existence of a close rate, with the exception of first lactation when sucked milk quantity was higher with 15.8% face to level of milk production gathered by milking. Statistical processing of information highlighting that between the amounts of milk consumed by lambs in the suckling period, there have been significant differences for P0.05. During the six controlled lactations the maximum milk production was recorded in the second lactation and was of 139.67 kg of milk, superior with 29.29% than level obtained in the first lactation and with 5.29% lower to the total estimated production for the third lactation