cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Kitesurf e responsabilit� civile
Creators: name: Ruggiero, Maria
Publisher: name: Universit� degli studi di Trento. Facolt� di giurisprudenza
Year: 2018

description: This work was originally conceived as a Student?s Note to a civil case assigned in order to be commented by the author during the course of Civil Law held by prof. Umberto Izzo in the academic year 2017/18 at the Faculty of Law of the University of Trento. It later became a more structured investigation into the regulations and civil liability aspects connected to the practice of kiteboarding, a field largely unexplored in the civil liability scholarship. The primary aim of this paper is to investigate the legal issues related to the world of sports activities, particularly regarding kitesurf, in order to provide a framework of the subject. This research also outlines the composition of Italian sports system, which is basically self-governing. The first chapter focuses on some distinctive aspects of this sport, from its rules to the techniques employed, the different sport disciplines included in kiteboarding, the essential equipment required to practice. The second chapter focuses on the legislative regulation of this phenomenon and outlines the complexity of the topic caused by the multitude of laws, adopted by the State or Regions regulating kitesurfing. However, we must point out the fact that no comprehensive legal text governing these activities uniquely has yet been adopted in Italy. The third chapter also highlights some of the most significant figures in the Italian sports organization, from the coaches to the National Federations, together with the many associations based in Italy, which are all coordinated by the Italian National Olympic Committee (C.O.N.I.), the institution in charge of the unity of the sports system and of enforcing fundamental principles of democracy and equal opportunity among sport pratictioners. The final chapter focuses on the civil liability of coaches and sports associations for the damages sustained by pupils. On the one hand, coaches, who are highly qualified, efficient and trained, are under an obligation to ensure the safety of their students during the lessons, thus they must choose the correct equipment, the spots where to practice, the favourable weather conditions, according to their pupils? skills. On the other, associations organizing sports courses shall be jointly and severally liable, together with the coach, on the basis of the respondeat superior doctrine.
The Nonexistence of Certain Representations of the Absolute Galois Group of Quadratic Fields
Creators: name: Sengun, Mehmet Haluk
Publisher: name: arXiv
Year: 2013
Subjects: subject: Number Theory (math.NT)
subject: FOS: Mathematics

description: For a quadratic field K, we investigate continuous mod p representations of the absolute Galois groups of K that are unramified away from p and infinity. We prove that for certain pairs (K,p), there are no such irreducible representations. We also list some imaginary quadratic fields for which such irreducible representations exist. As an application, we look at elliptic curves with good reduction away from 2 over quadratic fields.
Piggyback resistive Micromegas
Creators: name: Attié, D.
name: Chaus, A.
name: Durand, D.
name: Ferrer-Ribas, D. Deforges E.
name: Galán, J.
name: Giomataris, Y.
name: Gongadze, A.
name: Iguaz, F. J.
name: Jeanneau, F.
name: de Oliveira, R.
name: Papaevangelou, T.
name: Peyaud, A.
name: Teixeira, A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Physical sciences

description: Piggyback Micromegas consists in a novel readout architecture where the anode element is made of a resistive layer on a ceramic substrate. The resistive layer is deposited on the thin ceramic substrate by an industrial process which provides large dynamic range of resistivity (10$^6$ to 10$^{10}$\,M$Ω$/square). The particularity of this new structure is that the active part is entirely dissociated from the read-out element. This gives a large flexibility on the design of the anode structure and the readout scheme. Without significant loss, signals are transmitted by capacitive coupling to the read-out pads. The detector provides high gas gain, good energy resolution and the resistive layer assures spark protection for the electronics. This assembly could be combined with modern pixel array electronic ASICs. First tests with different Piggyback detectors and configurations will be presented. This structure is adequate for cost effective fabrication and low outgassing detectors. It was designed to perform in sealed mode and its long term stability has been extensively studied. In addition perspectives on the future developments will be evoked.
description: 7 pages, prepared for the MPGD 2013 conference
Policy Instruments in Service of Performance Funding: A Study of Performance Funding in Three States
Creators: name: Reddy, Vikash T.
name: Lahr, Hana Elizabeth
name: Dougherty, Kevin J.
name: Jones, Sosanya M.
name: Natow, Rebecca Spiro
name: Pheatt, Lara Elaine
Publisher: name: Columbia University
Year: 2014
Subjects: Communication
Academic achievement
Program budgeting
Education, Higher
Community college students--Education
Community colleges
Education--Finance

description: This study examines the primary policy instruments through which state performance funding systems influence higher education institutions in Indiana, Ohio, and Tennessee. The authors interviewed personnel at nine community colleges and nine universities about the use of four policy instruments: (1) financial incentives, (2) communication of program goals and methods, (3) communication about institutional performance, and (4) enhancement of colleges’ capacities to improve student outcomes. The authors examine the immediate impacts of these instruments on college budgets, campus awareness of performance funding goals and institutional performance, and institutional capacity, as well as their impacts on efforts to improve student outcomes. In all three states, policymakers relied mainly on financial incentives to induce change at community college and university campuses. State officials also made efforts to communicate with campus leaders and staff about performance funding and institutional performance, though these efforts varied in their intensity and their level of campus penetration. The authors find very limited evidence of state efforts to build campus-level capacity for organizational learning and change. Besides documenting main trends, the authors also analyze how interviewee responses varied by state, by type of institution (community college or university), by institutional capacity to respond to the demands of performance funding, and by position the interviewee held in the institution.
Incrocio tra Contratti e Propriet� Intellettuale nella Innovazione scientifica e tecnologica: il Modello del Consortium Agreement europeo
Creators: name: Maggiolo, Anna
Publisher: name: Universit� di Trento. Dipartimento di scienze giuridiche
Year: 2016

description: This thesis aims to analyse a specific contract model from a structural and functional point of view: the European Consortium Agreement, which is assuming great relevance in the EU legal landscape. The CA allows, indeed, beneficiaries of funding provided by the European Commission to establish a legal framework in order to ensure a proper and efficient management of the subsidized EU research projects. When national laws are unlikely to discipline new phenomena, agreements become an ideal tool for regulating relations among the partners of an indirect action and for managing Intellectual Property Rights. The opening of this paper deals with the role of science and scientific research into the European political and economic context. Chapter One starts with a brief analysis of the importance that innovation holds in the field of economic growth, providing also for an examination of the European policies designed to support the scientific and technological development. The paper focuses on European Framework Programmes and, in particular, on its eighth edition, which is currently in force: the EU Framework Programme for Research and Innovation (Horizon 2020). Chapter Two is ideally divided into two sections. The first one is devoted to the technology transfer (TT) phenomenon, conceptually born in the United States and subsequently spread outside US borders. It represents an useful legal instrument to make university cooperate with industries, and vice versa. Furthermore, an additional point of view is presented, which intends TT as a complementary funding tool to increase research public funding; this could represent a concrete opportunity for universities to obtain more resources. Anyway, besides traditional tasks entrusted to universities such as education and research, a "third mission" is added: the commercialization of knowledge processed within the academic institutions. Section two of the chapter is instead referred to the relationship between contracts (specifically, assignment and licensing) and Intellectual Property (with particularly regard to copyright and patent law). Finally, Chapter Three focuses on two contractual models: the Grant Agreement (GA) and the above-mentioned Consortium Agreement (CA). It will be addressed, in particular, the utter connection and the subordination relationship that involve them. Object of the analysis will be the provisions relating to background knowledge used within the project (indirect action) and the arising results. Since there is not a CA template directly proposed by the European Commission, part of the paper consists in the presentation and comparison of two contractual models: DESCA 2020 and MCARD 2020. Reflecting on their structural or merely terminilogical differences, the final part of this work will highlight how they represent the symptoms of the very different ideological approaches that guide the contract models.
Society in Simulation: Conflict and Negotiation of Conflict
Creators: name: Nguyen, Linh Chi
Publisher: name: Universit� degli studi di Trento
Year: 2019

description: I simulate a population of agents playing the repeated Nash Demand game. The agents adopt strategies from the infinite strategy space and the population evolves over cycles in a survival of the fittest fashion. Certain strategies become stable during the simulation, causing different levels of average payoff.
Strong Normalization for HA + EM1 by Non-Deterministic Choice
Creators: name: Aschieri, Federico
Publisher: name: arXiv
Year: 2013
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: We study the strong normalization of a new Curry-Howard correspondence for HA + EM1, constructive Heyting Arithmetic with the excluded middle on Sigma01-formulas. The proof-term language of HA + EM1 consists in the lambda calculus plus an operator ||_a which represents, from the viewpoint of programming, an exception operator with a delimited scope, and from the viewpoint of logic, a restricted version of the excluded middle. We give a strong normalization proof for the system based on a technique of "non-deterministic immersion".
description: In Proceedings COS 2013, arXiv:1309.0924
A Genetic Algorithm based Approach for Test Data Generation in Basis Path Testing
Creators: name: Suresh, Yeresime
name: Rath, Santanu Ku.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Software Testing is a process to identify the quality and reliability of software, which can be achieved through the help of proper test data. However, doing this manually is a difficult task due to the presence of number of predicate nodes in the module. So, this leads towards a problem of NP-complete. Therefore some intelligence-based search algorithms have to be used to generate test data. In this paper, we use a soft computing based approach, genetic algorithm to generate test data based on the set of basis paths. This paper combines the characteristics of genetic algorithm with test data, making use of the merits of respective global and local optimization capability to improve the generation capacity of test data. This automated process of generating test data optimally helps in reducing the test effort and time of a tester. Finally, the proposed approach is applied for ATM withdrawal task. Experimental results show that genetic algorithm was able to generate suitable test data based on a fitness value and avoid redundant data by optimization.
description: 7 pages, 5 figures
Predicting Online Student Outcomes From a Measure of Course Quality
Creators: name: Jaggars, Shanna
name: Xu, Di
Publisher: name: Columbia University
Year: 2013
Subjects: Community college students--Education
Community colleges

description: Given the rapid growth in online coursework within higher education, it is important to establish and validate quality standards for these courses. While many online learning quality rubrics do exist, thus far there has been little empirical evidence establishing a clear link between specific aspects of course quality and concrete, student-level course outcomes. In the current study, the authors develop an online course quality rubric that comprises four areas, and they explore the relationship between each quality area and student end-of-semester performance in 23 online courses at two community colleges. The results indicate that the quality of interpersonal interaction within a course relates positively and significantly to student grades. Additional analyses based on course observation and interview data suggest that frequent and effective student–instructor interaction creates an online environment that encourages students to commit themselves to the course and perform stronger academically.
Correlation of Spectral Solar Irradiance with solar activity as measured by VIRGO
Creators: name: Wehrli, C.
name: Schmutz, W.
name: Shapiro, A. I.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Context. The variability of Solar Spectral Irradiance over the rotational period and its trend over the solar activity cycle are important for understanding the Sun-Earth connection as well as for observational constraints for solar models. Recently the SIM experiment on SORCE has published an unexpected negative correlation with Total Solar Irradiance of the visible spectral range. It is compensated by a strong and positive variability of the near UV range. Aims. We aim to verify whether the anti-correlated SIM/SORCE-trend in the visible can be confirmed by independent observations of the VIRGO experiment on SOHO. The challenge of all space experiments measuring solar irradiance are sensitivity changes of their sensors due to exposure to intense UV radiation, which are difficult to assess in orbit. Methods. We analyze a 10-year time series of VIRGO sun photometer data between 2002 and 2012. The variability of Spectral Solar Irradiance is correlated with the variability of the Total Solar Irradiance, which is taken as a proxy for solar activity. Results. Observational evidence indicates that after six years only one single long-term process governs the degradation of the backup sun photometer in VIRGO which is operated once in a month. This degradation can be well approximated by a linear function over ten years. The analysis of the residuals from the linear trend yield robust positive correlations of spectral irradiance at 862, 500 and 402 nm with total irradiance. In the analysis of annual averages of these data the positive correlations change into weak negative correlations, but of little statistical significance, for the 862 nm and 402 nm data. At 500 nm the annual spectral data are still positively correlated with Total Solar Irradiance. The persisting positive correlation at 500 nm is in contradiction to the SIM/SORCE results.
description: 5 pages, 6 figures, A&A Letters, in press
Obstacles to the Effective Implementation of Performance Funding: A Multistate Cross-Case Analysis
Creators: name: Pheatt, Lara Elaine
name: Lahr, Hana Elizabeth
name: Dougherty, Kevin J.
name: Jones, Sosanya M.
name: Natow, Rebecca Spiro
name: Reddy, Vikash T.
Publisher: name: Columbia University
Year: 2014
Subjects: Universities and colleges--Administration
Universities and colleges--Administration--Evaluation
Program budgeting
Education, Higher
Educational evaluation

description: This paper examines the major obstacles that hinder higher education institutions from responding effectively to the demands of performance funding 2.0 programs, in which performance funding is embedded in base state allocations to institutions rather than taking the form of a bonus. The authors interviewed administrators and faculty at nine community colleges and nine universities in three states with notable examples of performance funding 2.0 programs: Indiana, Ohio, and Tennessee. Across the three states, public colleges and universities experienced the performance funding programs in different ways, but respondents predominantly indicated that student body composition, inappropriate performance funding measures, and insufficient institutional capacity most often made it difficult for their institutions to respond to performance funding. Besides documenting main trends, the authors also analyze how interviewee responses varied by state, by type of institution (community college or university), by institutional capacity to respond to the demands of performance funding, and by position the interviewee held in the institution. The authors draw on policy implementation theory and principal-agent theory to explain why the local response to performance funding programs may deviate from the directions intended by policy framers, and they offer policy suggestions aimed at reducing the obstacles to performance funding implementation.
Observation of zero-point quantum fluctuations of a single-molecule magnet through the relaxation of its nuclear spin bath
Creators: name: Morello, A.
name: Millán, A.
name: de Jongh, L. J.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: A single-molecule magnet placed in a magnetic field perpendicular to its anisotropy axis can be truncated to an effective two-level system, with easily tunable energy splitting. The quantum coherence of the molecular spin is largely determined by the dynamics of the surrounding nuclear spin bath. Here we report the measurement of the nuclear spin--lattice relaxation in a single crystal of the single-molecule magnet Mn$_{12}$-ac, at $T \approx 30$ mK in perpendicular fields $B_{\perp}$ up to 9 T. Although the molecular spin is in its ground state, we observe an increase of the nuclear relaxation rates by several orders of magnitude up to the highest $B_{\perp}$. This unique finding is a consequence of the zero-point quantum fluctuations of the Mn$_{12}$-ac spin, which allow it to efficiently transfer energy from the excited nuclear spin bath to the lattice. Our experiment highlights the importance of quantum fluctuations in the interaction between an `effective two-level system' and its surrounding spin bath.
description: 5 pages, 4 figures
Aqaballianassa brevirostris
Creators: name: Dworschak, Peter C.
name: Anker, Arthur
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Malacostraca
Decapoda
Callianassidae
Aqaballianassa
Aqaballianassa brevirostris

description: Aqaballianassa brevirostris (Sakai, 2002) (Fig. 1c) Callianassa brevirostris Sakai, 2002: 514, figs. 30A–E, 31A–I. Trypaea brevirostris. — Sakai, 2011a: 394. Aquaballianassa brevirostris. — Poore et al., 2019: table 1; — Robles et al., 2020: suppl. tables 1, 2. CMBS material. 1 ov. female (28/5.6) (ZRC 2017.0948) [DNA voucher GenBank MN 237904, MN 237706, MN 238111], sta. SW117, St John’s Island, DRTech, north lagoon, 1°13.116′N 103°51.079′E, silt/sand, in burrows, yabby pump, 0–0.5 m, coll. PKL Ng, JC Mendoza, R Tan, 31 May 2013 (SS-3267). Description. See Sakai (2002). Distribution. Andaman Sea (Sakai, 2002), Singapore (this study). Habitat. Sand or mud with shell fragments at depths of 17 to 73 m (Sakai, 2002); sand/silt in the intertidal or very shallow water, 0–0.5 m (this study). Remarks. The present ovigerous female from St John’s Island represents a new record of Aqaballianassa brevirostris for Singapore.
description: Published as part of Dworschak, Peter C. & Anker, Arthur, 2022, Axiidea (Crustacea: Callianassidae, Callichiridae and Ctenochelidae) and Gebiidea (Upogebiidae) collected during the Comprehensive Marine Biodiversity Survey of Singapore, pp. 108-133 in Raffles Bulletin of Zoology 70 on page 114, DOI: 10.26107/RBZ-2022-0008, http://zenodo.org/record/7175098
description: {"references": ["Sakai K (2002) Callianassidae (Decapoda, Thalassinidea) in the Andaman Sea, Thailand. In: Bruce NL, Berggren M & Bussawarit S (eds.) Biodiversity of Crustacea of the Andaman Sea. Proceedings of the International Workshop on the Crustacea in the Andaman Sea. Phuket Marine Biology Center, Phuket. Phuket Marine Biological Center Special Publication, 23, pp. 461 - 532.", "Sakai K (2011 a) Axioidea of the world and a reconsideration of the Callianassoidea (Decapoda, Thalassinidea, Callianassida). Crustaceana Monographs, 13: 1 - 616.", "Poore GCB, Dworschak PC, Robles R, Mantelatto F & Felder DL (2019) A new classification of Callianassidae and related families (Crustacea: Decapoda: Axiidea) derived from a molecular phylogeny with morphological support. Memoirs of Museum Victoria, 78: 73 - 146.", "Robles R, Dworschak PC, Felder DL, Poore GCB & Mantelatto FL (2020) A molecular phylogeny of Callianassidae and related families (Crustacea: Decapoda: Axiidea) with morphological support. Invertebrate Systematics, 78: 73 - 146."]}
Towards a dynamical mass of the ultraluminous X-ray source NGC 5408 X-1
Creators: name: Cseh, D.
name: Grise, F.
name: Kaaret, P.
name: Corbel, S.
name: Scaringi, S.
name: Groot, P.
name: Falcke, H.
name: Koerding, E.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We obtained multi-epoch Very Large Telescope (VLT) optical spectroscopic data in 2011 and 2012 on the ultraluminous X-ray source (ULX) NGC 5408 X-1. We confirm that the HeII\lambda4686 line has a broad component with an average FWHM of v=780\pm64 km/s with a variation of ~13% during observations spanning over 4 years, and is consistent with the origin in the accretion disc. The deepest optical spectrum does not reveal any absorption line from a donor star. Our aim was to measure the radial velocity curve and estimate the parameters of the binary system. We find an upper limit on the semi-amplitude of the radial velocity of K=132\pm42 km/s. A search for a periodic signal in the data resulted in no statistically significant period. The mass function and constraints on the binary system imply a black hole mass of less than ~510 M_sun. Whilst, a disc irradiation model may imply a black hole mass smaller than ~431-1985 M_sun, depending on inclination. Our data can also be consistent with an unexplored orbital period range from a couple of hours to a few days, thus with a stellar-mass black hole and a subgiant companion.
description: 8 pages, 7 figures, accepted for publication in MNRAS
Mutual estimates for the dyadic Reverse Hölder and Muckenhoupt constants for the dyadically doubling weights
Creators: name: Beznosova, Oleksandra
name: Ode, Temitope
Publisher: name: arXiv
Year: 2014
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: FOS: Mathematics

description: Muckenhoupt and Reverse Hölder classes of weights play an important role in harmonic analysis, PDE's and quasiconformal mappings. In 1974 Coifman and Fefferman showed that a weight belongs to a Muckenhoupt class $A_p$ for some $1
description: 6 pages
Influence of asperities on fluid and thermal flow in a fracture: a coupled Lattice Boltzmann study
Creators: name: Neuville, Amélie
name: Flekkøy, Eirik Grude
name: Toussaint, Renaud
Publisher: name: arXiv
Year: 2013
Subjects: subject: Geophysics (physics.geo-ph)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: The characteristics of the hydro-thermal flow which occurs when a cold fluid is injected into a hot fractured bedrock depend on the morphology of the fracture. We consider a sharp triangular asperity, invariant in one direction, perturbing an otherwise flat fracture. We investigate its influence on the macroscopic hydraulic transmissivity and heat transfer efficiency, at fixed low Reynolds number. In this study, numerical simulations are done with a coupled lattice Boltzmann method that solves both the complete Navier-Stokes and advection-diffusion equations in three dimensions. The results are compared with those obtained under lubrication approximations which rely on many hypotheses and neglect the three-dimensional (3D) effects. The lubrication results are obtained by analytically solving the Stokes equation and a two-dimensional (integrated over the thickness) advection-diffusion equation. We use a lattice Boltzmann method with a double distribution (for mass and energy transport) on hypercubic and cubic lattices. Beyond some critical slope for the boundaries, the velocity profile is observed to be far from a quadratic profile in the vicinity of the sharp asperity: the fluid within the triangular asperity is quasi-static. We find that taking account of both the 3D effects and the cooling of the rock, are important for the thermal exchange. Neglecting these effects with lubrication approximations results in overestimating the heat exchange efficiency. The evolution of the temperature over time, towards steady state, also shows complex behavior: some sites alternately reheat and cool down several times, making it difficult to forecast the extracted heat.
description: In Journal of Geophysical Research B (2013) online first
title: Animation of seismic ray propagation and seismogram formation
Creators: name: Wendt, Siegfried
name: Starke, Ute
name: Bormann, Peter
Publisher: name: Deutsches GeoForschungsZentrum GFZ
Year: 2012
Subjects: Seismology

description: New Manual of Seismological Observatory Practice 2 (NMSOP2)
Il ne bis in idem sostanziale nella convergenza di fattispecie incriminatrici
Creators: name: Pezzi, Enrico
Publisher: name: Universit� degli studi di Trento
Year: 2020

description: Quanti (e quali) sono i criteri risolutivi in tema di concorso apparente di norme? Questa � la domanda che pi� comunemente ci si pone nell?approcciare l?ostico terreno della convergenza di fattispecie. Il lavoro che si presenta muove invece da una differente, seppur intimamente connessa, prospettiva: quali sono, a monte, i principi regolatori del concorso apparente di norme e del concorso formale di reati? Solo in un secondo momento, dalla ricognizione di questi, si potr� procedere a fornire una risposta alla prima questione. Pertanto, si � posta attenzione al divieto sostanziale di bis in idem, nonch� ai possibili riferimenti normativi, costituzionali e sovranazionali, idonei a legittimarne l?esistenza nell?ordinamento giuridico italiano. Il metodo d?indagine prescelto si sviluppa pertanto su due diverse direttive: da un lato, la comparazione con l?ordinamento tedesco, che presenta premesse dogmatiche ampiamente sovrapponibili a quelle poste dalla scienza penalistica italiana, seppur rimanendo caratterizzato da talune peculiarit� che rendono estremamente proficua un?indagine sul tema (su tutte, la presenza di un generale divieto di doppia punizione, Doppelbestrafungsverbot, nella Carta costituzionale tedesca, in relazione al quale manca uno speculare referente in quella italiana). Dall?altro, una ricognizione della pi� recente giurisprudenza convenzionale ed eurounitaria in tema di ne bis in idem processuale, nonch� dei rapporti fra questo ed il principio di proporzionalit� fra fatto e sanzione. Su entrambi i versanti la tradizionale collocazione della preclusione sul piano processuale cede oggi parzialmente il passo a considerazioni di stampo valoriale, che portano ad interrogarsi sulla necessit� di elaborare un autonomo divieto di ne bis in idem agente sul terreno del diritto penale sostanziale. Preclusione, questa, della quale si rende infine necessario analizzare i risvolti applicativi, tanto sul terreno del concorso apparente di norme, quanto su quello del concorso formale di reati. � in quest?ultimo senso, cio� in relazione ai rapporti fra i principi costituzionali ed i fenomeni di convergenza di fattispecie, che ci si muove nella presente indagine.
Interpreting a Classical Geometric Proof with Interactive Realizability
Creators: name: Birolo, Giovanni
Publisher: name: arXiv
Year: 2013
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Computational Geometry (cs.CG)
subject: FOS: Computer and information sciences
subject: F.4.1

description: We show how to extract a monotonic learning algorithm from a classical proof of a geometric statement by interpreting the proof by means of interactive realizability, a realizability sematics for classical logic. The statement is about the existence of a convex angle including a finite collections of points in the real plane and it is related to the existence of a convex hull. We define real numbers as Cauchy sequences of rational numbers, therefore equality and ordering are not decidable. While the proof looks superficially constructive, it employs classical reasoning to handle undecidable comparisons between real numbers, making the underlying algorithm non-effective. The interactive realizability interpretation transforms the non-effective linear algorithm described by the proof into an effective one that uses backtracking to learn from its mistakes. The effective algorithm exhibits a "smart" behavior, performing comparisons only up to the precision required to prove the final statement. This behavior is not explicitly planned but arises from the interactive interpretation of comparisons between Cauchy sequences.
description: In Proceedings COS 2013, arXiv:1309.0924
Gli atteggiamenti degli insegnanti della scuola primaria nei confronti della rappresentazione della disabilit� all'interno dei libri di testo
Creators: name: Filosofi, Fabio
Publisher: name: Universit� degli studi di Trento
Year: 2020

description: Il presente studio ha investigato gli atteggiamenti degli insegnanti della scuola primaria nei confronti della rappresentazione all'interno dei libri di testo scolastici. Attraverso l'uso del mix-method la ricerca ha utilizzato le interviste semi-strutturate e il questionario creato a partire dai temi emersi nella fase qualitativa svolta in Italia rilevando atteggiamenti maggiormente positivi nei confronti della disabilit� fisica rispetto alla disabilit� intellettiva e alla realt� dello spettro autistico.Gli insegnanti di sostegno dimostrano di avere atteggiamenti pi� positivi nei confronti della rappresentazione della disabilit� all'interno dei libri di testo scolastici. Gli ulteriori studi, americano e brasiliano, mettono in evidenza la tendenza cross-culturale dei risultati ottenuti nello studio italiano.
Do Middle Managers Matter?
Creators: name: Gabriele, Roberto
name: Feltrinelli, Elena
name: Trento, Sandro
Publisher: name: Universit� degli Studi di Trento. Dipartimento di Economia e Management
Year: 2013

description: Middle Managers (MM) are key figures for firm ability to gain and sustaining competitive advantage (CIT). Their training activity can be seen as an important tool for improving and upgrading managerial practices to sustain firm strategy that is strictly related with its competitive advantage. The present research aims at deepening the analysis undertaken within the literature branch concerned with the effects of training of middle managers on direct measures of firm performance as measured by profitability indices and productivity. In particular, the study focuses on middle management continuing vocational training in the Italian manufacturing sector in the time window 2006-2011. The study is based on a novel database containing balance sheet data together with exhaustive information about the training undertaken by managers working in the sample of companies available ? provided by Fondirigenti. The study extends and deepens the existing literature based on two key aspects: (a) the possibility to disaggregate the training activity along two dimensions: the methodology used and the field in which the training is done; (b) the opportunity to use different more precise measures of training, namely the cost in euros and the time devoted to the activity. We empirically test, using regression models based on GMM estimation, a set of research hypotheses and we find support for the five following hypotheses: (H1) Middle management continuing vocational training has an effect on performance indicators namely ROI, ROE and TFP, Moreover the first two show a TMGT effect; MM training is more effective for: larger firms, older firms (H2 and H3); external resources are important in making MM training effective (H3); different methodologies of training have heterogeneous effects on performance: experiential methods are more effective than relational and front lesson methods (H5). We discuss the results and derive some policy conclusions.
A CLT for winding angles of the arms for critical planar percolation
Creators: name: Yao, Chang-Long
Publisher: name: arXiv
Year: 2013
Subjects: subject: Probability (math.PR)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 60K35, 82B43

description: Consider critical percolation in two dimensions. Under the condition that there are k disjoint alternating black and white arms crossing the annulus A(l,n), we prove a central limit theorem and variance estimates for the winding angles of the arms (as n\rightarrow \infty, l fixed). This result confirms a prediction of Beffara and Nolin (Ann. Probab. 39: 1286--1304, 2011). Using this theorem, we also get a CLT for the multiple-armed incipient infinite cluster (IIC) measures.
description: 20 pages, 3 figures
Intensity and Attachment: How the Chaotic Enrollment Patterns of Community College Students Affect Educational Outcomes
Creators: name: Crosta, Peter Michael
Publisher: name: Columbia University
Year: 2013
Subjects: Community college students--Education
Community colleges

description: This study examines the relationship between community college enrollment patterns and two successful student outcomes—credential completion and transfer to a four-year institution. It also introduces a new way of visualizing the various attendance patterns of community college students. Patterns of enrollment intensity (full-time or part-time status) and continuity (enrolling in consecutive terms or skipping one or more terms) are graphed and then clustered according to their salient features. Using data on cohorts of first-time community college students at five colleges in a single state, the study finds that, over an 18-semester period, ten patterns of attendance account for nearly half the students, with the two most common patterns characterized by enrolling in one semester full-time or one semester part-time. Among the remaining students who persisted, there is astounding variation in their patterns of enrollment. Clustering these patterns reveals two relationships: the first is a positive association between enrollment continuity and earning a community college credential, and the second is a positive association between enrollment intensity and likelihood of transfer.
title: Leisure Constraints Ethnic Factors and Recreation Participation: A Case Study of the Latino Population in Manassas Park, Virginia
Creators: name: Jones, Gregory T.
Publisher: name: Old Dominion University
publisherIdentifier: https://ror.org/04zjtrb98
publisherIdentifierScheme: ROR
Year: 2007

description: The purpose of this research was to study the leisure constraints and ethnic factors that affect recreational use among Latinos in the City of Manassas Park. Respondents were mailed a questionnaire to the City of Manassas Park. The questionnaires were composed of questions pertaining to acculturation, values, discrimination, subcultural identity, perceived recreation benefits, constraints to park use, constraints to desired leisure activities, socio-economic status, program usage, and park usage. Confirmatory factor analyses identified six factors for recreational use: acculturation, discrimination, subcultural identity, derived benefits, park use constraints, and individual activity constraints. A t-test confirmed that there was no difference between male and female use patterns, as well as no difference between younger adults (ages 18-37) and older adults (ages 37 and older), contrary to previous reported findings. Perception of benefits derived from participation was found to be a significant predictor of recreation use. The results of this study were then applied to previous findings, and limitations, recommendations, and suggestions for Manassas Park practitioners are discussed.
Institutional Changes to Organizational Policies, Practices, and Programs Following the Adoption of State-Level Performance Funding Policies
Creators: name: Natow, Rebecca Spiro
name: Pheatt, Lara Elaine
name: Dougherty, Kevin J.
name: Jones, Sosanya M.
name: Lahr, Hana Elizabeth
name: Reddy, Vikash T.
Publisher: name: Columbia University
Year: 2014
Subjects: Academic achievement
Students--Services for
Program budgeting
Education, Higher
Educational evaluation

description: In this paper, the authors describe findings from a large, qualitative case study of the implementation of performance funding for higher education in Indiana, Ohio, and Tennessee. Specifically, they address ways that universities and community colleges of varying levels of institutional capacity have altered their academic and student services policies, practices, and programs to improve student outcomes and to achieve the goals of their states’ higher education performance funding programs. Most of the academic changes identified concerned developmental education, course articulation, and ease of transfer. Most of the student services changes identified were related to advising, tutoring and supplemental instruction, orientation and first-year programs, tuition and financial aid policies, registration and graduation procedures, and departmental organization. Besides documenting main trends, the authors also analyze how interviewee responses varied by state, by type of institution (community college or university), by institutional capacity to respond to the demands of performance funding, and by position the interviewee held in the institution. Although evidence indicates that performance funding did have an impact on institutional behavior, so did other external influences concurrently seeking to improve colleges’ institutional outcomes. Thus, it is difficult to disaggregate the influence of performance funding from that of other initiatives.
Ptychography imaging of the phase vortices in the x-ray beam formed by nanofocusing lenses
Creators: name: Dzhigaev, D.
name: Lorenz, U.
name: Kurta, R.
name: Seiboth, F.
name: Stankevic, T.
name: Mickevicius, S.
name: Singer, A.
name: Shabalin, A.
name: Yefanov, O.
name: Strikhanov, M. N.
name: Falkenberg, G.
name: Schroer, C. G.
name: Feidenhans`l, R.
name: Vartanyants, I. A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We present the ptychography reconstruction of the x-ray beam formed by nanofocusing lenses (NFLs) containing a number of phase singularities (vortices) in the vicinity of the focal plane. As a test object Siemens star pattern was used with the finest features of 50 nm for ptychography measurements. The extended ptychography iterative engine (ePIE) algorithm was applied to retrieve both complex illumination and object functions from the set of diffraction patterns. The reconstruction revealed the focus size of 91.4$\pm$1.1 nm in horizontal and 70$\pm$0.3 nm in vertical direction at full width at half maximum (FWHM). The complex probe function was propagated along the optical axis of the beam revealing the evolution of the phase singularities.
description: 5 pages, 3 figures, Proceedings of ICXOM22 Conference, 2-6 September 2013, Hamburg, Germany
Research Software Engineer Asia Australia Unconference Summary Report
Creators: name: Mosbergen, Rowland
Publisher: name: figshare
Year: 2022
Subjects: subject: Computer Software
subject: FOS: Computer and information sciences
subject: 80306 Open Software
subject: 80399 Computer Software not elsewhere classified
subject: 80301 Bioinformatics Software
subject: 80309 Software Engineering
subject: 80204 Mathematical Software

description: The first online Research Software Engineer (RSE) Asia Australia Unconference was from the 14th to the 16th of September 2022. This was a joint partnership between the newly formed RSE Asia Association and the RSE Association of Australia and New Zealand.
 This is report is a summary of the proceedings.
Hereditary Substitution for the λΔ-Calculus
Creators: name: Eades, Harley
name: Stump, Aaron
Publisher: name: arXiv
Year: 2013
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: D.3.1, D.3.3, F.3.1, F.3.3, F.4.1

description: Hereditary substitution is a form of type-bounded iterated substitution, first made explicit by Watkins et al. and Adams in order to show normalization of proof terms for various constructive logics. This paper is the first to apply hereditary substitution to show normalization of a type theory corresponding to a non-constructive logic, namely the lambda-Delta calculus as formulated by Rehof. We show that there is a non-trivial extension of the hereditary substitution function of the simply-typed lambda calculus to one for the lambda-Delta calculus. Then hereditary substitution is used to prove normalization.
description: In Proceedings COS 2013, arXiv:1309.0924
Un legado de Fe y comunidad: La solicitud histórica para la cosntrucción de una capilla en el Puerto de Fanjui (Juanjuí) con el título de Nuestra Madre y Señora de la Merced  (1814-2024)
Creators: name: Omar, Ruiz
Publisher: name: Zenodo
Year: 2024

description: La historia de las comunidades se teje a través de los esfuerzos conjuntos de sus habitantes, quienes buscan en la colaboración y en la fe las herramientas para construir un futuro mejor. El 22 de junio de 1814, se presentó una solicitud formal sin precedentes en la vida de la comunidad del puerto de Fanjui (Juanjuí), ubicada en ese entonces dentro de la provincia de Lamas. Con el respaldo del Fiscal de la Doctrina de Saposoa, Anastasio Salas, los vecinos del puerto pidieron la licencia para erigir una capilla con el título de Nuestra Madre y Señora de la Merced. Este artículo examina no solo el contexto histórico de esta solicitud, sino que también reflexiona sobre la importancia de la fe, la comunidad y los espacios de culto en la vida de los pueblos.
Analysis of X-ray spectral variability and black hole mass determination of the NLS1 galaxy Mrk 766
Creators: name: Giacche`, S.
name: Gilli, R.
name: Titarchuk, L.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We present an XMM-Newton time-resolved spectral analysis of the NLS1 galaxy Mrk 766. We analyse eight available observations of the EPIC-pn camera taken between May 2000 and June 2005 to investigate the X-ray spectral variability as produced by changes in the mass accretion rate. The 0.2-10 keV spectra are extracted in time bins longer than 3 ks to accurately trace the variations of the best fit parameters of our adopted Comptonisation spectral model. We test a bulk-motion Comptonisation (BMC) model which is in general applicable to any physical system powered by accretion onto a compact object, and assumes that soft seed photons are efficiently up-scattered via inverse Compton scattering in a hot and dense electron corona. The Comptonised spectrum has a characteristic power-law shape, whose slope was found to increase for large values of the normalisation of the seed component, that is proportional to the mass accretion rate (in Eddington units). Our baseline spectral model also includes a warm absorber lying on the line of sight and radiation reprocessing from the accretion disk or from outflowing matter in proximity of the central compact object. Our study reveals that the normalisation-slope correlation, observed in Galactic Black Hole sources (GBHs), also holds for Mrk 766: variations of the photon index in the range Gamma~1.9-2.4 are indeed likely to be related to the variations of m-dot, as observed in X-ray binary systems. We finally applied a scaling technique based on the observed correlation to estimate the BH mass in Mrk 766. This technique is commonly and successfully applied to measure masses of GBHs, and this is the first time it is applied in detail to estimate the BH mass in an AGN. We obtain a value of M_{BH}=1.26^{+1.00}_{-0.77}x10^6 M_{sun} that is in very good agreement with that estimated by the reverberation mapping
description: 26 pages, 7 figures, 4 tables to be published in Astronomy and Astrophysics
Technology Stewardship and the Capabilities Approach: Assessing a Leadership Training Program for Agricultural Communities of Practice in Sri Lanka and Trinidad
Creators: name: Gow, Gordon A.; Dissanayeke, Uvasara; Jayathilake, Chandana; Chowdhury, Ataharul; Ramjattan, Jeet; Ganpat, Wayne; Isuri Kumarasinghe; Kumudu Ariyawanshe; Sanduni Rathnayake
Publisher: name: University of Alberta Libraries
Year: 2020

Abstract
The sub-mJy radio sky in the Extended Chandra Deep Field South: source population
Creators: name: Bonzini, M.
name: Padovani, P.
name: Mainieri, V.
name: Kellermann, K. I.
name: Miller, N.
name: Rosati, P.
name: Tozzi, P.
name: Vattakunnel, S.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: The sub-mJy radio population is a mixture of active systems, that is star forming galaxies (SFGs) and active galactic nuclei (AGNs). We study a sample of 883 radio sources detected at 1.4 GHz in a deep Very Large Array survey of the Extended Chandra Deep Field South (E-CDFS) that reaches a best rms sensitivity of 6 microJy. We have used a simple scheme to disentangle SFGs, radio-quiet (RQ), and radio-loud (RL) AGNs based on the combination of radio data with Chandra X-ray data and mid-infrared observations from Spitzer. We find that at flux densities between about 30 and 100 microJy the radio population is dominated by SFGs (~60%) and that RQ AGNs become increasingly important over RL ones below 100 microJy. We also compare the host galaxy properties of the three classes in terms of morphology, optical colours and stellar masses. Our results show that both SFG and RQ AGN host galaxies have blue colours and late type morphology while RL AGNs tend to be hosted in massive red galaxies with early type morphology. This supports the hypothesis that radio emission in SFGs and RQ AGNs mainly comes from the same physical process: star formation in the host galaxy.
description: 13 pages, 11 figures, 1 table, accepted for publication in MNRAS