cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Genetic analysis of the Caenorhabditis elegans M1 neuron axon guidance and embryonic elongation
Creators: name: Refai, Osama
Publisher: name: Graduate Studies
Year: 2014
Subjects: subject: Biology--Cell
subject: Genetics
subject: FOS: Biological sciences
subject: Biology--Molecular
subject: Neuroscience
subject: C. elegans
subject: Axon Guidance
subject: Embryonic Elongation
subject: fhod-1

description: Embryonic morphogenesis is a complicated process that involves several critical processes such as cell migration and body shape changes. The cell cytoskeleton is the basic machinery that drives many morphogenic events. Defects in regulators of the cytoskeleton components, especially actin and myosin, can result in birth defects. In this thesis, I carried out genetic analyses to study both morphogenesis of a single cell and the embryo as a whole in the nematode Caenorhabditis elegans. Axon guidance of the M1 neuron depends on multiple signaling cues and mechanisms. M1 uses the growth cone controlling genes such as unc-119, unc-51, unc-34 and unc-115 to build part of its trajectory. After its birth, M1 appears to use the mechanical tension to extend its initial projection, in a manner similar to another pharyngeal neuron M2. The g1P gland cell also participates in M1 guidance, analogous to glia cells or pioneer neurons. A forward genetic screen identified more genes that control M1 pathfinding including three novel genes. The variety of molecules and mechanisms used by the M1 neuron indicates that morphogenic processes at a single cell level are complicated and robust. Morphogenic processes are much more complicated in embryonic elongation, which involves the whole animal. Although major regulators of embryonic elongation have been identified, little is known about their function and genetic interactions. Here, I investigated the genetic interactions of the formin homology protein fhod-1 with other members of its family, showing that fhod-1 might be the sole formin acting in embryonic elongation. Additionally, I characterized the expression pattern of fhod-1, indicating it is expressed homogenously during elongation. Structural analysis of the fhod-1 gene identified a novel short isoform, which results from an alternative splicing event. Finally, I investigated the expression and function of the sex determination gene fem-2 in embryonic elongation. Although fem-2 is likely expressed ubiquitously in the epidermis, it appears to function specifically in dorsal/ventral epidermal cells to regulate elongation.
Kinetic modeling of catalytic in situ upgrading for Athabasca bitumen, deasphalting pitch and vacuum residue
Creators: name: Da Silva De Andrade, Francisco Javier
Publisher: name: Graduate Studies
Year: 2014
Subjects: subject: Engineering--Chemical
subject: Engineering--Petroleum
subject: Kinetics
subject: In Situ Upgrading
subject: Hydroprocessing

description: Due to their high viscosity, extra-heavy oils and bitumens are more difficult to recover than conventional oils, so they are mainly produced by Thermal Enhanced Oil Recovery (TEOR) methods. In the pursuit of a less energy demand process and relying on new developments in ultradispersed catalysts for hydroprocessing, in situ upgrading, is proposed as an economically feasible, environmentally friendly and novel alternative to produce upgraded oil with transportable specifications. In this work, kinetic models for ultradispersed catalytic hydroprocessing for Athabasca bitumen, pitch and vacuum residue have been developed. These models can be used for predicting conversion and product yields which are essential for simulation, design and evaluation of this process at both surface and reservoir level. Results showed that residue (550+ °C) conversion fits a first-order reaction, with activation energies within the range of 50-200 kJ/mol depending on the feedstock. Kinetic models showed good agreement reporting average errors lower than 7.5%.
Response-adaptive dose-finding under model uncertainty
Creators: name: Bornkamp, Björn
name: Bretz, Frank
name: Dette, Holger
name: Pinheiro, José
Publisher: name: arXiv
Year: 2011
Subjects: subject: Applications (stat.AP)
subject: FOS: Computer and information sciences

description: Dose-finding studies are frequently conducted to evaluate the effect of different doses or concentration levels of a compound on a response of interest. Applications include the investigation of a new medicinal drug, a herbicide or fertilizer, a molecular entity, an environmental toxin, or an industrial chemical. In pharmaceutical drug development, dose-finding studies are of critical importance because of regulatory requirements that marketed doses are safe and provide clinically relevant efficacy. Motivated by a dose-finding study in moderate persistent asthma, we propose response-adaptive designs addressing two major challenges in dose-finding studies: uncertainty about the dose-response models and large variability in parameter estimates. To allocate new cohorts of patients in an ongoing study, we use optimal designs that are robust under model uncertainty. In addition, we use a Bayesian shrinkage approach to stabilize the parameter estimates over the successive interim analyses used in the adaptations. This approach allows us to calculate updated parameter estimates and model probabilities that can then be used to calculate the optimal design for subsequent cohorts. The resulting designs are hence robust with respect to model misspecification and additionally can efficiently adapt to the information accrued in an ongoing study. We focus on adaptive designs for estimating the minimum effective dose, although alternative optimality criteria or mixtures thereof could be used, enabling the design to address multiple objectives.
description: Published in at http://dx.doi.org/10.1214/10-AOAS445 the Annals of Applied Statistics (http://www.imstat.org/aoas/) by the Institute of Mathematical Statistics (http://www.imstat.org)
Simultaneous core partitions: parameterizations and sums
Creators: name: Wang, Victor Y.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Combinatorics (math.CO)
subject: Number Theory (math.NT)
subject: FOS: Mathematics
subject: 05A15, 05A17, 05E10, 05E18

description: Fix coprime $s,t\ge1$. We re-prove, without Ehrhart reciprocity, a conjecture of Armstrong (recently verified by Johnson) that the finitely many simultaneous $(s,t)$-cores have average size $\frac{1}{24}(s-1)(t-1)(s+t+1)$, and that the subset of self-conjugate cores has the same average (first shown by Chen--Huang--Wang). We similarly prove a recent conjecture of Fayers that the average weighted by an inverse stabilizer---giving the "expected size of the $t$-core of a random $s$-core"---is $\frac{1}{24}(s-1)(t^2-1)$. We also prove Fayers' conjecture that the analogous self-conjugate average is the same if $t$ is odd, but instead $\frac{1}{24}(s-1)(t^2+2)$ if $t$ is even. In principle, our explicit methods---or implicit variants thereof---extend to averages of arbitrary powers. The main new observation is that the stabilizers appearing in Fayers' conjectures have simple formulas in Johnson's $z$-coordinates parameterization of $(s,t)$-cores. We also observe that the $z$-coordinates extend to parameterize general $t$-cores. As an example application with $t := s+d$, we count the number of $(s,s+d,s+2d)$-cores for coprime $s,d\ge1$, verifying a recent conjecture of Amdeberhan and Leven.
description: v4: updated references to match final EJC version
Herschel observations of Cen A: stellar heating of two extragalactic dust clouds
Creators: name: Auld, R.
name: Smith, M. W. L.
name: Bendo, G.
name: Pohlen, M.
name: Wilson, C.
name: Gomez, H.
name: Cortese, L.
name: Morganti, R.
name: Baes, M.
name: Boselli, A.
name: Cooray, A.
name: Davies, J. I.
name: Eales, S.
name: Elbaz, D.
name: Galametz, M.
name: Isaak, K.
name: Oosterloo, T.
name: Page, M.
name: Rigby, E.
name: Spinoglio, L.
name: Struve, C.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We present the first results of a multi-wavelength survey, incoporating Herschel-SPIRE, Spitzer, GALEX and ATCA observations, of a 1 deg x 1 deg field centred on Centaurus A. As well as detecting the inner lobes of the active galactic nucleus (AGN) jet and counterjet, we have found two clouds, bright at sub-mm wavelengths, ~15 kpc from the centre of Cen A that are co-aligned with the jets. Flux measurements at Herschel wavelengths have proved vital in constraining fits to the Spectral Energy Distributions (SEDs). The clouds are well fit by a single-temperature, modified blackbody spectrum (beta=2) indicating that we are looking at two cold dust clouds on the outskirts of Cen A. The temperature and masses of the clouds are: T_{north} = 12.6^{+1.1}_{-1.2} K, T_{south} = 15.1^{+1.7}_{-1.6} K; log(M_{north} / M_o) = 5.8^{+0.2}_{-0.2}, log(M_{south} / M_o) = 5.6^{+0.2}_{-0.2} and the gas-dust ratio for both clouds is ~100. The measured values for the northern dust cloud are consistent with previous measurements from ISO while the southern cloud is a new sub-mm detection. The two dust clouds are located at the termini of the partial HI ring that surrounds Cen A which is also where the gas column density peaks... abridged
description: 16 pages, 9 figures, Accepted for publication in MNRAS, author email: robbie.auld@astro.cf.ac.uk
Verified Low-Level Programming Embedded in F*
Creators: name: Protzenko, Jonathan
name: Zinzindohoué, Jean-Karim
name: Rastogi, Aseem
name: Ramananandro, Tahina
name: Wang, Peng
name: Zanella-Béguelin, Santiago
name: Delignat-Lavaud, Antoine
name: Hritcu, Catalin
name: Bhargavan, Karthikeyan
name: Fournet, Cédric
name: Swamy, Nikhil
Publisher: name: arXiv
Year: 2017
Subjects: subject: Programming Languages (cs.PL)
subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: We present Low*, a language for low-level programming and verification, and its application to high-assurance optimized cryptographic libraries. Low* is a shallow embedding of a small, sequential, well-behaved subset of C in F*, a dependently-typed variant of ML aimed at program verification. Departing from ML, Low* does not involve any garbage collection or implicit heap allocation; instead, it has a structured memory model à la CompCert, and it provides the control required for writing efficient low-level security-critical code. By virtue of typing, any Low* program is memory safe. In addition, the programmer can make full use of the verification power of F* to write high-level specifications and verify the functional correctness of Low* code using a combination of SMT automation and sophisticated manual proofs. At extraction time, specifications and proofs are erased, and the remaining code enjoys a predictable translation to C. We prove that this translation preserves semantics and side-channel resistance. We provide a new compiler back-end from Low* to C and, to evaluate our approach, we implement and verify various cryptographic algorithms, constructions, and tools for a total of about 28,000 lines of code, specification and proof. We show that our Low* code delivers performance competitive with existing (unverified) C cryptographic libraries, suggesting our approach may be applicable to larger-scale low-level software.
description: extended version of ICFP final camera ready version; only Acknowledgements differ from 30 Aug 2017 version
Development of a Standalone Thermal Wellbore Simulator
Creators: name: Wanqiang, Xiong
Publisher: name: Graduate Studies
Year: 2014
Subjects: subject: Computer Science
subject: Energy
subject: Engineering--Petroleum
subject: Wellbore Modeling
subject: Thermal
subject: Heat Loss
subject: Simulator
subject: Steam Injection
subject: FLUENT

description: With continuous developments of various different sophisticated wells in the petroleum industry, wellbore modeling and simulation have increasingly received more attention. Especially in unconventional oil and gas recovery processes, there is a growing demand for more accurate wellbore modeling. Despite notable advancements made in wellbore modeling, none of the existing wellbore simulators has been as successful as reservoir simulators such as Eclipse and CMG’s and further research works on handling issues such as accurate heat loss modeling and multi-tubing wellbore modeling are really necessary. A series of mathematical equations including main governing equations, auxiliary equations, PVT equations, thermodynamic equations, drift-flux model equations, and wellbore heat loss calculation equations are collected and screened from publications. Based on these modeling equations, workflows for wellbore simulation and software development are proposed. Research works are conducted in key steps for developing a wellbore simulator: discretization, a grid system, a solution method, a linear equation solver, and computer language. A standalone thermal wellbore simulator is developed by using standard C++ language. This wellbore simulator can simulate single-phase injection and production, two-phase steam injection and two-phase oil and water production. By implementing a multi-part scheme which divides a wellbore with sophisticated configuration into several relative simple simulation running units, this simulator can handle different complex wellbores: wellbore with multistage casings, horizontal wells, multilateral wells and double tubing. In pursuance of improved accuracy of heat loss calculations to surrounding formations, a semi-numerical method is proposed and a series of FLUENT simulations have been conducted in this study. This semi-numerical method involves extending the 2D formation heat transfer simulation to include a casing wall and cement and adopting new correlations regressed by this study. Meanwhile, a correlation for handling heat transfer in double-tubing annulus is regressed. This work initiates the research on heat transfer in a double-tubing wellbore system. A series of validation and test works are performed in hot water injection, steam injection, real filed data, a horizontal well, a double-tubing well and comparison with the Ramey method. The program in this study also performs well in matching with real measured field data, simulation in horizontal wells and double-tubing wells.
A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations
Creators: name: Grimm, Niklas
name: Maillard, Kenji
name: Fournet, Cédric
name: Hritcu, Catalin
name: Maffei, Matteo
name: Protzenko, Jonathan
name: Ramananandro, Tahina
name: Rastogi, Aseem
name: Swamy, Nikhil
name: Zanella-Béguelin, Santiago
Publisher: name: arXiv
Year: 2017
Subjects: subject: Programming Languages (cs.PL)
subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: Relational properties describe multiple runs of one or more programs. They characterize many useful notions of security, program refinement, and equivalence for programs with diverse computational effects, and they have received much attention in the recent literature. Rather than developing separate tools for special classes of effects and relational properties, we advocate using a general purpose proof assistant as a unifying framework for the relational verification of effectful programs. The essence of our approach is to model effectful computations using monads and to prove relational properties on their monadic representations, making the most of existing support for reasoning about pure programs. We apply this method in F* and evaluate it by encoding a variety of relational program analyses, including information flow control, program equivalence and refinement at higher order, correctness of program optimizations and game-based cryptographic security. By relying on SMT-based automation, unary weakest preconditions, user-defined effects, and monadic reification, we show that, compared to unary properties, verifying relational properties requires little additional effort from the F* programmer.
description: CPP'18 extended version with the missing ERC acknowledgement
The critical group of the Kneser graph on $2$-subsets of an $n$-element set
Creators: name: Ducey, Joshua E.
name: Hill, Ian
name: Sin, Peter
Publisher: name: arXiv
Year: 2017
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05C50

description: In this paper we compute the critical group of the Kneser graph $KG(n,2)$. This is equivalent to computing the Smith normal form of a Laplacian matrix of this graph.
description: The statement of Lemma 2.2, part (4) was missing a case. This has been corrected, and it has no effect on the rest of the paper
Effective masking levels for bone-conduction auditory steady-state response thresholds in infants
Creators: name: Hansen, Erin Estelle
Publisher: name: University of British Columbia
Year: 2010

description: To obtain ear-specific bone-conduction thresholds, masking of the non-test ear is often required. Masking is not currently utilized in the pediatric diagnostic test battery, partly because effective masking levels (EMLs) for bone-conducted stimuli in young infants are not known. The purpose of this study is to determine EMLs for auditory steady-state responses (ASSRs) elicited by bone-conducted stimuli in a group of normal-hearing infants under six-months of age and adults. Using a two-channel ASSR recording, single 1000- and 4000-Hz bone-conducted AM/FM stimuli were masked out with 1 and 4 kHz of narrowband noise presented binaurally. Taking into consideration maturational differences in real-ear-to-coupler differences (RECDs) and bone-conduction sensitivity (Small & Stapells, 2008a), it was predicted that infants would require more and less masking at 1000 and 4000 Hz, respectively. As expected, infants have higher and lower EMLs at 1000 and 4000 Hz, respectively, compared to adults. When RECDs are accounted for, infants have even higher EMLs at 1000 Hz and similar EMLs at 4000 Hz compared to adults. This is consistent with the frequency-dependent differences in boneconduction sensitivity for infants. When differences in bone-conduction sensitivity are accounted for, infants have lower EMLs at both frequencies. When RECDs and boneconduction sensitivity are taken into account, infants have lower EMLs at 1000 Hz and similar EMLs at 4000 Hz. Based on ipsilateral/contralateral asymmetries in masked amplitudes, adults were estimated to have inter-aural attenuations of at least 0-5 and 0-10 dB at 1000 and 4000 Hz, respectively. In contrast, infants were estimated to have inter-aural attenuations of at least 10 dB at 1000 Hz and minimum inter-aural attenuations of greater than 35 dB at 4000 Hz. Similar to behvaioural investigations, the amplitude findings of this study suggest processing efficiency may be immature at 1000 Hz, but not at 4000 Hz. Based on the findings of this study, the following preliminary masking levels for bone-conduction stimuli are recommended: (i) 1000 Hz: 48 and 58 dB SPL at 15 and 25 dB HL, respectively, and (ii) 4000 Hz: 40 and 45 dB SPL at 25 and 35 dB HL, respectively.
MIPS 24-160 micron photometry for the Herschel-SPIRE Local Galaxies Guaranteed Time Programs
Creators: name: Bendo, G. J.
name: Galliano, F.
name: Madden, S. C.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We provide an overview of ancillary 24, 70, and 160 micron data from the Multiband Imaging Photometer for Spitzer (MIPS) that are intended to complement the 70-500 micron Herschel Space Observatory photometry data for nearby galaxies obtained by the Herschel-SPIRE Local Galaxies Guaranteed Time Programs and the Herschel Virgo Cluster Survey. The MIPS data can be used to extend the photometry to wave bands that are not observed in these Herschel surveys and to check the photometry in cases where Herschel performs observations at the same wavelengths. Additionally, we measured globally-integrated 24-160 micron flux densities for the galaxies in the sample that can be used for the construction of spectral energy distributions. Using MIPS photometry published by other references, we have confirmed that we are obtaining accurate photometry for these galaxies.
description: Accepted for publication in MNRAS; 24 pages, 6 tables, 0 figures
title:  (S)coprire il corpo: la nudità femminile nella Carta do Achamento e nel Naufrágio do galeão grande S. João
Creators: name: De Crescenzo  ,  Luigia
Publisher: name: RomaTrE-Press
Year: 2019

description: Il presente contributo si propone di esplorare il significato simbolico che la nudità femminile assume nella Carta do Achamento di Pero Vaz de Caminha e nel resoconto del Naufrágio do galeão grande S. João. Nello specifico, la «nudità senza vergogna» delle indigene descritte da Caminha e la pudica «nuda corporeità» di D. Leonor saranno analizzate alla luce delle riflessioni di Giorgio Agamben relative a quel particolare dispositivo nudità/veste connaturato nell’orizzonte culturale e teologico europeo che sembra riflettersi nella rappresentazione dell’alterità e negli elementi retorici attraverso cui si articola il discorso di scoperta e di colonizzazione.
description: Di naufragi ne so più che il mare. La Cattedra “José Saramago” ricorda Giulia Lanciani
The circumstellar disk of HH 30. Searching for signs of disk evolution with multi-wavelength modeling
Creators: name: Madlener, D.
name: Wolf, S.
name: Dutrey, A.
name: Guilloteau, S.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Circumstellar disks are characteristic for star formation and vanish during the first few Myr of stellar evolution. During this time planets are believed to form in the dense midplane by growth, sedimentation and aggregation of dust. Indicators of disk evolution, such as holes and gaps, can be traced in the spectral energy distribution (SED) and spatially resolved images. We aim to construct a self-consistent model of HH 30 by fitting all available continuum observations simultaneously. New data sets not available in previous studies, such as high-resolution interferometric imaging with the Plateau de Bure Interferometer (PdBI) at lambda = 1.3 mm and SED measured with IRS on the Spitzer Space Telescope in the mid-infrared, put strong constraints on predictions and are likely to provide new insights into the evolutionary state of this object. A parameter study based on simulated annealing was performed to find unbiased best-fit models for independent observations made in the wavelength domain lambda ~ 1 micron ... 4 mm. The method essentially creates a Markov chain through parameter space by comparing predictions generated by our self-consistent continuum radiation transfer code MC3D with observations. We present models of the edge-on circumstellar disk of HH 30 based on observations from the near-infrared to mm-wavelengths that suggest the presence of an inner depletion zone with about 45 AU radius and a steep decline of mm opacity beyond 140 AU. Our modeling indicates that several modes of dust evolution such as growth, settling, and radial migration are taking place in this object. High-resolution observations of HH 30 at different wavelengths with next-generation observatories such as ALMA and JWST will enable the modeling of inhomogeneous dust properties and significantly expand our understanding of circumstellar disk evolution.
description: Accepted for publication in Astronomy and Astrophysics
Wide subcategories are semistable
Creators: name: Yurikusa, Toshiya
Publisher: name: arXiv
Year: 2017
Subjects: subject: Representation Theory (math.RT)
subject: FOS: Mathematics

description: For an arbitrary finite dimensional algebra $Λ$, we prove that any wide subcategory of $\mathsf{mod} Λ$ satisfying a certain finiteness condition is $θ$-semistable for some stability condition $θ$. More generally, we show that wide subcategories of $\mathsf{mod} Λ$ associated with two-term presilting complexes of $Λ$ are semistable. This provides a complement for Ingalls-Thomas-type bijections for finite dimensional algebras.
description: 8 pages
Numerical exploration of a hexagonal string billiard
Creators: name: Fetter, Hans L.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mathematical Physics (math-ph)
subject: Dynamical Systems (math.DS)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: In this paper we are interested in the motion of a ball inside a billiard table bounded by a particular smooth curve. This table belongs to a family of billiards which can all be drawn by a common process: the so-called gardener's string construction. The classical elliptical billiard is, of course, the foremost member of this family. So it should come as no surprise that our hexagonal string billiard shares many basic properties with the latter, but, on the other hand, also exhibits some essential differences with it. We have gathered numerical evidence against the Birkhoff-Poritsky conjecture.
description: Preprint, 30 pages, 26 figures
Developing T-type calcium channel blockers as potential therapies for pain.
Creators: name: Bladen, Christopher
Publisher: name: Graduate Studies
Year: 2014
Subjects: subject: Neuroscience
subject: Pain
subject: Ion Channels
subject: Drug Discovery

description: Low-voltage-activated (T-type) calcium channels play a crucial role in a number of physiological processes, including neuronal and cardiac pacemaker activity and nociception. Therefore, finding specific modulators and/or blockers of T-type channels has become an important field of drug discovery. The aim of this thesis is to look at how different molecules block T-type calcium channels and to look at developing new molecules to expand the limited arsenal of drugs known to modulate this important ion channel family. First, I examined similarities between T-type channels and their better characterized cousins, the voltage-gated sodium channels (Nav). T-types are thought to be evolutionary related to Navs as they share similar membrane topology and gating kinetics. Simple Multiple Sequence Alignment also revealed several highly conserved regions between T-type and Nav channels that corresponded to drug binding sites known to alter voltage-dependent gating kinetics. I thus reasoned that certain drugs acting on Nav may also modulate T-type channels. My first experiments determined that a selective Nav1.8 drug (A803467) also bound selectively and potently to T-types in an area of the channel corresponding to the local anesthetic binding site found in Nav channels. I next examined another well-characterized Nav blocker, spider toxins. Two tarantula toxins, Protoxin I and Protoxin II, had been shown to be potent and selective blockers of Nav channels and my research confirmed that these two toxins also potently and selectively blocked both Cav 3.1 and Cav 3.2 respectively. The second part of my thesis looked at developing new compounds to block or modulate T-type channels. Studies have suggested that certain dihydropyridines (DHPs), a well known class of L-type blocking drugs, may also block T-type. We therefore synthesized a series of novel DHP derivatives and our results indicated modifying the ester substituent dramatically increased our compounds’ ability to block L-type and T-type calcium channels and furthermore, substituting the ester group with 3-pyridylmethyl, conferred approximately 30-fold selectivity to T-type versus L-type calcium channels. We then took our most effective blocker and structurally similar compounds and demonstrated in-vivo that they were efficacious in reducing pain responses in mice subjected to peripheral inflammation or nerve injury. Finally, in the last section of my thesis, I examine some novel organic molecules that have structures similar to lipoamino acids, which are endogenous molecules known to interact with T-type calcium channels. We tested their inhibitory effects on T-type channels and then took the most effective inhibitor and demonstrated that it was also efficacious in animal models of pain.
A Counter Example to Cercignani's Conjecture for the $d$ Dimensional Kac Model
Creators: name: Einav, Amit
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences
subject: 60F99, 70F99

description: Kac's $d$ dimensional model gives a linear, many particle, binary collision model from which, under suitable conditions, the celebrated Boltzmann equation, in its spatially homogeneous form, arise as a mean field limit. The ergodicity of the evolution equation leads to questions about the relaxation rate, in hope that such a rate would pass on the Boltzmann equation as the number of particles goes to infinity. This program, starting with Kac and his one dimensional 'Spectral Gap Conjecture' at 1956, finally reached its conclusion in a series of papers by authors such as Janvresse, Maslen, Carlen, Carvalho, Loss and Geronimo, but the hope to get a a limiting relaxation rate for the Boltzmann equation with this linear method was already shown to be unrealistic. A less linear approach, via a many particle version of Cercignani's conjecture, is the grounds for this paper. In our paper, we extend recent results by the author from the one dimensional Kac model to the $d$ dimensional one, showing that the entropy-entropy production ratio, $Γ_N$, still yields a very strong dependency in the number of particles of the problem when we consider the general case.
Quantum-secure message authentication via blind-unforgeability
Creators: name: Alagic, Gorjan
name: Majenz, Christian
name: Russell, Alexander
name: Song, Fang
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Physics (quant-ph)
subject: Cryptography and Security (cs.CR)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: Formulating and designing authentication of classical messages in the presence of adversaries with quantum query access has been a longstanding challenge, as the familiar classical notions of unforgeability do not directly translate into meaningful notions in the quantum setting. A particular difficulty is how to fairly capture the notion of "predicting an unqueried value" when the adversary can query in quantum superposition. We propose a natural definition of unforgeability against quantum adversaries called blind unforgeability. This notion defines a function to be predictable if there exists an adversary who can use "partially blinded" oracle access to predict values in the blinded region. We support the proposal with a number of technical results. We begin by establishing that the notion coincides with EUF-CMA in the classical setting and go on to demonstrate that the notion is satisfied by a number of simple guiding examples, such as random functions and quantum-query-secure pseudorandom functions. We then show the suitability of blind unforgeability for supporting canonical constructions and reductions. We prove that the "hash-and-MAC" paradigm and the Lamport one-time digital signature scheme are indeed unforgeable according to the definition. To support our analysis, we additionally define and study a new variety of quantum-secure hash functions called Bernoulli-preserving. Finally, we demonstrate that blind unforgeability is stronger than a previous definition of Boneh and Zhandry [EUROCRYPT '13, CRYPTO '13] in the sense that we can construct an explicit function family which is forgeable by an attack that is recognized by blind-unforgeability, yet satisfies the definition by Boneh and Zhandry.
description: 37 pages, v4: Erratum added. We removed a result that had an error in its proof
A longer journey : an exploration of individuals' with disabilities experiences of employment programs in Vernon, B.C.
Creators: name: Hockman, Laura Mary
Publisher: name: University of British Columbia
Year: 2010

description: Researching disability and employment is a daunting task due to the need to explore many societal systems and the historical evolution of policy. This thesis used qualitative description to document the experiences of 12 people with a variety of disabilities with results-based employment programs in Vernon, B.C. To provide a context within which to situate this research, a discussion of the evolution of Canadian Disability Social Policy from the federal to provincial level is provided. This is followed by an overview of disability and identity and the common discourses encountered by people with disabilities on their employment journey. A thematic analysis was used to identity two themes: connection and control. These themes are discussed in relation to their role in defining inclusion. The experiences detailed in this study illustrate the broad impact of results-based employment programs within the diverse contexts of the participants' lives, offering insights into the challenges these individuals face. The relevance of such insights should not be underestimated as they not only contribute to our understanding of an individual's experiences but suggest ways in which employment initiatives for people with disabilities might be improved.
Legendrian contact homology in $\mathbb{R}^3$
Creators: name: Etnyre, John B.
name: Ng, Lenhard L.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Symplectic Geometry (math.SG)
subject: Geometric Topology (math.GT)
subject: FOS: Mathematics
subject: 53D42, 53D10, 57K10

description: This is an introduction to Legendrian contact homology and the Chekanov-Eliashberg differential graded algebra, with a focus on the setting of Legendrian knots in $\mathbb{R}^3$. This is the published version of the paper, but with a section of errata added at the end.
description: v5: 60 pages. This is the published version but we have added a page of errata that were discovered after publication
The Effects of Pro-Inflammatory Cytokine TNF-α on Rat Mesenteric Lymphatic Pumping and Its Signaling Pathway
Creators: name: Chen, Yingxuan
Publisher: name: Graduate Studies
Year: 2014
Subjects: subject: Physiology
subject: FOS: Biological sciences
subject: Pathology
subject: Pharmacology
subject: TNF-α
subject: Lymphatic Pumping
subject: Signaling Pathway
subject: Inflammation

description: Upregulated TNF-α production and dysfunctional lymphatic pumping are observed in inflammatory bowel disease pathogenesis. It has been previously demonstrated that iNOS is involved in impaired mesenteric lymphatic pumping in animal model of intestinal inflammation and studies showed that TNF-α could decrease arterial contractility via iNOS activation. We hypothesized that TNF-α may induce impaired lymphatic pumping in intestinal inflammation and investigated the effects of TNF-α on rat mesenteric lymphatic pumping and its signaling pathway. Using pressure myography, we showed that the contraction frequency of isolated rat mesenteric lymphatic vessels was significantly decreased after TNF-α treatment, an effect restored following administration of PDTC, 1400W, ODQ or glibenclamide. Upregulation of phospho-IκB in TNF-α-treated vessels was demonstrated by western blot. We also showed upregulation of iNOS mRNA in TNF-α-treated vessels by quantitative real-time PCR and its suppression when PDTC was added. These findings suggest that TNF-α decreases lymphatic contractility via TNF-α- NF-κB- iNOS pathway.
Social Cognition in People with Bipolar Disorder
Creators: name: Bobyn, Jacqueline Anne
Publisher: name: Graduate Studies
Year: 2014
Subjects: subject: Mental Health
subject: Neuroimaging
subject: Psychiatry
subject: Social
subject: cognition
subject: Bipolar
subject: Disorder

description: Bipolar disorder (BD) is a complex psychiatric illness; in addition to mood disturbances, people with this illness experience cognitive dysfunction and neurovegetative shifts. Some people with BD experience difficulty in interpersonal relationships. Impairment in social cognition may contribute to these difficulties in interpersonal functioning. In order to examine the neural and behavioral correlates of social cognition in patients with BD, a social cognition task was administered to 25 healthy controls (HCs) and 25 patients with BD and depression scores ranging from euthymic to depressed at the time of assessment. The task required participants to evaluate situations that were “enhancing” or “threatening” to self-esteem. Patients differed significantly from HCs in their evaluation of threatening scenarios, directed at both oneself and at other people (p<0.001). Neuroimaging results reveal differential patterns of prefrontal-cortical and limbic-subcortical activation in patients [p<0.001]. Findings may contribute to understanding alterations in social cognitive functioning in patients with BD.
$F$-matrices of cluster algebras from triangulated surfaces
Creators: name: Gyoda, Yasuaki
name: Yurikusa, Toshiya
Publisher: name: arXiv
Year: 2019
Subjects: subject: Combinatorics (math.CO)
subject: Commutative Algebra (math.AC)
subject: Rings and Algebras (math.RA)
subject: Representation Theory (math.RT)
subject: FOS: Mathematics

description: For a given marked surface $(S,M)$ and a fixed tagged triangulation $T$ of $(S,M)$, we show that each tagged triangulation $T'$ of $(S,M)$ is uniquely determined by the intersection numbers of tagged arcs of $T$ and tagged arcs of $T'$. As consequence, each cluster in the cluster algebra $\mathcal{A}(T)$ is uniquely determined by its $F$-matrix which is a new numerical invariant of the cluster introduced by Fujiwara and Gyoda.
description: 33 pages
The Charge Radius of the Proton
Creators: name: Paz, Gil
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Recently, the charge radius of the proton was extracted for the first time from muonic hydrogen. The value obtained is five standard deviations away from similar measurements of regular hydrogen. This talk discusses work done in collaboration with Richard J. Hill, to address this discrepancy. First, we have studied the extraction of the charge radius of the proton from electron-proton scattering data in a model-independent way. We have shown that previous extractions, spanning a period of over 40 years, have underestimated their errors. Second, we have looked at a model-independent analysis of proton structure effects for hydrogen-like bound states, using the tool of an effective field theory, namely NRQED. We have identified hidden model-dependent assumptions in the theoretical calculation behind the muonic hydrogen result.
description: Proceedings of DPF2011, Meeting of the Division of Particles and Fields of the American Physical Society, Brown University, Providence, Rhode Island, USA, August 8-13, 2011 and Proceedings of PANIC 2011, 19th Particles & Nuclei International Conference, MIT, Cambridge, Massachusetts, USA, July 24-29 2011, and eConf C110809 (2012)
Interaction of antiproton with helium based on ab-initio calculations
Creators: name: Barna, Imre Ferenc
name: Pocsai, Mihály András
name: Tőkési, Károly
Publisher: name: arXiv
Year: 2019
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: We present ionization cross sections for antiproton and helium collisions based on ab-initio time-dependent coupled channel method. In our calculations a finite basis set of regular helium Coulomb wave packets and Slater function were used. The semiclassical approximation was applied with the time-dependent Coulomb potential to describe the antiproton electron interaction. Three different projectile energies were considered as 10, 50 and 100 keV. We found clear evidence for the formation of the anti-cusp in the differential distributions.
description: 17 pages and 3*3 figures
title: The Relativistic Vlasov-Maxwell System with External Electromagnetic Fields
Creators: name: Weber, Jörg
Publisher: name: University of Bayreuth
Year: 2020
Subjects: subject: relativistic Vlasov-Maxwell system
subject: nonlinear partial differential equations
subject: optimal control with PDE constraints
subject: magnetic confinement
subject: 510

description: The time evolution of a collisionless plasma is modeled by the relativistic Vlasov--Maxwell system which couples the Vlasov equation (the transport equation) with the Maxwell equations of electrodynamics. We consider the case that the plasma consists of several particle species, the particles are located in a container $\Omega\subset\mathbb R^3$, and are subject to boundary conditions on $\partial\Omega$. In the first two parts of this work, we deal with the situation that there are external currents, typically in the exterior of the container, that may serve as a control of the plasma if adjusted suitably. In order to allow interaction between the exterior and the interior of the container, we do not impose perfect conductor boundary conditions for the electromagnetic fields---in contrast to other papers dealing with a similar setting, but without external currents---but consider the fields as functions on whole space $\mathbb R^3$ and model objects that are placed in space via given matrix-valued functions $\varepsilon$ (the permittivity) and $\mu$ (the permeability). Firstly, a weak solution concept is introduced and existence of global-in-time solutions is proved, as well as the redundancy of the divergence part of the Maxwell equations in this weak solution concept. Secondly, since a typical aim in fusion plasma physics is to keep the amount of particles hitting $\partial\Omega$ as small as possible (since they damage the reactor wall), while the control costs should not be too exhaustive (to ensure efficiency), we consider a suitable minimization problem with the Vlasov--Maxwell system as a constraint. This problem is analyzed in detail. In particular, we prove existence of minimizers and establish an approach to derive first order optimality conditions. In the third part of this work, we consider the case that the plasma is located in an infinitely long cylinder and is influenced by an external magnetic field. We prove existence of stationary solutions (extending in the third space direction infinitely) and give conditions on the external magnetic field under which the plasma is confined inside the cylinder, that is, it stays away from the boundary of the cylinder.
Reducing stigma against depression: Evaluation of a metacognitive intervention targeting processes of stigmatization
Creators: name: Martin, Rachel
Publisher: name: Graduate Studies
Year: 2012
Subjects: subject: Psychology--Clinical
subject: Psychology--Social
subject: stigma
subject: Depression
subject: Metacognition

description: A variety of cognitive mechanisms contribute to public stigmatization of depression, including mood misattribution, classical conditioning, illusory correlation, expectancy bias, just world beliefs, and social identity. Although these processes are fundamental to stigmatization, they are not directly addressed by existing anti-stigma approaches. It is posited that these cognitive mechanisms could be targeted for change using an approach of metacognition or “thinking about one’s thinking”. From this theoretical background emerged a novel anti-stigma strategy, which uses metacognition to enhance awareness and control of the cognitive mechanisms involved in stigmatization of depression. Over a series of two studies, the viability of this innovative metacognitive intervention was explored in student and community populations and evaluated against the leading anti-stigma strategies of factual education about depression and personal contact with a formerly depressed person. A variety of outcome measures were utilized, including attributional measures, an attitudinal scale, a measure of cognitive processes, and a behavioural measure. Study 1 provided initial support for the metacognitive intervention in a university student population, in comparison to education and an intervention that combined education and metacognition. Study 2 further established the utility of the metacognitive intervention in a community population, in comparison to education and contact. Across the two studies, results support the viability of the metacognitive intervention as an effective stand-alone anti-stigma strategy. Furthermore, the impact of the metacognitive intervention was found to be comparable to that of the education and contact approaches. Concordant with the theoretical literature, results of the present studies suggest that social identity, just world beliefs, expectancy bias, and mood misattribution are primary mechanisms of stigmatization. Further investigation into mechanisms of change is recommended. The utility of the metacognitive intervention in a variety of populations and in regard to a variety of stigmatized conditions offers a significant area for future development. A metacognitive intervention potentially has broad applicability because it addresses mechanisms that are common to all stigmatized conditions. With initial support for the viability of a metacognitive anti-stigma intervention established, further research related to this novel approach is warranted.
Clinical Applications and Challenges of Digital Health During COVID-19
Creators: name: Xuan, KUAN Pei
name: Boon, LAW Kian
name: Dass, PATHMANATHAN Mohan
name: Ci, WONG Xin
name: Aizuddin, ABD RAHMAN Mohd
name: Kalaiarasu, PEARIASAMY
Publisher: name: Zenodo
Year: 2021
Subjects: Digital health
COVID-19
systematic review

description: Introduction:
 The coronavirus disease 2019 (COVID-19) has disrupted most of the standard face-to-face consultations and has indirectly necessitated adoption of digitalisation into the healthcare services. We aim to assess the clinical applications and challenges of digital health during the pandemic. Methodology:
 We conducted a systematic search by using three databases including Pubmed, Cochrane and Scopus from December 2019 to May 2021. Included studies examined any elements of digital health in all aspects of healthcare during COVID-19 pandemic, published in English language and available in full-text articles. Independent reviewers assessed the search results, extracted data and quality of the included studies. Results:
 A total of 47 studies out of initial 282 search results met the inclusion criteria and were extracted for information on types of digital health, clinical applications and challenges. Digital health were used for paediatric populations (n=3), single gender populations only (n=4) whilst the remaining for mixed gender adult populations (n=40). The common clinical applications of digital were for orthopaedics and cardiovascular medicine fields. Majority of the studies showed effective application of telemedicine during COVID-19 for consultations between remote client and healthcare provider, remote monitoring of client health or diagnostic data by provider and also transmission of medical data to healthcare provider. However, challenges to digital health identified included patient factors, staffing factors, digital barriers and economic barriers. Discussion / Conclusion:
 Digital health is an effective solution for managing healthcare services. However, the challenges need to be addressed appropriately to promote more utilisation of digital health during this challenging time. Disclaimer: Abstract text might vary slightly from what is displayed in the e-poster.
description: This poster was submitted to the 14th National Conference for Clinical Research (NCCR) in August 18-20, 2021. https://nccrconference.com.my/
Computing local intersection multiplicity of plane curves via blowup
Creators: name: Chalmovianská, Jana
name: Chalmovianský, Pavel
Publisher: name: arXiv
Year: 2019
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: We prove that intersection multiplicity of two plane curves defined by Fulton's axioms is equivalent to the multiplicity computed using blowup. The algorithm based on the latter is presented and its complexity is estimated. We compute for polynomials over $\Q$ and its algebraic extensions.
description: 13 pages