Search
Results: 1906
Certified Quantum Computation in Isabelle/HOL
Abstract: In this article we present an ongoing effort to formalise quantum algorithms and results in quantum information theory using the proof assistant Isabelle/HOL. Formal methods being critical for the safety and security...
From LCF to Isabelle/HOL
Interactive theorem provers have developed dramatically over the past four
decades, from primitive beginnings to today's powerful systems. Here, we focus
on Isabelle/HOL and its distinctive strengths. They include automatic...
A randomized double-blind phase II study evaluating the role of maintenance therapy with cabozantinib in high-grade uterine sarcoma after stabilization or response to doxorubicin ± ifosfamide following surgery or in metastatic first line treatment (EORTC62113).
Isabelle Ray-Coquard, Helen Hatcher, Emmanuelle Bompas, Antonio Casado, Annekke Westermann, Nicolas Isambert, Paolo Giovanni Casali, Sarah Pratap, Daniel Stark, Claudia Valverde, Anjana Anand, Manon Huizing, Anne Floquet, Lars Lindner, Barbara Hermes, Beatrice Seddon, Corneel Coens, Robin Jones, Nick Reed
Jun 17, 2020
An Isabelle/HOL formalisation of Green’s theorem
We formalise a statement of Green’s theorem in Isabelle/ HOL, which is its first formalisation to our knowledge. The theorem statement that we formalise is enough for most applications, especially in physics and engineering. An...
Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started
Abstract This is an account of a mathematician’s first experiences with the proof assistant (interactive theorem prover) Isabelle/HOL, including a discussion on the rationale behind formalising...
A Koutsoukou-Argyraki
Oct 06, 2021
Small-Cell Carcinoma of the Ovary, Hypercalcemic Type-Genetics, New Treatment Targets, and Current Management Guidelines.
Marc Tischkowitz, Sidong Huang, Susana Banerjee, Jennifer Hague, William PD Hendricks, David G Huntsman, Jessica D Lang, Krystal A Orlando, Amit M Oza, Patricia Pautier, Isabelle Ray-Coquard, Jeffrey M Trent, Michael Witcher, Leora Witkowski, W Glenn McCluggage, Douglas A Levine, William D Foulkes, Bernard E Weissman
Feb 18, 2020
Antineoplastic Combined Chemotherapy Protocols Carcinoma Small Cell Chemotherapy Adjuvant Chromatin Assembly and Disassembly DNA Helicases Female gynecology Humans hypercalcemia Medical Oncology Mutation Nuclear Proteins Ovarian Neoplasms Ovariectomy Ovary Practice Guidelines as Topic Radiotherapy Adjuvant Stem Cell Transplantation Survival Rate Transcription Factors Treatment Outcome
Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started
Angeliki Koutsoukou-Argyraki
Jan 21, 2021
Abstract: This is an account of a mathematician’s first experiences with the proof assistant (interactive theorem prover) Isabelle/HOL, including a discussion on the rationale behind formalising mathematics and the choice of...
Formalising Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions in Isabelle/HOL
Abstract We have formalised Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions, two major results in extremal graph theory and additive combinatorics, using the proof...
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL.
In complex analysis, the winding number measures the number of times a path (counter-clockwise) winds around a point, while the Cauchy index can approximate how the path winds. We formalise this approximation in the Isabelle...
Computer Algebra Winding Number Interactive theorem proving Root Counting Cauchy Index The Routh–hurwitz Stability Criterion
Published by: Journal of automated reasoning
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL
Abstract: In complex analysis, the winding number measures the number of times a path (counter-clockwise) winds around a point, while the Cauchy index can approximate how the path winds. We formalise this approximation in the...
Printable Perovskite Diodes for Broad-Spectrum Multienergy X-Ray Detection.
Babar Shabbir, Jae Choul Yu, Tharindu Warnakula, RAW Ayyubi, James A Pollock, M Mosarof Hossain, Jueng-Eun Kim, Nasiruddin Macadam, Leonard WT Ng, Tawfique Hasan, Doojin Vak, Marcus J Kitchen, Jacek J Jasieniak
Mar 30, 2023
Multienergy X-ray detection is critical to effectively differentiate materials in a variety of diagnostic radiology and nondestructive testing applications. Silicon and selenium X-ray detectors are the most common for...
Cosmological distances with general-relativistic ray tracing
Abstract
In this work we present the first results from a new ray-tracing tool to calculate
cosmological distances in the context of fully nonlinear general relativity. We use...
Hayley J Macpherson
Mar 07, 2023
Searching for axion-like particles with X-ray polarimeters
X-ray telescopes are an exceptional tool for searching for new fundamental physics. In particular, X-ray observations have already placed world-leading bounds on the interaction between photons and axion-like particles (ALPs)....
Dynamic structure elucidation of chemical reactivity by laser pulses and X-ray probes
Visualising chemical reactions by X-ray methods is a tantalising prospect. New light sources provide the prospect for studying atomic, electronic and energy transfers accompanying chemical change by X-ray spectroscopy and...
A long-lived neutron star merger remnant in GW170817
L. Piro, Bing Zhang, Eleanora Troja, Geoffrey Ryan, Hendrik Van Eerten, R Ricci, M. H. Wieringa, A. Tiengo, N Butler, S. B. Cenko, O. D. Fox, H. G. Khandrika, G. Novara, T. Sakamoto
Feb 01, 2019
Multimessenger observations of GW170817 have not conclusively established whether the merger remnant is a black hole (BH) or a neutron star (NS). We show that a long-lived magnetized NS with a poloidal field B ≈ 1012 G is fully...
The First High-contrast Images of X-Ray Binaries
Abstract
X-ray binaries provide exceptional laboratories for understanding the physics of matter under the most extreme conditions. Until recently, there were few, if any...
M Prasow-Émond, J Hlavacek-Larrondo, K Fogarty, J Rameau, L-S Guité, D Mawet, P Gandhi, A Rao, JF Steiner, É Artigau, D Lafrenière, AC Fabian, DJ Walton, LM Weiss, R Doyon, BB Ren 任彬, CL Rhea, T Bégin, B Vigneron, M-E Naud
Jun 13, 2022
A long-lived neutron star merger remnant in GW170817
L. Piro, Bing Zhang, Eleanora Troja, Geoffrey Ryan, Hendrik Van Eerten, R Ricci, M. H. Wieringa, A. Tiengo, N Butler, S. B. Cenko, O. D. Fox, H. G. Khandrika, G. Novara, T. Sakamoto
Feb 01, 2019
Multimessenger observations of GW170817 have not conclusively established whether the merger remnant is a black hole (BH) or a neutron star (NS). We show that a long-lived magnetized NS with a poloidal field B ≈ 1012 G is fully...
Relativistic X-Ray Reverberation from Super-Eddington Accretion Flow
X-ray reverberation is a powerful technique which maps out the structure of
the inner regions of accretion disks around black holes using the echoes of the
coronal emission reflected by the disk. While the theory of X-ray...
The hyperluminous X‐ray source population
We have recently published a catalog of 1843 candidate ultraluminous X‐ray sources (ULXs). This is the largest catalog of ULXs to date and was built by cross‐correlating recent serendipitous source catalogs from the XMM‐Newton...
Super-Eddington accretion on to the neutron star NGC7793 P13
DJ Walton, F Furst, FA Harrison, D Stern, M Bachetti, D Barret, M Brightman, AC Fabian, MJ Middleton, A Ptak, L Tao
Jun 13, 2018
We present a detailed, broad-band X-ray spectral analysis of the ultraluminous X-ray source (ULX) pulsar NGC 7793 P13, a known super-Eddington source, utilizing data from the XMM–Newton, NuSTAR and Chandra observatories. The...
Radio flares from gamma-ray bursts
D. Kopac, C. G. Mundell, S. Kobayashi, F. J. Virgili, Roger Harrison, J. Japelj, C. Guidorzi, A. Melandri, A. Gomboc
Jun 20, 2015
We present predictions of centimeter and millimeter radio emission from reverse shocks in the early afterglows of gamma-ray bursts with the goal of determining their detectability with current and future radio facilities. Using...
Ab initio nonrigid X-ray nanotomography
Michal Odstrcil, Mirko Holler, Jörg Raabe, Alessandro Sepe, Xiaoyuan Sheng, Silvia Vignolini, Christian G. Schroer, Manuel Guizar-Sicairos
Jun 12, 2020
Abstract: Reaching the full potential of X-ray nanotomography, in particular for biological samples, is limited by many factors, of which one of the most serious is radiation damage. Although sample deformation caused by...
Dynamic structure elucidation of chemical reactivity by laser pulses and X-ray probes
Visualising chemical reactions by X-ray methods is a tantalising prospect. New light sources provide the prospect for studying atomic, electronic and energy transfers accompanying chemical change by X-ray spectroscopy and...
Ab initio nonrigid X-ray nanotomography.
Michal Odstrcil, Mirko Holler, Jörg Raabe, Alessandro Sepe, Xiaoyuan Sheng, Silvia Vignolini, Christian G Schroer, Manuel Guizar-Sicairos
Aug 21, 2019
Reaching the full potential of X-ray nanotomography, in particular for biological samples, is limited by many factors, of which one of the most serious is radiation damage. Although sample deformation caused by radiation damage...
The Grizzly, February 22, 1980
Brian Barlow, Laura Bossone, Thomas A. Reilly, Stephanie Kane, Diana Dakay, Rick Morris, Laurence Backalian, Jennifer Bassett, Jay Repko, Ann Edris, David Garner, Jeffrey Plunkett, Michael Chiarappa, Jean Morrison, Ray Templin
Jan 01, 0001
Freshmen Survey Results Explored Songfest Boycott Considered Career Planning Close-up Eilts Selected As Graduation Speaker USGA Notes Baltz Returns to Union Coffeehouse 1979 Music Awards "Captain Ray of Light's"...
Ursinus College Collegeville Pennsylvania newspaper Songfest first year students Placement Office Hermann F. Eilts student government Ron Baltz Pi Nu Epsilon fraternities Alpha Phi Epsilon Alpha Phi Omega Beta Sigma Lambda Delta Pi Sigma Pi Omega Delta Sigma Rho Lambda pledging Gregory Stapp Basketball chess Larry Christiansen Swimming wrestling gymnastics Intramural Sports cultural history Higher Education Liberal Studies Social History United States History
Published by: Ursinus College
|
|< |
< |
1 |