cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Formalizing The Theory of Bit-vectors for Integration of SMT Solvers and Theorem Provers
Creators: name: Khan, Muhammad Harun Ali
Publisher: name: Stanford Digital Repository
Year: 2024
Subjects: Bit-blasting
SMT Solvers
Formalization
Lean
cvc5
Theorem Proving

description: Lean-SMT is a tactic to integrate the Lean Theorem Prover with cvc5, a Satisfiability Modulo Theory
(SMT) solver. To increase automation in Lean, the tactic will reconstruct a proof of unsatisfiability
produced by cvc5 in Lean step by step. For successful proof reconstruction in Lean, every cvc5 proof
rule and rewrite rule must already be a term in Lean’s library. Consequently, for cvc5’s bit-vector
solver, we formalize a theory of bit-vectors in Lean. This includes formalizing a novel bit-vector
representation, bit-blasting theorems, and bit-vector rewrite rules. We discuss the formalization
primarily and some challenges we faced.
MPEC 2024-P71 : 2019 ON
Creators: name: Minor Planet Center Staff
Publisher: name: The Minor Planet Center
Year: 2024
Subjects: subject: Small Solar System bodies
valueUri: http://astrothesaurus.org/uat/1469

description: The Minor Planet Electronic Circulars contain information on unusual minor planets, routine data on comets and natural satellites, and occasional editorial announcements.  They are published on behalf of Division F of the International Astronomical Union by the Minor Planet Center, Smithsonian Astrophysical Observatory, Cambridge, MA 02138, U.S.A.
Verlässliche Partner gefragt: Die Entwicklung lokaler Ökonomie – ein Weg zur Armutsbekämpfung?
Creators: name: Ellwein, Harriet
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Seit gut einem Jahrzehnt hat in der Entwicklungszusammenarbeit weltumspannend ein neues Thema an zentraler Bedeutung gewonnen: die Förderung der Privatwirtschaft.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 25 Nr. 2 (2009): Ohne Moos nichts los? – Entwicklungszusammenarbeit und Armutsbekämpfung kritisch betrachtet
Leveraging Affordance Representations for Robot Learning
Creators: name: Lee, Olivia Y.
Publisher: name: Stanford Digital Repository
Year: 2024
Subjects: robotics
reinforcement learning
affordance learning
foundation models

description: Humans are capable of adapting to novel environments quickly using prior knowledge from past experiences. We can identify new instantiations of previously encountered object classes and easily apply previously learned skills to these new objects, both of which current embodied AI agents struggle with. Online reinforcement learning, where a robotic agent learns a mapping from states to actions to maximize a reward signal, provides a potential solution by enabling robots to learn from trial-and-error. However, current methods are sample-inefficient, lack shaping rewards, and require frequent resets. We propose a method to address the lack of shaping rewards using affordances, the action potential of objects, to create a dense shaping reward for online reinforcement learning. We leverage state-of-the-art vision-language models (VLMs) to predict keypoint-based affordance representations, which we use as intermediate dense rewards for online reinforcement learning, in addition to sparse task completion rewards. We demonstrate that dense shaping rewards speed up online reinforcement learning for robotic manipulation, and enables robots to succeed on a variety of object manipulation tasks, informed by human interaction priors encoded in VLMs.
The relationship between mentalizing, attachment, and the negative symptoms of psychosis.
Creators: name: Shnyien, Ali
Publisher: name: University of Surrey
Year: 2020
Subjects: Psychosis
Schizophrenia
First-episode
Negative symptoms
Attachment
Mentalizing
Mentalization
Distress
Social Anhedonia
Mediation
Cross-sectional design.

description: Objective: Negative symptoms are a major cause of social and functional disability in psychosis and current treatment approaches are yet to meet this therapeutic need (Fusar-Poli et al., 2015). Attachment has been proposed to play a significant role in the development of psychotic symptomology, with mentalizing suggested as a potential pathway through which attachment may impact psychosis (Korver- Neiberg, Berry, Meijer, & 2014; Carr, Hardy, & Fornells-Ambrojo, 2017). This study set out to test this hypothesis by examining the relationship between insecure attachment (anxiety and avoidance dimensions), mentalizing, and the negative symptoms of psychosis in first episode psychosis and general population samples. Design: A quantitative cross-sectional design was used. The hypotheses were tested using correlation, regression, and mediation analysis. Participants: 32 participants experiencing first episode psychosis and 149 general population participants took part in the current study. Participants experiencing first episode psychosis were recruited from Early Intervention in Psychosis services and general population participants were recruited via social media and university networks. Results: Insecure attachment dimensions (anxiety and avoidance) were associated with increased levels of negative symptom severity, distress resulting from symptoms, and mentalizing impairment (hypomentalizing). Mentalizing impairments (hypomentalizing) were linked with increased levels of negative symptom severity and distress. Mentalizing was found to mediate the relationship between insecure attachment and negative symptom severity and distress. These findings were significant across both samples tested. Mediation models were non-significant for social anhedonia. Conclusions: This study’s findings support an aetiological model of psychosis where, mentalizing, specifically hypomentalizing impairments, constitute a pathway through which insecure attachment impacts on the development of negative symptom frequency and distress. Clinical implications and future research directions are discussed. Keywords: Psychosis, Schizophrenia, First-episode, Negative symptoms, Attachment, Mentalizing, Mentalization, Distress, Social Anhedonia, Mediation, Cross-sectional design.
Gradient composite materials for artificial intervertebral discs
Creators: name: Migacz, Katarzyna
name: Chłopek, Jan
name: Morawska-Chochół, Anna
Publisher: name: Institute of Machine Design and Operation, Wrocław University of Technology, Wrocław
Year: 2012
Subjects: composite, gradient material, intervertebral disc replacement

description: Acta of Bioengineering and Biomechanics; 03/2014; ISSN 1509-409X
Den gamle landevej og de nye muligheder
Creators: name: Jensen, Ole B.
Publisher: name: Proceedings from the Annual Transport Conference at Aalborg University
Year: 2009

description: Paperet retter fokus på de muligheder og problemer som opstår når tilstedeværelsen af motorveje medfører nedgradering af tidligere hovedlandeveje til mindre brugte infrastrukturer. I lyset af nyere Belgisk forskning rettes søgelyset på A10 landevejen.
description: Proceedings from the Annual Transport Conference at Aalborg University, Vol. 1 No. 1 (2009): Proceedings from the Annual Transport Conference at Aalborg University
Nachrichten
Creators: name: Jordan, Rolf
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Nachrichten aus der Region.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 25 Nr. 2 (2009): Ohne Moos nichts los? – Entwicklungszusammenarbeit und Armutsbekämpfung kritisch betrachtet
Bæredygtig mobilitet og byrum
Creators: name: Freudendal-Pedersen, Malene
Publisher: name: Proceedings from the Annual Transport Conference at Aalborg University
Year: 2009

description: Infrastruktur og transport skaber og definerer byer, og byer skaber og definerer infrastruktur. Trafikken bestemmer hvilke af byens rum, vi har adgang til og hvordan de kan bruges. Det gælder for alle typer af infrastrukturprojekter. Mest åbenlyst er vejene, der hver dag fyldes af et stigende antal biler, som hæmmer bløde trafikanters mulighed for at bevæge og opholde sig. I de fleste byer i Europa bliver 25% af byens rum brugt til at facilitere transport i forme af veje og parkeringspladser og i en by som Los Angeles er trafikkens rum oppe på 50%.
description: Proceedings from the Annual Transport Conference at Aalborg University, Vol. 1 No. 1 (2009): Proceedings from the Annual Transport Conference at Aalborg University
Før biltrafikken står stille
Creators: name: Magelund, Lykke
name: Sørensen, Claus Hedegaard
name: Als, Per
Publisher: name: Proceedings from the Annual Transport Conference at Aalborg University
Year: 2009

description: I det forlig om En grøn transportpolitik, som et næsten samlet folketing indgik i januar 2009, er fastsat et mål om, ”at den kollektive trafik skal løfte det meste af fremtidens vækst i trafikken”. En udredning iværksat af Region Hovedstaden viser, at det er et realiserbart mål i Hovedstadsområdet, gennem initiativer som forbedrer den kollektive transport og motiverer folk til at bruge den. Det forudsætter imidlertid en stor og samlet satsning præget af en kundeorienteret og koordineret tilgang.
description: Proceedings from the Annual Transport Conference at Aalborg University, Vol. 1 No. 1 (2009): Proceedings from the Annual Transport Conference at Aalborg University
Nachrichten
Creators: name: Grubauer, Ariane
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Nachrichten aus der Region.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 25 Nr. 2 (2009): Ohne Moos nichts los? – Entwicklungszusammenarbeit und Armutsbekämpfung kritisch betrachtet
Inorganic organic hybrid Pb-Sn mixed perovskites for photovoltaics
Creators: name: Rajapakshe Mudiyanselage, Indrachapa B.
Publisher: name: University of Surrey
Year: 2020

description: Inorganic-organic hybrid metal halide perovskites have shown great promise in realising high performing photovoltaic devices with low fabrication cost. In this regard, Pb-Sn mixed perovskites are considered as highly suitable candidate for all perovskite tandem solar cells and single junction solar cells with narrow bandgaps. However, the maximum achievable performances of Pb-Sn mixed perovskite solar cells (PSCs) are not yet obtained due to the lack of understanding of the material system as well prevailing issues due to unintentional doping as a result of Sn oxidation. In this thesis, the optimisation of a triple cation Pb-Sn mixed perovskite with a formula Cs0.05(FA0.83MA0.17)0.95Pb0.5Sn0.5I3 was investigated. Firstly, the effect of the “anti-solvent” on Pb-Sn mixed perovskites (fabricated through the commonly used anti-solvent dripping method) was investigated and compared to a Pb-only triple cation perovskite analogue, in terms of its effect on the film morphology, crystallisation dynamics and molecular interactions in the films. Secondly, the need for careful selection of anti-solvents for Sn-incorporated PSCs, compared to their Pb-based counterparts is elaborated. This is investigated using Pb-Sn mixed perovskite devices of an inverted architecture, with a device stack of ITO/PEDOT:PSS/Perovskite/PC60BM/ZnO/BCP/Ag. The above studies, in combination with the film processing conditions used is identified to enable the removal of unwanted Sn4+ dopants, through engineering the anti-solvent method for Pb-Sn mixed perovskites. Optimisation of the anti-solvent engineering process enables an 80% enhancement in efficiency when toluene is used as the antisolvent, in comparison to the other anti-solvents tested in this work. The champion power conversion efficiency of 11.6% achieved through this is further improved to 12.04% following optimised anti-solvent wash and thermal treatment. This is attributed to the complete removal of Sn4+ dopants following the optimisation process. Following the optimisation of the Pb-Sn mixed perovskite film preparation, a surface post-treatment method is developed based on guanidinium bromide which enables the efficiency to be improved even further to 14.4%. The surface post-treatment especially allows device fill factors of 83%, the highest reported for Pb-Sn mixed PSCs reported so far, approaching the Shockley-Queisser limit for fill factors in Pb-Sn perovskites. This work highlights the importance of careful selection of anti-solvents and post treatments on Pb-Sn mixed perovskite absorber layers, in managing defects and reducing non-radiative recombination for high efficiency low bandgap perovskite materials, and also enables further improvements in device efficiency for all-perovskite tandem solar cells.
Modernisering af Transportvaneundersøgelsen
Creators: name: Christiansen, Hjalmar
Publisher: name: Proceedings from the Annual Transport Conference at Aalborg University
Year: 2009

description: Transportvaneundersøgelsen (ofte forkortet som TU), har til formål at kortlægge danskernes transportvaner, principielt defineret som al persontransport indenfor landets grænser. Metoden er et stort antal interview med danskere (10-84 år) om transportadfærden ”dagen i går”. Interview gennemføres både pr internet (ca. 20 % af data) og via telefon (80 %). Interviewpersonerne udvælges repræsentativt ved hjælp af CPR- registret og resultaterne opregnes efter geografi, alder og køn. Undersøgelsen er unik, fordi det er den eneste store, danske undersøgelse med kobling af faktisk transportadfærd til en lang række baggrundsvariable. I international sammenhæng er undersøgelsen unik, fordi den kortlægger alle ture med koordinater for hvert rejsemål. Transportvaneundersøgelsen er gennemført med stort set samme indhold siden 1992, dog med en afbrydelse i 2004-5. Ofte omtales data fra årene 1992-2003 (172.000 interview) som det ”gamle datasæt”, og data efter 2005 som det ”nye datasæt” (p.t. ca. 46.000 interview). Siden 1992 er der sket mange forbedringer og andre ændringer i spørgeskemaet, men der er en hovedkerne af spørgsmål, som er med i alle årene.
description: Proceedings from the Annual Transport Conference at Aalborg University, Vol. 1 No. 1 (2009): Proceedings from the Annual Transport Conference at Aalborg University
Modelling and measuring relationships between IT-business strategic alignment and performance outcomes
Creators: name: Ho, Edward Cheong-Tsair
Publisher: name: Swinburne
Year: 2024

description: This is a study on the relationships between information technology (IT) as an enabler of corporate strategy implementation and the impact of IT on competitive advantages on companies in Australia. The main purpose of this study was to increase our knowledge of the influences of IT and business strategy alignment (in short, IT-business strategic alignment) upon the competitive performance of Australian companies. The core objective of this research was to develop an IT-business strategic alignment measurement model (termed CSA model) and its associated measurement methodology that is practical and easy to use by the business for better decision making in the realm of IT-business strategic alignment. The second objective of the research was to test the CSA model. To achieve this, data from 37 Australian manufacturing companies were studied. Variables developed in the CSA model were analysed using descriptive and inferential statistical methods commonly used by business. The outcomes of the data analysis related to: the strength of IT-business strategic alignment at corporate strategy, business processes and business operations planning levels within Australian manufacturing companies; the contribution of IT-business strategic alignment on organisational performance; whether there were positive relationships between IT-business strategic alignment and business performance outcomes. Among the steps involved in building the CSA model and subsequently testing it were: conducting a detailed study of and reporting on concurrent IT-business strategic alignment practices and literature; defining and developing measures for the IT-business strategic alignment construct; defining and developing measures for the impact of IT-business strategic alignment on organisational performance; assessing the relationships between the degree of IT-business strategic alignment and its contribution to organisational performance; and testing the hypotheses that there are associations between IT-business alignment and the business performance outcomes. The results of the analysis showed that IT-business strategic alignment at corporate strategy planning stage is somewhat incoherent but is adequate at business process/operations planning level. This study also showed that contrary to popular belief, even though IT-business strategic alignment has direct impact on five out of ten key competitive advantages commonly cited, namely 'customer service', 'product quality', 'product/service leadership', 'revenue gain' and 'cost saving', a high degree of IT-business strategic alignment has no positive relationship with these competitive advantages with the exception of 'customer service' and 'product quality'.
Danskernes transport – hvor meget, hvordan, hvor og hvornår?
Creators: name: Jensen, Carsten
Publisher: name: Proceedings from the Annual Transport Conference at Aalborg University
Year: 2009

description: Der er en ganske lang tradition i transportsektoren i Danmark for at indsamle og anvende statistiske data til at understøtte beslutningsprocesser – selv om det måske ikke altid virker sådan, hvis man alene følger de transportrelaterede diskussioner i medierne. Når det gælder persontransport, findes der en lang række datakilder til beskrivelse af delelementer af danskernes transportadfærd: • tællinger af vejtrafik på statsveje og kommuneveje, af varierende kvalitet og omfang • tællinger af passagerer i busser, tog, fly og færger, også her af varierende kvalitet og omfang • statistik over bilparkens størrelse og gennemsnitlige årskørsel • pendlingsstatistik • enkeltstående specialanalyser • og mange, mange flere. Der ligger en utrolig mængde viden i disse data, men de er ikke umiddelbart egnede til at understøtte en samlet beskrivelse af danskernes transportadfærd. Der findes dog én kilde, der kan dække dette behov, nemlig Transportvane- undersøgelsen (i daglig tale TU).
description: Proceedings from the Annual Transport Conference at Aalborg University, Vol. 1 No. 1 (2009): Proceedings from the Annual Transport Conference at Aalborg University
How is an informal transport infrastructure system formed? Towards a spatially explicit conceptual model
Creators: name: Vahidi, Hossein
name: Yan, Wanglin
Publisher: name: Springer International Publishing
Year: 2018

description: The informal transport infrastructure is an inseparable and critical element of the transportation system in that it provides pedestrian accessibility in planned or unplanned environments. Despite this important role, the informal infrastructure is usually neglected in formal studies, plans, reports or maps. A sophisticated understanding of the different dynamics and mechanisms behind the growth process of the informal infrastructure enables the researchers and practitioners to better plan, conserve and manage open spaces in planned and unplanned environments and helps them predict and manage the growth process of the informal infrastructure in the context of historical cities or informal settlements and model the mutual impacts of infrastructure growth and settlement growth in such areas. In the absence of a holistic spatially and temporally explicit model in the context of GIScience, this research aims to offer an outlook for some of the most important driving forces and aspects of informal infrastructure formation to establish the principal background for developing a spatially explicit, cognitively plausible conceptual model for future research. In this sense, this paper presents a critical review to cover a diverse range of topics in the different disciplines of this area and discuss the theoretical issues on the informal infrastructure formation process to explore, analyze and categorize the role of various human individual and collective-level behaviors and various human and environment interactions in emerging of the self-organizing patterns in the informal infrastructure system.
Geometric singular perturbation theory for a dimerisation problem in mathematical pharmacology.
Creators: name: Gavin, Christine
Publisher: name: University of Surrey
Year: 2020

description: We study the pharmacological model of dimerisation where a receptor binds to two ligand molecules. The dimerisation model is an adaptation of the well studied target-mediated drug disposition (TMDD) model, in which a receptor binds to one ligand molecule. In these systems the drug binds to its target with high affinity. In both models, it is assumed that the receptor binding is the fastest process. This leads to a separation of time scales, allowing us to use techniques from singular perturbation theory to analyse these models. Techniques from singular perturbation theory such as asymptotic analysis, geometric singular perturbation theory and geometric desingularisation work well for the TMDD model where the underlying critical manifold consists of two two-dimensional submanifolds. However, the known techniques can not be applied to the dimerisation problem, as the underlying critical manifold is degenerate and consists of a two-dimensional and a three-dimensional submanifold. The intersection of these manifolds is important for the Dimerisation problem as there is a type of rebound in the dimerisation problem occurring at the specified bifurcation point. Motivated by the dimerisation problem, we consider a general two parameter slow-fast system in which the critical manifold consists of a one-dimensional and a two-dimensional submanifold. These submanifolds intersect transversally at the origin. Using geometric desingularisation, we show that for a particular subset of parameters the continuation of the slow manifold connects the attracting components of the critical set. We also show that the direction of this continuation on the two-dimensional manifold can be expressed in terms of the model parameters. This method is then applied to the dimerisation problem in order to understand and approximate the rebound.
Modeling Infant Attachment & Exploration Behaviors Using Reinforcement Learning
Creators: name: Bloom, Sarah
Publisher: name: Stanford Digital Repository
Year: 2024
Subjects: Attachment
Reinforcement Learning

description: How does caregiver-infant relationship impact infant locomotion exploration? Prior behavioral experiments have examined infant locomotion on its own. However, in real life, infants rarely navigate novel environments alone; therefore, infant exploration behaviors cannot be fully understood without accounting for the presence of caregivers in the environment. Prior research on Attachment Theory (AT) has highlighted the significant impact caregiver-infant relationship has on infant exploration behaviors. AT claims that different caregiver-infant relationships lead to distinct patterns of exploration in infants. Specifically, while infants with secure relationships with caregivers explore the most and the most freely, infants with insecure attachment relationships demonstrate constrained exploration. Prior computational work has used Reinforcement Learning (RL) to model infant exploration alone. More recent study has looked at infant learning through interactions with their caregiver in the environment, yet without examining how different types of infant-caregiver relationships could generate various kinds of exploration and play behaviors. The present study uses RL to train an infant agent in an environment containing toys and one of three different caregivers: loving and responsive, punishing and responsive, and loving and sometimes responsive. AT has characterized how these kinds of caregivers lead to secure and insecure caregiver-infant relationships, or attachment styles. After training, the infant agents display emergent exploration behaviors in alignment with all three expected attachment styles, but do not exhibit the kind of exploration characteristic of real infants. This work suggests that: 1) infant attachment styles can be computationally acquired from previous interaction history with the caregiver while maximizing rewards from the environment; 2) real world infants may explore the environment with additional intrinsic reward signals beyond attachment; and 3) caregiver-infant relationship modulates infant locomotion exploration and learning.
Flypassagers tidsværdier
Creators: name: Bøgelund, Mette
Publisher: name: Proceedings from the Annual Transport Conference at Aalborg University
Year: 2009

description: Københavns Lufthavn arbejder løbende på at øge sin viden om de mere end 21 mio. passagerer, der hvert år benytter lufthavnen. Københavns Lufthavn ønsker at vide mere om, hvor meget nuværende og evt. kommende services er værd for passagererne, altså hvor meget de vil være villige til at betale for et ændret serviceniveau i fremtiden. Det være sig både bedre service, som f.eks. kortere ventetid, og forringet service, som f.eks. en anden bygningsstandard.
description: Proceedings from the Annual Transport Conference at Aalborg University, Vol. 1 No. 1 (2009): Proceedings from the Annual Transport Conference at Aalborg University
Nachrichten
Creators: name: Wieczorek, Nina
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Nachrichten aus der Region.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 25 Nr. 2 (2009): Ohne Moos nichts los? – Entwicklungszusammenarbeit und Armutsbekämpfung kritisch betrachtet
Mitten drin – Thailands Konflikte gehen in die nächste Runde
Creators: name: Nostitz, Nick
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Es ist kurz vor fünf Uhr morgens, am 1 3.ApriI 2009, der erste Tag der Songkran Ferien, das Thai Neujahr, das Wasserfest ...
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 25 Nr. 2 (2009): Ohne Moos nichts los? – Entwicklungszusammenarbeit und Armutsbekämpfung kritisch betrachtet
OTM 5 og dens anvendelse til VVM for udbygning af Køge Bugt motorvejen
Creators: name: Vuk, Goran
name: Paag, Henrik
Publisher: name: Proceedings from the Annual Transport Conference at Aalborg University
Year: 2009

description: Vejdirektoratet har anvendt trafikmodellen OTM til vurderinger af de trafikale konsekvenser af en række vejudbygningsprojekter. Den senest version 5.1 af OTM er en brugervenlig udgave af OTM 5.0, der blev opbygget i 2007 i relation til vedtagelsen af Metrocityringen. Artiklen beskriver OTM 5.0/5.1 og præsenterer dens anvendelse i forbindelse med VVM- undersøgelsen for udbygning af Køge Bugt motorvejen syd for Greve.
description: Proceedings from the Annual Transport Conference at Aalborg University, Vol. 1 No. 1 (2009): Proceedings from the Annual Transport Conference at Aalborg University
Structure and functional analysis of the African Swine Fever virus encoded CD2v/EP402R protein and investigation of its role in virus persistence in pigs
Creators: name: ISLAM, MUNEEB
Publisher: name: University of Surrey
Year: 2022

description: African swine fever is a viral haemorrhagic disease of domestic pigs and wild boar and is a serious threat to the economy of many countries. No vaccines are available to induce protection in pigs against this lethal disease. The most promising approach for vaccine development is the use of modified live attenuated vaccines (MLAV) and these can confer high levels of protection. One MLAV candidate is a gene-deleted genotype I Benin 97/1 strain (BeninΔDP148R), which lacks the DP148R gene. The BeninΔDP148R confers 100% protection in immunized pigs following challenge with parental pathogenic Benin 97/1, but adverse clinical signs associated with viremia and extended persistence of virus were observed. In this thesis, the mechanism by which the ASFV CD2v transmembrane protein, coded for by the EP402R gene, binds to red blood cells was investigated. Functional amino acid residues in CD2v that are involved in binding red blood cells (HAD) were identified by introducing single or multiple amino acid substitutions into the predicted ligand-binding domain on the CD2v protein. Mutations of the residues glutamic acid at position 99 or tyrosine at position 102 were shown to reduce HAD to the expressed CD2v protein. However, the expression of the ASFV membrane protein EP153R was shown to rescue the reduced HAD capacity of mutant CD2v proteins. This indicated that EP153R protein can augment this function of CD2v. To examine the effect of reducing the capacity of ASFV to cause HAD on virulence, levels and persistence of the virus in blood, two recombinant viruses were tested by immunisation of pigs. In the first virus deletion of the EP402R gene from the BeninDP148R virus genome was shown to dramatically reduce the period of virus persistence in blood, although moderate levels of virus and clinical signs were observed. In the second virus, the EP153R gene was deleted and the EP402R gene was replaced with a gene expressing a non-HAD CD2v with the amino acid residue glutamic acid at position 99 substituted with arginine in the genome of ASFV BeninΔDP148R. Immunisation of pigs showed the virus persistence in blood was reduced to 2 days, the onset and duration of clinical signs were decreased (1 day) and the viremia was also reduced by approximately 3 thousand-fold. This demonstrated that deletion of EP153R and the insertion of mutant CD2vE99R balanced the level of virus attenuation, and hence resulted in a reduced virus persistence, mild clinical signs for a reduced duration, a decrease in viremia and provided overall protection of 83.3%. This recombinant virus has an increased safety profile compared to the parental virus (BeninΔDP148R) and is a promising vaccine candidate.
Orbits: Conceptual Limits to Queer Science
Creators: name: Wisner, Evan
Publisher: name: Stanford Digital Repository
Year: 2024
Subjects: subject: Transgender people
subject: Queer theory
subject: Sex (Psychology)
subject: Sex differences (Psychology)
subject: Developmental biology

description: Every other week “The Transgender Question” makes a reappearance, as social commentators and political activists attempt to advocate for or against the continued existence of transgender people in society. Despite constituting less than one in 200 Americans, transgender people are highly salient to the public conscience. Given the highly sensitive social and political circumstances of this group, and the potential for science to be misconstrued in the service of various political agendas, research into Queer topics must be especially cognizant of how studies are designed, carried out, and how results are framed. This project builds on Queer Theory to present a modular framework to inform empirical investigations in Queer Science, providing a conceptual foundation for carrying out high quality, inclusive, and communicable research.
Gut gemeint ist nicht immer gut geholfen – Zur neuen Publikation des Tsunami Aid Watch-Programms
Creators: name: Heuking, Kathrin
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Dem Tsunami folgte eine beispiellose Spendenwelle. Trotz des riesigen Spendenaufkommens werden jedoch schwer wiegende Defizite in den Resultaten des Wiederaufbaus deutlich, wie es in der Publikation »Bridging the expectation gap« der beiden Autoren Karl Segschneider und Lars Krause nachzulesen ist.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 25 Nr. 2 (2009): Ohne Moos nichts los? – Entwicklungszusammenarbeit und Armutsbekämpfung kritisch betrachtet
Nachrichten
Creators: name: Bey, Ulrike
name: Müller, Michaela
name: Wieczorek, Nina
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Nachrichten aus der Region.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 25 Nr. 2 (2009): Ohne Moos nichts los? – Entwicklungszusammenarbeit und Armutsbekämpfung kritisch betrachtet
Trafiksimulering med VISSIM
Creators: name: Pihlkjær, Anders Greve
Publisher: name: Proceedings from the Annual Transport Conference at Aalborg University
Year: 2009

description: Dette paper er baseret på et afgangsprojekt udarbejdet i foråret 2009 som en del af civilingeniøruddannelsen indenfor Vej- og Trafikteknik på Aalborg Universitet. Afgangsprojektet, har til formål at teste og kalibrere simuleringsprogrammet VISSIM til danske forhold. Den første del af rapporten omhandler en statistisk og virkelig sammenligning af den tyske og danske trafikantadfærd. Gennem markundersøgelser i Nordjylland er der indsamlet data, som herefter analyseres og testes i VISSIM. Resultaterne af disse tests viser, at der overvejende er forskel på anvendelsen af tysk og dansk trafikantadfærd ved frit flow, mens at rejsetiden gennem virkelige modeller i flere tilfælde ikke forøges betydeligt. Den anden del af rapporten behandler kalibreringen af en flettestrækning, som går fra tre til to spor på en nordjysk motorvej. Gennem indsamling af data på motorvejen nord for Limfjordstunnellen i Aalborg er der opstillet grafer over hastighed og trafikmængder, som benyttes i kalibreringsprocessen. Der benyttes blandt andet GPS-data, videooptagelser, hastighedsmålinger og trafiktællinger samt statistisk data til at opnå den nødvendige kalibrering. Resultaterne fra kalibreringen viser, at det er muligt at opnå en korrekt trafikafvikling ved at hæve aggressiviteten for bilisterne. Derudover viser det sig, at VISSIM ikke kan afbilde trafikafvikling i en spidstime uden intelligent farttilpasning. Det kan derfor konkluderes, at VISSIM kun kan afvikle trafikken hensigtsmæssigt, med et indgående kendskab til trafikkens variationer i den simulerede periode.
description: Proceedings from the Annual Transport Conference at Aalborg University, Vol. 1 No. 1 (2009): Proceedings from the Annual Transport Conference at Aalborg University
The construction of friendship for looked after children.
Creators: name: May, Christine
Publisher: name: University of Surrey
Year: 2020

description: Looked After Children (LAC) are associated with poor outcomes, but they also demonstrate resilience and strength, particularly when placed in stable, supportive environments. Friendship is known to support resilience in children and adolescents and may be particularly useful to LAC, but there is limited research into LAC’s experiences of friendship. Objective: This study aimed to explore what LAC value in their friendships in order to understand what support may help them gain the maximum benefits from these relationships. Design: Seven 11 to 16 year olds, living in foster care took part in semi-structured interviews using sociograms to discuss their past, present and ideal friendships, particularly focusing on what they valued and how the friendships changed over time. Findings: Results were analysed using inductive thematic analysis resulting in six themes; “They’re like me”, which had two subthemes; “We like to do the same things” and “We are the same”, “They keep my secrets”, which had two subthemes; “I trust them” and “People finding out I’m in care”, “They spend time with me”, “They help me with my feelings”, “They understand me” and “They’re on my side”. Conclusions: This sample of LAC showed similar values and friendship expectations to other adolescents, and had formed and maintained positive relationships, albeit with some challenges relating to their care status, such as fears of disclosure, placement and school disruption. They provide an example of what can be achieved by LAC in a stable environment, but should not necessarily be considered typical of LAC in general. Practice recommendations include open discussion with LAC about their friendships, disclosure of LAC status and support with friendships with children with other difficulties, who may offer increased understanding. Future research with a wider range of LAC and looking at the costs of friendships is also recommended.
Burma in Bildern und Märchen
Creators: name: Fricke, Hanna
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Buchbesprechung von: Claudia Wiens, Of Dung-beetle Messengers and Infamous Crickets: Photos and Fairy tales from Myanmar. Deutsch und Englisch, ISBN 978-3-00-026164-0.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 25 Nr. 2 (2009): Ohne Moos nichts los? – Entwicklungszusammenarbeit und Armutsbekämpfung kritisch betrachtet
Stakeholder perspectives on preparedness for veterinary workplace clinical training: a mixed methods study
Creators: name: Routh, Jennifer
Publisher: name: University of Surrey
Year: 2024

description: Workplace clinical training (WCT) is a vital component of veterinary education, enabling students to gain authentic experiences of clinical practice. However, preparedness for veterinary WCT has not been adequately characterised and it is unknown if students and staff have similar expectations. This study aimed to explore student preparedness for WCT and to determine the relative importance of different aspects of preparedness according to key stakeholders.

description:

description: The study employed a mixed methods approach, combining qualitative group interviews and a quantitative survey. Qualitative interviews with stakeholders informed the development of a three-tier taxonomy of student preparedness, consisting of seven main themes, 26 subthemes, and 91 characteristics. The subsequent quantitative stage used a pairwise comparison-based survey. This was administered to clinical supervisors and veterinary students at 25 veterinary schools internationally, and to students, academics, and clinical supervisors at the University of Surrey. The Elo algorithm was employed to generate relative importance ratings and rankings of the preparedness characteristics according to different stakeholder groups.

description:

description: ‘Honesty, integrity, and dependability’ was consistently identified as the most important characteristic by both students and clinical supervisors. However, differences in characteristics’ rankings were demonstrated between groups. For example, students placed higher importance on mental well-being, self-care, and practical skill development, while supervisors prioritised clinical reasoning frameworks and self-directed and experiential learning techniques.

description:

description: This thesis contributes to the field of health professions education (HPE) in three significant ways. Firstly, it provides a comprehensive characterisation of student preparedness for veterinary WCT. Secondly, it identifies the most critical aspects of preparedness and highlights divergent expectations among stakeholders, emphasising the need for shared understanding. Finally, the study presents a novel survey design that holds potential for a diverse range of applications in HPE research, particularly in the pursuit quantifying perspectives on items which are measured on a relative basis and a unidimensional scale.
Militärjunta – verheerender als jeder Zyklon: Ein Jahr nach dem Zyklon Nargis – eine Zwischenbilanz
Creators: name: Myint, Htar Htar
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Obwohl Burmas Militärregierung erklärt, dass der Wiederaufbau in der Region vorangeht, kämpfen immer noch Zehntausende ums Überleben.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 25 Nr. 2 (2009): Ohne Moos nichts los? – Entwicklungszusammenarbeit und Armutsbekämpfung kritisch betrachtet
Nachrichten
Creators: name: Schepers, Stephan
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Nachrichten aus der Region.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 25 Nr. 2 (2009): Ohne Moos nichts los? – Entwicklungszusammenarbeit und Armutsbekämpfung kritisch betrachtet
Additive Manufacture of RF Electronics
Creators: name: SNASHALL, KASPAR MARTIN
Publisher: name: University of Surrey
Year: 2021

description: This thesis focusses on printable flexible switches for sub 6 GHz operation, their fabrication, improvement, and stability, for 5G and IOT devices. Indium arsenide nanowire field effect transistors were initially thought as a good semiconductor candidate. Their stability was studied under a variety of atmospheres and substantial long term decay was found preventing their use in printed electronics. This was attributed to either oxidation or leeching of the arsenic into the substrate. Fully printed low resistance carbon nanotube FETs are investigated in detail and their stability, speed, and uses discussed. Resistances in devices as low as 25 Ohms are shown to be possible and their challenges are discussed in detail. A novel method for the creation of micron sized gaps using ink-jet printing is developed which relies only on intrinsic properties of ink-jet printing. This simple method is shown to produce gaps as low at 0.7 microns with limited optimisation necessary.
description: Fully printed carbon nanotube electrolyte gated RF switches are developed and the first ever s-parameter measurements of these switches are undertaken. A simple circuit model for their operation is given and insights into the measurement of flexible RF electronics are discussed. Novel circuits containing these switches are made, measured, and their operation and limitations such as switching speed discussed. An ink-jet printed frequency reconfigurable dipole antenna incorporating the switches for IOT is developed and shown to match simulations closely. Ultra wide band antenna horns are investigated and used to measure the ink-jet printed devices used in this work.Paper based electronics are developed using the above technology, and low impedance switches are fabricated for the first time. Issues surrounding paper technology and fabrication are investigated from a RF point of view with the aim of making novel origami circuits.
Als UN-Funktionär in Kambodscha
Creators: name: Kranebitter, Andreas
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Buchbesprechung von: Benny Widyono, Dancing in Shadows. Sihanouk, the Khmer Rouge, and the United Nations in Cambodia. Rowman & Littlefield Publishers, Lanham/Boulder/New York/Toronto, 2008.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 25 Nr. 2 (2009): Ohne Moos nichts los? – Entwicklungszusammenarbeit und Armutsbekämpfung kritisch betrachtet
Book review: 'How users matter: the co-construction of users and technology', edited by Nelly Oudshoorn and Trevor Pinch
Creators: name: Finn, Mark
Publisher: name: Swinburne
Year: 2024

description: Review of the book ' 'How users matter: the co-construction of users and technology', edited by Nelly Oudshoorn and Trevor Pinch, published by MIT Press, Cambridge, 2003
Coherence Dynamics in non-Markovian Quantum Brownian Motion
Creators: name: LALLY, MEHSATI SAPPHIRE
Publisher: name: University of Surrey
Year: 2022

description: We present a perturbative non-Markovian extension to the Caldeira-Leggett 'system + environment model' of quantum Brownian motion, valid for general potentials and high temperatures. By expanding the Laplace transforms of the noise and dissipation kernels, we derive a master equation which describes the evolution of the reduced density matrix of a system of interest. By using a Fourier transform approach combined with the method of characteristics, an analytic solution is derived for the free particle case. The solution is plotted and discussed. The decoherence process is altered only slightly by the introduction of non-Markovianity, which we explain with a timescale argument. A new phenomenon which we term "lateral coherence" is observed. This is found to correspond to a resurgence of the l1-norm of coherence, at times much later than the decoherence time. We find that the coherence resurgence causes a transient reduction in the von Neumann entropy, and link this to an increasing body of work which makes links between non-Markovianity and entropy decrease. We show that this effect is independent of the high-frequency behaviour of the spectral density. Finally, we make some speculations about the relevance of our results in quantum biology, and suggest future avenues of research.
ON-MERRIT D4.1 Information Seeking Behaviour and Open Science Uptake in Industry: A Literature Review
Creators: name: Fessl, Angela
name: Klebel, Thomas
name: Ross-Hellauer, Tony
Publisher: name: Zenodo
Year: 2020
Subjects: SMEs
Industry
Patent Analysis

description: Spurring growth and innovation in SMEs is a key goal of policy-makers. A commonly stated advantage of Open Access to publications and data is greater return on investment for funders, as results are made re-usable to a range of societal actors including industry. Is open research data actually being taken up by industry, though? This deliverable report addresses this broad question by semi-systematically summarizing the evidence to date on how scholarly resources are used in industry, with a special focus on open science practices.
 Crucial for understanding whether industrial actors are able to benefit from open science resources such as research papers or data is the concept of absorptive capacity, that is the ability of a firm to recognize the value of new, external information, assimilate it, and apply it to commercial ends. Recent research has highlighted that particularly SMEs struggle in benefiting from Open Data. Increasing absorptive capacity among industrial actors thus plays an important role in increasing the overall uptake of scientific resources.
 Finding relevant resources is a crucial step in recognizing and assimilating new external information. The deliverable presents a systematic review of the evidence on how companies satisfy their information needs. Common barriers in this regard include difficulties in explicating the information needs and finding relevant information, as well as lack of time, accessibility and content quality.
 The literature on information seeking behaviours among industrial actors indicates that research outputs currently play a somewhat peripheral role in general information-seeking behaviour in many industrial sectors. The evidence collected points to a general lack of information-seeking skills amongst employees. Exploiting scientific resources for commercial needs also requires skills specific to the subject area. Companies commonly acquire these skills by either hiring graduates or directly collaborating with academia. Open access to research findings is found to provide efficiency gains, as well as enabling the development of new products, services, and companies, by lowering the barriers for companies of all sizes for accessing basic research.
 The evidence assembled in this deliverable report lays the groundwork for the planned activities the project: the investigation of the uptake of the open science resources in industry with a stakeholder map, contextual inquiries and a questionnaire study; the investigation of the uptake of open science resources in industry through the analysis of patents.
Eine Chance für Millionen: Mikrokredite – ein Mittel gegen die Armut in Kambodscha
Creators: name: Sommer, Daniel
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Kambodscha hat knapp 14 Millionen Einwohner. Eine Million Kambodschaner haben bereits einen Mikrokredit erhalten - Tendenz steigend!
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 25 Nr. 2 (2009): Ohne Moos nichts los? – Entwicklungszusammenarbeit und Armutsbekämpfung kritisch betrachtet
Contested Ground : Why are some policies healthy and others not? : Conference Summary
Creators: name: Barer, M. L.
name: Engelhardt, Megan
name: Hedden, Lindsay
name: Mooney, Dawn
Publisher: name: Centre for Health Services and Policy Research (CHSPR)
Year: 2016

description: Summary of the 2016 Centre for Health Services and Policy Research annual health policy conference.
Nachrichten
Creators: name: Timmann, Anke
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Nachrichten aus der Region.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 25 Nr. 2 (2009): Ohne Moos nichts los? – Entwicklungszusammenarbeit und Armutsbekämpfung kritisch betrachtet