cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Nonfactorization in Hadronic Two-body Cabibbo-favored decays of D^0 and D^+
Creators: name: Kamal, A. N.
name: Santra, A. B.
name: Uppal, T.
name: Verma, R. C.
Publisher: name: arXiv
Year: 1995
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: With the inclusion of nonfactorized amplitudes in a scheme with $N_c=3$, we have studied Cabibbo-favored decays of $D^0$ and $D^+$ into two-body hadronic states involving two isospins in the final state. We have shown that it is possible to understand the measured branching ratios and determined the sizes and signs of nonfactorized amplitudes required.
description: 15 pages, Latex
Low-Temperature and Dynamic Magnetism of Highly Frustrated 5d2 Li4MgOsO6 Polymorphs in Comparison with 5d3 Li3Mg2OsO6
Creators: name: Tran, Gia T.
name: Nguyen, Phuong-Hieu T.
name: Bloed, Charles J.
name: Evans, Michael E.
name: Anczarski, Jamie A.
name: Martin, William P.
name: Toro, Jefferson
name: Papakostas, Demetrios V.
name: Beare, James
name: Wilson, Murray N.
name: Greedan, John E.
name: Luke, Graeme M.
name: Gredig, Thomas
name: Carlo, Jeremy P.
name: Derakhshan, Shahab
Publisher: name: arXiv
Year: 2018
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Geometric magnetic frustration (GMF) has attracted substantial interest due to the exotic physics and rich phase diagrams revealed by the cancellation of normally-dominant magnetic interactions, giving impetus for the search for novel frustrated systems, most often based on antiferromagnetic correlations between magnetic ions decorating triangular or tetrahedral lattices. We report here low-temperature magnetic susceptibility and muon spin relaxation results on Li4MgOsO6 and Li3Mg2OsO6, members of the A5BO6 "rock salt ordered" family of frustrated materials. In Li3Mg2OsO6 we find spin freezing below 12K. In Li4MgOsO6, which can crystallize into either orthorhombic Fddd or monoclinic C2/m crystal symmetries depending on synthesis conditions, we find magnetism consistent with glassy-like behavior dominating below 2K, with partial ordering and evidence for dynamics at somewhat higher temperatures.
description: 5 pages, 5 figures
Aspectos teóricos actuales de la memoria a largo plazo: de las dicotomías a los continuos
Creators: name: Ruiz Sánchez de León, José M.
Publisher: name: figshare
Year: 2024
Subjects: classificationCode: 520203
subject: Cognitive neuroscience

description: Ruiz Sánchez de León, J. M., Fernández Guinea, S. y González Marqués, J. (2006). Aspectos teóricos actuales de la memoria a largo plazo: de las dicotomías a los continuos. Anales de Psicología, 22(2), 290-297.En el estudio de la memoria a largo plazo se observan discrepancias terminológicas entre los autores a pesar de que históricamente manejen los mismos términos. Así, unos dan más importancia al formato en el que se almacena la representación, otros al formato que dicha representación toma a la hora de salir del sistema y otros a la conciencia o inconsciencia, bien en el almacenamiento, bien en la recuperación. En el presente trabajo se ponen en relación, tanto los conceptos de aprendizaje y memoria, como los de codificación, almacenamiento y recuperación, con dicotomías clásicas (explícito/implícito, declarativo/procedimental, controlado/automático e intencional/incidental). En la actualidad hay varios investigadores que adoptan y apoyan una renovada idea de “cotinuum” de las capacidades de atención, intención y conciencia en el almacenamiento y en la recuperación para las tareas de aprendizaje y memoria. Por ello, se pone de manifiesto la necesidad de considerar la idea de “continuum” entre la memoria explícita y la implícita, los procesos controlados y automáticos e incluso entre intencionalidad e incidentalidad, ya que son varias las aportaciones que nos muestran los diferentes efectos de “contaminación” de unos mecanismos sobre los otros.
Complete positivity and correlated neutral kaons
Creators: name: Benatti, F.
name: Floreanini, R.
Publisher: name: arXiv
Year: 1999
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: In relation with experiments on correlated kaons at phi-factories, it is shown that the request of complete positivity is necessary in any physically consistent description of neutral kaons as open quantum systems.
description: LaTeX, 9 pages
Multi-angle Five-Brane Intersections
Creators: name: Papadopoulos, G.
name: Teschendorff, A.
Publisher: name: arXiv
Year: 1998
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We find new solutions of IIA supergravity which have the interpretation of intersecting NS-5-branes at $Sp(2)$-angles on a string preserving at least 3/32 of supersymmetry. We show that the relative position of every pair of NS-5-branes involved in the superposition is determined by four angles. In addition we explore the related configurations in IIB strings and M-theory.
description: 18 pages,phyzzx; reference added; version to appear in PLB
Case Study: Coordinating Among Multiple Semiotic Resources to Solve Complex Physics Problems
Creators: name: Weliweriya, Nandana
name: Sayre, Eleanor C
name: Zollman, Dean A
Publisher: name: arXiv
Year: 2018
Subjects: subject: Physics Education (physics.ed-ph)
subject: FOS: Physical sciences

description: This work examines student meaning-making in undergraduate physics problem-solving. We use a social semiotic perspective to sketch a theoretical framework. The social semiotic approach focuses on all types of meaning-making practices that are accomplished through different semiotic modes that include visual, verbal (or aural), written and gestural modes and language, text, algebra, diagrams, sketches, graphs, body movements, signs, and gestures are examples for semiotic resources. We use the developed theoretical framework to investigate how semiotic resources might be combined to solve physics problems. Data for this study are drawn from an upper-division Electromagnetism I course and a student ("Larry") who is engaged in an individual oral exam. We identify the semiotic and conceptual resources that Larry uses. We use a resource graph representation to show Larry's coordination of resources in his problem solving activity. Larry's case exemplifies coordination between multiple semiotic resources with different disciplinary affordances to build up compound representations. Our analysis of this case illustrates a novel way of thinking about what it means to solve physics problems using semiotic resources.
description: Submitted to EJP
Scale-free vision-based aerial control of a ground formation with hybrid topology
Creators: name: Aranda, Miguel
name: Mezouar, Youcef
name: López-Nicolás, Gonzalo
name: Sagüés, Carlos
Publisher: name: arXiv
Year: 2024
Subjects: subject: Robotics (cs.RO)
subject: Systems and Control (eess.SY)
subject: Optimization and Control (math.OC)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Mathematics

description: We present a novel vision-based control method to make a group of ground mobile robots achieve a specified formation shape with unspecified size. Our approach uses multiple aerial control units equipped with downward-facing cameras, each observing a partial subset of the multirobot team. The units compute the control commands from the ground robots' image projections, using neither calibration nor scene scale information, and transmit them to the robots. The control strategy relies on the calculation of image similarity transformations, and we show it to be asymptotically stable if the overlaps between the subsets of controlled robots satisfy certain conditions. The presence of the supervisory units, which coordinate their motions to guarantee a correct control performance, gives rise to a hybrid system topology. All in all, the proposed system provides relevant practical advantages in simplicity and flexibility. Within the problem of controlling a team shape, our contribution lies in addressing several simultaneous challenges: the controller needs only partial information of the robotic group, does not use distance measurements or global reference frames, is designed for unicycle agents, and can accommodate topology changes. We present illustrative simulation results.
description: This is the accepted version an already published manuscript. See journal reference for details
Additional file 1 of Structural equation model for parental influence on childrenâ€™s oral health practice and status
Creators: name: Zhang, Yan
name: Li, Kar
name: Lo, Edward
name: Wong, May
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified

description: Additional file 1. Appendix 1 Questionnaires used in the study.
Automatic Processing and Solar Cell Detection in Photovoltaic Electroluminescence Images
Creators: name: Sovetkin, Evgenii
name: Steland, Ansgar
Publisher: name: arXiv
Year: 2018
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Applications (stat.AP)
subject: FOS: Computer and information sciences
subject: 62P30, 68U10

description: Electroluminescence (EL) imaging is a powerful and established technique for assessing the quality of photovoltaic (PV) modules, which consist of many electrically connected solar cells arranged in a grid. The analysis of imperfect real-world images requires reliable methods for preprocessing, detection and extraction of the cells. We propose several methods for those tasks, which, however, can be modified to related imaging problems where similar geometric objects need to be detected accurately. Allowing for images taken under difficult outdoor conditions, we present methods to correct for rotation and perspective distortions. The next important step is the extraction of the solar cells of a PV module, for instance to pass them to a procedure to detect and analyze defects on their surface. We propose a method based on specialized Hough transforms, which allows to extract the cells even when the module is surrounded by disturbing background and a fast method based on cumulated sums (CUSUM) change detection to extract the cell area of single-cell mini-module, where the correction of perspective distortion is implicitly done. The methods are highly automatized to allow for big data analyses. Their application to a large database of EL images substantiates that the methods work reliably on a large scale for real-world images. Simulations show that the approach achieves high accuracy, reliability and robustness. This even holds for low contrast images as evaluated by comparing the simulated accuracy for a low and a high contrast image.
Hard exclusive photoproduction of $Φ$ mesons
Creators: name: Berger, C. F.
name: Schweiger, W.
Publisher: name: arXiv
Year: 1999
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We calculate the differential cross section and single-polarization observables for the reaction $γp \to Φp$ within perturbative QCD, treating the proton as a quark-diquark system. The phenomenological couplings of gauge bosons to (spatially extended) diquarks and the quark-diquark distribution amplitude of the proton are adopted from previous investigations of baryon form factors and two-photon processes. Going beyond leading order, we take into account hadron-mass effects by means of a systematic expansion in the small parameter (hadron mass/ photon energy). With the $Φ$-meson distribution amplitude taken from the literature our predictions for the differential cross section at $| t | \agt 4 \text{GeV}^2$ seem to provide a reasonable extrapolation of the low-t data and are also comparable in magnitude with the results of a two-gluon exchange model in which the gluons are considered as a remnant of the pomeron. For momentum transfers of a few GeV hadron-mass effects appear still to be sizeable.
description: 37 pages, 7 figures, uses RevTeX style
B-Side: Binary-Level Static System Call Identification
Creators: name: Thévenon, Gaspard
name: Nguetchouang, Kevin
name: Lazri, Kahina
name: Tchana, Alain
name: Olivier, Pierre
Publisher: name: arXiv
Year: 2024
Subjects: subject: Cryptography and Security (cs.CR)
subject: Operating Systems (cs.OS)
subject: FOS: Computer and information sciences

description: System call filtering is widely used to secure programs in multi-tenant environments, and to sandbox applications in modern desktop software deployment and package management systems. Filtering rules are hard to write and maintain manually, hence generating them automatically is essential. To that aim, analysis tools able to identify every system call that can legitimately be invoked by a program are needed. Existing static analysis works lack precision because of a high number of false positives, and/or assume the availability of program/libraries source code -- something unrealistic in many scenarios such as cloud production environments.
 We present B-Side, a static binary analysis tool able to identify a superset of the system calls that an x86-64 static/dynamic executable may invoke at runtime. B-Side assumes no access to program/libraries sources, and shows a good degree of precision by leveraging symbolic execution, combined with a heuristic to detect system call wrappers, which represent an important source of precision loss in existing works. B-Side also allows to statically detect phases of execution in a program in which different filtering rules can be applied. We validate B-Side and demonstrate its higher precision compared to state-of-the-art works: over a set of popular applications, B-Side's average $F_1$ score is 0.81, vs. 0.31 and 0.53 for competitors. Over 557 static and dynamically-compiled binaries taken from the Debian repositories, B-Side identifies an average of 43 system calls, vs. 271 and 95 for two state-of-the art competitors. We further evaluate the strictness of the phase-based filtering policies that can be obtained with B-Side.
description: Accepted to appear in the 25th ACM/IFIP International Middleware Conference (Middleware'24)
Splitting loops and necklaces: Variants of the square peg problem
Creators: name: Aslam, Jai
name: Chen, Shujian
name: Frick, Florian
name: Saloff-Coste, Sam
name: Setiabrata, Linus
name: Thomas, Hugh
Publisher: name: arXiv
Year: 2018
Subjects: subject: Metric Geometry (math.MG)
subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 53A04, 51M04

description: Toeplitz conjectured that any simple planar loop inscribes a square. Here we prove variants of Toeplitz' square peg problem. We prove Hadwiger's 1971 conjecture that any simple loop in $3$-space inscribes a parallelogram. We show that any simple planar loop inscribes sufficiently many rectangles that their vertices are dense in the loop (independently due to Schwartz). If the loop is rectifiable, there is a rectangle that cuts the loop into four pieces that can be rearranged to form two loops of equal length. A rectifiable loop in $d$-space can be cut into $(r-1)(d+1)+1$ pieces that can be rearranged by translations to form $r$ loops of equal length. We relate our results to fair divisions of necklaces in the sense of Alon and to Tverberg-type results. This provides a new approach and a common framework to obtain variants of Toeplitz' square peg problem for the class of all continuous curves.
description: 11 pages
Predictions for Decays of Radially Excited Baryons
Creators: name: Carlson, Carl E.
name: Carone, Christopher D.
Publisher: name: arXiv
Year: 2000
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We consider the strong decays of the lowest-lying radially excited baryons, in SU(6) language the states comprising the first excited 56-plet. Assuming a single-quark decay approximation, and negligible configuration mixing, we make model-independent predictions for the partial decay widths to final states with a single meson. Masses of unobserved states are predicted using results from large-N_c QCD, and the momentum dependence of the one-body decay amplitude is determined phenomenologically by fitting to observed decays, so that the baryon spatial wave functions are not assumed. We point out that comparison of these predictions to experiment may shed light on whether the Roper resonance can be consistently interpreted as a three-quark state.
description: 11 pages RevTeX, 1 eps figure. One minor revision
Intermittent Connectivity Maintenance With Heterogeneous Robots
Creators: name: Aragues, Rosario
name: Dimarogonas, Dimos V.
name: Guallar, Pablo
name: Sagues, Carlos
Publisher: name: arXiv
Year: 2024
Subjects: subject: Robotics (cs.RO)
subject: Systems and Control (eess.SY)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: We consider a scenario of cooperative task servicing, with a team of heterogeneous robots with different maximum speeds and communication radii, in charge of keeping the network intermittently connected. We abstract the task locations into a $1D$ cycle graph that is traversed by the communicating robots, and we discuss intermittent communication strategies so that each task location is periodically visited, with a worst--case revisiting time. Robots move forward and backward along the cycle graph, exchanging data with their previous and next neighbors when they meet, and updating their region boundaries. Asymptotically, each robot is in charge of a region of the cycle graph, depending on its capabilities. The method is distributed, and robots only exchange data when they meet.
MOESM1 of Combined innate and adaptive immunotherapy overcomes resistance of immunologically cold syngeneic murine neuroblastoma to checkpoint inhibition
Creators: name: Voeller, Julie
name: Erbe, Amy
name: Slowinski, Jacob
name: Rasmussen, Kayla
name: Carlson, Peter
name: Hoefges, Anna
name: VandenHeuvel, Sabrina
name: Stuckwisch, Ashley
name: Wang, Xing
name: Gillies, Stephen
name: Patel, Ravi
name: Farrel, Alvin
name: Rokita, Jo
name: Maris, John
name: Hank, Jacquelyn
name: Morris, Zachary
name: Rakhmilevich, Alexander
name: Sondel, Paul
Publisher: name: figshare
Year: 2019
Subjects: subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Pharmacology
subject: Immunology
subject: FOS: Clinical medicine
subject: Developmental Biology
subject: Cancer
subject: Virology

description: Additional file 1: Figure S1. Antitumor effect of RT, IC, anti-CTLA-4, and anti-CD40/CpG against 9464D-GD2 neuroblastoma. Tumor growth curves are shown for mice bearing intradermal 9464D-GD2 tumors (about 50mm3) that were untreated or treated with RT alone, or RT and IT-IC and anti-CTLA-4, or RT and anti-CD40/CpG, or IT-IC and anti-CTLA-4 and anti-CD40/CpG, or RT and combined IT-IC, anti-CTLA-4, and anti-CD40/CpG. Tumor-free mice on day 30 (if any) are denoted as number of CR of total mice in the group. Combined treatment with RT, IT-IC, anti-CTLA-4, and anti-CD40/CpG resulted in complete tumor regression in one mouse and in the strongest tumor growth suppression in other mice.
FRB Energetics and detectability from high redshifts
Creators: name: Zhang, Bing
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We estimate the upper limit redshifts of known FRBs using the dispersion measure (DM) - redshift ($z$) relation and derive the upper limit peak luminosity $L_p$ and energy $E$ of FRBs within the observational band. The average $z$ upper limits range from 0.17 to 3.10, the average $L_p$ upper limits range from $1.24 \times 10^{42} \rm erg \ s^{-1}$ to $7.80 \times 10^{44} \rm erg \ s^{-1}$, and the average $E$ upper limits range from $6.91 \times 10^{39}$ erg to $1.94 \times 10^{42}$ erg. FRB 160102 with DM $=2596.1 \pm 0.3 \ {\rm pc \ cm^{-3}}$ likely has a redshift greater than 3. Assuming that its intrinsic DM contribution from the host and FRB source is ${\rm DM_{host}+DM_{scr}}\sim 100 \ {\rm pc \ cm^{-3}}$, such an FRB can be detected up to $z \sim 3.6$ by Parkes and by FAST under ideal conditions up to $z \sim 10.4$. Assuming that there exist FRBs detectable at $z\sim 15$ by sensitive telescopes such as FAST, the upper limit DM for FRB searches may be set to $\sim 9000 \ {\rm pc \ cm^{-3}}$. For single-dish telescopes, those with a larger aperture tend to detect more FRBs than those with a smaller aperture if the FRB luminosity function index $α_{\rm L}$ is steeper than 2, and vice versa. In any case, large-aperture telescopes such as FAST are more capable of detecting high-$z$ FRBs, even though most of FRBs detected by them are still from relatively low redshifts.
description: 8 pages, ApJL, in press
Equitable Persistent Coverage of Non-Convex Environments with Graph-Based Planning
Creators: name: Palacios-Gasós, José Manuel
name: Tardioli, Danilo
name: Montijano, Eduardo
name: Sagüés, Carlos
Publisher: name: arXiv
Year: 2024
Subjects: subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences

description: In this paper we tackle the problem of persistently covering a complex non-convex environment with a team of robots. We consider scenarios where the coverage quality of the environment deteriorates with time, requiring to constantly revisit every point. As a first step, our solution finds a partition of the environment where the amount of work for each robot, weighted by the importance of each point, is equal. This is achieved using a power diagram and finding an equitable partition through a provably correct distributed control law on the power weights. Compared to other existing partitioning methods, our solution considers a continuous environment formulation with non-convex obstacles. In the second step, each robot computes a graph that gathers sweep-like paths and covers its entire partition. At each planning time, the coverage error at the graph vertices is assigned as weights of the corresponding edges. Then, our solution is capable of efficiently finding the optimal open coverage path through the graph with respect to the coverage error per distance traversed. Simulation and experimental results are presented to support our proposal.
description: This is the accepted version an already published manuscript. See journal reference for details
Electric field-controlled reversible order-disorder switching of a metal tip surface
Creators: name: de Knoop, Ludvig
name: Kuisma, Mikael Juhani
name: Löfgren, Joakim
name: Lodewijks, Kristof
name: Thuvander, Mattias
name: Erhart, Paul
name: Dmitriev, Alexandre
name: Olsson, Eva
Publisher: name: arXiv
Year: 2018
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: While it is well established that elevated temperatures can induce surface roughening of metal surfaces, the effect of a high electric field on the atomic structure at ambient temperature has not been investigated in detail. Here we show with atomic resolution using in situ transmission electron microscopy how intense electric fields induce reversible switching between perfect crystalline and disordered phases of gold surfaces at room temperature. Ab initio molecular dynamics simulations reveal that the mechanism behind the structural change can be attributed to a vanishing energy cost in forming surface defects in high electric fields. Our results demonstrate how surface processes can be directly controlled at the atomic scale by an externally applied electric field, which promotes an effective decoupling of the topmost surface layers from the underlying bulk. This opens up opportunities for development of active nanodevices in e.g. nanophotonics and field-effect transistor technology as well as fundamental research in materials characterization and of yet unexplored dynamically-controlled low-dimensional phases of matter.
description: The manuscript is 10 pages long and the supplemental material is 15 pages. There are six supplemental movies that can be provided upon request to LDK
Planning Regulations
Creators: name: G, Shreedhar
Publisher: name: figshare
Year: 2025
Subjects: classificationCode: 409999
subject: Other engineering not elsewhere classified

description: This paper aims to provide a brief overview of the applicable regulations in planning. It briefly reviews the different regulation elements such as zoning of land use, zoning of height, and zoning of density with their legal tools such as development plans, development control regulations, building bye laws and other such regulations. This paper also provides information on how these regulation elements control the planning and development of cities through the zoning powers of the authorities responsible for the planned growth of cities. While explaining the regulating elements, each element is briefed with suitable examples from the policy documents, planning documents, and filed regulations, which provide real-time examples.
Quantitative Assessment of Robotic Swarm Coverage
Creators: name: Anderson, Brendon G.
name: Loeser, Eva
name: Gee, Marissa
name: Ren, Fei
name: Biswas, Swagata
name: Turanova, Olga
name: Haberland, Matt
name: Bertozzi, Andrea L.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Optimization and Control (math.OC)
subject: FOS: Mathematics

description: This paper studies a generally applicable, sensitive, and intuitive error metric for the assessment of robotic swarm density controller performance. Inspired by vortex blob numerical methods, it overcomes the shortcomings of a common strategy based on discretization, and unifies other continuous notions of coverage. We present two benchmarks against which to compare the error metric value of a given swarm configuration: non-trivial bounds on the error metric, and the probability density function of the error metric when robot positions are sampled at random from the target swarm distribution. We give rigorous results that this probability density function of the error metric obeys a central limit theorem, allowing for more efficient numerical approximation. For both of these benchmarks, we present supporting theory, computation methodology, examples, and MATLAB implementation code.
description: Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics (ICINCO), Porto, Portugal, 29--31 July 2018. 11 pages, 4 figures
A Bayesian Estimate of the Primordial Helium Abundance
Creators: name: Hogan, Craig J.
name: Olive, Keith A.
name: Scully, Sean T.
Publisher: name: arXiv
Year: 1997
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We introduce a new statistical method to estimate the primordial helium abundance, Y_p from observed abundances in a sample of galaxies which have experienced stellar helium enrichment. Rather than using linear regression on metal abundance we construct a likelihood function using a Bayesian prior, where the key assumption is that the true helium abundance must always exceed the primordial value. Using a sample of measurements compiled from the literature we find estimates of Y_p between 0.221 and 0.236, depending on the specific subsample and prior adopted, consistent with previous estimates either from a linear extrapolation of the helium abundance with respect to metallicity, or from the helium abundance of the lowest metallicity HII region, I Zw 18. We also find an upper limit which is insensitive to the specific subsample or prior, and estimate a model-independent bound Y_p < 0.243 at 95% confidence, favoring a low cosmic baryon density and a high primordial deuterium abundance. The main uncertainty is not the model of stellar enrichment but possible common systematic biases in the estimate of Y in each individual HII region.
description: 14 pages, latex, 3 ps figures
Automatic Function Annotations for Hoare Logic
Creators: name: Matichuk, Danielle
Publisher: name: arXiv
Year: 2012
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.2.4;F.3.1

description: In systems verification we are often concerned with multiple, inter-dependent properties that a program must satisfy. To prove that a program satisfies a given property, the correctness of intermediate states of the program must be characterized. However, this intermediate reasoning is not always phrased such that it can be easily re-used in the proofs of subsequent properties. We introduce a function annotation logic that extends Hoare logic in two important ways: (1) when proving that a function satisfies a Hoare triple, intermediate reasoning is automatically stored as function annotations, and (2) these function annotations can be exploited in future Hoare logic proofs. This reduces duplication of reasoning between the proofs of different properties, whilst serving as a drop-in replacement for traditional Hoare logic to avoid the costly process of proof refactoring. We explain how this was implemented in Isabelle/HOL and applied to an experimental branch of the seL4 microkernel to significantly reduce the size and complexity of existing proofs.
description: In Proceedings SSV 2012, arXiv:1211.5873
Current-Driven Domain Wall Motion in Curved Ferrimagnetic Strips Above and Below the Angular Momentum Compensation
Creators: name: Ruiz, David Osuna
name: Alejos, Óscar
name: Raposo, Víctor
name: Martínez, Eduardo
Publisher: name: arXiv
Year: 2024
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Current driven domain wall motion in curved Heavy Metal/Ferrimagnetic/Oxide multilayer strips is investigated using systematic micromagnetic simulations which account for spin-orbit coupling phenomena. Domain wall velocity and characteristic relaxation times are studied as functions of the geometry, curvature and width of the strip, at and out of the angular momentum compensation. Results show that domain walls can propagate faster and without a significant distortion in such strips in contrast to their ferromagnetic counterparts. Using an artificial system based on a straight strip with an equivalent current density distribution, we can discern its influence on the wall terminal velocity, as part of a more general geometrical influence due to the curved shape. Curved and narrow ferrimagnetic strips are promising candidates for designing high speed and fast response spintronic circuitry based on current-driven domain wall motion.
MOESM2 of Combined innate and adaptive immunotherapy overcomes resistance of immunologically cold syngeneic murine neuroblastoma to checkpoint inhibition
Creators: name: Voeller, Julie
name: Erbe, Amy
name: Slowinski, Jacob
name: Rasmussen, Kayla
name: Carlson, Peter
name: Hoefges, Anna
name: VandenHeuvel, Sabrina
name: Stuckwisch, Ashley
name: Wang, Xing
name: Gillies, Stephen
name: Patel, Ravi
name: Farrel, Alvin
name: Rokita, Jo
name: Maris, John
name: Hank, Jacquelyn
name: Morris, Zachary
name: Rakhmilevich, Alexander
name: Sondel, Paul
Publisher: name: figshare
Year: 2019
Subjects: subject: Medicine
subject: Cell Biology
subject: Molecular Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Pharmacology
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: Plant Biology

description: Additional file 2: Figure S2. Response of immunologically cold, syngeneic 9464D-GD2 tumors in C57Bl/6 mice obtained from Jackson (JAX) compared to Taconic (TAC). Tumor growth curves are shown for JAX mice bearing intradermal 9464D-GD2 tumors (about 50mm3) that were untreated or treated with RT alone or RT and combined IT-IC, anti-CTLA-4, CpG and anti-CD40. Tumor-free mice on day 60 are denoted as number of CR of total mice in the group. For each treatment group tested in TAC mice (shown in Fig. 4a) and JAX mice (shown here) in the same experiment, there was no significant difference in tumor response between TAC versus JAX mice.
On time-dependent quasi-exactly solvable models
Creators: name: Mayer, Dieter
name: Ushveridze, Alexander
name: Walczak, Zbigniew
Publisher: name: arXiv
Year: 1998
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In this paper we demonstrate that there exists a close relationship between quasi-exactly solvable quantum models and two special classes of classical dynamical systems. One of these systems can be considered a natural generalization of the multi-particle Calogero-Moser model and the second one is a classical matrix model.
description: LaTeX, 12 pages
High Baryon Densities Achieveable at RHIC and LHC
Creators: name: Kapusta, Joseph I.
name: Li, Ming
Publisher: name: arXiv
Year: 2018
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: In high energy collisions nuclei are practically transparent to each other but produce very hot, nearly baryon-free, matter in the central rapidity region. Where do the baryons go? We calculate the energy loss of the nuclei using the color glass condensate model. Using a space-time picture of the collision we calculate the baryon and energy densities of the receding baryonic fireballs. For central collisions of large nuclei at RHIC and LHC we find baryon densities more than ten times that of atomic nuclei over a large volume which appear at high rapidities. These results can and are being used as initial conditions for subsequent hydrodynamic evolution and could test the equation of state of matter at very high baryon densities.
description: 4 pages, 6 figures. Proceedings of Quark Matter 2018
Fluidez verbal escrita en el envejecimiento normal con quejas subjetivas de memoria y en el deterioro cognitivo leve
Creators: name: Ruiz Sánchez de León, José M.
Publisher: name: figshare
Year: 2024
Subjects: classificationCode: 520301
subject: Clinical neuropsychology

description: Ruiz Sánchez de León, J. M., Moratilla Pérez, I. y Llanero Luque, M. (2011). Fluidez verbal escrita en el envejecimiento normal con quejas subjetivas de memoria y en el deterioro cognitivo leve. Anales de Psicología, 27(2), 360-368.Introducción. El presente estudio analiza si una tarea de fluidez verbal escrita es útil para discriminar el deterioro cognitivo leve (DCL) frente al envejecimiento normal con quejas subjetivas de memoria (EN). Método. Se reclutaron 140 participantes con un juicio clínico de EN (n=64) o DCL (n=76) diagnosticado ad hoc a los que se les administró una tarea de fluidez verbal fonológica y semántica escrita. Resultados. El análisis descriptivo muestra una composición homogénea de los grupos en función de la edad, sexo y años de escolaridad. Se observa cómo, tanto la puntuación en cada criterio de evocación particular, como los sumatorios de los tres criterios fonológicos (FAS) y semánticos (SEMÁNTICA) son superiores en el grupo con EN que en el grupo con DCL (F=1.899, p<.005, para FAS y F=24.200, p<.001, para SEMÁNTICA). El trabajo analiza también las correlaciones con diferentes pruebas clásicas de cribado. Discusión. Los resultados muestran la utilidad de la fluidez verbal escrita en el cribado del DCL. Esta modalidad ofrece frente a la modalidad oral, además, la ventaja añadida de su posible aplicación grupal. Se han observado las diferencias ya conocidas entre los criterios de evocación fonológica y semántica, concluyendo que los segundos aportan más información para el cribado de pacientes con DCL.
Ranking for Relevance and Display Preferences in Complex Presentation Layouts
Creators: name: Oosterhuis, Harrie
name: de Rijke, Maarten
Publisher: name: arXiv
Year: 2018
Subjects: subject: Information Retrieval (cs.IR)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Learning to Rank has traditionally considered settings where given the relevance information of objects, the desired order in which to rank the objects is clear. However, with today's large variety of users and layouts this is not always the case. In this paper, we consider so-called complex ranking settings where it is not clear what should be displayed, that is, what the relevant items are, and how they should be displayed, that is, where the most relevant items should be placed. These ranking settings are complex as they involve both traditional ranking and inferring the best display order. Existing learning to rank methods cannot handle such complex ranking settings as they assume that the display order is known beforehand. To address this gap we introduce a novel Deep Reinforcement Learning method that is capable of learning complex rankings, both the layout and the best ranking given the layout, from weak reward signals. Our proposed method does so by selecting documents and positions sequentially, hence it ranks both the documents and positions, which is why we call it the Double-Rank Model (DRM). Our experiments show that DRM outperforms all existing methods in complex ranking settings, thus it leads to substantial ranking improvements in cases where the display order is not known a priori.
Detection of Block-Exchangeable Structure in Large-Scale Correlation Matrices
Creators: name: Perreault, Samuel
name: Duchesne, Thierry
name: Nešlehová, Johanna G.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Statistics Theory (math.ST)
subject: Machine Learning (stat.ML)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: Correlation matrices are omnipresent in multivariate data analysis. When the number d of variables is large, the sample estimates of correlation matrices are typically noisy and conceal underlying dependence patterns. We consider the case when the variables can be grouped into K clusters with exchangeable dependence; this assumption is often made in applications, e.g., in finance and econometrics. Under this partial exchangeability condition, the corresponding correlation matrix has a block structure and the number of unknown parameters is reduced from d(d-1)/2 to at most K(K+1)/2. We propose a robust algorithm based on Kendall's rank correlation to identify the clusters without assuming the knowledge of K a priori or anything about the margins except continuity. The corresponding block-structured estimator performs considerably better than the sample Kendall rank correlation matrix when K < d. The new estimator can also be much more efficient in finite samples even in the unstructured case K = d, although there is no gain asymptotically. When the distribution of the data is elliptical, the results extend to linear correlation matrices and their inverses. The procedure is illustrated on financial stock returns.
Treatment recommendations for Casa Grande Ruins National Monument
Creators: name: Tol Cherry
Year: 1967
Subjects: subject: Classic Period
valueUri: https://core.tdar.org/browse/temporal-keyword/125/classic-period
subject: Hohokam
valueUri: https://core.tdar.org/browse/culture-keyword/21/hohokam
subject: Casa Grande Ruins National Monument
valueUri: https://core.tdar.org/browse/site-name/1435/casa-grande-ruins-national-monument
subject: Archaeological Feature
valueUri: https://core.tdar.org/browse/site-type/339/archaeological-feature
subject: Non-Domestic Structures
valueUri: https://core.tdar.org/browse/site-type/309/non-domestic-structures
subject: Domestic Structure or Architectural Complex
valueUri: https://core.tdar.org/browse/site-type/251/domestic-structure-or-architectural-complex
subject: Building Materials
valueUri: https://core.tdar.org/browse/material-type/8/building-materials
subject: Architectural Documentation
valueUri: https://core.tdar.org/browse/investigation-type/16/architectural-documentation
subject: Archaeological Overview
valueUri: https://core.tdar.org/browse/investigation-type/1/archaeological-overview
subject: Historic Background Research
valueUri: https://core.tdar.org/browse/investigation-type/18/historic-background-research
subject: Site Stabilization
valueUri: https://core.tdar.org/browse/investigation-type/11/site-stabilization

description: This document is a recommedation for treatments needed at Casa Grande Ruins National Monument. There are 4 main areas of focus: Compound A, the Great House, the Ball Court and Compound B. There is some review of past treatment processes and how well those treatments weathered. There is discussion regarding the very poor condition of Compound B and how long it had been since there had been any attention given to that compound. The text includes a recommendtion to backfill Compound B.
Cooperative Periodic Coverage With Collision Avoidance
Creators: name: Palacios-Gasós, José Manuel
name: Montijano, Eduardo
name: Sagüés, Carlos
name: Llorente, Sergio
Publisher: name: arXiv
Year: 2024
Subjects: subject: Robotics (cs.RO)
subject: Systems and Control (eess.SY)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: In this paper we propose a periodic solution to the problem of persistently covering a finite set of interest points with a group of autonomous mobile agents. These agents visit periodically the points and spend some time carrying out the coverage task, which we call coverage time. Since this periodic persistent coverage problem is NP-hard, we split it into three subproblems to counteract its complexity. In the first place, we plan individual closed paths for the agents to cover all the points. Second, we formulate a quadratically constrained linear program to find the optimal coverage times and actions that satisfy the coverage objective. Finally, we join together the individual plans of the agents in a periodic team plan by obtaining a schedule that guarantees collision avoidance. To this end, we solve a mixed integer linear program that minimizes the time in which two or more agents move at the same time. Eventually, we apply the proposed solution to an induction hob with mobile inductors for a domestic heating application and show its performance with experiments on a real prototype.
description: This is the accepted version an already published manuscript. See journal reference for details
Self-Consistent Thermal Accretion Disk Corona Models for Compact Objects: I. Properties of the Corona and the Spectrum of Escaping Radiation
Creators: name: Dove, James B.
name: Wilms, Jorn
name: Begelman, Mitchell C.
Publisher: name: arXiv
Year: 1997
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We present the properties of accretion disk corona (ADC) models, where the radiation field, the temperature, and the total opacity of the corona are determined self-consistently. We use a non-linear Monte Carlo code to perform the calculations. As an example, we discuss models where the corona is situated above and below a cold accretion disk with a plane-parallel (slab) geometry, similar to the model of Haardt and Maraschi. By Comptonizing the soft radiation emitted by the accretion disk, the corona is responsible for producing the high-energy component of the escaping radiation. Our models include the reprocessing of radiation in the accretion disk. Here, the photons either are Compton reflected or photo-absorbed, giving rise to fluorescent line emission and thermal emission. The self-consistent coronal temperature is determined by balancing heating (due to viscous energy dissipation) with Compton cooling, determined using the fully relativistic, angle-dependent cross-sections. The total opacity is found by balancing pair productions with annihilations. We find that, for a disk temperature kT_bb \lta 200 eV, these coronae are unable to have a self-consistent temperature higher than \sim 120 keV if the total optical depth is \gta 0.2, regardless of the compactness parameter of the corona and the seed opacity. This limitation corresponds to the angle-averaged spectrum of escaping radiation having a photon index \gta 1.8 within the 5 keV - 30 keV band. Finally, all models that have reprocessing features also predict a large thermal excess at lower energies. These constraints make explaining the X-ray spectra of persistent black hole candidates with ADC models very problematic.
description: 15 pages, Latex, 9 .eps figures, uses emulateapj.sty (included). To be published in ApJ, October 1, 1997, Vol. 487
Sound transmission of periodic composite structure lined with porous core: rib-stiffened double panel case
Creators: name: Qiao, Hou
name: He, Zeng
name: Jiang, Wen
name: Peng, Weicai
Publisher: name: arXiv
Year: 2018
Subjects: subject: Applied Physics (physics.app-ph)
subject: FOS: Physical sciences

description: Porous materials are effective for the isolation of sound with medium to high frequencies, while periodic structures are promising for low to medium frequencies. In the present work, we study the sound insulation of a periodically rib-stiffened double-panel with porous lining to reveal the effect of combining the two characters above. The theoretical development of the periodic composite structure, which is based on the space harmonic series and Biot theory, is included. The system equations are subsequently solved numerically by employing a precondition method with a truncation procedure. This theoretical and numerical framework is validated with results from both theoretical and finite element methods. The parameter study indicates that the presence of ribs can lower the overall sound insulation, although a direct transfer path is absent. Despite the unexpected model results, the method proposed here, which combines poroelastic modeling and periodic structures semi-analytically, can be promising in broadband sound modulation.
description: 36 pages, 17 figures and 3 appendixes
Bioactive xanthoquinodins and epipolythiodioxopiperazines from Chaetomium globosum 7s-1, an endophytic fungus isolated from Rhapis cochinchinensis (Lour.) Mart
Creators: name: Cholpisut Tantapakul
name: Trinop Promgool
name: Kwanjai Kanokmedhakul
name: Soytong, Kasem
name: Jiaojiao Song
name: Sarinya Hadsadee
name: Siriporn Jungsuttiwong
name: Somdej Kanokmedhakul
Publisher: name: Taylor & Francis
Year: 2018
Subjects: subject: Space Science
subject: Microbiology
subject: FOS: Biological sciences
subject: Pharmacology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: 60506 Virology

description: A new xanthoquinodin B9 (1), together with two known xanthoquinodins, xanthoquinodin A1 (2) and xanthoquinodin A3 (3), three epipolythiodioxopiperazines, chetomin (4), chaetocochin C (5) and dethio-tetra(methylthio)chetomin (6), and four other compounds, chrysophanol (7), emodin (8), alatinone (9), and ergosterol (10) were isolated from the endophytic fungus Chaetomium globosum 7s-1, isolated from Rhapis cochinchinensis (Lour.) Mart. All isolated structures were established based on their spectroscopic data analyses. Compounds 1–6 showed antibacterial activity against Gram positive bacteria with MICs ranging from 0.02 pM to 10.81 µM. Compounds 1–6 also exhibited cytotoxicity against KB, MCF-7 and NCI-H187 cancer cell lines (IC50 0.04–18.40 µM). However, they were cytotoxic towards a normal cell line (Vero cell) with IC50 values ranging from 0.04 to 3.86 µM.