977 resultados para Cook-Levin SAT SAT-solver
Resumo:
Marriage ritual in Arabic, the Story of the fast of Satī Mā also known as the fast of Maulā ʻAlī, a Prayer to be recited during ceremony for the forgiveness of sin on the Great Day (the Day of Judgement), the short kalimah or testimony of faith and the long kalimah.
Resumo:
Der Wiederkäuerklinik oder dem Institut für Genetik der Universität Bern wurden zwi-schen 2012 und 2014 insgesamt 5 Rinder der Rasse Simmental vorgestellt, die je-weils nicht sistierende Blutungen nach Trauma zeigten. Alle betroffenen Tiere waren homozygote Träger für die seit 2007 bekannte RASGRP2 Mutation. Die verfügbaren Eltern wurden als heterozygote Anlageträger genotypisiert, was somit einen rezessi-ven Erbgang bestätigt. Drei erkrankte Tiere sind an den Folgen der unstillbaren Blu-tungen verstorben. Ein Tier konnte stabilisiert werden und wurde einen Monat nach der Entlassung aus der Klinik geschlachtet. Bei einem weiteren Fall wurden wieder-holt andauernde Blutungen sowie mehrmals Hämatome festgestellt und nach der genetischen Analyse wurde das Rind euthanasiert. Die Genotypisierung einer Stich-probe von 145 Stieren, die im Jahr 2013 in der Schweiz in der künstlichen Besamung zum Einsatz kamen, zeigte, dass 10% der getesteten Stiere in der Schweiz Anlage-träger für die assoziierte Mutation sind. Diese Stiere werden mit TP carrier gekenn-zeichnet und sollten zukünftig nicht mehr unkontrolliert eingesetzt werden. Die Zuchtverantwortlichen in der Schweiz nutzen heute den Gentest systematisch zur Selektion von anlagefreien Stieren.
Resumo:
Partial differential equation (PDE) solvers are commonly employed to study and characterize the parameter space for reaction-diffusion (RD) systems while investigating biological pattern formation. Increasingly, biologists wish to perform such studies with arbitrary surfaces representing ‘real’ 3D geometries for better insights. In this paper, we present a highly optimized CUDA-based solver for RD equations on triangulated meshes in 3D. We demonstrate our solver using a chemotactic model that can be used to study snakeskin pigmentation, for example. We employ a finite element based approach to perform explicit Euler time integrations. We compare our approach to a naive GPU implementation and provide an in-depth performance analysis, demonstrating the significant speedup afforded by our optimizations. The optimization strategies that we exploit could be generalized to other mesh based processing applications with PDE simulations.
Resumo:
Sediment porewater oxygen profiles were measured with micro and needle electrodes in sediment cores of 27 stations in the Skagerrak (northeastern North Sea). Oxygen penetration depth ranged from 3 to 20 mm depth. Fluxes estimated from the oxygen gradients varied from 3 to 18 mmol m**-2 d**-1. Oxygen penetration and flux depend on water depth, but possibly more on the hydrological conditions, related to the import of fresh organic matter by primary production in the water column. Oxygen fluxes were not related to the total organic carbon (TOC) content of the sediments. Stations in the eastern part of the Skagerrak showed high burial rates of TOC. At 6 stations porewater chemistry of Fe, Mn and NO3- was strongly associated with the oxygen distribution. The average relative contribution of terminal electron acceptors to carbon mineralisation was estimated at 85% for O2, 0.5% for Mn, 4.5% for [NO3]3-, 1% for Fe and 9% for [SO4]2-. At one station the occurrence of exceptionally high solid manganese oxyhydroxides was probably related to an active internal manganese cycle.
Resumo:
Ascidians (Ascidiacea: Tunicata) are sessile suspension feeders that represent dominant epifaunal components of the Southern Ocean shelf benthos and play a significant role in the pelagic-benthic coupling. Here, we report the results of a first study on the relationship between the distribution patterns of eight common and/or abundant (putative) ascidian species, and environmental drivers in the waters off the northern Antarctic Peninsula. During RV Polarstern cruise XXIX/3 (PS81) in January-March 2013, we used seabed imaging surveys along 28 photographic transects of 2 km length each at water depths from 70 to 770 m in three regions (northwestern Weddell Sea, southern Bransfield Strait and southern Drake Passage), differing in their general environmental setting, primarily oceanographic characteristics and sea-ice dynamics, to comparatively analyze the spatial patterns in the abundance of the selected ascidians, reliably to be identified in the photographs, at three nested spatial scales. At a regional (100-km) scale, the ascidian assemblages of the Weddell Sea differed significantly from those of the other two regions, whereas at an intermediate 10-km scale no such differences were detected among habitat types (bank, upper slope, slope, deep/canyon) on the shelf and at the shelf break within each region. These spatial patterns were superimposed by a marked small-scale (10-m) patchiness of ascidian distribution within the 2-km-long transects. Among the environmental variables considered in our study, a combination of water-mass characteristics, sea-ice dynamics (approximated by 5-year averages in sea-ice cover in the region of or surrounding the photographic stations), as well as the seabed ruggedness, was identified as explaining best the distribution patterns of the ascidians.