cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Breaking cosmic degeneracies: Disentangling neutrinos and modified gravity with kinematic information
Creators: name: Hagstotz, Steffen
name: Gronke, Max
name: Mota, David
name: Baldi, Marco
Publisher: name: arXiv
Year: 2019
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: Searches for modified gravity in the large-scale structure try to detect the enhanced amplitude of density fluctuations caused by the fifth force present in many of these theories. Neutrinos, on the other hand, suppress structure growth below their free-streaming length. Both effects take place on comparable scales, and uncertainty in the neutrino mass leads to a degeneracy with modified gravity parameters for probes that are measuring the amplitude of the matter power spectrum. We explore the possibility to break the degeneracy between modified gravity and neutrino effects in the growth of structures by considering kinematic information related to either the growth rate on large scales or the virial velocities inside of collapsed structures. In order to study the degeneracy up to fully non-linear scales, we employ a suite of $N$-body simulations including both $f(R)$ modified gravity and massive neutrinos. Our results indicate that velocity information provides an excellent tool to distinguish massive neutrinos from modified gravity. Models with different values of neutrino masses and modified gravity parameters possessing a comparable matter power spectrum at a given time have different growth rates. This leaves imprints in the velocity divergence, which is therefore better suited than the amplitude of density fluctuations to tell the models apart. In such models with a power spectrum comparable to $Λ$CDM today, the growth rate is strictly enhanced. We also find the velocity dispersion of virialised clusters to be well suited to constrain deviations from general relativity without being affected by the uncertainty in the sum of neutrino masses.
description: 8 pages, 4 figures, submitted to A&A
On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
Creators: name: Devillers, Raymond
name: Tredup, Ronny
Publisher: name: arXiv
Year: 2022
Subjects: subject: Computational Complexity (cs.CC)
subject: FOS: Computer and information sciences

description: Synthesis consists in deciding whether a given labeled transition system (TS) $A$ can be implemented by a net $N$ of type $τ$. In case of a negative decision, it may be possible to convert $A$ into an implementable TS $B$ by applying various modification techniques, like relabeling edges that previously had the same label, suppressing edges/states/events, etc. It may however be useful to limit the number of such modifications to stay close to the original problem, or optimize the technique. In this paper, we show that most of the corresponding problems are NP-complete if $τ$ corresponds to the type of flip-flop nets or some flip-flop net derivatives.
Supplementary material methods and results from Diversification of light capture ability was accompanied by the evolution of phycobiliproteins in cryptophyte algae
Creators: name: Greenwold, Matthew J.
name: Cunningham, Brady R.
name: Lachenmyer, Eric M.
name: Pullman, John Michael
name: Richardson, Tammi L.
name: Dudycha, Jeffry L.
Publisher: name: The Royal Society
Year: 2019
Subjects: subject: Evolutionary Biology
subject: FOS: Biological sciences
subject: Plant Biology

description: S1. Culture conditions, methods for all phenotypic measurements, and procedures for DNA extraction, PCR amplification and sequencing and the PGLS analyses results using the nuclear SSU and LSU phylogeny.
title: AI & ML in Chemical Discovery & Development
Creators: name: Nguyen, Bao
Publisher: name: University of Southampton
Year: 2019
Subjects: subject: Artificial Intelligence, Machine Learning, Chemistry, Chemical Discovery, Chemical Development, scientific discovery

description: This was a joint networks event between AI3SD, Dial-a-Molecule, Directed Assembly Network and the University of Leeds. This was a residential event aiming to bring together stakeholders with different backgrounds, e.g.academic/industry, researchers/data owners, and chemists/engineers/computer scientists, to discuss applications of AI and Machine Learning in Chemical Discovery and Development. The event was made up of some priming talks to stimulate discussion, and a series of structured discussion sessions over the two days to form a general consensus on some key objectives and milestones to deliver the promised impacts of these important tools within the remit of the three networks.
Plan de classement du fonds Nivaria Tejera-Fayad Jamís
Creators: name: Laurent, Passion
name: Passion, Laurent
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2025
Subjects: Fonds d’archives Nivaria Tejera-Fayad Jamís

description: Plan de classement du fonds Nivaria Tejera-Fayad Jamís archivé au CRLA-Archivos de l’Université de Poitiers.
description: Plan de clasificación del fondo Nivaria Tejera-Fayad Jamís archivado en el CRLA-Archivos de la Universidad de Poitiers.
description: Source: NT-AE2-4-1
description: Source: Localisation du document : Centre de Recherches Latino-Américaines (CRLA–Archivos, ITEM UMR8132). MSHS - Bât. A5, 1er étage 5 rue Théodore Lefebvre - TSA21103. 86073 Poitiers cedex 9.
Phase separation as an instability of the Tomonaga-Luttinger liquid
Creators: name: Nakamura, Masaaki
name: Nomura, Kiyohide
Publisher: name: arXiv
Year: 1997
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Asymptotic behavior of the Tomonaga-Luttinger liquid in the vicinity of the phase-separated region is investigated in the one-dimensional $t$-$J$ model, to study the universal property of the $c=1$ conformal field theory with U(1) symmetry near the $K\to\infty$ instability. On the analogy of the spinless fermion, we discuss that the compressibility behaves as $κ\propto (J_c-J)^{-1}$, and that the Drude weight is constant and changes to zero discontinuously at the phase boundary. This speculation is confirmed by analyzing the finite size effect from the result of the exact diagonalization.
description: 7 pages(RevTeX), 7 figures(EPS), TITCMT-97-1, replaced on Aug 13, to appear Phys. Rev. B
Subgame-perfect Equilibria in Mean-payoff Games (journal version)
Creators: name: Brice, Léonard
name: Bogaard, Marie van den
name: Raskin, Jean-François
Publisher: name: arXiv
Year: 2022
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: FOS: Computer and information sciences

description: In this paper, we provide an effective characterization of all the subgame-perfect equilibria in infinite duration games played on finite graphs with mean-payoff objectives. To this end, we introduce the notion of requirement, and the notion of negotiation function. We establish that the plays that are supported by SPEs are exactly those that are consistent with a fixed point of the negotiation function. Finally, we use that characterization to prove that the SPE threshold problem, who status was left open in the literature, is decidable.
description: arXiv admin note: substantial text overlap with arXiv:2101.10685
title: ArcGIS Pro - Modifier la source d’altitude d’une scène 3D (ArcGIS Pro 3.4)
Creators: name: Coutelier, Clément
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2025
Subjects: subject: SIG
subject: système d'information géographique
subject: ArcGIS (logiciel)
subject: altitude

description: Cette fiche présente une méthode permettant modifier la source d’altitude qui s’affiche dans une scène 3D sous ArcGIS Pro.
Evidence for the adiabatic invariance of the black hole horizon area
Creators: name: Mayo, Avraham E.
Publisher: name: arXiv
Year: 1998
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Some examples in support of the conjecture that the horizon area of a near equilibrium black hole is an adiabatic invariant are described. These clarify somewhat the conditions under which the conjecture would be true.
description: 15 pages, REVtex, typos and references corrected, approved for publication in Phys. Rev. D
Brooks' Theorem in Graph Streams: A Single-Pass Semi-Streaming Algorithm for $Δ$-Coloring
Creators: name: Assadi, Sepehr
name: Kumar, Pankaj
name: Mittal, Parth
Publisher: name: arXiv
Year: 2022
Subjects: subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences
subject: F.2

description: Every graph with maximum degree $Δ$ can be colored with $(Δ+1)$ colors using a simple greedy algorithm. Remarkably, recent work has shown that one can find such a coloring even in the semi-streaming model. But, in reality, one almost never needs $(Δ+1)$ colors to properly color a graph. Indeed, the celebrated \Brooks' theorem states that every (connected) graph beside cliques and odd cycles can be colored with $Δ$ colors. Can we find a $Δ$-coloring in the semi-streaming model as well?
 We settle this key question in the affirmative by designing a randomized semi-streaming algorithm that given any graph, with high probability, either correctly declares that the graph is not $Δ$-colorable or outputs a $Δ$-coloring of the graph.
 The proof of this result starts with a detour. We first (provably) identify the extent to which the previous approaches for streaming coloring fail for $Δ$-coloring: for instance, all these approaches can handle streams with repeated edges and they can run in $o(n^2)$ time -- we prove that neither of these tasks is possible for $Δ$-coloring. These impossibility results however pinpoint exactly what is missing from prior approaches when it comes to $Δ$-coloring.
 We then build on these insights to design a semi-streaming algorithm that uses $(i)$ a novel sparse-recovery approach based on sparse-dense decompositions to (partially) recover the "problematic" subgraphs of the input -- the ones that form the basis of our impossibility results -- and $(ii)$ a new coloring approach for these subgraphs that allows for recoloring of other vertices in a controlled way without relying on local explorations or finding "augmenting paths" that are generally impossible for semi-streaming algorithms. We believe both these techniques can be of independent interest.
description: Journal version in TheoretiCS. An extended abstract appeared in STOC 2022. 66 pages, 10 figures
A white dwarf accreting planetary material determined from X-ray observations
Creators: name: Cunningham, Tim
name: Wheatley, Peter J.
name: Tremblay, Pier-Emmanuel
name: Gaensicke, Boris T.
name: King, George W.
name: Toloza, Odette
name: Veras, Dimitri
Publisher: name: arXiv
Year: 2022
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: The atmospheres of a large proportion of white dwarf stars are polluted by heavy elements that are expected to sink out of visible layers on short timescales. This has been interpreted as a signature of ongoing accretion of debris from asteroids, comets, and giant planets. This scenario is supported by the detection of debris discs and transits of planetary fragments around some white dwarfs. However, photospheric metals are only indirect evidence for ongoing accretion, and the inferred accretion rates and parent body compositions heavily depend on models of diffusion and mixing processes within the white dwarf atmosphere. Here we report a 4.4$σ$ detection of X-rays from a polluted white dwarf, G29$-$38, using a 106 ks exposure with the Chandra X-ray Observatory, demonstrating directly that the star is currently accreting. From the measured X-ray luminosity, we find an instantaneous accretion rate of $\dot{M_{\rm X}}=1.63^{+1.29}_{-0.40}\times 10^{9}\mathrm{\,g\,s^{-1}}$. This is the first direct measurement of the accretion rate onto the white dwarf, which is independent of stellar atmosphere models. This rate exceeds estimates based on past studies of the photospheric abundances by more than a factor two, and implies that convective overshoot has to be accounted for in modelling the spectra of debris-accreting white dwarfs. We measure a low plasma temperature of $kT=0.5\pm0.2\,\mathrm{keV}$, corroborating the predicted bombardment solution for white dwarfs accreting at low accretion rates. Offering a new method for studying evolved planetary systems, these observations provide the opportunity to independently measure the instantaneous accretion rate of planetary material, and therefore investigate the timescale of accretion onto white dwarfs, and the evolution and replenishment of debris disks.
description: Author submitted version. Published in Nature, Feb 10 2022 issue
A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
Creators: name: Grabmayer, Clemens
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Milner (1984) defined an operational semantics for regular expressions as finite-state processes. In order to axiomatize bisimilarity of regular expressions under this process semantics, he adapted Salomaa's proof system that is complete for equality of regular expressions under the language semantics. Apart from most equational axioms, Milner's system Mil inherits from Salomaa's system a non-algebraic rule for solving single fixed-point equations. Recognizing distinctive properties of the process semantics that render Salomaa's proof strategy inapplicable, Milner posed completeness of the system Mil as an open question.

As a proof-theoretic approach to this problem we characterize the derivational power that the fixed-point rule adds to the purely equational part Mil$^-$ of Mil. We do so by means of a coinductive rule that permits cyclic derivations that consist of a finite process graph with empty steps that satisfies the layered loop existence and elimination property LLEE, and two of its Mil$^{-}$-provable solutions. With this rule as replacement for the fixed-point rule in Mil, we define the coinductive reformulation cMil as an extension of Mil$^{-}$. In order to show that cMil and Mil are theorem equivalent we develop effective proof transformations from Mil to cMil, and vice versa. Since it is located half-way in between bisimulations and proofs in Milner's system Mil, cMil may become a beachhead for a completeness proof of Mil.

This article extends our contribution to the CALCO 2022 proceedings. Here we refine the proof transformations by framing them as eliminations of derivable and admissible rules, and we link coinductive proofs to a coalgebraic formulation of solutions of process graphs.
description: arXiv admin note: substantial text overlap with arXiv:2108.13104
Relaxation in one-dimensional tropical sandpile
Creators: name: Shkolnikov, Mikhail
Publisher: name: arXiv
Year: 2022
Subjects: subject: Combinatorics (math.CO)
subject: Adaptation and Self-Organizing Systems (nlin.AO)
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: A relaxation in the tropical sandpile model is a process of deforming a tropical hypersurface towards a finite collection of points. We show that, in the one-dimensional case, a relaxation terminates after a finite number of steps. We present experimental evidence suggesting that the number of such steps obeys a power law.
Analyzing temporal variations of AGN emission line profiles in the context of (dusty) cloud structure formation in the broad line region
Creators: name: Esser, J.
name: Pott, J. -U.
name: Landt, H.
name: Vacca, W. D.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: The formation processes and the exact appearance of the dust torus and broad line region (BLR) of active galactic nuclei (AGN) are under debate. Theoretical studies show a possible connection between the dust torus and BLR through a common origin in the accretion disk. However observationally the dust torus and BLR are typically studied separately. NGC~4151 is possibly one of the best suited Seyfert~1 galaxies for simultaneous examinations because of its high number of both photometric and spectroscopic observations in the past. Here we compare changes of the dust radius to shape variations of broad emission lines (BEL). While the radius of the dust torus decreased by almost a factor of two from 2004 to 2006 shape variations can be seen in the red wing of BELs of NGC~4151. These simultaneous changes are discussed in a dust and BEL formation scheme. We also use the BEL shape variations to assess possible cloud distributions, especially in azimuthal direction, which could be responsible for the observed variations. Our findings can best be explained in the framework of a dust inflated accretion disk. The changes in the BELs suggest that this dusty cloud formation does not happen continuously, and over the whole accretion disk, but on the contrary in spatially confined areas over rather short amount of times. We derive limits to the azimuthal extension of the observed localized BEL flux enhancement event.
description: accepted for publication in A&A
Quantum Interference in a Single Perovskite Nanocrystal
Creators: name: Lv, Yan
name: Yin, Chunyang
name: Zhang, Chunfeng
name: Yu, William W.
name: Wang, Xiaoyong
name: Zhang, Yu
name: Xiao, Min
Publisher: name: arXiv
Year: 2019
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Coherent manipulation of the exciton wave function in a single semiconductor colloidal nanocrystal (NC) has been actively pursued in the past decades without any success, mainly due to the bothersome existences of the spectral diffusion and the photoluminescence (PL) blinking effects. Such optical deficiencies can be naturally avoided in the newly-developed colloidal NCs of perovskite CsPbI3, leading to the PL spectrum with a stable intensity at the single-particle level. Meanwhile, from the first-order photon correlation measurement, a PL linewidth smaller than 20 μeV is estimated for the emission state of the neutral excitons in a single CsPbI3 NC. Moreover, a dephasing time of about 10 ps can be extracted from the quantum interference measurement on the absorption state of the charged excitons. This first demonstration of a coherent optical feature will advance single colloidal NCs into the quantum information regime, opening up an alternative yet prospective research direction beyond their traditional applications such as in optoelectronic devices and bioimaging.
A dynamical mechanism for establishing apsidal resonance
Creators: name: Malhotra, Renu
Publisher: name: arXiv
Year: 2002
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We show that in a system of two planets initially in nearly circular orbits, an impulse perturbation that imparts a finite eccentricity to one planet's orbit causes the other planet's orbit to become eccentric as well, and also naturally results in a libration of their relative apsidal longitudes for a wide range of initial conditions. We suggest that such a mechanism may explain orbital eccentricities and apsidal resonance in some exo-planetary systems. The eccentricity impulse could be caused by the ejection of a planet from these systems, or by torques from a primordial gas disk. The amplitude of secular variations provides an observational constraint on the dynamical history of such systems.
description: to appear in ApJ-Letters
Supplementary Information from Audio cues enhance mirroring of arm motion when visual cues are scarce
Creators: name: Lee, Edward D.
name: Esposito, Edward
name: Cohen, Itai
Publisher: name: The Royal Society
Year: 2019
Subjects: subject: 110601 Biomechanics
subject: FOS: Health sciences
subject: Computational Biology

description: Swing in a crew boat, a good jazz riff, a fluid conversation: these tasks require extracting sensory information about how others flow in order to mimic and respond. To determine what factors influence coordination, we build an environment to manipulate incoming sensory information by combining virtual reality and motion capture. We study how people mirror the motion of a human avatar’s arm as we occlude the avatar. We efficiently map the transition from successful mirroring to failure using Gaussian process regression. Then, we determine the change in behaviour when we introduce audio cues with a frequency proportional to the speed of the avatar’s hand or train individuals with a practice session. Remarkably, audio cues extend the range of successful mirroring to regimes where visual information is sparse. Such cues could facilitate joint coordination when navigating visually occluded environments, improve reaction speed in human–computer interfaces or measure altered physiological states and disease.
The number of distinct adjacent pairs in geometrically distributed words: a probabilistic and combinatorial analysis
Creators: name: Louchard, Guy
name: Schachinger, Werner
name: Ward, Mark Daniel
Publisher: name: arXiv
Year: 2022
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics
subject: 05A16, 60C05, 60F05

description: The analysis of strings of $n$ random variables with geometric distribution has recently attracted renewed interest: Archibald et al. consider the number of distinct adjacent pairs in geometrically distributed words. They obtain the asymptotic ($n\rightarrow\infty$) mean of this number in the cases of different and identical pairs. In this paper we are interested in all asymptotic moments in the identical case, in the asymptotic variance in the different case and in the asymptotic distribution in both cases. We use two approaches: the first one, the probabilistic approach, leads to variances in both cases and to some conjectures on all moments in the identical case and on the distribution in both cases. The second approach, the combinatorial one, relies on multivariate pattern matching techniques, yielding exact formulas for first and second moments. We use such tools as Mellin transforms, Analytic Combinatorics, Markov Chains.
description: 47 pages, 4 figures
Characterization by observability inequalities of controllability and stabilization properties
Creators: name: Trélat, Emmanuel
name: Wang, Gengsheng
name: Xu, Yashan
Publisher: name: arXiv
Year: 2018
Subjects: subject: Optimization and Control (math.OC)
subject: FOS: Mathematics

description: Given a linear control system in a Hilbert space with a bounded control operator, we establish a characterization of exponential stabilizability in terms of an observability inequality. Such dual characterizations are well known for exact (null) controllability. Our approach exploits classical Fenchel duality arguments and, in turn, leads to characterizations in terms of observability inequalities of approximately null controllability and of $α$-null controllability. We comment on the relationships between those various concepts, at the light of the observability inequalities that characterize them.
Semiclassical Gaussian matrix elements for chaotic quantum wells
Creators: name: Saraga, D. S.
name: Monteiro, T. S.
Publisher: name: arXiv
Year: 1999
Subjects: subject: Chaotic Dynamics (nlin.CD)
subject: FOS: Physical sciences

description: We derive semiclassical expressions for spectra, weighted by matrix elements of a Gaussian observable, relevant to a range of molecular and mesoscopic systems. We apply the formalism to the particular example of the resonant tunneling diode (RTD) in tilted fields. The RTD is a new experimental realization of a mesoscopic system exhibiting a transition to chaos. It has generated much interest and several different semiclassical theories for the RTD have been proposed recently.Our formalism clarifies the relationship between the different approaches and to previous work on semiclassical theories of matrix elements. We introduce three possible levels of approximation in the application of the stationary phase approximation, depending on typical length scales of oscillations of the semiclassical Green's function, relative to the degree of localization of the observable. Different types of trajectories (periodic, normal, closed and saddle orbits) are shown to arise from such considerations. We propose a new type of trajectory (``minimal orbits'')and show they provide the best real approximation to the complex saddle points of the stationary phase approximation. We test the semiclassical formulae on quantum calculations and experimental data. We show that the new types of trajectories (saddle and minimal orbits) provide accurate results. We discuss a divergence of the contribution of saddle orbits, which suggests the existence of bifurcation-type phenomena affecting the complex and non-periodic saddle orbits.
description: 30 pages, 12 figures
Structural parameters and possible association of the Ultra-Faint Dwarfs Pegasus III and Pisces II from deep Hubble Space Telescope photometry
Creators: name: Richstein, Hannah
name: Patel, Ekta
name: Kallivayalil, Nitya
name: Simon, Joshua D.
name: Zivick, Paul
name: Tollerud, Erik
name: Fritz, Tobias
name: Warfield, Jack T.
name: Besla, Gurtina
name: van der Marel, Roeland P.
name: Wetzel, Andrew
name: Choi, Yumi
name: Deason, Alis
name: Geha, Marla
name: Guhathakurta, Puragra
name: Jeon, Myoungwon
name: Kirby, Evan N.
name: Libralato, Mattia
name: Sacchi, Elena
name: Sohn, Sangmo Tony
Publisher: name: arXiv
Year: 2022
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We present deep Hubble Space Telescope (HST) photometry of the ultra-faint dwarf (UFD) galaxies Pegasus III (Peg III) and Pisces II (Psc II), two of the most distant satellites in the halo of the Milky Way (MW). We measure the structure of both galaxies, derive mass-to-light ratios with newly determined absolute magnitudes, and compare our findings to expectations from UFD-mass simulations. For Peg III, we find an elliptical half-light radius of $a_h=1.88^{+0.42}_{-0.33}$ arcminutes ($118^{+31}_{-30}$ pc) and $M_V{=}{-4.17}^{+0.19}_{-0.22}$; for Psc II, we measure $a_h{=}1.31^{+0.10}_{-0.09}$ arcminutes ($69\pm8$ pc) and $M_V{=}{-4.28}^{+0.19}_{-0.16}$. We do not find any morphological features that indicate a significant interaction between the two has occurred, despite their close separation of only $\sim$40 kpc. Using proper motions (PMs) from Gaia early Data Release 3, we investigate the possibility of any past association by integrating orbits for the two UFDs in a MW-only and a combined MW and Large Magellanic Cloud (LMC) potential. We find that including the gravitational influence of the LMC is crucial, even for these outer-halo satellites, and that a possible orbital history exists where Peg III and Psc II experienced a close ($\sim$10-20 kpc) passage about each other just over $\sim$1 Gyr ago, followed by a collective passage around the LMC ($\sim$30-60 kpc) just under $\sim$1 Gyr ago. Considering the large uncertainties on the PMs and the restrictive priors imposed to derive them, improved PM measurements for Peg III and Psc II will be necessary to clarify their relationship. This would add to the rare findings of confirmed pairs of satellites within the Local Group.
description: 24 pages, 13 figures; 1 appendix; published in ApJ
Robot confidente: brincar aos valores na infância
Creators: name: Silva, Tânia
name: Pinheiro, Ana
Publisher: name: Sensos-e
Year: 2019

description: Este trabalho relata a utilização de robots com crianças entre os 4 e os 8 anos. O objetivo principal desta investigação é perceber de que forma os valores e as aprendizagens podem ser trabalhados com o recurso aos brinquedos programáveis e ainda potenciar o desenvolvimento de competências colaborativas, ajudando a construir cidadãos mais integrados. Foi utilizada uma metodologia qualitativa, na qual as observações e as reflexões sistemáticas foram determinantes para perceber o impacto das 18 intervenções. Percebemos que as crianças mudaram comportamentos no que diz respeito à sua relação com o outro, percepção do erro e resolução de problemas.
description: Sensos-e, Vol 6 No 2 (2019): INW2019
Solvable Leibniz superalgebras whose nilradical has the characteristic sequence $(n-1, 1 \mid m)$ and nilindex $n+m$
Creators: name: Kh., Khudoyberdiyev A.
name: A, Muratova Kh.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Rings and Algebras (math.RA)
subject: FOS: Mathematics
subject: 17A32, 17A36, 17B30

description: Leibniz superalgebras with nilindex $n + m$ and characteristic sequence $(n-1, 1 \ | \ m)$ divided into four parametric classes that contain a set of non-isomorphic superalgebras. In this paper, we give a complete classification of solvable Leibniz superalgebras whose nilradical is a nilpotent Leibniz superalgebra with nilindex $n + m$ and characteristic sequence $(n-1, 1 \ | \ m)$. We obtain a condition for the value of parameters of the classes of such nilpotent superalgebras for which they have a solvable extension. Moreover, the classification of solvable Leibniz superalgebras whose nilradical is a Lie superalgebra with the maximal nilindex is given.
Utilización de Apps en clase para potenciar la metacognición y el aprendizaje significativo del alumnado
Creators: name: Usán Supervía, Pablo
name: Bordás, Carlos Salavera
Publisher: name: Sensos-e
Year: 2019

description: El presente capítulo tiene como objetivo principal conocer la funcionalidad de tres Apps educativas utilizadas en docencia universitaria que complementan el proceso de enseñanza-aprendizaje del alumnado en dos asignaturas del grado de Magisterio de la Universidad de Zaragoza: Psicología de la Educación y Psicología del Desarrollo. La gamificación se entiende como la aplicación de recursos propios de los juegos en contextos no lúdicos potenciando el proceso de enseñanza-aprendizaje del alumnado mostrando su funcionalidad también en el aprendizaje de habilidades psicológicas como la metacognición y el aprendizaje significativo. Las aplicaciones utilizadas serán: Quizizz, con fines de consolidación de conocimientos; Mentimeter, posibilitando la interacción ente alumno y profesor en el aula así como Socrative, repasando los contenidos de la asignatura en la finalización de la misma. Las conclusiones alientan a una mejora de la motivación e interés del alumnado por la asignatura si bien se trata de una fase inicial extensible a más asignaturas el próximo curso académico.
description: Sensos-e, Vol 6 No 2 (2019): INW2019
Cosmological perturbations in singularity-free, deflationary models
Creators: name: Capozziello, S.
name: Lambiase, G.
name: Scarpetta, G.
Publisher: name: arXiv
Year: 1998
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We consider scalar perturbations of energy-density for a class of cosmological models where an early phase of accelerated expansion evolves, without any fine-tuning for graceful exit, towards the standard Friedman eras of observed universe. The quantum geometric procedure which generates such models agrees with results for string cosmology since it works if dynamics is dominated by a primordial fluid of extended massive objects. The main result is that characteristic scales of cosmological interest, connected with the extension of such early objects, are selected.
description: 12 pages, Latex, sub. to Class. Quant. Grav
Tooth morphometry using quasi-conformal theory
Creators: name: Choi, Gary P. T.
name: Chan, Hei Long
name: Yong, Robin
name: Ranjitkar, Sarbin
name: Brook, Alan
name: Townsend, Grant
name: Chen, Ke
name: Lui, Lok Ming
Publisher: name: arXiv
Year: 2019
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Computational Geometry (cs.CG)
subject: Quantitative Methods (q-bio.QM)
subject: FOS: Computer and information sciences
subject: FOS: Biological sciences

description: Shape analysis is important in anthropology, bioarchaeology and forensic science for interpreting useful information from human remains. In particular, teeth are morphologically stable and hence well-suited for shape analysis. In this work, we propose a framework for tooth morphometry using quasi-conformal theory. Landmark-matching Teichmüller maps are used for establishing a 1-1 correspondence between tooth surfaces with prescribed anatomical landmarks. Then, a quasi-conformal statistical shape analysis model based on the Teichmüller mapping results is proposed for building a tooth classification scheme. We deploy our framework on a dataset of human premolars to analyze the tooth shape variation among genders and ancestries. Experimental results show that our method achieves much higher classification accuracy with respect to both gender and ancestry when compared to the existing methods. Furthermore, our model reveals the underlying tooth shape difference between different genders and ancestries in terms of the local geometric distortion and curvatures.
On Presburger arithmetic extended with non-unary counting quantifiers
Creators: name: Habermehl, Peter
name: Kuske, Dietrich
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We consider a first-order logic for the integers with addition. This logic extends classical first-order logic by modulo-counting, threshold-counting and exact-counting quantifiers, all applied to tuples of variables (here, residues are given as terms while moduli and thresholds are given explicitly). Our main result shows that satisfaction for this logic is decidable in two-fold exponential space. If only threshold- and exact-counting quantifiers are allowed, we prove an upper bound of alternating two-fold exponential time with linearly many alternations. This latter result almost matches Berman's exact complexity of first-order logic without counting quantifiers.

To obtain these results, we first translate threshold- and exact-counting quantifiers into classical first-order logic in polynomial time (which already proves the second result). To handle the remaining modulo-counting quantifiers for tuples, we first reduce them in doubly exponential time to modulo-counting quantifiers for single elements. For these quantifiers, we provide a quantifier elimination procedure similar to Reddy and Loveland's procedure for first-order logic and analyse the growth of coefficients, constants, and moduli appearing in this process. The bounds obtained this way allow to restrict quantification in the original formula to integers of bounded size which then implies the first result mentioned above.

Our logic is incomparable with the logic considered by Chistikov et al. in 2022. They allow more general counting operations in quantifiers, but only unary quantifiers. The move from unary to non-unary quantifiers is non-trivial, since, e.g., the non-unary version of the Härtig quantifier results in an undecidable theory.
Bourgognea maxima Dierl 1972
Creators: name: Mbata, Keith J.
name: Prins, Jurate De
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Psychidae
Bourgognea
Bourgognea maxima

description: Bourgognea maxima Dierl, 1972
COMMON NAME(S): Bagworm moth, Bagworm or Bagmoth.
SYNONYM(S): None.
IUCN STATUS: Not Evaluated (NE).
DISTRIBUTION: Zambia, Zimbabwe.
LOCALITY IN ZAMBIA: Type locality is Zambesi [now Zambezi] Rapids in Ikelenge district north of Mwinilunga, in Northwestern Province.
LARVAL HOSTPLANT(S): Unknown.
SOURCES: De Prins & De Prins 2022; Dierl 1972.
Genus Eumeta Walker, 1855b
description: Published as part of Mbata, Keith J. & Prins, Jurate De, 2023, Annotated checklist of moths of Zambia (Insecta: Lepidoptera), pp. 1-503 in Zootaxa 5354 (1) on page 21, DOI: 10.11646/zootaxa.5354.1.1, http://zenodo.org/record/10130434
Method details from Contrast sensitivity and behavioural evidence for lateral inhibition in octopus
Creators: name: Nahmad-Rohen, Luis
name: Vorobyev, Misha
Publisher: name: The Royal Society
Year: 2019
Subjects: subject: Neuroscience
subject: 60801 Animal Behaviour
subject: FOS: Biological sciences

description: Method details outlining data processing and measurements of false alarm rates and blind responses
Novo olhar sobre a prática educativa no 1º. Ciclo do Ensino Básico: “Do real ao virtual”
Creators: name: Souza, Fabiana
name: Melo, Isabel
name: Coelho, Maria João
name: Quadros-Flores, Paula
Publisher: name: Sensos-e
Year: 2019

description: As mudanças atuais impõem que a escola e as práticas educativas se reconfigurem para responderem às exigências destes tempos de imprevisibilidade e mutação. Este artigo pretende compreender como podem as práticas educativas contribuir para a compreensão da realidade e o desenvolvimento de valores e de competências nos alunos que lhes permitam responder aos desafios do século XXI. Optou-se por um estudo de caso, relevando práticas reais num contexto educativo que envolve uma turma de 3º ano, e por uma metodologia qualitativa (focus group) que permite ouvir as vozes das crianças, do professor cooperante e das futuras professoras responsáveis pelas práticas educativas. Recorreu-se à análise de conteúdo como instrumento de recolha de dados. Foram planeadas duas práticas educativas sustentadas na metodologia de trabalho de projeto, incluindo tecnologia digital emergente. Os resultados evidenciam que a metodologia utilizada e os recursos selecionados permitiram uma observação atenta do contexto e a mobilização da informação na construção de conhecimento curricular acrescentando valor ao tema explorado, além de que facilitou a articulação curricular, o desenvolvimento de competências do perfil do aluno e permitiu a intervenção solidária da turma num contexto próximo que envolveu a comunidade local.
description: Sensos-e, Vol 6 No 2 (2019): INW2019
Tuning Parameter-Free Nonparametric Density Estimation from Tabulated Summary Data
Creators: name: Lee, Ji Hyung
name: Sasaki, Yuya
name: Toda, Alexis Akira
name: Wang, Yulong
Publisher: name: arXiv
Year: 2022
Subjects: subject: Econometrics (econ.EM)
subject: FOS: Economics and business

description: Administrative data are often easier to access as tabulated summaries than in the original format due to confidentiality concerns. Motivated by this practical feature, we propose a novel nonparametric density estimation method from tabulated summary data based on maximum entropy and prove its strong uniform consistency. Unlike existing kernel-based estimators, our estimator is free from tuning parameters and admits a closed-form density that is convenient for post-estimation analysis. We apply the proposed method to the tabulated summary data of the U.S. tax returns to estimate the income distribution.
Um Porto de Duas Faces
Creators: name: Luz, João
Publisher: name: Sensos-e
Year: 2019

description: Porto, uma cidade liberal. Quantos de nós já ouvimos esta expressão? Mito ou realidade? No presente artigo pretendemos verificar quem foram as personalidades que realizaram as manifestações pró-absolutistas e as manifestações pró-liberais dentro dos muros da cidade do Porto, não focando apenas os seus líderes, mas quem participou ativamente nestas manifestações. Ao longo da nossa investigação, verificamos que teve início com a formação do Sinédrio a 1818 e termina com as execuções de 7 de maio de 1829 (Mattoso, 1993). Iremos apresentar diferentes personalidades que se mantiveram fiéis à sua fação ou mudaram consoante as suas necessidades. Para tal foram levantadas algumas questões estruturais, sendo elas: Quem são estes apoiantes? Se sempre apoiaram a mesma fação? De que maneira apoiaram? Que consequências trouxe este episódio da nossa história para estes apoiantes? Com este estudo foi-nos possível cumprir os objetivos que nos propusemos a estudar, verificando que a cidade do Porto não ficou alheia à situação nacional, ou seja, os tumultos realizados ao longo do país, que também tiveram repercussões junto das populações que vivia na Urbe.
description: Sensos-e, Vol 6 No 2 (2019): INW2019
Models of Galaxy Clusters with Thermal Conduction
Creators: name: Zakamska, Nadia L.
name: Narayan, Ramesh
Publisher: name: arXiv
Year: 2002
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We present a simple model of hot gas in galaxy clusters, assuming hydrostatic equilibrium and energy balance between radiative cooling and thermal conduction. For five clusters, A1795, A1835, A2199, A2390 and RXJ1347.5-1145, the model gives a good description of the observed radial profiles of electron density and temperature, provided we take the thermal conductivity $κ$ to be about 30% of the Spitzer conductivity. Since the required $κ$ is consistent with the recent theoretical estimate of Narayan & Medvedev (2001) for a turbulent magnetized plasma, we consider a conduction-based equilibrium model to be viable for these clusters. We further show that the hot gas is thermally stable because of the presence of conduction. For five other clusters, A2052, A2597, Hydra A, Ser 159-03 and 3C295, the model requires unphysically large values of $κ$ to fit the data. These clusters must have some additional source of heat, most likely an active galactic nucleus since all the clusters have strong radio galaxies at their centers. We suggest that thermal conduction, though not dominant in these clusters, may nevertheless play a significant role by preventing the gas from becoming thermally unstable.
description: Published in ApJ; 22 pages, including 2 tables, 4 figures; typos corrected to match the published version
A multi-stakeholder approach to sustainable rural tourism development: the heritage trail of Dolenjska & Bela krajina Case Study
Creators: name: Koščak, Marko
name: O’Rourke, Tony
Publisher: name: Sensos-e
Year: 2019

description: One of the beneficial methodologies for growing and developing a level of tourism, which is sustainable and enhances the totality of local and regional environments, is a multi-stakeholder approach to tourism development. In this paper, we propose that sustainable rural development takes an integrated approach in the development process, supported by and benefiting from a core of multiple stakeholders. It is clear that: a) Entrepreneurship, in a bottom-up model may have a huge impact on rural micro-economies at a local level. It drives wealth creation and expands employment in a measurable, tangible and transparent way; b) Multi-stakeholder tourism projects benefit ownership transformation processes by forcing public, private, and social entities to work for the common benefit. Because of the bottom up approach the measurable value is also more obvious; c) By engaging local public agencies, the dimension of environmental planning and protection can be assured. In this way the sustainable nature of tourism and its impact on the local environment can be assessed and given due priority. D) At the same time, entrepreneurs comprehend the value of co-operation. An integrated model enables participants to benefit from the totality and complexity of resources and skills held by all stakeholders.
description: Sensos-e, Vol 6 No 2 (2019): INW2019
O acolhimento familiar na literatura infantil: histórias de violência com um final feliz
Creators: name: Delgado, Paulo
name: Ytarte, Rosa Marí
Publisher: name: Sensos-e
Year: 2019

description: A mediação ou intervenção social é, por inerência, um processo educativo, que visa a transformação e o desenvolvimento social. No decurso desse processo, o educador tem o livro ao seu dispor, um recurso pedagógico poderoso, quando utilizado de um modo planificado, refletido e partilhado. Este artigo pretende identificar e descrever a presença dos maus tratos infantis e do acolhimento familiar num grupo de livros de literatura infantil. Inicialmente faz-se um enquadramento teórico que remete nomeadamente para conceitos como maus tratos, impacto da violência doméstica nas crianças, e o acolhimento familiar, enquanto formas de proteção das crianças e jovens em perigo. Prossegue descrevendo o modo como um grupo de histórias de literatura infantil faz a narrativa destas realidades e como podem ser utilizadas na formação de educadores, junto de outros adultos ou de crianças e jovens. É nossa intenção refletir, em concreto, sobre aspetos essenciais como a gestão das memórias e do percurso da criança no sistema de acolhimento, a violência e a separação da família de origem, os sentimentos associados ao decurso do acolhimento, aos contactos com os pais, e os desafios para o futuro, pondo simultaneamente em relevo a forma singela, eficaz e sensível como o livro (nos) educa.
description: Sensos-e, Vol 6 No 2 (2019): INW2019
Methods for Efficient Unfolding of Colored Petri Nets
Creators: name: Bilgram, Alexander
name: Jensen, Peter G.
name: Pedersen, Thomas
name: Srba, Jiri
name: Taankvist, Peter H.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Colored Petri nets offer a compact and user friendly representation of the traditional P/T nets and colored nets with finite color ranges can be unfolded into the underlying P/T nets, however, at the expense of an exponential explosion in size. We present two novel techniques based on static analysis in order to reduce the size of unfolded colored nets. The first method identifies colors that behave equivalently and groups them into equivalence classes, potentially reducing the number of used colors. The second method overapproximates the sets of colors that can appear in places and excludes colors that can never be present in a given place. Both methods are complementary and the combined approach allows us to significantly reduce the size of multiple colored Petri nets from the Model Checking Contest benchmark. We compare the performance of our unfolder with state-of-the-art techniques implemented in the tools MCC, Spike and ITS-Tools, and while our approach is competitive w.r.t. unfolding time, it also outperforms the existing approaches both in the size of unfolded nets as well as in the number of answered model checking queries from the 2021 Model Checking Contest.