cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Testing the Lambda(1520) hyperon in-medium width in near-threshold proton-nucleus reactions
Creators: name: Paryev, E. Ya.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Nuclear Theory (nucl-th)
subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: In the framework of the nuclear spectral function approach for incoherent primary proton-nucleon and secondary pion-nucleon production processes we study the inclusive Lambda(1520) hyperon production in the interaction of 2.83 GeV protons with nuclei. In particular, the A and momentum dependences of the absolute and relative Lambda(1520) hyperon yields are investigated in two scenarios for its in-medium width. Our model calculations show that the pion-nucleon production channel contributes distinctly to the "low-momentum" Lambda(1520) creation both in light and heavy nuclei in the chosen kinematics and, hence, has to be taken into consideration on close examination of the dependences of the Lambda(1520) hyperon yields on the target mass number with the aim of getting information on its width in the medium. They also demonstrate that both the A dependence of the relative Lambda(1520) hyperon production cross section and momentum dependence of the absolute Lambda(1520) hyperon yield at incident energy of interest are appreciably sensitive to the Lambda(1520) in-medium width, which means that these observables may be an important tool to determine the above width.
description: 16 pages
Intersection Logic in sequent calculus style
Creators: name: Della Rocca, Simona Ronchi
name: Saurin, Alexis
name: Stavrinos, Yiorgos
name: Veneti, Anastasia
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: F.3.2; F.4.1

description: The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logic to terms of lambda-calculus. But its relation with the logic is not standard. Between all the logics that have been proposed as its foundation, we consider ISL, which gives a logical interpretation of the intersection by splitting the intuitionistic conjunction into two connectives, with a local and global behaviour respectively, being the intersection the local one. We think ISL is a logic interesting by itself, and in order to support this claim we give a sequent calculus formulation of it, and we prove that it enjoys the cut elimination property.
description: In Proceedings ITRS 2010, arXiv:1101.4104
title: Remarks by Secretary of Transportation John A. Volpe before the 59th Annual Convention of Investment Bankers Association
Creators: name: Volpe, John A.
name: United States Department of Transportation
Publisher: name: United States Department of Transportation
publisherIdentifier: https://ror.org/02xfw2e90
publisherIdentifierScheme: ROR
Year: 1970
Subjects: classificationCode: https://trt.trb.org/term/89768
subject: Transportation planning
classificationCode: https://trt.trb.org/term/88891
subject: Transportation policy

description: See the Secretary of Transportation Speeches Collection's finding aid at: https://ntl.as.atlas-sys.com/repositories/2/resources/4
description: Remarks by Secretary of Transportation John A. Volpe before the 59th Annual Convention of Investment Bankers Association, Great Hall, Boca Raton Hotel and Club, Boca Raton, Florida, Friday, December 4, 1970, 10:15 A.M.
The Fringe Detection Laser Metrology for the GRAVITY Interferometer at the VLTI
Creators: name: Bartko, H.
name: Gillessen, S.
name: Rabien, S.
name: Thiel, M.
name: Gräter, A.
name: Haug, M.
name: Kellner, S.
name: Eisenhauer, F.
name: Lacour, S.
name: Straubmeier, C.
name: Berger, J. -P.
name: Jocou, L.
name: Chibani, W.
name: Lüst, S.
name: Moch, D.
name: Pfuhl, O.
name: Fabian, W.
name: Araujo-Hauck, C.
name: Perraut, K.
name: Brandner, W.
name: Perrin, G.
name: Amorim, A.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: Interferometric measurements of optical path length differences of stars over large baselines can deliver extremely accurate astrometric data. The interferometer GRAVITY will simultaneously measure two objects in the field of view of the Very Large Telescope Interferometer (VLTI) of the European Southern Observatory (ESO) and determine their angular separation to a precision of 10 micro arcseconds in only 5 minutes. To perform the astrometric measurement with such a high accuracy, the differential path length through the VLTI and the instrument has to be measured (and tracked since Earth's rotation will permanently change it) by a laser metrology to an even higher level of accuracy (corresponding to 1 nm in 3 minutes). Usually, heterodyne differential path techniques are used for nanometer precision measurements, but with these methods it is difficult to track the full beam size and to follow the light path up to the primary mirror of the telescope. Here, we present the preliminary design of a differential path metrology system, developed within the GRAVITY project. It measures the instrumental differential path over the full pupil size and up to the entrance pupil location. The differential phase is measured by detecting the laser fringe pattern both on the telescopes' secondary mirrors as well as after reflection at the primary mirror. Based on our proposed design we evaluate the phase measurement accuracy based on a full budget of possible statistical and systematic errors. We show that this metrology design fulfills the high precision requirement of GRAVITY.
description: Proc. SPIE in press
title: Remarks by Secretary of Transportation John A. Volpe at the Launching of the U.S. Coast Guard Cutter Munro
Creators: name: Volpe, John A.
name: United States Department of Transportation
Publisher: name: United States Department of Transportation
publisherIdentifier: https://ror.org/02xfw2e90
publisherIdentifierScheme: ROR
Year: 1970
Subjects: classificationCode: https://trt.trb.org/term/89768
subject: Transportation planning
classificationCode: https://trt.trb.org/term/88891
subject: Transportation policy

description: See the Secretary of Transportation Speeches Collection's finding aid at: https://ntl.as.atlas-sys.com/repositories/2/resources/4
description: Remarks by Secretary of Transportation John A. Volpe at the Launching of the U.S. Coast Guard Cutter Munro at the Avondale Shipyards, New Orleans, Louisiana, Saturday, December 5, 1970.
A modified proximity approach in the fusion of heavy-ions
Creators: name: Dutt, Ishwar
name: Bansal, Rajni
Publisher: name: arXiv
Year: 2010
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: By using a suitable set of the surface energy coefficient, nuclear radius, and universal function, the original proximity potential 1977 is modified. The overestimate of the data by 4 % reported in the literature is significantly reduced. Our modified proximity potential reproduces the experimental data nicely compared to its older versions.
description: 9 pages, 5 figures, Chin. Phys. lett.(2010) in press
Full bayesian models to assess the impacts of mobile automated enforcement on road safety and crime
Creators: name: Ibrahim, Shewkar
Publisher: name: University of British Columbia
Year: 2020

description: The success of road safety programs is highly dependent on using accurate and precise safety models. Traditionally, these safety models were developed at a micro-level and lack understanding of how safety is prioritized at a planning-level. This dissertation bridges this gap by developing macro-level models to enhance the decision-making processes by providing opportunities for planners and designers to become better informed on issues related to road safety and criminology. The contributions of this dissertation were to develop Full Bayesian models to explore new applications for macro-level modeling, which focused on mobile automated enforcement (MAE). This type of enforcement is one of the tools that agencies use when manned enforcement is too costly or not feasible. It consists of units that are installed in vehicles that rotate between sites to improve compliance to the speed limit and to enhance safety. The first application showed that increasing the number of tickets issued for vehicles exceeding the speed limit resulted in a decrease in all collision severities. The results also showed that collision reductions were associated with an extended time enforcing a site. Decision support tools were also created to help agencies make informed decisions regarding how to optimize their enforcement strategy. The second application explored the impact of MAE on both collisions and crime. Previous work suggested that collision and crime hotspots overlapped. It was, therefore, crucial to quantify the degree of correlation between both events. The results of the models confirmed this relationship and showed that increased MAE presence resulted in reductions in both events. This demonstrates how a single deployment can achieve multiple objectives, and allows agencies to optimize their deployment strategy to achieve more with less. Understanding how changing the deployment strategy at a macro-level affects safety provides enforcement agencies with the opportunity to maximize the efficiency of their existing resources. Future work would include using the results in this dissertation to build an optimization tool which accounts for the safety impacts, constraints surrounding a deployment, and the cost of a deployment to allow agencies to maximize the use of their resources to achieve the highest safety benefit.
title: Remarks on the SST Prepared for Delivery by Secretary of Transportation John A. Volpe to the American Business Press
Creators: name: Volpe, John A.
name: United States Department of Transportation
Publisher: name: United States Department of Transportation
publisherIdentifier: https://ror.org/02xfw2e90
publisherIdentifierScheme: ROR
Year: 1970
Subjects: classificationCode: https://trt.trb.org/term/89768
subject: Transportation planning
classificationCode: https://trt.trb.org/term/88891
subject: Transportation policy

description: See the Secretary of Transportation Speeches Collection's finding aid at: https://ntl.as.atlas-sys.com/repositories/2/resources/4
description: Remarks on the SST Prepared for Delivery by Secretary of Transportation John A. Volpe to the American Business Press, Department of Commerce Auditorium, Washington, D.C., Monday, December 7, 1970.
Sound and Complete Typing for lambda-mu
Creators: name: van Bakel, Steffen
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.3.2

description: In this paper we define intersection and union type assignment for Parigot's calculus lambda-mu. We show that this notion is complete (i.e. closed under subject-expansion), and show also that it is sound (i.e. closed under subject-reduction). This implies that this notion of intersection-union type assignment is suitable to define a semantics.
description: In Proceedings ITRS 2010, arXiv:1101.4104
Resumo de Repositórios Digitais
Creators: name: de Lima Fernandes Rojas, Taiwan
Publisher: name: figshare
Year: 2021
Subjects: subject: Information Systems
subject: FOS: Computer and information sciences

description: Resumo sobre repositórios digitais, expondo brevemente o que são e porque são considerados uma ferramenta de informação útil e refinada para arquivistas já que alguns dos repositórios se submetem aos princípios arquivísticos.
Estimation procedures for a semiparametric family of bivariate copulas
Creators: name: Amblard, Cécile
name: Girard, Stéphane
Publisher: name: arXiv
Year: 2011
Subjects: subject: Methodology (stat.ME)
subject: FOS: Computer and information sciences

description: In this paper, we propose simple estimation methods dedicated to a semiparametric family of bivariate copulas. These copulas can be simply estimated through the estimation of their univariate generating function. We take profit of this result to estimate the associated measures of association as well as the high probability regions of the copula. These procedures are illustrated on simulations and on real data.
title: Remarks Prepared for Delivery by Secretary of Transportation, John A. Volpe to the American Business Press
Creators: name: Volpe, John A.
name: United States Department of Transportation
Publisher: name: United States Department of Transportation
publisherIdentifier: https://ror.org/02xfw2e90
publisherIdentifierScheme: ROR
Year: 1970
Subjects: classificationCode: https://trt.trb.org/term/89768
subject: Transportation planning
classificationCode: https://trt.trb.org/term/88891
subject: Transportation policy

description: See the Secretary of Transportation Speeches Collection's finding aid at: https://ntl.as.atlas-sys.com/repositories/2/resources/4
description: Remarks Prepared for Delivery by Secretary of Transportation, John A. Volpe to the American Business Press, Department of Commerce Auditorium, Washington, D.C., Monday, December 7, 1970, 4:30 P.M.
Two new cytisine-type alkaloids from the seeds of Thermopsis lanceolata
Creators: name: Zhang, Peng
name: Zou, Ji-Bin
name: An, Qiao
name: Yi, Ping
name: Yuan, Chun-Mao
name: Huang, Lie-Jun
name: Gu, Wei
name: Hu, Zhan-Xing
name: Hao, Xiao-Jiang
Publisher: name: Taylor & Francis
Year: 2022
Subjects: Biochemistry
Pharmacology
Environmental Sciences not elsewhere classified
Chemical Sciences not elsewhere classified
Biological Sciences not elsewhere classified

description: Two new (1 and 2) cytisine-type alkaloids that were chemically inseparable isomers (present in a 1:1 ratio) were identified from the seeds of Thermopsis lanceolata R. Br. Their structures were elucidated by comprehensive spectroscopic data analysis (IR, UV, NMR, HRESIMS) and ECD calculation. Compound 1 displayed significant anti-tobacco mosaic virus (TMV) activity, while compounds 1 and 2 displayed moderate insecticidal activities against Aphis fabae with LC50 value of 43.15 and 46.47 mg/L, respectively.
Contextual and Ethical Issues with Predictive Process Monitoring
Creators: name: Ogunbiyi, Oluniyi
Publisher: name: University of Westminster
Year: 2022

description: This thesis addresses contextual and ethical issues in the predictive process monitoring framework and several related issues. Regarding contextual issues, even though the importance of case, process, social and external contextual factors in the predictive business process monitoring framework has been acknowledged, few studies have incorporated these into the framework or measured their impact. Regarding ethical issues, we examine how human agents make decisions with the assistance of process monitoring tools and provide recommendation to facilitate the design of tools which enables a user to recognise the presence of algorithmic discrimination in the predictions provided. First, a systematic literature review is undertaken to identify existing studies which adopt a clustering-based remaining-time predictive process monitoring approach, and a comparative analysis is performed to compare and benchmark the output of the identified studies using 5 real-life event logs. This curates the studies which have adopted this important family of predictive process monitoring approaches but also facilitates comparison as the various studies utilised different datasets, parameters, and evaluation measures. Subsequently, the next two chapter investigate the impact of social and spatial contextual factors in the predictive process monitoring framework. Social factors encompass the way humans and automated agents interact within a particular organisation to execute process-related activities. The impact of social contextual features in the predictive process monitoring framework is investigated utilising a survival analysis approach. The proposed approach is benchmarked against existing approaches using five real-life event logs and outperforms these approaches. Spatial context (a type of external context) is also shown to improve the predictive power of business process monitoring models. The penultimate chapter examines the nature of the relationship between workload (a process contextual factor) and stress (a social contextual factor) by utilising a simulation-based approach to investigate the diffusion of workload-induced stress in the workplace. In conclusion, the thesis examines how users utilise predictive process monitoring (and AI) tools to make decisions. Whilst these tools have delivered real benefits in terms of improved service quality and reduction in processing time, among others, they have also raised issues which have real-world ethical implications such as recommending different credit outcomes for individuals who have an identical financial profile but different characteristics (e.g., gender, race). This chapter amalgamates the literature in the fields of ethical decision making and explainable AI and proposes, but does not attempt to validate empirically, propositions and belief statements based on the synthesis of the existing literature, observation, logic, and empirical analogy.
title: Statement of John A. Volpe, Secretary of Transportation, before the Subcommittee on Fisheries and Wildlife Conservation
Creators: name: Volpe, John A.
name: United States Department of Transportation
Publisher: name: United States Department of Transportation
publisherIdentifier: https://ror.org/02xfw2e90
publisherIdentifierScheme: ROR
Year: 1970
Subjects: classificationCode: https://trt.trb.org/term/89768
subject: Transportation planning
classificationCode: https://trt.trb.org/term/88891
subject: Transportation policy

description: See the Secretary of Transportation Speeches Collection's finding aid at: https://ntl.as.atlas-sys.com/repositories/2/resources/4
description: Statement of John A. Volpe, Secretary of Transportation, before the Subcommittee on Fisheries and Wildlife Conservation of the House Committee on Merchant Marine and Fisheries, regarding the Department of Transportation's experience with the implementation of the policies set forth in the National Environmental Policy Act, Tuesday, December 8, 1970.
Intersection types for unbind and rebind
Creators: name: Dezani-Ciancaglini, Mariangiola
name: Giannini, Paola
name: Zucca, Elena
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: F.3.2; F.4.1

description: We define a type system with intersection types for an extension of lambda-calculus with unbind and rebind operators. In this calculus, a term with free variables, representing open code, can be packed into an "unbound" term, and passed around as a value. In order to execute inside code, an unbound term should be explicitly rebound at the point where it is used. Unbinding and rebinding are hierarchical, that is, the term can contain arbitrarily nested unbound terms, whose inside code can only be executed after a sequence of rebinds has been applied. Correspondingly, types are decorated with levels, and a term has type decorated with k if it needs k rebinds in order to reduce to a value. With intersection types we model the fact that a term can be used differently in contexts providing different numbers of unbinds. In particular, top-level terms, that is, terms not requiring unbinds to reduce to values, should have a value type, that is, an intersection type where at least one element has level 0. With the proposed intersection type system we get soundness under the call-by-value strategy, an issue which was not resolved by previous type systems.
description: In Proceedings ITRS 2010, arXiv:1101.4104
A low-Reynolds-number treadmilling swimmer near a semi-infinite wall
Creators: name: Obuse, Kiori
name: Thiffeault, Jean-Luc
Publisher: name: arXiv
Year: 2011
Subjects: subject: Biological Physics (physics.bio-ph)
subject: Chaotic Dynamics (nlin.CD)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: We investigate the behavior of a treadmilling microswimmer in a two-dimensional unbounded domain with a semi-infinite no-slip wall. The wall can also be regarded as a probe or pipette inserted into the flow. We solve the governing evolution equations in an analytical form and numerically calculate trajectories of the swimmer for several different initial positions and orientations. We then compute the probability that the treadmilling organism can escape the vicinity of the wall. We find that many trajectories in a 'wedge' around the wall are likely to escape. This suggests that inserting a probe or pipette in a suspension of organism may push away treadmilling swimmers.
description: 9 pages, 5 figures. PDFLaTeX with IMA style (included)
Effective cavity pumping from weakly coupled quantum dots
Creators: name: del Valle, E.
name: Laussy, F. P.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We derive the effective cavity pumping and decay rates for the master equation of a quantum dot-microcavity system in presence of $N$ weakly coupled dots. We show that the in-flow of photons is not linked to the out-flow by thermal equilibrium relationships.
description: 6 pages, 1 figure, PLMCN10 conference proceedings
Un percorso motorio tra attenzione e apprendimento: come un percorso motorio in corridoio può influire sull'attenzione e sull'apprendimento degli allievi
Creators: name: Gaffuri, Gioele
Publisher: name: Scuola Universitaria della Svizzera Italiana (SUPSI)
Year: 2022
Subjects: attenzione
movimento
pausa in movimento
apprendimento

description: Questa ricerca si pone l’obiettivo di verificare in che misura, svolgere una pausa attiva caratterizzata da un percorso motorio in corridoio durante un’attività di lettura, possa migliorare l’attenzione e gli apprendimenti dei bambini. La ricerca è stata svolta su un campione di quattordici allievi di età compresa tra i sei e gli otto anni. Gli allievi, già dall’inizio dell’anno, avevano mostrato comportamenti riconducibili a un basso livello di attenzione, faticando nel restare seduti al proprio posto e sentendo la necessità di muoversi durante le attività scolastiche. Per poter verificare se un percorso motorio in corridoio, rifacente allo schema di Herrmann et al. (2020), permettesse di migliorare il livello di attenzione e la ritenzione dell’informazione, ho utilizzato un approccio quasi sperimentale in cui ho comparato l’effetto di una pausa che contenesse un’attività motoria ad un contesto in cui la pausa era di tipo statico e quindi classica. Comparando i dati raccolti, si è potuto constatare come svolgere un percorso motorio in corridoio abbia permesso ai bambini di migliorare l’attenzione e ottenere risultati leggermente migliori, comparativamente a uno scenario di attività di lettura senza pausa motoria, anche per quanto concerne gli apprendimenti. Relatore: Emanuele Meier.
Statistical universal branching ratios for cosmic ray dissociation, photodissociation, and dissociative recombination of the C(n=2-10), C(n=2-4)H and C3H2 neutral and cationic species
Creators: name: Chabot, M.
name: Tuna, T.
name: Beroff, K.
name: Pino, T.
name: Padellec, A. Le
name: Desequelles, P.
name: Martinet, G.
name: Nguyen-Thi, V. O.
name: Carpentier, Y.
name: Petit, F. Le
name: Roueff, E.
name: Wakelam, V.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Fragmentation branching ratios of electronically excited molecular species are of first importance for the modeling of gas phase interstellar chemistry. Despite experimental and theoretical efforts that have been done during the last two decades there is still a strong lack of detailed information on those quantities for many molecules such as Cn, CnH or C3H2. Our aim is to provide astrochemical databases with more realistic branching ratios for Cn (n=2 to 10), CnH (n=2 to 4), and C3H2 molecules that are electronically excited either by dissociative recombination, photodissociation, or cosmic ray processes, when no detailed calculations or measurements exist in literature. High velocity collision in an inverse kinematics scheme was used to measure the complete fragmentation pattern of electronically excited Cn (n=2 to 10), CnH (n=2 to 4), and C3H2 molecules. Branching ratios of dissociation where deduced from those experiments. The full set of branching ratios was used as a new input in chemical models and branching ratio modification effects observed in astrochemical networks that describe the dense cold Taurus Molecular Cloud-1 and the photon dominated Horse Head region. The comparison between the branching ratios obtained in this work and other types of experiments showed a good agreement. It was interpreted as the signature of a statistical behavior of the fragmentation. The branching ratios we obtained lead to an increase of the C3 production together with a larger dispersion of the daughter fragments. The introduction of these new values in the photon dominated region model of the Horse Head nebula increases the abundance of C3 and C3H, but reduces the abundances of the larger Cn and hydrocarbons at a visual extinction Av smaller than 4.
description: Accepted to Astronomy & Astrophysics
title: Statement by Secretary of Transportation John A. Volpe on the Signing of the Federal-Aid Highway Act of 1970
Creators: name: Volpe, John A.
name: United States Department of Transportation
Publisher: name: United States Department of Transportation
publisherIdentifier: https://ror.org/02xfw2e90
publisherIdentifierScheme: ROR
Year: 1970
Subjects: classificationCode: https://trt.trb.org/term/89768
subject: Transportation planning
classificationCode: https://trt.trb.org/term/88891
subject: Transportation policy

description: See the Secretary of Transportation Speeches Collection's finding aid at: https://ntl.as.atlas-sys.com/repositories/2/resources/4
description: Statement by Secretary of Transportation John A. Volpe on the Signing of the Federal-Aid Highway Act of 1970.
The targum (1965:Sep. 9 - 1965:Sep. 30)
Creators: name: No Name Supplied
Publisher: name: Targum Association
Year: 1965

description: Some University historians indicate that the Targum was first published as an annual in 1867, but of this we have no extant evidence. In January 1869, the Targum as we now know it, made its appearance as a monthly paper that concerned itself with student “literary contributions” and college news as well as serving as a vehicle for bringing news to alumni and the general public. The newspaper, which originally was for sale, varied in frequency over the years as did its title (The Targum, Rutgers Targum, Rutgers Daily Targum, and Daily Targum). The newspaper has continuously been published since 1869 with the exception of 19 months during the second world war, between February 1944 and October 1945. The Targum was published by the students of Rutgers College, and later Rutgers University—New Brunswick represented through the years as the Targum Association, Rutgers Targum Association, and Rutgers College Targum. As a student organization, the Targum operated under the oversight of the dean of students and student government but in October 1980, the Targum became an independent college paper.
Untangling Typechecking of Intersections and Unions
Creators: name: Dunfield, Jana
Publisher: name: arXiv
Year: 2011
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Intersection and union types denote conjunctions and disjunctions of properties. Using bidirectional typechecking, intersection types are relatively straightforward, but union types present challenges. For union types, we can case-analyze a subterm of union type when it appears in evaluation position (replacing the subterm with a variable, and checking that term twice under appropriate assumptions). This technique preserves soundness in a call-by-value semantics. Sadly, there are so many choices of subterms that a direct implementation is not practical. But carefully transforming programs into let-normal form drastically reduces the number of choices. The key results are soundness and completeness: a typing derivation (in the system with too many subterm choices) exists for a program if and only if a derivation exists for the let-normalized program.
description: In Proceedings ITRS 2010, arXiv:1101.4104
title: Remarks Prepared for Delivery by Secretary of Transportation John A. Volpe at the United States Coast Guard Change of Command
Creators: name: Volpe, John A.
name: United States Department of Transportation
Publisher: name: United States Department of Transportation
publisherIdentifier: https://ror.org/02xfw2e90
publisherIdentifierScheme: ROR
Year: 1970
Subjects: classificationCode: https://trt.trb.org/term/89768
subject: Transportation planning
classificationCode: https://trt.trb.org/term/88891
subject: Transportation policy

description: See the Secretary of Transportation Speeches Collection's finding aid at: https://ntl.as.atlas-sys.com/repositories/2/resources/4
description: Remarks Prepared for Delivery by Secretary of Transportation John A. Volpe at the United States Coast Guard Change of Command, Monday, June 1, 1970, 11:00 A.M., the Navy Yard, Washington, D.C.
Understanding new graduate registered nurse's preparedness and readiness for leadership
Creators: name: Pedersen, Chloe
Publisher: name: University of British Columbia
Year: 2020

description: Background: The number of new graduate registered nurses (NGRN) is on the rise while the acuity and complexities of health care continues to climb. NGRNs are required to engage in informal and formal leadership in the clinical setting in a variety of ways, yet find this challenging. Research Design: The purpose of this, qualitative descriptive, study was to understand NGRNs experiences of clinical leadership within the first 14 months of their practice. Semi-structured interviews were held with nine NGRNs at one tertiary hospital in a western Canadian province. Findings: Four main categories were constructed. The first category, self-doubt in relation to leadership, describes participants’ feelings of uncertainty about the nature, expectations, and supports related to the role. The second category, preparing for leadership, details participants’ perceptions of their preparation for leadership prior to, and during, their undergraduate nursing education, and on the job. The third category, evolving leadership, describes the development of participants’ leadership abilities over their first 14 months of practice. The final category, navigating the challenges, articulates strategies the participants used to overcome challenges they faced while acting and developing as leaders. Discussion: Findings show that the majority of participants in this study did not feel ready for the complexities of being the RN leader. Participants were particularly challenged due to their self-doubt and lack of confidence at the beginning of their practice. Their self-doubt was reflected by a lack of preparation for leadership. Participants’ confidence grew and developed over time allowing them to feel comfortable and included in their workplace. Support from formal and informal leaders was vital to their developing confidence in leadership.
title: Ð¢ÑÐ°Ð½ÑÐºÐ¾Ð½Ð´ÑÐºÑÐ¸Ð²Ð½ÑÐµ ÑÑÐ¸Ð»Ð¸ÑÐµÐ»Ð¸ Ð² Ð´Ð¸Ð°Ð¿Ð°Ð·Ð¾Ð½Ðµ Ð¡ÐÐ§
title: Ð²ÑÐ¿ÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð±Ð°ÐºÐ°Ð»Ð°Ð²ÑÐ°
titleType: Subtitle
title: Transconductive amplifiers in the microwave range
Creators: name: Ð¤ÑÑÐ½Ð´Ð¸Ð½, ÐÐ»Ð°Ð´Ð¸ÑÐ»Ð°Ð²
Publisher: name: Ð¡Ð°Ð½ÐºÑ-ÐÐµÑÐµÑÐ±ÑÑÐ³ÑÐºÐ¸Ð¹ Ð¿Ð¾Ð»Ð¸ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¸Ð¹ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑ ÐÐµÑÑÐ° ÐÐµÐ»Ð¸ÐºÐ¾Ð³Ð¾
Year: 2022
Subjects: ÑÑÐ°Ð½ÑÐºÐ¾Ð½Ð´ÑÐºÑÐ¸Ð²Ð½ÑÐ¹ ÑÑÐ¸Ð»Ð¸ÑÐµÐ»Ñ
ÑÐ¸Ð»ÑÑÑ
ÑÐ²ÐµÑÑ Ð²ÑÑÐ¾ÐºÐ¸Ðµ ÑÐ°ÑÑÐ¾ÑÑ
Ð¼Ð°Ð»Ð¾ÑÑÐ¼ÑÑÐ¸Ð¹ ÑÑÐ¸Ð»Ð¸ÑÐµÐ»Ñ
Ð¿ÑÐ¾Ð²Ð¾Ð´Ð¸Ð¼Ð¾ÑÑÑ
transconductive amplifier
filter
ultrahigh frequencies
low noise amplifier
conductivity

description: ÐÐ±ÑÐµÐºÑ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ â ÑÑÐ°Ð½ÑÐºÐ¾Ð½Ð´ÑÐºÑÐ¸Ð²Ð½ÑÐ¹ ÑÑÐ¸Ð»Ð¸ÑÐµÐ»Ñ. ÐÑÐµÐ´Ð¼ÐµÑ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ â ÑÐ°ÑÐ°ÐºÑÐµÑÐ¸ÑÑÐ¸ÐºÐ¸ ÑÑÐ°Ð½ÑÐºÐ¾Ð½Ð´ÑÐºÑÐ¸Ð²Ð½Ð¾Ð³Ð¾ ÑÑÐ¸Ð»Ð¸ÑÐµÐ»Ñ. Ð¦ÐµÐ»Ñ ÑÐ°Ð±Ð¾ÑÑ â ÐÑÑÐ»ÐµÐ´Ð¾Ð²Ð°ÑÑ Ð¾Ð±Ð»Ð°ÑÑÐ¸ Ð¿ÑÐ¸Ð¼ÐµÐ½ÐµÐ½Ð¸Ñ ÑÑÐ°Ð½ÑÐºÐ¾Ð½Ð´ÑÐºÑÐ¸Ð²Ð½Ð¾Ð³Ð¾ ÑÑÐ¸Ð»Ð¸ÑÐµÐ»Ñ Ð² Ð´Ð¸Ð°Ð¿Ð°Ð·Ð¾Ð½Ðµ Ð¡ÐÐ§ Ð¸ Ð²ÑÑÐµ. Ð ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ Ð±ÑÐ»Ð¸ Ð½Ð°Ð¹Ð´ÐµÐ½Ñ ÑÐ¿Ð¾ÑÐ¾Ð±Ñ Ð¿ÑÐ¸Ð¼ÐµÐ½ÐµÐ½Ð¸Ñ Ð¢Ð£ Ð² Ð´Ð¸Ð°Ð¿Ð°Ð·Ð¾Ð½Ðµ Ð¡ÐÐ§. ÐÐ»Ñ Ð¾Ð´Ð½Ð¾Ð¹ Ð¸Ð· ÑÐµÐ°Ð»Ð¸Ð·Ð°ÑÐ¸Ð¸ Gm-C ÑÐ¸Ð»ÑÑÑÐ°, Ð² ÐºÐ¾ÑÐ¾ÑÐ¾Ð¹ Ð¢Ð£ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·ÑÐµÑÑÑ Ð´Ð»Ñ Ð¿Ð¾Ð²ÑÑÐµÐ½Ð¸Ñ Ð»Ð¸Ð½ÐµÐ¹Ð½Ð¾ÑÑÐ¸, Ð±ÑÐ»Ð¾ Ð¿ÑÐ¾Ð²ÐµÐ´ÐµÐ½Ð¾ Ð¼Ð¾Ð´ÐµÐ»Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ. Ð ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ Ð¼Ð¾Ð´ÐµÐ»Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ Ð±ÑÐ»Ð° Ð¿Ð¾Ð»ÑÑÐµÐ½Ð° Ð·Ð°Ð²Ð¸ÑÐ¸Ð¼Ð¾ÑÑÑ Ð¿ÑÐ¾Ð²Ð¾Ð´Ð¸Ð¼Ð¾ÑÑÐ¸ Ð¾Ñ Ð¿Ð¾ÑÑÐ¾ÑÐ½Ð½Ð¾Ð³Ð¾ ÑÐ¼ÐµÑÐµÐ½Ð¸Ñ Ð²ÑÐ¾Ð´Ð½Ð¾Ð³Ð¾ Ð½Ð°Ð¿ÑÑÐ¶ÐµÐ½Ð¸ÑÂ  Ð¸ ÑÐ°Ð¼Ð¾ Ð·Ð½Ð°ÑÐµÐ½Ð¸Ðµ Ð¿ÑÐ¾Ð²Ð¾Ð´Ð¸Ð¼Ð¾ÑÑÐ¸ Gm=122 Ð¼ÐºÐ/Ð.
description: The object of research is a transconductive amplifier. The subject of the study is the characteristics of a transconductive amplifier. The purpose of the work is to investigate the applications of a transconductive amplifier in the microwave range and above. As a result of the study, methods of using TU in the microwave range were found. For one of the implementations of the Gm-C filter, in which IT is used to increase linearity, a simulation was carried out. As a result of the simulation, the dependence of the conductivity on the constant bias of the input voltage and the value of the conductivity itself was obtained Gm=122 uA/V.
Additional file 1 of Nasal delivery of a CRMP2-derived CBD3 adenovirus improves cognitive function and pathology in APP/PS1 transgenic mice
Creators: name: Qi, Baochang
name: Yang, Yu
name: Cheng, Yingying
name: Sun, Di
name: Wang, Xu
name: Khanna, Rajesh
name: Ju, Weina
Publisher: name: figshare
Year: 2020
Subjects: subject: Biochemistry
subject: Molecular Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Cancer
subject: Mental Health

description: Additional file 1.
Mi muovo come gli animali per conoscere il mio corpo
Creators: name: Civetta, Jennifer
Publisher: name: Scuola Universitaria della Svizzera Italiana (SUPSI)
Year: 2021
Subjects: schema motorio di base
schema corporeo
rappresentazione grafica
lessico

description: La progressiva conoscenza corporea inizia alla nascita e accompagna i bambini durante il loro sviluppo, portandoli a scoprire sé stessi e gli altri mediante varie esperienze. Questa ricerca studia l’importanza delle attività motorie per raggiungere questa conoscenza di sé, prendendo il bambino come principale attore e costruttore del proprio apprendimento. Lo scopo è quello di verificare se, tramite un percorso didattico basato sull’allenamento costante di 5 schemi motori di base (correre, saltare, stare in equilibrio, rotolare e lanciare) i bambini abbiano un’evoluzione per quanto riguarda la conoscenza del proprio corpo su due livelli: grafico e lessicale. Inoltre, la ricerca vuole studiare anche un’eventuale correlazione tra lo sviluppo del livello lessicale e il livello grafico. Tramite delle interviste individuali e delle griglie valutative sottoposte prima e dopo l’itinerario didattico si valuta quantitativamente la possibile evoluzione dei bambini. I risultati mostrano una piccola evoluzione grafica ma un’importante evoluzione sul piano lessicale, collegabile alla meta-riflessione svolta durante gli interventi didattici. Questa ricerca potrebbe essere un punto di partenza per studiare l’importanza dell’attività motoria alla Scuola dell’Infanzia e le sue conseguenze sull’apprendimento attivo del bambino. Relatori: Flavio Rossi e Simone Storni.
Nuovo centro polifunzionale nel quartiere di Pregassona
Creators: name: Donati, Nicole
Publisher: name: Scuola Universitaria della Svizzera Italiana (SUPSI)
Year: 2019

description: Il lavoro di tesi concerne la progettazione di un edificio, composto da tre blocchi staticamente autosufficienti. L’edificio di circa 40x20 m di forma irregolare accoglierà al suo interno una residenza medicalizzata per persone anziane, un centro diurno per persone affette da demenza senile, degli uffici ed un asilo nido. I vincoli impongono che il progetto rispecchi le esigenze architettoniche iniziali e che la struttura sia flessibile per un eventuale cambio di destinazione. La progettazione ha toccato temi legati all’ambiente, all’antincendio, all’evacuazione delle acque meteoriche, all’azione sismica e alla gestione del cantiere.
Edge states and flat bands in graphene nanoribbons with arbitrary geometries
Creators: name: Jaskolski, W.
name: Ayuela, A.
name: Pelc, M.
name: Santos, H.
name: Chico, L.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We prescribe general rules to predict the existence of edge states and zero-energy flat bands in graphene nanoribbons and graphene edges of arbitrary shape. No calculations are needed. For the so-called {\it{minimal}} edges, the projection of the edge translation vector into the zigzag direction of graphene uniquely determines the edge bands. By adding extra nodes to minimal edges, arbitrary modified edges can be obtained. The edge bands of modified graphene edges can be found by applying hybridization rules of the extra atoms with the ones belonging to the original edge. Our prescription correctly predicts the localization and degeneracy of the zero-energy bands at one of the graphene sublattices, confirmed by tight-binding and first-principle calculations. It also allows us to qualitatively predict the existence of $E\ne 0$ bands appearing in the energy gap of certain edges and nanoribbons.
description: submitted to Phys Rev B
youth Digital Skills Indicator. Estonian questionnaire
Creators: name: Tikerperi, Mari-Liis
name: Beilmann, Mai
name: Kalmus, Veronika
name: Opermann, Signe
name: Heslper, Ellen J.
name: Schneider, Luc S.
name: van Deursen, Alexander J.A.M.
name: van Laar, Ester
Publisher: name: Zenodo
Year: 2021
Subjects: Digital skills
survey
questionnaire
Estonia

description: The youth Digital Skills Indicator was developed as part of the ‘Youth Skills (ySKILLS)’ project and added to the ‘From Digital Skills to Tangible Outcomes’ digital skills measurement toolkit. Please read the accompanying document on the underlying rationale for these scales and on how to create and use composite scales in the following document: Helsper, E.J., Schneider, L., van Deursen, A.J.A.M., van Laar, E. (2021). The youth Digital Skills Indicator: Report on the conceptualisation and development of the ySKILLS digital skills measure. KU Leuven, Leuven: ySKILLS. Available at: https://yskills.eu.
title: Project English for Mechanical Engineers
title: учебное пособие
titleType: Subtitle
Creators: name: Мезенцева, Мария
Publisher: name: Санкт-Петербургский политехнический университет Петра Великого
Year: 2019
Subjects: Металлургия
Машиностроение
Транспорт
Техника
английский язык
профессиональная деятельность
учебники и пособия для вузов

description: Пособие по английскому языку является авторским курсом по дисциплине «Английский язык в профессиональной деятельности» и включает специальные тексты по металлургии, машиностроению и транспорту; дискуссионные тексты, посвященные общетехническим проблемам. В пособии предлагаются оригинальные материалы из Интренет-ресурсов, коммуникативные упражнения, задания по аудированию и письменной практике. В курс также включен проект, который предполагает использование информационной платформы Instagram. В приложении также представлены подробные руководства по работе с различными информационными платформами, на которых базируются отдельные упражнения. Предназначено для магистрантов кафедры «Автоматы» института металлургии, машиностроения и транспорта.
title: Remarks by Secretary of Transportation John A. Volpe before the European Free Trade Association
Creators: name: Volpe, John A.
name: United States Department of Transportation
Publisher: name: United States Department of Transportation
publisherIdentifier: https://ror.org/02xfw2e90
publisherIdentifierScheme: ROR
Year: 1970
Subjects: classificationCode: https://trt.trb.org/term/89768
subject: Transportation planning
classificationCode: https://trt.trb.org/term/88891
subject: Transportation policy

description: See the Secretary of Transportation Speeches Collection's finding aid at: https://ntl.as.atlas-sys.com/repositories/2/resources/4
description: Remarks by Secretary of Transportation John A. Volpe before the European Free Trade Association, Washington, D.C., May 5, 1970.
Gli adulti e il loro ruolo nel benessere socio-emotivo dei pre-adolescenti
Creators: name: Degli Innocenti Machì, Paola
Publisher: name: Scuola Universitaria della Svizzera Italiana (SUPSI)
Year: 2014

description: Questo lavoro di diploma vuole indagare su alcuni aspetti del benessere socio-emotivo (autostima e “life satisfaction”) dei pre-adolescenti ticinesi e verificare se tale benessere è influenzato dalla percezione di essere stimati ed ascoltati dagli adulti frequentati nei vari contesti (scuola, casa, comunità). La ricerca si basa sull’analisi quantitativa dei dati raccolti tramite il questionario “Capire le nostre vite”, somministrato in alcune classi del primo biennio di alcune delle scuole medie del Cantone. L’analisi dei dati raccolti ha permesso di evidenziare che la maggioranza dei giovani ticinesi intervistati ha alti livelli di autostima ed è soddisfatta della propria vita e che quasi tutti i ragazzi interpellati hanno un buon rapporto (basato sulla fiducia e sull’ascolto) con gli adulti. Le correlazioni hanno rilevato che la presenza di rapporti significativi con gli adulti favorisce il benessere socio-emotivo degli intervistati. E’ stato, poi, operato un confronto tra i dati raccolti presso una sede del Cantone e quelli del campione ticinese. Dalla comparazione non sono emerse particolari differenze. L’unica discordanza si rileva nelle correlazioni: per i giovani di questa scuola è soprattutto il rapporto con i familiari ad influenzare il loro benessere socio-emotivo. Questo dato permette di riflettere sul ruolo del docente che non può più essere un “semplice” divulgatore del sapere ma, piuttosto, un educatore pronto a farsi carico della formazione sociale e personale di ogni allievo. Relatori: Luciana Castelli e Luca Sciaroni. Materia: Scienze dell'educazione
Session Types = Intersection Types + Union Types
Creators: name: Padovani, Luca
Publisher: name: arXiv
Year: 2011
Subjects: subject: Programming Languages (cs.PL)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: FOS: Computer and information sciences

description: We propose a semantically grounded theory of session types which relies on intersection and union types. We argue that intersection and union types are natural candidates for modeling branching points in session types and we show that the resulting theory overcomes some important defects of related behavioral theories. In particular, intersections and unions provide a native solution to the problem of computing joins and meets of session types. Also, the subtyping relation turns out to be a pre-congruence, while this is not always the case in related behavioral theories.
description: In Proceedings ITRS 2010, arXiv:1101.4104
A dynamic network in a dynamic population: asymptotic properties
Creators: name: Britton, Tom
name: Lindholm, Mathias
name: Turova, Tatyana
Publisher: name: arXiv
Year: 2011
Subjects: subject: Probability (math.PR)
subject: Social and Information Networks (cs.SI)
subject: Physics and Society (physics.soc-ph)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: We derive asymptotic properties for a stochastic dynamic network model in a stochastic dynamic population. In the model, nodes give birth to new nodes until they die, each node being equipped with a social index given at birth. During the life of a node it creates edges to other nodes, nodes with high social index at higher rate, and edges disappear randomly in time. For this model we derive criterion for when a giant connected component exists after the process has evolved for a long period of time, assuming the node population grows to infinity. We also obtain an explicit expression for the degree correlation $ρ$ (of neighbouring nodes) which shows that $ρ$ is always positive irrespective of parameter values in one of the two treated submodels, and may be either positive or negative in the other model, depending on the parameters.
Spark plasma sintering of yttria stabilized zirconia ceramics doped with multiwall carbon nanotubes and lanthanum oxide
Creators: name: Mongui Torres, Rafael A.
Publisher: name: University of British Columbia
Year: 2020

description: Yttria Stabilized Zirconia (YSZ) is a ceramic composite often used as a thermal barrier coating (TBC), with particular applications in the gas turbine and power generation systems. Recent literature suggests that the addition of Carbon Nanotubes (CNTs) to YSZ can further improve the composite’s room temperature mechanical properties, such as hardness and fracture toughness. Such CNT reinforced YSZ composites could also be considered for high thermal gradient and thermal shock applications, such as turbine engine assemblies or high pressure and high-temperature components of diverse systems. Manufacturing high integrity CNT reinforced YSZ composites is challenging. First, it is widely reported that the presence of CNT agglomerations in the YSZ ceramic matrix deteriorates the mechanical properties of the composite material. Additionally, conventional sintering methods often compromise the integrity of the CNT due to the composite material’s prolonged exposure to high sintering temperatures. Alternatively, additives which form a solid solution with YSZ can be introduced, such as Lanthanum Oxide (La₂O₃). The strengthening mechanism achieved with CNT or (La₂O₃) is unique and may contribute to different material response in different loading regimes. In the current study, YSZ composites reinforced with CNT (0.2, 0.5, and 1 wt.%) and (La₂O₃) (11.6 and 21.6 wt.%) were fabricated by the Spark Plasma Sintering (SPS) process. The influence of SPS process parameters (compaction pressure, sintering temperature, and time) on the densification behaviour and mechanical properties were investigated. The microstructure and selected mechanical properties of the as-sintered composites were characterized using X-ray Diffraction (XRD), optical microscopy, Scanning Electron Microscopy (SEM), Neutron Diffraction (ND ) and Vicker’s microhardness. The results show that an optimal combination of sintering temperature (1400°C), pressure (40 MPa), time (3 min), and the amount of CNT (0.5 wt.%) was required to fabricate CNT-YSZ composites with optimal density and hardness values. Additionally, the results indicated that (La₂O₃) addition to the YSZ matrix resulted in an increase in the hardness by 10-12 % if a homogeneous dispersion could be achieved. Neutron diffraction was seen as a valuable tool to measure the residual strain in the SPS composites. Additionally, neutron diffraction texture analysis indicated that SPS fabricated composites did not reveal significant texture, with only a few samples exhibiting elevated preferential orientation of grains when CNTs were present.