cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems
Creators: name: Gleirscher, Mario
name: Peleska, Jan
Publisher: name: arXiv
Year: 2021
Subjects: subject: Software Engineering (cs.SE)
subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences

description: Verified controller synthesis uses world models that comprise all potential behaviours of humans, robots, further equipment, and the controller to be synthesised. A world model enables quantitative risk assessment, for example, by stochastic model checking. Such a model describes a range of controller behaviours some of which -- when implemented correctly -- guarantee that the overall risk in the actual world is acceptable, provided that the stochastic assumptions have been made to the safe side. Synthesis then selects an acceptable-risk controller behaviour. However, because of crossing abstraction, formalism, and tool boundaries, verified synthesis for robots and autonomous systems has to be accompanied by rigorous testing. In general, standards and regulations for safety-critical systems require testing as a key element to obtain certification credit before entry into service. This work-in-progress paper presents an approach to the complete testing of synthesised supervisory controllers that enforce safety properties in domains such as human-robot collaboration and autonomous driving. Controller code is generated from the selected controller behaviour. The code generator, however, is hard, if not infeasible, to verify in a formal and comprehensive way. Instead, utilising testing, an abstract test reference is generated, a symbolic finite state machine with simpler semantics than code semantics. From this reference, a complete test suite is derived and applied to demonstrate the observational equivalence between the synthesised abstract test reference and the generated concrete controller code running on a control system platform.
description: In Proceedings FMAS 2021, arXiv:2110.11527
Filaments in Galactic Winds Driven by Young Stellar Clusters
Creators: name: Rodriguez-Gonzalez, Ary
name: Esquivel, Alejandro
name: Velazquez, Pablo
name: Raga, Alejandro
name: Melo, Veronica
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The starburst galaxy M82 shows a system of H$α$-emitting filaments which extend to each side of the galactic disk. We model these filaments as the result of the interaction between the winds from a distribution of Super Stellar Clusters (SSCs). We first derive the condition necessary for producing a radiative interaction between the cluster winds (a condition which is met by the SSC distribution of M82). We then compute 3D simulations for SSC wind distributions which satisfy the condition for a radiative interaction, and also for distributions which do not satisfy this condition. We find that the highly radiative models, that result from the interaction of high metallicity cluster winds, produce a structure of H$α$ emitting filaments, which qualitatively agrees with the observations of the M82, while the non-radiative SSC wind interaction models do not produce filamentary structures. Therefore, our criterion for radiative interactions (which depends on the mass loss rate and the terminal velocity of the SSC winds, and the mean separation between SSCs) can be used to predict whether or not an observed galaxy should have associated H$α$ emitting filaments.
description: 10 pages, 6 Figures. ApJ Accepted, August 7, 2008
Additional file 3 of Article 4: Impact assessment of supervision performance assessment and recognition strategy (SPARS) to improve supply chain management in health facilities in Uganda: a national pre and post study
Creators: name: Ladwar, Denis Okidi
name: Sembatya, Moses Nixon
name: Amony, Nancy Miriam
name: Morries Seru
name: Ross-Degnan, Dennis
name: Garabedian, Laura
name: Trap, Birna
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Cell Biology
subject: Biotechnology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Science Policy

description: Additional file 3: Completeness of measures at first and last visit.
Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles
Creators: name: Lehmann, Sascha
name: Rogalla, Antje
name: Neidhardt, Maximilian
name: Schlaefer, Alexander
name: Schupp, Sibylle
Publisher: name: arXiv
Year: 2021
Subjects: subject: Systems and Control (eess.SY)
subject: Formal Languages and Automata Theory (cs.FL)
subject: Computer Science and Game Theory (cs.GT)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: Autonomous systems are often applied in uncertain environments, which require prospective action planning and retrospective data evaluation for future planning to ensure safe operation. Formal approaches may support these systems with safety guarantees, but are usually expensive and do not scale well with growing system complexity. In this paper, we introduce online strategy synthesis based on classical strategy synthesis to derive formal safety guarantees while reacting and adapting to environment changes. To guarantee safety online, we split the environment into region types which determine the acceptance of action plans and trigger local correcting actions. Using model checking on a frequently updated model, we can then derive locally safe action plans (prospectively), and match the current model against new observations via reachability checks (retrospectively). As use case, we successfully apply online strategy synthesis to medical needle steering, i.e., navigating a (flexible and beveled) needle through tissue towards a target without damaging its surroundings.
description: In Proceedings FMAS 2021, arXiv:2110.11527
Multiband superconductivity and penetration depth in PrOs4Sb12
Creators: name: MacLaughlin, D. E.
name: Shu, Lei
name: Heffner, R. H.
name: Sonier, J. E.
name: Callaghan, F. D.
name: Morris, G. D.
name: Bernal, O. O.
name: Yuhasz, W. M.
name: Frederick, N. A.
name: Maple, M. B.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The effective superconducting penetration depth measured in the vortex state of PrOs4Sb12 using transverse-field muon spin rotation (TF-muSR) exhibits an activated temperature dependence at low temperatures, consistent with a nonzero gap for quasiparticle excitations. In contrast, Meissner-state radiofrequency (rf) inductive measurements of the penetration depth yield a T^2 temperature dependence, suggestive of point nodes in the gap. A scenario based on the recent discovery of extreme two-band superconductivity in PrOs4Sb12 is proposed to resolve this difference. In this picture a large difference between large- and small-gap coherence lengths renders the field distribution in the vortex state controlled mainly by supercurrents from a fully-gapped large-gap band. In zero field all bands contribute, yielding a stronger temperature dependence to the rf inductive measurements.
description: 2 pages, 2 figures, submitted for publication in Proc. Int. Conf. on Strongly Correlated Electron Systems, Houston, May 2007
การประชาสัมพันธ์และการส่งเสริมการสมัครเข้าทำงานของนิสิตนักศึกษา
Creators: name: ภัสสรา  เปรมประเสริฐ
Publisher: name: จุฬาลงกรณ์มหาวิทยาลัย
Year: 2011
Subjects: การประชาสัมพันธ์ส่งเสริมการสมัครเข้าทำงาน, แรงจูงใจ

description: 2, 5, วารสารวิชาการและวิจัย มทร.พระนคร
Additional file 4 of Article 4: Impact assessment of supervision performance assessment and recognition strategy (SPARS) to improve supply chain management in health facilities in Uganda: a national pre and post study
Creators: name: Ladwar, Denis Okidi
name: Sembatya, Moses Nixon
name: Amony, Nancy Miriam
name: Morries Seru
name: Ross-Degnan, Dennis
name: Garabedian, Laura
name: Trap, Birna
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Cell Biology
subject: Biotechnology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Science Policy

description: Additional file 4: Facility and visit characteristics.
Superior Resistance Switching in Monolayer MoS2 Channel Based Gated Binary Resistive RAM via Gate-Bias Dependence and a Unique Forming Process
Creators: name: Ansh
name: Shrivastava, Mayank
Publisher: name: arXiv
Year: 2021
Subjects: subject: Applied Physics (physics.app-ph)
subject: FOS: Physical sciences

description: In this work, we unveil the effect of RS, induced by a current-voltage hysteresis cycles across CVD-grown monolayer MoS2 based gated RRAM, on its transistors electrical and reliability characteristics. A unique gate voltage dependence on the RS is identified which has a remarkable impact on the switching performance of MoS2 RRAM. RS behavior was found to be significantly dependent on the charge conduction in the channel. Moreover, we have shown a potential device forming event when MoS2 gated RRAMs were subjected to a steady-state electrical stress. Both hysteresis and steady state electrical stress were found to disturb the transistor action of these gated RRAMs, which in fact can be used as a signature of RS. Interestingly, current-voltage hysteresis resulted in unipolar RS, whereas steady-state electrical stress before RS measurement led to bipolar RS. Moreover, successive stress cycles of such an electrical stress leads to multiple resistance states, a behavior similar to synaptic properties like long-term potentiation and long-term depression, typically found in memristors. We find that charge transport mechanism dominant in the MoS2 FET in conjunction with steady-state stress induced device forming determine the extent of RS induced in these MoS2 based gated RRAMs. Finally on the basis of insights developed from the dependence on charge transport mechanism and steady-state stress induced forming of MoS2 channel, we propose a certain steady-state electrical stress condition which can be used as a forming process employed prior to use of MoS2 based binary RRAMs for improved switching performance.
การปรับปรุงประสิทธิภาพเชิงความร้อนของเตาต้มเกลือ : กรณีศึกษา อ.บ่อเกลือ จ.น่าน
Creators: name: ยุธนา  ศรีอุดม
Publisher: name: มหาวิทยาลัยเทคโนโลยีราชมงคลล้านนา
Year: 2011
Subjects: เกลือ, การเพิมประสิทธิภาพเชิงความร้อน, เตา, เชื้เพลิงไม้, ระยะเวลาคืนทุน

description: 2, 5, วารสารวิชาการและวิจัย มทร.พระนคร
Silvi Mägi välipäevik nr 34
Creators: name: Mägi, Silvi
Publisher: name: Tallinna Tehnikaülikooli Geoloogia Instituut
Year: 1975
Subjects: Eesti
Ordoviitsium
puuraugud

description: Ordoviitsiumi läbilõike kirjeldus Eesti puuraukudes.
Constructing packings in Grassmannian manifolds via alternating projection
Creators: name: Dhillon, I. S.
name: Heath, R. W.
name: Strohmer, T.
name: Tropp, J. A.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Metric Geometry (math.MG)
subject: FOS: Mathematics
subject: 51N15, 52C17

description: This paper describes a numerical method for finding good packings in Grassmannian manifolds equipped with various metrics. This investigation also encompasses packing in projective spaces. In each case, producing a good packing is equivalent to constructing a matrix that has certain structural and spectral properties. By alternately enforcing the structural condition and then the spectral condition, it is often possible to reach a matrix that satisfies both. One may then extract a packing from this matrix. This approach is both powerful and versatile. In cases where experiments have been performed, the alternating projection method yields packings that compete with the best packings recorded. It also extends to problems that have not been studied numerically. For example, it can be used to produce packings of subspaces in real and complex Grassmannian spaces equipped with the Fubini--Study distance; these packings are valuable in wireless communications. One can prove that some of the novel configurations constructed by the algorithm have packing diameters that are nearly optimal.
description: 41 pages, 7 tables, 4 figures
Additional file 5 of Article 4: Impact assessment of supervision performance assessment and recognition strategy (SPARS) to improve supply chain management in health facilities in Uganda: a national pre and post study
Creators: name: Ladwar, Denis Okidi
name: Sembatya, Moses Nixon
name: Amony, Nancy Miriam
name: Morries Seru
name: Ross-Degnan, Dennis
name: Garabedian, Laura
name: Trap, Birna
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Cell Biology
subject: Biotechnology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Science Policy

description: Additional file 5: Medicines management supervisor and district health officer characteristics.
Silvi Mägi välipäevik nr 35
Creators: name: Mägi, Silvi
Publisher: name: Tallinna Tehnikaülikooli Geoloogia Instituut
Year: 1976
Subjects: Eesti
Ordoviitsium
puuraugud

description: Ordoviitsiumi läbilõike kirjeldus Lasnamäe puuraukudes.
Additional file 6 of Article 4: Impact assessment of supervision performance assessment and recognition strategy (SPARS) to improve supply chain management in health facilities in Uganda: a national pre and post study
Creators: name: Ladwar, Denis Okidi
name: Sembatya, Moses Nixon
name: Amony, Nancy Miriam
name: Morries Seru
name: Ross-Degnan, Dennis
name: Garabedian, Laura
name: Trap, Birna
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Cell Biology
subject: Biotechnology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Science Policy

description: Additional file 6: Number of MMS visits within the first year of SPARS supervision, overall and by level of care.
The effect of filler size on the cure characteristics, processability, mechanical properties, and  morphology of stearic acid-coated CaCO3 filled natural rubber compounds
Creators: name: Wanvimon Arayapranee And Garry L. Rempel
Publisher: name: Rangsit University
Year: 2013
Subjects: natural rubber, filler, stearic acid-coated CaCO3, mechanical properties

description: 2, 3, Rangsit Journal of Arts and Sciences
Parallel worlds : humans, spirits, and ZAR possession in rural northern Sudan
Creators: name: Boddy, Janice Patricia
Publisher: name: University of British Columbia
Year: 2010

description: This thesis concerns the cultural meanings of zar spirit possession in Hofriyat, a Northern Sudanese village. It begins with an interpretive analysis of the Hofriyati everyday world, showing village kinship, marriage, and prevalent customs such as female circumcision to be informed by a common idiom: "interiority" or relative enclosure. In Part II it proceeds to discuss, in terms of that idiom, contexts in which the possession idiom might be invoked: who claims to be possessed, and under what conditions. Here it emerges that zar possession plays an important role in the negotiation and renegotiation of meaning by "rephrasing" interpersonal conflict, symbolically restructuring certain life experiences for the Hofriyati, and effecting realignments of kin relations and social positions in ways deemed favorable to the possessed. Next comes a comparison of the zar propitiation ritual and the local wedding ceremony, in which zar is seen to operate as a meta-cultural text, a comment upon the realities of everyday life and the informative idiom of village culture. This idea is carried forward into Part III, where the system of zar beliefs and spirit manifestations is discussed in its own right. Here possession is viewed as an esthetic form and ' potential messages to be derived from the identities and associations of the spirits are considered. In sum, this thesis is an attempt to describe Hofriyati cultural meanings — the logic of everyday life, its negotiation through acknowledgement of possession affliction, and its secondary or meta-cultural elaboration in ritual and in the system of zar beliefs. It draws principally upon the works of symbolic anthropologists such as Geertz, Turner, and Crapanzano, and upon the insights of Paul Ricoeur for theoretical guidance. However, the "theory of Hofriyati culture" which emerges in the dissertation is understood to be the result of interactions between the researcher and her Hofriyati informants. The thesis is an interpretation, a special sort of negotiated meaning.
Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study
Creators: name: Bhattacharyya, Siddhartha
name: Davis, Jennifer
name: Gupta, Anubhav
name: Narayan, Nandith
name: Matessa, Michael
Publisher: name: arXiv
Year: 2021
Subjects: subject: Software Engineering (cs.SE)
subject: Human-Computer Interaction (cs.HC)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: As aircraft systems become increasingly autonomous, the human-machine role allocation changes and opportunities for new failure modes arise. This necessitates an approach to identify the safety requirements for the increasingly autonomous system (IAS) as well as a framework and techniques to verify and validate that an IAS meets its safety requirements. We use Crew Resource Management techniques to identify requirements and behaviors for safe human-machine teaming behaviors. We provide a methodology to verify that an IAS meets its requirements. We apply the methodology to a case study in Urban Air Mobility, which includes two contingency scenarios: unreliable sensor and aborted landing. For this case study, we implement an IAS agent in the Soar language that acts as a copilot for the selected contingency scenarios and performs takeoff and landing preparation, while the pilot maintains final decision authority. We develop a formal human-machine team architecture model in the Architectural Analysis and Design Language (AADL), with operator and IAS requirements formalized in the Assume Guarantee REasoning Environment (AGREE) Annex to AADL. We formally verify safety requirements for the human-machine team given the requirements on the IAS and operator. We develop an automated translator from Soar to the nuXmv model checking language and formally verify that the IAS agent satisfies its requirements using nuXmv. We share the design and requirements errors found in the process as well as our lessons learned.
description: In Proceedings FMAS 2021, arXiv:2110.11527
Additional file 1 of Knowledge, attitudes, and practice of cervical cancer prevention among health workers in rural health centres of Northern Uganda
Creators: name: Obol, James Henry
name: Lin, Sophia
name: Obwolo, Mark James
name: Harrison, Reema
name: Richmond, Robyn
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1. Study questionnaire
Silvi Mägi välipäevik nr 37
Creators: name: Mägi, Silvi
Publisher: name: Tallinna Tehnikaülikooli Geoloogia Instituut
Year: 1976
Subjects: Eesti
Leningradi oblast
Ordoviitsium
paljandid

description: Ordoviitsiumi läbilõike kirjeldus Eesti ja Leningradi oblasti paljandites.
Detecting groups of similar components in complex networks
Creators: name: Wang, J.
name: Lai, C. -H.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Data Analysis, Statistics and Probability (physics.data-an)
subject: Physics and Society (physics.soc-ph)
subject: FOS: Physical sciences

description: We study how to detect groups in a complex network each of which consists of component nodes sharing a similar connection pattern. Based on the mixture models and the exploratory analysis set up by Newman and Leicht (Newman and Leicht 2007 {\it Proc. Natl. Acad. Sci. USA} {\bf 104} 9564), we develop an algorithm that is applicable to a network with any degree distribution. The partition of a network suggested by this algorithm also applies to its complementary network. In general, groups of similar components are not necessarily identical with the communities in a community network; thus partitioning a network into groups of similar components provides additional information of the network structure. The proposed algorithm can also be used for community detection when the groups and the communities overlap. By introducing a tunable parameter that controls the involved effects of the heterogeneity, we can also investigate conveniently how the group structure can be coupled with the heterogeneity characteristics. In particular, an interesting example shows a group partition can evolve into a community partition in some situations when the involved heterogeneity effects are tuned. The extension of this algorithm to weighted networks is discussed as well.
description: 14 pages, 10 figures, latex, more discussions added, typos cleared
Silvi Mägi välipäevik nr 39
Creators: name: Mägi, Silvi
Publisher: name: Tallinna Tehnikaülikooli Geoloogia Instituut
Year: 1977
Subjects: Eesti
Leningradi oblast
Ordoviitsium
puuraugud

description: Ordoviitsiumi läbilõike kirjeldus Eesti ja Leningradi oblasti puuraukudes.
Evolution and Distribution of Current Helicity in Full-Sun Simulations
Creators: name: Yeates, A. R.
name: Mackay, D. H.
name: van Ballegooijen, A. A.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Current helicity quantifies the location of twisted and sheared non-potential structures in a magnetic field. We simulate the evolution of magnetic fields in the solar atmosphere in response to flux emergence and shearing by photospheric motions. In our global-scale simulation over many solar rotations the latitudinal distribution of current helicity develops a clear statistical pattern, matching the observed hemispheric sign at active latitudes. In agreement with observations there is significant scatter and intermixing of both signs of helicity, where we find local values of current helicity density that are much higher than those predicted by linear force-free extrapolations. Forthcoming full-disk vector magnetograms from Solar Dynamics Observatory will provide an ideal opportunity to test our theoretical results on the evolution and distribution of current helicity, both globally and in single active regions.
description: 4 pages, 3 figures, accepted for publication in ApJ Letters
Silvi Mägi välipäevik nr 41
Creators: name: Mägi, Silvi
Publisher: name: Tallinna Tehnikaülikooli Geoloogia Instituut
Year: 1978
Subjects: Läti
Ordoviitsium
puuraugud

description: Ordoviitsiumi läbilõike kirjeldus Läti puuraukudes.
Pontifex Politicus
Creators: name: Schlott, Rene
Publisher: name: KULT_online
Year: 2007

description: Der Sammelband gibt die Beiträge einer Tagung der Friedrich-Ebert-Stiftung wieder, die im Frühjahr 2006 an der Politischen Akademie Berlin stattfand. In sieben Aufsätzen widmen sich die Autoren, die unterschiedlichen wissenschaftlichen Disziplinen (Geschichte, Politik, Kunstgeschichte, Theologie) angehören, dem spannungsreichen Verhältnis von Papsttum und Politik in Geschichte und Gegenwart. Im Mittelpunkt steht dabei die Frage nach der stets ambivalenten Stellung der römisch-katholischen Kirche und ihres Oberhauptes zur Moderne.
description: KULT_online, Nr. 14 (2007): KULT_online 14 (2007)
Globalization and internationalization in engineering education in Africa
Creators: name: Fomunyam, Dr. Kehdinga George
Publisher: name: Mangosuthu University of Technology (MUT)
Year: 2021
Subjects: subject: Mechanical Engineering
subject: FOS: Mechanical engineering

description: Recently, the higher education domain has been on a quest for rapid social, technical, economic and political overhaul as a result of the post-industrial environment. The quest has led to major changes and evolution in higher education institutes of learning. These factors of evolution in higher education are globalization and internationalization. Globalization and internationalization are closely related but different. Globalization can be likened to the context of economic and academic trends that are tailored to meet 21st century realities while internationalization is the process of planning and implementing products and services so that they can be adaptable to specific context such as language and culture. This research seeks to understand the approaches towards globalization and internationalization of engineering education in Africa. findings from the study revealed that the practice of engineering education is not only domiciled to a particular country, region or continent. As a result of human development and civilization, it has become global and internationalized and there are various approaches to globalization and internationalization which were expatiated on in the study. This study therefore recommends that there is a need to focus more on provision of adequate facilities such as better internet service and other information and communication technologies to encourage the conduct and practice of engineering education and more impetus should be given to internationalization of engineering education in Africa as it has the capacity to help develop the region.
title: Oncidium; xOncidesa; xIonocidium; xZelenkocidium :
title: Guidelines for the Conduct of Tests for Distinctness, Uniformity and Stability.
titleType: Subtitle
Creators: name: International Union For The Protection Of New Varieties Of Plants,
Publisher: name: International Union for the Protection of New Varieties of Plants,
Year: 0
Subjects: New Varieties of Plants
Oncidium

description: The purpose of these guidelines (“Test Guidelines”) is to elaborate the principles contained in the General Introduction (document TG/1/3), and its associated TGP documents, into detailed practical guidance for the harmonized examination of distinctness, uniformity and stability (DUS) and, in particular, to identify appropriate characteristics for the examination of DUS and production of harmonized variety descriptions.
Quantum Gravity Corrections to the One Loop Scalar Self-Mass during Inflation
Creators: name: Kahya, E. O.
name: Woodard, R. P.
Publisher: name: arXiv
Year: 2007
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Astrophysics (astro-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We compute the one loop corrections from quantum gravity to the self-mass-squared of a massless, minimally coupled scalar on a locally de Sitter background. The calculation was done using dimensional regularization and renormalized by subtracting fourth order BPHZ counterterms. Our result should determine whether quantum gravitational loop corrections can significantly alter the dynamics of a scalar inflaton.
description: 47 pages, 3 figures, 20 tables, uses LaTeX 2 epsilon, version 2 revised for publication in Physical Review D
Lernen ist das Ergebnis sozialer Kooperation
Creators: name: Schraten, Jürgen
Publisher: name: KULT_online
Year: 2007

description: An der Schnittstelle von Soziologie, Pädagogik und Philosophie entwickelt Max Miller in Dissens eine Theorie diskursiven und systemischen Lernens, die sich von den meisten konkurrierenden Entwürfen durch eine Abkehr vom Ansatz des genetischen Individualismus abhebt: Statt von der Möglichkeit eines monologischen Lernens auszugehen, macht Miller soziale und diskursive Prozesse zu notwendigen Voraussetzungen für jeden Lernerfolg. Diese These wird empirisch in der Sozialisation untersucht und in vielfältigen gesellschaftstheoretischen Kontexten entfaltet.
description: KULT_online, Nr. 14 (2007): KULT_online 14 (2007)
Combining White Light and UV Lyman-alpha Coronagraphic Images to determine the Solar Wind Speed: the Quick Inversion Method
Creators: name: Bemporad, Alessandro
name: Giordano, Silvio
name: Zangrilli, Luca
name: Frassati, Federica
Publisher: name: arXiv
Year: 2021
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: This work focuses on the combination of White Light (WL) and UV (Ly-alpha) coronagraphic images to demonstrate the capability to measure the solar wind speed in the inner corona directly with the ratio between these two images (a technique called "quick inversion method"), thus avoiding to account for the line-of-sight (LOS) integration effects in the inversion of data. After a derivation of the theoretical basis and illustration of the main hypotheses in the "quick inversion method", the data inversion technique is tested first with 1D radial analytic profiles, and then with 3D numerical MHD simulations, in order to show the effects of variabilities related with different phases of solar activity cycle and complex LOS distribution of plasma parameters. The same technique is also applied to average WL and UV images obtained from real data acquired by SOHO UVCS and LASCO instruments around the minimum and maximum of the solar activity cycle. Comparisons between input and output velocities show overall a good agreement, demonstrating that this method that allows to infer the solar wind speed with WL-UV image ratio can be complementary to more complex techniques requiring the full LOS integration. The analysis described here also allowed us to quantify the possible errors in the outflow speed, and to identify the coronal regions where the "quick inversion method" performs at the best. The "quick inversion" applied to real UVCS and LASCO data allowed also to reconstruct the typical bimodal distribution of fast and slow wind at solar minimum, and to derive a more complex picture around solar maximum. The application of the technique shown here will be very important for the future analyses of data acquired with multichannel WL and UV (Ly-alpha) coronagraphs, such as Metis on-board Solar Orbiter, LST on-board ASO-S, and any other future WL and UV Ly-alpha multi-channel coronagraph.
description: 14 pages, 8 figures, accepted for Astronomy & Astrophysics
Additional file 2 of Functional improvement in hip pathology is related to improvement in anxiety, depression, and pain catastrophizing: an intricate link between physical and mental well-being
Creators: name: Gudmundsson, Paul
name: Nakonezny, Paul A.
name: Lin, Jason
name: Rebisi Owhonda
name: Richard, Heather
name: Wells, Joel
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Biotechnology
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 2. Hospital Anxiety and Depression Scale (HADS).
Macroscopic graphene membranes and their extraordinary stiffness
Creators: name: Booth, T. J.
name: Blake, P.
name: Nair, R. R.
name: Jiang, D.
name: Hill, E. W.
name: Bangert, U.
name: Bleloch, A.
name: Gass, M.
name: Novoselov, K. S.
name: Katsnelson, M. I.
name: Geim, A. K.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The properties of suspended graphene are currently attracting enormous interest, but the small size of available samples and the difficulties in making them severely restrict the number of experimental techniques that can be used to study the optical, mechanical, electronic, thermal and other characteristics of this one-atom-thick material. Here we describe a new and highly-reliable approach for making graphene membranes of a macroscopic size (currently up to 100 microns in diameter) and their characterization by transmission electron microscopy. In particular, we have found that long graphene beams supported by one side only do not scroll or fold, in striking contrast to the current perception of graphene as a supple thin fabric, but demonstrate sufficient stiffness to support extremely large loads, millions of times exceeding their own weight, in agreement with the presented theory. Our work opens many avenues for studying suspended graphene and using it in various micromechanical systems and electron microscopy.
description: 10 pages, 4 figures. Accepted for Nano Letters. v4 includes corrections to theory, updated references, corrected typos
Relating two standard notions of secrecy
Creators: name: Cortier, Veronique
name: Rusinovitch, Michael
name: Zalinescu, Eugen
Publisher: name: arXiv
Year: 2007
Subjects: subject: Cryptography and Security (cs.CR)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s should never be disclosed while equivalence-based secrecy states that two executions of a protocol with distinct instances for s should be indistinguishable to an attacker. Although the second formulation ensures a higher level of security and is closer to cryptographic notions of secrecy, decidability results and automatic tools have mainly focused on the first definition so far. This paper initiates a systematic investigation of the situations where syntactic secrecy entails strong secrecy. We show that in the passive case, reachability-based secrecy actually implies equivalence-based secrecy for digital signatures, symmetric and asymmetric encryption provided that the primitives are probabilistic. For active adversaries, we provide sufficient (and rather tight) conditions on the protocol for this implication to hold.
description: 29 pages, published in LMCS
Modeling core collapse supernovae in 2 and 3 dimensions with spectral neutrino transport
Creators: name: Bruenn, S. W.
name: Dirk, C. J.
name: Mezzacappa, A.
name: Hayes, J. C.
name: Blondin, J. M.
name: Hix, W. R.
name: Messer, O. E. B.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The overwhelming evidence that the core collapse supernova mechanism is inherently multidimensional, the complexity of the physical processes involved, and the increasing evidence from simulations that the explosion is marginal presents great computational challenges for the realistic modeling of this event, particularly in 3 spatial dimensions. We have developed a code which is scalable to computations in 3 dimensions which couples PPM Lagrangian with remap hydrodynamics [1], multigroup, flux-limited diffusion neutrino transport [2], with many improvements), and a nuclear network [3]. The neutrino transport is performed in a ray-by-ray plus approximation wherein all the lateral effects of neutrinos are included (e.g., pressure, velocity corrections, advection) except the transport. A moving radial grid option permits the evolution to be carried out from initial core collapse with only modest demands on the number of radial zones. The inner part of the core is evolved after collapse along with the rest of the core and mantle by subcycling the lateral evolution near the center as demanded by the small Courant times. We present results of 2-D simulations of a symmetric and an asymmetric collapse of both a 15 and an 11 M progenitor. In each of these simulations we have discovered that once the oxygen rich material reaches the shock there is a synergistic interplay between the reduced ram pressure, the energy released by the burning of the shock heated oxygen rich material, and the neutrino energy deposition which leads to a revival of the shock and an explosion.
description: 10 pages, 3 figures
Co-translational translocation
Creators: name: Faraz Tavili-Houra Abbasi-Melika Bozorgzad
Publisher: name: Zenodo
Year: 2021
Subjects: co-translational translocation - pathway - protein targeting - signal peptides

description: Since the translation of mRNA into protein by a ribosome takes place within the cytosol, proteins destined for secretion or a specific organelle must be translocated. This process can occur during translation, known as co-translational translocation, or after translation is complete, known as post-translational translocation...
Single-Source, Collinear Merged-Beam Experiment for the Study of Reactive Neutral-Neutral Collisions
Creators: name: Dulitz, Katrin
name: Beld-Serrano, Marco van den
name: Stienkemeier, Frank
Publisher: name: arXiv
Year: 2021
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: We present two methods for studying reactive collisions between two atomic or molecular species: a collinear merged-beam method, in which two gas pulses from a single supersonic beam source are coalesced, and an intrabeam-scattering technique, in which a single gas pulse is used. Both approaches, which rely on the laser cooling and deceleration of a laser-coolable species inside a Zeeman slower, can be used for a wide range of scattering studies. Possible experimental implementations of the proposed methods are outlined for autoionizing collisions between helium atoms in the metastable $2^3\mathrm{S}_1$ state and a second, atomic or molecular species. Using numerical trajectory calculations, we provide estimates of the expected on-axis detection efficiency, collision-energy range and collision-energy resolution of the approach. We have experimentally tested the feasibility of such an experiment by producing two gas pulses at very short time intervals, and the results of these measurements are detailed as well.
description: 30 pages, 9 figures
GeoSneakPique: Visual Autocompletion for Geospatial Queries
Creators: name: Setlur, Vidya
name: Battersby, Sarah
name: Wong, Tracy
Publisher: name: arXiv
Year: 2021
Subjects: subject: Human-Computer Interaction (cs.HC)
subject: FOS: Computer and information sciences

description: How many crimes occurred in the city center? And exactly which part of town is the 'city center'? While location is at the heart of many data questions, geographic location can be difficult to specify in natural language (NL) queries. This is especially true when working with fuzzy cognitive regions or regions that may be defined based on data distributions instead of absolute administrative location (e.g., state, country). GeoSneakPique presents a novel method for using a mapping widget to support the NL query process, allowing users to specify location via direct manipulation with data-driven guidance on spatial distributions to help select the area of interest. Users receive feedback to help them evaluate and refine their spatial selection interactively and can save spatial definitions for re-use in subsequent queries. We conduct a qualitative evaluation of the GeoSneakPique that indicates the usefulness of the interface as well as opportunities for better supporting geospatial workflows in visual analysis tasks employing cognitive regions.
description: 5 pages (4 + 1 page references), two figures
Maximal Sets of Mutually Unbiased Quantum States in Dimension Six
Creators: name: Brierley, Stephen
name: Weigert, Stefan
Publisher: name: arXiv
Year: 2008
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We study sets of pure states in a Hilbert space of dimension d which are mutually unbiased (MU), that is, the squares of the moduli of their scalar products are equal to zero, one, or 1/d. These sets will be called a MU constellation, and if four MU bases were to exist for d=6, they would give rise to 35 different MU constellations. Using a numerical minimisation procedure, we are able to identify only 18 of them in spite of extensive searches. The missing MU constellations provide the strongest numerical evidence so far that no seven MU bases exist in dimension six.
description: 19 pages, 6 figures, 4 tables
Additional file 10 of Morphological characterization and genetic diversity analysis of Tunisian durum wheat (Triticum turgidum var. durum) accessions
Creators: name: Maroua Ouaja
name: Bochra A. Bahri
name: Aouini, Lamia
name: Sahbi Ferjaoui
name: Medini, Maher
name: Marcel, Thierry C.
name: Hamza, Sonia
Publisher: name: figshare
Year: 2021
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 10: Table S9. Frequencies of the different phenotypic classes calculated for each trait by regions and by climatic stages.
Accuracy and speed of elongation in a minimal model of DNA replication
Creators: name: Sahoo, M
name: N, Arsha
name: Baral, P R
name: Klumpp, S
Publisher: name: arXiv
Year: 2021
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Biomolecules (q-bio.BM)
subject: Subcellular Processes (q-bio.SC)
subject: FOS: Physical sciences
subject: FOS: Biological sciences

description: Being a dual purpose enzyme, the DNA polymerase is responsible for elongation of the newly formed DNA strand as well as cleaving the erroneous growth in case of a misincorporation. The efficiency of replication depends on the coordination of the polymerization and exonuclease activity of DNA polymerase. Here we propose and analyze a minimal kinetic model of DNA replication and determine exact expressions for the velocity of elongation and the accuracy of replication. We first analyze the case without exonuclease activity. In that case, accuracy is determined by a kinetic competition between stepping and unbinding, with discrimination between correct and incorrect nucleotides in both transitions. We then include exonuclease activity and ask how different modes of additional discrimination in the exonuclease pathway can improve the accuracy while limiting the detrimental effect of exonuclase on the speed of replication. In this way, we ask how the kinetic parameters of the model have to be set to coordinate the two activities of the enzyme for high accuracy and high speed. The analysis also shows that the design of a replication system does not universally have to follow the speed-accuracy trade-off rule, although it does in the biologically realized parameter range. The accuracy of the process is mainly controlled by the crucial role of stepping after erroneous incorporation, which has impact on both polymerase and exonuclease activities of DNA polymerase.
Threshold Resummation for the Top Quark Charge Asymmetry
Creators: name: Almeida, Leandro G.
name: Sterman, George
name: Vogelsang, Werner
Publisher: name: arXiv
Year: 2008
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We study the QCD charge asymmetry in t\bar{t} production at the Tevatron. We investigate the role of higher orders in perturbation theory by considering the resummation of potentially large logarithmic corrections that arise near partonic threshold. This requires us to employ the rapidity-dependent anomalous dimension matrices that describe color mixing due to soft gluon emission in both quark- and gluon-initiated processes. The charge asymmetry appears directly in the resummed cross section at next-to-leading logarithm (NLL), and we find that the first-order expansion of the NLL resummed charge asymmetry reproduces the known fixed-order result for the asymmetry well. Beyond its lowest order, the asymmetric component of the cross section is enhanced by the same leading-logarithmic threshold corrections as the total cross section. As a result, the charge asymmetry is robust with respect to the higher-order perturbative corrections generated by threshold resummation. We observe that the asymmetry increases with pair mass and with scattering angle.
description: 14 pages, 4 figures. One reference added, version to appear in Phys. Rev. D
Additional file 11 of Morphological characterization and genetic diversity analysis of Tunisian durum wheat (Triticum turgidum var. durum) accessions
Creators: name: Maroua Ouaja
name: Bochra A. Bahri
name: Aouini, Lamia
name: Sahbi Ferjaoui
name: Medini, Maher
name: Marcel, Thierry C.
name: Hamza, Sonia
Publisher: name: figshare
Year: 2021
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 11: Table S10. Global Positioning System coordinates, number of durum wheat accessions and regions of the different collecting sites provided by The National Gene Bank.
Improvement of the quality and precision of biomass and carbon equations: case study of mixed-deciduous degraded forest of Thailand
Creators: name: Patthanan Porkar, Wimon Sonchaem
Publisher: name: คณะสิ่งแวดล้อมและทรัพยากรศาสตร์
Year: 2011
Subjects: Mixed-deciduous secondary forest, Aboveground biomass, Specific-species regressionmodel,Biomass equation,Carbon sequestration.

description: 2, 9, Environment and Natural Resources Journal
Markov-Chain Monte Carlo Methods for Simulations of Biomolecules
Creators: name: Berg, Bernd A.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: The computer revolution has been driven by a sustained increase of computational speed of approximately one order of magnitude (a factor of ten) every five years since about 1950. In natural sciences this has led to a continuous increase of the importance of computer simulations. Major enabling techniques are Markov Chain Monte Carlo (MCMC) and Molecular Dynamics (MD) simulations. This article deals with the MCMC approach. First basic simulation techniques, as well as methods for their statistical analysis are reviewed. Afterwards the focus is on generalized ensembles and biased updating, two advanced techniques, which are of relevance for simulations of biomolecules, or are expected to become relevant with that respect. In particular we consider the multicanonical ensemble and the replica exchange method (also known as parallel tempering or method of multiple Markov chains).
description: 34 pages, 13 figures, review article
Electromagnetic Induction Imaging: Signal Detection Based on Tuned-Dressed Optical Magnetometry
Creators: name: Bevilacqua, Giuseppe
name: Biancalana, Valerio
name: Dancheva, Yordanka
name: Fregosi, Alessandro
name: Napoli, Gaetano
name: Vigilante, Antonio
Publisher: name: arXiv
Year: 2021
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: Applied Physics (physics.app-ph)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: A recently introduced tuning-dressed scheme makes a Bell and Bloom magnetometer suited to detect weak variations of a radio-frequency (RF) magnetic field. We envisage the application of such innovative detection scheme as an alternative (or rather as a complement) to RF atomic magnetometers in electromagnetic-induction-imaging apparatuses.
description: 5 pages, 4 figures, 18 refs
supplementary materials 1 from Heterogeneity of performances in several inhibitory control tasks: male rhesus macaques are more easily distracted than females
Creators: name: Loyant, Louise
name: Waller, Bridget M.
name: Micheletta, Jérôme
name: Joly, Marine
Publisher: name: The Royal Society
Year: 2021
Subjects: subject: Evolutionary Biology
subject: FOS: Biological sciences
subject: 170299 Cognitive Science not elsewhere classified
subject: FOS: Psychology
subject: 60801 Animal Behaviour

description: Touch screen training phases and supplementary results (results of additional LMM and GLMM)
การฟื้นฟูสภาพแวดล้อมที่ปนเปื้อนปิโตรเลียมไฮโดรคาร์บอนด้วยพืช
Creators: name: ขนิษฐา สมตระกูล
Publisher: name: มหาวิทยาลัยมหาสารคาม
Year: 2011
Subjects: การฟื้นฟูสภาพแวดล้อมทางชีวภาพ, การฟื้นฟูสภาพแวดล้อมด้วยพืช, ปิโตรเลียมไฮโดรคาร์บอนด้วยพืช

description: 1, 5, วารสารวิชาการและวิจัย มทร.พระนคร