cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
ИЗМЕРЕНИЕ ПОКАЗАТЕЛЯ ПРЕЛОМЛЕНИЯ ЖИДКОСТИ С ПОМОЩЬЮ МОДОВОГО ИНТЕРФЕРОМЕТРА МАХА-ЦЕНДЕРА НА ОСНОВЕ УТОНЕННОГО ВОЛОКНА
Creators: name: Симонов В.А.
name: Ризк Х.А.
Publisher: name: Фотон-экспресс
Year: 2023

description: Интерферометры Маха-Цендера (ИМЦ), плечи которых образуются разными модами оптического волокна, могут использоваться в качестве датчиков уровня жидкости, показателя преломления и/или температуры/деформации/изгиба [1]. Разность длин плеч возникает из-за различия эффективного показателя преломления neff мод, а чувствительность обуславливается тем, что внешняя среда является «оболочкой», и ее показатель преломления влияет на neff . Эффективный показатель преломления моды изменяется больше с ростом порядка моды. К недостаткам можно отнести образование более чем двух плеч, что приводит к интерференции большего числа лучей, чем в случае классического ИМЦ, и усложняет анализ интерференционной картины. В данной работе представлены экспериментальные результаты исследования зависимости спектров пропускания от показателя преломления внешней среды для ранее предложенной конструкции ИМЦ [2], изображенной на Рис. 1(а). В качестве внешней среды с изменяющимся показателем преломления используется водный раствор глицерина с массовой концентрацией от 0% до 50 %, что соответствует диапазону показателя преломления от 1,3165 до 1,3821. Кроме того, предлагается использовать преобразование Фурье вместо слежения за положением экстремума для анализа интерференционной картины ИМЦ: резонансная частота, соответствующая интерференции доминирующих мод, позволяет избавится от неопределенности при сдвиге интерференционной картины более чем на ОСД, а фаза Фурье-преобразования меньше зависит от шума и вклада мод более высокого порядка
Synthese und biologische Evaluierung von Inhibitoren der Acyl-Protein-Thioesterase 1
Creators: name: Deck, Patrick Hugo
Publisher: name: Universität Dortmund
Year: 2002
Subjects: subject: Organische Synthese
subject: Biologie
subject: Signaltransduktion
subject: 540

description: In die während der biologischen Signaltransduktion ablaufenden Prozesse sind eine Vielzahl unterschiedlicher Proteine eingebunden, von denen sich einige durch kovalent gebundene Lipidreste auszeichnen. Diese Lipidmodifizierungen sind in den meisten Fällen essenziell für eine korrekte Funktion der betreffenden Proteine. Prominente Vertreter sind die sogenannten Ras-Proteine. Sie sind in Signaltransduktionskaskaden involviert, über die unter anderem das Zellwachstum und die Zellteilung gesteuert werden. Unter den Lipidmodifizierungen, die bei Ras-Proteinen essenziell sind, befindet sich neben anderen die S-Palmitoylierung interner Cysteine. Im Hinblick auf die molekulare Maschinerie und Bedeutung der Palmitoylierung herrscht gegenwärtig Unklarheit. Ein Enzym, das eine regulierende Rolle bei der Palmitoylierung / Depalmitoylierung von Ras-Proteinen spielen könnte, ist die Acyl-Protein-Thioesterase 1 (APT1). Um Aussagen über die physiologische Rolle der APT1 treffen zu können, wurden im Rahmen der vorliegenden Arbeit Inhibitoren des Enzyms konzipiert, synthetisiert und in zellbiologischen Untersuchungen deren biologische Wirksamkeit evaluiert.
description: Different covalently lipidated proteins play decisive roles in biological signal transduction. The lipid modifications of the proteins are usually essential for their correct biological function. One class of those proteins, the Ras proteins, are involved in signal transduction processes, that are responsible for controlled cell growth and proliferation. Besides others, one essential lipid modification of Ras proteins is the S-palmitoylation of cysteine residues. Only few is known about the molecular machinery of the palmitoylation process. One enzyme, that is thought to be the first bona fide player in palmityolation / depalmitoylation cycles of Ras proteins is the Acyl-Protein-Thioesterase 1 (APT1). To get a better understanding of the physiological role of the APT1, inhibitors of the enzyme were designed, synthesized and biologically evaluated.
A Formal Proof of the Strong Normalization Theorem for System T in Agda
Creators: name: Urciuoli, Sebastián
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We present a framework for the formal meta-theory of lambda calculi in first-order syntax, with two sorts of names, one to represent both free and bound variables, and the other for constants, and by using Stoughton's multiple substitutions. On top of the framework we formalize Girard's proof of the Strong Normalization Theorem for both the simply-typed lambda calculus and System T. As to the latter, we also present a simplification of the original proof. The whole development has been machine-checked using the Agda system.
description: In Proceedings LSFA 2022, arXiv:2303.12680
Optimización del sistema de acueducto y ampliación del sistema de alcantarillado de la localidad de Galerazamba municipio de Santa Catalina ( Bolivar )
Creators: name: Arrieta Llach, Antonio
name: Cordoba Miranda, Ruben
Publisher: name: Universidad de Cartagena
Year: 2003
Subjects: Alacantarillado

description: Tesis ( Ingeniero Civil ) -- Universidad de Cartagena. Facultad de Ciencias e Ingenierías . Programa de Ingeniería Civil, 2003.
description: El presente estudio tiene por objeto optimizar el sistema de acueducto existente, ampliar el sistema de recolección, conducción y tratamiento de las aguas servidas en la localidad de Galerazamba, municipio de Santa Catalina y ajustarlos al RAS - 2000.
The global non-linear stability of the Kerr-de Sitter family of black holes
Creators: name: Hintz, Peter
name: Vasy, András
Publisher: name: arXiv
Year: 2016
Subjects: subject: Differential Geometry (math.DG)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Mathematical Physics (math-ph)
subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 83C57 (Primary), 83C05, 35B40, 58J47, 83C35 (Secondary)

description: We establish the full global non-linear stability of the Kerr-de Sitter family of black holes, as solutions of the initial value problem for the Einstein vacuum equations with positive cosmological constant, for small angular momenta, and without any symmetry assumptions on the initial data. We achieve this by extending the linear and non-linear analysis on black hole spacetimes described in a sequence of earlier papers by the authors: We develop a general framework which enables us to deal systematically with the diffeomorphism invariance of Einstein's equations. In particular, the iteration scheme used to solve Einstein's equations automatically finds the parameters of the Kerr-de Sitter black hole that the solution is asymptotic to, the exponentially decaying tail of the solution, and the gauge in which we are able to find the solution; the gauge here is a wave map/DeTurck type gauge, modified by source terms which are treated as unknowns, lying in a suitable finite-dimensional space.
description: 167 pages, 24 figures. v2 is the published version, with improved exposition
Análisis de la crisis cafetera en Colombia a partir del rompimiento del pacto
Creators: name: Araque Coronel, Jair
name: Torrejano Alarcon, Alexander
Publisher: name: Universidad de Cartagena
Year: 1995
Subjects: Café - Comercio - Colombia
Federación Nacional de Cafeteros - Aspectos económicos
Cafeteros - Aspectos económicos

description: Tesis (Economista).--Universidad de Cartagena. Facultad de Ciencias Económicas. Programa de Economía, 1995.
description: El presente estudio tiene por objeto determinar las posibles estrategias para que el sector cafetero restablezca su dinamismo y estabilidad.
Ermittlung von Verwundbarkeitenmit elektronischen Ködern
Creators: name: Dornseif, Maximillian
name: Gärtner, Felix C.
name: Holz, Thorsten
Publisher: name: Gesellschaft für Informatik
Year: 2004
Subjects: subject: Honeynet
subject: Honeypot
subject: Verwundbarkeitsanalyse
subject: 004

description: Als elektronische Köder (honeypots) bezeichnet man Netzwerkressourcen, deren Wert darin besteht, angegriffen und kompromittiert zu werden. Oft sind dies Computer, die keine spezielle Aufgabe im Netzwerk haben, aber ansonsten nicht von regulären Rechnern zu unterscheiden sind. Köder können zu Köder-Netzwerken (honeynets) zusammengeschlossen werden. Sie sind mit spezieller Software ausgestattet, die die Forensik einer eingetretenen Schutzzielverletzung erleichtert. Durch die Vielfalt an mitgeschnittenen Daten kann man deutlich mehr über das Verhalten von Angreifern in Netzwerken lernen als mit herkömmlichen forensischen Methoden. Dieser Beitrag stellt die Philosophie der Köder-Netzwerke vor und beschreibt die ersten Erfahrungen, die mit einem solchen Netzwerk an der RWTH Aachen gemacht wurden.
description: Lecture Notes in Informatics;P-46
Molecular Regulation of Inflammatory Pain and Hyperalgesia - Is NF-?B the Lynchpin?
Creators: name: Haddad, John J.
Publisher: name: Technische Universität Dortmund
Year: 2007
Subjects: subject: Hyperalgesia
subject: inflammation
subject: NF-kB
subject: nociception
subject: pain
subject: transcription factors
subject: 610

description: Inflammatory cells and inflammatory mediators are crucially involved in the genesis, persistence and severity of pain following trauma, infection or nerve injury. The mechanisms and pathways mediating pain and nociception are transcriptionally regulated. The transcriptional mediator nuclear factor (NF)-kB plays a major role in regulating the inflammatory milieu, ostensibly via the control of gene expression/suppression. An association has recently emerged to establish a possible link between NF-kB and pain/nociception, purportedly through the regulation of the inflammatory loop and the secretion (biosynthesis) of pro-inflammatory mediators. Current concepts conspicuously indicate that the effective inhibition of this transcription factor and associated upstream kinase(s) and the pathways that regulate its nuclear translocation could be major targets in a new strategy for the alleviation of inflammation and inflammatory-related pain. To better understand this relationship between NF-kB and the evolution of pain and hyperalgesia/nociception, it is imperative to unravel the molecular basis of this process. This survey definitively integrates current themes pertaining to the pivotal role that NF-kB shares in regulating pain through the decoding of implicated molecular pathways and signaling mechanisms.
description: EXCLI Journal ; Vol. 6, 2007
Speed of Gravitational Waves and the Fate of Scalar-Tensor Gravity
Creators: name: Bettoni, Dario
name: Ezquiaga, Jose María
name: Hinterbichler, Kurt
name: Zumalacárregui, Miguel
Publisher: name: arXiv
Year: 2016
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The direct detection of gravitational waves (GWs) is an invaluable new tool to probe gravity and the nature of cosmic acceleration. A large class of scalar-tensor theories predict that GWs propagate with velocity different than the speed of light, a difference that can be $\mathcal{O}(1)$ for many models of dark energy. We determine the conditions behind the anomalous GW speed, namely that the scalar field spontaneously breaks Lorentz invariance and couples to the metric perturbations via the Weyl tensor. If these conditions are realized in nature, the delay between GW and electromagnetic (EM) signals from distant events will run beyond human timescales, making it impossible to measure the speed of GWs using neutron star mergers or other violent events. We present a robust strategy to exclude or confirm an anomalous speed of GWs using eclipsing binary systems, whose EM phase can be exquisitely determined. he white dwarf binary J0651+2844 is a known example of such system that can be used to probe deviations in the GW speed as small as $c_g/c-1\gtrsim 2\cdot 10^{-12}$ when LISA comes online. This test will either eliminate many contender models for cosmic acceleration or wreck a fundamental pillar of general relativity.
description: 7 pages, comments welcome
Growth of Replacements
Creators: name: Bui, Vuong
Publisher: name: Freie Universität Berlin
Year: 2022
Subjects: subject: replacements
subject: growth
subject: game
subject: 500 Naturwissenschaften und Mathematik::510 Mathematik::510 Mathematik

description: The following game in a similar formulation to Petri nets and chip-firing games is studied: Given a finite collection of baskets, each has an infinite number of balls of the same value. Initially, a ball from some basket is chosen to put on the table. Subsequently, in each step a ball from the table is chosen to be replaced by some 2 balls from some baskets. Which baskets to take depend only on the ball to be replaced and they are decided in advance. Given some n, the object of the game is to find the maximum possible sum of values g(n) for a table of n balls. In this article, the sequence g(n)/n for n=1,2,… will be shown to converge to a growth rate λ. Furthermore, this value λ is also the rate of a structure called pseudo-loop and the solution of a rather simple linear program. The structure and the linear program are closely related, e.g. a solution of the linear program gives a pseudo-loop with the rate λ in linear time of the number of baskets, and vice versa with the pseudo-loop giving a solution to the dual linear program. A method to test in quadratic time whether a given λ0 is smaller than λ is provided to approximate λ. When the values of the balls are all rational, we can compute the precise value of λ in cubic time, using the quadratic time rate test algorithm and the binary search with a special condition to stop. Four proofs of the limit λ are given: one just uses the relation between the baskets, one uses pseudo-loops, one uses the linear program and one uses Fekete's lemma (the latest proof assumes a condition on the rule of replacements).
Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation
Creators: name: Doberkat, Ernst-Erich
name: Hasselbring, Wilhelm
name: Pahl, C.
Publisher: name: Universität Dortmund
Year: 2002
Subjects: subject: cooperative planning
subject: multi-agent systems
subject: prototyping parallel algorithms
subject: requirements elicitation
subject: 004

description: This paper discusses the application of the prototyping approach to investigating the requirements on strategies for cooperative planning and conflict resolution of independent agents by means of an example application: the strategic game "Scotland Yard". The strategies for coordinating the agents, which are parallel algorithms, are developed with a prototyping approach using ProSet-Linda. ProSet-Linda is designed for prototyping parallel algorithms. We concentrate on the techniques employed to elicit the requirements on the algorithms for agent interaction. The example application serves to illustrate the prototyping approach to requirements elicitation by means of a non-trivial instance for investigating algorithms for cooperative planning and conflict resolution.
description: Internes Memorandum des Lehrstuhls für Software-Technologie / Fachbereich Informatik, Universität Dortmund ; 86
Rapid Sampling of Stochastic Displacements in Brownian Dynamics Simulations
Creators: name: Fiore, A. M.
name: Usabiaga, F. Balboa
name: Donev, A.
name: Swan, J. W.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences

description: We present a new method for sampling stochastic displacements in Brownian Dynamics (BD) simulations of colloidal scale particles. The method relies on a new formulation for Ewald summation of the Rotne-Prager-Yamakawa (RPY) tensor, which guarantees that the real-space and wave-space contributions to the tensor are independently symmetric and positive-definite for all possible particle configurations. Brownian displacements are drawn from a superposition of two independent samples: a wave-space (far-field or long-ranged) contribution, computed using techniques from fluctuating hydrodynamics and non-uniform Fast Fourier Transforms; and a real-space (near-field or short-ranged) correction, computed using a Krylov subspace method. The combined computational complexity of drawing these two independent samples scales linearly with the number of particles. The proposed method circumvents the super-linear scaling exhibited by all known iterative sampling methods applied directly to the RPY tensor that results from the power law growth of the condition number of tensor with the number of particles. Calculations for hard sphere dispersions and colloidal gels are illustrated and used to explore the role of microstructure on performance of the algorithm. In practice, the logarithmic part of the predicted scaling is not observed and the algorithm scales linearly for up to 4 million particles, obtaining speed ups of over an order of magnitude over existing iterative methods, and making the cost of computing Brownian displacements comparable the cost of computing deterministic displacements in BD simulations. A high-performance implementation employing non-uniform fast Fourier transforms implemented on graphics processing units and integrated with the software package HOOMD-blue is used for benchmarking.
description: To appear in J. Chem. Phys. Code available at https://github.com/stochasticHydroTools/PSE
An energy-resolved atomic scanning probe
Creators: name: Gruss, Daniel
name: Chien, Chih-Chun
name: Barreiro, Julio
name: Di Ventra, Massimiliano
name: Zwolak, Michael
Publisher: name: arXiv
Year: 2016
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Quantum Gases (cond-mat.quant-gas)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We propose a method to probe the local density of states (LDOS) of atomic systems that provides both spatial and energy resolution. The method combines atomic and tunneling techniques to supply a simple, yet quantitative and operational, definition of the LDOS for both interacting and non-interacting systems: It is the rate at which particles can be siphoned from the system of interest by a narrow energy band of non-interacting states contacted locally to the many-body system of interest. Ultracold atoms in optical lattices are a natural platform for implementing this broad concept to visualize the energy and spatial dependence of the atom density in interacting, inhomogeneous lattices. This includes models of strongly correlated condensed matter systems, as well as ones with non-trivial topologies.
description: 9 pages, 7 figures; Appeared in the Focus on Quantum Transport in Ultracold Atoms in the New Journal of Physics
ВЕСТНИК ОБРАЗОВАНИЯ И РАЗВИТИЯ НАУКИ РОССИЙСКОЙ АКАДЕМИИ ЕСТЕСТВЕННЫХ НАУК,Выпуск 2 2020
Creators: name: экономики, финансов
Publisher: name: Государственный институт экономики, финансов, права и технологий
Year: 2020

description: ВЕСТНИК ОБРАЗОВАНИЯ И РАЗВИТИЯ НАУКИ РОССИЙСКОЙ АКАДЕМИИ ЕСТЕСТВЕННЫХ НАУК,Выпуск 2 2020
Lanelater fuscipes
Creators: name: Hoffmannova, Johana
name: Packova, Gabriela
name: Prosvirov, Alexander S.
name: Akhter, Muhammad Atique
name: Kundrata, Robin
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Elateridae
Lanelater
Lanelater fuscipes

description: Lanelater fuscipes (Fabricius, 1775)
Elater fuscipes Fabricius, 1775: 211.
Lanelater fuscipes: Arnett, 1952: 105. For more information, including synonyms, see Hayek (1973, 1979).
Distribution. India, Nepal, Pakistan; Afrotropical Region; Oriental Region (Cate 2007, Akhter et al. 2012 a, Naz et al. 2012).
Literature. Akhter et al. (2012a: 45): first record from Pakistan; Naz et al. (2012: 58): revision, figures of habitus and male and female genitalia; Akhter et al. (2014: 119): key.
description: Published as part of Hoffmannova, Johana, Packova, Gabriela, Prosvirov, Alexander S., Akhter, Muhammad Atique & Kundrata, Robin, 2023, An updated catalogue of Agrypninae (Coleoptera: Elateridae) from Pakistan, pp. 281-305 in Zootaxa 5270 (2) on page 299, DOI: 10.11646/zootaxa.5270.2.6, http://zenodo.org/record/7864780
Classification and regression of stenosis using an in-vitro pulse wave data set: Dependence on heart rate, waveform and location
Creators: name: Mair, Alexander
name: Wisotzki, Michelle
name: Bernhard, Stefan
Publisher: name: Freie Universität Berlin
Year: 2022
Subjects: subject: Stenosis
subject: Machine learning
subject: Inverse problem
subject: In-vitro simulator
subject: Classification
subject: Regression
subject: 500 Naturwissenschaften und Mathematik::510 Mathematik::510 Mathematik

description: Background: Data-based approaches promise to use the information in cardiovascular signals to diagnose cardiovascular diseases. Considerable effort has been undertaken in the field of pulse-wave analysis to harness this information. However, the inverse problem, inferring arterial properties from waveform measurements, is not well understood today. Consequently, uncertainties within the estimation hinder the diagnostic application of such methods. Method: This work contributes a publicly available data set measured at an in-vitro cardiovascular simulator, focusing on a set of input conditions (heart rate, waveform) and stenosis locations. Furthermore, a first attempt is undertaken to perform classification and regression on this data set using standard machine learning methods on features extracted from four peripheral pressure signals. Results: The locations of six different stenoses could be distinguished at high accuracy of 93%, where transfer function-based features outperformed features based solely on signal shape in almost all cases. Furthermore, regression on the stenosis position could be performed with a root mean square error of 2.4 cm along a 20 cm section of the arterial system using a shallow neural network. However, the performance difference between shape and transfer function features was not clear for this task. Conclusion: The data set contains 800 measurements and allows investigating the influence of different heart boundary conditions, such as heart rate and waveform shape, on classification and regression tasks. Extracting features that minimise this influence is a promising way of improving the performance of these tasks.
A Lightcone Embedding of the Twin Building of a Hyperbolic Kac-Moody Group
Creators: name: Carbone, Lisa
name: Feingold, Alex J.
name: Freyn, Walter
Publisher: name: arXiv
Year: 2016
Subjects: subject: Group Theory (math.GR)
subject: Representation Theory (math.RT)
subject: FOS: Mathematics
subject: 20G44 (Primary), 20E42, 20F05, 51E24 (Secondary)

description: Let A be a symmetrizable hyperbolic generalized Cartan matrix with Kac-Moody algebra g = g(A) and (adjoint) Kac-Moody group G = G(A)=$\langle\exp(ad(t e_i)), \exp(ad(t f_i)) \,|\, t\in C\rangle$ where $e_i$ and $f_i$ are the simple root vectors. Let $(B^+, B^-, N)$ be the twin BN-pair naturally associated to G and let $(\mathcal B^+,\mathcal B^-)$ be the corresponding twin building with Weyl group W and natural G-action, which respects the usual W-valued distance and codistance functions. This work connects the twin building of G and the Kac-Moody algebra g in a new geometrical way. The Cartan-Chevalley involution, $ω$, of g has fixed point real subalgebra, k, the 'compact' (unitary) real form of g, and k contains the compact Cartan t = k $\cap$ h. We show that a real bilinear form $(\cdot,\cdot)$ is Lorentzian with signatures $(1, \infty)$ on k, and $(1, n -1)$ on t. We define $\{x\in {\rm k} \,|\, (x, x) \leq 0\}$ to be the lightcone of k, and similarly for t. Let K be the compact (unitary) real form of G, that is, the fixed point subgroup of the lifting of $ω$ to G. We construct a K-equivariant embedding of the twin building of G into the lightcone of the compact real form k of g. Our embedding gives a geometric model of part of the twin building, where each half consists of infinitely many copies of a W-tessellated hyperbolic space glued together along hyperplanes of the faces. Locally, at each such face, we find an $SU(2)$-orbit of chambers stabilized by $U(1)$ which is thus parametrized by a Riemann sphere $SU(2)/U(1)\cong S^2$. For n = 2 the twin building is a twin tree. In this case, we construct our embedding explicitly and we describe the action of the real root groups on the fundamental twin apartment. We also construct a spherical twin building at infinity, and construct an embedding of it into the set of rays on the boundary of the lightcone.
description: 47 pages, Latex with eight pdf figures, final published version
Vitruv: Specifying Temporal Aspects of Multimedia Presentations - A Transformational Approach based on Intervals
Creators: name: Alfert, Klaus
Publisher: name: Universität Dortmund
Year: 2003
Subjects: subject: 004

description: The development of large multimedia applications reveals similar problems to those of developing large software systems. This is not surprising, as multimedia applications are a special kind of software systems. Our experience within the Altenberg Cathedral Project showed, however, that during developing multimedia applications particular problems arise, which do not appear during traditional software development. This is the starting point of the research reported in this thesis. In this introduction, we start with a report on the Altenberg Cathedral Project (sec. 1.1), resulting in a problem statement and a list of requirements for possible solutions. After that we propose our solution named Vitruv (sec. 1.2 on page 11) and explain how it works in general (sec. 1.3 on page 12). It is followed by a discussion of key aspects of Vitruv and relations to other approaches (sec. 1.4 on page 14). The introduction closes with a brief outline of the thesis.
description: Internes Memorandum des Lehrstuhls für Software-Technologie / Fachbereich Informatik, Universität Dortmund ; 136
Lineamientos técnicos para la formulación del plan de manejo integral de residuos sólidos del municipio de Santa Cruz de Monpox
Creators: name: Diaz Rodriguez, Diana Carolina
name: Eljadue Lopez, Jhon Jairo
Publisher: name: Universidad de Cartagena
Year: 2005
Subjects: Residuos
Productos de residuos
Basuras y aprovechamiento de basuras
Aprovechamiento de residuos

description: Tesis ( Ingeniero Civil ).--Universidad de Cartagena. Facultad de Ciencias E Ingenierías. Programa de Ingeniería Civil, 2005.
description: El presente estudio tiene por objeto realizar lineamientos técnicos para la formulación del plan de manejo integral de residuos sólidos del municipio de santa cruz de mompox.
Physical Angular Momentum Separation for QED
Creators: name: Sun, Weimin
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We study the non-uniqueness problem of the gauge-invariant angular momentum separation for the case of QED, which stems from the recent controversy concerning the proper definitions of the orbital angular momentum and spin operator of the individual parts of a gauge field system. For the free quantum electrodynamics without matter, we show that the basic requirement of Euclidean symmetry selects a unique physical angular momentum separation scheme from the multitude of the possible angular momentum separation schemes constructed using the various Gauge Invariant Extentions. Based on these results, we propose a set of natural angular momentum separation schemes for the case of interacting QED by invoking the formalism of asymptotic fields. Some perspectives on such a problem for the case of QCD are briefly discussed.
description: 10 pages, no figures, final version appearing in Mod. Phys. Lett. A
Chemical Approaches to Synthetic Drug Delivery Systems for Systemic Applications
Creators: name: Braatz, Daniel
name: Cherri, Mariam
name: Tully, Michael
name: Dimde, Mathias
name: Ma, Guoxin
name: Mohammadifar, Ehsan
name: Reisbeck, Felix
name: Ahmadi, Vahid
name: Schirner, Michael
name: Haag, Rainer
Publisher: name: Freie Universität Berlin
Year: 2022
Subjects: subject: Drug Delivery Systems
subject: PEGylation
subject: Polymer–Drug Conjugates
subject: Polymer–Protein Conjugates
subject: Self-Assembled Systems
subject: 500 Naturwissenschaften und Mathematik::540 Chemie::540 Chemie und zugeordnete Wissenschaften

description: Poor water solubility and low bioavailability of active pharmaceutical ingredients (APIs) are major causes of friction in the pharmaceutical industry and represent a formidable hurdle for pharmaceutical drug development. Drug delivery remains the major challenge for the application of new small-molecule drugs as well as biopharmaceuticals. The three challenges for synthetic delivery systems are: (i) controlling drug distribution and clearance in the blood; (ii) solubilizing poorly water-soluble agents, and (iii) selectively targeting specific tissues. Although several polymer-based systems have addressed the first two demands and have been translated into clinical practice, no targeted synthetic drug delivery system has reached the market. This Review is designed to provide a background on the challenges and requirements for the design and translation of new polymer-based delivery systems. This report will focus on chemical approaches to drug delivery for systemic applications.
Estudio de factibilidad para la construcción de una zona de camping y hoteles cabañas en Playa Blanca
Creators: name: Lobelo Puello, Claudia
name: Padilla Camacho, Virginia
Publisher: name: Universidad de Cartagena
Year: 1990
Subjects: Estudio de mercado
Estudios de factibilidad
Estudio financiero

description: Tesis (Economista). -- Universidad de Cartagena. Facultad de Ciencias Económicas. Programa de Economía, 1990.
description: El presente estudio tiene por objeto demostrar la factibilidad económica de la construcción de una zona de camping y hoteles-cabañas en el área de playa blanca, desarrollando aun mas el turismo y fomentando la recreación y esparcimiento ya que el sitio no ha sido aprovechado turisticamente por falta de dotación.
Deep Learning Human Mind for Automated Visual Classification
Creators: name: Spampinato, Concetto
name: Palazzo, Simone
name: Kavasidis, Isaak
name: Giordano, Daniela
name: Shah, Mubarak
name: Souly, Nasim
Publisher: name: arXiv
Year: 2016
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: What if we could effectively read the mind and transfer human visual capabilities to computer vision methods? In this paper, we aim at addressing this question by developing the first visual object classifier driven by human brain signals. In particular, we employ EEG data evoked by visual object stimuli combined with Recurrent Neural Networks (RNN) to learn a discriminative brain activity manifold of visual categories. Afterwards, we train a Convolutional Neural Network (CNN)-based regressor to project images onto the learned manifold, thus effectively allowing machines to employ human brain-based features for automated visual classification. We use a 32-channel EEG to record brain activity of seven subjects while looking at images of 40 ImageNet object classes. The proposed RNN based approach for discriminating object classes using brain signals reaches an average accuracy of about 40%, which outperforms existing methods attempting to learn EEG visual object representations. As for automated object categorization, our human brain-driven approach obtains competitive performance, comparable to those achieved by powerful CNN models, both on ImageNet and CalTech 101, thus demonstrating its classification and generalization capabilities. This gives us a real hope that, indeed, human mind can be read and transferred to machines.
description: CVPR 2017 Accepted Paper
Almost periodic functions and hyperbolic counting
Creators: name: Cherubini, Giacomo
Publisher: name: arXiv
Year: 2016
Subjects: subject: Number Theory (math.NT)
subject: FOS: Mathematics
subject: 11F72, 11P21, 42A75

description: In this paper we prove the existence of asymptotic moments, and an estimate on the tails of the limiting distribution, for a specific class of almost periodic functions. Then we introduce the hyperbolic circle problem, proving an estimate on the asymptotic variance of the remainder that improves a result of Chamizo. Applying the results of the first part we prove the existence of limiting distribution and asymptotic moments for three functions that are integrated versions of the remainder, and were considered originally (with due adaptations to our settings) by Wolfe, Phillips and Rudnick, and Hill and Parnovski.
description: 21 pages; included comments from referees; simplified proof of Proposition 2.1
Reduction of electron repulsion and enhancement of $T_{c}$ in small diffusive superconducting grains
Creators: name: Tarat, Sabyasachi
name: Oreg, Yuval
name: Imry, Yoseph
Publisher: name: arXiv
Year: 2016
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: The superconducting properties of small metallic grains has been a topic of active research for half a century now. Early experiments demonstrated a remarkable rise in the critical temperature, $T_{c}$, with reducing grain size in a variety of materials. In two dimensional diffusive superconductors, $T_{c}$ is decreased due to enhanced Coulomb repulsion. We propose that in finite size grains, the diffusive enhancement of the Coulomb repulsion is weakened and leads ultimately to an increase in $T_{c}$ in isolated, disordered two dimensional grains. Our mechanism is superimposed on the possible enhancement in $T_{c}$ due to the change in the density of states of finite size systems.
description: 7 pages, 3 figures (to appear in Phys. Rev. Lett.)
Repertorio comunicativo del cuenta chistes Uso Carruso : caracterización lingüístico-textual de su discurso humorístico
Creators: name: Reyes Plaza, Adriana Carolina
name: Puello Gutiérrez, Saray Margarita
Publisher: name: Universidad de Cartagena
Year: 2018
Subjects: Análisis del discurso

description: Tesis (Profesional de Lingüística y Literatura) -- Universidad de Cartagena. Facultad de Ciencias Humanas. Programa de Lingüística y Literatura, 2018
description: Los resultados que arrojan esta investigación demuestran que Uso Carruso utiliza las palabras soeces de manera reiterada como herramienta humorística, a su vez se evidencia las diferentes categorías lingüísticas que hacen parte de su discurso, las anteriores variedades lingüísticas permiten crear en su discurso una especie de narración historicista en el cual se encuentran actos cotidianos, como, por ejemplo: Relaciones de pareja, conversaciones familiares, entre amigos, la situación política etc. De esta manera se sustentan los diferentes rasgos lingüísticos dentro del discurso del humorista dentro del presente trabajo.
Pathogens-in-Foods Database: Final Report (Project Anses/IPB Nº 2021-CRD-03)
Creators: name: Gonzales-Barron, Ursula
name: Cadavez, Vasco
Publisher: name: Zenodo
Year: 2022
Subjects: Systematic review
Meta-analysis
Microbiological data

description: Final Report provided to Anses on the execution of the project Anses/IPB Nº 2021-CRD-03 whose objective was to continue with the update, developments and promotion of the PIF database for 12 months. Under this project, the PIF database was updated with data published between January 2020 and December 2021.
Dos o tres inviernos: Ciudad subjetivada, sujeto amurallado
Creators: name: Rodríguez Rodríguez, Monica Patricia
Publisher: name: Universidad de Cartagena
Year: 2008
Subjects: Novela urbana colombiana
Colombia - Biografías
Sierra Velázquez, Alberto - Crítica e interpretación
Novela colombiana

description: Tesis (Profesional en Lingüística y Literatura) – Universidad de Cartagena. Facultad de Ciencias Humanas. Programa de Lingüística y Literatura, 2008
description: Lo anterior explica que justamente en estas coyunturas surgiera y se publicara “Dos o tres inviernos” del escritor cartagenero Alberto Sierra Velásquez; obra que escenifica todas esas contradicciones del proyecto moderno y en especial, a ese sujeto que se construye en el seño de dichas contradicciones.
Random Popular Matchings with Incomplete Preference Lists
Creators: name: Ruangwises, Suthee
name: Itoh, Toshiya
Publisher: name: arXiv
Year: 2016
Subjects: subject: Discrete Mathematics (cs.DM)
subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences

description: Given a set $A$ of $n$ people and a set $B$ of $m \geq n$ items, with each person having a list that ranks his/her preferred items in order of preference, we want to match every person with a unique item. A matching $M$ is called popular if for any other matching $M'$, the number of people who prefer $M$ to $M'$ is not less than the number of those who prefer $M'$ to $M$. For given $n$ and $m$, consider the probability of existence of a popular matching when each person's preference list is independently and uniformly generated at random. Previously, Mahdian showed that when people's preference lists are strict (containing no ties) and complete (containing all items in $B$), if $α= m/n > α_*$, where $α_* \approx 1.42$ is the root of equation $x^2 = e^{1/x}$, then a popular matching exists with probability $1-o(1)$; and if $α< α_*$, then a popular matching exists with probability $o(1)$, i.e. a phase transition occurs at $α_*$. In this paper, we investigate phase transitions in the case that people's preference lists are strict but not complete. We show that in the case where every person has a preference list with length of a constant $k \geq 4$, a similar phase transition occurs at $α_k$, where $α_k \geq 1$ is the root of equation $x e^{-1/2x} = 1-(1-e^{-1/x})^{k-1}$.
description: A shortened version of this paper has appeared at WALCOM 2018
Factors Affecting Employees' Job Performance At Commercial Bank Of Ethiopia Addis Ababa Area Branches
Creators: name: Zena, Simegn
Publisher: name: National Academic Digital Repository of Ethiopia
Year: 2019

description: Various factors hinder employees' job performance in different ways on which in the long run hampers the overall achievement of organizational objectives. So, these factors which affect employees' performance need to be addressed. The main aim of this study was to investigate factors affecting employees' job performance in commercial bank of Ethiopia Addis Ababa area branches. Quantitative research approach as well as simple and stratified random sampling was employed in the study. Moreover, the research employed descriptive, correlation and regression method of analysis. The data was collected by using five point likert-scales for which 361 questionnaires were filled properly out of 375 distributed questionnaires. In the study the frequency, mean and standard deviation of independent variables and dependent variables were computed and interpreted.. The average means score value of working environment, performance appraisal system, motivation and job performance is below the standard mean value. Thus, the mean score values of all factors in the study have low level of preference for employees. This clearly shows that the bank has weak management in managing these factors investigated in this study. Pearson correlation coefficient(r) was used to determine the relationship between each independent variable with the dependent variable of which working related factors, training and motivational factors have substantial association with employee job performance. Unlike the others performance appraisal system has a moderate association with employee's job performance. Moreover, regression analysis was computed to determine the impact of independent variables on dependent variable for which working environment, training, performance appraisal and motivational factors lead to a positive change on employee job performance. Hence, commercial bank of Ethiopia has to provide a great attention in bringing about improvement in training, performance appraisal system, working environment and motivational packages so that it can improve employees' performance in particular and organizational performance in general
Enseñar la lectura a partir de la pedagogía de géneros textuales
Creators: name: Espinosa Muñoz, Delcy Del Carmen
name: Lázaro Canoles, Ever Antonio
Publisher: name: Universidad de Cartagena
Year: 2019
Subjects: Lectura - Enseñanza
Lectura - pruebas de aptitud

description: Tesis (Profesional en Lingüística y Literatura) -- Universidad de Cartagena. Facultad de Ciencias Humanas. Programa de Lingüística y Literatura, 2019
description: El objetivo de esta investigación es formular una propuesta para la lectura analítica y critica de textos expositivos a partir de la metodología denominada ciclo enseñanza aprendizaje derivada de la teoría de géneros textuales. Se parte del reconocimiento de dos problemas: en primer lugar, de los resultados presentados por las pruebas SABER y PISA, las cuales permitieron conocer que la educación en Colombia presenta un déficit significativo, especialmente en la prueba de lenguaje; los resultados obtenidos evidencian que el desempeño de los estudiantes en competencia lectora es mínimo. En segundo lugar, de un análisis que realizamos de la escritura de un grupo de escolares de la ciudad de Cartagena; este muestra las deficiencias al escribir. Frente a esta problemática, surge la iniciativa de proponer un modelo que permita al profesor de distintas áreas del saber conocer el texto en tres niveles: el de su estructura textual, el de la construcción de las oraciones y el de la selección del léxico. Ese modelo corresponde al propuesto por Rose (2011), denominado (R2L) Reading to Learn. ―Leer para aprender‖ Con esta investigación, se espera contribuir al fortalecimiento de las competencias en el proceso de enseñanza-aprendizaje de la lectura en las escuelas y, al mismo tiempo, facilitar a los docentes de distintas áreas del saber estrategias que garanticen la efectividad en la enseñanza de la lectura y la comprensión de textos.
Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel
Creators: name: Liang, Lihao
name: McKenney, Paul E.
name: Kroening, Daniel
name: Melham, Tom
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Operating Systems (cs.OS)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: D.2.4; D.1.3

description: Read-Copy Update (RCU) is a scalable, high-performance Linux-kernel synchronization mechanism that runs low-overhead readers concurrently with updaters. Production-quality RCU implementations for multi-core systems are decidedly non-trivial. Giving the ubiquity of Linux, a rare "million-year" bug can occur several times per day across the installed base. Stringent validation of RCU's complex behaviors is thus critically important. Exhaustive testing is infeasible due to the exponential number of possible executions, which suggests use of formal verification. Previous verification efforts on RCU either focus on simple implementations or use modeling languages, the latter requiring error-prone manual translation that must be repeated frequently due to regular changes in the Linux kernel's RCU implementation. In this paper, we first describe the implementation of Tree RCU in the Linux kernel. We then discuss how to construct a model directly from Tree RCU's source code in C, and use the CBMC model checker to verify its safety and liveness properties. To our best knowledge, this is the first verification of a significant part of RCU's source code, and is an important step towards integration of formal verification into the Linux kernel's regression test suite.
description: This is a long version of a conference paper published in the 2018 Design, Automation and Test in Europe Conference (DATE)
Network Valuation in Financial Systems
Creators: name: Barucca, Paolo
name: Bardoscia, Marco
name: Caccioli, Fabio
name: D'Errico, Marco
name: Visentin, Gabriele
name: Caldarelli, Guido
name: Battiston, Stefano
Publisher: name: arXiv
Year: 2016
Subjects: subject: Risk Management (q-fin.RM)
subject: Physics and Society (physics.soc-ph)
subject: FOS: Economics and business
subject: FOS: Physical sciences

description: We introduce a general model for the balance-sheet consistent valuation of interbank claims within an interconnected financial system. Our model represents an extension of clearing models of interdependent liabilities to account for the presence of uncertainty on banks' external assets. At the same time, it also provides a natural extension of classic structural credit risk models to the case of an interconnected system. We characterize the existence and uniqueness of a valuation that maximises individual and total equity values for all banks. We apply our model to the assessment of systemic risk, and in particular for the case of stress-testing. Further, we provide a fixed-point algorithm to carry out the network valuation and the conditions for its convergence.
description: 23 pages, 2 figures
Efficient computation of longest single-arm-gapped palindromes in a string
Creators: name: Narisada, Shintaro
name: Hendrian, Diptarama
name: Narisawa, Kazuyuki
name: Inenaga, Shunsuke
name: Shinohara, Ayumi
Publisher: name: arXiv
Year: 2016
Subjects: subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences

description: In this paper, we introduce new types of approximate palindromes called single-arm-gapped palindromes (shortly SAGPs). A SAGP contains a gap in either its left or right arm, which is in the form of either $wguc u^R w^R$ or $wuc u^Rgw^R$, where $w$ and $u$ are non-empty strings, $w^R$ and $u^R$ are respectively the reversed strings of $w$ and $u$, $g$ is a string called a gap, and $c$ is either a single character or the empty string. Here we call $wu$ and $u^R w^R$ the arm of the SAGP, and $|uv|$ the length of the arm. We classify SAGPs into two groups: those which have $ucu^R$ as a maximal palindrome (type-1), and the others (type-2). We propose several algorithms to compute type-1 SAGPs with longest arms occurring in a given string, based on suffix arrays. Then, we propose a linear-time algorithm to compute all type-1 SAGPs with longest arms, based on suffix trees. Also, we show how to compute type-2 SAGPs with longest arms in linear time. We also perform some preliminary experiments to show practical performances of the proposed methods.
description: 19 pages, 11 figures
Second-Order Self-Consistent-Field Density-Matrix Renormalization Group
Creators: name: Ma, Yingjin
name: Knecht, Stefan
name: Keller, Sebastian
name: Reiher, Markus
Publisher: name: arXiv
Year: 2016
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Computational Physics (physics.comp-ph)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We present a matrix-product state (MPS)-based quadratically convergent density-matrix renormalization group self-consistent-field (DMRG-SCF) approach. Following a proposal by Werner and Knowles (JCP 82, 5053, (1985)), our DMRG-SCF algorithm is based on a direct minimization of an energy expression which is correct to second-order with respect to changes in the molecular orbital basis. We exploit a simultaneous optimization of the MPS wave function and molecular orbitals in order to achieve quadratic convergence. In contrast to previously reported (augmented Hessian) Newton-Raphson and super-configuration-interaction algorithms for DMRG-SCF, energy convergence beyond a quadratic scaling is possible in our ansatz. Discarding the set of redundant active-active orbital rotations, the DMRG-SCF energy converges typically within two to four cycles of the self-consistent procedure
description: 40 pages, 5 figures, 3 tables