A new species of shrimp of the genus <i>Anachlorocurtis</i> Hayashi, 1975 from the Red Sea, with range extension of <i>A. commensalis</i> Hayashi, 1975 (Crustacea, Decapoda, Pandalidae)

A new species of pandalid shrimp Anachlorocurtis occidentalis sp. n., associated with antipatharian corals, is described and illustrated from the north-eastern Red Sea. This new species is closely related to Anachlorocurtis commensalis Hayashi, 1975, the only other species in the genus, and can be distinguished by the more slender body and appendages; the carapace with 3 large, and one small, subtriangular lobes in the middorsal line; a flattened dorsal outline of the third abdominal segment; the sixth abdominal segment twice as long as fifth one; propodi of the ambulatory pereiopods bearing only a single posterior spinule; and harbouring 3–5 pairs of dorsolateral spines on the telson. A revised generic diagnosis is provided here to accommodate the present new species. The genetic divergence of mitochondrial gene cytochrome c oxidase subunit I (COI) between Anachlorocurtis occidentalis sp. n., and A. commensalis is 15.2–15.4%. Molecular analysis also confirmed a sister position of the genus Anachlorocurtis to Miropandalus. The present records of A. commensalis from Taiwan constitute an extension of the known range of the species

Hypergraph Acyclicity and Propositional Model Counting

We show that the propositional model counting problem #SAT for CNF- formulas with hypergraphs that allow a disjoint branches decomposition can be solved in polynomial time. We show that this class of hypergraphs is incomparable to hypergraphs of bounded incidence cliquewidth which were the biggest class of hypergraphs for which #SAT was known to be solvable in polynomial time so far. Furthermore, we present a polynomial time algorithm that computes a disjoint branches decomposition of a given hypergraph if it exists and rejects otherwise. Finally, we show that some slight extensions of the class of hypergraphs with disjoint branches decompositions lead to intractable #SAT, leaving open how to generalize the counting result of this paper

New records of Decapod Crustaceans (Decapoda: Pontoniinae and Inachidae) associated with sea anemones in Turkish waters

Three anemone-associated decapod crustaceans, two shrimp species, Periclimenes amethysteus and P. aegylios (Caridea: Palaemonidae: Pontoniinae), and the crab Inachus phalangium (Brachyura: Inachidae), all collected from the Dardanelles, are reported for the first time from Turkish coasts. Another inachid crab, Macropodia czernjawskii is also reported for the first time to occur in association with the sea anemone, Anemonia viridis. Periclimenes scriptus was the fifth decapod species recorded associated with sea anemones within the present study, and while this species has already been reported from Turkish waters, this is the first time it is recorded from the Dardanelles (the Turkish Straits System)

Parameterized Compilation Lower Bounds for Restricted CNF-formulas

We show unconditional parameterized lower bounds in the area of knowledge compilation, more specifically on the size of circuits in decomposable negation normal form (DNNF) that encode CNF-formulas restricted by several graph width measures. In particular, we show that - there are CNF formulas of size $n$ and modular incidence treewidth $k$ whose smallest DNNF-encoding has size $n^{\Omega(k)}$, and - there are CNF formulas of size $n$ and incidence neighborhood diversity $k$ whose smallest DNNF-encoding has size $n^{\Omega(\sqrt{k})}$. These results complement recent upper bounds for compiling CNF into DNNF and strengthen---quantitatively and qualitatively---known conditional low\-er bounds for cliquewidth. Moreover, they show that, unlike for many graph problems, the parameters considered here behave significantly differently from treewidth

Electron beam shaping via laser heater temporal shaping

Active longitudinal beam optics can help FEL facilities achieve cutting edge performance by optimizing the beam to: produce multi-color pulses, suppress caustics, or support attosecond lasing. As the next generation of superconducting accelerators comes online, there is a need to find new elements which can both operate at high beam power and which offer multiplexing capabilities at Mhz repetition rate. Laser heater shaping promises to satisfy both criteria by imparting a programmable slice-energy spread on a shot-by-shot basis. We use a simple kinetic analysis to show how control of the slice energy spread translates into control of the bunch current profile, and then we present a collection of start-to-end simulations at LCLS-II in order to illustrate the technique.Comment: 12 pages, 11 figure

Determination of automatic weather station self‐heating originating from accompanying electronics

open7openPavlasek, P.; Merlone, A.; Sanna, F.; Coppa, G.; Izquierdo, C. G.; Palencar, J.; Duris, S.Pavlasek, P.; Merlone, A.; Sanna, F.; Coppa, G.; Izquierdo, C. G.; Palencar, J.; Duris, S

Comparative assessment of in vitro and in silico methods for aerodynamic characterization of powders for inhalation

In vitro assessment of dry powders for inhalation (DPIs) aerodynamic performance is an inevitable test in DPI development. However, contemporary trends in drug development also implicate the use of in silico methods, e.g., computational fluid dynamics (CFD) coupled with discrete phase modeling (DPM). The aim of this study was to compare the designed CFD-DPM outcomes with the results of three in vitro methods for aerodynamic assessment of solid lipid microparticle DPIs. The model was able to simulate particle-to-wall sticking and estimate fractions of particles that stick or bounce off the inhaler’s wall; however, we observed notable differences between the in silico and in vitro results. The predicted emitted fractions (EFs) were comparable to the in vitro determined EFs, whereas the predicted fine particle fractions (FPFs) were generally lower than the corresponding in vitro values. In addition, CFD-DPM predicted higher mass median aerodynamic diameter (MMAD) in comparison to the in vitro values. The outcomes of different in vitro methods also diverged, implying that these methods are not interchangeable. Overall, our results support the utility of CFD-DPM in the DPI development, but highlight the need for additional improvements in these models to capture all the key processes influencing aerodynamic performance of specific DPIs

DEvIANT: Discovering Significant Exceptional (Dis-)Agreement Within Groups

We strive to find contexts (i.e., subgroups of entities) under which exceptional (dis-)agreement occurs among a group of individuals , in any type of data featuring individuals (e.g., parliamentarians , customers) performing observable actions (e.g., votes, ratings) on entities (e.g., legislative procedures, movies). To this end, we introduce the problem of discovering statistically significant exceptional contextual intra-group agreement patterns. To handle the sparsity inherent to voting and rating data, we use Krippendorff's Alpha measure for assessing the agreement among individuals. We devise a branch-and-bound algorithm , named DEvIANT, to discover such patterns. DEvIANT exploits both closure operators and tight optimistic estimates. We derive analytic approximations for the confidence intervals (CIs) associated with patterns for a computationally efficient significance assessment. We prove that these approximate CIs are nested along specialization of patterns. This allows to incorporate pruning properties in DEvIANT to quickly discard non-significant patterns. Empirical study on several datasets demonstrates the efficiency and the usefulness of DEvIANT. Technical Report Associated with the ECML/PKDD 2019 Paper entitled: "DEvIANT: Discovering Significant Exceptional (Dis-)Agreement Within Groups"