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

The Wolbachia Genome of Brugia malayi: Endosymbiont Evolution within a Human Pathogenic Nematode

Complete genome DNA sequence and analysis is presented for Wolbachia, the obligate alpha-proteobacterial endosymbiont required for fertility and survival of the human filarial parasitic nematode Brugia malayi. Although, quantitatively, the genome is even more degraded than those of closely related Rickettsia species, Wolbachia has retained more intact metabolic pathways. The ability to provide riboflavin, flavin adenine dinucleotide, heme, and nucleotides is likely to be Wolbachia's principal contribution to the mutualistic relationship, whereas the host nematode likely supplies amino acids required for Wolbachia growth. Genome comparison of the Wolbachia endosymbiont of B. malayi (wBm) with the Wolbachia endosymbiont of Drosophila melanogaster (wMel) shows that they share similar metabolic trends, although their genomes show a high degree of genome shuffling. In contrast to wMel, wBm contains no prophage and has a reduced level of repeated DNA. Both Wolbachia have lost a considerable number of membrane biogenesis genes that apparently make them unable to synthesize lipid A, the usual component of proteobacterial membranes. However, differences in their peptidoglycan structures may reflect the mutualistic lifestyle of wBm in contrast to the parasitic lifestyle of wMel. The smaller genome size of wBm, relative to wMel, may reflect the loss of genes required for infecting host cells and avoiding host defense systems. Analysis of this first sequenced endosymbiont genome from a filarial nematode provides insight into endosymbiont evolution and additionally provides new potential targets for elimination of cutaneous and lymphatic human filarial disease