TY - GEN A1 - Gebser, Martin A1 - Kaufmann, Benjamin A1 - Schaub, Torsten H. T1 - Multi-threaded ASP solving with clasp T2 - Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe N2 - We present the new multi-threaded version of the state-of-the-art answer set solver clasp. We detail its component and communication architecture and illustrate how they support the principal functionalities of clasp. Also, we provide some insights into the data representation used for different constraint types handled by clasp. All this is accompanied by an extensive experimental analysis of the major features related to multi-threading in clasp. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 586 KW - propositional satisfiability KW - clause elimination KW - parallel execution KW - SAT KW - algorithm KW - platypus KW - systems KW - search KW - solver Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-413977 SN - 1866-8372 IS - 586 ER - TY - GEN A1 - Schwarze, Thomas A1 - Müller, Holger A1 - Ast, Sandra A1 - Steinbrück, Dörte A1 - Eidner, Sascha A1 - Geißler, Felix A1 - Kumke, Michael Uwe A1 - Holdt, Hans-Jürgen T1 - Fluorescence lifetime-based sensing of sodium by an optode N2 - We report a 1,2,3-triazol fluoroionophore for detecting Na+ that shows in vitro enhancement in the Na+-induced fluorescence intensity and decay time. The Na+-selective molecule 1 was incorporated into a hydrogel as a part of a fiber optical sensor. This sensor allows the direct determination of Na+ in the range of 1–10 mM by measuring reversible fluorescence decay time changes. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 182 KW - ion optodes KW - sensors KW - indicators KW - chromoionophore KW - ionophore KW - membrane KW - switches KW - systems KW - samples KW - green Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-76785 SP - 14167 EP - 14170 PB - The Royal Society of Chemistry CY - Cambridge ER - TY - GEN A1 - Niedl, Robert Raimund A1 - Berenstein, Igal A1 - Beta, Carsten T1 - How imperfect mixing and differential diffusion accelerate the rate of nonlinear reactions in microfluidic channels N2 - In this paper, we show experimentally that inside a microfluidic device, where the reactants are segregated, the reaction rate of an autocatalytic clock reaction is accelerated in comparison to the case where all the reactants are well mixed. We also find that, when mixing is enhanced inside the microfluidic device by introducing obstacles into the flow, the clock reaction becomes slower in comparison to the device where mixing is less efficient. Based on numerical simulations, we show that this effect can be explained by the interplay of nonlinear reaction kinetics (cubic autocatalysis) and differential diffusion, where the autocatalytic species diffuses slower than the substrate. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 253 KW - arsenious acid KW - fronts KW - paper KW - poly(dimethylsiloxane) KW - scale KW - systems Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-95810 SP - 6451 EP - 6457 ER - TY - GEN A1 - Schaefer, Laura A1 - Bittmann, Frank T1 - Coherent behavior of neuromuscular oscillations between isometrically interacting subjects BT - experimental study utilizing wavelet coherence analysis of mechanomyographic and mechanotendographic signals T2 - Postprints der Universität Potsdam : Humanwissenschaftliche Reihe N2 - Previous research has shown that electrical muscle activity is able to synchronize between muscles of one subject. The ability to synchronize the mechanical muscle oscillations measured by Mechanomyography (MMG) is not described sufficiently. Likewise, the behavior of myofascial oscillations was not considered yet during muscular interaction of two human subjects. The purpose of this study is to investigate the myofascial oscillations intra- and interpersonally. For this the mechanical muscle oscillations of the triceps and the abdominal external oblique muscles were measured by MMG and the triceps tendon was measured by mechanotendography (MTG) during isometric interaction of two subjects (n = 20) performed at 80% of the MVC using their arm extensors. The coherence of MMG/MTG-signals was analyzed with coherence wavelet transform and was compared with randomly matched signal pairs. Each signal pairing shows significant coherent behavior. Averagely, the coherent phases of n = 485 real pairings last over 82 ± 39 % of the total duration time of the isometric interaction. Coherent phases of randomly matched signal pairs take 21 ± 12 % of the total duration time (n = 39). The difference between real vs. randomly matched pairs is significant (U = 113.0, p = 0.000, r = 0.73). The results show that the neuromuscular system seems to be able to synchronize to another neuromuscular system during muscular interaction and generate a coherent behavior of the mechanical muscular oscillations. Potential explanatory approaches are discussed. T3 - Zweitveröffentlichungen der Universität Potsdam : Humanwissenschaftliche Reihe - 480 KW - motor unit synchronization KW - muscle KW - task KW - contractions KW - humans KW - magnetoencephalography KW - systems KW - power KW - hand KW - time Y1 - 2018 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-419864 IS - 480 ER - TY - GEN A1 - Naliboff, John B. A1 - Glerum, Anne A1 - Brune, Sascha A1 - Péron-Pinvidic, G. A1 - Wrona, Thilo T1 - Development of 3-D rift heterogeneity through fault network evolution T2 - Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe N2 - Observations of rift and rifted margin architecture suggest that significant spatial and temporal structural heterogeneity develops during the multiphase evolution of continental rifting. Inheritance is often invoked to explain this heterogeneity, such as preexisting anisotropies in rock composition, rheology, and deformation. Here, we use high-resolution 3-D thermal-mechanical numerical models of continental extension to demonstrate that rift-parallel heterogeneity may develop solely through fault network evolution during the transition from distributed to localized deformation. In our models, the initial phase of distributed normal faulting is seeded through randomized initial strength perturbations in an otherwise laterally homogeneous lithosphere extending at a constant rate. Continued extension localizes deformation onto lithosphere-scale faults, which are laterally offset by tens of km and discontinuous along-strike. These results demonstrate that rift- and margin-parallel heterogeneity of large-scale fault patterns may in-part be a natural byproduct of fault network coalescence. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 1183 KW - magma-poor KW - continental lithosphere KW - extension KW - insights KW - margins KW - architecture KW - systems KW - models KW - sea KW - reactivation Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-524661 SN - 1866-8372 IS - 13 ER -