This paper presents some selected results of the project SKY MULE which is conducted in the Institute of Aviation (IoA) in Warsaw. The aim of this research is to design and construct an automatic trajectory controller for an unmanned parafoil and payload system to make it usefull for precise aerial delivery tasks. SKY MULE’s payload is composed of two connected but separable modules: the contro...

The mushroom Inonotus obliquus has been widely used as a folk medicine in Russia, Poland and most of the Baltic countries. In this study, water-soluble and alkali-soluble crude polysaccharides (IOW and IOA) were isolated from I. obliquus, and the carbohydrate-rich fractions IOW-1 and IOA-1 were obtained respectively after deproteination and depigmentation. Their contents, such as neutral carboh...

OBJECTIVES To evaluate the interobserver agreement (IOA) between the initial radiology resident and the final staff radiologist reports of combined computed tomographic pulmonary angiograms (CTPA) and computed tomographic venograms (CTV) performed during on-call hours. MATERIALS AND METHODS Approval by the institutional review board was obtained. Six-hundred and ninety-six consecutive studies...

Early Cambrian volcanic rocks of the Posht-e Badam tectonic block in Central Iran which is hydrothermally altered to green color rocks, hosts the Kiruna-type Iron Oxide-Apatite (IOA) mineralization in Anomaly 10 of Sechahun deposit. Geochemically, these volcanic rocks are classified as high-potassium calc-alkaline and mainly consist of rhyolite and trachyandesite. These rocks are important for ...

OBJECTIVE To determine the interobserver agreement (IOA) of neonatal seizure detection using the gold standard of conventional, multichannel EEG. METHODS A cohort of full-term neonates at risk of acute encephalopathy was included in this prospective study. The EEG recordings of these neonates were independently reviewed for seizures by three international experts. The IOA was estimated using ...

This thesis presents a tool for validating descriptions of distributed algorithms in the IOA language using an interactive theorem prover. The tool translates IOA programs into Larch Shared Language specifications in a style which is suitable for formal reasoning. The framework supports two common strategies for establishing the correctness of distributed algorithms: Invariants and simulation r...

The Kiruna mining district, Sweden, known for the type locality of Kiruna-type iron oxide–apatite (IOA) deposits, also hosts several Cu-mineralized deposits including oxide–copper–gold (IOCG), exhalative stratiform Cu-(Fe-Zn), and structurally controlled to stratabound Cu ± Au. However relationship between IOA Cu-systems has not been contextualized within regional tectonic evolution. A broader ...

institute on aging IOA Affiliate Marsha Mailick Seltzer (Vaughan Bascom Professor & Director of the UW-Madison Waisman Center), in close association with Jan S. Greenberg (IOA Affiliate, Professor & Director of the School of Social Work, UW-Madison), studies the challenges of parenting a child with developmental disabilities or mental health problems. These parents face multiple, ongoing stress...

This paper presents a new language for distributed programming, the IOA language, together with a design for a suite of tools, the IOA toolset, that support the production of high-quality distributed software. The language and tools are based on the I/O automaton model, which has been used extensively to describe and verify distributed algorithms. The toolset supports a development process that...

BACKGROUND AND OBJECTIVES Previous reports assessing the reproducibility of endoscopic ultrasound elastography (EUS-E) in evaluation of solid pancreatic lesions (SPL) involved only experienced endosonographers. We aimed to assess the interobserver agreement (IOA) of EUS-E in the evaluation of SPL by endoscopists with different levels of experience in EUS and EUS-E. MATERIALS AND METHODS A cro...