Treatment considerations in the forensic patient with schizophrenia
DC Stone, DO Niz - Current pharmaceutical design, 2004 - ingentaconnect.com
Research in new treatments for schizophrenia continues. At the same time, increasing numbers
of persons with schizophrenia receive their treatment almost exclusively in correctional …
of persons with schizophrenia receive their treatment almost exclusively in correctional …
Tardive dyskinesia in 2 patients treated with ziprasidone
J Ananth, KS Burgoyne, D Niz, M Smith - Journal of Psychiatry and …, 2004 - jpn.ca
Ziprasidone is an atypical antipsychotic drug that is believed to have a low propensity for
inducing extrapyramidal symptoms, including tardive dyskinesia (TD). Two of our patients …
inducing extrapyramidal symptoms, including tardive dyskinesia (TD). Two of our patients …
The Dark Energy Spectroscopic Instrument: one-dimensional power spectrum from first Ly α forest samples with Fast Fourier Transform
…, L Napolitano, J Nie, G Niz… - Monthly Notices of …, 2023 - academic.oup.com
We present the one-dimensional Ly α forest power spectrum measurement using the first
data provided by the Dark Energy Spectroscopic Instrument (DESI). The data sample …
data provided by the Dark Energy Spectroscopic Instrument (DESI). The data sample …
Primordial non-gaussianity
Our current understanding of the Universe is established through the pristine measurements
of structure in the cosmic microwave background (CMB) and the distribution and shapes of …
of structure in the cosmic microwave background (CMB) and the distribution and shapes of …
[PDF][PDF] Ivan Ruchkin
Role: lead author, contributor. This project investigates supporting heterogeneous modeling
and verification of cyber-physical systems using architectural abstractions. We model …
and verification of cyber-physical systems using architectural abstractions. We model …
[PDF][PDF] Active: A tool for integrating analysis contracts
Abstract Development of modern Cyber-Physical Systems (CPS) relies on a number of
analysis tools to verify critical properties. The Architecture Analysis and Design Language (AADL) …
analysis tools to verify critical properties. The Architecture Analysis and Design Language (AADL) …
Cetacean response to summer maritime traffic in the Western Mediterranean Sea
…, R Crosti, D Angeletti, L Carosso, L David… - Marine Environmental …, 2015 - Elsevier
… the protected area (NIZ and SAV), we recorded medium traffic levels and minor differences
in terms of the abundance of vessels for many species (sperm and fin whales in NIZ, striped …
in terms of the abundance of vessels for many species (sperm and fin whales in NIZ, striped …
[PDF][PDF] A Virtual Upgrade Validation Method for Software-Reliant Systems
The work presented in this report was performed by the Carnegie Mellon® Software
Engineering Institute (SEI) for the Army Strategic Software Improvement Program (ASSIP) and …
Engineering Institute (SEI) for the Army Strategic Software Improvement Program (ASSIP) and …
[PDF][PDF] ENCODING VERIFICATION ARGUMENTS TO ANALYZE HIGH-LEVEL DESIGN CERTIFICATION CLAIMS: EXPERIMENT ZERO (E0)
The ASERT (Assurance Evidence for Continuously-Evolving Real-Time Systems) workgroup
(ASERTW) has been investigating alternative technologies and techniques to automate …
(ASERTW) has been investigating alternative technologies and techniques to automate …
Inflation and Dark Energy from spectroscopy at
The expansion of the Universe is understood to have accelerated during two epochs: in its
very first moments during a period of Inflation and much more recently, at $z < 1$, when Dark …
very first moments during a period of Inflation and much more recently, at $z < 1$, when Dark …