cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: Use of template switching for DNA synthesis
Creators: name: Lambowitz, Alan M.
name: Kuersten, Scott
name: Mohr, Sabine
name: White, Travis B.
Publisher: name: United States Patent and Trademark Office
Year: 2015
Subjects: subject: C12P19/34
subject: C12N15/1096
subject: C12Q1/6806
subject: C12Q2521/107
subject: C12Q2525/191
subject: C12Q2525/207
subject: 435/91.1
subject: 435/91.2

description: A method of preparing a DNA copy of a target polynucleotide using template switching is described. The method includes mixing a double stranded template/primer substrate made up of a DNA primer oligonucleotide associated with a complementary oligonucleotide template strand with a target polynucleotide in a reaction medium and adding a suitable amount of a non-retroviral reverse transcriptase to the reaction medium to extend the DNA primer oligonucleotide from its 3′ end to provide a DNA copy polynucleotide. The DNA copy polynucleotide includes a complementary target DNA polynucleotide that is synthesized using the target polynucleotide as a template. Methods of adding nucleotides to the double stranded template/primer substrate are also described. The method can be used to facilitate detection, PCR amplification, cloning, and determination of RNA and DNA sequences.
Intermediary organisations and the hegemonisation of social entrepreneurship: Fantasmatic articulations, constitutive quiescences, and moments of indeterminacy
Creators: name: Dey, Pascal
name: Schneider, Hanna
name: Maier, Florentine
Publisher: name: SAGE
Year: 2016
Subjects: affect
discourse
fantasy
hegemony and counter-hegemony
intermediary organisations
Laclau and Mouffe
social entrepreneurship

description: The rapid rise of alternative organisations such as social enterprises is largely due to the promotional activities of intermediary organisations. So far, little is known about the affective nature of such activities. The present article thus investigates how intermediary organisations make social entrepreneurship palatable for a broader audience by establishing it as an object of desire. Drawing on affect-oriented extensions of Laclau and Mouffe’s poststructuralist theory, hegemonisation is suggested as a way of understanding how social entrepreneurship is articulated through a complementary process of signification and affective investment. Specifically, by examining Austrian intermediaries, we show how social entrepreneurship is endowed with a sense of affective thrust that is based on three interlocking dynamics: the articulation of fantasies such as ‘inclusive exclusiveness’, ‘large-scale social change’ and ‘pragmatic solutions’; the repression of anxiety- provoking and contentious issues (constitutive quiescences); as well as the use of conceptually vague, floating signifiers (moments of indeterminacy). Demonstrating that the hegemonisation of social entrepreneurship involves articulating certain issues whilst, at the same time, omitting others, or rendering them elusive, the article invites a counter-hegemonic critique of social entrepreneurship, and, on a more general level, of alternative forms of organising, that embraces affect as a driving force of change, while simultaneously affirming the impossibility of harmony and wholeness.
Learning orientations and learning dynamics: Understanding heterogeneous approaches and comparative success in nascent entrepreneurship
Creators: name: Hopp, Christian
name: Honig, Benson
Publisher: name: Elsevier
Year: 2019
Subjects: Learning orientations Experiential learning theory Social networks New venture financing Second panel study of entrepreneurial dynamics (PSED II)

description: Entrepreneurship is a learning process, yet the paths that entrepreneurs take to achieve success and the resources they assemble differ widely. To better understand when and for whom specific learning styles and new venture organizing activities are beneficial, this study develops a theoretical framework based on entrepreneurs' learning orientations. We compare the founding trajectories of concrete experience and abstract conceptualization learner/entrepreneurs, as defined in experiential learning theory (ELT). The study tests the predictions with multinomial logit models. The results, using longitudinal data from the Panel Study of Entrepreneurial Dynamics, show that entrepreneurs who learn through sensory information and action benefit most from informal sources of capital and from their social networks, while those who learn by analyzing and systematically planning benefit most from formal sources of capital and from following their developed plans. The different trajectories that emerged in terms of capital formation and social network involvement should be of considerable interest to those attempting to either teach or promote entrepreneurship, as students and entrepreneurs undoubtedly have different learning requirements as well as pedagogical needs.
Soziale Arbeit in der Arztpraxis: Copy & Paste?
Creators: name: Rüegg, René
name: Vetter, Dunja
name: Deppeler, Michael
Publisher: name: Fachhochschule Nordwestschweiz FHNW: Hochschule für Soziale Arbeit HSA
Year: 2023

description: Soziale Arbeit in der Arztpraxis befindet sich in der Schweiz noch in den Anfängen. Aber auch international gibt es noch keine pfannenfertigen Rezepte oder eine etablierte «gute Praxis». Vielmehr muss sich ihre Ausgestaltung geschmeidig und sorgsam an die gegebenen Kontextbedingungen anpassen. Diese sind nicht nur die Eigenheiten der Arztpraxen, sondern auch die Möglichkeiten der kooperierenden Sozialarbeitenden. Wenn diese Passung gelingt, kann die Sozialberatung ihre maximale Wirkung entfalten.
AI/ML-assisted Analysis of the IABSE Bridge Collapse Database
Creators: name: Güner, Ismail
name: Proske, Dirk
Publisher: name: Trinity College Dublin
Year: 2023

description: Former statistical analyses of bridge collapse data show that concrete bridges collapse significantly less frequently than bridges made of steel or wood. Since the main causes of bridge collapses worldwide are floods and associated fluvial processes, such as scouring, debris flows, etc. and impacts, it is reasonable to assume that the high dead load of concrete bridges leads to an overall more robust behavior in these events. This paper will examine whether the IABSE collapse database confirms this hypothesis and whether indications of further causes can be identified. For this purpose, the IABSE collapse database is examined using artificial intelligence and machine learning (AI/ML) methods. However, the AI/ML analysis does not confirm the previous thesis. Possible reasons for the rejection of the thesis, such as the representativeness of the data, are also discussed. An extension of the database for events with large numbers of collapses is recommended.
Consistency Between Parent-Reported Feeding Practices and Behavioral Observation During Toddler Meals
Creators: name: Fries, Lisa R.
name: Van Der Horst, Klazine
name: Moding, Kameron J.
name: Hughes, Sheryl O.
name: Johnson, Susan L.
Publisher: name: Elsevier
Year: 2019

description: Objective To assess whether feeding questionnaire responses reflect observed mealtime behavior. Design Cross-sectional associations between self-reported and observed behaviors. Setting Participants’ homes. Participants Parents (n = 75) of toddlers (mean age = 24.7 months) in the US. Main Outcome Measures Feeding behavior questionnaires and coded videos of children's dinner meals. Analysis Parents’ questionnaire responses of “never” (or “rarely”) considered consistent with video observation if behavior was not observed; responses of “always” (or “most of the time”) if behavior observed at least once. Proportion (%) of participants observed performing each behavior was calculated for the groups of parents reporting that they “never,” “sometimes,” or “always” used that feeding practice. These were compared across the 3 response groups. Results Parents reported 6 behaviors consistently (≥70% agreement): allowing child to eat as much as wanted, helping child eat, prompting child to eat, television/screens on during meal, nonfood rewards, and hurrying child. The remaining 8 behaviors fell below the threshold. For many behaviors, all response groups (never, sometimes, always) had similar rates of participants demonstrating the behavior. Only 5 behaviors had observed rates falling in the expected direction (frequency of always > sometimes > never). For some behaviors, the “sometimes” group had a higher (eg, clean plate) or lower (praise) frequency than the other 2 groups. Conclusions and Implications Self-reported questionnaire responses predicted whether some, but not all, behaviors were observed. Parents’ use of “sometimes” remains difficult to interpret as parents may use “sometimes” inconsistently across behaviors and perhaps to mitigate socially undesirable responses. Self-reports of “sometimes” performing a behavior may have limited utility for prediction of behavior and likely requires additional exploration with the respondent. Key Words feeding practices parenting questionnaire behavioral observation toddlers
Assessment of soil multi-functionality to support the sustainable use of soil resources on the Swiss Plateau
Creators: name: Greiner, Lucie
name: Nussbaum, Madlene
name: Papritz, Andreas
name: Fraefel, Marielle
name: Zimmermann, Stefan
name: Schwab, Peter
name: Grêt-Regamey, Adrienne
name: Keller, Armin
Year: 2018
Subjects: Soil function assessment
Soil protection
Multi- functionality
Aggregation of soil function maps
Cambisol
Luvisol
Gleysol

description: Spatial information on soils and their abilities to fulfil their functions is key to sustainable soil resource use. Maps indicating how soils fulfil their functions, e.g., regulating nutrient and water flows, providing appropriate habitats, and supporting biomass production, have allowed soil information to be embedded in spatial planning programmes. We adapted 10 static soil function assessment (SFA) methods and applied them to agricultural soils in a study area on the Swiss Plateau. Soil function maps were created by applying the SFA methods to maps of eight basic soil properties generated previously using digital soil mapping techniques. The soil function maps were compared with results obtained by applying the SFA methods to data for >7000 soil profiles to determine how reasonable the maps were. Soil in the study area had distinctive spatial patterns for most of the regulation, habitat, and production functions, clearly indicating the multiple roles played by soil in supporting ecosystem services. The fulfilment of individual soil functions is linked to the inherent soil properties, the terrain, and climatic conditions. The soil function maps agreed well with the SFA results for the profiles in terms of land use, soil type, and drainage class. Four aggregation rules were tested to give total assessment values (soil indices). Aggregating the 10 soil functions into an overall soil functionality value gave quite diverse spatial patterns, indicating that merging might average out the spatial characteristics of certain soil functions. We conclude that a quite comprehensive set of soil functions can be assessed using spatial information for eight basic soil properties to a soil depth of at least 1 m and approved pedotransfer functions for secondary soil properties. SFA methods for the production function are well established, but methods for assessing habitat and regulation functions need to be developed further. This is also true for forest soils, for which SFA methods are yet to be established.
Zustandsüberwachung von Mühlenpanzerungen durch maschinelles Lernen
Creators: name: Fuerst, Axel
name: Jordi, Marco
name: Nadipuram, Venkat
Year: 2019

description: Um eine übermäßige Abnutzung der Trommeln von Erzmühlen zu verhindern, werden diese mit austauschbaren Panzerungen ausgestattet. ABB und die Berner Fachhochschule haben ein Überwachungssystem für Mühlenpanzerungen entwickelt, das mithilfe von Beschleunigungssensoren und maschinellen Lernverfahren den besten Zeitpunkt zum Austausch der Panzerung bestimmt und somit Stillstandskosten reduziert.
Guided self-study in preclinical physiotherapy students: A feasibility study
Creators: name: Rogan, Slavko
name: Schenk, Elisabeth
name: Taeymans, Jan
Publisher: name: A O S I S OpenJournals
Year: 2023

description: Background: Literature describing the impact of guided self-study (G-SS) in knowledge changes and skills improvements in undergraduate students is scarce. Objectives: The aims of our study were to evaluate the feasibility of a G-SS programme in a full-time undergraduate physiotherapy degree course and to assess the effectiveness of the G-SS on changes in knowledge and development of skills (hands-on). Method: Fifty-three first-semester undergraduate physiotherapy students were randomly divided into a G-SS group and a control group (CG). The G-SS group received six clinical cases and prepared each case during an 8-day cycle. The control group received self-study learning units of the original curriculum content. Primary outcome parameters were (1) time of task, (2) responsiveness of students and (3) programme differentiation. Knowledge changes and skills changes were tested using a multiple-choice questionnaire and the objective structured clinical examination (OSCE). Results: Students’ responsiveness was 32%. This was below the a priori set 83%. No differences in programme differentiation were found. The OSCE grade was significantly higher in the G-SS compared to CG (p = 0.003). Conclusion: The G-SS programme in its current form was not feasible regarding students’ responsiveness. Therefore, a slight modification of our study protocol (e.g., better time planning in the academic calendar) is needed to improve students’ willingness to participate in the G-SS programme. Clinical implications: Adaptation of the school timetable should allow undergraduate physiotherapy students to prepare clinical cases under conditions of lower workload. Guided self-study as compared to CG is superior in knowledge change and (hands-on) skills improvement.
Cryptodacus ornatus Norrbom
Creators: name: Rodriguez, Pedro Alexander
name: Rodriguez, Erick J.
name: Norrbom, Allen L.
name: Arévalo, Emilio
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Tephritidae
Cryptodacus
Cryptodacus ornatus

description: Cryptodacus ornatus Norrbom
Figs. 3, 9, 10, 16, 20, 24, 25, 35
Specimens examined. COLOMBIA: Tolima: Sitio No. 10, Arenera, [04°16'55.0"N 74°54'16.6"W], 309 m, 3 Nov 2004, N. Canal, 1♀ (UT). PERU: Ucayali: Pimental, 8º31’30”S 74º46’30”W, agroforest (loc. 19), 165 m, 22 Sep 2010, J. Krausova, 1♀ (USNM USNMENT00105350).
Comments. This species has been reported previously from Colombia, Brazil and Ecuador Norrbom (1994); Norrbom & Korytkowski (2008). The only recorded specimens from Colombia were from an unknown locality ("cordillera, terra caliente"). The above records are the first from department of Tolima and Peru.
description: Published as part of Rodriguez, Pedro Alexander, Rodriguez, Erick J., Norrbom, Allen L. & Arévalo, Emilio, 2016, A new species and new records of Cryptodacus (Diptera: Tephritidae) from Colombia, Bolivia and Peru, pp. 276-290 in Zootaxa 4111 (3) on page 280, DOI: 10.11646/zootaxa.4111.3.5, http://zenodo.org/record/264878
title: Enhanced delivery of immunosuppressive drug compositions for pulmonary delivery
Creators: name: Williams, Robert O.
name: Johnston, Keith P.
name: Rogers, True L.
name: Watts, Alan B.
name: Sinswat, Prapasri
name: McConville, Jason T.
name: Talbert, Robert
name: Peters, Jay I.
Publisher: name: United States Patent and Trademark Office
Year: 2015
Subjects: subject: A61K31/436
subject: A61K9/0075
subject: A61K9/0078
subject: A61K9/1623
subject: A61K9/1694
subject: A61K9/19
subject: A61K9/5161
subject: A61K9/5192
subject: A61K38/13
subject: No longer published

description: The present invention includes compositions and methods for making and using a rapid dissolving, high potency, substantially amorphous nanostructured aggregate for pulmonary delivery of tacrolimus and a stabilizer matrix comprising, optionally, a polymeric or non-polymeric surfactant, a polymeric or non-polymeric saccharide or both, wherein the aggregate comprises a surface area greater than 5 m2/g as measured by BET analysis and exhibiting supersaturation for at least 0.5 hours when 11-15-times the aqueous crystalline solubility of tacrolimus is added to simulated lung fluid.
title: Method for metal nanoparticle electrocatalytic amplification
Creators: name: Bard, Allen J.
name: Fan, Fu-Ren F.
name: Xiao, Xiaoyin
Publisher: name: United States Patent and Trademark Office
Year: 2015
Subjects: subject: B82Y5/00
subject: B82Y15/00
subject: B82Y30/00
subject: G01N27/3278
subject: No longer published

description: The present invention includes methods, compositions and kits for analyzing a chemical analyte having an electrochemical cell connected to a measuring apparatus. The electrochemical cell contains a solution having one or more nanoparticles, one or more chemical analytes, an indicator. In addition, the electrochemical cell contains one or more electrodes in communication with the solution. One or more electrocatalytic properties are generated by the interaction of the one or more nanoparticles and the liquid sample and measured at the one or more electrodes.
title: Multi-layered hydrogel constructs and associated methods
Creators: name: Roy, Krishnendu
name: Nguyen, Lonnissa
Publisher: name: United States Patent and Trademark Office
Year: 2015
Subjects: subject: A61L27/227
subject: A61L27/3839
subject: A61L27/52
subject: A61L2430/06
subject: C12N5/0655
subject: C12N2513/00
subject: C12N2533/30
subject: C12N2533/70
subject: C12N2533/80
subject: No longer published

description: Multi-layered hydrogel constructs comprising: a first layer comprising a first polymerizable material, hyaluronic acid and a plurality of cells; a second layer comprising a second polymerizable material, chondroitin sulfate and a plurality of cells; and a third layer comprising a third polymerizable material, chondroitin sulfate, a matrix metalloprotease sensitive peptide, and a plurality of cells are provided. Associated methods are also provided.
How to Evaluate Health Applications with Conversational User Interface?
Creators: name: Denecke, Kerstin
name: Warren, Jim
Publisher: name: IOS Press
Year: 2020
Subjects: Chatbot Chatbot evaluation Conversational user interface Evaluation Health application Natural language understanding

description: Application of conversational user interfaces (CUI) or chatbots to healthcare is gaining interest fueled by the rising power of artificial intelligence, increasing popularity of mobile health applications and the desire for engagement and usability. While their use is mainly justified by increasing adherence to mobile health applications and facilitating interactions with the system, the question arises: How can such systems be evaluated in a reliable manner? This paper introduces an evaluation framework for health systems whose core interaction principle is a CUI. We derive quality dimensions and attributes by collecting relevant evaluation aspects from applications that have been developed in previous work and from literature on health chatbots. The collected aspects are aggregated into six thematic categories for chatbot quality, including user experience, linguistic, task-oriented and artificial intelligence perspectives, but also healthcare quality and system quality perspectives. The framework is intended to support developers and researchers in the domain of chatbots in healthcare in selecting relevant quality attributes to be assessed before their systems are distributed to patients.
title: Toroidal pharmaceutical formulations
Creators: name: Smyth, Hugh D.
name: Herpin, Matthew
Publisher: name: United States Patent and Trademark Office
Year: 2015
Subjects: subject: A61K9/0048
subject: A61K9/12
subject: No longer published

description: There is provided methods for administering a toroidal pharmaceutical composition to a subject. The method includes dispensing a toroidal pharmaceutical composition, and allowing the toroidal pharmaceutical composition to contact a target organ of the subject, thereby administering the toroidal pharmaceutical composition. There are additionally provided toroidal aerosol delivery systems.
Heteromeiropsis zariquieyi
Creators: name: Pierotti, Helio
name: Bellò, Cesare
name: Alonso-Zarazaga, Miguel A.
Publisher: name: Zenodo
Year: 2010
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Curculionidae
Heteromeiropsis
Heteromeiropsis zariquieyi

description: Heteromeiropsis zariquieyi (Solari)
(Figs. 5a, 41a, 42a–c, 53b, 76)
 Heteromeira zariquieyi Solari, 1955: 58; Pierotti & Bellò, 1994: 296; Pierotti & Bellò, 1998: 107; Gurrea Sanz & Sanz Benito, 2000: 184; Alonso-Zarazaga, 2002: 24.
 Heteromeiropsis zariquieyi (Solari): Pierotti & Bellò, 2004: 589.
 Diagnosis. Species of medium size (4.2–5.2 mm), characterised by elytra particularly elongate in male, with sides subparallel and apex markedly ogival, and by elytral setae erect or suberect. Ventrites as in Fig. 5a, aedeagus as in Fig. 41a, apical, median and gonoporal groups of endophallic structures as in Figs. 42a–c; spermatheca as in Fig. 53b.
 Distribution. Iberian endemite: north-eastern Catalonia (type locality: Catalonia: Figueras). Apparently occurring in all of province of Gerona and probably scattered to province of Barcelona. Spanish literature records: Gerona: Figueras (type loc.), Olot, Coll de Cannes (Solari, 1955); Figueras (Pierotti & Bellò, 1994); Camallera (Pierotti & Bellò, 2004).
 Material examined (Fig. 76). Holotype, labelled: 1) Figueras, Cataluña, X.1915, Zariquiey; 2) Cataluña, Figueras, musgo, X.15, Zariquiey; 3) Heteromeira zariquieyi m., holotypus, det. F. Solari (SOL). Other specimens: Spain: Gerona: Figueras, 3.II.51, leg. Bech (GON); do., 15. V.92, leg. Bellò (BEL); do., leg. Pierotti (PIE); Camallera, 1. VI.98, 11. V.00, 3. V.01, leg. Pierotti (BEL, PIE); Hostalets d’en Bas, VI –II.23, leg. Codina (MBA). Barcelona: Pla d’Aiats, 16.VII.23, leg. Codina (MBA); San Quirze de Besora, II.34, leg. Museu (MBA).
 Biology. Collected among fallen leaves of Quercus ilex L. (Fagaceae) by Figueras and of Olea europaea L. (Oleaceae) by Camallera.
description: Published as part of Pierotti, Helio, Bellò, Cesare & Alonso-Zarazaga, Miguel A., 2010, 2376, pp. 1-96 in Zootaxa 2376 on pages 33-34
Additional file 2: of Development and performance evaluation of a recombinase polymerase amplification assay for the rapid detection of group B streptococcus
Creators: name: Clarke, Christina
name: OâConnor, Louise
name: CarrĂŠ-Skinner, Heather
name: Piepenburg, Olaf
name: Smith, Terry
Publisher: name: Figshare
Year: 2016
Subjects: subject: Biophysics
subject: Space Science
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: 69999 Biological Sciences not elsewhere classified
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Science Policy
subject: Hematology

description: Clinical sample analysis results. (DOCX 24Â kb)
Sensory-motor training targeting motor dysfunction and muscle weakness in long-term care elderly combined with motivational strategies
a single blind randomized controlled study
Creators: name: Rogan, Slavko
name: Radlinger, Lorenz
name: Baur, Heiner
name: Schmidtbleicher, Dietmar
name: De Bie, Rob A.
name: De Bruin, Eling D.
Publisher: name: Springer
Year: 2016

description: Background This study evaluated the effects of a combined innovative training regime consisting of stochastic resonance whole-body vibration (SR-WBV) and a dance video game (DVG) on physical performance and muscle strength in long-term-care dwelling elderly. Methods Thirthy long-term-care elderly were randomly allocated to an intervention group (IG; n = 16) receiving combined SR-WBV training and DVG, or a sham group (SG; n = 14). IG performed five sets one minute of SR-WBV, with one minute rest between sets (base frequency 3 Hz up to 6 Hz, Noise 4) during the first five weeks on three days per week. From week five to eight a DVG was added to SR-WBV for IG on three days per week. SG performed a five-set SR-WBV program (1 Hz, Noise 1) lasting five times one minute, with one minute rest in between, three days a week. From week five to eight stepping exercises on a trampoline were added on three days per week. Primary outcome: Short physical performance battery (SPPB). Secondary outcome: isometric maximal voluntary contraction (IMVC), and sub phases of IMVC (Fsub), isometric rate of force development (IRFD) and sub time phases of IRFD (IRFDsub) were measured at baseline, after four and eight weeks. ANOVA with repeated measures was used for analyses of time and interaction effects and MANOVA determined between group intervention effects. Results Between group effects revealed significant effects on the SPPB primary outcome after four weeks F(1, 27) = 6.17; p = 0.02) and after eight weeks F(1,27) = 11.8; p = 0.002). Secondary muscle function related outcome showed significant between group effects in IG on IRFD, Fsub 30 ms, 100 ms, 200 ms and IRFDsub 0-30 ms, 0-50 ms, 0-100 ms and 100-200 ms compared to SG (all p < 0.05). Conclusions Eight weeks SR-WBV and DVG intervention improved lower extremity physical function and muscle strength compared to a sham intervention in long-term-care elderly. SR-WBV and DVG seems to be effective as a training regime for skilling up in long-term-care elderly.
Additional file 1: of The clinical and cost effectiveness of steroid injection compared with night splints for carpal tunnel syndrome: the INSTINCTS randomised clinical trial study protocol
Creators: name: Chesterton, Linda
name: Krysia Dziedzic
name: Windt, Danielle Van Der
name: Davenport, Graham
name: Myers, Helen
name: Trishna Rathod
name: Blagojevic-Bucknall, Milica
name: Jowet, Sue
name: Burton, Claire
name: Roddy, Edward
name: Hay, Elaine
Publisher: name: Figshare
Year: 2016
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Marine Biology
subject: Science Policy

description: INSTINCTS list of recruitment sites. (DOCX 17 kb)
TIUP: Effective Processor Verification with Tautology-Induced Universal Properties
Creators: name: Li, Yufeng
name: Ci, Yiwei
name: Yang, Qiusong
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Hardware Architecture (cs.AR)
subject: Systems and Control (eess.SY)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Design verification is a complex and costly task, especially for large and intricate processor projects. Formal verification techniques provide advantages by thoroughly examining design behaviors, but they require extensive labor and expertise in property formulation. Recent research focuses on verifying designs using the self-consistency universal property, reducing verification difficulty as it is design-independent. However, the single self-consistency property faces false positives and scalability issues due to exponential state space growth. To tackle these challenges, this paper introduces TIUP, a technique using tautologies as universal properties. We show how TIUP effectively uses tautologies as abstract specifications, covering processor data and control paths. TIUP simplifies and streamlines verification for engineers, enabling efficient formal processor verification.
description: Accepted by ASP-DAC 2024, please note that this is not the final camera-ready version
title: Storing carbon dioxide and producing methane and geothermal energy from deep saline aquifers
Creators: name: Pope, Gary A.
name: Bryant, Steven L.
Publisher: name: United States Patent and Trademark Office
Year: 2015
Subjects: subject: C10L1/04
subject: C10L3/06
subject: C10L2290/30
subject: C10L2290/544
subject: E21B43/40
subject: E21B41/0064
subject: F24T10/00
subject: H02K7/18
subject: Y02C10/14
subject: Y02E10/10
subject: No longer published

description: A novel idea involving the coupling of CO2 geological storage with methane and/or heat production (geothermal energy) from geopressured-geothermal aquifers is described herein. The production of energy from the extracted brine offsets the cost of capture, pressurization, and injection and the subsequent injection of brine containing carbon dioxide back into the aquifer. Calculations described in the present invention indicate that this offset would reduce the cost of carbon capture and sequestration (CCS) to a point that CCS could survive in a competitive market environment without subsidies or a price on carbon.
Modeling and prediction of density distribution and microstructure in particleboards from acoustic properties by correlation of non-contact high-resolution pulsed air-coupled ultrasound and X-ray images
Creators: name: Sanabria, Sergio J.
name: Hilbers, Ulrich
name: Neuenschwander, Peter
name: Niemz, Peter
name: Sennhauser, Urs
name: Thömen, Heiko
name: Wenker, Jan L.
Publisher: name: Elsevier
Year: 2013
Subjects: Air-coupled ultrasound Finite-difference time-domain method Grain/porosity scattering Particleboard wood composite X-ray in-plane density distribution

description: Non-destructive density and microstructure quality control testing in particleboards (PBs) is necessary in production lines. A pulsed air-coupled ultrasound (ACU) high-resolution normal transmission system, together with a first wave tracking algorithm, were developed to image amplitude transmission G p and velocity c p distributions at 120 kHz for PBs of specific nominal densities and five particle geometries, which were then correlated to X-ray in-plane density images ρ s. Test PBs with a homogeneous vertical density profile were manufactured in a laboratory environment and conditioned in a standard climate (T = 20 Â°C, RH = 65%) before the measurements. Continuous trends (R 2 \textgreater 0.97) were obtained by matching the lateral resolution of X-ray images with the ACU sound field radius (σwo=21mm) and by clustering the scatter plots. ρ s â�� c p was described with a three-parameter non-linear model for each particle geometry, allowing for ACU density prediction with 3% uncertainty and PB testing according to EN312. ρ s â�� G p was modeled by calculating ACU coupling gain and by fitting inverse power laws with offset of ρ s and c p to material attenuation, which scaled with particle volume. G p and c p variations with the frequency were examined, showing thickness resonances and scattering attenuation. The combination of ACU and X-ray data enabled successful particle geometry classification. The observed trends were interpreted in terms of multi-scale porosity and grain scattering with finite-difference time-domain simulations, which modeled arbitrarily complex stiffness and density distributions. The proposed method allows for non-contact determination of relations between acoustic properties and in-plane density distribution in plate materials. In future work, commercial PBs with non-uniform vertical density profiles should be investigated. © 2012 Elsevier B.V. All rights reserved.
Additional file 3: of Understanding variations in patient screening and recruitment in a multicentre pilot randomised controlled trial: a vignette-based study
Creators: name: Hilton, Paul
name: Buckley, Brian
name: McColl, Elaine
name: Howel, Denise
name: Tincello, Douglas
name: Brennand, Catherine
Publisher: name: Figshare
Year: 2016
Subjects: subject: Medicine
subject: Biotechnology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: 60506 Virology

description: Score sheet used in vignette-based study of screening processes. (DOC 86Â kb)
title: Subwavelength grating coupler
Creators: name: Chen, Ray T.
name: Xu, Xiaochuan
Publisher: name: United States Patent and Trademark Office
Year: 2015
Subjects: subject: G02B6/124
subject: G02B6/126
subject: G02B6/13
subject: G02B6/136
subject: G06F17/50
subject: No longer published

description: A method, system or device for configuring an optical coupling device including obtaining characteristics of an optical signal and ambient conditions for storage in memory, utilizing a processor for identifying an optimum effective subwavelength area refractive index and a grating period for the input signal and ambient characteristics stored in memory, and utilizing the processor for identifying a preferred filling factor for a transverse polarization.
Coelorinchus spinifer Gilbert and Hubbs 1920
Creators: name: Iwamoto, Tomio
name: Ho, Hsuan-Ching
name: Shao, Kwang-Tsao
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Actinopterygii
Gadiformes
Macrouridae
Coelorinchus
Coelorinchus spinifer

description: Coelorinchus spinifer Gilbert and Hubbs, 1920
Fig 4 A–B
Coelorhynchus spinifer Gilbert and Hubbs, 1920:516 –519, fig. 30 (holotype USNM 78226, 185 mm TL; Gulf of Tomini, Celebes; 0°04’S, 121°36’E; 1392 m; Albatross sta. 5607).
Coelorinchus spinifer: Iwamoto in Cohen et al. 1990:138 (listed). Shao et al. 2008:24, table 2 (listed, one spec.; South China Sea, 1098 m)
Material examined. ASIZ P66748 (51.1 HL, 180 TL); South China Sea, 20°44’N, 117°39’E, 1098 m; sta. CD322; 19 Aug 2005.
Counts. 1D II, 11; P i16 /i16; V 8; gillrakers first arch (inner) 2+7, gillrakers second arch (outer/inner) 1+7 / 2+6; scale rows below 1D 8, below midbase 1D 7, below 2D 6; lateral line scales over distance equal to predorsal length ca. 43.
Measurements (in mm, percent HL in parentheses). Snout 26.5 (52); preoral 15.8 (31); internasal width 9.7 (19); interorbital width 12.8 (25); orbit diameter 11.0 (22); suborbital height 6.3 (12); postorbital length 15.3 (30); distance orbit to preopercle 15.5 (30); length upper jaw 11.4 (22); length barbel 2.2 (4); length isthmus to A origin 29.4 (58); length base 1D 6.7 (13); P length 15.4 (30); length V 9.8 (19).
Remarks. This specimen is almost the same size as the holotype (185 mm), and agrees very well with the original description by Gilbert and Hubbs (1920:516–519, fig. 30), although ASIZP 66748 is a juvenile in poor condition. The snout region is damaged and lacks the terminal snout scute and most of the body scales are gone; however, there is enough left to say with a degree of certainty that the two are conspecific. The heavily spinulated character of the scales may be a juvenile feature and may possibly change with size.
Coelorinchus spinifer is one of the deepest-living members of the genus, the holotype having been captured at a depth of 1392 m and the ASIZ specimen at 1098 m. Most species of Coelorinchus occur in depths of less than about 800 m. However, the following 10 species of Coelorinchus are known from captures below 1200 m: C. spinifer, C. acanthiger Barnard, 1925 (800–1270 m), C. amirantensis Iwamoto et al., 2006 (950–1900 m), C. chilensis Gilbert and Thompson in Thompson, 1916 (260–1480 m), C. kaiyomaru Arai and Iwamoto, 1979 (845–1360 m), C. labiatus (Koehler, 1896) (460–2220 m), C. obscuratus McMillan and Iwamoto, 2008 (1013–1460 m), C. osipullus McMillan and Iwamoto, 2008 (600–1340 m), C. trachycarus Iwamoto et al., 1999 (1015–1234 m), and C. yurii Iwamoto et al., 2006 (800–1900 m).
description: Published as part of Iwamoto, Tomio, Ho, Hsuan-Ching & Shao, Kwang-Tsao, 2009, Description of a new Coelorinchus (Macrouridae, Gadiformes, Teleostei) from Ta i w a n, with notable new records of grenadiers from the South China Sea, pp. 39-50 in Zootaxa 2326 on page 47, DOI: 10.5281/zenodo.275426
Zu Gast - Ralf Buchholz
Creators: name: Buder, Andreas
Publisher: name: Berner Fachhochschule BFH, Hochschule der Künste Bern
Year: 2023
Subjects: Holzanatomie Holztechnologie Kunst Kulturgut

description: In der «Wortwolke» unseres Gastes an der HKB tauchen Terminologien wie Hoftüpfel, Strahlparenchym, Färberwurz, Schwalbenschwanzzinken oder Drachenblut auf. Eigentlich kein Wunder, denn Ralf Buchholz ist eine Instanz auf seinem Gebiet.
Kumba gymnorhynchus Iwamoto and Sazonov 1994
Creators: name: Iwamoto, Tomio
name: Ho, Hsuan-Ching
name: Shao, Kwang-Tsao
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Actinopterygii
Gadiformes
Macrouridae
Kumba
Kumba gymnorhynchus

description: Kumba gymnorhynchus Iwamoto and Sazonov, 1994
Fig 5
Kumba gymnorhynchus Iwamoto and Sazonov, 1994:229 –231, fig. 3, 4 (holotype CAS 77313, 68.3 HL, 402+ TL) and paratype ZMMGU P.17766 (75.3 HL, 496+ TL); West Australian Ridge [Broken Ridge], 30°46’S, 93°20’E; 1260– 1370 m; 2 Sep 1976. Shao et al. 2008:25, table 2 (listed, one spec.; South China Sea, 736–1040 m)
Material examined. ASIZ P65527 (1 spec., 64.9 HL, 316 TL; South China Sea, 22°16’N, 120°06’E, 736– 1040 m; sta. CD134; 22 Nov 2001).
Counts. 1D II, 11; P i18 /i18; V 8; gillrakers first arch (outer/inner) 1+6 / 1+9, gillrakers second arch (outer/inner) 2+9 / 2+8; scale rows below 1D 11, below midbase 1D 9, below 2D 12, lateral line scales over distance equal to predorsal length ca. 52.
Measurements (in mm, percent HL in parentheses). Head length 64.9; snout 17.8 (27); preoral 13.4 (21); internasal width 14.0 (22); interorbital width 15.7 (24); orbit diameter 16.9 (26); suborbital height 10.3 (16); postorbital length 25.7 (40); distance orbit to preopercle 32.2 (50); length upper jaw 26.9 (41); length barbel 7.6 (12); length isthmus to A origin 28.7 (44); height 1D 41.3 (64); length base 1D 20.1 (31); P length 34.7 (53); length V 54.1 (83).
Remarks. This specimen represents the first record of the species from the western Pacific and only the third known specimen. The original description was based on two specimens collected from the West Australian Ridge in the eastern Indian Ocean. Another specimen was examined by the first author in the Museum of Victoria (NMV 23944, 61 mm HL, 360 mm TL); it was captured off Albany, Western Australia (35°S, 118°E). The species is also expected to be in the southwestern Pacific.
description: Published as part of Iwamoto, Tomio, Ho, Hsuan-Ching & Shao, Kwang-Tsao, 2009, Description of a new Coelorinchus (Macrouridae, Gadiformes, Teleostei) from Ta i w a n, with notable new records of grenadiers from the South China Sea, pp. 39-50 in Zootaxa 2326 on page 48, DOI: 10.5281/zenodo.275426
Additional file 5: Appendix 5. of A patient and public involvement (PPI) toolkit for meaningful and flexible involvement in clinical trials â   a work in progress
Creators: name: Bagley, Heather
name: Short, Hannah
name: Harman, Nicola
name: Hickey, Helen
name: Gamble, Carrol
name: Woolfall, Kerry
name: Young, Bridget
name: Williamson, Paula
Publisher: name: Figshare
Year: 2016
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Developmental Biology
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: Computational Biology

description: PPI Remit TMG Public Contributor. (PDF 711 kb)
Risk Based Maintenance for Swiss Railway Bridges: Concept, Implementation and First Experiences
Creators: name: Proske, Dirk
name: Friedl, Herbert
name: Payeur, Jean-Baptiste
name: Girardin, Blaise
Publisher: name: Czech Technical University in Prague
Year: 2022
Subjects: Bridges
collapse Condition class Damage Probability of failure Risk assessment

description: The Swiss Federal Railway (SBB) has an inventory of approx. 6,000 bridges. So far, condition classes of the individual bridges have been used for maintenance management. To improve the efficiency of the maintenance management, a long-term change from the condition class-based approach to a risk-based approach is considered. Such a risk-based approach was developed and implemented during a two-stage process into software (Excel and Python). The software was also linked to the SBB databases to access the relevant data. The Python software now includes 12 parameters to adapt the initial failure probability to specific bridge conditions and 15 damage parameters. So almost 30 parameters are used to compute the risk for each bridge. The software is also linked to geographical maps to show the location of the bridges. Besides the development of the approach, also the first experience of the application of this methodology will be discussed. For example, the risk-based ranking of the bridges clearly showed that specific bridge types are dominating. Also, some original ideas and concepts were not applicable due to difficulties in providing the required input data. However, currently the risk-based bridge ranking complies well with former investigations carried out by hand.
title: Determination of oil saturation in reservoir rock using paramagnetic nanoparticles and magnetic field
Creators: name: Milner, Thomas E.
name: Johnston, Keith P.
name: Huh, Chun
name: Bryant, Steven L.
Publisher: name: United States Patent and Trademark Office
Year: 2015
Subjects: subject: C09K8/588
subject: C09K8/805
subject: C09K2208/10
subject: E21B47/1015
subject: E21B49/00
subject: E21B49/008
subject: G01V3/082
subject: No longer published

description: Methods for detection of the presence and distribution of oil in subsurface formation are described herein. The present invention involves injection of an aqueous dispersion of the nanoparticles into the potentially oil containing subsurface formation, followed by a remote detection of the oscillation responses of the nanoparticles in the oil/water interfaces in the reservoir rock by applying magnetic field.
Cryptodacus trinotatus Norrbom & Korytkowski
Creators: name: Rodriguez, Pedro Alexander
name: Rodriguez, Erick J.
name: Norrbom, Allen L.
name: Arévalo, Emilio
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Tephritidae
Cryptodacus
Cryptodacus trinotatus

description: Cryptodacus trinotatus Norrbom & Korytkowski
Figs. 4, 11, 12, 17, 21, 27, 32–34
Specimens examined. COLOMBIA: Cundinamarca: La Mesa, entrada al sitio los Pinos [4º63’87”N 74º46’71”W], 1125 m, McPhail trap 24, 14 Jul 2015, L. Guerrero, 3♀ (ICAMF00000046). Norte de Santander: Pamplonita, vereda San Rafael predio El Recuerdo [7,4443 N – 72,6332 W], 1658 m, McPhail trap 16, 29 abr 2014. 1 ♀ (ICAMF00000100).
Comments. This species has been reported previously only from Panamá (Norrbom & Korytkowski 2008). The examined specimens are the first record from Colombia and South America.
Key. The following modifications to the key of Norrbom & Korytkowski (2008) are provided to include C. bernardoi:
2. Female abdominal tergites 5 and 6 with sublateral white areas bordering medial brown vitta or vittae. Crossvein dm-m entirely covered by discal band or, if covered by subapical band (C. lopezi), face yellow, with single ventromedial brown spot. Mexico, Central America ...................................................................................... 3 - Female abdominal tergites 5 and 6 without sublateral white areas. Crossvein dm-m at most with posterior half covered by discal band. Face entirely yellow or with more than one brown marking. Costa Rica, South America .....................4A 4A. Face yellow with brown markings (Fig. 10–12). Syntergite 1+2 mostly to entirely dark brown (Figs. 24, 26, 27), at most with apical white band. Vein R4+5 not sinuous and crossvein dm-m nearly straight or slightly curved (Figs. 20, 21).............5 - Face entirely yellow, without brown markings (Figs. 5, 6, 8). Syntergite 1+2 entirely yellow (Figs. 22, 23). Apical section of vein R4+5 and crossvein dm-m both sinuous (Fig.19)....................... C. bernardoi Rodriguez & Rodriguez, n. sp.
description: Published as part of Rodriguez, Pedro Alexander, Rodriguez, Erick J., Norrbom, Allen L. & Arévalo, Emilio, 2016, A new species and new records of Cryptodacus (Diptera: Tephritidae) from Colombia, Bolivia and Peru, pp. 276-290 in Zootaxa 4111 (3) on pages 283-289, DOI: 10.11646/zootaxa.4111.3.5, http://zenodo.org/record/264878
Additional file 1: of Facilitators and barriers to implementing electronic referral and/or consultation systems: a qualitative study of 16 health organizations
Creators: name: Tuot, Delphine
name: Kiren Leeds
name: Murphy, Elizabeth
name: Urmimala Sarkar
name: Lyles, Courtney
name: Tekeshe Mekonnen
name: Chen, Alice
Publisher: name: Figshare
Year: 2015
Subjects: subject: Space Science
subject: Medicine
subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Table S1.Key informant interview guide. Table S2. A priori analytic codes. Table S3aâ  c. Description, functionality, workflow, and implementation status of electronic referral, consultation and integrated eCR systems. (DOCX 128Â kb)
title: Porous carbon interlayer for lithium-sulfur battery
Creators: name: Manthiram, Arumugam
name: Su, Yu-Sheng
Publisher: name: United States Patent and Trademark Office
Year: 2016
Subjects: subject: B82Y99/00
subject: H01M2/1646
subject: H01M2/1613
subject: H01M4/38
subject: H01M10/052
subject: H01M4/5815
subject: H01M2004/021
subject: Y02E60/122
subject: Y10S977/752
subject: Y10S977/948
subject: No longer published

description: The present disclosure relates to an electrochemical cell including an anode, a sulfur-containing cathode, a lithium-ion-containing electrolyte, and a porous carbon interlayer disposed between the anode and the cathode. The interlayer may be permeable to the electrolyte. The interlayer may be formed from a multiwall carbon nanotube (MWCNT) or a microporous carbon paper (MCP).
Ökobilanzanalyse weide- und graslandbasierter Milchproduktionssysteme : Serie Systemvergleich Hohenrain II
Creators: name: Zumwald, J.
name: Braunschweig, M.
name: Hofstetter, P.
name: Reidy, Beat
name: Nemecek, T.
Publisher: name: Agroscope Liebefeld-Posieux ALP
Year: 2018
Subjects: life cycle assessment
environment
dairy production
grazing
concentrate feed

description: Im Rahmen des Projekts «Optimierung von graslandbasierten Milchproduktionssystemen auf Basis von Eingrasen (Hohenrain II)» haben wir die Umweltwirkungen von drei Systemen anhand der Ökobilanzmethode SALCA miteinander verglichen: Vollweide mit saisonaler Abkalbung, sowie zwei Varianten von Eingrasen mit unterschiedlichem Kraftfuttereinsatz (< 500 kg/Kuh/ Jahr und 800–1200 kg/Kuh/Jahr). Systeme mit höherem Kraftfuttereinsatz weisen im Vergleich zu Systemen mit niedrigerem Kraftfuttereinsatz höhere und somit ungünstigere Werte in den Kategorien Kalium-Ressourcenbedarf und Ökotoxizität und teilweise in den Kategorien Phosphor- Ressourcenbedarf sowie Abholzung auf. Beim Treibhauspotenzial, bei der Ozonbildung und bei der Landschaftsästhetik weist das System mit höherem Kraftfuttereinsatz hingegen teilweise günstigere Werte auf als das Vollweide-System. In einigen weiteren Wirkungskategorien sind aufgrund der hohen Variabilität zwischen den untersuchten Betrieben und Jahren keine deutlichen Unterschiede zwischen den Systemen ersichtlich. Die wichtigsten Einflussfaktoren auf die Umweltwirkungen der Milch sind die Futterverwertung (kg Futter/kg energiekorrigierte Milch [ECM]), die Zusammensetzung der Futterration, die Zufuhr von Kraftfutter, die Remontierung von Kühen sowie die Düngung.
title: Pertussis antibodies and uses thereof
Creators: name: Maynard, Jennifer A.
name: Sutherland, Jamie
Publisher: name: United States Patent and Trademark Office
Year: 2016
Subjects: subject: C07K16/1225
subject: C07K2317/24
subject: C07K2317/55
subject: C07K2317/56
subject: C07K2317/565
subject: C07K2317/622
subject: C07K2317/76
subject: C07K2317/92
subject: C07K2317/94
subject: No longer published

description: Compositions and methods are provided that are useful to treat respiratory diseases such as whooping cough. Further, compositions and methods of immunizing are provided.