TV Carriage Fee Disputes Hurt Consumers the Most

More than 14 million Dish Network subscribers have been without Breaking Bad, Mad Men, and The Walking Dead since June when the satellite provider pulled AMC Networks—AMC, Sundance, IFC, and WE tv—from its lineup in a dispute over carriage fees. The tactic is called a blackout, and it’s becoming increasingly common in the television landscape as pay-TV operators and station owners battle over the nearly $5 billion at stake in the next 5 years.

Ectopic calcification among families in the Azores: Clinical and radiologic manifestations in families with diffuse idiopathic skeletal hyperostosis and chondrocalcinosis

Objective. Twelve families that were multiply affected with diffuse idiopathic skeletal hyperostosis (DISH) and/or chondrocalcinosis, were identified on the island of Terceira, The Azores, potentially supporting the hypothesis that the 2 disorders share common etiopathogenic factors. The present study was undertaken to investigate this hypothesis. Methods. One hundred three individuals from 12 unrelated families were assessed. Probands were identified from patients attending the Rheumatic Diseases Clinic, Hospital de Santo Espirito, in The Azores. Family members were assessed by rheumatologists and radiologists. Radiographs of all family members were obtained, including radiographs of the dorsolumbar spine, pelvis, knees, elbows, and wrists, and all cases were screened for known features of chondrocalcinosis. Results. Ectopic calcifications were identified in 70 patients. The most frequent symptoms or findings were as follows: axial pain, elbow, knee and metacarpophalangeal (MCP) joint pain, swelling, and/or deformity, and radiographic enthesopathic changes. Elbow and MCP joint periarticular calcifications were observed in 35 and 5 patients, respectively, and chondrocalcinosis was identified in 12 patients. Fifteen patients had sacroiliac disease (ankylosis or sclerosis) on computed tomography scans. Fifty-two patients could be classified as having definite (17%), probable (26%), or possible (31%) DISH. Concomitant DISH and chondrocalcinosis was diagnosed in 12 patients. Pyrophosphate crystals were identified from knee effusions in 13 patients. The pattern of disease transmission was compatible with an autosomal-dominant monogenic disease. The mean age at which symptoms developed was 38 years. Conclusion. These families may represent a familial type of pyrophosphate arthropathy with a phenotype that includes peripheral and axial enthesopathic calcifications. The concurrence of DISH and chondrocalcinosis suggests a shared pathogenic mechanism in the 2 conditions.

The Arctic Summer Cloud Ocean Study (ASCOS): overview and experimental design

The climate in the Arctic is changing faster than anywhere else on earth. Poorly understood feedback processes relating to Arctic clouds and aerosol–cloud interactions contribute to a poor understanding of the present changes in the Arctic climate system, and also to a large spread in projections of future climate in the Arctic. The problem is exacerbated by the paucity of research-quality observations in the central Arctic. Improved formulations in climate models require such observations, which can only come from measurements in situ in this difficult-to-reach region with logistically demanding environmental conditions. The Arctic Summer Cloud Ocean Study (ASCOS) was the most extensive central Arctic Ocean expedition with an atmospheric focus during the International Polar Year (IPY) 2007–2008. ASCOS focused on the study of the formation and life cycle of low-level Arctic clouds. ASCOS departed from Longyearbyen on Svalbard on 2 August and returned on 9 September 2008. In transit into and out of the pack ice, four short research stations were undertaken in the Fram Strait: two in open water and two in the marginal ice zone. After traversing the pack ice northward, an ice camp was set up on 12 August at 87°21' N, 01°29' W and remained in operation through 1 September, drifting with the ice. During this time, extensive measurements were taken of atmospheric gas and particle chemistry and physics, mesoscale and boundary-layer meteorology, marine biology and chemistry, and upper ocean physics. ASCOS provides a unique interdisciplinary data set for development and testing of new hypotheses on cloud processes, their interactions with the sea ice and ocean and associated physical, chemical, and biological processes and interactions. For example, the first-ever quantitative observation of bubbles in Arctic leads, combined with the unique discovery of marine organic material, polymer gels with an origin in the ocean, inside cloud droplets suggests the possibility of primary marine organically derived cloud condensation nuclei in Arctic stratocumulus clouds. Direct observations of surface fluxes of aerosols could, however, not explain observed variability in aerosol concentrations, and the balance between local and remote aerosols sources remains open. Lack of cloud condensation nuclei (CCN) was at times a controlling factor in low-level cloud formation, and hence for the impact of clouds on the surface energy budget. ASCOS provided detailed measurements of the surface energy balance from late summer melt into the initial autumn freeze-up, and documented the effects of clouds and storms on the surface energy balance during this transition. In addition to such process-level studies, the unique, independent ASCOS data set can and is being used for validation of satellite retrievals, operational models, and reanalysis data sets.

Genetic studies of disorders of calcium crystal deposition

In summary, although many factors are likely to be involved in regulating calcification and ossification processes, studies of the causation of articular chondrocalcinosis and disorders of spinal ossification, such as DISH and OPLL, implicate control over inorganic pyrophosphate levels as being one of the most important factors in their aetiopathogenesis. The findings of these studies may prove relevant to other rheumatic diseases in which ectopic ossification occurs, such as AS.

Complete and interpretable conformance checking of business processes

This article presents a method for checking the conformance between an event log capturing the actual execution of a business process, and a model capturing its expected or normative execution. Given a business process model and an event log, the method returns a set of statements in natural language describing the behavior allowed by the process model but not observed in the log and vice versa. The method relies on a unified representation of process models and event logs based on a well-known model of concurrency, namely event structures. Specifically, the problem of conformance checking is approached by folding the input event log into an event structure, unfolding the process model into another event structure, and comparing the two event structures via an error-correcting synchronized product. Each behavioral difference detected in the synchronized product is then verbalized as a natural language statement. An empirical evaluation shows that the proposed method scales up to real-life datasets while producing more concise and higher-level difference descriptions than state-of-the-art conformance checking methods.

On the expressive power of behavioral profiles

Behavioral profiles have been proposed as a behavioral abstraction of dynamic systems, specifically in the context of business process modeling. A behavioral profile can be seen as a complete graph over a set of task labels, where each edge is annotated with one relation from a given set of binary behavioral relations. Since their introduction, behavioral profiles were argued to provide a convenient way for comparing pairs of process models with respect to their behavior or computing behavioral similarity between process models. Still, as of today, there is little understanding of the expressive power of behavioral profiles. Via counter-examples, several authors have shown that behavioral profiles over various sets of behavioral relations cannot distinguish certain systems up to trace equivalence, even for restricted classes of systems represented as safe workflow nets. This paper studies the expressive power of behavioral profiles from two angles. Firstly, the paper investigates the expressive power of behavioral profiles and systems captured as acyclic workflow nets. It is shown that for unlabeled acyclic workflow net systems, behavioral profiles over a simple set of behavioral relations are expressive up to configuration equivalence. When systems are labeled, this result does not hold for any of several previously proposed sets of behavioral relations. Secondly, the paper compares the expressive power of behavioral profiles and regular languages. It is shown that for any set of behavioral relations, behavioral profiles are strictly less expressive than regular languages, entailing that behavioral profiles cannot be used to decide trace equivalence of finite automata and thus Petri nets.

Formal security analysis of the DNP3-secure authentication protocol

This thesis evaluates the security of Supervisory Control and Data Acquisition (SCADA) systems, which are one of the key foundations of many critical infrastructures. Specifically, it examines one of the standardised SCADA protocols called the Distributed Network Protocol Version 3, which attempts to provide a security mechanism to ensure that messages transmitted between devices, are adequately secured from rogue applications. To achieve this, the thesis applies formal methods from theoretical computer science to formally analyse the correctness of the protocol.

Dimethyl sulfide and other biogenic volatile organic compound emissions from branching coral and reef seawater: Potential sources of secondary aerosol over the Great Barrier Reef

Volatile organic compounds (VOCs) in the headspace of bubble chambers containing branches of live coral in filtered reef seawater were analysed using gas chromatography with mass spectrometry (GC-MS). When the coral released mucus it was a source of dimethyl sulfide (DMS) and isoprene; however, these VOCs were not emitted to the chamber headspace from mucus-free coral. This finding, which suggests that coral is an intermittent source of DMS and isoprene, was supported by the observation of occasional large pulses of atmospheric DMS (DMSa) over Heron Island reef on the southern Great Barrier Reef (GBR), Australia, in the austral winter. The highest DMSa pulse (320 ppt) was three orders of magnitude less than the DMS mixing ratio (460 ppb) measured in the headspace of a dynamically purged bubble chamber containing a mucus-coated branch of Acropora aspera indicating that coral reefs can be strong point sources of DMSa. Static headspace GC-MS analysis of coral fragments identified mainly DMS and seven other minor reduced sulfur compounds including dimethyl disulfide, methyl mercaptan, and carbon disulfide, while coral reef seawater was an indicated source of methylene chloride, acetone, and methyl ethyl ketone. The VOCs emitted by coral and reef seawater are capable of producing new atmospheric particles < 15 nm diameter as observed at Heron Island reef. DMS and isoprene are known to play a role in low-level cloud formation, so aerosol precursors such as these could influence regional climate through a sea surface temperature regulation mechanism hypothesized to operate over the GBR.

Understanding data flow and security requirements in wireless Body Area Networks for healthcare

The Body Area Network (BAN) is an emerging technology that focuses on monitoring physiological data in, on and around the human body. BAN technology permits wearable and implanted sensors to collect vital data about the human body and transmit it to other nodes via low-energy communication. In this paper, we investigate interactions in terms of data flows between parties involved in BANs under four different scenarios targeting outdoor and indoor medical environments: hospital, home, emergency and open areas. Based on these scenarios, we identify data flow requirements between BAN elements such as sensors and control units (CUs) and parties involved in BANs such as the patient, doctors, nurses and relatives. Identified requirements are used to generate BAN data flow models. Petri Nets (PNs) are used as the formal modelling language. We check the validity of the models and compare them with the existing related work. Finally, using the models, we identify communication and security requirements based on the most common active and passive attack scenarios.