Audit report of the Honey Creek Resort Operations Account managed by Central Group Management, LLC (Honey Creek Resort) as of and for the year ended June 30, 2014

Audit report of the Honey Creek Resort Operations Account managed by Central Group Management, LLC (Honey Creek Resort) as of and for the year ended June 30, 2014

Audit report on the Honey Creek Resort Operations Account maintained by Central Group Management, LLC for the year ended June 30, 2014

Audit report on the Honey Creek Resort Operations Account maintained by Central Group Management, LLC for the year ended June 30, 2014

Effects of Road Construction Intensity and Operations on Rural Freeway Work Zone Capacity, TPF-5(081), 2014

Capacity is affected by construction type and its intensity on adjacent open traffic lanes. The effect on capacity is a function of vehicles moving in and out of the closed lanes of the work zone, and the presence of heavy construction vehicles. Construction activity and its intensity, however, are not commonly considered in estimating capacity of a highway lane. The main purpose of this project was to attempt to quantify the effects of construction type and intensity (e.g. maintenance, rehabilitation, reconstruction, and milling) on work zone capacity. The objective of this project is to quantify the effects of construction type and its intensity on work zone capacity and to develop guidelines for MoDOT to estimate the specific operation type and intensity that will improve the traffic flow by reducing the traffic flow and queue length commonly associated with work zones. Despite the effort put into field data collection, the data collected did not show a full speed-flow chart therefore extracting a reliable capacity value was difficult. A statistical comparison between the capacity values found in this study using either methodologies indicates that there is an effect of construction activity on the values work zone capacity. It was found that the heavy construction activity reduces the capacity. It is very beneficial to conduct similar studies on the capacity of work zone with different lane closure barriers, which is also directly related to the type of work zone being short-term or long-term work zones. Also, the effect of different geometric and environmental characteristics of the roadway should be considered in future studies.

Effect of Video Camera-Based Remote Roadway Condition Monitoring on Snow Removal-Related Maintenance Operations. 2014

Remote monitoring through the use of cameras is widely utilized for traffic operation, but has not been utilized widely for roadway maintenance operations. The Utah Department of Transportation (UDOT) has implemented a new remote monitoring system, referred to as a Cloud-enabled Remote Video Streaming (CRVS) camera system for snow removal-related maintenance operations in the winter. The purpose of this study was to evaluate the effectiveness of the use of the CRVS camera system in snow removal-related maintenance operations. This study was conducted in two parts: opinion surveys of maintenance station supervisors and an analysis on snow removal-related maintenance costs. The responses to the opinion surveys mostly displayed positive reviews of the use of the CRVS cameras. On a scale of 1 (least effective) to 5 (most effective), the average overall effectiveness given by the station supervisors was 4.3. An expedition trip for this study was defined as a trip that was made to just check the roadways if snow-removal was necessary. The average of the responses received from surveys was calculated to be a 33 percent reduction in expedition trips. For the second part of this study, an analysis was performed on the snow removal-related maintenance cost data provided by UDOT to see if the installation of a CRVS camera had an effect in reducing expedition trips. This expedition cost comparison was performed for 10 sets of maintenance stations within Utah. It was difficult to make any definitive inferences from the comparison of expedition costs over the years for which precipitation and expedition cost data were available; hence a statistical analysis was performed using the Mixed Model ANOVA. This analysis resulted in an average of 14 percent higher ratio of expedition costs at maintenance stations with a CRVS camera before the installation of the camera compared to the ratio of expedition costs after the installation of the camera. This difference was not proven to be statistically significant at the 95 percent confident level, but indicated that the installation of CRVS cameras was on the average helpful in reducing expedition costs and may be considered practically significant. It is recommended that more detailed and consistent maintenance cost records be prepared for accurate analysis of cost records for this type of study in the future.

SAT Modulo Linear Arithmetic for Solving Polynomial

Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g., termination proving, program invariant generation and hybrid system verification, to name a few. In this paper we propose a new method for solving non-linear constraints based on encoding the problem into an SMT problem considering only linear arithmetic. Unlike other existing methods, our method focuses on proving satisfiability of the constraints rather than on proving unsatisfiability, which is more relevant in several applications as we illustrate with several examples. Nevertheless, we also present new techniques based on the analysis of unsatisfiable cores that allow one to efficiently prove unsatisfiability too for a broad class of problems. The power of our approach is demonstrated by means of extensive experiments comparing our prototype with state-of-the-art tools on benchmarks taken both from the academic and the industrial world.

Optimum Enforcement Level for Traffic Weight Operations, HR-138, Appendices, 1968

Appendices for HR-138.

Stereoselective block of hERG channel by (S)-methadone and QT interval prolongation in CYP2B6 slow metabolizers.

Methadone inhibits the cardiac potassium channel hERG and can cause a prolonged QT interval. Methadone is chiral but its therapeutic activity is mainly due to (R)-methadone. Whole-cell patch-clamp experiments using cells expressing hERG showed that (S)-methadone blocked the hERG current 3.5-fold more potently than (R)-methadone (IC50s (half-maximal inhibitory concentrations) at 37 degrees C: 2 and 7 microM). As CYP2B6 slow metabolizer (SM) status results in a reduced ability to metabolize (S)-methadone, electrocardiograms, CYP2B6 genotypes, and (R)- and (S)-methadone plasma concentrations were obtained for 179 patients receiving (R,S)-methadone. The mean heart-rate-corrected QT (QTc) was higher in CYP2B6 SMs (*6/*6 genotype; 439+/-25 ms; n=11) than in extensive metabolizers (non *6/*6; 421+/-25 ms; n=168; P=0.017). CYP2B6 SM status was associated with an increased risk of prolonged QTc (odds ratio=4.5, 95% confidence interval=1.2-17.7; P=0.03). This study reports the first genetic factor implicated in methadone metabolism that may increase the risk of cardiac arrhythmias and sudden death. This risk could be reduced by the administration of (R)-methadone.

Soil compaction due to forest harvest operations

The objective of this work was to determine, through the use of the bearing capacity model, the traffic effects of the forest harvest operations on the preconsolidation pressure (sigmap), during one cycle of the eucalyptus plantation. The work was conducted using undisturbed soil samples, collected at the surface of the A horizon and in the top of the B horizon of an Udult (PA), Aquox (FX) and Udox (LA) soils. The undisturbed soil samples were used in the uniaxial compression tests. The soil sampling was done before and after the harvest operations. The operations performed with the Forwarder caused greater soil compaction than the ones done with the Feller Büncher and Harvester. The percentage of soil samples, in the region with additional soil compaction, indicated that the Udult was the soil class more susceptible to soil compaction, followed by the Aquox and Udox. Despite Udult is the more susceptible to soil compaction, the regeneration of the soil structure in this soil class was more efficient than in Aquox. The percentage of soil samples with sigmap values in the region with additional soil compaction in 1996, 1998 and 2004, after harvest operations, indicated a sustainable forest exploration in this period.

Simulation and Analysis of Arterial Traffic Operations Along the U.S. 61 Corridor in Burlington, Iowa, 1998

The Center for Transportation Research and Education (CTRE) used the traffic simulation model CORSIM to access proposed capacity and safety improvement strategies for the U.S. 61 corridor through Burlington, Iowa. The comparison between the base and alternative models allow for evaluation of the traffic flow performance under the existing conditions as well as other design scenarios. The models also provide visualization of performance for interpretation by technical staff, public policy makers, and the public. The objectives of this project are to evaluate the use of traffic simulation models for future use by the Iowa Department of Transportation (DOT) and to develop procedures for employing simulation modeling to conduct the analysis of alternative designs. This report presents both the findings of the U.S. 61 evaluation and an overview of model development procedures. The first part of the report includes the simulation modeling development procedures. The simulation analysis is illustrated through the Burlington U.S. 61 corridor case study application. Part I is not intended to be a user manual but simply introductory guidelines for traffic simulation modeling. Part II of the report evaluates the proposed improvement concepts in a side by side comparison of the base and alternative models.

Performance Measurement for Highway Winter Maintenance Operations, TR-491, 2009

The goal of this research project was to develop a method to measure the performance of a winter maintenance program with respect to the task of providing safety and mobility to the travelling public. Developing these measures required a number of steps, each of which was accomplished. First, the impact of winter weather on safety (crash rates) and mobility (average vehicle speeds were measured by a combination of literature reviews and analysis of Iowa Department of Transportation traffic and Road Weather Information System data. Second, because not all winter storms are the same in their effects on safety and mobility, a method had to be developed to determine how much the various factors that describe a winter storm actually change safety and mobility. As part of this effort a storm severity index was developed, which ranks each winter storm on a scale between 0 (a very benign storm) and 1 (the worst imaginable storm). Additionally a number of methods of modeling the relationships between weather, winter maintenance actions and road surface conditions were developed and tested. The end result of this study was a performance measure based on average vehicle speed. For a given class of road, a maximum expected average speed reduction has been identified. For a given storm, this maximum expected average speed reduction is modified by the storm severity index to give a target average speed reduction. Thus, if for a given road the maximum expected average speed reduction is 20 mph, and the storm severity for a particular storm is 0.6, then the target average speed reduction for that road in that storm is 0.6 x 20 mph or 12 mph. If the average speed on that road during and after the storm is only 12 mph or less than the average speed on that road in good weather conditions, then the winter maintenance performance goal has been met.

Comparing interval breast cancer rates in Norway and North Carolina: results and challenges.

OBJECTIVE: To compare interval breast cancer rates (ICR) between a biennial organized screening programme in Norway and annual opportunistic screening in North Carolina (NC) for different conceptualizations of interval cancer. SETTING: Two regions with different screening practices and performance. METHODS: 620,145 subsequent screens (1996-2002) performed in women aged 50-69 and 1280 interval cancers were analysed. Various definitions and quantification methods for interval cancers were compared. RESULTS: ICR for one year follow-up were lower in Norway compared with NC both when the rate was based on all screens (0.54 versus 1.29 per 1000 screens), negative final assessments (0.54 versus 1.29 per 1000 screens), and negative screening assessments (0.53 versus 1.28 per 1000 screens). The rate of ductal carcinoma in situ was significantly lower in Norway than in NC for cases diagnosed in both the first and second year after screening. The distributions of histopathological tumour size and lymph node involvement in invasive cases did not differ between the two regions for interval cancers diagnosed during the first year after screening. In contrast, in the second year after screening, tumour characteristics remained stable in Norway but became prognostically more favorable in NC. CONCLUSION: Even when applying a common set of definitions of interval cancer, the ICR was lower in Norway than in NC. Different definitions of interval cancer did not influence the ICR within Norway or NC. Organization of screening and screening performance might be major contributors to the differences in ICR between Norway and NC.

Multisensory Integration: Flexible Use of General Operations.

Research into the anatomical substrates and "principles" for integrating inputs from separate sensory surfaces has yielded divergent findings. This suggests that multisensory integration is flexible and context dependent and underlines the need for dynamically adaptive neuronal integration mechanisms. We propose that flexible multisensory integration can be explained by a combination of canonical, population-level integrative operations, such as oscillatory phase resetting and divisive normalization. These canonical operations subsume multisensory integration into a fundamental set of principles as to how the brain integrates all sorts of information, and they are being used proactively and adaptively. We illustrate this proposition by unifying recent findings from different research themes such as timing, behavioral goal, and experience-related differences in integration.

Audit report on the Honey Creek Resort Operations Account maintained by Central Group Management, LLC for the year ended June 30, 2015

Audit report on the Honey Creek Resort Operations Account maintained by Central Group Management, LLC for the year ended June 30, 2015

Intermittent atrial tachycardia facilitates atrial fibrillation by a shortening of activation recovery interval

Introduction: We recently observed in a chronic ovine model that a shortening of action potential duration (APD) as assessed by the activation recovery interval (ARI) may be a mechanism whereby pacing-induced atrial tachycardia (PIAT) facilitates atrial fibrillation (AF), mediated by a return to 1:1 atrial capture after the effective refractory period has been reached. The aim of the present study is to evaluate the effect of long term intermittent burst pacing on ARI before induction of AF.Methods: We specifically developed a chronic ovine model of PIAT using two pacemakers (PM) each with a right atrial (RA) lead separated by ∼2cm. The 1st PM (Vitatron T70) was used to record a broadband unipolar RA EGM (800 Hz, 0.4 Hz high pass filter). The 2nd was used to deliver PIAT during electrophysiological protocols at decremental pacing CL (400 beats, from 400 to 110ms) and long term intermittent RA burst pacing to promote electrical remodeling (5s of burst followed by 2s of sinus rhythm) until onset of sustained AF. ARI was defined as the time difference between the peak of the atrial repolarization wave and the first atrial depolarization. The mean ARIs of paired sequences (before and after remodeling), each consisting of 20 beats were compared.Results: As shown in the figure, ARIs (n=4 sheep, 46 recordings) decreased post remodeling compared to baseline (86±19 vs 103±12 ms, p<0.05). There was no difference in atrial structure as assessed by light microscopy between control and remodeled sheep.Conclusions: Using standard pacemaker technology, atrial ARIs as a surrogate of APDs were successfully measured in vivo during the electrical remodeling process leading to AF. The facilitation of AF by PIAT mimicking salvos from pulmonary veins is heralded by a significant shortening of ARI.