cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets
Creators: name: Gabbay, Murdoch J.
name: Mulligan, Dominic P.
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.4.1(mathematical logic); F.3.2(algebraic approaches to semantics); D.3.1(semantics)

description: We investigate a class of nominal algebraic Henkin-style models for the simply typed lambda-calculus in which variables map to names in the denotation and lambda-abstraction maps to a (non-functional) name-abstraction operation. The resulting denotations are smaller and better-behaved, in ways we make precise, than functional valuation-based models. Using these new models, we then develop a generalisation of λ-term syntax enriching them with existential meta-variables, thus yielding a theory of incomplete functions. This incompleteness is orthogonal to the usual notion of incompleteness given by function abstraction and application, and corresponds to holes and incomplete objects.
description: In Proceedings LFMTP 2011, arXiv:1110.6685
Dein Bild in meinem Auge oder: Die Genese des "chinesischen Traums" - China und Europa im langen 20. Jahrhundert
Creators: name: Mittler, Barbara
Publisher: name: Studium Generale
Year: 2019

description: Wenn Berlioz in der Mitte des 19. Jahrhunderts die chinesische Musik noch für nichts als “Katzenjammer” hielt, so gab es andererseits auch chinesische Zeitgenossen, die sich über den “vielen Krach” in den europäischen Opernhäusern aufregten. Inzwischen sind die Verhältnisse allerdings deutlich asymmetrischer geworden: Nicht mehr länger wird der europäischen Skepsis in Bezug auf die chinesische Musik mit gleicher Münze geantwortet. Chinesische Musiktraditionen sind in China zur Musik “zweiter Klasse” degradiert worden. Viel mehr chinesische als europäische Kinder erlernen ein europäisches Instrument. Entsprechend finden wir heute die größten Violin- und Klaviermanufakturen der Welt in China. Chinesische Musiker studieren an den Musikhochschulen Europas und gewinnen reihenweise internationale Musikwettbewerbe – ein Phänomen, das wiederum von europäischer Seite mit Skepsis gepaart mit einer gewissen Faszination (gepaart mit Häme über den Erfolg der chinesischen “Tigermutter”) beobachtet wird. Wie nun kommt es zu diesem Wandel, der sich auch noch an vielen anderen Beispielen (Konfuzianismus, Maoismus), nicht nur der Musik durchspielen lässt: Warum wird und bleibt Europa für China das große Vorbild bis zur Verleugnung der eigenen kulturellen Wurzeln, auch (und gerade) noch in einer Zeit, in der die wirtschaftlichen, sozialen und kulturellen Entwicklungen in China Europa schon lange überholt haben? Wieso kann also der von Xi Jinping geprägte “chinesische Traum” nur in den Begrifflichkeiten der europäischen Renaissance gedacht werden? Welche Bedeutung hat die europäische Wahrnehmung Chinas für das chinesische Selbstbild? Welche Funktion also nimmt Europa in China ein und welche Asymmetrien entstehen so in der gegenseitigen Wahrnehmung? Diese Fragen nimmt der Beitrag in den Blick, und hinterfragt so kritisch sowohl europäische als auch chinesische Sichten auf den jeweils anderen: “Dein Bild in meinem Auge.”
description: Studium Generale, 2016/17 (2019): Europa - Realität und Vision
Random walks in modular scale-free networks with multiple traps
Creators: name: Zhang, Zhongzhi
name: Yang, Yihang
name: Lin, Yuan
Publisher: name: arXiv
Year: 2012
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Physics and Society (physics.soc-ph)
subject: FOS: Physical sciences

description: Extensive empirical investigation has shown that a plethora of real networks synchronously exhibit scale-free and modular structure, and it is thus of great importance to uncover the effects of these two striking properties on various dynamical processes occurring on such networks. In this paper, we examine two cases of random walks performed on a class of modular scale-free networks with multiple traps located at several given nodes. We first derive a formula of the mean first-passage time (MFPT) for a general network, which is the mean of the expected time to absorption originating from a specific node, averaged over all non-trap starting nodes. Although the computation is complex, the expression of the formula is exact; moreover, the computational approach and procedure are independent of the number and position of the traps. We then determine analytically the MFPT for the two random walks being considered. The obtained analytical results are in complete agreement with the numerical ones. Our results show that the number and location of traps play an important role in the behavior of the MFPT, since for both cases the MFPT grows as a power-law function of the number of nodes, but their exponents are quite different. We demonstrate that the root of the difference in the behavior of MFPT is attributed to the modular and scale-free topologies of the networks. This work can deepen the understanding of diffusion on networks with modular and scale-free architecture and motivate relevant studies for random walks running on complex random networks with multiple traps.
description: Definitive version accepted for publication in Physical Review E
Triple Compton effect: A photon splitting into three upon collision with a free electron
Creators: name: Lötstedt, E.
name: Jentschura, U. D.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: The process in which a photon splits into three after the collision with a free electron (triple Compton effect) is the most basic process for the generation of a high-energy multi-particle entangled state composed out of elementary quanta. The cross section of the process is evaluated in two experimentally realizable situations, one employing gamma photons and stationary electrons, and the other using keV photons and GeV electrons of an x-ray free electron laser. For the first case, our calculation is in agreement with the only available measurement of the differential cross section for the process under study. Our estimates indicate that the process should be readily measurable also in the second case. We quantify the polarization entanglement in the final state by a recently proposed multi-particle entanglement measure.
description: 5 pages; RevTeX; to be published in Phys.Rev.Lett
Grußwort - 1650 Jahre Stadt Breisach am Rhein
Creators: name: Rein, Oliver
Publisher: name: Unser Münster / Die Informationsschrift des Münsterbauvereins Breisach e.V.
Year: 2019

description: Unser Münster / Die Informationsschrift des Münsterbauvereins Breisach e.V., Nr. 56 (2019): Unser Münster: 1650 Jahre Stadt Breisach
Investigating the Effectiveness of the Tutorials in Introductory Physics in Multiple Instructional Settings
Creators: name: Slezak, C.
name: Koenig, K. M.
name: Endorf, R. J.
name: Braun, G. A.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Physics Education (physics.ed-ph)
subject: FOS: Physical sciences

description: This paper examines the educational impact of the implementation of "Changes in Energy and Momentum" from the Tutorials in Introductory Physics in five different instructional settings. These settings include (1) a completely computer-based learning environment and (2) use of cooperative learning groups with varying levels of instructor support. Pre- and post-tests provide evidence that a computer-based implementation falls significantly short of classroom implementations which involve both collaborative learning groups and interactions with a teaching assistance. Other findings provide insight into the importance of certain elements of instructor training and the appropriate use of the tutorial as an initial introduction to a new concept.
description: 8 Pages, 3 figures, 4 tables
Characterization and Thermal Modification of Local Bentonite for Removal of Zinc Ion from Aqueous Solution
Creators: name: Sishu Hailemariam
Publisher: name: Zenodo
Year: 2017

description: The natural bentonite has small specific surface area and cation exchange capacity. As a result, the focus of this research was directed towards the modification of the surface properties of bentonite to maximize its adsorption capacity. To achieve this aim, the research study was carried out by two stages; (1) Thermal modification of Ethiopian bentonite and (2) characterization, adsorption performance evaluation and kinetics study of the modified Ethiopian bentonite for removal of Zn(II). Characterization of both the raw and thermally modified bentonite clay for specific surface area and cation exchange capacity, surface functional groups, crystallinity and differential thermal analysis were studied using Methylene blue test, FTIR, XRD, DSC respectively. The surface area was increased from 147.1 m2/g to 310.2 m2/g as modification temperature increases from 300oC to 500oC. The results obtained from x-ray diffraction showed that the mineral is composed of montmorillonite and other impurities such as quartz, feldspar, muscovite, cristobalite and hematite
Generalversammlung des Münsterbauvereins Breisach e.V. am 8. April 2019 / Sonderführungen des Vorstandes des Münsterbauvereins 2020
Creators: name: Grom, Erwin
Publisher: name: Unser Münster / Die Informationsschrift des Münsterbauvereins Breisach e.V.
Year: 2019

description: Unser Münster / Die Informationsschrift des Münsterbauvereins Breisach e.V., Nr. 56 (2019): Unser Münster: 1650 Jahre Stadt Breisach
Imprints of Cosmic Phase Transition in Inflationary Gravitational Waves
Creators: name: Jinno, Ryusuke
name: Moroi, Takeo
name: Nakayama, Kazunori
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We discuss the effects of cosmic phase transition on the spectrum of primordial gravitational waves generated during inflation. The energy density of the scalar condensation responsible for the phase transition may become sizable at the epoch of phase transition, which significantly affects the evolution of the universe. As a result, the amplitudes of the gravitational waves at high frequency modes are suppressed. Thus the gravitational wave spectrum can be a probe of phase transition in the early universe.
description: 4 pages, 2 figures
Schwäbisch Gmünd-Brandstatt: Keramikfunde aus einer Kellerverfüllung der Zeit um 1800
Creators: name: Gross, Uwe
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2019

description: Fundberichte aus Baden-Württemberg, Bd. 24 (2000): Fundberichte aus Baden-Württemberg
title: Старение как объект исследования в социальных науках
Creators: name: Парфенова, О. А.
Publisher: name: Реноме
Year: 2024

description: В статье представлен обзор институционализации старения в качестве предмета исследования социальных наук. Постепенно дрейфуя из сугубо медико-биологической области, старение начинает изучаться в рамках отдельной дисциплины — геронтологии, которая, в свою очередь, трансформируется сначала в социальную, затем в критическую геронтологию и, наконец, в культурную геронтологию. В настоящее время старение активно изучается представителями социальных наук и социологами, преимущественно западными. Институционализация направления происходит посредством создания и развития тематических журналов, включения тематики старения в качестве регулярной в программы крупных международных конференциях по социальным наукам, появление исследовательских проектов и даже отдельных организаций, сфокусированных на старении. Развитие тематики в российском контексте имеет, как и многое другое, догоняющий характер и воплощается в разных формах.
(Fire)fighting the pandemic: PTSD and depression symptom profiles and longitudinal correlates
Creators: name: Ansah, Winnie C. A.
name: Lommen, Miriam J. J.
name: Lenferink, Lonneke I. M.
Publisher: name: Taylor & Francis
Year: 2024
Subjects: subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Mental Health
subject: Hematology

description: Background: Firefighters face regular exposure to potentially traumatic events, which is associated with the development of post-traumatic stress disorder (PTSD) and depression. Despite the high comorbidity, there remains limited understanding of the co-occurrence of PTSD and depression in terms of symptom patterns. Due to the unique stressors added by the COVID-19 pandemic, it is relevant to also understand this comorbidity in light of the impact of the COVID-19 pandemic. Objective: This study aimed to identify PTSD and depression symptom profiles in firefighters, and correlates thereof, using latent profile analysis (LPA). Method: 139 Dutch Firefighters (93% male) completed self-report surveys prior to the COVID-19 pandemic (T1) and after the outbreak COVID-19 pandemic (T2) on PTSD, depression, COVID-19 related stressors and other relevant correlates. Results: LPA demonstrated the best fit for a three-profile solution for PTSD and depression at T2 encompassing a low symptom profile (35%), a moderate symptom profile (46%), and an elevated symptom profile (19%). Profiles displayed mostly below clinical range scores for both PTSD and depression at T2. PTSD severity at T1, depression severity at T1, loneliness at T2, COVID-19-related stressors at T2 were significantly and positively related to PTSD and depression symptom profiles at T2. Conclusion: Our results shed light on the resilience of firefighters. Even in light of COVID-19 pandemic, firefighters seemed to maintain generally low levels of psychopathology. Despite firefighters’ overall resilience, our findings highlight loneliness and the negative impact of the COVID-19 pandemic as potential risk factors for increased severity of PTSD and depression symptoms. Three symptom profiles of PTSD and depression emerged in a sample of Dutch firefighters.Firefighters displayed mostly below clinical threshold PTSD and depression levels, emphasizing their resilience.Loneliness and COVID-19 stressors were identified as potential risk factors for PTSD and depression symptoms in firefighters. Three symptom profiles of PTSD and depression emerged in a sample of Dutch firefighters. Firefighters displayed mostly below clinical threshold PTSD and depression levels, emphasizing their resilience. Loneliness and COVID-19 stressors were identified as potential risk factors for PTSD and depression symptoms in firefighters.
title: The Personal and Professional Challenges Encountered by ‘Global Majority’ Individuals Experiencing and Practicing Leadership in the UK.
Creators: name: Jackson, Lace Mahalia
Publisher: name: The Open University
Year: 2023

description: This PhD study explores leadership and identity as socially constructed phenomena within UK society and organisations. Extant organisation, leadership and identity literature offers some insight into the barriers to career progression and the lack of homophilous ties to critical leadership networks for marginalised groups. However, it does not account for the lived experience of global majority individuals or offer an in-depth explanation of the occluded reasons underpinning structural inequalities or social and material consequences. I interrogate such lived experiences and intrinsic reasons from a critical race perspective. Narrative and genre analysis are used to examine the semi-structured interviews of thirty-five global majority individuals. These interviews are assembled in an evocative narrative of leadership co-constructed by research participants and autoethnographic reflections from the author, with the author in the role of a native autoethnographer. The study finds that even though global majority leaders can thrive by drawing on cultural capital and relational leadership enactments, they still face profound barriers in their experience and practice of leadership. Consistent with Yiannis Gabriel’s work on genres in narratives, dominant genres of tragedy, comedy and epic drama feature highly in the analysis of participants’ leadership and identity construction. In addition, horror emerges as a prevailing genre signalling something quite unique to leadership experienced by global majority individuals within UK-based organisations, such as rootlessness and unbelonging. I present four themes linked to the experience of leadership and one concerning the practice of global majority individuals in response. The thesis's contribution focuses on how the perspectives of global majority people in the UK are often downplayed or ignored in the broader organisation, leadership, and identity literature. It urges future research that draws out this group's rich, challenging, and diverse experiences to build towards a more emancipatory view of the potential for leadership theory and practice.
Passive optical switching of photon pairs using a spontaneous parametric fiber loop
Creators: name: Zhao, Ningbo
name: Yang, Lei
name: Li, Xiaoying
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We study a novel scheme named spontaneous parametric fiber loop (SPFL), configured by deliberately intro- ducing dispersive elements into the nonlinear Sagnac loop, and show it can function as a passive switch of photon pairs. The two-photon state coming out of SPFL highly depends on the dispersion induced phase difference of photon pairs counter-propagating in the loop. By properly managing the dispersive elements, the signal and idler photons of a pair with a certain detuning and bandwidth can be directed to the desired spatial modes of SPFL. If the photon pairs are used to generate heralded single photons, the SPFL can be viewed as a switch of single photons. Moreover, our investigation about the dispersion based phase modulation is also beneficial for designing all fiber sources of entangled photon pairs.
description: to appear in Opt. Lett
title: Перспективы изучения отложенного старения в России и Европе (эссе)
Creators: name: Григорьева, И. А.
Publisher: name: Реноме
Year: 2024

description: В настоящем эссе критически проанализированы актуальные направления современных социальных исследований старения. Рассмотрены ключевые направления, которыми занимается Центр социальных исследований старения Социологического института РАН — филиала ФНИСЦ РАН, и проанализированы перспективы социологических исследований возраста и старения.
Some Computational Aspects of Essential Properties of Evolution and Life
Creators: name: Zenil, Hector
name: Marshall, James A. R.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Computational Complexity (cs.CC)
subject: Information Theory (cs.IT)
subject: Adaptation and Self-Organizing Systems (nlin.AO)
subject: Pattern Formation and Solitons (nlin.PS)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: While evolution has inspired algorithmic methods of heuristic optimisation, little has been done in the way of using concepts of computation to advance our understanding of salient aspects of biological phenomena. We argue that under reasonable assumptions, interesting conclusions can be drawn that are of relevance to behavioural evolution. We will focus on two important features of life--robustness and fitness--which, we will argue, are related to algorithmic probability and to the thermodynamics of computation, disciplines that may be capable of modelling key features of living organisms, and which can be used in formulating new algorithms of evolutionary computation.
description: Invited contribution to the ACM Ubiquity Symposium on Evolutionary Computation
title: Корпоративное обучение сотрудников на базе «EdTech» компании в условиях бизнес-процессов
Creators: name: Потапов, Д. А.
name: Маркова, Н. Г.
Publisher: name: Реноме
Year: 2024

description: В статье анализируются аспекты обучения сотрудников в условиях оторванности от практик решения бизнес-задач и затрудненного профессионального самоопределения в современном мире. Выявляется причина этого явления в условиях сложившейся системы образования и рассматриваются шаги по преодолению данной проблемы. Рассматриваются процессы взаимодействия «HR-специалистов» и выпускников учебных заведений и опытных специалистов в условиях бизнеса. Акцентируется внимание на «HR-инструментах» по развитию «hard-skills — твердых навыков, soft-skills — гибких навыков» и ценностей сотрудников в EdTech-компании с учетом бизнес-задач. Актуализируется соответствие компетенций сотрудника задачам бизнеса. В статье на примере крупной EdTech-компании — Educate Online Inc — транслируется пошаговый сценарий развития всех знаний, умений и навыков наряду с ценностями у взрослого поколения через призму андрагогики.
Electromagnetic response of a metamaterial with field-gradient-induced transparency
Creators: name: Tamayama, Yasuhiro
name: Nakanishi, Toshihiro
name: Wakasa, Yasuhiro
name: Kanazawa, Tetsuo
name: Sugiyama, Kazuhiko
name: Kitano, Masao
Publisher: name: arXiv
Year: 2011
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We investigate a dynamically controllable electromagnetically induced transparency-like metamaterial. The unit structure of the metamaterial consists of a low-quality-factor resonator and a high-quality-factor resonator. The field gradient of the incident electromagnetic wave in the transverse direction induces coupling between these two types of resonators and causes a transparency phenomenon. We present the simulation and experimental results for the dynamic control of the electromagnetic response.
description: 7 pages, 6 figures
13C NMR study of the magnetic properties of the quasi-one-dimensional conductor, (TMTTF)2SbF6
Creators: name: Iwase, F.
name: Sugiura, K.
name: Furukawa, K.
name: Nakamura, T.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Magnetic properties in the quasi-one-dimensional organic salt (TMTTF)2SbF6 are investigated by 13C NMR under pressures. Antiferromagnetic phase transition at ambient pressure (AFI) is confirmed. Charge-ordering is suppressed by pressure and is not observed under 8 kbar. For 5 < P < 20 kbar, a sharp spectrum and the rapid decrease of the spin-lattice relaxation rate 1/T1 were observed below about 4 K, attributed to a spin-gap transition. Above 20 kbar, extremely broadened spectrum and critical increase of 1/T1 were observed. This indicates that the system enters into another antiferromagnetic phase (AFII) under pressure. The slope of the antiferromagnetic phase transition temperature T_AFII, dT_AFII/dP, is positive, while T_AFI decreases with pressure. The magnetic moment is weakly incommensurate with the lattice at 30 kbar.
description: 8 pages, 9 figures, to appear in Phys. Rev. B
title: Карьера тренера-женщины в спорте с доминированием мужчин: пример юношеских команд по боевым искусствам в Санкт-Петербурге
Creators: name: Скороходова, Н. Д.
Publisher: name: Реноме
Year: 2024

description: Основное содержание исследования составляет анализ биографических интервью с тренерами-женщинами, работающими в боевых искусствах: карате, тайский бокс. В статье раскрываются сценарии стереотипного мышления о «мужской» и «женской» профессиональной деятельности в области тренерства. На основе нарративного анализа 10 биографических интервью с привлечением теории карьерных переходов установлено, что социальное окружение тренеров играет весомую роль в их профессиональном становлении. Рассматриваются также структурные практики, описывающие влияние женщин на тренерских должностях. Особое внимание уделено препятствиям позиционированию женщин в спорте.
Optimal Pacing for Running 400 m and 800 m Track Races
Creators: name: Reardon, James C.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Popular Physics (physics.pop-ph)
subject: Biological Physics (physics.bio-ph)
subject: Physics Education (physics.ed-ph)
subject: FOS: Physical sciences

description: Physicists seeking to understand complex biological systems often find it rewarding to create simple "toy models" that reproduce system behavior. Here a toy model is used to understand a puzzling phenomenon from the sport of track and field. Races are almost always won, and records set, in 400 m and 800 m running events by people who run the first half of the race faster than the second half, which is not true of shorter races, nor of longer. There is general agreement that performance in the 400 m and 800 m is limited somehow by the amount of anaerobic metabolism that can be tolerated in the working muscles in the legs. A toy model of anaerobic metabolism is presented, from which an optimal pacing strategy is analytically calculated via the Euler-Lagrange equation. This optimal strategy is then modified to account for the fact that the runner starts the race from rest; this modification is shown to result in the best possible outcome by use of an elementary variational technique that supplements what is found in undergraduate textbooks. The toy model reproduces the pacing strategies of elite 400 m and 800 m runners better than existing models do. The toy model also gives some insight into training strategies that improve performance.
description: 14 pages, 4 figures, submitted to the American Journal of Physics
Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences
Creators: name: Keppens, J.
name: Shen, Q.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mechanism takes a scenario describing the constituent interacting components of a system and translates it into a useful mathematical model. This paper presents a novel compositional modelling approach aimed at building model repositories. It furthers the field in two respects. Firstly, it expands the application domain of compositional modelling to systems that can not be easily described in terms of interacting functional components, such as ecological systems. Secondly, it enables the incorporation of user preferences into the model selection process. These features are achieved by casting the compositional modelling problem as an activity-based dynamic preference constraint satisfaction problem, where the dynamic constraints describe the restrictions imposed over the composition of partial models and the preferences correspond to those of the user of the automated modeller. In addition, the preference levels are represented through the use of symbolic values that differ in orders of magnitude.
Raymund Gottschalk, Spätrömische Gräber im Umland von Köln
Creators: name: Jäger, Sven
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2020

description: Rezension zu: Raymund Gottschalk, Spätrömische Gräber im Umland von Köln. Rheinische Ausgrabungen Band­ 71. Philipp von Zabern, Darmstadt 2015. 402 Seiten mit 174 Abbildungen und 157 Tafeln. ISBN 978-3-8053-4956-7
description: Fundberichte aus Baden-Württemberg, Bd. 37 (2017): Fundberichte aus Baden-Württemberg
An Improved Implementation and Abstract Interface for Hybrid
Creators: name: Martin, Alan J.
name: Felty, Amy P.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Hybrid is a formal theory implemented in Isabelle/HOL that provides an interface for representing and reasoning about object languages using higher-order abstract syntax (HOAS). This interface is built around an HOAS variable-binding operator that is constructed definitionally from a de Bruijn index representation. In this paper we make a variety of improvements to Hybrid, culminating in an abstract interface that on one hand makes Hybrid a more mathematically satisfactory theory, and on the other hand has important practical benefits. We start with a modification of Hybrid's type of terms that better hides its implementation in terms of de Bruijn indices, by excluding at the type level terms with dangling indices. We present an improved set of definitions, and a series of new lemmas that provide a complete characterization of Hybrid's primitives in terms of properties stated at the HOAS level. Benefits of this new package include a new proof of adequacy and improvements to reasoning about object logics. Such proofs are carried out at the higher level with no involvement of the lower level de Bruijn syntax.
description: In Proceedings LFMTP 2011, arXiv:1110.6685
Assessment of Service Quality and Customer Satisfaction in Public Service: Evidence from Ethiopian Revenue and Customs Authority
Creators: name: Tilahun Bokan
Publisher: name: Zenodo
Year: 2017

description: The purpose of this study was to assess how service quality affects customer satisfaction in the public sector empirical evidence from Ethiopian revenue and customs authority. The study used to identify the relationship between service quality dimensions and customer satisfaction besides the effect of service quality dimensions on customer satisfaction was analysed. To this end gap model of service quality with the application of SERVQUAL instrument. The five dimensions of SERVQUAL instrument named tangibility, reliability, responsiveness, assurance and empathy were used to measure tax payers’ expectation and perception to calculate the gap score within the sector. A total of 384 questionnaire distributed to the tax payers’ those selected in stratified random sampling from different branches of Addis Ababa Administration small and medium tax payers’ office, from this 309 questionnaire were valid and analysed.
A Secured Health Care Application Architecture for Cyber-Physical Systems
Creators: name: Wang, Jin
name: Abid, Hassan
name: Lee, Sungyoung
name: Shu, Lei
name: Xia, Feng
Publisher: name: arXiv
Year: 2012
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: FOS: Computer and information sciences
subject: C.0
subject: 68M14

description: Cyber-physical systems (CPS) can be viewed as a new generation of systems with integrated control, communication and computational capabilities. Like the internet transformed how humans interact with one another, cyber-physical systems will transform how people interact with the physical world. Currently, the study of CPS is still in its infancy and there exist many research issues and challenges ranging from electricity power, health care, transportation and smart building etc. In this paper, an introduction of CPeSC3 (cyber physical enhanced secured wireless sensor networks (WSNs) integrated cloud computing for u-life care) architecture and its application to the health care monitoring and decision support systems is given. The proposed CPeSC3 architecture is composed of three main components, namely 1) communication core, 2) computation core, and 3) resource scheduling and management core. Detailed analysis and explanation are given for relevant models such as cloud computing, real time scheduling and security models. Finally, a medical health care application scenario is presented based on our practical test-bed which has been built for 3 years.
Alter Wein in neuen Schläuchen – oder: Eine weitere Debatte über Sinn und Unsinn des Lateinunterrichts
Creators: name: Beyer, Andrea
name: Liebsch, Ann-Catherine
name: Kipf, Stefan
Publisher: name: Forum Classicum
Year: 2019

description: -
description: Forum Classicum, Nr. 3 (2019): Forum Classicum
Past Achievements and Future Challenges in 3D Photonic Metamaterials
Creators: name: Soukoulis, Costas M.
name: Wegener, Martin
Publisher: name: arXiv
Year: 2011
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: Photonic metamaterials are man-made structures composed of tailored micro- or nanostructured metallo-dielectric sub-wavelength building blocks that are densely packed into an effective material. This deceptively simple, yet powerful, truly revolutionary concept allows for achieving novel, unusual, and sometimes even unheard-of optical properties, such as magnetism at optical frequencies, negative refractive indices, large positive refractive indices, zero reflection via impedance matching, perfect absorption, giant circular dichroism, or enhanced nonlinear optical properties. Possible applications of metamaterials comprise ultrahigh-resolution imaging systems, compact polarization optics, and cloaking devices. This review describes the experimental progress recently made fabricating three-dimensional metamaterial structures and discusses some remaining future challenges.
Holzberg, N. (Hrsg., 2018): Babrios, Fabeln
Creators: name: Schmitz, Dietmar
Publisher: name: Forum Classicum
Year: 2019

description: Rezension zu: Holzberg, N. (Hrsg., 2018): Babrios, Fabeln. Berlin/Boston, De Gruyter, Sammlung Tusculum, 230 S., (ISBN 978-3-11-062165-5)
description: Forum Classicum, Nr. 3 (2019): Forum Classicum
Identify Charged Higgs Boson in $W^\pm H^\mp$ Associated Production at LHC
Creators: name: Bao, Shou-Shan
name: Gong, Xue
name: Li, Hong-Lei
name: Li, Shi-Yuan
name: Si, Zong-Guo
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We investigate the possibility to discover the charged Higgs via $pp\to W^{\pm}H^{\mp}\to l+\met+b\bar{b}jj$ process at LHC, which suffers from large QCD backgrounds. We optimize the kinematic cuts to suppress the backgrounds, so that the reconstruction of the charged Higgs through hadronic decay is possible. The angular distribution of the b-jet from $H^{\pm}$ decay is investigated as a way to identify the charged scalar from vector bosons.
Construction du questionnaire d'enquête 2024 à la BCUL - site Riponne : fiches descriptives des questions
Creators: name: Lebouleur, Delphine
Publisher: name: Zenodo
Year: 2024
Subjects: Usagers
Pratiques culturelles
Post COVID-19
Méthodes d'enquête
Bibliothèques

description: Ce document a été réalisé dans le cadre de l’enquête menée en 2024 sur le site Riponne de la Bibliothèque Cantonale et Universitaire de Lausanne (BCUL) concernant l’évolution post COVID-19 des pratiques culturelles de ses usagers-ères.

Il a permis un travail collaboratif dans l’élaboration des questions, tout en conservant la trace des objectifs visés, du paramétrage réalisé sur Qualtrics, des sources consultées et des réflexions menées, dans la perspective d’une étude longitudinale.

Il constitue en outre un document complémentaire au mémoire de Master correspondant, intitulé "Comprendre l’évolution post COVID-19 des pratiques culturelles des usagers : le cas de la BCU Lausanne – site Riponne" (DOI 10.5281/zenodo.13749363).
Stability of de Sitter Solutions in Non-local Cosmological Models
Creators: name: Elizalde, E.
name: Pozdeeva, E. O.
name: Vernov, S. Yu.
Publisher: name: arXiv
Year: 2012
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: A non-local gravity model, which includes a function $f(\Box^{-1} R)$, where $\Box$ is the d'Alembert operator, is considered. For the model with an exponential $f(\Box^{-1} R)$ de Sitter solutions are explored, without any restrictions on the parameters. Using Hubble-normalized variables, the stability of the de Sitter solutions is investigated, with respect to perturbations in the Bianchi I metric, in the case of zero cosmological constant, and sufficient conditions for stability are obtained.
description: 10 pages, has been published in the proceedings of the XXth International Workshop on High Energy Physics and Quantum Field Theory (QFTHEP'2011), http://pos.sissa.it/cgi-bin/reader/conf.cgi?confid=138
title: Untersuchung zum Zerspanverhalten von Elastomerschäumen mit dem Ziel einer wirtschaftlichen Fertigung von Feder- Dämpfer-Bauteilen
title: Investigation of Cutting Elastomer Foam with the Objective of Producing Spring-Damper Parts Economically
titleType: AlternativeTitle
Creators: name: Gotsch, Falko
Publisher: name: TUHH Universitätsbibliothek
Year: 2009
Subjects: subject: cutting
subject: elastomer
subject: cutting force
subject: turning
subject: milling
subject: profitableness
classificationCode: 6
subject: Technology::600: Technology
classificationCode: 52.75
subject: Spanende Materialbearbeitung
subject: Spanende Bearbeitung
subject: Elastomer
subject: Schnittkraft
subject: Drehen
subject: Fräsen
subject: Wirtschaftlichkeit

description: Elastomerbauteile werden überwiegend urformend durch Gießen oder Pressen hergestellt. Dennoch stellt eine spanende Bearbeitung aus Halbzeugen eine Alternative dar, die unter bestimmten Bedingungen sowohl wirtschaftlich als auch technologisch vorteilhaft ist. In der Arbeit werden grundlegende Erkenntnisse zum Zerspanverhalten von Elastomerschäumen dargestellt sowie deren technisch-wirtschaftliche Möglichkeiten und Grenzen der spanenden Bearbeitung an repräsentativen Bauteilen aufgezeigt.
description: Elastomer parts are generally produced by casting or pressing. Nevertheless machining semifinished parts with defined cutting edge is a feasible alternative method of production, which under certain conditions is both economically and technically advantageous. This research provides basic knowledge of the cutting behaviour of elastomer foams and shows technical and economical possibilities and limitations of a production by chipping.
Grab 102 vom Diirrnberg bei Hallein
Creators: name: Stöllner, Thomas
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2020

description: -
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 76 Nr. 1 (1998)
title: Живая индология в МАЭ в 1920-1930-е годы
Creators: name: Краснодембская
name: Соболева, Е. С.
Publisher: name: Реноме
Year: 2024

description: Традиция изучения «живой Индии» с конца XIX в. развивалась в Отделе Индии академического Музея антропологии и этнографии. Продолжая завет И. В. Минаева, командированные в Южную Азию в 1914-1918 гг. Александр Михайлович и Людмила Александровна Мерварт собирали знаковые для местных культур предметы и фиксировали этнографическую информацию в музейных описях. Их коллекции легли в основу классической экспозиции «Народы Южной Азии» МАЭ, просуществовавшей до 2023 г. Супруги Мерварт создали Отдел Индии МАЭ в 1924 г. Туда приглашали на работу молодых индологов — выпускников вузов нашей страны. Во второй половине 1920-х гг. А. М. Мерварт обучал «живой индологии» (языкам, истории, этнографии, искусству Индии) студентов разных факультетов и отделений Ленинградского восточного института, Ленинградского института живых Восточных Языков, слушателей курсов при Государственном Институте истории Искусств и др. учебных заведениях. В 1930-е гг заведующий Кабинетом Индии МАЭ Вирендранат Чатопадайя также активно участвовал в формировании традиций преподавания востоковедения в ленинградских вузах. В 1930-е гг. в Отделе Индии работали востоковеды Б. В. Семичёв и В. Е. Краснодембский. Судьба сотрудников Отдела Индии была непростой, между назначениями заведующих имелись значительные временные промежутки, так что прямой преемственности не было. Богатый потенциал музейных материалов и получаемое образование позволяли ученым работать по специальности и музейными средствами продвигать индийскую культуру в России.
Surfaces containing a family of plane curves not forming a fibration
Creators: name: Sierra, José Carlos
Publisher: name: arXiv
Year: 2012
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: We complete the classification of smooth surfaces swept out by a 1-dimensional family of plane curves that do not form a fibration. As a consequence, we characterize manifolds swept out by a 1-dimensional family of hypersurfaces that do not form a fibration.
description: Author's post-print, final version published online in Collect. Math
Protocolo Programa Saúde Na Escola
Creators: name: Baker, Patrícia Andréa Godinho
name: Melo, Ceci Baker
name: Siqueira, Mayra Rolla
name: Carneiro, Camila Araújo Moreira
name: Damasceno, Yohana Sandy Souza
name: Casseb, Tamiris Faro
Publisher: name: Zenodo
Year: 2022

description: Protocolo Programa Saúde Na Escola (PSE)
title: Стратегии коммуникации с аудиторией молодежных лайфстайл блогеров (на материале платформы YouTube)
Creators: name: Федорова, О. А.
name: Журавлева, А. В.
Publisher: name: Реноме
Year: 2024

description: Из многочисленных форматов видеоблогинга на площадке YouTube особый исследовательский интерес представляет лайфстайл, которому посвящена настоящая статья. Видео такого жанра представляют собой спонтанные монологи блогеров на бытовые темы, что приближает эту манеру речи к естественной. В статье рассмотрены методы вербальной коммуникации лайфстайл-блогеров с их аудиторией. Для исследования отобрано 42 видео со средней продолжительностью 20 минут. Изучаемые спикеры принадлежат к одной возрастной категории (15-25 лет) и имеют одну гендерную принадлежность (женщины). Нами были изучены особенности лингвистических портретов каждого из информантов, а также общие тенденции речи лайфстайл-блогеров. В результате проведенного анализа нам удалось выделить и описать пять типов коммуникации со зрителем, к которым прибегают лайфстайл-блогеры: «оптимистический», «остроумный», «наставнический», «профессиональный» и «хаотичный». «Оптимистический» тип характеризуется в первую очередь акцентом на комфорте зрителя, «остроумный» тип подразумевает склонность блогера самовыражаться через использование авторских речевых оборотов, «наставнический» тип ставит своей целью побуждение аудитории к действию, «профессиональному» типу свойственно особое внимание к передаче профессионального и житейского опыта зрителю, «хаотичный» тип отличается спонтанностью и отсутствием ярко выраженной цели высказывания. В ходе исследования удалось выяснить, что речь лайфстайл-блогеров имеет особые паттерны: каждый из спикеров относится к одному из перечисленных выше типов.
Operational cyber incident coordination revisited: providing cyber situational awareness across organizations and countries
Creators: name: Leitner, Maria
name: Skopik, Florian
name: Pahi, Timea
Publisher: name: Universität Regensburg
Year: 2024
Subjects: subject: Coordination and cooperation platform, cyber situational awareness, incident coordination, cyber security
subject: 004 Informatik

description: Cyber situational awareness (CSA) is a prerequisite for justified decision-making and to maintain cyber security. This becomes particularly complex when establishing inter-organizational awareness across sectors. For example, computer security incident response teams (CSIRTs) and national cyber security centers need to establish CSA among countries when coordinating regional cyber incident response. Today’s state of the art of information sharing across larger numbers of organizations is often still the least common denominator in the shape of web-based forms and email reports. These are easily applicable by almost everyone who wants to report findings even in stressful situations. However, these do not prove to be efficient for the coordinator that aggregates and merges the data. Therefore, a cyber coordination platform using online surveys is proposed. This approach uses surveys to collect, aggregate and visualize data in a dashboard to support cyber coordination and knowledge management. Furthermore, the online surveys are easy to use and respond to and therefore simplify the participation of stakeholders. We propose an architecture and implement a prototype using popular web application frameworks. The evaluation in a user study revealed promising results with respect to increased efficiency and decreased resource requirements for establishing situational awareness.
Harnessing microbes: a new approach to carbon sequestration in cocoa agroforestry
Creators: name: Alcívar Intriago, Fabricio Enrique
name: Mero Vera, Karla Patricia
name: Velez Guerrero, Yahaira Rebeca
Publisher: name: Visions for Sustainability
Year: 2024

description: This study evaluated the carbon sequestration potential of fungal and bacterial strains in cocoa plantation soils in Ecuador’s coastal region using a randomized complete block design. Four microbial treatments were tested: Trichoderma longibrachiatum (T1), Trichoderma reesei (T2), Bacillus subtilis (T3) and Bacillus licheniformis (T4). All microorganisms showed high viability, with bacterial and fungal colony-forming units exceeding 10⁸ and 10⁶ CFU/ml, respectively. T. longibrachiatum and T. reesei significantly outperformed the bacterial treatments in carbon sequestration (p<0.0001). T. reesei achieved a 29% increase in carbon sequestration after the first application, while B. subtilis showed an 11.25% increase after four applications, though with decreasing efficacy. B. licheniformis maintained NH₄⁺ at 19.00 ppm, Zn at 5.60 ppm, Mn at 5.20 ppm, and B at 0.61 ppm, while increasing P to 66.00 ppm, K to 1.89 Meq/100ml, Ca to 19.00 Meq/100ml, Mg to 5.10 Meq/100ml, S to 50.00 ppm, Cu to 5.20 ppm, and Fe to 54.00 ppm. Future research should focus on optimizing microbial dosages and application methods to enhance carbon capture and cocoa productivity.
description: Visions for Sustainability, NEW Visions online
Can We Learn to Beat the Best Stock
Creators: name: Borodin, A.
name: El-Yaniv, R.
name: Gogan, V.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Trading and Market Microstructure (q-fin.TR)
subject: FOS: Computer and information sciences
subject: FOS: Economics and business

description: A novel algorithm for actively trading stocks is presented. While traditional expert advice and "universal" algorithms (as well as standard technical trading heuristics) attempt to predict winners or trends, our approach relies on predictable statistical relations between all pairs of stocks in the market. Our empirical results on historical markets provide strong evidence that this type of technical trading can "beat the market" and moreover, can beat the best stock in the market. In doing so we utilize a new idea for smoothing critical parameters in the context of expert learning.
A Multidimensional analysis of food security for sustainable development
Creators: name: Hiranya, Jayadeva
name: Joshi, Dr Harish G
Publisher: name: Visions for Sustainability
Year: 2024

description: Ensuring access to sufficient and nutritious food is a vital component in attaining sustainable development, especially in developing nations like India.  This study aims to comprehend the importance of food security measures in relation to Sustainable Development. We performed an analysis employing data obtained from the official Food and Agriculture Organisation databases and the National Family and Health Survey of India. This study utilises a comprehensive quantitative approach, employing graph analysis, trend analysis, and literature reviews to examine the several dimensions of food security in India. These dimensions include availability, access, utilisation, stability, agency, and sustainability. The results emphasise the importance of policy in improving food security and encouraging healthy diets, while considering the current state of affairs. This paper argues that achieving sustainable development in India requires not just increasing food production but also adopting responsible food consumption practices and optimal utilization the use of current resources.
description: Visions for Sustainability, NEW Visions online