On semiclassical calculation of three-point functions in AdS_5 \times T^(1,1)

Recently there has been progress on the computation of two- and three-point correlation functions with two "heavy" states via semiclassical methods. We extend this analysis to the case of AdS_5 \times T^(1,1), and examine the suggested procedure for the case of several simple string solutions. By making use of AdS/CFT duality, we derive the relevant correlation functions of operators belonging to the dual gauge theory.Comment: 18 pages, added referenc

Exploiting Term Hiding to Reduce Run-time Checking Overhead

One of the most attractive features of untyped languages is the flexibility in term creation and manipulation. However, with such power comes the responsibility of ensuring the correctness of these operations. A solution is adding run-time checks to the program via assertions, but this can introduce overheads that are in many cases impractical. While static analysis can greatly reduce such overheads, the gains depend strongly on the quality of the information inferred. Reusable libraries, i.e., library modules that are pre-compiled independently of the client, pose special challenges in this context. We propose a technique which takes advantage of module systems which can hide a selected set of functor symbols to significantly enrich the shape information that can be inferred for reusable libraries, as well as an improved run-time checking approach that leverages the proposed mechanisms to achieve large reductions in overhead, closer to those of static languages, even in the reusable-library context. While the approach is general and system-independent, we present it for concreteness in the context of the Ciao assertion language and combined static/dynamic checking framework. Our method maintains the full expressiveness of the assertion language in this context. In contrast to other approaches it does not introduce the need to switch the language to a (static) type system, which is known to change the semantics in languages like Prolog. We also study the approach experimentally and evaluate the overhead reduction achieved in the run-time checks.Comment: 26 pages, 10 figures, 2 tables; an extension of the paper version accepted to PADL'18 (includes proofs, extra figures and examples omitted due to space reasons

Degradation Kinetics of Lignocellulolytic Enzymes in a Biogas Reactor Using Quantitative Mass Spectrometry

The supplementation of lignocellulose-degrading enzymes can be used to enhance the performance of biogas production in industrial biogas plants. Since the structural stability of these enzyme preparations is essential for efficient application, reliable methods for the assessment of enzyme stability are crucial. Here, a mass-spectrometric-based assay was established to monitor the structural stability of enzymes, i.e., the structural integrity of these proteins, in anaerobic digestion (AD). The analysis of extracts of Lentinula edodes revealed the rapid degradation of lignocellulose-degrading enzymes, with an approximate half-life of 1.5 h. The observed low structural stability of lignocellulose-degrading enzymes in AD corresponded with previous results obtained for biogas content. The established workflow can be easily adapted for the monitoring of other enzyme formulations and provides a platform for evaluating the effects of enzyme additions in AD, together with a characterization of the biochemical methane potential used in order to determine the biodegradability of organic substrates

Shape-Based Separation of Micro-/Nanoparticles in Liquid Phases

The production of particles with shape-specific properties is reliant upon the separation of micro-/nanoparticles of particular shapes from particle mixtures of similar volumes. However, compared to a large number of size-based particle separation methods, shape-based separation methods have not been adequately explored. We review various up-to-date approaches to shape-based separation of rigid micro-/nanoparticles in liquid phases including size exclusion chromatography, field flow fractionation, deterministic lateral displacement, inertial focusing, electrophoresis, magnetophoresis, self-assembly precipitation, and centrifugation. We discuss separation mechanisms by classifying them as either changes in surface interactions or extensions of size-based separation. The latter includes geometric restrictions and shape-dependent transport properties

Electrochemical method for isolation of chitinous 3D scaffolds from cultivated Aplysina aerophoba marine demosponge and its biomimetic application

Three-dimensional (3D) biopolymer-based scaffolds including chitinous matrices have been widely used for tissue engineering, regenerative medicine and other modern interdisciplinary fields including extreme biomimetics. In this study, we introduce a novel, electrochemically assisted method for 3D chitin scaffolds isolation from the cultivated marine demosponge Aplysina aerophoba which consists of three main steps: (1) decellularization, (2) decalcification and (3) main deproteinization along with desilicification and depigmentation. For the first time, the obtained electrochemically isolated 3D chitinous scaffolds have been further biomineralized ex vivo using hemolymph of Cornu aspersum edible snail aimed to generate calcium carbonates-based layered biomimetic scaffolds. The analysis of prior to, during and post-electrochemical isolation samples as well as samples treated with molluscan hemolymph was conducted employing analytical techniques such as SEM, XRD, ATR–FTIR and Raman spectroscopy. Finally, the use of described method for chitin isolation combined with biomineralization ex vivo resulted in the formation of crystalline (calcite) calcium carbonate-based deposits on the surface of chitinous scaffolds, which could serve as promising biomaterials for the wide range of biomedical, environmental and biomimetic applications. © 2020, The Author(s).Politechnika PoznaÅ ska, PUT: 0911/SBAD/0380/2019Deutsche Forschungsgemeinschaft, DFG: HE 394/3Deutscher Akademischer Austauschdienst, DAADRussian Science Foundation, RSF: 18-13-00220PPN/BEK/2018/1/0007103/32/SBAD/0906Sächsisches Staatsministerium für Wissenschaft und Kunst, SMWK: 02010311This work was performed with the financial support of Poznan University of Technology, Poland (Grant No. 0911/SBAD/0380/2019), as well as by the Ministry of Science and Higher Education (Poland) as financial subsidy to PUT No. 03/32/SBAD/0906. Krzysztof Nowacki was supported by the Erasmus Plus program (2019). Also, this study was partially supported by the DFG Project HE 394/3 and SMWK Project No. 02010311 (Germany). Marcin Wysokowski is financially supported by the Polish National Agency for Academic Exchange (PPN/BEK/2018/1/00071). Tomasz Machałowski is supported by DAAD (Personal Ref. No. 91734605). Yuliya Khrunyk is supported by the Russian Science Foundation (Grant No. 18-13-00220)