cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Mixed weak type estimates: Examples and counterexamples related to a problem of E. Sawyer
Creators: name: Perez, Carlos
name: Ombrosi, Sheldy
Publisher: name: arXiv
Year: 2016
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: FOS: Mathematics
subject: 42B20, 42B25

description: We study mixed weighted weak-type inequalities for families of functions, which can be applied to study classical operators in harmonic analysis. Our main theorem extends the key result from D. Cruz-Uribe, J.M. Martell and C. Perez, Weighted weak-type inequalities and a conjecture of Sawyer, Int. Math. Res. Not., V. 30, 2005, 1849-1871.
description: Colloquium Mathematicum, to appear
NLO QCD + EW corrections to $ZZZ$ production with subsequent leptonic decays at LHC
Creators: name: Hong, Wang
name: Ren-You, Zhang
name: Wen-Gan, Ma
name: Lei, Guo
name: Xiao-Zhou, Li
name: Shao-Ming, Wang
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In this paper we present the NLO QCD + NLO EW corrections to the $ZZZ$ production with subsequent $Z$-boson leptonic decays at the LHC by adopting the improved narrow width approximation, which takes into account off-shell contributions and spin correlations. Integrated cross sections at $13$, $14$, $33$ and $100~{\rm TeV}$ hadron colliders and various kinematic distributions are presented. Our numerical results show that the jet emission correction accounts for a large part of the total QCD correction, especially in the high energy region. By applying a proper cut to the jet transverse momentum, e.g., $p_{\rm \,T,jet} > p_{\rm \,T,jet}^{\rm \,\,\,cut}=50~{\rm GeV}$, the jet emission correction can be reduced and the cross section is less dependent on the factorization/renormalization scale. This work reveals that both the NLO QCD and the NLO EW corrections are significant. For example, the NLO QCD, NLO EW and NLO QCD + EW relative corrections in the inclusive event selection scheme at the $13~{\rm TeV}$ LHC can reach $63.2\%$, $-9.6\%$ and $47.5\%$, respectively, which means that neither the NLO QCD nor the NLO EW correction is negligible in precision calculations.
description: 19 pages, 5 figures
The American Marriage Narrative: Culture, Structure, and Unmarrieds’ Resistance
Creators: name: Moss, Alison Rose
Publisher: name: University of Illinois at Chicago
Year: 2020
Subjects: Uncategorized

description: A qualitative sociological study of American/cultural marriage logics and social structure was carried out using oral history interviews that provided narrative data from 13 individuals who are in long term intimate relationships that do not include marriage. Information about magnified moments across their life course related to intimacies, sexuality, marriage, and family formation coalesce to provide insight into growing up as an American cultural citizen who is expected to marry as the impetus to family formation. Findings suggest that there exists a cultural and social structure of marriage in the United States of America that serves to enforce and reinforce participation in the legal institution of marriage in order to have an “American Family.” “The Family,” characterized in this way is a rigid, boundary-laden, social construct against which all family forms are compared and, in many cases, subjugated, marginalized, and relegated to an inferior family status compared to those who choose to include legal marriage in their family formation. In other words, there are consequences for deviating from the normalized path to forming family in the United States. Family form inequality and marriage inequality presents a crisis tendency in the fabric of American culture. Since the passage of “Marriage Equality” in 2015, marriage and family formation rules and norms are made more visible. In sum, American families that do not include marriage and the visibility of a federally legitimated form of family (those that include marriage that now lesbian and gay same-sex partners are able to take part), throws into stark relief for whom marriage and family formation boundaries are meant to keep out and are most constraining. That is, families that do not include marriage highlighted in this research experience micro- and macroaggressions (consequences at the individual and systems level of society) related to their unmarried family status.
Peropteryx 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
Peropteryx

description: Peropteryx Peters, 1867. Monatsb. Preuss. Akad. Wiss. Berlin, p. 472. REVIEWED BY: B. Villa-Ramirez (BVR). COMMENT: Includes Peronymus; see Cabrera, 1958:52. Corbet and Hill, 1980:45, listed Peronymus as a distinct genus following Sanborn, 1937, Field Mus. Nat. Hist. Publ. Zool. Ser., 20:321-354. ISIS NUMBER: 5301405003006000000.
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 130, DOI: 10.5281/zenodo.7352990
description: {"references": ["Cabrera, A. 1958. Dos felidos argentinos ineditos (Mammalia, Carnivora). Neotropica, 3 (12): 70 - 72.", "Corbet, G. B., and J. E. Hill. 1980. A world list of mammalian species. British Museum (Natural History), London, 226 pp.", "Sanborn, C. C. 1937. American bats of the subfamily Emballonurinae. Field Museum of Natural History, Zoological Series, 20: 321 - 354."]}
Event-driven Adaptation in COP
Creators: name: Degano, Pierpaolo
name: Ferrari, Gian-Luigi
name: Galletta, Letterio
Publisher: name: arXiv
Year: 2016
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Context-Oriented Programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the context. In previous work we proposed ML_CoDa, a context-oriented language with two-components: a declarative constituent for programming the context and a functional one for computing. This paper describes an extension of ML_CoDa to deal with adaptation to unpredictable context changes notified by asynchronous events.
description: In Proceedings PLACES 2016, arXiv:1606.05403
Additional file 1 of Cone-beam computed tomographic analysis of maxillary sinus septa among Yemeni population: a cross-sectional study
Creators: name: Altayar, Bassam A.
name: Al-Tayar, Barakat
name: Lin, Weimin
name: Al-wesabi, Saddam N.
name: Al-shujaa, Eissa A.
name: Sakran, Karim
name: Yuan, Quan
name: Lyu, Mingyue
Publisher: name: figshare
Year: 2023
Subjects: subject: Space Science
subject: Microbiology
subject: FOS: Biological sciences
subject: Cell Biology
classificationCode: 59999
subject: Environmental Sciences not elsewhere classified
subject: Sociology
subject: FOS: Sociology
classificationCode: 111714
subject: Mental Health

description: Additional File 1: Table S1 Number of septa in the maxillary right side versus number of septa in the maxillary left side of all study subjects; Table S2 Configuration, locations, origins and orientations of septa in the right and left sides; Table S3 Numbers of septa according to age, gender, sinus membrane status, and dental status
Needs, incentive and initiative : a report on an evaluation of substantial book grants to non-government primary schools in Australia
Creators: name: Johnson, Neville J.
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.
Peropteryx kappleri 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
Peropteryx
Peropteryx kappleri

description: Peropteryx kappleri Peters, 1867. Monatsb. Preuss. Akad. Wiss. Berlin, p. 473. TYPE LOCALITY: Surinam. DISTRIBUTION: S. Veracruz and Oaxaca (Mexico) to Surinam, S. and E. Brazil, and Peru, ISIS NUMBER: 5301405003006001001.
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 130, DOI: 10.5281/zenodo.7352990
Development of Continuum-Based Liquid Sloshing Algorithms for Multibody System Dynamics
Creators: name: Grossi, Emanuele
Publisher: name: University of Illinois at Chicago
Year: 2020
Subjects: Uncategorized

description: Liquid sloshing is an important phenomenon that has a significant impact on the dynamics and stability of highway, rail, marine, and aerospace transportation systems. Hazardous material accidents, which result in significant economic loss, environmental contamination, loss of lives, and property damage, can be avoided or significantly reduced through better understanding of the liquid sloshing effects. Liquid sloshing can produce significant impact forces as the results of the interaction with containers and/or tank cars. In order to study the effect of liquid sloshing on vehicle dynamics, multibody system (MBS) algorithms have to be integrated with a liquid sloshing solution technique. This thesis aims at contributing to the development of the first generation of continuum-based liquid sloshing computational algorithms for modeling complex motion scenarios, developing safety guidelines, and accurate accident reconstructions. In order to overcome the challenges and limitations of existing liquid sloshing analysis tools, a total Lagrangian non-incremental liquid sloshing model based on the finite element (FE) absolute nodal coordinate formulation (ANCF) was recently proposed. The objective of this thesis is to use this new approach to accurately evaluate, both qualitatively and quantitatively, the effect of liquid sloshing when vehicles experience large displacements including finite rotations. In this thesis, the new total Lagrangian ANCF liquid sloshing solution procedure is validated and verified using benchmark problems. Another contribution of this thesis is to quantify and evaluate the effect of turbulence on the average nominal motion of the fluid during sloshing excitation. This study is performed by comparing the ANCF results with the results obtained using the smoothed particle hydrodynamics (SPH) approach, a mesh-free method widely used in the analysis of fluid dynamics problems. After verifying and validating the new ANCF liquid sloshing approach, nonlinear crude oil constitutive models are developed and integrated with detailed railroad vehicle models to study the effect of crude oil sloshing on railroad vehicle dynamics and stability. Finally, a new viscoelastic constitutive model and a new implicit numerical integration solution scheme are proposed to efficiently solve stiff systems of differential/algebraic equations (DAEs) by filtering and/or damping out ANCF high-frequency modes.
Genuine Cosmic Hair
Creators: name: Kastor, David
name: Ray, Sourya
name: Traschen, Jennie
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We show that asymptotically future deSitter (AFdS) spacetimes carry 'genuine' cosmic hair; information that is analogous to the mass and angular momentum of asymptotically flat spacetimes and that characterizes how an AFdS spacetime approaches its asymptotic form. We define new 'cosmological tension' charges associated with future asymptotic spatial translation symmetries, which are analytic continuations of the ADM mass and tensions of asymptotically planar AdS spacetimes, and which measure the leading anisotropic corrections to the isotropic, exponential deSitter expansion rate. A cosmological Smarr relation, holding for AFdS spacetimes having exact spatial translation symmetry, is derived. This formula relates cosmological tension, which is evaluated at future infinity, to properties of the cosmology at early times, together with a 'cosmological volume' contribution that is analogous to the thermodynamic volume of AdS black holes. Smarr relations for different spatial directions imply that the difference in expansion rates between two directions at late times is related in a simple way to their difference at early times. Hence information about the very early universe can be inferred from cosmic hair, which is potentially observable in a late time deSitter phase. Cosmological tension charges and related quantities are evaluated for Kasner-deSitter spacetimes, which serve as our primary examples.
description: 25 pages
Widely tunable, narrow linewidth external-cavity gain chip laser for spectroscopy between 1.0 - 1.1 um
Creators: name: Shin, Dong K.
name: Henson, Bryce M.
name: Khakimov, Roman I.
name: Ross, Jacob A.
name: Dedman, Colin J.
name: Hodgman, Sean S.
name: Baldwin, Kenneth G. H.
name: Truscott, Andrew G.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: Atomic Physics (physics.atom-ph)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We have developed and characterised a stable, narrow linewidth external-cavity laser (ECL) tunable over 100 nm around 1080 nm, using a single-angled-facet gain chip. We propose the ECL as a low-cost, high-performance alternative to fibre and diode lasers in this wavelength range and demonstrate its capability through the spectroscopy of metastable helium. Within the coarse tuning range, the wavelength can be continuously tuned over 30 pm (7.8 GHz) without mode-hopping and modulated with bandwidths up to 3 kHz (piezo) and 37(3) kHz (current). The spectral linewidth of the free-running ECL was measured to be 22(2) kHz (Gaussian) and 4.2(3) kHz (Lorentzian) over 22.5 ms, while a long-term frequency stability better than 40(20) kHz over 11 hours was observed when locked to an atomic reference.
Stigma and atypical appearance : a study of children's reactions to visible impairment
Creators: name: Clark, Valda Elizabeth.
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.
From Events to Reactions: A Progress Report
Creators: name: Garnock-Jones, Tony
Publisher: name: arXiv
Year: 2016
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Syndicate is a new coordinated, concurrent programming language. It occupies a novel point on the spectrum between the shared-everything paradigm of threads and the shared-nothing approach of actors. Syndicate actors exchange messages and share common knowledge via a carefully controlled database that clearly scopes conversations. This approach clearly simplifies coordination of concurrent activities. Experience in programming with Syndicate, however, suggests a need to raise the level of linguistic abstraction. In addition to writing event handlers and managing event subscriptions directly, the language will have to support a reactive style of programming. This paper presents event-oriented Syndicate programming and then describes a preliminary design for augmenting it with new reactive programming constructs.
description: In Proceedings PLACES 2016, arXiv:1606.05403
Peropteryx leucoptera 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
Peropteryx
Peropteryx leucoptera

description: Peropteryx leucoptera Peters, 1867. Monatsb. Preuss. Akad. Wiss. Berlin, p. 474. TYPE LOCALITY: Surinam DISTRIBUTION: Peru; N. and E. Brazil; Venezuela; French Guiana; Guyana; and Surinam. COMMENT: Formerly included in Peronymus; see Cabrera, 1958:52. ISIS NUMBER: 5301405003006002001 as P. leucopterus (sic).
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 130, DOI: 10.5281/zenodo.7352990
description: {"references": ["Cabrera, A. 1958. Dos felidos argentinos ineditos (Mammalia, Carnivora). Neotropica, 3 (12): 70 - 72."]}
MUG: A Parameterless No-Reference JPEG Quality Evaluator Robust to Block Size and Misalignment
Creators: name: Nafchi, Hossein Ziaei
name: Shahkolaei, Atena
name: Hedjam, Rachid
name: Cheriet, Mohamed
Publisher: name: arXiv
Year: 2016
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: In this letter, a very simple no-reference image quality assessment (NR-IQA) model for JPEG compressed images is proposed. The proposed metric called median of unique gradients (MUG) is based on the very simple facts of unique gradient magnitudes of JPEG compressed images. MUG is a parameterless metric and does not need training. Unlike other NR-IQAs, MUG is independent to block size and cropping. A more stable index called MUG+ is also introduced. The experimental results on six benchmark datasets of natural images and a benchmark dataset of synthetic images show that MUG is comparable to the state-of-the-art indices in literature. In addition, its performance remains unchanged for the case of the cropped images in which block boundaries are not known. The MATLAB source code of the proposed metrics is available at https://dl.dropboxusercontent.com/u/74505502/MUG.m and https://dl.dropboxusercontent.com/u/74505502/MUGplus.m.
description: 5 pages, 4 figures, 3 tables
Additional file 1 of A phase II study of gemcitabine and docetaxel combination in relapsed metastatic or unresectable locally advanced synovial sarcoma
Creators: name: Tansir, Ghazal
name: Rastogi, Sameer
name: Kumar, Akash
name: Barwad, Adarsh
name: Mridha, Asit R.
name: Dhamija, Ekta
name: Shamim, Shamim A.
name: Bhatnagar, Sushma
name: Bhoriwal, Sandeep
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Pharmacology
classificationCode: 59999
subject: Environmental Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
classificationCode: 69999
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy

description: Additional file 1: Table A.1. Modification of trial regimen according to chemotherapy-related toxicity.
Exploring Abstract Concepts for Images Privacy Classification in Social Media
Creators: name: Galfre, Gabriele
Publisher: name: University of Illinois at Chicago
Year: 2020
Subjects: Uncategorized

description: Automatically detecting the private nature of images posted in social networks such as Facebook, Flickr, and Instagram, is a long-standing goal considering the pervasiveness of these networks. Several prior works to image privacy prediction showed that object tags, either manually annotated or automatically extracted from images, are highly informative about images' privacy. However, we conjecture that other aspects of images captured by abstract concepts (e.g., religion, sikhism, spirituality) can improve the performance of models that use only the concrete objects from an image (e.g., temple and person). Several experimental setups have been defined to investigate how the usage of these type of information influence the performance of privacy classifiers. Results on a Flickr dataset show that the abstract concepts are better capturing the privacy nature of images, but with concrete object tags they complement each other, yielding the best performance when used in combination as features for image privacy prediction.
Reversible Sessions Using Monitors
Creators: name: Mezzina, Claudio A.
name: Pérez, Jorge A.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Much research has studied foundations for correct and reliable communication-centric systems. A salient approach to correctness uses session types to enforce structured communications; a recent approach to reliability uses reversible actions as a way of reacting to unanticipated events or failures. This note develops a simple observation: the machinery required to define asynchronous semantics and monitoring can also support reversible protocols. We propose a process framework of session communication in which monitors support reversibility. A key novelty in our approach are session types with present and past, which allow us to streamline the semantics of reversible actions.
description: In Proceedings PLACES 2016, arXiv:1606.05403
Additional file 2 of A phase II study of gemcitabine and docetaxel combination in relapsed metastatic or unresectable locally advanced synovial sarcoma
Creators: name: Tansir, Ghazal
name: Rastogi, Sameer
name: Kumar, Akash
name: Barwad, Adarsh
name: Mridha, Asit R.
name: Dhamija, Ekta
name: Shamim, Shamim A.
name: Bhatnagar, Sushma
name: Bhoriwal, Sandeep
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Pharmacology
classificationCode: 59999
subject: Environmental Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
classificationCode: 69999
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy

description: Additional file 2: Table A.2. Description of results of subgroup analysis of Overall Survival and Progression-free Survival.
Layout Investigation of GUI Navigational Interactions of Android Applications
Creators: name: Joylyn Alexander Lewis
Publisher: name: University of Illinois at Chicago
Year: 2020
Subjects: Uncategorized

description: Mobile applications use Accessibility Services to assist users with disabilities (UWDs) in using Graphical User Interface (GUI)-based apps. However, such mobile assistive technologies are not fully secure as these can obtain data from the GUI objects, enhance this data for UWDs and transmit it to a server, thereby potentially exposing sensitive data to the external world. SEAPHISH (SEcuring Accessibility using PHISHing) is a platform aimed towards protecting against such an attack by providing defense by deception. This platform generates a phishing app i.e. an app similar to the original app installed on the user’s smartphone by extracting GUI elements and properties from the original app. A simulation for SEAPHISH can help determine the situations when an attack against a particular app can be performed with a high degree of probability. But performing effective simulations requires a fundamental understanding of the properties of GUI layouts of apps at large. This thesis aims at providing a framework that analyzes GUI layouts and their transitions using a large base of approximately three million Android apps. Various state-of-the-art tools that use different strategies in traversing layouts are explored. We created a framework where the tool Backstage performs static analysis and another tool AndroidRipper performs dynamic analysis of the layouts to help build a GUI model of the app. Using these models, we investigate the layouts of Android apps by collecting statistics on various GUI elements and screens. This investigation enhances SEAPHISH with statistically significant real-world constraints thereby providing defense against malwares and reducing the security vulnerabilities faced by UWDs.
Selectively (a)-spaces from almost disjoint families are necessarily countable under a certain parametrized weak diamond principle
Creators: name: Morgan, Charles J. G.
name: Da Silva, Samuel G.
Publisher: name: arXiv
Year: 2016
Subjects: subject: General Topology (math.GN)
subject: Logic (math.LO)
subject: FOS: Mathematics

description: The second author has recently shown ([20]) that any selectively (a) almost disjoint family must have cardinality strictly less than $2^{\alpeh_0}$, so under the Continuum Hypothesis such a family is necessarily countable. However, it is also shown in the same paper that $2^{\alpeh_0} < 2^{\alpeh_1}$ alone does not avoid the existence of uncountable selectively (a) almost disjoint families. We show in this paper that a certain effective parametrized weak diamond principle is enough to ensure countability of the almost disjoint family in this context. We also discuss the deductive strength of this specific weak diamond principle (which is consistent with the negation of the Continuum Hypothesis, apart from other features).
description: 17 pages
An investigation into the validity of oral cloze as a measure of listening comprehension
Creators: name: Walker, Ian Stanley.
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 3 of A phase II study of gemcitabine and docetaxel combination in relapsed metastatic or unresectable locally advanced synovial sarcoma
Creators: name: Tansir, Ghazal
name: Rastogi, Sameer
name: Kumar, Akash
name: Barwad, Adarsh
name: Mridha, Asit R.
name: Dhamija, Ekta
name: Shamim, Shamim A.
name: Bhatnagar, Sushma
name: Bhoriwal, Sandeep
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Pharmacology
classificationCode: 59999
subject: Environmental Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
classificationCode: 69999
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy

description: Additional file 3: Table A.3. Difference in mean quality of life (QoL) scores between 12 weeks and baseline.
Future-based Static Analysis of Message Passing Programs
Creators: name: Oortwijn, Wytse
name: Blom, Stefan
name: Huisman, Marieke
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Message passing is widely used in industry to develop programs consisting of several distributed communicating components. Developing functionally correct message passing software is very challenging due to the concurrent nature of message exchanges. Nonetheless, many safety-critical applications rely on the message passing paradigm, including air traffic control systems and emergency services, which makes proving their correctness crucial. We focus on the modular verification of MPI programs by statically verifying concrete Java code. We use separation logic to reason about local correctness and define abstractions of the communication protocol in the process algebra used by mCRL2. We call these abstractions futures as they predict how components will interact during program execution. We establish a provable link between futures and program code and analyse the abstract futures via model checking to prove global correctness. Finally, we verify a leader election protocol to demonstrate our approach.
description: In Proceedings PLACES 2016, arXiv:1606.05403
Interactive Illumination Invariance
Creators: name: Gong, Han
name: Finlayson, Graham
Publisher: name: arXiv
Year: 2016
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: Illumination effects cause problems for many computer vision algorithms. We present a user-friendly interactive system for robust illumination-invariant image generation. Compared with the previous automated illumination-invariant image derivation approaches, our system enables users to specify a particular kind of illumination variation for removal. The derivation of illumination-invariant image is guided by the user input. The input is a stroke that defines an area covering a set of pixels whose intensities are influenced predominately by the illumination variation. This additional flexibility enhances the robustness for processing non-linearly rendered images and the images of the scenes where their illumination variations are difficult to estimate automatically. Finally, we present some evaluation results of our method.
Saturation effects in low-x DIS structure functions and related hadronic total cross sections
Creators: name: Celiberto, Francesco Giovanni
name: Jenkovszky, Laszlo
name: Myronenko, Volodymyr
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: High-energy nucleon total cross sections are related to low-x DIS structure functions by using the additive quark model.
description: Proceedings QUARKS-2016 - 19th International Seminar on High Energy Physics, Pushkin, Russia, 29 May - 4 June, 2016, 4 pages, 2 figures
Principles and design of a Zeeman-Sisyphus decelerator for molecular beams
Creators: name: Fitch, N. J.
name: Tarbutt, M. R.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: We explore a technique for decelerating molecules using a static magnetic field and optical pumping. Molecules travel through a spatially varying magnetic field and are repeatedly pumped into a weak-field seeking state as they move towards each strong field region, and into a strong-field seeking state as they move towards weak field. The method is time-independent and so is suitable for decelerating both pulsed and continuous molecular beams. By using guiding magnets at each weak field region, the beam can be simultaneously guided and decelerated. By tapering the magnetic field strength in the strong field regions, and exploiting the Doppler shift, the velocity distribution can be compressed during deceleration. We develop the principles of this deceleration technique, provide a realistic design, use numerical simulations to evaluate its performance for a beam of CaF, and compare this performance to other deceleration methods.
description: 23 pages
Peropteryx macrotis
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
Peropteryx
Peropteryx macrotis

description: Peropteryx macrotis (Wagner, 1843). Arch. Naturgesch., ser. 9, 1:367. TYPE LOCALITY: Brazil, Mato Grosso. DISTRIBUTION: Oaxaca, Guerrero, and Yucatan (Mexico) to Peru, Paraguay, and S. and E. Brazil; Tobago; Margarita Isl.; Aruba Isl.; Trinidad; Grenada (Lesser Antilles). COMMENT: Includes trinitatis; see Goodwin, 1961, Bull. Am. Mus. Nat. Hist., 122:216. Corbet and Hill, 1980:45, listed trinitatis as a distinct species without comment, ISIS NUMBER: 5301405003006003001.
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 130, DOI: 10.5281/zenodo.7352990
description: {"references": ["Goodwin, G. G., and A. M. Greenhall. 1961. A review of the bats of Trinidad and Tobago. Bulletin of the American Museum of Natural History, 122: 189 - 301.", "Corbet, G. B., and J. E. Hill. 1980. A world list of mammalian species. British Museum (Natural History), London, 226 pp."]}
Reflective Judgment in Medicine – Developing the Reasoning about Medical Issues Test
Creators: name: Goetz Fabry
Publisher: name: University of Illinois at Chicago
Year: 2020
Subjects: Uncategorized

description: There is growing awareness that epistemic cognition is a very important conceptual framework – not only but especially in medicine – in order to understand how individuals deal with ill-defined problems. Assessing epistemic cognition quantitatively, however, has proven to be difficult and there is no standard instrument for this purpose to date. Against this background we developed a questionnaire to capture epistemic cognition as outlined in the Reflective Judgment Model. We chose this particular model because it not only explicitly targets how individuals deal with ill-defined problems but also because it is a developmental model delineating how epistemic cognition evolves depending on age, education, experience etc. Our initial questionnaire comprised 31 items to be rated on a five-point category rating scale. Based on data from a cohort of 313 first and 189 third year medical students we performed confirmatory and exploratory factor analyses. The latter yielded a three-factor solution including 24 of the 31 items that resembled the macrostructure of the Reflective Judgment Model. However, the internal consistency of the scales was rather low (.57 / .65 / .67) indicating that further effort is needed to improve the instrument before it can be used for educational and diagnostic purposes.
Atmospheric tides in Earth-like planets
Creators: name: Auclair-Desrotour, Pierre
name: Laskar, Jacques
name: Mathis, Stéphane
Publisher: name: arXiv
Year: 2016
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: Atmospheric tides can strongly affect the rotational dynamics of planets. In the family of Earth-like planets, such as Venus, this physical mechanism coupled with solid tides makes the angular velocity evolve over long timescales and determines the equilibrium configurations of their spin. Contrary to the solid core, the atmosphere is submitted to both tidal gravitational potential and insolation flux coming from the star. The complex response of the gas is intrinsically linked to its physical properties. This dependence has to be characterized and quantified to study the large variety of extrasolar planetary systems. We develop a theoretical global model where radiative losses, which are predominant in slowly rotating atmospheres, are taken into account. We analytically compute the tidal perturbation of pressure, density, temperature and velocity field from which we deduce the expressions of atmospheric Love numbers and tidal torque exerted by the star. The dynamics of atmospheric tides depends on the frequency regime of the tidal perturbation: the thermal regime near synchronization and the dynamical regime characterizing fast-rotating planets. The dependence of the torque on the tidal frequency is quantified for Earth-like and Venus-like exoplanets and is in good agreement with the results given by Global Climate Models (GCM) simulations. Introducing dissipative processes such as radiation regularizes the tidal response of the atmosphere, otherwise it is singular at synchronization. We demonstrate the important role played by the physical and dynamical properties of a super-Earth atmosphere (e.g. Coriolis, stratification, background pressure, density, temperature, radiative emission) and point out the key parameters defining tidal regimes (e.g. inertia, Brunt-Väisälä, radiative frequencies, tidal frequency) and characterize the behaviour of the fluid shell with dissipation.
description: 43 pages, 29 figures, accepted for publication in Astronomy & Astrophysics, 85 Astronomy and Astrophysics
A Morphophonological Account of Spanish/English Word-Internal Codeswitching
Creators: name: Stefanich, Sara
Publisher: name: University of Illinois at Chicago
Year: 2020
Subjects: Uncategorized

description: The current study examines whether a codeswitched word (a word with morphological elements from two languages) can also contain phonological elements from two languages (MacSwan & Colina, 2014). For instance, consider the Spanish/English codeswitched word hangear. Even though this word is comprised of the English verb ‘to hang’ and the Spanish infinitival affix -ear, it is thought to not display corresponding phonology (i.e. English in the root and Spanish in the affixes). Instead, review of codeswitched words across the literature reveals a consistent pattern: codeswitched words evince the phonology of the language of the affixes. However, there are no studies that provide acoustic evidence to provide support or opposition for this pattern. In this dissertation, I aim to provide such evidence via two experimental paradigms: a production task and an aural acceptability judgment task. Both experiments investigated codeswitched verbs comprised of English roots and Spanish affixes. The English root in these mixed words contained one of three English phonemes /z/, /θ/ and /ɪ/ that do not exist in the Spanish of the participants. In the production task, the maintenance or substitution of these phonemes was used as indication of English or Spanish phonology, respectively. The results indicate that the bilinguals produced codeswitched words containing /z/ and /ɪ/ in the English root with Spanish phonology. For the codeswitched words with /θ/, some bilinguals maintained /θ/ in the English root while others did not. In the second experiment, participants were asked to rate codeswitched words with three different phonological instantiations (Spanish, English, mixed) on a 1-7 Likert scale. The results demonstrate that the participants provided the highest ratings to the codeswitched words with Spanish phonology and support the findings from the production study. The combined results of the production task and the acceptability judgment task provide evidence to support the prediction that codeswitched words evince the phonology of the language of the affixes. While there was considerable variability in the production study between the three phonemes, the majority of the codeswitched words comprised of English roots and Spanish affixes demonstrated Spanish phonology. These trends align with previous CS accounts (e.g. MacSwan & Colina, 2014) that posit a ban on phonological codeswitched words (albeit one that is subject to restrictions of applicability conditioned by factors such as phonological dissimilarity) and suggest that a bilingual’s two phonological systems do not interact at the word level.
Additional file 1 of Accelerating the development of a psychological intervention to restore treatment decision-making capacity in patients with schizophrenia-spectrum disorder: a study protocol for a multi-site, assessor-blinded, pilot Umbrella trial (the DEC:IDES trial)
Creators: name: Hutton, Paul
name: Kelly, James
name: Taylor, Christopher D. J.
name: Williams, Brian
name: Emsley, Richard
name: Alexander, Candy Ho
name: Vikram, Anvita
name: Saddington, David
name: McCann, Andrea
name: Burke, Joseph
name: Eliasson, Emma
name: Harper, Sean
name: Karatzias, Thanos
name: Taylor, Peter J.
name: Watson, Andrew
name: Dougall, Nadine
name: Stavert, Jill
name: O’Rourke, Suzanne
name: Glasgow, Angela
name: Murphy, Regina
name: Palmer, Karen
name: Zaidi, Nosheen
name: Bidwell, Polly
name: Pritchard, Jemma
name: Carr, Lucy
name: Woodrow, Amanda
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Neuroscience
subject: Sociology
subject: FOS: Sociology
classificationCode: 111714
subject: Mental Health

description: Additional file 1: Statistical Analysis Plan (SAP).
Spatial ability and sex differences in performance of a spatial task
Creators: name: Wattanawaha., Nongnuch
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.
Forensic Age Estimation in a Chicago Pediatric Population
Creators: name: Strumpf, Matthew
Publisher: name: University of Illinois at Chicago
Year: 2020
Subjects: Uncategorized

description: Purpose: To determine whether higher than normal body mass index (BMI) has a greater effect on timing of dental development than ancestry, and to what extent that may impact forensic odontologists when identifying human remains. Methods: A retrospective cross-sectional chart review was undertaken using the University of Illinois at Chicago Pediatric and Orthodontic database of panoramic radiographs of healthy 6 to 12-year-olds without craniofacial anomalies. Age, ancestry/race, BMI, sex, height, and weight were obtained. Dental development was assessed using the Demirjian method, and chronological age was subtracted from estimated dental age to determine relative dental timing (ΔAge). BMI was calculated based upon recorded height/weight within 6 months of time of radiograph. The CDC BMI percentiles were used to group subjects (underweight: <5th percentile; normal: 5-84th; overweight 85-94th; obese >95th). Results: Radiographs and demographic information of 290 children were evaluated. There was no difference in timing of dental development (accelerated/delayed) across ancestry groups (African-American, Euro-American, Hispanic, Asian; P=.15). Individuals with higher BMIs (the obese and overweight groups) had statistically significant overestimation of age (P
Multiparty Compatibility for Concurrent Objects
Creators: name: Perera, Roly
name: Lange, Julien
name: Gay, Simon J.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Programming Languages (cs.PL)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Objects and actors are communicating state machines, offering and consuming different services at different points in their lifecycle. Two complementary challenges arise when programming such systems. When objects interact, their state machines must be "compatible", so that services are requested only when they are available. Dually, when objects refine other objects, their state machines must be "compliant", so that services are honoured whenever they are promised. In this paper we show how the idea of multiparty compatibility from the session types literature can be applied to both of these problems. We present an untyped language in which concurrent objects are checked automatically for compatibility and compliance. For simple objects, checking can be exhaustive and has the feel of a type system. More complex objects can be partially validated via test cases, leading to a methodology closer to continuous testing. Our proof-of-concept implementation is limited in some important respects, but demonstrates the potential value of the approach and the relationship to existing software development practices.
description: In Proceedings PLACES 2016, arXiv:1606.05403
Father-absence boys : a study of sex-typed social behaviour, cognition and academic achievement
Creators: name: Turner, Donald R.
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.
Program Execution on Reconfigurable Multicore Architectures
Creators: name: Prasad, Sanjiva
Publisher: name: arXiv
Year: 2016
Subjects: subject: Programming Languages (cs.PL)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Performance (cs.PF)
subject: FOS: Computer and information sciences

description: Based on the two observations that diverse applications perform better on different multicore architectures, and that different phases of an application may have vastly different resource requirements, Pal et al. proposed a novel reconfigurable hardware approach for executing multithreaded programs. Instead of mapping a concurrent program to a fixed architecture, the architecture adaptively reconfigures itself to meet the application's concurrency and communication requirements, yielding significant improvements in performance. Based on our earlier abstract operational framework for multicore execution with hierarchical memory structures, we describe execution of multithreaded programs on reconfigurable architectures that support a variety of clustered configurations. Such reconfiguration may not preserve the semantics of programs due to the possible introduction of race conditions arising from concurrent accesses to shared memory by threads running on the different cores. We present an intuitive partial ordering notion on the cluster configurations, and show that the semantics of multithreaded programs is always preserved for reconfigurations "upward" in that ordering, whereas semantics preservation for arbitrary reconfigurations can be guaranteed for well-synchronised programs. We further show that a simple approximate notion of efficiency of execution on the different configurations can be obtained using the notion of amortised bisimulations, and extend it to dynamic reconfiguration.
description: In Proceedings PLACES 2016, arXiv:1606.05403
Rhynchonycteris 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
Rhynchonycteris

description: Rhynchonycteris Peters, 1867. Monatsb. Preuss. Akad. Wiss. Berlin, p. 477. REVIEWED BY: B. Villa-Ramirez (BVR). ISIS NUMBER: 5301405003007000000.
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
Zero temperature limit for (1+1) directed polymers with correlated random potential
Creators: name: Dotsenko, Victor
Publisher: name: arXiv
Year: 2016
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: Zero temperature limit in (1+1) directed polymers with finite range correlated random potential is studied. In terms of the standard replica technique it is demonstrated that in this limit the considered system reveals the one-step replica symmetry breaking structure similar to the one which takes place in the Random Energy Model. In particular, it is shown that at the temperature $T_{*} \sim (u R)^{1/3}$ (where $u$ and $R$ are the strength and the correlation length of the random potential) there is a crossover from the high- to the low-temperature regime. Namely, in the high-temperature regime at $T >> T_{*}$ the model is equivalent to the one with the $δ$-correlated potential where the non-universal prefactor of the free energy is proportional to $T^{-2/3}$, while at $T << T_{*}$ this non-universal prefactor saturates at a finite (temperature independent) value.
description: 8 pages