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 …

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 …

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 …

Primordial non-gaussianity

…, F Nati, A Nicolis, MD Niemack, G Niz… - arXiv preprint arXiv …, 2019 - arxiv.org
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 …

[PDF][PDF] Ivan Ruchkin

D Garlan, A Platzer, B Krogh, D de Niz, J Day - cs.cmu.edu
Role: lead author, contributor. This project investigates supporting heterogeneous modeling
and verification of cyber-physical systems using architectural abstractions. We model …

[PDF][PDF] Active: A tool for integrating analysis contracts

I Ruchkin, D De Niz, S Chaki… - 5th Analytic Virtual …, 2014 - acme.able.cs.cmu.edu
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) …

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 …

[PDF][PDF] A Virtual Upgrade Validation Method for Software-Reliant Systems

D de Niz, PH Feiler, D Gluch - 2012 - Citeseer
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 …

[PDF][PDF] ENCODING VERIFICATION ARGUMENTS TO ANALYZE HIGH-LEVEL DESIGN CERTIFICATION CLAIMS: EXPERIMENT ZERO (E0)

D de Niz, B Andersson, M Klein, J Lehoczky, H Kim… - 2024 - insights.sei.cmu.edu
The ASERT (Assurance Evidence for Continuously-Evolving Real-Time Systems) workgroup
(ASERTW) has been investigating alternative technologies and techniques to automate …

Inflation and Dark Energy from spectroscopy at

…, L Newburgh, JA Newman, G Niz… - arXiv preprint arXiv …, 2019 - arxiv.org
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 …