cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Manual de uso de la app del eclipses solares de 2026/27/28
Creators: name: Sánchez de Miguel, Alejandro
Publisher: name: Zenodo
Year: 2025
Subjects: eclipse solar
VIIRS
MODIS
planificación de eclipses
Google Earth Engine
cielo despejado
nubes
observación astronómica
visualización satelital

description: Este manual ofrece una guía detallada para el uso de la aplicación web interactiva destinada a la planificación de la observación del eclipse solar total del 12 de agosto de 2026. Desarrollada en Google Earth Engine, la app permite explorar capas satelitales que muestran la probabilidad de cielo despejado, la presencia de nubes (diurnas y nocturnas), el relieve del terreno y la trayectoria del eclipse.

El documento describe cada una de las capas disponibles, cómo interpretar los datos visuales (especialmente la codificación por colores), y explica el origen y propósito de los datos utilizados, como los provenientes de los sensores VIIRS y MODIS. También se incluyen enlaces a otras versiones de la aplicación para los eclipses del 2 de agosto de 2027 y del 26 de enero de 2028.

El manual está diseñado para investigadores, astrónomos aficionados, educadores y cualquier persona interesada en planificar la observación del eclipse de forma informada y con base científica.
Cache-Aided Coded Multicast for Correlated Sources
Creators: name: Hassanzadeh, Parisa
name: Tulino, Antonia
name: Llorca, Jaime
name: Erkip, Elza
Publisher: name: arXiv
Year: 2016
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: The combination of edge caching and coded multicasting is a promising approach to improve the efficiency of content delivery over cache-aided networks. The global caching gain resulting from content overlap distributed across the network in current solutions is limited due to the increasingly personalized nature of the content consumed by users. In this paper, the cache-aided coded multicast problem is generalized to account for the correlation among the network content by formulating a source compression problem with distributed side information. A correlation-aware achievable scheme is proposed and an upper bound on its performance is derived. It is shown that considerable load reductions can be achieved, compared to state of the art correlation-unaware schemes, when caching and delivery phases specifically account for the correlation among the content files.
description: In proceeding of IEEE International Symposium on Turbo Codes and Iterative Information Processing (ISTC), 2016
Extending Nunchaku to Dependent Type Theory
Creators: name: Cruanes, Simon
name: Blanchette, Jasmin Christian
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Nunchaku is a new higher-order counterexample generator based on a sequence of transformations from polymorphic higher-order logic to first-order logic. Unlike its predecessor Nitpick for Isabelle, it is designed as a stand-alone tool, with frontends for various proof assistants. In this short paper, we present some ideas to extend Nunchaku with partial support for dependent types and type classes, to make frontends for Coq and other systems based on dependent type theory more useful.
description: In Proceedings HaTT 2016, arXiv:1606.05427
Additional file 1 of Developing a complex vocational rehabilitation intervention for patients with inflammatory arthritis: the WORK-ON study
Creators: name: Madsen, Christina Merete Tvede
name: Primdahl, Jette
name: Bremander, Ann
name: Eggen, Linda
name: Christensen, Jeanette Reffstrup
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Biotechnology
subject: Ecology
subject: FOS: Biological sciences
subject: Immunology
subject: FOS: Clinical medicine
classificationCode: 111714
subject: Mental Health

description: Additional file 1: Supplementary file 1. Template of the Intervention and Replication Checklist for WORK-ON
Rhynchonycteris naso
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Chiroptera
Emballonuridae
Rhynchonycteris
Rhynchonycteris naso

description: Rhynchonycteris naso (Wied-Neuwied, 1820). Reise nach Brasilien, 1:251. TYPE LOCALITY: Brazil, Bahia, Rio Mucuri, near Morro d'Arara. DISTRIBUTION: E. Oaxaca and C. Veracruz (Mexico) to C. and E. Brazil, Peru, Bolivia, French Guiana, Guyana, and Surinam; Trinidad. COMMENT: See Avila-Pires, 1965, Am. Mus. Novit., 2209:9, for clarification of the type locality. ISIS NUMBER: 5301405003007001001.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Chiroptera, pp. 111-215 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 131, DOI: 10.5281/zenodo.7352990
description: {"references": ["Avila-Pires, F. D., de. 1965. The type specimens of Brazilian mammals collected by Prince Maximilian zu Wied. American Museum Novitates, 2209: 1 - 21."]}
Universal enveloping algebras and Poincaré-Birkhoff-Witt theorem for involutive Hom-Lie algebras
Creators: name: Guo, Li
name: Zhang, Bin
name: Zheng, Shanghua
Publisher: name: arXiv
Year: 2016
Subjects: subject: Quantum Algebra (math.QA)
subject: Rings and Algebras (math.RA)
subject: FOS: Mathematics
subject: 17A30, 17A50, 17B35

description: A Hom-type algebra is called involutive if its Hom map is multiplicative and involutive. In this paper, we obtain an explicit construction of the free involutive Hom-associative algebra on a Hom-module. We then apply this construction to obtain the universal enveloping algebra of an involutive Hom-Lie algebra. Finally we obtain a Poincaré-Birkhoff-Witt theorem for the enveloping associative algebra of an involutive Hom-Lie algebra.
description: 18 pages
Goal Translation for a Hammer for Coq (Extended Abstract)
Creators: name: Czajka, Łukasz
name: Kaliszyk, Cezary
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Hammers are tools that provide general purpose automation for formal proof assistants. Despite the gaining popularity of the more advanced versions of type theory, there are no hammers for such systems. We present an extension of the various hammer components to type theory: (i) a translation of a significant part of the Coq logic into the format of automated proof systems; (ii) a proof reconstruction mechanism based on a Ben-Yelles-type algorithm combined with limited rewriting, congruence closure and a first-order generalization of the left rules of Dyckhoff's system LJT.
description: In Proceedings HaTT 2016, arXiv:1606.05427
Pneumococcal Transformation: ComW is a DNA Binding Protein that Stimulates Competence Gene Transcription
Creators: name: Inniss, Nicole
Publisher: name: University of Illinois at Chicago
Year: 2020
Subjects: Uncategorized

description: Natural genetic transformation via horizontal gene transfer enables rapid adaptation to dynamic environments and contributes to antibiotic resistance and vaccine evasion in bacteria. Most transformable bacteria require entry into a competent state, in which the express genes required for DNA uptake and recombination. The growth phases, environmental cues, and molecular signals that promote competence differ from one species to the another, but ultimately lead to expression of specific transcriptional regulators to target competence genes for expression. Competent pneumococci rely on expression of the alternative sigma factor, SigX, and a novel sigma factor activator, ComW, for expression of transformation genes. This thesis explores the function of ComW. In the absence of a predictable function, creation of an ab initio model of ComW's 3D structure led to the reliable purification and characterization of a soluble ComW variant, discovery and analysis of its DNA-binding activity, and functional assays for affects on SigX-mediated transcription during in vitro transcription.
Linguistic factors in cognitive preference tests
Creators: name: Thein, Myint.
Publisher: name: Monash University
Year: 2022

description: This thesis was scanned from the print manuscript for digital preservation and is copyright the author.
 Researchers can access this thesis by asking their local university, institution or public library to
 make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
Additional file 2 of Developing a complex vocational rehabilitation intervention for patients with inflammatory arthritis: the WORK-ON study
Creators: name: Madsen, Christina Merete Tvede
name: Primdahl, Jette
name: Bremander, Ann
name: Eggen, Linda
name: Christensen, Jeanette Reffstrup
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Biotechnology
subject: Ecology
subject: FOS: Biological sciences
subject: Immunology
subject: FOS: Clinical medicine
classificationCode: 111714
subject: Mental Health

description: Additional file 2: Supplementary 2. Interview guide, rehabilitation clinicians
Saccolaimus Temminck 1838
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Chiroptera
Emballonuridae
Saccolaimus

description: Saccolaimus Temminck, 1838. Tijdschr. Nat. Gesch. Physiol., 5: 14. REVIEWED BY: F. R. Allison (FRA)(Australia). COMMENT: Considered a subgenus of Taphozous by Ellerman and Morrison-Scott, 1951: 104, and Corbet and Hill, 1980:45, but see Barghorn, 1977, Am. Mus. Novit., 2618:5.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Chiroptera, pp. 111-215 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 131, DOI: 10.5281/zenodo.7352990
description: {"references": ["Ellerman, J. R., and T. C. S. Morrison-Scott. 1951. Checklist of Palaearctic and Indian mammals 1758 to 1946. Trustees of the British Museum (Natural History), London, 810 pp.", "Corbet, G. B., and J. E. Hill. 1980. A world list of mammalian species. British Museum (Natural History), London, 226 pp.", "Barghorn, S. F. 1977. New material of Vespertiliavus Schlosser (Mammalia: Chiroptera) and suggested relationships. American Museum Novitates, 2618: 1 - 29."]}
Effect of Fusion Methods on Adjacent Segment Biomechanics in a Lumbar Spine with Preexisting Conditions .
Creators: name: Ayushmita De
Publisher: name: University of Illinois at Chicago
Year: 2020
Subjects: Uncategorized

description: Low back pain is the second leading reason for visits to the doctors and is caused by various structural issues. Fusion surgery is a method to treat back pain, however, it does not go without consequence. Nonetheless, increasing clinical demand, evolving surgical methods, and patient data on outcomes complicate the future of fusion surgeries. During fusion surgery, motion is eliminated at the level and the adjacent segments undergo compensatory changes due to the “fused” vertebrae. Adjacent segment disease, ASD, which may be caused by fusion surgery, is degenerative changes at a spinal level adjacent to a surgically treated level. Excessive loading and motion experienced at the adjacent levels are examples of indicators that could lead to ASD. Yet, others believe that ASD is caused by natural history, such as disc degeneration or osteoporosis in the spine. A finite element program along with CT scans were used to create a three dimensional, finite element model of a lumbar spine. This model was validated with in vivo and in vitro results from literature to confirm its credibility. Afterwards, the model of the lumbar spine was modified to analyze various risk factors in single and multiple levels and their respective adjacent segment biomechanics for three principal loading conditions: three grades of disc degeneration, three different types of fusion techniques, osteoporosis, and their many combinations. The results of this study are presented and rank the risk factors, separately and in combination, in their likelihood of causing ASD. When considering preexisting conditions, results show that severe disc degeneration poses a larger risk in developing ASD than osteoporosis. In addition, rigid fusion techniques, such as posterior instrumentation with a bony fusion, increases the likelihood of ASD more than bony fusion or posterior instrumentation alone. Lastly, fusion techniques or preexisting conditions affecting multiple levels generate larger adjacent segment biomechanics and cause a higher risk of ASD than a single affected level. These findings will help orthopedic surgeons make better-informed decisions on surgeries based on the best outcomes for the patient.
Integration of Fluid Sloshing Models with Complex Vehicle System Algorithms
Creators: name: Brynne E Nicolsen
Publisher: name: University of Illinois at Chicago
Year: 2020
Subjects: Uncategorized

description: Fluid sloshing is the motion of a liquid in a container subjected to forced oscillations and occurs in a moving container which is not fully filled. One industry which is significantly affected by fluid sloshing is freight transportation – an increase in demand for crude oil and other hazardous materials (HAZMAT) has in turn increased the number of highway and railroad vehicles transporting these materials. Fluid sloshing can have a significant effect on vehicle dynamics, especially in curve negotiation and traction and braking scenarios. It is clear that thorough understanding of this complex phenomenon is necessary in order to design safe and reliable vehicles. While many approaches have been used to model fluid sloshing, such as discrete inertia, discrete element, and computational fluid dynamics models, each has drawbacks which limit its scope of application. Finite element analysis (FEA), however, addresses many of these shortcomings by using a general, physics-based approach. One objective of this thesis is to integrate high-fidelity finite element (FE) fluid sloshing models with complex multibody system (MBS) highway and railroad vehicle algorithms in order to study the effect of fluid sloshing on vehicle dynamics and stability. Additionally, the effect of fluid sloshing on the coupler forces of railroad vehicles during braking scenarios will be investigated, including the efficacy of electronically-controlled pneumatic brakes. The standard definition for the centrifugal force will also be assessed and it will be shown that it is inadequate for describing the outward inertia forces of flexible bodies. Finally, fluid sloshing models based on two different FE formulations will be compared in order to assess their ability and efficiency in accurately capturing the fluid sloshing phenomenon.
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)
Creators: name: Ekici, Burak
name: Katz, Guy
name: Keller, Chantal
name: Mebsout, Alain
name: Reynolds, Andrew J.
name: Tinelli, Cesare
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: This extended abstract reports on current progress of SMTCoq, a communication tool between the Coq proof assistant and external SAT and SMT solvers. Based on a checker for generic first-order certificates implemented and proved correct in Coq, SMTCoq offers facilities both to check external SAT and SMT answers and to improve Coq's automation using such solvers, in a safe way. Currently supporting the SAT solver zChaff, and the SMT solver veriT for the combination of the theories of congruence closure and linear integer arithmetic, SMTCoq is meant to be extendable with a reasonable amount of effort: we present work in progress to support the SMT solver CVC4 and the theory of bit vectors.
description: In Proceedings HaTT 2016, arXiv:1606.05427
Additional file 3 of Developing a complex vocational rehabilitation intervention for patients with inflammatory arthritis: the WORK-ON study
Creators: name: Madsen, Christina Merete Tvede
name: Primdahl, Jette
name: Bremander, Ann
name: Eggen, Linda
name: Christensen, Jeanette Reffstrup
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Biotechnology
subject: Ecology
subject: FOS: Biological sciences
subject: Immunology
subject: FOS: Clinical medicine
classificationCode: 111714
subject: Mental Health

description: Additional file 3: Supplementary file 3. Interview guide, employers
Saccolaimus flaviventris Peters 1867
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Chiroptera
Emballonuridae
Saccolaimus
Saccolaimus flaviventris

description: Saccolaimus flaviventris Peters, 1867. Proc. Zool. Soc. Lond., 1866:430. TYPE LOCALITY: Australia. DISTRIBUTION: Australia (except Tasmania). COMMENT: Includes hargravei and affinis; see Troughton, 1925, Rec. Aust. Mus., 14:313-341. ISIS NUMBER: 5301405003009002001 as Taphozous flaviventris.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Chiroptera, pp. 111-215 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 131, DOI: 10.5281/zenodo.7352990
description: {"references": ["Troughton, E. L. G. 1925. A revision of the genera Taphozous and Saccolaimus (Chiroptera) in Australia and New Guinea, including a new species and a note on two Malayan forms. Records of the Australian Museum, 14: 313 - 341."]}
Immune Response and Interaction of MAIT Cell and Vgamma2Vdelta2 T Cell Subsets in TB Infection of Primate
Creators: name: Chunmiao Hu
Publisher: name: University of Illinois at Chicago
Year: 2020
Subjects: Uncategorized

description: TB remains the main cause of mortality and morbidity worldwide. While accumulated studies confirmed that MAIT cells were related to TB infection, the immune response and effector function of MAIT cells in different tissue compartments remain poorly characterized in TB infection of humans. Here, we demonstrated that MAIT cells preferentially trafficked and accumulated to the pulmonary compartment from the peripheral blood in a nonhuman primate model of TB infection. These MR-1 restricted lung MAIT cells in the lung constitutively produced the pro-inflammatory cytokine mTNF-alpha. We further elucidated via Ab neutralization assay that MAIT cells directly isolated from TB-infected lung and other tissues could inhibit the intracellular growth of M.tuberculosis in a TNF-alpha/IFN-gamma dependent fashion. Surprisingly, we observed that the HMBPP-activated V gamma2Vdelta 2 T cells down-regulated the de novo production of mTNF-alpha by MAIT cells, and an Ab neutralizing assay indicated that the down-regulation induced by V gamma2Vdelta 2 T cells was IFN-gamma dependent. These novel findings of MAIT cells in early TB infections warrant further research on the function of MAIT cells, and their role in TB infection in humans.
Towards the Integration of an Intuitionistic First-Order Prover into Coq
Creators: name: Kunze, Fabian
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: An efficient intuitionistic first-order prover integrated into Coq is useful to replay proofs found by external automated theorem provers. We propose a two-phase approach: An intuitionistic prover generates a certificate based on the matrix characterization of intuitionistic first-order logic; the certificate is then translated into a sequent-style proof.
description: In Proceedings HaTT 2016, arXiv:1606.05427
A solid-state single-photon filter
Creators: name: de Santis, L.
name: Antón, C.
name: Reznychenko, B.
name: Somaschi, N.
name: Coppola, G.
name: Senellart, J.
name: Gómez, C.
name: Lemaître, A.
name: Sagnes, I.
name: White, A. G.
name: Lanco, L.
name: Auffeves, A.
name: Senellart, P.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: A strong limitation of linear optical quantum computing is the probabilistic operation of two-quantum bit gates based on the coalescence of indistinguishable photons. A route to deterministic operation is to exploit the single-photon nonlinearity of an atomic transition. Through engineering of the atom-photon interaction, phase shifters, photon filters and photon- photon gates have been demonstrated with natural atoms. Proofs of concept have been reported with semiconductor quantum dots, yet limited by inefficient atom-photon interfaces and dephasing. Here we report on a highly efficient single-photon filter based on a large optical non-linearity at the single photon level, in a near-optimal quantum-dot cavity interface. When probed with coherent light wavepackets, the device shows a record nonlinearity threshold around $0.3 \pm 0.1$ incident photons. We demonstrate that directly reflected pulses consist of 80% single-photon Fock state and that the two- and three-photon components are strongly suppressed compared to the single-photon one.
Conformal field theory of critical Casimir forces between surfaces with alternating boundary conditions in two dimensions
Creators: name: Dubail, Jerome
name: Santachiara, Raoul
name: Emig, Thorsten
Publisher: name: arXiv
Year: 2016
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: Systems as diverse as binary mixtures and inclusions in biological membranes, and many more, can be described effectively by interacting spins. When the critical fluctuations in these systems are constrained by boundary conditions, critical Casimir forces (CCF) emerge. Here we analyze CCF between boundaries with alternating boundary conditions in two dimensions, employing conformal field theory (CFT). After presenting the concept of boundary changing operators, we specifically consider two different boundary configurations for a strip of critical Ising spins: (I) alternating equi-sized domains of up and down spins on both sides of the strip, with a possible lateral shift, and (II) alternating domains of up and down spins of different size on one side and homogeneously fixed spins on the other side of the strip. Asymptotic results for the CCF at small and large distances are derived. We introduce a novel modified Szegö formula for determinants of real antisymmetric block Toeplitz matrices to obtain the exact CCF and the corresponding scaling functions at all distances. We demonstrate the existence of a surface Renormalization Group flow between universal force amplitudes of different magnitude and sign. The Casimir force can vanish at a stable equilibrium position that can be controlled by parameters of the boundary conditions. Lateral Casimir forces assume a universal simple cosine form at large separations.
description: 30 pages, 19 figures
A comparison of small business management with the administration of small metropolitan polytechnical colleges of advanced education
Creators: name: Taylor, L. G.
Publisher: name: Monash University
Year: 2022

description: This thesis was scanned from the print manuscript for digital preservation and is copyright the author.
 Researchers can access this thesis by asking their local university, institution or public library to
 make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
SCALIBUR D3.2 Development of a metaheuristic algorithm for the logistic optimisation and reduced degradation of waste based on routes and a combined sensor
Creators: name: Calvo, Mireia
name: Rodríguez, José Á
name: Alferez, Miguel Á.
Publisher: name: Zenodo
Year: 2020

description: The main purpose of this document is to present the technical developments made in relation to the route optimization system that will be applied in Albano and Kozani.
Saccolaimus mixtus Troughton 1925
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Chiroptera
Emballonuridae
Saccolaimus
Saccolaimus mixtus

description: Saccolaimus mixtus Troughton, 1925. Rec. Aust. Mus., 14: 322. REVIEWED BY: A. C. Ziegler (ACZ). TYPE LOCALITY: Papua New Guinea, Central Prov., Port Moresby. DISTRIBUTION: S.E. New Guinea; N. E. Queensland (Australia). ISIS NUMBER: 5301405003009010001 as Taphozous mixtus.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Chiroptera, pp. 111-215 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 131, DOI: 10.5281/zenodo.7352990
Correlation-Aware Distributed Caching and Coded Delivery
Creators: name: Hassanzadeh, Parisa
name: Tulino, Antonia
name: Llorca, Jaime
name: Erkip, Elza
Publisher: name: arXiv
Year: 2016
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: Cache-aided coded multicast leverages side information at wireless edge caches to efficiently serve multiple groupcast demands via common multicast transmissions, leading to load reductions that are proportional to the aggregate cache size. However, the increasingly unpredictable and personalized nature of the content that users consume challenges the efficiency of existing caching-based solutions in which only exact content reuse is explored. This paper generalizes the cache-aided coded multicast problem to a source compression with distributed side information problem that specifically accounts for the correlation among the content files. It is shown how joint file compression during the caching and delivery phases can provide load reductions that go beyond those achieved with existing schemes. This is accomplished through a lower bound on the fundamental rate-memory trade-off as well as a correlation-aware achievable scheme, shown to significantly outperform state-of-the-art correlation-unaware solutions, while approaching the limiting rate-memory trade-off.
description: In proceeding of IEEE Information Theory Workshop (ITW), 2016
Saccolaimus peli
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Chiroptera
Emballonuridae
Saccolaimus
Saccolaimus peli

description: Saccolaimus peli (Temminck, 1853). Esquisses Zool. sur la Cote de Guine, p. 82. TYPE LOCALITY: Ghana, Boutry River. DISTRIBUTION: Liberia to Zaire to W. Kenya; Gabon; N. E. Angola. ISIS NUMBER: 5301405003009013001 as Taphozous peli.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Chiroptera, pp. 111-215 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 131, DOI: 10.5281/zenodo.7352990
Pumpless Open-Surface Microfluidic Device for Protein Detection
Creators: name: Monica, Helene Della
Publisher: name: University of Illinois at Chicago
Year: 2020
Subjects: Uncategorized

description: The present work focuses on the development of an open-air, passive microfluidic device to be employed for the detection of antigens, with the ultimate goal of performing the analysis and quantification of proteins contained within human skin oil. In the prototyping step, bovine serum albumin proteins (BSA) are detected by implementing a bicinchoninic acid (BCA) assay. The design of the device allows pumpless transport of a solution, made of BSA and DI water, and the coverage of a detection zone. The latter zone is silane-functionalized, so that proteins can be immobilized on its surface. Different wettability-patterned designs are considered and tested. Ultimately, the optimal design is composed of an axial, silane-functionalized track located between two superhydrophilic transport tracks, where the three tracks are patterned on a superhydrophobic background. The geometry (\textit{e.g.} wedge angles) of the detection and transport tracks is optimized in order to obtain the largest covered detection area, with the lowest possible sample volume. Subsequently, BCA detection is performed on the substrate characterized by the aforementioned design and a standard curve is obtained by analyzing samples with a known concentration of proteins.
Differential and Integral Calculus for Logical Operations. A Matrix-Vector Approach
Creators: name: Mizraji, Eduardo
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic (math.LO)
subject: FOS: Mathematics
subject: 03G25

description: A variety of problems emerged investigating electronic circuits, computer devices and cellular automata motivated a number of attempts to create a differential and integral calculus for Boolean functions. In the present article, we extend this kind of calculus in order to include the semantic of classical logical operations. We show that this extension to logics is strongly helped if we submerge the elementary logical calculus in a matrix-vector formalism that naturally includes a kind of fuzzy-logic. In this way, guided by the laws of matrix algebra, we can construct compact representations for the derivatives and the integrals of logical functions. Inside this semantic-algebraic calculus, we obtain expressions for the derivatives of some of the basic logical operations and show the general way to obtain the derivatives of any well-formed formula of propositional calculus. We show that some of the basic tautologies (Excluded middle, Modus ponens, Hypothetical syllogism) are members of a kind of hierarchical system linked by the differentiation algorithm. In addition using the logical derivatives we show that relatively complex formulas can collapse in simple expressions that reveal clearly their hidden logical meaning. The search for the antiderivatives produces naturally an integral calculus. Within this logical formalism an indefinite integral can always be found for any logical expression. Moreover, particular integrals can be constructed based on detachment properties that lead to logical expressions of growing complexity. We show that these particular integrals have some similarities with the 'generalizing deduction' procedures investigated by Lukasiewicz.
description: 38 pages
Exploring regional aspects of intermunicipal cooperation: an analysis of municipal federations for upper secondary education in Sweden
Creators: name: Persson, Bo
Publisher: name: Taylor & Francis
Year: 2024
Subjects: subject: Microbiology
subject: FOS: Biological sciences
subject: Biological Sciences not elsewhere classified
subject: Science Policy

description: Throughout most of Europe, intermunicipal cooperation (IMC) has become an important answer to a range of challenges. In this article, the aim is to contribute to knowledge about mechanisms that influence how delegated bodies for IMC are upheld over time and how such processes are shaped by different regional contexts. This is done through a comparative study of the formation and upholding of three municipal federations in upper secondary education in Sweden. Through this article, I contribute to a current debate on the role of norms of cooperation and regional contextual factors in the emergence and upholding of IMC arrangements.
Saccolaimus pluto
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Chiroptera
Emballonuridae
Saccolaimus
Saccolaimus pluto

description: Saccolaimus pluto (Miller, 1911). Proc. U.S. Nat. Mus., 38: 396. TYPE LOCALITY: Philippines, Mindanao, near Zamboanga. DISTRIBUTION: Philippines. COMMENT: Includes capita; see Lawrence, 1939, Bull. Mus. Comp. Zool., 86:42. Corbet and Hill, 1980:45, listed capito as a distinct species without comment. Probably a subspecies of saccolaimus (KFK).
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Chiroptera, pp. 111-215 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 131, DOI: 10.5281/zenodo.7352990
description: {"references": ["Lawrence, B. 1939. Mammals. Pp. 28 - 73, in Collections from the Phillippine Islands (T. Barbour, B. Lawrence, and J. L. Peters). Bulletin of the Museum of Comparative Zoology at Harvard College, 86 (2): 25 - 128.", "Corbet, G. B., and J. E. Hill. 1980. A world list of mammalian species. British Museum (Natural History), London, 226 pp."]}
Additional file 1 of Efficacy and safety of adjunctive corticosteroids in the treatment of severe community-acquired pneumonia: a systematic review and meta-analysis of randomized controlled trials
Creators: name: Wu, Jheng-Yan
name: Tsai, Ya-Wen
name: Hsu, Wan-Hsuan
name: Liu, Ting-Hui
name: Huang, Po-Yu
name: Chuang, Min-Hsiang
name: Liu, Mei-Yuan
name: Lai, Chih-Cheng
Publisher: name: figshare
Year: 2023
Subjects: subject: Space Science
subject: Medicine
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: Science Policy

description: Additional file 1. Figure S1 Sensitivity analysis of primary outcome by excluding each study individually. Figure S2 Trial sequence analysis on 30-day all-cause mortality. Figure S3 Trial sequence analysis on the risk of mechanical ventilation. Figure S4 Trial sequence analysis on length of intensive care unit stay. Figure S5 Trial sequence analysis on the length of hospital stay. Figure S6 Trial sequence analysis on risk of gastrointestinal tract bleeding. Figure S7 Trial sequence analysis on risk of healthcare-associated infection. Figure S8 Trial sequence analysis on risk of acute kidney injury
Tuning Microscale Substrate Mechanics by Stereolithography to Control Mesenchymal Stromal Cell Functions
Creators: name: Devine, Daniel M
Publisher: name: University of Illinois at Chicago
Year: 2020
Subjects: Uncategorized

description: Cell volume regulation is an essential component to a myriad of functions—including migration, proliferation and communication. In a physiological environment, extracellular matrices (ECM) have complex intrinsic (e.g., elasticity) and extrinsic (e.g., confinement) mechanical properties; how microscale heterogeneity in these properties impacts volume control and downstream functions remains unclear. Here, we leveraged freeform stereolithography to fabricate microscale hydrogel posts to serve as discrete 3D matrix fibers for cell attachment. We built a custom print head and hydrogel chamber into a three-axis printer to deliver single, focused UV impulses that rapidly crosslink hydrogel microposts. By modulating laser exposure parameters (power and dwell time) at precise locations, we can specify the coordinates and elastic moduli of individual microposts—thereby fabricating scaffolds to vary the mechanics and confinement provided to individual cells. We find that the volume of human mesenchymal stromal cells (hMSCs) decreases in physiologically stiff (~20 kPa) scaffolds when they are more confined. In contrast, the volume of cells in soft scaffolds (~4 kPa) increases in confinement as cells deform soft posts to increase the number of post interactions. Strikingly, simultaneous presence of soft and stiff microposts enables confined hMSCs to deform more stiff microposts, leading to hyperallometric increases in cell volume through myosin-II dependent mechanisms and upregulation of monocyte regulatory genes upon inflammatory activation. The results underscore the cooperativity between soft and stiff subtrates with broad implications in mechanobiology of cell size regulation, immunomodulation and regenerative medicine.
The Outer Envelopes of Globular Clusters. I. NGC 7089 (M2)
Creators: name: Kuzma, P. B.
name: Da Costa, G. S.
name: Mackey, A. D.
name: Roderick, T. A.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We present the results of a wide-field imaging survey of the periphery of the Milky Way globular cluster NGC 7089 (M2). Data were obtained with MegaCam on the Magellan Clay Telescope, and the Dark Energy Camera on the Blanco Telescope. We find that M2 is embedded in a diffuse stellar envelope extending to a radial distance of at least $\sim 60^{\prime}$ ($\sim 210$ pc) -- five times the nominal tidal radius of the cluster. The envelope appears nearly circular in shape, has a radial density decline well described by a power law of index $γ= -2.2 \pm 0.2$, and contains approximately $1.6\%$ of the luminosity of the entire system. While the origin of the envelope cannot be robustly identified using the presently available data, the fact that M2 also hosts stellar populations exhibiting a broad dispersion in the abundances of both iron and a variety of neutron capture elements suggests that this object might plausibly constitute the stripped nucleus of a dwarf Galaxy that was long ago accreted and destroyed by the Milky Way.
description: 15 pages, 12 figures, accepted for publishing in MNRAS
The Revision of a Joint Fellowship Curriculum
Creators: name: Viday Audra Heffner
Publisher: name: University of Illinois at Chicago
Year: 2020
Subjects: Uncategorized

description: The Medical College of Wisconsin (MCW) supports a combined educational curriculum for all pediatric subspecialty fellows called the Joint Fellowship Curriculum (JFC). The initial content in that curriculum was mapped out by physician leaders within pediatric fellow education, with the input of fellows and fellowship directors (FDs) and aimed to cover core competencies that all pediatric fellows must know regardless of their specialty. Despite several revisions of the JFC, anecdotal data indicated poor fellow attendance at sessions, general dislike of the sessions, and lack of individual division buy-in to protect time for fellow attendance. In the two previous JFC curricular revisions, the only stakeholders who were asked for input were the FDs. With fellow satisfaction regarding the JFC perennially low, our new project aimed to ask not only fellowship directors, but also the fellows their opinions about the JFC. Separate focus groups of fellowship directors and pediatric subspecialty fellows were conducted. The participants were asked series of questions related to the Joint Fellowship Curriculum, centering around the major goals of the JFC, the strengths and weaknesses of the current curriculum, and suggestions for change. A total of 10 pediatric fellows and 10 pediatric fellowship directors participated in 6 separate focus groups. Both written and oral feedback provided in the focus groups were analyzed, using the method of constant comparative analysis associated with grounded theory, to formulate themes and sub-themes. A large number of themes were generated by both groups, and there was definite overlap between themes from the FDs and the fellows. There were, however, a significant number of themes uniquely generated by each group individually. With this in mind, we suggest that future revisions of the JFC that don't incorporate fellow opinions may lose rich and important data.
Method Validation of Methamphetamine and its Metabolites in Equine Urine
Creators: name: Prieto, Kristen Joy
Publisher: name: University of Illinois at Chicago
Year: 2020
Subjects: Uncategorized

description: Various precision studies were performed to validate this analysis method using negative control equine urine and standards of the target compounds; methamphetamine, amphetamine, hydroxyamphetamine, hydroxymethamphetamine, and phenylpropanolamine. Initial studies also led to changing the extraction method from liquid-liquid to solid-phase. Once the precision studies were acceptable three independent sets of administered samples obtained from horses dosed with methamphetamine, hydroxyamphetamine, and phenylpropanolamine respectively, were extracted and analyzed using the method. The samples were taken over a range of hours after the dosing, from pre-dose (0 hours) to 48 hours. The method detected all the target compounds except phenylpropanolamine in the methamphetamine set, while the hydroxyamphetamine and phenylpropanolamine sets only had their respective compounds. This research has provided data that demonstrates this method is capable of detecting and quantifying methamphetamine and some of its metabolites in equine urine.
Restless Tuneup of High-Fidelity Qubit Gates
Creators: name: Rol, M. A.
name: Bultink, C. C.
name: O'Brien, T. E.
name: de Jong, S. R.
name: Theis, L. S.
name: Fu, X.
name: Luthi, F.
name: Vermeulen, R. F. L.
name: de Sterke, J. C.
name: Bruno, A.
name: Deurloo, D.
name: Schouten, R. N.
name: Wilhelm, F. K.
name: DiCarlo, L.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We present a tuneup protocol for qubit gates with tenfold speedup over traditional methods reliant on qubit initialization by energy relaxation. This speedup is achieved by constructing a cost function for Nelder-Mead optimization from real-time correlation of non-demolition measurements interleaving gate operations without pause. Applying the protocol on a transmon qubit achieves 0.999 average Clifford fidelity in one minute, as independently verified using randomized benchmarking and gate set tomography. The adjustable sensitivity of the cost function allows detecting fractional changes in gate error with nearly constant signal-to-noise ratio. The restless concept demonstrated can be readily extended to the tuneup of two-qubit gates and measurement operations.
Saccolaimus saccolaimus
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Chiroptera
Emballonuridae
Saccolaimus
Saccolaimus saccolaimus

description: Saccolaimus saccolaimus (Temminck, 1838). Tijdschr. Nat. Gesch. Physiol., 5: 14. TYPE LOCALITY: Indonesia, Java. DISTRIBUTION: India and Sri Lanka through S.E. Asia to Sumatra, Borneo, Java, and Timor; New Guinea; N.E. Queensland (Australia); Guadalcanal Isl. (Solomon Isis.). COMMENT: Includes affinis, flavomaculatus, and nudicluniatus; see Medway, 1977:45; Goodwin, 1979, Bull. Am. Mus. Nat. Hist., 163: 102. Corbet and Hill, 1980:45, listed nudicluniatus as a distinct species without comment. ISIS NUMBER: 5301405003009016001 as Taphozous saccolaimus. 5301405003009011001 as Taphozous nudicluniatus.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Chiroptera, pp. 111-215 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 131, DOI: 10.5281/zenodo.7352990
description: {"references": ["Medway, L. 1977. Mammals of Borneo: Field keys and an annotated checklist. Second ed. Monograph, Malay Branch of the Royal Asiatic Society, 7: 1 - 172.", "Goodwin, R. E. 1979. The bats of Timor: Systematics and ecology. Bulletin of the American Museum of Natural History, 163: 73 - 122.", "Corbet, G. B., and J. E. Hill. 1980. A world list of mammalian species. British Museum (Natural History), London, 226 pp."]}
Search for squarks and gluinos in events with hadronically decaying tau leptons, jets and missing transverse momentum in proton-proton collisions at $\sqrt{s}=13$ TeV recorded with the ATLAS detector
Creators: name: ATLAS Collaboration
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: A search for supersymmetry in events with large missing transverse momentum, jets, and at least one hadronically decaying tau lepton has been performed using 3.2 fb$^{-1}$ of proton-proton collision data at $\sqrt{s}=13$ TeV recorded by the ATLAS detector at the Large Hadron Collider in 2015. Two exclusive final states are considered, with either exactly one or at least two tau leptons. No excess over the Standard Model prediction is observed in the data. Results are interpreted in the context of gauge-mediated supersymmetry breaking and a simplified model of gluino pair production with tau-rich cascade decays, substantially improving on previous limits. In the GMSB model considered, supersymmetry-breaking scale ($Λ$) values below 92 TeV are excluded at the 95% confidence level, corresponding to gluino masses below 2000 GeV. For large values of $\tanβ$, values of $Λ$ up to 107 TeV and gluino masses up to 2300 GeV are excluded. In the simplified model, gluino masses are excluded up to 1570 GeV for neutralino masses around 100 GeV. Neutralino masses up to 700 GeV are excluded for all gluino masses between 800 GeV and 1500 GeV, while the strongest exclusion of 750 GeV is achieved for gluino masses around 1400 GeV.
description: 30 pages (plus author list + cover pages: 48 pages total), 9 figures, 9 tables. Submitted to EPJC. All figures including auxiliary figures are available at http://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/SUSY-2016-01/
Replication Archive for "Why is Mommy So Stressed? Estimating the Immediate Impact of the "COVID-19 Shock" on Parental Attachment to the Labor Market and the Double-Bind of Mothers
Creators: name: Heggeness, Misty L.
Publisher: name: Zenodo
Year: 2020
Subjects: labor supply; parenthood; gender

description: This replication archive contains three files. A public use CPS file for January-May of 2019 and 2020, a file of dates for state school closures and stay-at-home orders, and a Stata .do file that reproduces the results in the referenced paper.
Equal opportunity in education : the promotion of women teachers and the Equal Opportunity Act
Creators: name: Towns, Deborah.
Publisher: name: Monash University
Year: 2022

description: This thesis was scanned from the print manuscript for digital preservation and is copyright the author.
 Researchers can access this thesis by asking their local university, institution or public library to
 make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
Minimum Milestone Achievement Expectations for Graduating Family Medicine Residents
Creators: name: Graham, Timothy
Publisher: name: University of Illinois at Chicago
Year: 2020
Subjects: Uncategorized

description: Background and Objectives: The arrival of the Next Accreditation System and the ACGME Milestones heralded a new era in graduate medical education and resident assessment. The ACGME indicates that achievement of “Level 4” on the milestone subcompetencies is a graduation target and that ultimate graduation decisions rest with Program Directors. This study examined the utilization of the milestones in graduation decisions by Family Medicine residency programs. Methods: Family Medicine residency programs nationally were anonymously surveyed to determine the practices within their own programs as well as their understanding of what achievement of a “Level 4” meant. Surveys were sent to 555 unique Family Medicine programs via Survey Monkey. Results: The majority of Family Medicine residency programs surveyed did not require achievement of Level 4 in all subcompetencies in order to graduate, however there were some programs that did require this level of achievement. There were some programs (12%) that required achievement of “Level 4” in some of the subcompetencies. The most commonly identified subcompetencies in which this level of achievement was required resided under the Patient Care, Medical Knowledge and Professionalism competency umbrellas. Definition of “Level 4” varied between programs, with approximately half endorsing the ACGME-provided “graduation target” definition, while the remainder favored definitions ranging from “graduation requirement” to “competent.” Conclusions: Family Medicine residency programs utilize the ACGME milestones in different ways when making graduation decisions. There is varied opinion of how “Level 4” should be defined as well as varied milestone achievement requirements.