cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Development and evaluation of polyclonal antibodies based antigen capture ELISA for detection of porcine rotavirus
Creators: name: Memon, Atta Muhammad
name: Chen, Fangzhou
name: Khan, Sher Bahadar
name: Guo, Xiaozhen
name: Khan, Rajwali
name: Khan, Farhan Anwar
name: Zhu, Yinxing
name: He, Qigai
Publisher: name: Taylor & Francis
Year: 2022
Subjects: subject: Space Science
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer
subject: Science Policy
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Virology
subject: Cardiology

description: Rotaviruses are rising as zoonotic viruses worldwide, causing the lethal dehydrating diarrhea in children, piglets, and other livestock of economic importance. A simple, swift, cost-effective, highly specific, and sensitive antigen-capture enzyme–linked immunosorbent assay (AC-ELISA) was developed for detection of porcine rotavirus-A (PoRVA) by employing rabbit (capture antibody) and murine polyclonal antibodies (detector antibody) produced against VP6 of PoRVA (RVA/Pig-tc/CHN/TM-a/2009/G9P23). Reactivity of the both polyclonal antibodies was confirmed by using an indirect ELISA, western-blot analysis and indirect fluorescence assay against rVP6 protein and PoRVA. The detection limit of AC-ELISA was found 50 ng/ml of PoRVA protein. The relative sensitivity and specificity of this in-house AC-ELISA were evaluated for detection of PoRVA from 295 porcine diarrhea samples, and results were compared with that of RT-PCR and TaqMan RT-qPCR. The relative sensitivity and specificity of AC-ELISA compared with those of TaqMan RT-qPCR were found as 94.4 and 99.2%, respectively, with the strong agreement (κ −0.58) between these two techniques. Furthermore, AC-ELISA could not detect any cross-reactivity with porcine epidemic diarrhea virus, transmissible gastro-enteritis virus, pseudo rabies virus and porcine circovirus-2. This in-house AC-ELISA efficiently detected PoRVA from clinical samples, which suggests that this technique can be used for large-scale surveillance and timely detection of rotavirus infection in the porcine farms. In this study, we used a Chinese porcine rotavirus-A (PoRVA) strain containing the I5, a dominant VP6-genotype in pigs, for production of VP6 (most conserved) protein based polyclonal antibodies (pAb) in rabbits (as capture Ab) and mouse (as detector Ab) for development of simple, cost effective, highly specific and sensitive AC-ELISA for detection of PoRVA. Furthermore, there is no any previous published report on application of rabbit and mouse pAb against VP6 for developing an AC-ELISA against PoRVA.
Dynamic Data-Free Knowledge Distillation by Easy-to-Hard Learning Strategy
Creators: name: Li, Jingru
name: Zhou, Sheng
name: Li, Liangcheng
name: Wang, Haishuai
name: Yu, Zhi
name: Bu, Jiajun
Publisher: name: arXiv
Year: 2022
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: Data-free knowledge distillation (DFKD) is a widely-used strategy for Knowledge Distillation (KD) whose training data is not available. It trains a lightweight student model with the aid of a large pretrained teacher model without any access to training data. However, existing DFKD methods suffer from inadequate and unstable training process, as they do not adjust the generation target dynamically based on the status of the student model during learning. To address this limitation, we propose a novel DFKD method called CuDFKD. It teaches students by a dynamic strategy that gradually generates easy-to-hard pseudo samples, mirroring how humans learn. Besides, CuDFKD adapts the generation target dynamically according to the status of student model. Moreover, We provide a theoretical analysis of the majorization minimization (MM) algorithm and explain the convergence of CuDFKD. To measure the robustness and fidelity of DFKD methods, we propose two more metrics, and experiments shows CuDFKD has comparable performance to state-of-the-art (SOTA) DFKD methods on all datasets. Experiments also present that our CuDFKD has the fastest convergence and best robustness over other SOTA DFKD methods.
description: Accepted by Information Sciences, Proof version provided
Gate-tunable band structure of the LaAlO$_3$-SrTiO$_3$ interface
Creators: name: Smink, A. E. M.
name: de Boer, J. C.
name: Stehno, M. P.
name: Brinkman, A.
name: van der Wiel, W. G.
name: Hilgenkamp, H.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The 2-dimensional electron system at the interface between LaAlO$_{3}$ and SrTiO$_{3}$ has several unique properties that can be tuned by an externally applied gate voltage. In this work, we show that this gate-tunability extends to the effective band structure of the system. We combine a magnetotransport study on top-gated Hall bars with self-consistent Schrödinger-Poisson calculations and observe a Lifshitz transition at a density of $2.9\times10^{13}$ cm$^{-2}$. Above the transition, the carrier density of one of the conducting bands decreases with increasing gate voltage. This surprising decrease is accurately reproduced in the calculations if electronic correlations are included. These results provide a clear, intuitive picture of the physics governing the electronic structure at complex oxide interfaces.
description: 14 pages, 4 figures
Pressure-induced topological phase transition in polar semiconductor BiTeBr
Creators: name: Ohmura, Ayako
name: Higuchi, Yuichiro
name: Ochiai, Takayuki
name: Kanou, Manabu
name: Ishikawa, Fumihiro
name: Nakano, Satoshi
name: Nakayama, Atsuko
name: Yamada, Yuh
name: Sasagawa, Takao
Publisher: name: arXiv
Year: 2016
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We performed X-ray diffraction and electrical resistivity measurement up to pressures of 5 GPa and the first-principles calculations utilizing experimental structural parameters to investigate the pressure-induced topological phase transition in BiTeBr having a noncentrosymmetric layered structure (space group P3m1). The P3m1 structure remains stable up to pressures of 5 GPa; the ratio of lattice constants, c/a, has a minimum at pressures of 2.5 - 3 GPa. In the same range, the temperature dependence of resistivity changes from metallic to semiconducting at 3 GPa and has a plateau region between 50 and 150 K in the semiconducting state. Meanwhile, the pressure variation of band structure shows that the bulk band-gap energy closes at 2.9 GPa and re-opens at higher pressures. Furthermore, according to the Wilson loop analysis, the topological nature of electronic states in noncentrosymmetric BiTeBr at 0 and 5 GPa are explicitly revealed to be trivial and non-trivial, respectively. These results strongly suggest that pressure-induced topological phase transition in BiTeBr occurs at the pressures of 2.9 GPa.
description: 15 pages, 4 figures
Backward Population Synthesis: Mapping the Evolutionary History of Gravitational-Wave Progenitors
Creators: name: Wong, Kaze W. K.
name: Breivik, Katelyn
name: Farr, Will M.
name: Luger, Rodrigo
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: One promising way to extract information about stellar astrophysics from gravitational wave catalogs is to compare the catalog to the outputs of stellar population synthesis modeling with varying physical assumptions. The parameter space of physical assumptions in population synthesis is high-dimensional and the choice of parameters that best represents the evolution of a binary system may depend in an as-yet-to-be-determined way on the system's properties. Here we propose a pipeline to simultaneously infer zero-age main sequence properties and population synthesis parameter settings controlling modeled binary evolution from individual gravitational wave observations of merging compact binaries. Our pipeline can efficiently explore the high-dimensional space of population synthesis settings and progenitor system properties for each system in a catalog of gravitational wave observations. We apply our pipeline to observations in the third third LIGO-Virgo Gravitational-Wave Transient Catalog. We showcase the effectiveness of this pipeline with a detailed study of the progenitor properties and population synthesis settings that produce mergers like the observed GW150914. Our pipeline permits a measurement of the variation of population synthesis parameter settings with binary properties, if any; we present inferences for the recent GWTC-3 transient catalog that suggest that the stable mass transfer efficiency parameter may vary with primary black hole mass.
description: Source code for compiling the paper is publicly hosted on github: https://github.com/kazewong/BackPop. Data is available on zenodo: 10.5281/zenodo.6624911
August 2024: Top 10 Cited Articles For Soft Computing, Artificial Intelligence
Creators: name: 2024, ijscai
Publisher: name: Zenodo
Year: 2024

description: International Journal on Soft Computing, Artificial Intelligence and Applications (IJSCAI) is an open access peer-reviewed journal that provides an excellent international forum for sharing knowledge and results in theory, methodology and applications of Artificial Intelligence, Soft Computing. The Journal looks for significant contributions to all major fields of the Artificial Intelligence, Soft Computing in theoretical and practical aspects. The aim of the Journal is to provide a platform to the researchers and practitioners from both academia as well as industry to meet and share cutting-edge development in the field.
Non-markovian mesoscopic dissipative dynamics of open quantum spin chains
Creators: name: Benatti, Fabio
name: Carollo, Federico
name: Floreanini, Roberto
name: Narnhofer, Heide
Publisher: name: arXiv
Year: 2016
Subjects: subject: Quantum Physics (quant-ph)
subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: We study the dissipative dynamics of $N$ quantum spins with Lindblad generator consisting of operators scaling as fluctuations, namely with the inverse square-root of $N$. In the large $N$ limit, the microscopic dissipative time-evolution converges to a non-Markovian unitary dynamics on strictly local operators, while at the mesoscopic level of fluctuations it gives rise to a dissipative non-Markovian dynamics. The mesoscopic time-evolution is Gaussian and exhibits either a stable or an unstable asymptotic character; furthermore, the mesoscopic dynamics builds correlations among fluctuations that survive in time even when the original microscopic dynamics is unable to correlate local observables.
description: 18 pages
Getting NuSTAR on target: predicting mast motion
Creators: name: Forster, Karl
name: Madsen, Kristin K.
name: Miyasaka, Hiromasa
name: Craig, William W.
name: Harrison, Fiona A.
name: Rana, Vikram R.
name: Markwardt, Craig B.
name: Grefenstette, Brian W.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: The Nuclear Spectroscopic Telescope Array (NuSTAR) is the first focusing high energy (3-79 keV) X-ray observatory operating for four years from low Earth orbit. The X-ray detector arrays are located on the spacecraft bus with the optics modules mounted on a flexible mast of 10.14m length. The motion of the telescope optical axis on the detectors during each observation is measured by a laser metrology system and matches the pre-launch predictions of the thermal flexing of the mast as the spacecraft enters and exits the Earths shadow each orbit. However, an additional motion of the telescope field of view was discovered during observatory commissioning that is associated with the spacecraft attitude control system and an additional flexing of the mast correlated with the Solar aspect angle for the observation. We present the methodology developed to predict where any particular target coordinate will fall on the NuSTAR detectors based on the Solar aspect angle at the scheduled time of an observation. This may be applicable to future observatories that employ optics deployed on extendable masts. The automation of the prediction system has greatly improved observatory operations efficiency and the reliability of observation planning.
description: 12 pages, 11 figures, in proceedings of SPIE conference 9910
Large-step neural network for learning the symplectic evolution from partitioned data
Creators: name: Li, Xin
name: Li, Jian
name: Xia, Zhihong Jeff
name: Georgakarakos, Nikolaos
Publisher: name: arXiv
Year: 2022
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Artificial Intelligence (cs.AI)
subject: Machine Learning (cs.LG)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: In this study, we focus on learning Hamiltonian systems, which involves predicting the coordinate (q) and momentum (p) variables generated by a symplectic mapping. Based on Chen & Tao (2021), the symplectic mapping is represented by a generating function. To extend the prediction time period, we develop a new learning scheme by splitting the time series (q_i, p_i) into several partitions. We then train a large-step neural network (LSNN) to approximate the generating function between the first partition (i.e. the initial condition) and each one of the remaining partitions. This partition approach makes our LSNN effectively suppress the accumulative error when predicting the system evolution. Then we train the LSNN to learn the motions of the 2:3 resonant Kuiper belt objects for a long time period of 25000 yr. The results show that there are two significant improvements over the neural network constructed in our previous work (Li et al. 2022): (1) the conservation of the Jacobi integral, and (2) the highly accurate predictions of the orbital evolution. Overall, we propose that the designed LSNN has the potential to considerably improve predictions of the long-term evolution of more general Hamiltonian systems.
description: 13 pages, 7 figures, accepted for publication in MNRAS
Renaming Global Variables in C Mechanically Proved Correct
Creators: name: Cohen, Julien
Publisher: name: arXiv
Year: 2016
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Most integrated development environments are shipped with refactoring tools. However, their refactoring operations are often known to be unreliable. As a consequence, developers have to test their code after applying an automatic refactoring. In this article, we consider a refactoring operation (renaming of global variables in C), and we prove that its core implementation preserves the set of possible behaviors of transformed programs. That proof of correctness relies on the operational semantics of C provided by CompCert C in Coq.
description: In Proceedings VPT 2016, arXiv:1607.01835
Source counts at 7.7 to 21 $μ$m in CEERS field with James Webb Space Telescope
Creators: name: Wu, Cossas K. -W.
name: Ling, Chih-Teng
name: Goto, Tomotsugu
name: Kilerci, Ece
name: Kim, Seong Jin
name: Hashimoto, Tetsuya
name: Lin, Yu-Wei
name: Wang, Po-Ya
name: Uno, Yuri
name: Ho, Simon C. -C.
name: Hsiao, Tiger Yu-Yang
Publisher: name: arXiv
Year: 2022
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: Source counts -- the number density of sources as a function of flux density -- represent one of the fundamental metrics in observational cosmology due to their straightforward and simple nature. It is an important tool that provides information on galaxy formation and evolution. Source counting is a direct measurement. Compared to advanced analyzes that require more observational input such as luminosity/mass functions, it is less affected by any cosmological parameter assumptions or any errors propagated from luminosities. In this study, we present source counts at the six mid-infrared bands, i.e., 7.7, 10, 12.8, 15, 18, and 21 $μ$m from the MIR instrument of the James Webb Space Telescope (JWST). Contrasted with the infrared source counts achieved by prior generations of infrared space telescopes, our source counts delve up to $\sim$100 times deeper, showcasing the exceptional sensitivity of the JWST, and aligning with the model predictions based on preceding observations. In a follow-up study, we utilize our source counts to establish a new IR galaxy population evolutionary model that provides a physical interpretation.
description: 10 pages, 24 figures, accepted for publication in MNRAS, https://youtu.be/xlX25O8T89g
Estrategia instituciones amigas de la mujer y la infancia (IAMI) en Instituciones de salud de Cartagena 2011.
Creators: name: Aguilar Arroyo, Cindy Melissa
name: Cifuentes Salinas, Lilian Carolina
name: Hernández Barrios, Nery Del Rosario
name: Mercado Mercado, Laura Sofía
Publisher: name: Universidad de Cartagena
Year: 2012
Subjects: Trabajo social con mujeres

description: Tesis (Enfermero) -- Universidad de Cartagena. Facultad de Enfermería. Departamento de Investigación, 2012
description: El presente trabajo busca evaluar el grado de implementación de la estrategia IAMI en las instituciones de salud de la ciudad de Cartagena, a través de la aplicación de instrumentos definido por el ministerio de la protección social y la UNICEF. Estudio descriptivo, con una población de 21 instituciones públicas y privadas. La muestra está constituida por 8 instituciones de diferente régimen y 357 puérperas usuarias de las instituciones de salud. Los instrumentos son: Formulario de auto apreciación y aplicación en instituciones hospitalarias y ambulatorios y el formulario sobre la lactancia materna de la División Salud Fundación FES Social, Colciencias y Ministerio de la Protección Social de Colombia. Los datos fueron almacenados y analizados en una hoja de cálculo de Microsoft Excel Windows 7.0.
Double detonations: variations in Type Ia supernovae due to different core and He shell masses -- II: synthetic observables
Creators: name: Collins, Christine E.
name: Gronow, Sabrina
name: Sim, Stuart A.
name: Roepke, Friedrich K.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Double detonations of sub-Chandrasekhar mass white dwarfs are a promising explosion scenario for Type Ia supernovae, whereby a detonation in a surface helium shell triggers a secondary detonation in a carbon-oxygen core. Recent work has shown that low mass helium shell models reproduce observations of normal SNe Ia. We present 3D radiative transfer simulations for a suite of 3D simulations of the double detonation explosion scenario for a range of shell and core masses. We find light curves broadly able to reproduce the faint end of the width-luminosity relation shown by SNe Ia, however, we find that all of our models show extremely red colours, not observed in normal SNe Ia. This includes our lowest mass helium shell model. We find clear Ti II absorption features in the model spectra, which would lead to classification as peculiar SNe Ia, as well as line blanketing in some lines of sight by singly ionised Cr and Fe-peak elements. Our radiative transfer simulations show that these explosion models remain promising to explain peculiar SNe Ia. Future full non-LTE simulations may improve the agreement of these explosion models with observations of normal SNe Ia.
description: Spectra available at https://doi.org/10.5281/zenodo.7997388
Testing multi-mass dynamical models of star clusters with real data: mass segregation in three Galactic globular clusters
Creators: name: Sollima, A.
name: Dalessandro, E.
name: Beccari, G.
name: Pallanca, C.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We present the results of the analysis of deep photometric data for a sample of three Galactic globular clusters (NGC5466, NGC6218 and NGC6981) with the aim of estimating their degree of mass segregation and testing the predictions of analytic dynamical models. The adopted dataset, composed by both Hubble Space Telescope and ground based data, reaches the low-mass end of the mass functions of these clusters from the center up to their tidal radii allowing to derive their radial distribution of stars with different masses. All the analysed clusters show evidence of mass segregation with the most massive stars more concentrated than low-mass ones. The structures of NGC5466 and NGC6981 are well reproduced by multimass dynamical models adopting a lowered-Maxwellian distribution function and the prescription for mass segregation given by Gunn & Griffin (1979). Instead, NGC6218 appears to be more mass segregated than model predictions. By applying the same technique to mock observations derived from snapshots selected from suitable N-body simulations we show that the deviation from the behaviour predicted by these models depends on the particular stage of dynamical evolution regardless of initial conditions.
description: 12 pages, 7 figures, accepted for publication by MNRAS
Photoelectron angular distribution in two-pathway ionization of neon with femtosecond XUV pulses
Creators: name: Douguet, Nicolas
name: Gryzlova, Elena V.
name: Staroselskaya, Ekaterina I.
name: Bartschat, Klaus
name: Grum-Grzhimailo, Alexei N.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: We analyze the photoelectron angular distribution in two-pathway interference between non\-resonant one-photon and resonant two-photon ionization of neon. We consider a bichromatic femtosecond XUV pulse whose fundamental frequency is tuned near the $2p^5 3s$ atomic states of neon. The time-dependent Schrödinger equation is solved and the results are employed to compute the angular distribution and the associated anisotropy parameters at the main photoelectron line. We also employ a time-dependent perturbative approach, which allows obtaining information on the process for a large range of pulse parameters, including the steady-state case of continuous radiation, i.e., an infinitely long pulse. The results from the two methods are in relatively good agreement over the domain of applicability of perturbation theory.
The Challenges of Identifying Population III Stars in the Early Universe
Creators: name: Katz, Harley
name: Kimm, Taysun
name: Ellis, Richard S.
name: Devriendt, Julien
name: Slyz, Adrianne
Publisher: name: arXiv
Year: 2022
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: The recent launch of JWST has enabled the exciting prospect of detecting the first generation of metal-free, Population III (Pop. III) stars. Determining the emission line signatures that robustly signify the presence of Pop. III stars against other possible contaminants represents a key challenge for interpreting JWST data. To this end, we run high-resolution (sub-pc) cosmological radiation hydrodynamics simulations of the region around a dwarf galaxy at $z\geq10$ to predict the emission line signatures of the Pop. III/Pop. II transition. We show that the absence of metal emission lines is a poor diagnostic of Pop. III stars because metal-enriched galaxies in our simulation can maintain low [OIII] 5007${\rm Å}$ emission that may be undetectable due to sensitivity limits. Combining spectral hardness probes (e.g. HeII 1640${\rm Å}$/H$α$) with metallicity diagnostics is more likely to probe the presence of metal-free stars, although contamination from Wolf-Rayet stars, X-ray binaries, or black holes may be important. The hard emission from Pop. III galaxies fades fast due to the short stellar lifetimes of massive Pop. III stars, which could further inhibit detection. Similarly, Pop. III stars may be detectable after they evolve off the main-sequence due to the cooling radiation from nebular gas or a supernova remnant; however, these signatures are also short-lived (i.e. few Myr), and contaminants such as flickering black holes might confuse this diagnostic. While JWST will provide a unique opportunity to spectroscopically probe the nature of the earliest galaxies, both the short timescales associated with pristine systems and ambiguities in interpreting key diagnostic emission lines may hinder progress. Special care will be needed before claiming the discovery of systems with pure Pop. III stars.
description: 9 pages, 8 figures, submitted to MNRAS
Matrix models from localization of five-dimensional supersymmetric noncommutative U(1) gauge theory
Creators: name: Lee, Bum-Hoon
name: Ro, Daeho
name: Yang, Hyun Seok
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We study localization of five-dimensional supersymmetric $U(1)$ gauge theory on $\mathbb{S}^3 \times \mathbb{R}_θ^{2}$ where $\mathbb{R}_θ^{2}$ is a noncommutative (NC) plane. The theory can be isomorphically mapped to three-dimensional supersymmetric $U(N \to \infty)$ gauge theory on $\mathbb{S}^3$ using the matrix representation on a separable Hilbert space on which NC fields linearly act. Therefore the NC space $\mathbb{R}_θ^{2}$ allows for a flexible path to derive matrix models via localization from a higher-dimensional supersymmetric NC $U(1)$ gauge theory. The result shows a rich duality between NC $U(1)$ gauge theories and large $N$ matrix models in various dimensions.
description: 50 pages, 2 figures; v2 corrected typos
Generating Counterexamples for Model Checking by Transformation
Creators: name: Hamilton, G. W.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Software Engineering (cs.SE)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.3.1; D.2.4

description: Counterexamples explain why a desired temporal logic property fails to hold. The generation of counterexamples is considered to be one of the primary advantages of model checking as a verification technique. Furthermore, when model checking does succeed in verifying a property, there is typically no independently checkable witness that can be used as evidence for the verified property. Previously, we have shown how program transformation techniques can be used for the verification of both safety and liveness properties of reactive systems. However, no counterexamples or witnesses were generated using the described techniques. In this paper, we address this issue. In particular, we show how the program transformation technique distillation can be used to facilitate the construction of counterexamples and witnesses for temporal properties of reactive systems. Example systems which are intended to model mutual exclusion are analysed using these techniques with respect to both safety (mutual exclusion) and liveness (non-starvation), with counterexamples being generated for those properties which do not hold.
description: In Proceedings VPT 2016, arXiv:1607.01835. arXiv admin note: substantial text overlap with arXiv:1512.03860
Percepción de la satisfacción familiar en adultos mayores de los centros de vida de la ciudad de Cartagena 2013 – 2014
Creators: name: Cardona López, Libia
name: Castilla Caraballo, Yorelis
name: García Obregón, Ana Carolina
name: Muñoz Buelvas, Emmanuel
name: Ospino Ramos, Dora Emperatriz
Publisher: name: Universidad de Cartagena
Year: 2014
Subjects: Enfermería geriátrica - Investigaciones
Salud familiar - Investigaciones

description: Tesis (Enfermero) -- Universidad de Cartagena. Facultad de enfermería, 2014
description: El envejecimiento es un fenómeno secuencial, acumulativo e irreversible, que deteriora el organismo progresivamente hasta hacerlo incapaz de enfrentar circunstancias y condiciones del entorno. La mayoría de adultos mayores encuestados presentan nivel de satisfacción baja, refiriendo más interacciones negativas, lo que generaría una problemática a esta población manifestándose con alteraciones a nivel físico, emocional y psíquico en el adulto mayor.
Formation and maintenance of nitrogen fixing cell patterns in filamentous cyanobacteria
Creators: name: Munoz-Garcia, Javier
name: Ares, Saul
Publisher: name: arXiv
Year: 2016
Subjects: subject: Cell Behavior (q-bio.CB)
subject: Pattern Formation and Solitons (nlin.PS)
subject: Tissues and Organs (q-bio.TO)
subject: FOS: Biological sciences
subject: FOS: Physical sciences

description: Cyanobacteria forming one-dimensional filaments are paradigmatic model organisms of the transition between unicellular and multicellular living forms. Under nitrogen limiting conditions, in filaments of the genus Anabaena, some cells differentiate into heterocysts, which lose the possibility to divide but are able to fix environmental nitrogen for the colony. These heterocysts form a quasi-regular pattern in the filament, representing a prototype of patterning and morphogenesis in prokaryotes. Recent years have seen advances in the identification of the molecular mechanism regulating this pattern. We use this data to build a theory on heterocyst pattern formation, for which both genetic regulation and the effects of cell division and filament growth are key components. The theory is based on the interplay of three generic mechanisms: local autoactivation, early long range inhibition, and late long range inhibition. These mechanisms can be identified with the dynamics of hetR, patS and hetN expression. Our theory reproduces quantitatively the experimental dynamics of pattern formation and maintenance for wild type and mutants. We find that hetN alone is not enough to play the role as the late inhibitory mechanism: a second mechanism, hypothetically the products of nitrogen fixation supplied by heterocysts, must also play a role in late long range inhibition. The preponderance of even intervals between heterocysts arises naturally as a result of the interplay between the timescales of genetic regulation and cell division. We also find that a purely stochastic initiation of the pattern, without a two-stage process, is enough to reproduce experimental observations.
Quasilinear systems with linearizable characteristic webs
Creators: name: Agafonov, S. I.
name: Ferapontov, E. V.
name: Novikov, V. S.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Differential Geometry (math.DG)
subject: FOS: Mathematics
subject: 35L40, 53A60

description: We classify quasilinear systems in Riemann invariants whose characteristic webs are linearizable on every solution. Although the linearizability of an individual web is a rather nontrivial differential constraint, the requirement of linearizability of characteristic webs on all solutions imposes simple second-order constraints for the characteristic speeds of the system. It is demonstrated that every such system with n>3 components can be transformed by a reciprocal transformation to n uncoupled Hopf equations. All our considerations are local.
Caracterización de familias con adolescentes gestantes adscritas al programa maternidad segura de la ESE Cartagena de Indias. Primer semestre 2015
Creators: name: Zúñiga Fuentes, Aura
name: Rocha Pérez, Yulis Paola
name: Muñoz Pacheco, Vanessa Rocío
name: Dávila Rodríguez, Sandra Patricia
name: Jiménez Torres, María José
Publisher: name: Universidad de Cartagena
Year: 2015
Subjects: Enfermería materno infantil
Enfermería de maternidad
Enfermería pediátrica

description: Tesis (Enfermero) -- Universidad de Cartagena. Facultad de enfermería, 2015
description: El embarazo en adolescentes es un problema de salud pública a nivel mundial ya que en la mayoría de los casos este afecta negativamente la salud de la madre, del hijo por nacer y del niño, y adicionalmente puede ocasionar alteraciones en la calidad de vida no solo de ellos, sino de la familia y la sociedad. Una de cada cinco personas en todo el mundo es adolescente, para un total aproximado de 1.300 millones, siendo esta la mayor generación de jóvenes registrada en la historia. En Colombia, la población actual de adolescentes corresponde a 20% del total de la población, se estima que hay aproximadamente 9 millones de adolescentes, de los cuales 4.600.000 son mujeres. En lo que respecta Cartagena, es notorio el incremento de los embarazos en adolescentes menores de 15 años (2,3).
Efficient Coherent XUV Generation and Manipulation in Microfluidic Glass Devices
Creators: name: Ciriolo, Anna Gabriella
name: Vázquez, Rebeca Martínez
name: Crippa, Gabriele
name: Devetta, Michele
name: Faccialà, Davide
name: Barbato, Pasquale
name: Frassetto, Fabio
name: Negro, Matteo
name: Bariselli, Federico
name: Poletto, Luca
name: Tosa, Valer
name: Frezzotti, Aldo
name: Vozzi, Caterina
name: Osellame, Roberto
name: Stagira, Salvatore
Publisher: name: arXiv
Year: 2022
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: The development of compact and bright XUV and soft X-ray sources based on high-order harmonic generation is boosting advances towards understanding the behavior of matter with extreme temporal and spatial resolutions. Here, we report efficient XUV generation inside microfluidic devices fabricated by femtosecond laser irradiation followed by chemical etching. Our microfluidic approach allows one to control and manipulate the generation conditions in gas on a micro-meter scale with unprecedented flexibility, thus enabling a high photon-flux and broadband harmonics spectra up to 200 eV.
Seiberg-Witten Floer Spectra and Contact Structures
Creators: name: Roso, Bruno
Publisher: name: arXiv
Year: 2022
Subjects: subject: Symplectic Geometry (math.SG)
subject: Geometric Topology (math.GT)
subject: FOS: Mathematics
subject: 57R58, 57K33, 57M10, 57R65, 37B30

description: In this article, the author defines an invariant of rational homology 3-spheres equipped with a contact structure as an element of a cohomotopy set of the Seiberg-Witten Floer spectrum as defined in Manolescu (2003). Furthermore, in light of the equivalence established in Lidman & Manolescu (2018a) between the Borel equivariant homology of said spectrum and the Seiberg-Witten Floer homology of Kronheimer & Mrowka (2007), the author shall show that this homotopy theoretic invariant recovers the already well known contact element in the Seiberg-Witten Floer cohomology (vid. e.g. Kronheimer, Mrowka, Ozsváth & Szabó 2007) in a natural fashion. Next, the behaviour of the cohomotopy invariant is considered in the presence of a finite covering. This setting naturally asks for the use of Borel cohomology equivariant with respect to the group of deck transformations. Hence, a new equivariant contact invariant is defined and its properties studied. The invariant is then computed in one concrete example, wherein the author demonstrates that it opens the possibility of considering scenarios hitherto inaccessible.
description: Various small corrections and a small addition of background material on stable homotopy theory
Uniform Regularity and Vanishing Viscosity limit for the chemotaxis-Navier-Stokes system in a 3D bounded domain
Creators: name: Zhang, Zhipeng
Publisher: name: arXiv
Year: 2016
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 35Q30, 76D03, 76D05, 76D07

description: We investigate the uniform regularity and vanishing viscosity limit for the incompressible chemotaxis-Navier-Stokes system in a smooth bounded domain $Ω\subset\mathbb{R}^3$. It is shown that there exists a unique strong solution of the incompressible chemotaxis-Navier-Stokes system in a finite time interval which is independent of the viscosity coefficient. Moreover, the solution is uniformly bounded in a conormal Sobolev space, which allows us to take the vanishing viscosity limit to obtain the incompressible inviscid chemotaxis-Navier-Stokes system.
description: 42pages. arXiv admin note: text overlap with arXiv:1607.05920 by other authors
Can the Hartree-Fock kinetic energy exceed the exact kinetic energy?
Creators: name: Crisostomo, Steven
name: Levy, Mel
name: Burke, Kieron
Publisher: name: arXiv
Year: 2022
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: The Hartree-Fock (HF) approximation has been an important tool for quantum-chemical calculations since its earliest appearance in the late 1920s, and remains the starting point of most single-reference methods in use today. Intuition suggests that the HF kinetic energy should not exceed the exact kinetic energy, but no proof of this conjecture exists, despite a near century of development. Beginning from a generalized virial theorem derived from scaling considerations, we derive a general expression for the kinetic energy difference that applies to all systems. For any atom or ion this trivially reduces to the well-known result that the total energy is the negative of the kinetic energy and since correlation energies are never positive, proves the conjecture in this case. Similar considerations apply to molecules at their equilibrium bond lengths. We use highly precise calculations on Hooke's atom (two electrons in a parabolic well) to test the conjecture in a non-trivial case, and to parameterize the difference between density-functional and HF quantities, but find no violations of the conjecture.
description: 7 pages, 6 figures; final edits
Percepción de la funcionalidad familiar en adultos mayores de los centros de vida de la ciudad de Cartagena
Creators: name: Acuña Rodríguez, Ilia
name: Barrios Soto, Yenifer
name: Martínez Parra, Nuris
name: Taborda Pereira, Esther
name: Vargas Verbel, Guillermina
Publisher: name: Universidad de Cartagena
Year: 2015
Subjects: Enfermería geriátrica - Investigaciones
Salud familiar - Investigaciones

description: Tesis (Enfermero). -- Universidad de Cartagena. Facultad de enfermería, 2015
description: En las últimas décadas la población de adultos mayores presentó un aumento, por lo que investigar sobre este grupo poblacional en sus diferentes ámbitos de convivencia se constituyó en un reto para los profesionales de enfermería. La mayoría de los adultos mayores percibieron una buena funcionalidad en su familia no obstante se evidenció un número de disfuncionalidad familiar bastante significativa lo cual es un hallazgo de gran importancia para el profesional de enfermería porque permite establecer programas que mejoren la funcionalidad familiar.
Inductive decision based Real Time Occupancy detector in University Buildings
Creators: name: Jain, Nkita
name: Gupta, Rachita
Publisher: name: arXiv
Year: 2016
Subjects: subject: Computers and Society (cs.CY)
subject: FOS: Computer and information sciences

description: The ability to estimate College Campus Occupancy for Classrooms and Labs in real time has become one of the major concerns for various Academicians, authorities and administrators,where still a manual attendance marking system is being followed. Using a low budget multiple sensor setup installed in a college auditorium, the goal is to build a real-time occupancy detector. This paper presents an Inductive real time Decision tree based classifier using multiple sensor dataset to detect occupancy. Using simple feature based thresholds, Reverberation time which comes out to be a novel as well as most distinguishing feature sampled at various frequencies over a given time interval was used to detect the occupancy with an accuracy of %.Addition of various other sensor data, decreased the accuracy of classification results. The detector setup can be used in various college buildings to provide real time centralised occupancy status thus automating the manual attendance system being used.
description: 7 Pages 9 Figures, International Journal of Computer Science and Information Security Vol 14 No 10 2016
A Spectroscopic Model of the Type Ia Supernova--Host Galaxy Mass Correlation from SALT3
Creators: name: Jones, D. O.
name: Kenworthy, W. D.
name: Dai, M.
name: Foley, R. J.
name: Kessler, R.
name: Pierel, J. D. R.
name: Siebert, M. R.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: The unknown cause of the correlation between Type Ia supernova (SN Ia) Hubble residuals and their host-galaxy masses (the "mass step") may bias cosmological parameter measurements. To better understand the mass step, we develop a SALT3 light-curve model for SN cosmology that uses the host-galaxy masses of 296 low-redshift SNe Ia to derive a spectral-energy distribution--host-galaxy mass relationship. The resulting model has larger Ca II H&K, Ca II near-infrared triplet, and Si II equivalent widths for SNe in low-mass host galaxies at 2.2-2.7$σ$ significance; this indicates higher explosion energies per unit mass in low-mass-hosted SNe. The model has phase-dependent changes in SN Ia colors as a function of host mass, indicating intrinsic differences in mean broadband light curves. Although the model provides a better fit to the SN data overall, it does not substantially reduce data--model residuals for a typical light curve in our sample nor does it significantly reduce Hubble residual dispersion. This is because we find that previous SALT models parameterized most host-galaxy dependencies with their first principal component, although they failed to model some significant spectral variations. Our new model is luminosity and cosmology independent, and applying it to data reduces the mass step by $0.021\pm0.002$ mag (uncertainty accounts for correlated data sets); these results indicate that $\sim$35% of the mass step can be attributed to luminosity-independent effects. This SALT model version could be trained using alternative host-galaxy properties and at different redshifts, and therefore will be a tool for understanding redshift-dependent correlations between SNe Ia and their host properties as well as their impact on cosmological parameter measurements.
description: 19 pages, 14 figures, updated to match the version accepted by ApJ
Towards Trustworthy Refactoring in Erlang
Creators: name: Horpácsi, Dániel
name: Kőszegi, Judit
name: Thompson, Simon
Publisher: name: arXiv
Year: 2016
Subjects: subject: Programming Languages (cs.PL)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Tool-assisted refactoring transformations must be trustworthy if programmers are to be confident in applying them on arbitrarily extensive and complex code in order to improve style or efficiency. We propose a simple, high-level but rigorous, notation for defining refactoring transformations in Erlang, and show that this notation provides an extensible, verifiable and executable specification language for refactoring. To demonstrate the applicability of our approach, we show how to define and verify a number of example refactorings in the system.
description: In Proceedings VPT 2016, arXiv:1607.01835
High Performance Dataframes from Parallel Processing Patterns
Creators: name: Perera, Niranda
name: Kamburugamuve, Supun
name: Widanage, Chathura
name: Abeykoon, Vibhatha
name: Uyar, Ahmet
name: Shan, Kaiying
name: Maithree, Hasara
name: Lenadora, Damitha
name: Kanewala, Thejaka Amila
name: Fox, Geoffrey
Publisher: name: arXiv
Year: 2022
Subjects: subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: FOS: Computer and information sciences

description: The data science community today has embraced the concept of Dataframes as the de facto standard for data representation and manipulation. Ease of use, massive operator coverage, and popularization of R and Python languages have heavily influenced this transformation. However, most widely used serial Dataframes today (R, pandas) experience performance limitations even while working on even moderately large data sets. We believe that there is plenty of room for improvement by investigating the generic distributed patterns of dataframe operators. In this paper, we propose a framework that lays the foundation for building high performance distributed-memory parallel dataframe systems based on these parallel processing patterns. We also present Cylon, as a reference runtime implementation. We demonstrate how this framework has enabled Cylon achieving scalable high performance. We also underline the flexibility of the proposed API and the extensibility of the framework on different hardware. To the best of our knowledge, Cylon is the first and only distributed-memory parallel dataframe system available today.
description: Will be presented in PPAM 2022
On the deceleration of relativistic jets in active galactic nuclei I: Radiation drag
Creators: name: Beskin, V. S.
name: Chernoglazov, A. V.
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Deceleration of relativistic jets from active galactic nuclei (AGNs) detected recently by MOJAVE team is discussed in connection with the interaction of the jet material with the external photon field. Appropriate energy density of the isotropic photon field which is necessary to decelerate jets is determined. It is shown that the disturbances of the electric potential and magnetic surfaces play important role in general dynamics of particle deceleration.
description: 11 pages, 4 figures. Submitted to MNRAS
Exceptional Points in three-dimensional Nanostructures
Creators: name: Kodigala, Ashok
name: Lepetit, Thomas
name: Kanté, Boubacar
Publisher: name: arXiv
Year: 2016
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: Exceptional points (EPs) are degeneracies in open wave systems where at least two energy levels and their corresponding eigenstates coalesce. We report evidence of the existence of EPs in 3D plasmonic nanostructures. The systems are composed of coupled plasmonic nanoresonators and can be judiciously and systematically driven to EPs by controlling symmetry-compatible modes via their near-field and far-field interactions. The proposed platform opens the way to the investigation of EPs for enhanced light-matter interactions and applications in communication, sensing and imaging.
Guidelines for Managing Research Data at the University of Kassel
Creators: name: University Of Kassel
Publisher: name: Universität Kassel
Year: 2023
Subjects: subject: research data
subject: research data management
subject: guideline
subject: policy
subject: Data Literacy
subject: Open Science
subject: 000
subject: Richtlinie
subject: Forschungsdaten
subject: Datenmanagement

description: This English translation is provided for your convenience only. The original version in German takes precedence and is binding.
description: The presentation of the document has been adjusted to improve its accessibility.
Calcium Folinate - BOPA Consensus Meeting
Creators: name: Polwart, Calum
Publisher: name: figshare
Year: 2023
Subjects: classificationCode: 321403
subject: Clinical pharmacy and pharmacy practice
classificationCode: 321199
subject: Oncology and carcinogenesis not elsewhere classified

description: Delphi Research Protocol aimed at reaching consensus on the use of trometamol containing folinates with oxaliplatin.