cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Model checking security protocols : a multiagent system approach
Creators: name: Boureanu, Ioana Cristina
Publisher: name: Imperial College London
Year: 2011

description: Security protocols specify the communication required to achieve security objectives, e.g., data-privacy. Such protocols are used in electronic media: e-commerce, e-banking, e-voting, etc. Formal verification is used to discover protocol-design flaws. In this thesis, we use a multiagent systems approach built on temporal-epistemic logic to model and analyse a bounded number of concurrent sessions of authentication and key-establishment protocols executing in a Dolev-Yao environment. We increase the expressiveness of classical, trace-based frameworks by mapping each protocol requirement into a hierarchy of temporal-epistemic formulae. To automate our methodology, we design and implement a tool called PD2IS. From a high-level protocol description, PD2IS produces our protocol model and the temporal-epistemic specifications of the protocol’s goals. This output is verified with the model checker MCMAS. We benchmark our methodology on various protocols drawn from standard repositories. We extend our approach to formalise protocols described by equations of cryptographic primitives. The core of this extension is an indistinguishability relation to accommodate the underlying protocol equations. Based on this relation, we introduce a knowledge modality and an algorithm to model check multiagent systems against it. These techniques are applied to verify e-voting protocols. Furthermore, we develop our methodology towards intrusion-detection techniques. We introduce the concept of detectability, i.e., the ability of protocol participants to detect jointly that the protocol is being attacked. We extend our formalisms and PD2IS to support detectability analysis. We model check several attack-prone protocols against their detectability specifications.
Overcoming the numerical sign problem in the Wigner dynamics via adaptive particle annihilation
Creators: name: Xiong, Yunfeng
name: Shao, Sihong
Publisher: name: arXiv
Year: 2020
Subjects: subject: Computational Physics (physics.comp-ph)
subject: Probability (math.PR)
subject: FOS: Physical sciences
subject: FOS: Mathematics
subject: 81S30, 60J85, 65C05, 62G09, 35Q40

description: The infamous numerical sign problem poses a fundamental obstacle to particle-based stochastic Wigner simulations in high dimensional phase space. Although the existing particle annihilation via uniform mesh significantly alleviates the sign problem when dimensionality D $\le$ 4, the mesh size grows dramatically when D $\ge$ 6 due to the curse of dimensionality and consequently makes the annihilation very inefficient. In this paper, we propose an adaptive particle annihilation algorithm, termed Sequential-clustering Particle Annihilation via Discrepancy Estimation (SPADE), to overcome the sign problem. SPADE follows a divide-and-conquer strategy: Adaptive clustering of particles via controlling their number-theoretic discrepancies and independent random matching in each group, and it may learn the minimal amount of particles that can accurately capture the non-classicality of the Wigner function. Combining SPADE with the variance reduction technique based on the stationary phase approximation, we attempt to simulate the proton-electron couplings in 6-D and 12-D phase space. A thorough performance benchmark of SPADE is provided with the reference solutions in 6-D phase space produced by a characteristic-spectral-mixed scheme under a $73^3 \times 80^3$ uniform grid, which fully explores the limit of grid-based deterministic Wigner solvers.
description: 71 pages
W 50 and SS 433
Creators: name: Bowler, Michael
name: Keppens, Rony
Publisher: name: arXiv
Year: 2018
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: A solution to the problems of collimation and latency in relating the morphology of W 50 to SS 433
description: 7 pages, 4 figures. Submitted to A & A
Additional file 1: of Prophylactic management of postpartum haemorrhage in the third stage of labour: an overview of systematic reviews
Creators: name: Masuzawa, Yuko
name: Kataoka, Yaeko
name: Fujii, Kana
name: Inoue, Satomi
Publisher: name: figshare
Year: 2018
Subjects: Medicine
Cell Biology
Developmental Biology
Science Policy
Computational Biology

description: PRISMA 2009 Checklist. (DOC 68 kb)
The Complexity of Approximately Counting Retractions
Creators: name: Focke, Jacob
name: Goldberg, Leslie Ann
name: Zivny, Stanislav
Publisher: name: arXiv
Year: 2018
Subjects: subject: Computational Complexity (cs.CC)
subject: Discrete Mathematics (cs.DM)
subject: FOS: Computer and information sciences
subject: F.2.2; G.2.1

description: Let $G$ be a graph that contains an induced subgraph $H$. A retraction from $G$ to $H$ is a homomorphism from $G$ to $H$ that is the identity function on $H$. Retractions are very well-studied: Given $H$, the complexity of deciding whether there is a retraction from an input graph $G$ to $H$ is completely classified, in the sense that it is known for which $H$ this problem is tractable (assuming $\mathrm{P}\neq \mathrm{NP}$). Similarly, the complexity of (exactly) counting retractions from $G$ to $H$ is classified (assuming $\mathrm{FP}\neq \#\mathrm{P}$). However, almost nothing is known about approximately counting retractions. Our first contribution is to give a complete trichotomy for approximately counting retractions to graphs of girth at least $5$. Our second contribution is to locate the retraction counting problem for each $H$ in the complexity landscape of related approximate counting problems. Interestingly, our results are in contrast to the situation in the exact counting context. We show that the problem of approximately counting retractions is separated both from the problem of approximately counting homomorphisms and from the problem of approximately counting list homomorphisms --- whereas for exact counting all three of these problems are interreducible. We also show that the number of retractions is at least as hard to approximate as both the number of surjective homomorphisms and the number of compactions. In contrast, exactly counting compactions is the hardest of all of these exact counting problems.
Local Perceptions and Practices of News Sharing and Fake News
Creators: name: Lim, Gionnieve
name: Perrault, Simon T.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Human-Computer Interaction (cs.HC)
subject: FOS: Computer and information sciences

description: Fake news is a prevalent problem, particularly in digital media, that undermines trust and cooperation among people. As a variety of global mitigation efforts arise, the understanding of how people consider fake news becomes important, especially in local contexts. To that end, we carried out a survey with 75 participants in Singapore to understand people's perceptions of and practices with news (real and fake). Locally, fake news was found to be more pervasive in instant messaging apps than in social media, with the problem attributed more strongly to sharing than to creation. Good news sharing practices were generally observed. Highest trust was reported in government communication platforms across 11 media items. These results show that Singapore possesses a peculiar sociocultural scene, suggesting that efforts directed towards locally relevant measures may be more effective in addressing fake news in Singapore. We detail the survey results and recommended directions in this paper.
Oral history interview with George McElroy, 1971
Publisher: name: Columbia University
Year: 2019
Subjects: Journalists
African Americans--Civil rights
Newspaper publishing--Economic aspects--United States
Journalism--Political aspects
Journalism--Social aspects
Advertising--Newspapers
African American press
African American journalists

description: At the beginning of this interview, McElroy notes challenges for the black press, such as the small pool of experienced editors and publishers, lack of advertising, and unsatisfactory salaries. Discussing the outsourcing of the assembly of a newspaper, McElroy notes the importance of having a physical place where a paper is published. He discusses: the impact of white ownership of a black newspaper; the past successes of the black press; the social engagement of black papers at the time of the interview; the white readership of black papers; and the importance of the editorial page. The interview concludes with McElroy's thoughts on the political role of the black press and about the difference between black newspapers in the North and South.
MOESM1 of Deletion of STAT5a/b in Vascular Smooth Muscle Abrogates the Male Bias in Hypoxic Pulmonary Hypertension in Mice: Implications in the Human Disease
Creators: name: Yang, Yang-Ming
name: Huijuan Yuan
name: Edwards, John
name: Yester Skayian
name: Ochani, Kanta
name: Miller, Edmund
name: Pravin Sehgal
Publisher: name: figshare
Year: 2014
Subjects: subject: Medicine
subject: Molecular Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Marine Biology
subject: Cancer
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Supplementary material, approximately 4424 KB.
A Class III Cultural Resource Survey of Five Alternative Alignments in the South Mountain Freeway Corridor Study Area, Maricopa County, Arizona
Creators: name: J. Andrew Darling
Publisher: name: Arizona Department of Transportation Federal Highway Administration
Year: 2005
Subjects: Avondale
Tolleson
Elliot Road
Maricopa (County)
Phoenix
Salt River
McDowell Road
Arizona
Gila River Indian Community
South Mountain Freeway
Fowler
Estrella Drive
South Mountains
Lone Butte
Pecos Road
Laveen
Pima Butte
Akimel O'odham
Historic Native American
Pee Posh
Pima
Hohokam
Historic
Euroamerican
AZ T:12:210 (ASM)
AZ T:12:208 (ASM)
AZ T:12:9 (ASM)
AZ T:12:211 (ASM)
AZ T:12:127 (ASM)
Roosevelt Canal
AZ T:12:52 (ASM)
AZ T:11:164 (ASM)
AZ T:12:197 (ASM)
AZ T:12:91 (ASM)
AZ T:12:199 (ASM)
AZ T:12:198 (ASM)
AZ T:12:201 (ASM)
AZ T:12:200 (ASM)
AZ T:12:203 (ASM)
Villa Buena
AZ T:12:202 (ASM)
AZ T:12:205 (ASM)
AZ T:12:204 (ASM)
AZ T:12:207 (ASM)
AZ T:12:206 (ASM)
Funerary and Burial Structures or Features
Cemetery
Burial Pit
Non-Domestic Structures
Ball Court
Domestic Structure or Architectural Complex
Settlements
Hamlet / Village
Domestic Structures
Mound / Earthwork
Pit House / Earth Lodge
Resource Extraction / Production / Transportation Structure or Features
Agricultural or Herding
Agricultural Field or Field Feature
Canal or Canal Feature
Archaeological Feature
Corral
Artifact Scatter
Cairn
Terrace
Isolated Artifact
Midden
Trash Midden
Pit
Roasting Pit / Oven / Horno
Road, Trail, and Related Structures or Features
Rock Alignment
Rock Art
Road
Petroglyph
Trail
Shell
Ceramic
Chipped Stone
Glass
Ground Stone
Human Remains
Metal
Archaeological Overview
Methodology, Theory, or Synthesis
Reconnaissance / Survey

description: The Arizona Department of Transportation (ADOT) initiated preparation of a new Environmental Impact Statement and Location/Design Concept Report in 2001 to consider alternatives to the findings of the 1988 South Mountain Freeway concept (SMCT 2001). In the summer of 2001, HDR Engineering, Inc. was contracted to provide services in connection with this project. The GRIC-CRMP was subcontracted to provide a Class I cultural resource overview of the study area (Burden 2002) and subsequently to perform a Class III cultural resource survey of any properties requiring archaeological coverage. As an integral part of this effort, the Class III survey was undertaken by the GRIC-CRMP to document cultural resources in the field that might be impacted by future highway construction in the alternative alignments (corridors) and to make management recommendations based on site eligibility.
Long-range interactions of metastable helium atoms
Creators: name: Yan, Zong-Chao
name: Babb, J. F.
Publisher: name: arXiv
Year: 1998
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: Polarizabilities, dispersion coefficients, and long-range atom-surface interaction potentials are calculated for the n=2 triplet and singlet states of helium using highly accurate, variationally determined, wave functions.
description: RevTeX, epsf, 4 figs
Precise Determination of the Energy Levels of the Anharmonic Oscillator from the Quantization of the Angle Variable
Creators: name: Bacus, B.
name: Meurice, Y.
name: Soemadi, A.
Publisher: name: arXiv
Year: 1995
Subjects: subject: Quantum Physics (quant-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Using an ansatz motivated by the classical form of $e^{iϕ}$, where $ϕ$ is the angle variable, we construct operators which satisfy the commutation relations of the creation-annihilation operators for the anharmonic oscillator. The matrix elements of these operators can be expressed in terms of {\it entire} functions in the position complex plane. These functions provide solutions of the Ricatti equation associated with the time-independent Schrödinger equation. We relate the normalizability of the eigenstates to the global properties of the flows of this equation. These exact results yield approximations which complement the WKB approximation and allow an arbitrarily precise determination of the energy levels. We give numerical results for the first 10 levels with 30 digits. We address the question of the quantum integrability of the system.
description: 7 pages, Latex , uses revtex
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
Creators: name: Huang, Wei
name: Zhou, Yifan
name: Jin, Gaojie
name: Sun, Youcheng
name: Meng, Jie
name: Zhang, Fan
name: Huang, Xiaowei
Publisher: name: arXiv
Year: 2020
Subjects: subject: Robotics (cs.RO)
subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: This paper presents a formal verification guided approach for a principled design and implementation of robust and resilient learning-enabled systems. We focus on learning-enabled state estimation systems (LE-SESs), which have been widely used in robotics applications to determine the current state (e.g., location, speed, direction, etc.) of a complex system. The LE-SESs are networked systems, composed of a set of connected components including: Bayes filters for state estimation, and neural networks for processing sensory input. We study LE-SESs from the perspective of formal verification, which determines the satisfiabilty of a system model against the specified properties. Over LE-SESs, we investigate two key properties -- robustness and resilience -- and provide their formal definitions. To enable formal verification, we reduce the LE-SESs to a novel class of labelled transition systems, named {PO}^2-LTS in the paper, and formally express the properties as constrained optimisation objectives. We prove that the verification problems are NP-complete. Based on {PO}^2-LTS and the optimisation objectives, practical verification algorithms are developed to check the satisfiability of the properties on the LE-SESs. As a major case study, we interrogate a real-world dynamic tracking system which uses a single Kalman Filter (KF) -- a special case of Bayes filter -- to localise and track a ground vehicle. Its perception system, based on convolutional neural networks, processes a high-resolution Wide Area Motion Imagery (WAMI) data stream. Experimental results show that our algorithms can not only verify the properties of the WAMI tracking system but also provide representative examples, the latter of which inspired us to take an enhanced LE-SESs design where runtime monitors or joint-KFs are required. Experimental results confirm the improvement in the robustness of the enhanced design.
description: Accepted for publication in Neurocomputing
Losing the IR: a Holographic Framework for Area Theorems
Creators: name: Engelhardt, Netta
name: Fischetti, Sebastian
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Gravitational area laws are expected to arise as a result of ignorance of "UV gravitational data". In AdS/CFT, the UV/IR correspondence suggests that this data is dual to infrared physics in the CFT. Motivated by these heuristic expectations, we define a precise framework for explaining bulk area laws (in any dimension) by discarding IR CFT data. In (1+1) boundary dimensions, our prescribed mechanism shows explicitly that the boundary dual to these area laws is strong subadditivity of von Neumann entropy. Moreover, such area laws may be of arbitrary (and mixed) signature; thus our framework gives the first entropic explanation of mixed signature area laws (as well as area laws for certain dynamical causal horizons). In general dimension, the framework is easily modified to include bulk quantum corrections, thus giving rise to an infinite family of bulk generalized second laws.
description: 36+1 pages, 16 figures. v2: references added; small modifications to figures
The Coronado Project Archaeological Investigations, The Coronado Generating Station Plant Site and Access Road
Creators: name: Bradford, James E.
Publisher: name: Museum of Northern Arizona Press
Year: 1980
Subjects: St. Johns, AZ
Arizona (State / Territory)
Late Archaic
Historic
Early Pueblo I
Prehistoric
Basketmaker II
Anasazi
Cibola Anasazi
NA13,063
NA13,139
NA12,730
NA12,732
NA12,735
NA12,733
NA12,736
NA12,738
NA12,739
NA12,731
NA13,271
NA13,142
NA13,487
NA13,062
NA13,140
NA12.734
NA13,270
Domestic Structures
Archaeological Feature
Pit
Artifact Scatter
Fire Pit
Roasting Pit / Oven / Horno
Pit House / Earth Lodge
Hearth
Post Hole / Post Mold
Shade Structure / Ramada
Domestic Structure or Architectural Complex
Shell
Ceramic
Chipped Stone
Fauna
Ground Stone
Mineral
Coronado Generating Station Project
Salt River Project
SRP
Data Recovery / Excavation
Site Evaluation / Testing

description: The Museum of Northern Arizona conducted archaeological investigations for the Salt River Project near St. Johns, Arizona. The excavation of 18 sites yielded architectural, ceramic, and lithic evidence in support of a general Anasazi cultural pattern. Nine sites showed definite ceramic affiliation with the Cibola Anasazi. The entire data base provides much additional information about the prehistory of east-central Arizona, specifically the Upper Little Colorado River Valley.
Adaptive Resolution Molecular Dynamics Technique: Down to the Essential
Creators: name: Krekeler, Christian
name: Agarwal, Animesh
name: Junghans, Christoph
name: Praprotnik, Matej
name: Site, Luigi Delle
Publisher: name: arXiv
Year: 2018
Subjects: subject: Computational Physics (physics.comp-ph)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Soft Condensed Matter (cond-mat.soft)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: We investigate the role of the thermodynamic (TD) force, as an essential and sufficient technical ingredient for an efficient and accurate adaptive resolution algorithm. Such a force applied in the coupling region of an adaptive resolution Molecular Dynamics (MD) set-up, assures thermodynamic equilibrium between atomistically resolved and coarse-grained regions, allowing the proper exchange of molecules. We numerically prove that indeed for systems as relevant as liquid water and 1,3-dimethylimidazolium chloride ionic liquid, the combined action of the TD force and thermostat allows for computationally efficient and numerically accurate simulations, beyond the current capabilities of adaptive resolution set-ups, which employ switching functions in the coupling region.
description: Accepted in Journal of Chemical Physics
The Holographic Principle
Creators: name: Hooft, Gerard 't
Publisher: name: arXiv
Year: 2000
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: After a pedagogical overview of the present status of High-Energy Physics, some problems concerning physics at the Planck scale are formulated, and an introduction is given to a notion that became known as ``the holographic principle" in Planck scale physics, which is arrived at by studying quantum mechanical features of black holes.
description: 15 pages TeX, 1 figure PostScript. Typographical and grammatical errors removed. No changes were made in the physical contents
Crotonia maculata Colloff 2010
Creators: name: LIU, DONG
name: YI, TIAN-CI
name: XU, YUN
name: ZHANG, ZHI-QIANG
Publisher: name: Zenodo
Year: 2013
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Sarcoptiformes
Crotoniidae
Crotonia
Crotonia maculata

description: Crotonia maculata Colloff, 2010: 12
— Holotype female (QM, S26066), sieved litter, rainforest, 5 km east of Benarkin, Blackbutt Range, Queensland, Australia (26°52'S, 152°11'E, 350 m).
description: Published as part of LIU, DONG, YI, TIAN-CI, XU, YUN & ZHANG, ZHI-QIANG, 2013, Hotspots of new species discovery: new mite species described during 2007 to 2012, pp. 1-102 in Zootaxa 3663 (1) on page 72, DOI: 10.11646/zootaxa.3663.1.1, http://zenodo.org/record/5630595
Structure-based Optical Logics Without Using Transistors
Creators: name: Lee, Jonghyeon
name: Kang, Taewon
Publisher: name: arXiv
Year: 2020
Subjects: subject: Emerging Technologies (cs.ET)
subject: FOS: Computer and information sciences

description: The commercialization of transistors capable of both switching and amplification in 1960 resulted in the development of second-generation computers, which resulted in the miniaturization and lightening while accelerating the reduction and development of production costs. However, the self-resistance and the resistance used in conjunction with semiconductors, which are the basic principles of computers, generate a lot of heat, which results in semiconductor obsolescence, and limits the computation speed (clock rate). In implementing logic operation, this paper proposes the concept of Structure-based Computer which can implement NOT gate made of semiconductor transistor only by Structure-based twist of cable without resistance. In Structure-based computer, the theory of 'inverse signal pair' of digital signals was introduced so that it could operate in a different way than semiconductor-based transistors. In this paper, we propose a new hardware called Structure-based computer that can solve various problems in semiconductor computers only with the wiring structure of the conductor itself, not with the silicon-based semiconductor. Furthermore, we propose a deep-priority exploration-based simulation method that can easily implement and test complex Structure-based computer circuits. Furthermore, this paper suggests a mechanism to implement optical computers currently under development and research based on structures rather than devices.
description: Accepted by IEEE/IEIE ICCE-Asia 2020 (The Fifth International Conference On Consumer Electronics (ICCE) Asia). 6 pages, 9 figures, DOI update, extended version of arXiv:2001.11321
A Class III Cultural Resources Survey of Approximately 64 Acres for a Proposed Salt River Project Well and Pipeline, St. Johns, Apache County, Arizona
Creators: name: Mary-Ellen Walsh
Publisher: name: Logan Simpson Design, Inc.
Year: 2010
Subjects: Apache (County)
St.Johns, AZ
Arizona (State / Territory)
Prehistoric
1940-PRESENT
Historic
Euroamerican
AZ Q:7:106 (ASM)
AZ Q:7:105 (ASM)
AZ Q:7:107 (ASM)
Archaeological Feature
Artifact Scatter
Ceramic
Chipped Stone
Glass
Salt River Project
Coronado Generating Station
SRP
Reconnaissance / Survey
Site Evaluation / Testing

description: Salt River Project Agricultural Improvement and Power District (SRP) requested that Logan Simpson Design Inc. (LSD) perform a Class III cultural resources survey related to a proposed well and pipeline construction project associated with the SRP Coronado Generating Station in St. Johns, Apache County, Arizona. The project area is located east of US 191 and southwest of the SRP Coronado Generating Station. Most of the pipeline corridor is on SRP-owned land; however, it also includes a small easement located in Section 2 across Arizona State Trust land administered by the Arizona State Land Department. LSD surveyed nearly 64 acres of SRP-land; the easement across ASLD land in Section 2; it was previously surveyed by LSD (Fahrni 2010). The survey areas consisted of the proposed well site (100 ft by 100 ft), pipeline corridor (4-mile-long by 130-ft-wide), and transmission line corridor (1,500 ft-long by 130-ft-wide corridor). The surveys were requested by SRP to determine whether any significant cultural resources will be disturbed by construction-related activities. The cultural resources surveys and report were completed to Arizona State Museum (ASM) and State Historic Preservation Office standards in the event that the project becomes an undertaking subject review under Section 106 of the National Historic Preservation Act. An evaluation of traditional cultural properties was not conducted.
Nonparametric goodness-of-fit testing for parametric covariate models in pharmacometric analyses
Creators: name: Hartung, Niklas
name: Wahl, Martin
name: Rastogi, Abhishake
name: Huisinga, Wilhelm
Publisher: name: arXiv
Year: 2020
Subjects: subject: Methodology (stat.ME)
subject: Quantitative Methods (q-bio.QM)
subject: Applications (stat.AP)
subject: FOS: Computer and information sciences
subject: FOS: Biological sciences

description: The characterization of covariate effects on model parameters is a crucial step during pharmacokinetic/pharmacodynamic analyses. While covariate selection criteria have been studied extensively, the choice of the functional relationship between covariates and parameters, however, has received much less attention. Often, a simple particular class of covariate-to-parameter relationships (linear, exponential, etc.) is chosen ad hoc or based on domain knowledge, and a statistical evaluation is limited to the comparison of a small number of such classes. Goodness-of-fit testing against a nonparametric alternative provides a more rigorous approach to covariate model evaluation, but no such test has been proposed so far. In this manuscript, we derive and evaluate nonparametric goodness-of-fit tests for parametric covariate models, the null hypothesis, against a kernelized Tikhonov regularized alternative, transferring concepts from statistical learning to the pharmacological setting. The approach is evaluated in a simulation study on the estimation of the age-dependent maturation effect on the clearance of a monoclonal antibody. Scenarios of varying data sparsity and residual error are considered. The goodness-of-fit test correctly identified misspecified parametric models with high power for relevant scenarios. The case study provides proof-of-concept of the feasibility of the proposed approach, which is envisioned to be beneficial for applications that lack well-founded covariate models.
Archaeological Investigations, Salt River Project, Coronado Generating Station Project, Plant Site and Access Road, Private and State Lands, Apache County, Arizona: Final Report for Archaeological Investigations at the Coronado Generating Station Plant Site and Access Road, A-75-63
Creators: name: Bradford, James E.
Publisher: name: Museum of Northern Arizona, Department of Anthropology
Year: 1979
Subjects: Apache (County)
Little Colorado River Valley
East Central Arizona
St. Johns, AZ
Arizona (State / Territory)
Archaic Period
Historic
Basketmaker III Period
Prehistoric
Early Pueblo I Period
Anasazi
NA13,063
NA13,139
NA12,730
NA12,734
NA12,735
NA17,732
NA12,733
NA12,736
NA12,738
NA12,739
NA12,731
NA13,271
NA13,142
NA13,487
NA13,062
NA13,140
NA13,270
Domestic Structures
Archaeological Feature
Pit
Roasting Pit / Oven / Horno
Storage Pit
Pit House / Earth Lodge
Hearth
Domestic Structure or Architectural Complex
Sipapu
Shell
Ceramic
Chipped Stone
Fauna
Fire Cracked Rock
Ground Stone
Macrobotanical
Mineral
Coronado Generating Station Project
Salt River Project
SRP
Data Recovery / Excavation
Reconnaissance / Survey
Site Evaluation / Testing

description: The Museum of Northern Arizona conducted archaeological investigations for the Salt River Project near St. Johns, Arizona. The excavation of 18 sites yielded architectural, ceramic, and lithic evidence in support of a general Anasazi cultural pattern. Nine sites showed definite ceramic affiliation with the Cibola Anasazi. The entire data base provides much additional information about the prehistory of east-central Arizona, specifically the Upper Little Colorado River Valley. This is the first of a series of Museum of Northern Arizona reports describing archaeological investigations associated with the Salt River Project (SRP) Coronado Generating Station near St. Johns, Arizona.
Quantum Fields a la Sylvester and Witt
Creators: name: Saller, H.
name: Breuninger, R.
name: Haft, M.
Publisher: name: arXiv
Year: 1995
Subjects: subject: Quantum Physics (quant-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: A structural explanation of the coupling constants in the standard model, i.e the fine structure constant and the Weinberg angle, and of the gauge fixing contributions is given in terms of symmetries and representation theory. The coupling constants are normalizations of Lorentz invariantly embedded little groups (spin and polarization) arising in a harmonic analysis of quantum vector fields. It is shown that the harmonic analysis of massless fields requires an extension of the familiar Fourier decomposition, containing also indefinite unitary nondecomposable time representations. This is illustrated by the nonprobabilistic contributions in the electromagnetic field.
description: 18 pages LaTeX file (62 kB), all macros are included
A Cultural Resources Survey of the C.C. Cragin (Blue Ridge) Reservoir and Associated Pipeline and Electrical Line, Coconino and Tonto National Forests, Arizona
Creators: name: North, Chris
Publisher: name: SWCA Environmental Consultants
Year: 2006
Subjects: Tonto National Forest
Coconino (County)
Coconino National Forest
Gila (County)
Historic Period
Late 19th Century - 20th Century
Historic
Euroamerican
Crook Trail
AR-03-12-04-1770
AR-03-04-07-1135
AZ O:12:10 (ASM)
AR-03-04-01-240
Domestic Structures
Resource Extraction / Production / Transportation Structure or Features
Stone Cabin
Archaeological Feature
Monument
Road, Trail, and Related Structures or Features
Isolated Artifact
Domestic Structure or Architectural Complex
Road
Trail
Chipped Stone
tobacco can
Pipeline
Electric Line
Salt River Project
SRP
Reservoir
Site Evaluation / Testing
Systematic Survey

description: The Salt River Project (SRP) has acquired the C.C. Cragin (formerly Blue Ridge) project from the Phelps Dodge Corporation, which originally built the project in 1965. The C.C. Cragin project consists of a number of facilities, including a dam and reservoir, diversion tunnel and pump shaft, pumping plant, priming reservoir, pipeline, electrical transmission line, surge tank, and a power plant. SRP requested a Class III cultural resources survey of these facilities in advance of future operation, maintenance, and repair needs for the Cragin facilities. SWCA also surveyed several existing roads near the C.C. Cragin project in case SRP decides to use these in the future as access routes to the project area. This report is a revised draft.
Fluid dynamics of partially radiative blast waves
Creators: name: Cohen, Ehud
name: Piran, Tsvi
name: Sari, Re'em
Publisher: name: arXiv
Year: 1998
Subjects: subject: Astrophysics (astro-ph)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: We derive a self similar solution for the propagation of an extreme relativistic (or Newtonian) radiative spherical blast wave into a surrounding cold medium. The solution is obtained under the assumption that the radiation process is fast, it takes place only in the vicinity of the shock and that it radiates away a fixed fraction of the energy generated by the shock. In the Newtonian regime these solutions generalize the Sedov-Taylor adiabatic solution and the pressure-driven fully radiative solution. In the extreme relativistic case these solutions generalize the Blandford-McKee adiabatic solution. They provide a new fully radiative extreme relativistic solution which is different from the Blandford-McKee fully radiative relativistic solution. This new solution develops a hot interior which causes it to cool faster than previous estimates. We find that the energy of the blast wave behaves as a power law of the location of the shock. The power law index depends on the fraction of the energy emitted by the shock. We obtain an analytic solution for the interior of the blast wave. These new solutions might be applicable to the study of GRB afterglow or SNRs.
description: 30 LaTeX pages including nine postscript figures
Cultural Resource Survey of a Proposed Substation Site, Ocotillo Road, Chandler, Arizona
Creators: name: RECON-Regional Environmental Consultants
Publisher: name: RECON-Regional Environmental Consultants
Year: 1988
Subjects: Chandler, AZ
Ocotillo Road
Cultural Resource Survey
Salt River Project
SRP
Site Evaluation / Testing
Systematic Survey

description: On September 28, 1988, Regional Environmental Consultants (RECON) conducted an archaeological survey of a proposed Salt River Project substation site in Chandler, Arizona. The proposed substation site is located within a parcel of land on the south side of Ocotillo Road, .25 miles east of Arizona Avenue. Prior to the field survey, an archaeological background file search was conducted at the State Historic Preservation Office, Arizona State Parks and Recreation Department, Phoenix, Arizona, and Pueblo Grande Museum. No sites were recorded within the study area.
Additional file 1: of Development of a benchmark tool for cancer centers; results from a pilot exercise
Creators: name: Wind, Anke
name: Dijk, Joris Van
name: Nefkens, Isabelle
name: Wineke Van Lent
name: PĂŠter Nagy
name: Janulionis, Ernestas
name: Helander, Tuula
name: Rocha-Goncalves, Francisco
name: Harten, Wim Van
Publisher: name: figshare
Year: 2018
Subjects: subject: Biochemistry
subject: Molecular Biology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Developmental Biology
subject: Science Policy

description: Appendix 1. Semi-structured interview topic list. This file contains some examples of topics that were discussed during the semi-structured interviews. (PDF 134 kb)
A Cultural Resource Survey of the Salt River Project 47E-1.35S and 45E-1.5S Proposed Substation Sites, Pinal County, Arizona
Creators: name: Griffith, Cameron S.
Publisher: name: Northland Research, Inc.
Year: 1996
Subjects: Siphon Draw
Pinal (County)
Arizona (State / Territory)
Archaeological Feature
Isolated Artifact
Ceramic
Chipped Stone
Ground Stone
Cultural Resource Survey
Salt River Project
Substation
SRP
Records Search / Inventory Checking
Systematic Survey

description: Northland Research, Inc. was contracted by Salt River Project to perform a Class III records search and cultural resources survey for two proposed substation sites. The survey was conducted on two separate parcels (Areas 1 and 2) located south of Siphon Draw, on state trust lands administered by the Arizona State Land Department. In addition to the parcels to be purchased, Northland examined a 50 ft. buffer zone on all four sides of each parcel (Areas 1B and 2B, respectively). Area 1 and 1B (future substation 47E-1.35S) covers an area 3.86 acres. Area 2 and 2B (future substation 45E-1.5S) covers an area of 3.5 acres. The survey was conducted under Arizona Antiquities Act Permit 95-57, on 19 October 1995 and 2 February 1996. The work involved one person day of labor.
Implied volatility asymptotics under affine stochastic volatility models
Creators: name: Jacquier, Antoine
Publisher: name: Imperial College London
Year: 2010

description: This thesis is concerned with the calibration of affine stochastic volatility models with jumps. This class of models encompasses most models used in practice and captures some of the common features of market data such as jumps and heavy tail distributions of returns. Two questions arise when one wants to calibrate such a model: (a) How to check its theoretical consistency with the relevant market characteristics? (b) How to calibrate it rigorously to market data, in particular to the so-called implied volatility, which is a normalised measure of option prices? These two questions form the backbone of this thesis, since they led to the following idea: instead of calibrating a model using a computer-intensive global optimisation algorithm, it should be more efficient to use a less robust—hence faster—algorithm, but with an accurate starting point. Henceforth deriving closed-form approximation formulae for the implied-volatility should provide a way to obtain such accurate initial points, thus ensuring a faster calibration. In this thesis we propose such a calibration approach based on the time-asymptotics of affine stochastic volatility models with jumps. Mathematically since this class of models is defined via its Laplace transform, the tools we naturally use are large deviations theory as well as complex saddle-point methods. Large deviations enable us to obtain the limiting behaviour (in small or large time) of the implied volatility, and saddle-point methods are needed to obtain more accurate results on the speed of convergence. We also provide numerical evidence in order to highlight the accuracy of the closed-form approximations thus obtained, and compare them to standard pricing methods based on real calibrated data.
Using Classical Probability To Guarantee Properties of Infinite Quantum Sequences
Creators: name: Gutmann, Sam
Publisher: name: arXiv
Year: 1995
Subjects: subject: Quantum Physics (quant-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We consider the product of infinitely many copies of a spin-$1\over 2$ system. We construct projection operators on the corresponding nonseparable Hilbert space which measure whether the outcome of an infinite sequence of $σ^x$ measurements has any specified property. In many cases, product states are eigenstates of the projections, and therefore the result of measuring the property is determined. Thus we obtain a nonprobabilistic quantum analogue to the law of large numbers, the randomness property, and all other familiar almost-sure theorems of classical probability.
description: 7 pages in LaTeX
Minimax Adaptive Control for a Finite Set of Linear Systems
Creators: name: Rantzer, Anders
Publisher: name: arXiv
Year: 2020
Subjects: subject: Optimization and Control (math.OC)
subject: FOS: Mathematics

description: An adaptive controller with bounded l2-gain from disturbances to errors is derived for linear time-invariant systems with uncertain parameters restricted to a finite set. The gain bound refers to the closed loop system, including the non-linear learning procedure. As a result, robustness to unmodelled dynamics (possibly nonlinear and infinite-dimensional) follows from the small gain theorem. The approach is based on a new zero-sum dynamic game formulation, which optimizes the trade-off between exploration and exploitation. An explicit upper bound on the optimal value function is stated in terms of semi-definite programming and a corresponding simple formula for an adaptive controller achieving the upper bound is given. Once the uncertain parameters have been sufficiently estimated, the controller behaves like standard H-infinity optimal control.
description: arXiv admin note: text overlap with arXiv:1912.03550
Cultural Resource Survey of the Proposed Sun Lakes Substation Addition, Sun Lakes, Arizona
Creators: name: RECON-Regional Environmental Consultants
Publisher: name: RECON-Regional Environmental Consultants
Year: 1989
Subjects: Sun Lakes, AZ
Cultural Resource Survey
Salt River Project
Substation
SRP
Substation Cultural Resource Survey
Historic Background Research
Records Search / Inventory Checking
Site Evaluation / Testing
Systematic Survey

description: On December 30, 1988, Regional Environmental Consultants (RECON) conducted an archaeological survey on the proposed Sun Lakes Substation in Sun Lakes, Arizona. Prior to the survey, an archaeological background file search was conducted at the State Historic Preservation Office, Arizona State Parks and Recreation Department, Phoenix, Arizona, and Pueblo Grande Museum. No sites were recorded within the study area.
Singularities of plane gravitational waves and their memory effects
Creators: name: Wang, Tongzheng
name: Fier, Jared
name: Li, Bowen
name: Lv, Guoliang
name: Wang, Zhaojun
name: Wu, Yumei
name: Wang, Anzhong
Publisher: name: arXiv
Year: 2018
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Similar to the Schwarzschild coordinates for spherical black holes, the Baldwin, Jeffery and Rosen (BJR) coordinates for plane gravitational waves are often singular, and extensions beyond such singularities are necessary, before studying asymptotic properties of such spacetimes at the null infinity of the plane, on which the gravitational waves propagate. The latter is closely related to the studies of memory effects and soft graviton theorems. In this paper, we point out that in the BJR coordinates all the spacetimes are singular physically at the focused point $u = u_s$, except for the two cases: (1) $α=1/2, \; \forall \; χ_n$; and (2) $α=1, \; χ_i = 0\; (i = 1, 2, 3)$, where $χ_n$ are the coefficients in the expansion $χ\equiv \left[{\mbox{det}}\left(g_{ab}\right) \right]^{1/4} = \left(u - u_s\right)^α\sum_{n = 0}^{\infty}χ_n \left(u - u_s\right)^n$ with $χ_0 \not= 0$, the constant $α\in (0, 1]$ characterizes the strength of the singularities, and $g_{ab}$ denotes the reduced metric on the two-dimensional plane orthogonal to the propagation direction of the wave. Therefore, the hypersurfaces $u= u_s$ already represent the boundaries of such spacetimes, and the null infinity does not belong to them. As a result, they cannot be used to study properties of plane gravitational waves at null infinities, including memory effects and soft graviton theorems.
description: revtex4-1, one figure. Corrected some typos. Gen. Relativ. Grav. 52 (2020) 21
Measurability of the non-minimal coupling
Creators: name: Flachi, A.
name: Toms, D. J.
Publisher: name: arXiv
Year: 2000
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The "measurability" of the non-minimal coupling is discussed in the context of the effective field theory of gravity. Although there is no obvious motive for excluding a non-minimal scalar coupling from the theory, we conclude that for reasonable values of the coupling constant it makes only a very small correction.
description: 8 pages, latex, 2 eps figures, to be published in Phys. Lett. B
Variational Study of the Phase Transition at Finite T in the $λϕ^4 $-Theory
Creators: name: Palma, G.
name: Rojas, J. C.
Publisher: name: arXiv
Year: 1995
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Assuming triviality of the 4-dimensional $λϕ^4$-theory we compute the effective potential by means of a self consistent Feynman-Bogoliubov method. This potential $U_{eff}^{FB}$ depends on a UV-cutoff, which is fixed by a stability condition for the gap-equation for the plasma mass. It shows a second order phase transition at zero temperature, in agreement with a large amount of analytical and RG analysis as well as Monte Carlo numerical evidence. As the cutoff $Λ$ is removed the renormalized self coupling constant $λ_R$ goes to zero consistent with the claim of triviality. At finite temperature the phase transition becomes weakly first order.
description: 8 pages, latex, 4 figures available from author e-mail: gpalma@lauca.usach.cl, submitted to Phys. Lett. B
Additional file 2 of Eribulin activity in soft tissue sarcoma monolayer and three-dimensional cell line models: could the combination with other drugs improve its antitumoral effect?
Creators: name: Escudero, Javier
name: Heredia-Soto, Victoria
name: Wang, Yinyin
name: Ruiz, Patricia
name: Hu, Yingying
name: Gallego, Alejandro
name: Pozo-Kreilinger, Jose Juan
name: Martinez-Marin, Virginia
name: Berjon, Alberto
name: Ortiz-Cruz, Eduardo
name: Bernabeu, Daniel
name: Feliu, Jaime
name: Tang, Jing
name: Redondo, Andres
name: Mendiola, Marta
Publisher: name: figshare
Year: 2021
Subjects: subject: Physiology
subject: FOS: Biological sciences
subject: Biological Sciences not elsewhere classified
subject: Cancer

description: Additional file 2: Figure S1. Eribulin dose response curves for cell lines studied. A representative experiment is shown for A) 2D and B) 3D culture conditions. Red line represents the value for GI50 values. C) GI50 Scatter plots. Cells haves been split in two plots according to their values for a better representation. In 3D experiments, only 4 cell lines are presented since the other 3 are over the tested drug range, and considered as resistant.A representative experiment is shown for A) 2D and B) 3D culture conditions. Red line represents the value for GI50 values. C) GI50 Scatter plots. Cells have been split in two plots according to their values for a better representation. In 3D experiments, only 4 cell lines are presented since the other 3 are over the tested drug range, and considered as resistant.
On local zeta-integrals for GSp(4) and GSp(4) x GL(2)
Creators: name: Loeffler, David
Publisher: name: arXiv
Year: 2020
Subjects: subject: Representation Theory (math.RT)
subject: Number Theory (math.NT)
subject: FOS: Mathematics
subject: 22E50, 11F70

description: We prove that Novodvorsky's definition of local L-factors for generic representations of GSp(4) x GL(2) is compatible with the local Langlands correspondence when the GL(2) representation is non-supercuspidal. We also give an interpretation in terms of Langlands parameters of the "exceptional" poles of the GSp(4) x GL(2) L-factor, and of the "subregular" poles of the GSp(4) L-factor studied in recent work of Roesner and Weissauer.
description: Revised version, to appear in New York J. Math
Deforming vertex algebras by vertex bialgebras
Creators: name: Jing, Naihuan
name: Kong, Fei
name: Li, Haisheng
name: Tan, Shaobin
Publisher: name: arXiv
Year: 2021
Subjects: subject: Quantum Algebra (math.QA)
subject: FOS: Mathematics

description: This is a continuation of a previous study initiated by one of us on nonlocal vertex bialgebras and smash product nonlocal vertex algebras. In this paper, we study a notion of right $H$-comodule nonlocal vertex algebra for a nonlocal vertex bialgebra $H$ and give a construction of deformations of vertex algebras with a right $H$-comodule nonlocal vertex algebra structure and a compatible $H$-module nonlocal vertex algebra structure. We also give a construction of $ϕ$-coordinated quasi modules for smash product nonlocal vertex algebras. As an example, we give a family of quantum vertex algebras by deforming the vertex algebras associated to non-degenerate even lattices.
MOESM1 of Correlation between PDZK1, Cdc37, Akt and Breast Cancer Malignancy: The Role of PDZK1 in Cell Growth through Akt Stabilization by Increasing and Interacting with Cdc37
Creators: name: Hogyoung Kim
name: Elmageed, Zakaria Abd
name: Davis, Christian
name: El-Bahrawy, Ali
name: Naura, Amarjit
name: Ekaidi, Ibrahim
name: Abdel-Mageed, Asim
name: A. Boulares
Publisher: name: figshare
Year: 2014
Subjects: subject: Medicine
subject: Molecular Biology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: Cancer
subject: Hematology
subject: Plant Biology
subject: FOS: Biological sciences

description: Supplementary material, approximately 762 KB.