The Realization Doctrine in Florida Corporate Income Taxation: A History and an Analysis Since \u3cem\u3eS.R.G.\u3c/em\u3e

The authors analyze the present status of the doctrines of realization and recognition as they exist in Florida corporate income taxation. Relevant legislative history and recent cases, focusing on a conflict between these doctrines, are examined. The resulting problems are analyzed and possible solutions suggested

Private Multiplicative Weights Beyond Linear Queries

A wide variety of fundamental data analyses in machine learning, such as linear and logistic regression, require minimizing a convex function defined by the data. Since the data may contain sensitive information about individuals, and these analyses can leak that sensitive information, it is important to be able to solve convex minimization in a privacy-preserving way. A series of recent results show how to accurately solve a single convex minimization problem in a differentially private manner. However, the same data is often analyzed repeatedly, and little is known about solving multiple convex minimization problems with differential privacy. For simpler data analyses, such as linear queries, there are remarkable differentially private algorithms such as the private multiplicative weights mechanism (Hardt and Rothblum, FOCS 2010) that accurately answer exponentially many distinct queries. In this work, we extend these results to the case of convex minimization and show how to give accurate and differentially private solutions to *exponentially many* convex minimization problems on a sensitive dataset

Laboratory Determination of the Infrared Band Strengths of Pyrene Frozen in Water Ice: Implications for the Composition of Interstellar Ices

Broad infrared emission features (e.g., at 3.3, 6.2, 7.7, 8.6, and 11.3 microns) from the gas phase interstellar medium have long been attributed to polycyclic aromatic hydrocarbons (PAHs). A significant portion (10%-20%) of the Milky Way's carbon reservoir is locked in PAH molecules, which makes their characterization integral to our understanding of astrochemistry. In molecular clouds and the dense envelopes and disks of young stellar objects (YSOs), PAHs are expected to be frozen in the icy mantles of dust grains where they should reveal themselves through infrared absorption. To facilitate the search for frozen interstellar PAHs, laboratory experiments were conducted to determine the positions and strengths of the bands of pyrene mixed with H2O and D2O ices. The D2O mixtures are used to measure pyrene bands that are masked by the strong bands of H2O, leading to the first laboratory determination of the band strength for the CH stretching mode of pyrene in water ice near 3.25 microns. Our infrared band strengths were normalized to experimentally determined ultraviolet band strengths, and we find that they are generally ~50% larger than those reported by Bouwman et al. based on theoretical strengths. These improved band strengths were used to reexamine YSO spectra published by Boogert et al. to estimate the contribution of frozen PAHs to absorption in the 5-8 micron spectral region, taking into account the strength of the 3.25 micron CH stretching mode. It is found that frozen neutral PAHs contain 5%-9% of the cosmic carbon budget, and account for 2%-9% of the unidentified absorption in the 5-8 micron region.Comment: Accepted for publication in ApJ on 14 Feb 201

Towards More Data-Aware Application Integration (extended version)

Although most business application data is stored in relational databases, programming languages and wire formats in integration middleware systems are not table-centric. Due to costly format conversions, data-shipments and faster computation, the trend is to "push-down" the integration operations closer to the storage representation. We address the alternative case of defining declarative, table-centric integration semantics within standard integration systems. For that, we replace the current operator implementations for the well-known Enterprise Integration Patterns by equivalent "in-memory" table processing, and show a practical realization in a conventional integration system for a non-reliable, "data-intensive" messaging example. The results of the runtime analysis show that table-centric processing is promising already in standard, "single-record" message routing and transformations, and can potentially excel the message throughput for "multi-record" table messages.Comment: 18 Pages, extended version of the contribution to British International Conference on Databases (BICOD), 2015, Edinburgh, Scotlan

A mouse model of autism implicates endosome pH in the regulation of presynaptic calcium entry.

Psychoactive compounds such as chloroquine and amphetamine act by dissipating the pH gradient across intracellular membranes, but the physiological mechanisms that normally regulate organelle pH remain poorly understood. Interestingly, recent human genetic studies have implicated the endosomal Na+/H+ exchanger NHE9 in both autism spectrum disorders (ASD) and attention deficit hyperactivity disorder (ADHD). Plasma membrane NHEs regulate cytosolic pH, but the role of intracellular isoforms has remained unclear. We now find that inactivation of NHE9 in mice reproduces behavioral features of ASD including impaired social interaction, repetitive behaviors, and altered sensory processing. Physiological characterization reveals hyperacidic endosomes, a cell-autonomous defect in glutamate receptor expression and impaired neurotransmitter release due to a defect in presynaptic Ca2+ entry. Acute inhibition of synaptic vesicle acidification rescues release but without affecting the primary defect due to loss of NHE9

Network-wide Configuration Synthesis

Computer networks are hard to manage. Given a set of high-level requirements (e.g., reachability, security), operators have to manually figure out the individual configuration of potentially hundreds of devices running complex distributed protocols so that they, collectively, compute a compatible forwarding state. Not surprisingly, operators often make mistakes which lead to downtimes. To address this problem, we present a novel synthesis approach that automatically computes correct network configurations that comply with the operator's requirements. We capture the behavior of existing routers along with the distributed protocols they run in stratified Datalog. Our key insight is to reduce the problem of finding correct input configurations to the task of synthesizing inputs for a stratified Datalog program. To solve this synthesis task, we introduce a new algorithm that synthesizes inputs for stratified Datalog programs. This algorithm is applicable beyond the domain of networks. We leverage our synthesis algorithm to construct the first network-wide configuration synthesis system, called SyNET, that support multiple interacting routing protocols (OSPF and BGP) and static routes. We show that our system is practical and can infer correct input configurations, in a reasonable amount time, for networks of realistic size (> 50 routers) that forward packets for multiple traffic classes.Comment: 24 Pages, short version published in CAV 201

The environmental footprint of Holocene societies: a multi-temporal study of trails in the Judean Desert, Israel

The global distribution of footpaths and their inferred antiquity implies that they are widespread spatial and temporal anthropogenic landscape units. Arid environments are of special interest for investigating historically used footpaths, as older routes may preserve better due to minimal modern impact and slower pedogenic processes. Here we examine footpaths in the Judean Desert of the southern Levant, a human hotspot throughout the Holocene. We studied one modern and two archaeological footpaths (one attributed to the Early Bronze Age and one to the Roman period) using micromorphology, bulk samples laboratory analysis, and remote sensing. Field observations and color analysis indicate that footpaths in the studied arid limestone environment can result in brighter surface color than their non-path surroundings. Similar color changes are reflected using both laboratory analysis and high-resolution remote sensing, where the difference is also significant. Microscopically, the footpaths studied tend to be less porous and with fewer biogenic activities when compared to their non-path controls. However, the two ancient footpaths studied do exhibit minimal indicators of biogenic activities that are not detectable in the modern footpath sample. Our study shows that high-resolution remote sensing coupled with micromorphology, while using appropriate local modern analogies, can help to locate and assess both the environmental effect and the antiquity of footpaths