cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
State, space and security : the treatment of deviant groups in times of crisis
Creators: name: Gkresta, Maria
Publisher: name: IMT Alti Studi Lucca
Year: 2013
Subjects: JA Political science (General)

description: The project explores the spatial strategies employed by the state during the ongoing financial crisis in regards to the
treatment of perceived as deviant groups in Cluj- Napoca, Budapest and Athens. In the current context, groups such as the Roma, the homeless and seropositive
women face extreme discrimination and are pushed in the margins of the society. An interpretative approach is adopted in order to steer the thesis towards a
critical assessment of the everyday practices of the state and its apparatuses, as well as towards an analysis of the discourses that legitimate these practices.
In the process of securitizing and excluding deviant groups, certain spaces become the targets of preferential investments in built environment and infrastructure,
while others become stigmatized and criminalized. The three cases outlined show three stages of this differentiation, in which deviant groups play the key role.
The case of Cluj illustrates a strict dichotomy between the city and the periphery, where Roma people are exiled.In Budapest, the entire territory of the city can
be seen as a patchwork of centres and marginal areas, where homeless people are banned in certain spaces, but tacitly allowed in others. Finally, in the case of
the seropositive women, it is argued thatin Athens there are no spaces relegated to deviance,just as there are no spaces that are completely purified of it. Instead, deviance is ubiquitous, through the creation of an overarching discursive climate.
Design and Analysis of Hardware-limited Non-uniform Task-based Quantizers
Creators: name: Bernardo, Neil Irwin
name: Zhu, Jingge
name: Eldar, Yonina C.
name: Evans, Jamie
Publisher: name: arXiv
Year: 2022
Subjects: subject: Signal Processing (eess.SP)
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Hardware-limited task-based quantization is a new design paradigm for data acquisition systems equipped with serial scalar analog-to-digital converters using a small number of bits. By taking into account the underlying system task, task-based quantizers can efficiently recover the desired parameters from the low-bit quantized observation. Current design and analysis frameworks for hardware-limited task-based quantization are only applicable to inputs with bounded support and uniform quantizers with non-subtractive dithering. Here, we propose a new framework based on generalized Bussgang decomposition that enables the design and analysis of hardware-limited task-based quantizers that are equipped with non-uniform scalar quantizers or that have inputs with unbounded support. We first consider the scenario in which the task is linear. Under this scenario, we derive new pre-quantization and post-quantization linear mappings for task-based quantizers with mean squared error (MSE) that closely matches the theoretical MSE. Next, we extend the proposed analysis framework to quadratic tasks. We demonstrate that our derived analytical expression for the MSE accurately predicts the performance of task-based quantizers with quadratic tasks.
description: 12 pages, 10 figures, submitted to IEEE Transactions on Signal Processing
Noise Invalidation Denoising
Creators: name: Beheshti, Soosan
name: Hashemi, Masoud
name: Zhang, Xiao-Ping
name: Nikvand, Nima
Publisher: name: arXiv
Year: 2010
Subjects: subject: Methodology (stat.ME)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Statistics Theory (math.ST)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: A denoising technique based on noise invalidation is proposed. The adaptive approach derives a noise signature from the noise order statistics and utilizes the signature to denoise the data. The novelty of this approach is in presenting a general-purpose denoising in the sense that it does not need to employ any particular assumption on the structure of the noise-free signal, such as data smoothness or sparsity of the coefficients. An advantage of the method is in denoising the corrupted data in any complete basis transformation (orthogonal or non-orthogonal). Experimental results show that the proposed method, called Noise Invalidation Denoising (NIDe), outperforms existing denoising approaches in terms of Mean Square Error (MSE).
description: 9 pages, journal submission
Universal framework for record ages under restart
Creators: name: Kumar, Aanjaneya
name: Pal, Arnab
Publisher: name: arXiv
Year: 2022
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Probability (math.PR)
subject: Data Analysis, Statistics and Probability (physics.data-an)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We propose a universal framework to compute record age statistics of a stochastic time-series that undergoes random restarts. The proposed framework makes minimal assumptions on the underlying process and is furthermore suited to treat generic restart protocols going beyond the Markovian setting. After benchmarking the framework for classical random walks on the $1$D lattice, we derive a universal criterion underpinning the impact of restart on the age of the $n$th record for generic time-series with nearest-neighbor transitions. Crucially, the criterion contains a penalty of order $n$, that puts strong constraints on restart expediting the creation of records, as compared to the simple first-passage completion. The applicability of our approach is further demonstrated on an aggregation-shattering process where we compute the typical growth rates of aggregate sizes. This unified framework paves the way to explore record statistics of time-series under restart in a wide range of complex systems.
A Stochastic Model for the Analysis of Demographic Risk in Pay-As-You-Go Pension Funds
Creators: name: Maccioni, Alessandro Fiori
Publisher: name: arXiv
Year: 2011
Subjects: subject: Risk Management (q-fin.RM)
subject: FOS: Economics and business
subject: 11K45, 60J10, 60J20, 62N02

description: This research presents an analysis of the demographic risk related to future membership patterns in pension funds with restricted entrance, financed under a pay-as-you-go scheme. The paper, therefore, proposes a stochastic model for investigating the behaviour of the demographic variable "new entrants" and the influence it exerts on the financial dynamics of such funds. Further information on pension funds of Italian professional categories and an application to the Cassa Nazionale di Previdenza e Assistenza dei Dottori Commercialisti (CNPADC) are then provided.
description: 20 pages, 9 figures, 5 tables. Original paper available at: http://sunshine.dma.unive.it/mmef/vol-3-2-2008.html
Exergy of an open continuous medium
Creators: name: Becattini, F.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: Exergy is a very important thermodynamic quantity in several fields such as economy, engineering, ecology and yet it has attracted little attention in pure physics. One of the main problems of the currently used definition of exergy is its dependence on an arbitrarily chosen reference state, which is the thermodynamic state of a reservoir the system is supposedly in contact with. In this paper, starting from a very general definition of exergy, a formula is derived for the exergy balance of a general open continuous medium without any reference to an external environment. A formula is also derived for the most suitable thermodynamic parameters of the Earth atmosphere when seen as an external environment in the usual exergy applications.
description: 18 pages, 4 figures. Revised version published in Phys Rev E
Additional file 1 of Depression treatment in Germany – using claims data to compare a collaborative mental health care program to the general practitioner program and usual care in terms of guideline adherence and need-oriented access to psychotherapy
Creators: name: Engels, Alexander
name: Hans-Helmut König
name: Magaard, Julia Luise
name: Härter, Martin
name: Hawighorst-Knapstein, Sabine
name: Chaudhuri, Ariane
name: Brettschneider, Christian
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 1: Table 1a: Unadjusted statistics for the 12-month period before the index diagnosis. Table 1b: Unadjusted statistics for the 12-month period before the index diagnosis. Figure 1. Plots on treatment type, the number of therapy sessions and sick leave days for patients with mild or non-specified depression. Table 2. Estimated marginal means for sick leave days and therapy sessions in the 12-month after the index diagnosis. Table 3. Model coefficients for the number of therapy sessions in the 12-month after the index diagnosis. Figure 2. Reverse survival curves on the effect of sick leave month on the likelihood of receiving another therapy session in PNP compared to the effect in UC for the second to fifth session. Figure 3. Reverse survival curves on the effect of sick leave month on the likelihood of receiving another therapy session in PNP compared to the effect in UC for the sixth and the subsequent sessions. Figure 4. Boxplots on the number of sick leave days. Table 4. Model coefficients for sick leave days in the 12-month after the index diagnosis. Table 5. Weighted proportion of adequately or inadequately treated patients in the outpatient sector and the hospitalization rate compared between health plans in various subgroups. Table 6. Weighted proportion of adequately or inadequately treated patients by severity subgroups.
Recursive Definitions of Monadic Functions
Creators: name: Krauss, Alexander
Publisher: name: arXiv
Year: 2010
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Using standard domain-theoretic fixed-points, we present an approach for defining recursive functions that are formulated in monadic style. The method works both in the simple option monad and the state-exception monad of Isabelle/HOL's imperative programming extension, which results in a convenient definition principle for imperative programs, which were previously hard to define. For such monadic functions, the recursion equation can always be derived without preconditions, even if the function is partial. The construction is easy to automate, and convenient induction principles can be derived automatically.
description: In Proceedings PAR 2010, arXiv:1012.4555
Constraints from Unrealistic Vacua in the Next-to-Minimal Supersymmetric Standard Model
Creators: name: Kanehata, Yoshimi
name: Kobayashi, Tatsuo
name: Konishi, Yasufumi
name: Seto, Osamu
name: Shimomura, Takashi
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We study constraints to avoid deep unrealistic minima in the next-to-minimal supersymmetric standard model. We analyze a scalar potential along directions where all of and one of the three Higgs fields develop their vacuum expectation values, and find unrealistic minima deeper than the electroweak symmetry breaking (EWSB) vacuum. These unrealistic minima threaten the realization of the successful EWSB and therefore should be avoided. Necessary conditions to avoid these minima result in constraints of parameters. We show that a wide and significant region of the parameter space, especially large λ, is ruled out by our constraints.
description: 25 pages, 4 figures
What’s the story? Legal and media narratives of war crime trials and shaping of national identity in Croatia and Serbia
Creators: name: Ljubojevic, Ana
Publisher: name: IMT Alti Studi Lucca
Year: 2013
Subjects: JA Political science (General)

description: This thesis analyses the impact of legal and media representations of war crime trials on master narratives of the war and
identity in Croatia and Serbia. Our research is situated on the interception of scientific fields of transitional justice, media studies and studies on nationalism.
We explore the relationship between official narratives of the war, legal narratives of war crime trials and the way that the media conveys both the narratives and
reports on these trials. The research addresses issues concerning war crime trials, collective memories and (re)construction of national identity, national narratives
and the war in the former Yugoslavia. Taking Brooks and Gewritz’s methodological approach, we used Critical Discourse Analysis to analyse law not as set of rules and
policies, but as a source of narratives. Furthermore, law is given a dimension of “cultural discourse through which social narratives are structured and suppressed”.
Assuming that the media in contemporary societies have huge influence on shaping knowledge about history and shared historical narratives, this research analyses
local media reports on domestic war crimes trials. This research explores how media represent and report about historical narratives established by local courts in
Serbia and Croatia. Subsequently, those representations are compared to background, non-legal elements, i.e. historical facts found in judgments rendered at the ICTY.
We approached the problematique by analysing trial transcripts and media reports about domestic war crimes trials held in Serbia and Croatia (Ovčara-Vukovar hospital in Serbia and
Medak pocket case in Croatia). We argue that transitional justice, instead of triggering truth seeking and truth telling processes that would lead to reconciliation,
multiplied mutually exclusive historical narratives that determined national collective identities
PREFER publications
Creators: name: PREFER-Patient Preferences In Benefit Risk Assessments During The Drug Life Cycle
Publisher: name: Zenodo
Year: 2021
Subjects: publication
patient preference

description: PREFER is developing recommendations for when and how patient preferences can contribute to industry, regulatory and HTA decision making throughout the medical product life cycle. We include patient stakeholders at every level of the project. This pdf booklet includes a list of our publications in chronological order (latest first), with abstracts and links to full text. The list was updated on 23 September 2021.
Dynamics of information in the presence of deformation
Creators: name: Metwally, Nasser
Publisher: name: arXiv
Year: 2010
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The entanglement of atomic system consists of two atoms interacts with a deformed cavity mode is quantified by the means of Bloch vectors and the cross dyadic of the travelling state inside the cavity. For large value of the deformation the amplitude of Bloch vectors decrease very fast and consequently the traveling state turns into mixed state quickly. The generated entangled state is used as quantum channel to implement quantum teleportation protocol. It is shown that both of the deformed parameter and the number of photons inside the cavity play a central role on controlling the fidelity of the transmitted information.
Helical Inflation Correlators: Partial Mellin-Barnes and Bootstrap Equations
Creators: name: Qin, Zhehan
name: Xianyu, Zhong-Zhi
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Massive spinning particles acquire helicity-dependent chemical potentials during the inflation from axion-type couplings. Such spinning fields can mediate sizable inflaton correlators which we call the helical inflation correlators. Helical inflaton correlators are approximately scale invariant, dS boost breaking, parity-violating, and are promising observables of cosmological collider physics. In this work, we present complete and analytical results for 4-point helical inflation correlators with tree-level exchanges of massive spinning particles, including both the smooth background and the oscillatory signals. We compute the bulk Schwinger-Keldysh integrals in two independent ways, including the partial Mellin-Barnes representation and solving bootstrap equations. We also present new closed-form analytical results for 3-point functions with massive scalar or helical spinning exchanges. The analytical results allow us to concretely and efficiently explore the phenomenological consequences of helicity-dependent chemical potentials. In particular, we show that the chemical potential can exponentially enhance oscillatory signals of both local and nonlocal types, but only affects the background in a rather mild way. Our results extend the de Sitter bootstrap program to include nonperturbative breaking of de Sitter boosts. Our results also explicitly verify the recently proposed cutting rule for cosmological collider signals.
description: 77 pages. v2: Minor corrections; New references added
Affordable luxury : the entanglements of metal mirrors in Han China (202 BCE-220 CE)
Creators: name: Guo, Yanlong
Publisher: name: University of British Columbia
Year: 2018

description: This dissertation is a relational study of the multiple entanglements of metal mirrors with consumers in the context of a monetized economy during the Han dynasty (202 BCE-220 CE). By looking at the triad of physical, economic, and semiotic interdependences, I trace the complex ways in which Han users shaped their mirrors and vice versa. Balancing transmitted and excavated sources, qualitative and quantitative methods, and physical sciences and art historical inquiries, I foreground an interdisciplinary understanding of the early imperial history of luxury consumption. This study follows these objects, from the accoutrements of mirrors such as ribbons, stands, pouches, and boxes, to all sorts of metal mirrors made from bronze, iron, lead, and those with additional ornaments, as they were purchased, then displayed and appreciated in the quotidian as well as mortuary settings of both wealthy and middle classes in Han China. I argue that these specular discs served as a dominant form of affordable luxury, signaling personal intimacies, monetary wealth, and aesthetic enjoyments.         This study is divided into four chapters. Chapter 1, "Introduction," introduces the theoretical framework of entanglement and a perspective on the consumption of mirrors as luxuries. Chapter 2, “The Physical Entanglements,” explores the use value of Han mirrors, arguing for the portability and intimacy of the relations between these small yet intricate objects and their Han users as revealed through the holding, viewing, wearing, and burying practices. Chapter 3, “The Economic Entanglements,” investigates the market value of the mirrors, the socioeconomic status of consumers, and the gifting practices based upon such value. Chapter 4, “The Semiotic Entanglements,” highlights the physical, optical and symbolic interdependence between mirrors and the people of early imperial China. Moving beyond issues of representation, this chapter closely scrutinizes the aestheticization, symbolic correlations, and attainment of brightness in a variety of practices dependent upon the medium of Han mirrors. This study contributes to the field of early Chinese art with a nuanced examination of Han mirrors as treasured things that created systems of value, and with a reconstruction of lost linkages between the mirror as physical paraphernalia, source of value, and embodied aesthetic.
Rainbow Office Hours: A practical guide for staff.pdf
Creators: name: Nordmann, Emily
name: Horlin, Chiara
name: McNair, Steven
name: DeBruine, Lisa
Publisher: name: National Teaching Repository
Year: 2022
Subjects: subject: Uncategorized
subject: 130103 Higher Education
subject: FOS: Educational sciences

description: Rainbow Office Hours have run in the School of Psychology and Neuroscience (SPaN), University of Glasgow since 2019, where students are invited to attend Rainbow Office Hours with an LGBTQ+ member of staff to discuss anything LGBTQ+ related.
Attendance is variable, however, the impact of having visible LGBTQ+ staff has been hugely positive. LGBTQ+ students in SPaN have reported that they feel well represented and perceive SPaN as a welcoming and LGBTQ+ friendly school.
We have produced guidance to help support and encourage staff in other Schools, Colleges, and institutions to run Rainbow Office Hours with a brief summary of the evidence-base
Positive Difference Distribution for Image Outlier Detection using Normalizing Flows and Contrastive Data
Creators: name: Schmier, Robert
name: Köthe, Ullrich
name: Straehle, Christoph-Nikolas
Publisher: name: arXiv
Year: 2022
Subjects: subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: Detecting test data deviating from training data is a central problem for safe and robust machine learning. Likelihoods learned by a generative model, e.g., a normalizing flow via standard log-likelihood training, perform poorly as an outlier score. We propose to use an unlabelled auxiliary dataset and a probabilistic outlier score for outlier detection. We use a self-supervised feature extractor trained on the auxiliary dataset and train a normalizing flow on the extracted features by maximizing the likelihood on in-distribution data and minimizing the likelihood on the contrastive dataset. We show that this is equivalent to learning the normalized positive difference between the in-distribution and the contrastive feature density. We conduct experiments on benchmark datasets and compare to the likelihood, the likelihood ratio and state-of-the-art anomaly detection methods.
title: The Financial Origins of Non-fundamental Risk
Creators: name: Acharya, Sushant
name: Dogra, Keshav
name: Singh, Sanjay
Publisher: name: Bank of Canada
Year: 2022

description: We formalize the idea that the financial sector can be a source of non-fundamental risk.
Households’ desire to hedge against price volatility can generate price volatility in equilibrium,
even absent fundamental risk. Fearing that asset prices may fall, risk-averse households
demand safe assets from leveraged intermediaries, whose issuance of safe assets exposes the
economy to self-fulfilling fire sales. Policy can eliminate non-fundamental risk by (i) increasing
the supply of publicly backed safe assets, through issuing government debt or bailing out
intermediaries, or (ii) reducing the demand for safe assets, through social insurance or by acting
as a market maker of last resort.
description: Nous explorons l’idée selon laquelle le secteur financier peut faire peser des risques non fondamentaux sur le reste de l’économie. Nous nous demandons aussi si les politiques publiques peuvent permettre de réduire ces risques, que ce soit en augmentant l’offre d’actifs sûrs garantis par l’État ou en faisant baisser la demande d’actifs sûrs.
Emergence of high-energy dynamics from cascade-baryon detections at the LHC
Creators: name: Celiberto, Francesco Giovanni
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: We propose the inclusive detection at the LHC of a cascade $Ξ^-/\barΞ^+$ baryon in association with a jet, as a novel probe channel for the QCD dynamics at high energies. We investigate the behavior of a selection of distributions, differential in rapidity, azimuthal angle and/or transverse momenta, calculated via the hybrid high-energy/collinear factorization encoding the full next-to-leading BFKL resummation of energy logarithms. We come out with the conclusion that the fragmentation mechanism underlying the production of $Ξ^-/\barΞ^+$ baryon states leads to stabilization effects of the resummation, similar to those recently observed in the context of heavy-flavor studies within the same formalism.
description: 39 pages, 7 figures, 291 references. Version published in Eur. Phys. J C
Rise of Kp Total Cross Section and Universality
Creators: name: Ishida, Muneyuki
name: Barger, Vernon
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The increase of the measured hadronic total cross sections at the highest energies is empirically described by squared log of center-of-mass energy sqrt s as sigma(tot)= B (log s)2, consistent with the energy dependence of the Froissart unitarity bound. The coefficient B is argued to have a universal value, but this is not proved directly from QCD. In the previous tests of this universality, the p(pbar)p, pi p, and K p forward scatterings were analyzed independently and found to be consistent with B(pp) = B(pip) = B(Kp), although the determined value of B(Kp) had large uncertainty. In the present work, we have further analyzed forward Kp scattering to obtain a more exact value of B(Kp). Making use of continuous moment sum rules(CMSR) we have fully exploited the information of low-energy scattering data to predict the high-energy behavior of the amplitude hrough duality. The estimation of B(Kp) is improved remarkably, and our result strongly supports the universality of B.
description: 12 pages, 3 figures
A Heating Mechanism via Magnetic Pumping in the Intracluster Medium
Creators: name: Ley, Francisco
name: Zweibel, Ellen G.
name: Riquelme, Mario
name: Sironi, Lorenzo
name: Miller, Drake
name: Tran, Aaron
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: Turbulence driven by AGN activity, cluster mergers and galaxy motion constitutes an attractive energy source for heating the intracluster medium (ICM). How this energy dissipates into the ICM plasma remains unclear, given its low collisionality and high magnetization (precluding viscous heating by Coulomb processes). Kunz et al. 2011 proposed a viable heating mechanism based on the anisotropy of the plasma pressure (gyroviscous heating) under ICM conditions. The present paper builds upon that work and shows that particles can be gyroviscously heated by large-scale turbulent fluctuations via magnetic pumping. We study how the anisotropy evolves under a range of forcing frequencies, what waves and instabilities are generated and demonstrate that the particle distribution function acquires a high energy tail. For this, we perform particle-in-cell simulations where we periodically vary the mean magnetic field $\textbf{B}(t)$. When $\textbf{B}(t)$ grows (dwindles), a pressure anisotropy $P_{\perp}>P_{\parallel}$ ($P_{\perp}< P_{\parallel}$) builds up ($P_{\perp}$ and $P_{\parallel}$ are, respectively, the pressures perpendicular and parallel to $\textbf{B}(t)$). These pressure anisotropies excite mirror ($P_{\perp}>P_{\parallel}$) and oblique firehose ($P_{\parallel}>P_{\perp}$) instabilities, which trap and scatter the particles, limiting the anisotropy and providing a channel to heat the plasma. The efficiency of this mechanism depends on the frequency of the large-scale turbulent fluctuations and the efficiency of the scattering the instabilities provide in their nonlinear stage. We provide a simplified analytical heating model that captures the phenomenology involved. Our results show that this process can be relevant in dissipating and distributing turbulent energy at kinetic scales in the ICM.
description: 24 pages, 17 figures, submitted to ApJ
Analysing the impact of a mega-event on city image by visual methodologies : branding Istanbul during the European capital of culture 2010
Creators: name: Dogan, Evinc
Publisher: name: IMT Alti Studi Lucca
Year: 2013
Subjects: NX Arts in general

description: Istanbul “took the stage” as one of the three European Capital of Culture (ECoC) cities in 2010. In this spectacle, the urban spaces were projected as the theatre décor while residents and visitors became the spectators.
The aim of the study is to understand the ways in which ECoC 2010 influenced the city image of Istanbul as a core component of the city brand.
The research employs qualitative methods in its analysis of the visual data. The analysed research material is provided by a sample of posters released during Istanbul 2010
 among 549 events throughout the year. The researcher adapts a hermeneutic approach to the representations, signs and language as the means of symbolic meaning.
 The symbolic production and visual representation are therefore investigated firstly through the authoritative and historically constituted discourses in the making
 of Istanbul image and secondly through the orders of cultural consumption and mediatization of culture through spectacular events. The images and the discourses
 employed in these posters, swings between the ‘pillars’ of being a global city and native, local and Turkish characteristics of Istanbul.
 The findings of the analysis demonstrate the image of Istanbul moves between the opposite ends of the contrasting pairs, but could not reach an agreement.
 This research suggests building a consistent branding strategy and conveying clear messages for the audience. Few studies concentrate on Istanbul ECoC 2010
 as a mega-event and some others focus on Istanbul image. However, there is no study examining the impact of a mega-event, such as Istanbul ECoC 2010,
 on the city image through a visual critical analysis. Thus, the research intends drawing a model for the understanding of the impact of megaevents on the city image and visual representation of this image.
 This can be useful in understanding similar cases and further research into the processes of city and place branding and image relationships.
MiniAgda: Integrating Sized and Dependent Types
Creators: name: Abel, Andreas
Publisher: name: arXiv
Year: 2010
Subjects: subject: Programming Languages (cs.PL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track structural descent and guardedness in the type system to make termination checking robust and suitable for strong abstractions like higher-order functions and polymorphism. To study the application of sized types to proof assistants and programming languages based on dependent type theory, we have implemented a core language, MiniAgda, with explicit handling of sizes. New considerations were necessary to soundly integrate sized types with dependencies and pattern matching, which was made possible by concepts such as inaccessible patterns and parametric function spaces. This paper provides an introduction to MiniAgda by example and informal explanations of the underlying principles.
description: In Proceedings PAR 2010, arXiv:1012.4555
Mixed potentials in radiative stellar collapse
Creators: name: Thirukkanesh, S.
name: Maharaj, S. D.
Publisher: name: arXiv
Year: 2010
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We study the behaviour of a radiating star when the interior expanding, shearing fluid particles are traveling in geodesic motion. We demonstrate that it is possible to obtain new classes of exact solutions in terms of elementary functions without assuming a separable form for the gravitational potentials or initially fixing the temporal evolution of the model unlike earlier treatments. A systematic approach enables us to write the junction condition as a Riccati equation which under particular conditions may be transformed into a separable equation. New classes of solutions are generated which allow for mixed spatial and temporal dependence in the metric functions. We regain particular models found previously from our general classes of solutions.
description: 10 pages, To appear in J. Math. Phys
Formal specification, verification and analysis of long-running transactions
Creators: name: Kauer, Anne Kersten
Publisher: name: IMT Alti Studi Lucca
Year: 2013
Subjects: QA75 Electronic computers. Computer science

description: Compensation-based long-running transactions (LRTs) are the main error recovery mechanism in business process modelling
languages. Correctly implementing LRTs is difficult, especially in a concurrent setting. To ease this task we are developing a full-fledged formal approach to
the description, design, analysis and verification of long-running transactions. The existing calculi Sagas and compensating CSP rely on different compensation
policies regarding concurrent processes. Unfortunately they either require synchronization before compensating or they include unrealistic traces.
We therefore propose a new policy that improves existing ones using realistic distributed compensations. In this thesis we formalize the behaviour of the
new policy using three semantics: i) a denotational semantics to compare it with previous policies, ii) an operational semantic based on an encoding into
Petri nets as a foundation for richer semantic domains that record causal dependencies between events, iii) an easily extendable small-step SOS semantics,
that facilitates model checking. We prove the correspondence between the different semantics showing their observational equivalence. Moreover we develop a
tool for each of the semantics in Maude to improve and validate our theory. Finally, we introduce a logical framework to model and analyse LRTs based on
dynamic logic. We use it to derive sufficient conditions under which a compensable program is guaranteed to restore a correct state after a fault
COMPUTATIONAL MECHANOBIOLOGY MODELEVALUATING HEALING OF POSTOPERATIVE CAVITIESFOLLOWING BREAST-CONSERVING SURGERY
Creators: name: Harbin, Zachary Joseph
Publisher: name: Purdue University Graduate School
Year: 2023
Subjects: Mechanobiology

description: Breast cancer is the most commonly diagnosed cancer type worldwide. Given high survivorship, increased focus has been placed on long-term treatment outcomes and patient quality of life. While breast-conserving surgery (BCS) is the preferred treatment strategy for early-stage breast cancer, anticipated healing and breast deformation (cosmetic) outcomes weigh heavily on surgeon and patient selection between BCS and more aggressive mastectomy procedures. Unfortunately, surgical outcomes following BCS are difficult to predict, owing to the complexity of the tissue repair process and significant patient-to-patient variability. To overcome this challenge, we developed a predictive computational mechanobiological model that simulates breast healing and deformation following BCS. The coupled biochemical-biomechanical model incorporates multi-scale cell and tissue mechanics, including collagen deposition and remodeling, collagen-dependent cell migration and contractility, and tissue plastic deformation. Available human clinical data evaluating cavity contraction and histopathological data from an experimental porcine lumpectomy study were used for model calibration. The computational model was successfully fit to data by optimizing biochemical and mechanobiological parameters through the Gaussian Process. The calibrated model was then applied to define key mechanobiological parameters and relationships influencing healing and breast deformation outcomes. Variability in patient characteristics including cavity-to-breast volume percentage and breast composition were further evaluated to determine effects on cavity contraction and breast cosmetic outcomes, with simulation outcomes aligning well with previously reported human studies. The proposed model has the potential to assist surgeons and their patients in developing and discussing individualized treatment plans that lead to more satisfying post-surgical outcomes and improved quality of life.
Properties of Magnetized Quark-Hybrid Stars
Creators: name: Orsaria, M.
name: Ranea-Sandoval, Ignacio F.
name: Vucetich, H.
name: Weber, F.
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The structure of a magnetized quark-hybrid stars (QHS) is modeled using a standard relativistic mean-field equation of state (EoS) for the description of hadronic matter. For quark matter we consider a bag model EoS which is modified perturbatively to account for the presence of a uniform magnetic field. The mass-radius (M-R) relationship, gravitational redshift and rotational Kepler periods of such stars are compared with those of standard neutron stars (NS).
description: 5 pages, 2 figures, prepared for the 2nd International Symposium on Strong Electromagnetic Fields and Neutron Stars (SMFNS2011), Varadero, Cuba, 5-7 May 2011
Balanced binary trees in the Tamari lattice
Creators: name: Giraudo, Samuele
Publisher: name: arXiv
Year: 2010
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: We show that the set of balanced binary trees is closed by interval in the Tamari lattice. We establish that the intervals [T0, T1] where T0 and T1 are balanced trees are isomorphic as posets to a hypercube. We introduce tree patterns and synchronous grammars to get a functional equation of the generating series enumerating balanced tree intervals.
Supplemental Tables 1-11 combined 2022.01.22.pdf
Creators: name: Kalkwarf, Heidi
name: Shepherd, John
name: Fan, Bo
name: Sahay, Rashmi
name: Ittenbach, Richard
name: Kelly, Andrea
name: Yolton, Kimberly
name: Zemel, Babette
Publisher: name: figshare
Year: 2022
Subjects: subject: 111403 Paediatrics
subject: FOS: Clinical medicine
subject: 110314 Orthopaedics
subject: 110306 Endocrinology
subject: 111103 Nutritional Physiology
subject: FOS: Health sciences
subject: 111706 Epidemiology

description: Supplemental Material for: Reference ranges for bone mineral content and density by dual energy x-ray absorptiometry for young children Supplemental Table 1. Characteristics of the Bone Mineral Density in Childhood Study (BMDCS) subgroup used in reference curve development. Supplemental Table 2. Numbers of DXA scan regions with valid data by age. Supplemental Table 3. Age, sex and ancestry effects on bone mineral content (BMC) and density (aBMD). Supplemental Table 4. Lumbar spine BMC reference ranges by age, sex and ancestry: LMS values and ± 1 and 2 standard deviations. Supplemental Table 5. Lumbar spine aBMD reference ranges by age, sex and ancestry: LMS values and ± 1 and 2 standard deviations. Supplemental Table 6. Distal 1/3 Radius BMC reference ranges by age, sex and ancestry: LMS values and ± 1 and 2 standard deviations. Supplemental Table 7. Distal 1/3 radius aBMD reference ranges by age, sex and ancestry: LMS values and ± 1 and 2 standard deviations. Supplemental Table 8. Ultra-distal radius BMC reference ranges by age, sex and ancestry: LMS values and ± 1 and 2 standard deviations. Supplemental Table 9. Ultra-distal radius aBMD reference ranges by age, sex and ancestry: LMS values and ± 1 and 2 standard deviations. Supplemental Table 10. Whole body subtotal (excluding head) BMC reference ranges by age, sex and ancestry: LMS values and ± 1 and 2 standard deviations. Supplemental Table 11. Whole body subtotal (excluding head) aBMD reference ranges by age, sex and ancestry: LMS values and ± 1 and 2 standard deviations. 
Additional file 1 of Robust barcoding and identification of Mycobacterium tuberculosis lineages for epidemiological and clinical studies
Creators: name: Napier, Gary
name: Campino, Susana
name: Yared Merid
name: Abebe, Markos
name: Yimtubezinash Woldeamanuel
name: Aseffa, Abraham
name: Hibberd, Martin L.
name: Phelan, Jody
name: Clark, Taane G.
Publisher: name: figshare
Year: 2020
Subjects: subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1: Table S1. The study samples (N=35,298) used and their lineages. Table S2. Robust barcoding SNPs (421 SNPs, including the 90 SNPs in Table S3). Table S3. The ninety minimal barcoding SNPs. Figure S1. Population structure of the Mycobacterium tuberculosis complex isolates by lineage. Figure S2. Examples of discrepancies using the 62-SNP barcode. Figure S3. The genome-wide distribution of barcoding SNPs (FST=1) for each lineage. Figure S4. Functional differences between genes containing lineage-barcoding (FST=1) SNPs. Figure S5. Differentiation of sub-lineages when comparing the 62- versus 90-SNP barcodes. Figure S6. The increased resolution of our 90-SNP barcode (implemented in TB-Profiler software) over the comparable (sub-)lineages of the SNP-IT tool.
Public expenditures on family-specific benefits, governance and child health outcomes
Creators: name: Ozdamar, Oznur
Publisher: name: IMT Alti Studi Lucca
Year: 2013
Subjects: HB Economic Theory

description: Lower child mortality may imply a higher rate of return to education, namely investments in human capital which is the prime engine for the
economic growth. As Noble-laureate Amartya Sen convincingly argues that child mortality is an important indicator of economic success since being alive is already
a necessary condition for our capabilities and it is helpful in the formulation of the public policy decisions. In other words, it is a good measure to understand
how governments are successful and effective in public resource allocation(Sen98). Public spending on family-specific benefits are one of the public social welfare
programmes which are implemented with distributional concerns. They are mainly designed to support families for childbearing and childrearing activities (e.g childcare, schooling).
The two most important public spending categories amongst family-specific policies are family allowances and the parental leave benefits. Family allowances and the parental
leave benefits are mainly designed for the children’s well-being and the quality of life. This dissertation touches on the links between family-specific policies,
the governance of public resource allocation and the child health outcomes across OECD countries.The dissertation is composed of three main chapters.
Rewriting and Well-Definedness within a Proof System
Creators: name: Maamria, Issam
name: Butler, Michael
Publisher: name: arXiv
Year: 2010
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised proof tactics for rewriting. This results in an interleaving between deduction and computation (i.e., rewriting) steps. If the logic of reasoning supports partial functions, it is necessary that rewriting copes with potentially ill-defined terms. In this paper, we provide a basis for integrating rewriting with a deductive proof system that deals with well-definedness. The definitions and theorems presented in this paper are the theoretical foundations for an extensible rewriting-based prover that has been implemented for the set theoretical formalism Event-B.
description: In Proceedings PAR 2010, arXiv:1012.4555
Additional file 1 of Situational judgment test validity: an exploratory model of the participant response process using cognitive and think-aloud interviews
Creators: name: Wolcott, Michael D.
name: Lobczowski, Nikki G.
name: Zeeman, Jacqueline M.
name: McLaughlin, Jacqueline E.
Publisher: name: figshare
Year: 2020
Subjects: subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 1.
Weight-conserving characterization of complex functional brain networks
Creators: name: Rubinov, Mikail
name: Sporns, Olaf
Publisher: name: arXiv
Year: 2011
Subjects: subject: Neurons and Cognition (q-bio.NC)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Data Analysis, Statistics and Probability (physics.data-an)
subject: FOS: Biological sciences
subject: FOS: Physical sciences

description: Complex functional brain networks are large networks of brain regions and functional brain connections. Statistical characterizations of these networks aim to quantify global and local properties of brain activity with a small number of network measures. Important functional network measures include measures of modularity (measures of the goodness with which a network is optimally partitioned into functional subgroups) and measures of centrality (measures of the functional influence of individual brain regions). Characterizations of functional networks are increasing in popularity, but are associated with several important methodological problems. These problems include the inability to characterize densely connected and weighted functional networks, the neglect of degenerate topologically distinct high-modularity partitions of these networks, and the absence of a network null model for testing hypotheses of association between observed nontrivial network properties and simple weighted connectivity properties. In this study we describe a set of methods to overcome these problems. Specifically, we generalize measures of modularity and centrality to fully connected and weighted complex networks, describe the detection of degenerate high-modularity partitions of these networks, and introduce a weighted-connectivity null model of these networks. We illustrate our methods by demonstrating degenerate high-modularity partitions and strong correlations between two complementary measures of centrality in resting-state functional magnetic resonance imaging (MRI) networks from the 1000 Functional Connectomes Project, an open-access repository of resting-state functional MRI datasets. Our methods may allow more sound and reliable characterizations and comparisons of functional brain networks across conditions and subjects.
description: NeuroImage, in press
Gravitating fluids with Lie symmetries
Creators: name: Msomi, A. M.
name: Govinder, K. S.
name: Maharaj, S. D.
Publisher: name: arXiv
Year: 2010
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We analyse the underlying nonlinear partial differential equation which arises in the study of gravitating flat fluid plates of embedding class one. Our interest in this equation lies in discussing new solutions that can be found by means of Lie point symmetries. The method utilised reduces the partial differential equation to an ordinary differential equation according to the Lie symmetry admitted. We show that a class of solutions found previously can be characterised by a particular Lie generator. Several new families of solutions are found explicitly. In particular we find the relevant ordinary differential equation for all one-dimensional optimal subgroups; in several cases the ordinary differential equation can be solved in general. We are in a position to characterise particular solutions with a linear barotropic equation of state.
description: 13 pages, To appear in J. Phys. A: Math. Theor