cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Towards absolute nuclear charge radius measurements for charge-parity violation searches and the mass evaluation of neutron-rich isotopes for r-process studies
Creators: name: Wang, Yilin
Publisher: name: University of British Columbia
Year: 2023

description: Conducted at TRIUMF’s Ion Trap for Atomic and Nuclear science (TITAN) facility, this work is motivated by questions related to the creation of matter in the Universe, specifically - the matter-antimatter asymmetry in the Universe, and the creation of chemical elements beyond iron. The first question is addressed through studies which require the integration of an extreme ultraviolet (EUV) spectrometer into the current TITAN set-up to measure the absolute nuclear charge radius of radioactive isotopes of ²¹¹Fr and ²²⁵Ra that are candidates in the experimental searches for a permanent electric dipole moment (EDM). This is a charge-parity (CP) violating effect that may indicate physics beyond the Standard Model and could explain the abundance of matter over its counterpart in the Universe since the Big Bang. The spectrometer is designed and commissioned at a factory, with the design verified through ray-tracing simulations, and is projected to be delivered to TITAN and installed in spring 2023. The second question is addressed with multi-reflection time-of-flight mass-spectrometer (MR-ToF-MS) measurements of ¹⁰¹⁻¹⁰³Rb and ¹⁰¹⁻¹⁰³Sr, which are neutron-rich isotopes created by the rapid neutron-capture process (r-process) in stellar objects. The mass measurements are relevant for re-evaluating the neutron separation energy around the A ≈ 100, N ≈ 60 region, which generally follows a smooth decrease as neutron number increases but sees unexpected behaviour based on the previously reported masses in this region. This work reports significantly smaller uncertainties compared to Atomic Mass Evaluation (AME) 2020 for ¹⁰²٫¹⁰³Rb and ¹⁰²٫¹⁰³Sr, especially for ¹⁰³Rb and ¹⁰³Sr as the values reported in AME 2020 are by extrapolation based on mass surface information. Furthermore, the uncertainties in this work are also reduced for ¹⁰¹Rb and ¹⁰¹⁻¹⁰³Sr compared to a previous set of measurements also conducted at TITAN but prior to some key upgrades to the MR-ToF-MS, and the increased precision from this work serves as a validation to these system upgrades. Lastly, over 3σ deviations are noted for the mass values reported in this work for mass values of ¹⁰¹Rb and ¹⁰¹Sr compared to AME 2020, having significant implications in the relative abundance yields between neighbouring r-process isotopes.
Additional file 1 of Clinical learning environment of nursing and midwifery students in Ghana
Creators: name: Ziba, Florence Assibi
name: Yakong, Vida Nyagre
name: Zakari Ali
Publisher: name: figshare
Year: 2021
Subjects: subject: Biophysics
subject: Medicine
subject: Cell Biology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: Hematology

description: Additional file 1. Test for internal consistency of CLES + T (Cronbach’s alpha).
Planet–planet scattering and binary Lidov–Kozai excitation generate high planetary eccentricity
Creators: name: Mustill, Alexander J
name: Davies, Melvyn B
name: Blunt, Sarah
name: Howard, Andrew
Publisher: name: Zenodo
Year: 2021
Subjects: binaries: general
planets and satellites: dynamical evolution and stability
planets and satellites: formation
stars: individual: HR5183

description: Binary stellar companions can have a significant impact on the orbital evolution of a planetary system. Here I study the excitation of eccentricity in wide binary systems, exemplified by the planet HR5183b (a=18au, e=0.84) which has a wide binary companion. I explore three scenarios for the excitation of the eccentricity of the planet in binary systems such as this. The first two are planet-planet scattering and Lidov–Kozai cycles from the binary acting on a single-planet system; both of these have been commonly invoked in the past to explain high orbital eccentricities. I also study a novel combination of both mechanisms, where Lidov–Kozai cycles from the binary act after planet-planet scattering in an initially unstable two-planet system. I show that this is much more likely to lead to a high orbital eccentricity than either of the two processes acting alone. The combination of scattering and Lidov–Kozai forcing may also be at work in other wide-orbit eccentric giant planets, which have a high rate of stellar binary companions. Further details can be found at https://ui.adsabs.harvard.edu/abs/2021arXiv210206031M/abstract
description: Funding from project grant 2014.0017 "IMPACT" from the Knut and Alice Wallenberg Foundation, and Career grant 120/19C from the Swedish National Space Agency.
description: {"references": ["Blunt et al., 2019, AJ, 158, 181"]}
Comment on "Scalings for radiation from plasma bubbles" [Phys. Plasmas 17, 056708 (2010)]
Creators: name: Corde, S.
name: Stordeur, A.
name: Malka, V.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: Thomas has recently derived scaling laws for X-ray radiation from electrons accelerated in plasma bubbles, as well as a threshold for the self-injection of background electrons into the bubble [A. G. R. Thomas, Phys. Plasmas 17, 056708 (2010)]. To obtain this threshold, the equations of motion for a test electron are studied within the frame of the bubble model, where the bubble is described by prescribed electromagnetic fields and has a perfectly spherical shape. The author affirms that any elliptical trajectory of the form x'^2/γ_p^2 + y'^2 = R^2 is solution of the equations of motion (in the bubble frame), within the approximation p'_y^2/p'_x^2 \ll 1. In addition, he highlights that his result is different from the work of Kostyukov et al. [Phys. Rev. Lett. 103, 175003 (2009)], and explains the error committed by Kostyukov-Nerush-Pukhov-Seredov (KNPS). In this comment, we show that numerically integrated trajectories, based on the same equations than the analytical work of Thomas, lead to a completely different result for the self-injection threshold, the result published by KNPS [Phys. Rev. Lett. 103, 175003 (2009)]. We explain why the analytical analysis of Thomas fails and we provide a discussion based on numerical simulations which show exactly where the difference arises. We also show that the arguments of Thomas concerning the error of KNPS do not hold, and that their analysis is mathematically correct. Finally, we emphasize that if the KNPS threshold is found not to be verified in PIC (Particle In Cell) simulations or experiments, it is due to a deficiency of the model itself, and not to an error in the mathematical derivation.
description: 5 pages, 5 figures
Estudos da história da Náutica e das navegações de alto-mar (Studies on Nautical History and High Seas Navigation) (RUTTER book review n.14)
Creators: name: Acevedo, Juan
Publisher: name: Zenodo
Year: 2021
Subjects: Navigation
Nautical instruments

description: The impending publication of the fourth volume of Estudos by Cmdr. Malhão Pereira gives
 us a welcome opportunity to dwell on the qualities of the whole four-volume collection, and
 thus to give a thoughtful appraisal of his publications in general. I do not plan to be ex-
 haustive, but the absence of Malhão Pereira’s works from most international bibliographies
 of his themes of expertise is an anomaly which must be addressed and remedied, and it is
 partly my intention to throw a light on this hitherto rather neglected corpus, which is full of
 treasures for anyone interested in the nautical arts and sciences.
Oracle Inequalities and Optimal Inference under Group Sparsity
Creators: name: Lounici, Karim
name: Pontil, Massimiliano
name: Tsybakov, Alexandre B.
name: van de Geer, Sara
Publisher: name: arXiv
Year: 2010
Subjects: subject: Statistics Theory (math.ST)
subject: FOS: Mathematics

description: We consider the problem of estimating a sparse linear regression vector $β^*$ under a gaussian noise model, for the purpose of both prediction and model selection. We assume that prior knowledge is available on the sparsity pattern, namely the set of variables is partitioned into prescribed groups, only few of which are relevant in the estimation process. This group sparsity assumption suggests us to consider the Group Lasso method as a means to estimate $β^*$. We establish oracle inequalities for the prediction and $\ell_2$ estimation errors of this estimator. These bounds hold under a restricted eigenvalue condition on the design matrix. Under a stronger coherence condition, we derive bounds for the estimation error for mixed $(2,p)$-norms with $1\le p\leq \infty$. When $p=\infty$, this result implies that a threshold version of the Group Lasso estimator selects the sparsity pattern of $β^*$ with high probability. Next, we prove that the rate of convergence of our upper bounds is optimal in a minimax sense, up to a logarithmic factor, for all estimators over a class of group sparse vectors. Furthermore, we establish lower bounds for the prediction and $\ell_2$ estimation errors of the usual Lasso estimator. Using this result, we demonstrate that the Group Lasso can achieve an improvement in the prediction and estimation properties as compared to the Lasso.
description: 37 pages
Additional file 1 of The dual amylin and calcitonin receptor agonist KBP-089 and the GLP-1 receptor agonist liraglutide act complimentarily on body weight reduction and metabolic profile
Creators: name: Larsen, Anna Thorsø
name: Gydesen, Sofie
name: Sonne, Nina
name: Karsdal, Morten Asser
name: Henriksen, Kim
Publisher: name: figshare
Year: 2021
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Physiology
subject: Pharmacology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Computational Biology

description: Additional file 1.
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃* ∀* Fragment
Creators: name: Finkbeiner, Bernd
name: C01chha
name: Hans, Tobias
Publisher: name: CISPA
Year: 2023

description: Hyperproperties are properties that refer to multiple computation traces. This includes many information-flow security policies,
such as observational determinism, (generalized) noninterference, and
noninference, and other system properties like symmetry or Hamming
distances between in error-resistant codes. We introduce MGHyper, a
tool for automatic satisfiability checking and model generation for hyperproperties expressed in HyperLTL. Unlike previous satisfiability checkers, MGHyper is not limited to the decidable ∃
∗∀
∗
fragment of HyperLTL, but provides a semi-decisionprocedure for the full logic. An
important application of MGHyper is to automatically check equivalences between different hyperproperties (and different formalizations of
the same hyperproperty) and to build counterexamples that disprove
a certain claimed implication. We describe the semi-decisionprocedure
implemented in MGHyper and report on experimental results obtained
both with typical hyperproperties from the literature and with randomly
generated HyperLTL formulas.
A FORMAÇÃO DA IDENTIDADE NO CONTEXTO ESCOLAR: PERSPECTIVAS PSICOLÓGICAS E SOCIAIS NA CONSTRUÇÃO DA IDENTIDADE DOS ESTUDANTES
Creators: name: Ferreira, Kelly Cristina Mendes
name: Silva, Juliana Rodrigues Faria da
Publisher: name: Vistacien
Year: 2023
Subjects: Identidade
Escola
Constituição do Eu
Autoconceito

description: Este artigo tem como objetivo investigar como a construção da identidade infantil ocorre no contexto escolar sob a perspectiva da psicologia, considerando os teóricos Wallon (1941), Vygotsky (1929/2000) e Erikson (1987). Os autores apresentam valiosas abordagens sobre o desenvolvimento da identidade e destacam o papel fundamental desempenhado pela escola nesse processo. O presente artigo utiliza o referencial da pesquisa bibliográfica de cunho qualitativo, referente ao campo dos aspectos de desenvolvimento cognitivo, emocional e social do sujeito. O artigo sublinha a importância das relações humanas na construção da identidade e enfatiza que a escola desempenha um papel crucial nesse processo. Essa pesquisa contribui para uma compreensão mais profunda dos processos envolvidos na construção da identidade, especialmente no contexto escolar. O estudo também destaca a relevância de uma abordagem interdisciplinar, considerando as diferentes faixas etárias, para a compreensão abrangente da influência do ambiente escolar na formação da identidade.
Multiplication law and S transform for non-hermitian random matrices
Creators: name: Burda, Z.
name: Janik, R. A.
name: Nowak, M. A.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: We derive a multiplication law for free non-hermitian random matrices allowing for an easy reconstruction of the two-dimensional eigenvalue distribution of the product ensemble from the characteristics of the individual ensembles. We define the corresponding non-hermitian S transform being a natural generalization of the Voiculescu S transform. In addition we extend the classical hermitian S transform approach to deal with the situation when the random matrix ensemble factors have vanishing mean including the case when both of them are centered. We use planar diagrammatic techniques to derive these results.
description: 25 pages + 11 figures
Determinantal Correlations of Brownian Paths in the Plane with Nonintersection Condition on their Loop-Erased Parts
Creators: name: Sato, Makiko
name: Katori, Makoto
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mathematical Physics (math-ph)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: High Energy Physics - Theory (hep-th)
subject: Probability (math.PR)
subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: As an image of the many-to-one map of loop-erasing operation $\LE$ of random walks, a self-avoiding walk (SAW) is obtained. The loop-erased random walk (LERW) model is the statistical ensemble of SAWs such that the weight of each SAW $ζ$ is given by the total weight of all random walks $π$ which are inverse images of $ζ$, $\{π: \LE(π)=ζ\}$. We regard the Brownian paths as the continuum limits of random walks and consider the statistical ensemble of loop-erased Brownian paths (LEBPs) as the continuum limits of the LERW model. Following the theory of Fomin on nonintersecting LERWs, we introduce a nonintersecting system of $N$-tuples of LEBPs in a domain $D$ in the complex plane, where the total weight of nonintersecting LEBPs is given by Fomin's determinant of an $N \times N$ matrix whose entries are boundary Poisson kernels in $D$. We set a sequence of chambers in a planar domain and observe the first passage points at which $N$ Brownian paths $(γ_1,..., γ_N)$ first enter each chamber, under the condition that the loop-erased parts $(\LE(γ_1),..., \LE(γ_N))$ make a system of nonintersecting LEBPs in the domain in the sense of Fomin. We prove that the correlation functions of first passage points of the Brownian paths of the present system are generally given by determinants specified by a continuous function called the correlation kernel. The correlation kernel is of Eynard-Mehta type, which has appeared in two-matrix models and time-dependent matrix models studied in random matrix theory. Conformal covariance of correlation functions is demonstrated.
description: v3: REVTeX4, 27 pages, 10 figures, corrections made for publication in Phys.Rev.E
title: CO2 storage potential of the Middle Buntsandstein in the Exclusive Economic Zone (EEZ) of the German North Sea
Creators: name: Fuhrmann, Arne
name: Knopf, Stefan
name: Ahlrichs, Niklas
name: Stück, Heidrun
name: Kästner, Felix
name: Thöle, Hauke
name: Kuhlmann, Gesa
Publisher: name: Deutsche Geologische Gesellschaft - Geologische Vereinigung e.V. (DGGV)
Year: 2023

description:
The storage of CO2 in deeply buried geological formations provides an important contribution to mitigate residual emissions from heavy industry in order to limit global warming below 2 °C. Robust geological models and storage capacity estimations are crucial for the successful planning and implementation of long-term storage projects. This study focuses on the CO2 storage potential of the Middle Buntsandstein within the Exclusive Economic Zone (EEZ) of the German North Sea. We mapped a total of 69 potential storage sites based on existing 3D models, seismic data and 39 exploration wells. Static CO2 volumes are calculated for each structure using a Monte-Carlo-Simulation with 10.000 iterations to account for uncertainties. All potential reservoirs are evaluated based on their volume, burial depth, top seal integrity (thickness, faults) and trap type (salt-pillow and -domes, fault, stratigraphic and combined types). The best storage conditions are associated with salt-controlled anticlines on the “West Schleswig Block” with moderate burial depths, large volumes, and limited lateral flow barriers. Poor conditions are encountered in small, deeply buried (down to 7500 m), and structurally complex parts of the Horn- and Central Grabens. We identified 39 potentially technical feasible storage sites with burial depths above 4500 meters and suitable reservoir volumes (P50 confidence level above 5 Mt CO2). The estimated total static storage capacity ranges between P90 =948 Mt, P50 = 2695 Mt and P10 =5794 Mt. This comprehensive overview about the static CO2 storage capacities highlights the most prolific reservoirs and indicates locations for further exploration.
title: Using structural frames to build complex 3D geological models in LoopStructural
Creators: name: Grose, Lachlan
name: Ailleres, Laurent
name: Laurent, Gautier
name: Alvarado-Neves, Fernanda
name: Afonso Rodrigues, Angela
Publisher: name: Deutsche Geologische Gesellschaft - Geologische Vereinigung e.V. (DGGV)
Year: 2023

description:
In order to transition to more sustainable technologies, we as society need to improve our ability to find and manage natural resources. One of the biggest challenges for managing natural resources is our ability to characterise the subsurface distribution of geological objects including mineralisation, structures and stratigraphy. Standard approaches for quantifying the geometries of these objects interpolate these geometries using mathematical interpolation techniques which generally cannot incorporate geological rules and knowledge. Here we use a time aware modelling approach where the most recent geological feature is modelled first. The geometry of the first feature is then used to build a structural frame, a curvilinear coordinate system aligned the geometry of the feature for example capturing the fault surface and slip direction or fold axis and axial surface. The structural frame can then be used as a reference frame and combined with a conceptual model conditioned to geological observations to model the geometry of the older geological features. Using appropriate overprinting relationships and geological rules it is possible to combine multiple structural frames to characterise complicated geological objects for example refolded folds, overprinting fault networks and duplex faults. We demonstrate the application of structural frame to modelling folds, faults and intrusions with different case studies demonstrating how incorporating the structural frames allow for geologists to use models to test geological hypotheses to further understand subsurface geometries.
Synthesizing Reactive Systems from Hyperproperties
Creators: name: Finkbeiner, Bernd
name: Hahn, Christopher
name: Lukert, Philip
name: Stenger, Marvin
name: Tentrup, Leander
Publisher: name: CISPA
Year: 2023

description: We study the reactive synthesis problem for hyperproperties
given as formulas of the temporal logic HyperLTL. Hyperproperties generalize trace properties, i.e., sets of traces, to sets of sets of traces. Typical
examples are information-flow policies like noninterference, which stipulate that no sensitive data must leak into the public domain. Such properties cannot be expressed in standard linear or branching-time temporal
logics like LTL, CTL, or CTL∗
. We show that, while the synthesis problem is undecidable for full HyperLTL, it remains decidable for the ∃
∗
,
∃
∗∀
1
, and the linear ∀
∗
fragments. Beyond these fragments, the synthesis problem immediately becomes undecidable. For universal HyperLTL,
we present a semi-decision procedure that constructs implementations
and counterexamples up to a given bound. We report encouraging experimental results obtained with a prototype implementation on example specifications with hyperproperties like symmetric responses, secrecy,
and information-flow.
Застосування кріоконсервованої плаценти на етапах профілактики утворення патологічних рубців шкіри в ділянках обличчя та шиї
Creators: name: Toropov, Olwksandr
Publisher: name: Zenodo
Year: 2023

description: Торопов О. А. Застосування кріоконсервованої плаценти на етапах профілактики утворення патологічних рубців шкіри в ділянках обличчя та шиї. Дисертація на здобуття ступеня доктора філософії з галузі знань 22 – Охорона здоров’я, за спеціальністю 221 – Стоматологія. Підготовка відбувалася в Полтавському державному медичному університеті МOЗ України, 2023 рік. Захист відбудеться в разовій спеціалізованій вченій раді Полтавського державного медичного університету МOЗ України, Полтава, 2023 рік.
SU(3) x SU(2) x U(1) Vacua in F-Theory
Creators: name: Choi, Kang-Sin
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The Standard Model group and matter spectrum is obtained in vacua of F-theory, without resorting to an intermediate unification group. The group SU(3) x SU(2) x U(1)_Y is the commutant to SU(5)_t \times U(1)_Y structure group of a Higgs bundle in E_8 and is geometrically realized as a deformation of I_5 singularity. Lying along the unification groups of E_n, our vacua naturally inherit their unification structure. By modding SU(5)_t out by Z_4 monodromy group, we can distinguish Higgses from lepton doublets by matter parity. Turning on universal G-flux on this part, the spectrum contains three generations of quarks and leptons, as well as vectorlike pairs of electroweak and colored Higgses. Minimal Yukawa couplings is obtained at the renormalizable level.
description: 40 pages, 1 figure
Additional file 2 of The dual amylin and calcitonin receptor agonist KBP-089 and the GLP-1 receptor agonist liraglutide act complimentarily on body weight reduction and metabolic profile
Creators: name: Larsen, Anna Thorsø
name: Gydesen, Sofie
name: Sonne, Nina
name: Karsdal, Morten Asser
name: Henriksen, Kim
Publisher: name: figshare
Year: 2021
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Physiology
subject: Pharmacology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Computational Biology

description: Additional file 2.
title: 'Loyalty more personal and fervent': Australasian imperial identities, 1892-1902
Creators: name: Connell, Liam
Publisher: name: London School of Economics and Political Science (LSE)
Year: 2023

description: Britain’s Australasian colonies entered the 1890s a disparate group; by 1902 six of them had federated and the last was embarking on apparently quixotic schemes to expand the British empire in the Pacific. In popular history this is a story of emerging national identities; much of the academic scholarship disputes this and can accept that these societies were neither wholly nationalistic yet nor simply British. Both assume that the British Empire was centred upon London, and that therefore any political, cultural or economic move away from that government’s orthodoxy was if not opposition at least a divergence from the Empire itself. The thesis investigates how Victorians, New Zealanders, Queenslanders and the rest saw themselves within the Empire, but also how they defined that Empire. They were not subjects; nor was theirs’ simply a ‘Britannic’ nationalism shared by elites across the self-governing colonies. Rather these were self-confident societies that saw themselves not as the furthest reaches of an Empire, but as the truest defenders of British values. This thesis fuses cultural and political history to show that by 1902 and the formation of the Anglo-Japanese Alliance, Australasia had developed not just a distinct set of imperial identities, but an imperial ethos. This is shown through close study of several major Imperial engagements with the wider world in this period: the rise of Japan, the geopolitics of Empire in the south-west Pacific, the South African War, and finally the formalisation of the White Australia policy. By setting colonial responses next to the writings of the leaders of the British government, it becomes apparent that the common language of Empire conceals very different ideas about that empire’s strategic interests and civilisational values.
Birefringence in periodic holographic grating
Creators: name: Avanesyan, Gagik T
Publisher: name: arXiv
Year: 2011
Subjects: subject: Optics (physics.optics)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: Photonic bandgap in holographic grating manifests itself as phase-sensitive birefringence. Phenomenological theory of the effect is presented.
description: 7 pages, 3 figures
The political life of mangroves
Creators: name: Irvine-Broque, Audrey
Publisher: name: University of British Columbia
Year: 2023

description: “Limb for limb, the mangrove is perhaps the most important tree species on Earth,” declared Conservation International in a recent update. Detailing the abilities of these trees to palliate the threats of a warming and degraded planet, this piece appealed to a now-dominant logic of conservation practice: that protecting nature might not only be a problem to solve, but a solution itself. The ascent of the mangrove forest as a “nature-based solution” marks a shift towards climate and conservation policy that promises to remedy numerous social, ecological, and economic crises at once. But what kind of approach to managing socio-ecological problems does this solution reproduce? In this thesis, I aim to historicize this solution by following the political life of mangroves: how the fate of the mangrove forest became entangled with the ideology of the Washington Consensus, first as its victim, and now as its savior. Through historical research, interviews, and document analysis, I follow the mangrove through its most significant period of decline, its subsequent emergence as an object of international conservation concern, and its current articulation with finance capital as a leading market-based environmental solution. In Chapter 1, I trace how mangrove loss becomes explained as an issue of improper values, a problem that requires solving via the financial revaluation of the mangrove ecosystem, which obfuscates broader political economic drivers of mangrove degradation. In Chapter 2, I show how a lack of state capacity and structural limits on access to capital frame the problem of the financing gap for nature, a gap that subsequently justifies the need for private financial investment in mangroves. I argue that such conservation finance projects should not be understood simply as technical fixes to generate more funds, but as political economic projects with specific aims beyond mangrove conservation. Further, I show how “the mangrove”, as a dominant policy solution, promises that socioecological wellbeing can take place within the current structure of the global economy, while creating solutions that selectively narrate which conditions of socioecological inequality and vulnerability are in need of repair.
Synthesizing Reactive Systems from Hyperproperties
Creators: name: Finkbeiner, Bernd
name: C01chha
name: C01phlu
name: Stenger, Marvin
name: Tentrup, Leander
Publisher: name: CISPA
Year: 2023

description: We study the reactive synthesis problem for hyperproperties
given as formulas of the temporal logic HyperLTL. Hyperproperties generalize trace properties, i.e., sets of traces, to sets of sets of traces. Typical
examples are information-flow policies like noninterference, which stipulate that no sensitive data must leak into the public domain. Such properties cannot be expressed in standard linear or branching-time temporal
logics like LTL, CTL, or CTL∗
. We show that, while the synthesis problem is undecidable for full HyperLTL, it remains decidable for the ∃
∗
,
∃
∗∀
1
, and the linear ∀
∗
fragments. Beyond these fragments, the synthesis problem immediately becomes undecidable. For universal HyperLTL,
we present a semi-decision procedure that constructs implementations
and counterexamples up to a given bound. We report encouraging experimental results obtained with a prototype implementation on example specifications with hyperproperties like symmetric responses, secrecy,
and information-flow.
Magnetic order in the filled skutterudites RPt4Ge12 (R = Nd, Eu)
Creators: name: Nicklas, M.
name: Gumeniuk, R.
name: Schnelle, W.
name: Rosner, H.
name: Leithe-Jasper, A.
name: Steglich, F.
name: Grin, Yu.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Rare-earth metal filled skutterudites RPt4Ge12 with R=La-Nd, and Eu exhibit a variety of different ground states, e.g., conventional and unconventional superconductivity in LaPt4Ge12 and PrPt4Ge12, respectively, and intermediate valence behavior in CePt4Ge12. In this work we investigate the magnetic state of NdPt4Ge12 and EuPt4Ge12 by specific heat, dc-susceptibility and magnetization. NdPt4Ge12 shows two magnetic phase transitions at T_N1=0.67 K and T_N2=0.58 K, while EuPt4Ge12 displays a complex magnetic phase diagram below the magnetic ordering temperature of 1.78 K. The specific heat indicates that in NdPt4Ge12 the crystalline electric field (CEF) ground state of the Nd3+ is a quartet and that, as expected, in EuPt4Ge12 the Eu2+ state is fully degenerate.
description: accepted for publication in the proceedings of SCES 2010
Additional file 1 of Preemptive intravenous iron therapy versus autologous whole blood therapy for early postoperative hemoglobin level in patients undergoing bimaxillary orthognathic surgery: a prospective randomized noninferiority trial
Creators: name: Chae, Min Suk
name: Mihyun Lee
name: Choi, Min Ho
name: Park, Je Uk
name: Misun Park
name: Kim, Young Hoon
name: Choi, Hoon
name: Joo, Jin
name: Moon, Young Eun
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: Science Policy
subject: Hematology
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1. Consolidated Standards of Reporting Trials (CONSORT) guidelines.
Local-global compatibility and the action of monodromy on nearby cycles
Creators: name: Caraiani, Ana
Publisher: name: arXiv
Year: 2010
Subjects: subject: Number Theory (math.NT)
subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 11R39, 11F70, 11F80, 14G35

description: We strengthen the local-global compatibility of Langlands correspondences for $GL_{n}$ in the case when $n$ is even and $l\not=p$. Let $L$ be a CM field and $Π$ be a cuspidal automorphic representation of $GL_{n}(\mathbb{A}_{L})$ which is conjugate self-dual. Assume that $Π_{\infty}$ is cohomological and not "slightly regular", as defined by Shin. In this case, Chenevier and Harris constructed an $l$-adic Galois representation $R_{l}(Π)$ and proved the local-global compatibility up to semisimplification at primes $v$ not dividing $l$. We extend this compatibility by showing that the Frobenius semisimplification of the restriction of $R_{l}(Π)$ to the decomposition group at $v$ corresponds to the image of $Π_{v}$ via the local Langlands correspondence. We follow the strategy of Taylor-Yoshida, where it was assumed that $Π$ is square-integrable at a finite place. To make the argument work, we study the action of the monodromy operator $N$ on the complex of nearby cycles on a scheme which is locally etale over a product of semistable schemes and derive a generalization of the weight-spectral sequence in this case. We also prove the Ramanujan-Petersson conjecture for $Π$ as above.
description: 88 pages
title: Effects of an oblique collision on the evolution of foreland basins: Insights from 3D numerical modeling
Creators: name: Maiti, Giridas
name: Balázs, Attila
name: Eskens, Lucas
name: Gerya, Taras
name: Koptev, Alexander
name: Andrić-Tomašević, Nevena
Publisher: name: Deutsche Geologische Gesellschaft - Geologische Vereinigung e.V. (DGGV)
Year: 2023

description:
Flexural bending of a downgoing subducting plate in response to forces from slab pull and topographic load leads to foreland basin development in front of growing mountain belts. Many foreland basins worldwide show along-strike variable basin architecture and subsidence history. Various factors such as lateral variations in slab pull, the presence of lateral crustal heterogeneity, slab breakoff and tear propagation have been suggested as drivers. However, the effects of an oblique continental collision on the evolution of foreland basins are largely ignored. In this study, we use 3D thermo-mechanical numerical models coupled with surface processes (i.e., sedimentation and erosion) to simulate an oblique collision. In the initial model, the continental plate margin is placed at an oblique angle relative to the subduction trench and we vary the following parameters: (1) margin obliquity, (2) convergence velocity, (3) age of the subducting oceanic lithosphere, and (4) presence of pre-existing rigid blocks in the subducting plate. Our results show that models with no obliquity (i.e., straight continental margin) create simultaneous along-strike continental collision and foreland basin subsidence. However, higher margin obliquity (≥ 15° ) causes a delay in the along-strike collision and foreland basin development. Our results suggest that the along-strike propagation of foreland basin development is controlled by the initial margin obliquity and plate convergence velocity. Finally, we discuss the implications of our study on the 3D evolution of the Northern Alpine Foreland Basin (NAFB) and intramountain basins within the Betics where along-strike variations of the sedimentary basin architecture are reported.
Anderson localization on the Cayley tree : multifractal statistics of the transmission at criticality and off criticality
Creators: name: Monthus, Cecile
name: Garel, Thomas
Publisher: name: arXiv
Year: 2011
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: In contrast to finite dimensions where disordered systems display multifractal statistics only at criticality, the tree geometry induces multifractal statistics for disordered systems also off criticality. For the Anderson tight-binding localization model defined on a tree of branching ratio K=2 with $N$ generations, we consider the Miller-Derrida scattering geometry [J. Stat. Phys. 75, 357 (1994)], where an incoming wire is attached to the root of the tree, and where $K^{N}$ outcoming wires are attached to the leaves of the tree. In terms of the $K^{N}$ transmission amplitudes $t_j$, the total Landauer transmission is $T \equiv \sum_j | t_j |^2$, so that each channel $j$ is characterized by the weight $w_j=| t_j |^2/T$. We numerically measure the typical multifractal singularity spectrum $f(α)$ of these weights as a function of the disorder strength $W$ and we obtain the following conclusions for its left-termination point $α_+(W)$. In the delocalized phase $W0$ and is associated with a moment index $q_+(W)>1$. At criticality, it vanishes $α_+(W_c)=0$ and is associated with the moment index $q_+(W_c)=1$. In the localized phase $W>W_c$, $α_+(W)=0$ is associated with some moment index $q_+(W)<1$. We discuss the similarities with the exact results concerning the multifractal properties of the Directed Polymer on the Cayley tree.
description: v2=final version (16 pages)
Heuristics and health data : a qualitative study of cancer patients' data sharing preferences
Creators: name: Hermansen, Anna
Publisher: name: University of British Columbia
Year: 2023

description: Introduction: To advance the evaluation of precision oncology requires greater access to currently siloed patient data. The infrastructure supporting this access rests on patient consent, and as a result must be responsive to patients’ considerations when deciding whether to share their data. Data sharing considerations have been studied by researchers through the lens of heuristic theory, but heuristics have not been studied in the health data sharing context. This thesis addresses this gap, exploring how cancer patients employ heuristics when assessing the risks and benefits of sharing their data with researchers. Methods: We conducted a qualitative investigation of the data sharing preferences of cancer patients and survivors in Canada. A semi-structured question guide led the groups through discussions of opinions, anecdotes, and preferences that revealed underlying heuristic processes. Transcripts were analyzed using a codebook developed from a literature review on data sharing heuristics. Heuristic instances were connected to related attitudes and intentions to share and were then grouped in decision-making themes. Results: We ran three focus groups with 19 participants in total. We identified 12 heuristics underlying their preferences and intentions for data sharing, and 17 attitudes related to these heuristics. We generated four themes that reflect patterns of heuristic processing: (1) altruism as a social rule, (2) trust as a measure of legitimacy, (3) gaining power and security through control, and (4) framing risk and benefit through personal experiences. A cross-cutting interpretation of these themes highlighted the influence that certain attitudes and heuristics have across different decision preferences and patterns of cancer patients. Discussion: The findings revealed new relationships between heuristics and well-known preferences for data sharing. Our study provides a novel perspective on the preferences influencing health data sharing decisions and how they may sometimes be based on heuristic as opposed to rational processing. Further research can expand on this, testing actual behaviour patterns and validating the influence of heuristics on decision-making. These findings implicate the design and communication of data sharing infrastructure by recognizing the role that non-deliberative, intuitive processes play in a cancer patient’s assessment of risk and benefit when making data-sharing decisions.
Additional file 1 of Cost-effectiveness of a hybrid emergency room system for severe trauma: a health technology assessment from the perspective of the third-party payer in Japan
Creators: name: Kinoshita, Takahiro
name: Moriwaki, Kensuke
name: Hanaki, Nao
name: Tetsuhisa Kitamura
name: Yamakawa, Kazuma
name: Fukuda, Takashi
name: Hunink, Myriam G. M.
name: Fujimi, Satoshi
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Pharmacology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 1:. Table S1. Input Parameters
Accretion and nuclear activity in Virgo early-type galaxies
Creators: name: Vattakunnel, Shaji
name: Trussoni, Edoardo
name: Capetti, Alessandro
name: Baldi, Ranieri D.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We use Chandra observations to estimate the accretion rate of hot gas onto the central supermassive black hole in four giant (of stellar mass 10E11 - 10E12 solar masses) early-type galaxies located in the Virgo cluster. They are characterized by an extremely low radio luminosity, in the range L < 3E25 - 10E27 erg/s/Hz. We find that, accordingly, accretion in these objects occurs at an extremely low rate, 0.2 - 3.7 10E-3 solar masses per year, and that they smoothly extend the relation accretion - jet power found for more powerful radio-galaxies. This confirms the dominant role of hot gas and of the galactic coronae in powering radio-loud active galactic nuclei across ~ 4 orders of magnitude in luminosity. A suggestive trend between jet power and location within the cluster also emerges.
description: Accepted for publication in A&A
Model Checking Quantitative Hyperproperties
Creators: name: Finkbeiner, Bernd
name: Hahn, Christopher
name: Torfah, Hazem
Publisher: name: CISPA
Year: 2023

description: Hyperproperties are properties of sets of computation traces. In this paper, we study quantitative hyperproperties, which we define as hyperproperties that express a bound on the number of traces that may appear in a certain relation. For example, quantitative non-interference limits the amount of information about certain secret inputs that is leaked through the observable outputs of a system. Quantitative non-interference thus bounds the number of traces that have the same observable input but different observable output. We study quantitative hyperproperties in the setting of HyperLTL, a temporal logic for hyperproperties. We show that, while quantitative hyperproperties can be expressed in HyperLTL, the running time of the HyperLTL model checking algorithm is, depending on the type of property, exponential or even doubly exponential in the quantitative bound. We improve this complexity with a new model checking algorithm based on model-counting. The new algorithm needs only logarithmic space in the bound and therefore improves, depending on the property, exponentially or even doubly exponentially over the model checking algorithm of HyperLTL. In the worst case, the new algorithm needs polynomial space in the size of the system. Our Max#Sat-based prototype implementation demonstrates, however, that the counting approach is viable on systems with nontrivial quantitative information flow requirements such as a passcode checker.
APPROPRIATION ART E DIRITTO D'AUTORE
Creators: name: DE SANTIS, FEDERICA
Publisher: name: Universit� degli Studi di Milano
Year: 2015

description: Appropriation Art is generally defined as a form of contemporary art which borrows images from popular culture, advertising, the mass media, other artists and elsewhere, and incorporates them into new works of art. By taking these items out of their contexts and presenting them in new forms, combinations, or contexts, artists transform their meaning and force the viewer to reconsider his or her former understandings about a certain image. Appropriation art traces its origins back to Conceptual Art and, before, to the ?readymades? of Marcel Duchamp, works (objet tout fait) consisting entirely of everyday objects presented largely unchanged as ?art.? The originality and artistic value of these kinds of works lies in the new meaning associated with the work and in the artistic gesture, and not in its external aspect or form. Under a legal perpective, the main question arising out of Appropriation Art is whether the second work is a copy (thus, a counterfeit), a derivative work (requiring the copyright owner?s consent to exploit the work of art) or, instead, a totally new and original work. To answer this question, this dissertation examines whether the appropriation artwork can be considered original under a copyright law standpoint, and analyzes the relationship between the appropriated work and the second work. Sometimes the works of Appropriation Art can be considered lawful as parody, insofar as they transform the meaning of a previous work for comic effect, creating a new artwork. This dissertation also analyzes the transformativeness relevant under the fair use analysis within US copyright system as well as the key fair use Appropriation Art cases handed down by US courts. In particular, the analysis focuses on the Jeff Koons and on the Mattel cases, and addresses the Cariou v. Prince case, relating to the alleged copy by renowned appropriation artist Richard Prince of Cariou?s portraits of Jamaican Rastafarians for use in a series of paintings by Prince titled ?Canal Zone?. In this case, the court held that the message behind the use of Cariou?s photos in ?Canal Zone? was so different from Cariou?s message in the original portraits that Prince had transformed their meaning and therefore created new art. Italian courts addressed Appropriation Art only in one case, concerning the use by appropriation artist John Baldessari of certain works made by Alberto Giacometti. Finally, it is necessary to analyze Appropriation Art also under a trademark law standpoint, to assess whether appropriation of a mark can be considered trademark infringement.
Shape formation via elastic instabilities
Creators: name: Cheewaruangroj, Nontawit
Publisher: name: Apollo - University of Cambridge Repository
Year: 2019
Subjects: Pattern Formation
Elasticity
Wrinkle
Elastic Instability
Instability

description: When a solid object is placed under a load, it will deform to a new shape. Typically, these shape changes are modest and predictable, but sometimes, when a critical load is reached, the object will undergo an elastic instability and adopt a dramatically different and more complicated shape. Traditionally, elastic instabilities, such as buckling and wrinkling, have been studied as failure modes in stiff material systems. However, soft highly deformable solids, such as rubbers and biological tissues, can undergo instabilities without failure, offering the opportunity to utilize instabilities to change their shape. Furthermore, the largestrain mechanics of soft solids introduces many new instabilities not seen in traditional materials. Evolution is known to exploit soft elastic instabilities to sculpt brains, guts and other developing organs, and human engineers are interested in using them to create shape switching devices. There is a pressing need to understand what types of elastic instability exist, what shapes they form, and how these shapes can be controlled. In this thesis, I address each of these challenges. I first present a new elastic instability, in which a cylindrical channel through a soft solid adopts a peristaltic shape upon loading with sufficient internal pressure. I then present a theory of pattern selection in surface elastic instabilities, including the compressive wrinkling of a stiff sheet on a soft substrate, and the gravitational fingering of a soft gel layer. Using higher order perturbation theory, I find, in both cases, that patterns of hexagonal dents are favoured, and I present a symmetry argument that hexagonal patterns are generic. Finally, I present a technique to manipulate the patterns formed in layer/substrate buckling by patterning the system with holes. This simple technique shows that instability patterns can be designed, opening new engineering opportunities.