Automata Equipped with Auxiliary Data Structures and Regular Realizability Problems

We consider general computational models: one-way and two-way finite automata, and logarithmic space Turing machines, all equipped with an auxiliary data structure (ADS). The definition of an ADS is based on the language of protocols of work with the ADS. We describe the connection of automata-based models with ``Balloon automata'' that are another general formalization of automata equipped with an ADS presented by Hopcroft and Ullman in 1967. This definition establishes the connection between the non-emptiness problem for one-way automata with ADS, languages recognizable by nondeterministic log-space Turing machines equipped with the same ADS, and a regular realizability problem (NRR) for the language of ADS' protocols. The NRR problem is to verify whether the regular language on the input has a non-empty intersection with the language of protocols. The computational complexity of these problems (and languages) is the same up to log-space reductions.Comment: 25 pages. An extended version of the conference paper (DCFS 2021), submitted to International Journal of Foundations of Computer Scienc

Dual fermion method as a prototype of generic reference-system approach for correlated fermions

We present a purely diagrammatic derivation of the dual fermion scheme [Phys. Rev. B 77 (2008) 033101]. The derivation makes particularly clear that a similar scheme can be developed for an arbitrary reference system provided it has the same interaction term as the original system. Thereby no restrictions are imposed by the locality of the reference problem or by the nature of the original problem as a lattice one. We present new arguments in favour of keeping the dual denominator in the expression for the lattice self-energy independently of the truncation of the dual interaction. As an example we present the computational results for the half-filled 2D Hubbard model with the choice of a $2\times2$ plaquette with periodic boundary conditions as a reference system. We observe that obtained results are in a good agreement with numerically exact lattice quantum Monte Carlo data

Moss occurrences in Yugyd Va National Park, Subpolar and Northern Urals, European North-East Russia

This study produced a dataset containing information on moss occurrences in the territory of Yugyd Va National Park, located in the Subpolar and Northern Urals, European North-East Russia. The dataset summarises occurrences noted by long-term bryological explorations in remote areas of the Subpolar and Northern Urals from 1943 to 2015 and from studies published since 1915. The dataset consists of 4,120 occurrence records. The occurrence data were extracted from herbarium specimen labels (3,833 records) and data from published literature (287 records). Most of the records (4,104) are georeferenced. A total of 302 moss taxa belonging to 112 genera and 36 families are reported herein to occur in Yugyd Va National Park. The diversity of bryophytes in this National Park has not yet been fully explored and further exploration will lead to more taxa. A total of 4,120 moss occurrences records in the territory of Yugyd Va National Park were published

Combination of Content-Based User Profiling and Local Collective Embeddings for Job Recommendation

We present the approach to the RecSys Challenge 2017, which ranked 7th. The goal of the competition was to prepare job recommendations for the users of the social network for business Xing.com. Our algorithm consists of two di erent models: Content-based User Profiling and Local Collective Embeddings. The first content-based model contains many hand-tuned parameters and data insights, so it performs fairly well on the task of the challenge despite its simplicity. The second model is based on Matrix Factorization and may be applicable to a wide range of cold-start recommendation tasks. The combination of these two models have shown the best performance on local validation

Catalytic asymmetric crotylation of aldehydes: application in total synthesis of (−)‐elisabethadione

A new, highly efficient Lewis base catalyst for a practical enantio- and diastereoselective crotylation of unsaturated aldehydes with E- and Z-crotyltrichlorosilanes has been developed. The method was employed as a key step in a novel asymmetric synthesis of bioactive serrulatane diterpene (À)-elisabethadione. Other strategic reactions for setting up the stereogenic centers included anionic oxy-Cope rearrangement and cationic cyclization. The synthetic route relies on simple, high yielding reactions and avoids use of protecting groups or chiral auxiliaries

Catalytic asymmetric crotylation of aldehydes: application in total synthesis of (−)‐elisabethadione

A new, highly efficient Lewis base catalyst for a practical enantio- and diastereoselective crotylation of unsaturated aldehydes with E- and Z-crotyltrichlorosilanes has been developed. The method was employed as a key step in a novel asymmetric synthesis of bioactive serrulatane diterpene (À)-elisabethadione. Other strategic reactions for setting up the stereogenic centers included anionic oxy-Cope rearrangement and cationic cyclization. The synthetic route relies on simple, high yielding reactions and avoids use of protecting groups or chiral auxiliaries

Asymmetric total synthesis of (-)-erogorgiaene and its C11 epimer and investigation of their antimycobacterial activity

A short, nine-step, highly enantioselective synthesis of (−)-erogorgiaene and its C-11 epimer is reported. The key stereochemistry controlling steps involve catalytic asymmetric crotylation, anionic oxy-Cope rearrangement and cationic cyclisation. (−)-Erogorgiaene exhibited promising antitubercular activity against multidrug-resistant strains of Mycobacterium tuberculosis

Peroneus longus tendon autograft for one-stage revision acl reconstruction: mid-term results

Background. The results of revision anterior cruciate ligament reconstruction (ACLR) are usually worse than the primary ACLR. The positive outcome of the revision ACLR is significantly influenced by the following factors: anatomical position of bone tunnels, correct choice of graft, its preparation and fixation method. Equally important is to choose the accurate indications for additional extraarticular interventions. The aim of the study is to evaluate the role of a peroneus longus tendon (PLT) autograft in one-stage revision ACL reconstruction and to compare the obtained data with the results of primary ACLR. Methods. The comparison was carried out between the RACL-PLT group (n = 29) and the PACL-HT group (n = 82), which underwent single-stage revision ACLR with a PLT autograft and primary ACLR with a hamstring tendons (HT) autograft, respectively. Subjective and objective evaluation was performed on the KOOS, IKDC, and Lysholm Knee scales. Also, in the RACL-PLT group, the position of the central entry points into the primary and revision tunnels was determined. Results. We observed no statistically significant differences during the objective assessment of knee joint stability between the groups (p0.999). During the subjective assessment on the KOOS, IKDC and Lysholm Knee scales, significantly higher results were obtained in the PACL-HT group (p0.001). The position of the central entry points into the revision tunnels corresponded to the normative values in all cases. Conclusions. The analysis of the use of a PLT autograft in revision ACLR, as well as the achievement of the anatomical position of the revision tunnels showed: 12 months after surgery, the results of an objective assessment between the revision and primary ACLR are comparable; the results of a subjective assessment are statistically significantly different. However, the differences in indicators do not reach a minimal clinically important difference