Optimal bounds for the approximation of boolean functions and some applications

This paper presents an optimal bound on the Shannon function L(n,m,) that gives the worstcase circuit-size complexity to approximate, within an approximation degree at least , partial boolean functions having n inputs and domain size m. That is

Full-size image

. Our bound applies to any partial boolean function and any approximation degree, and thus completes the study of boolean function approximation introduced by Pippenger (1977).

Our results give an upper bound for the hardness function h(ƒ), introduced by Nisan and Wigderson (1994), which denotes the minimum value l for which there exists a circuit of size at most l that approximates a boolean function ƒ with degree at least 1/l. Indeed, if H(n) denotes the maximum hardness value achieved by boolean functions with n inputs, we prove that for almost every nH(n)n/3 + n² + O(1). The exponent n/3 in the above inequality implies that no family of boolean functions exists which has ‘full’ hardness. This fact establishes connections with Allender and Strauss' (1994) work that explores the structure of BPP.

Finally, we show that for almost every n and for almost every boolean function ƒ of n inputs we have h(ƒ)2^{n/3−2 log n}. The contribution in the proof of the upper bound for L(n, m, ) can be viewed as a set of technical results that globally show how boolean linear operators are ‘well’ distributed on the class of 4-regular domains. This property is then applied to approximate partial boolean functions on general domains using a suitable composition of boolean linear operators.     

Recursive descent parsing for Boolean grammars

The recursive descent parsing method for the context-free grammars is extended for their generalization, Boolean grammars, which include explicit set-theoretic operations in the formalism of rules and which are formally defined by language equations. The algorithm is applicable to a subset of Boolean grammars. The complexity of a direct implementation varies between linear and exponential, while memoization keeps it down to linear. Supported by the Academy of Finland under grant 118540.     

United States Nuclear Regulatory Commission Research Program on molten core debris interactions in the reactor cavity

The NRC's Research Program on Core-Debris/Cavity Interactions comprises two principal elements: (1) an analytical effort focused primarily on development of computer codes needed to predict the potential consequences of risk-significant severe-accident scenarios; and (2) an experimental component to provide insights into the relevant phenomenological processes and to develop the experimental data base necessary for validation of the codes. The analytical activities at Sandia National Laboratories (SNL) focus primarily on refinement and validation of the CORCON and VANESA codes. Two major experimental activities are also based at SNL: (1) the large-scale SURC tests address the thermal-hydraulic phenomena in the cavity as well as aerosol release associated with prototypical core-melt materials in various types of concrete crucibles, while (2) the WITCH and GHOST experiments are concerned with aerosol generation and radionuclide release phenomena. A program of small-scale special-effects tests at Brookhaven National Laboratory (BNL) is coupled to a concomitant model-development and code-validation activity. In addition, measurements are being made at Battelle Columbus Laboratory (BCL) to augment the thermochemical data base needed in the VANESA code to permit refined radiological source-term predictions. The current scope and status of this research is reviewed.     

Thyroid function in lead smelter workers: absence of subacute or cumulative effects with moderate lead burdens

The electroencephalographic abnormalities seen in Landau-Kleffner syndrome (LKS) (language deterioration) are non-specific, and consist of a variety of epileptiform discharge patterns including continuous slow spike-wave discharges during sleep, focal sharp waves with spikes, and centrotemporal (rolandic) spikes. Similarly, the EEG abnormalities seen in autistic epileptiform regression (language and social/behavioral deterioration) are non-specific and overlap with those seen in LKS. By contrast, distinct epilepsy syndromes in otherwise normal children occur in the EEG-defined benign focal epilepsies of childhood. Occipital spikes or spike-wave present either in the older child with visual symptoms and headache or in the younger child with autonomic symptoms followed by brief or prolonged partial motor seizures. Seven young children (five from a consecutive series of 42) presenting clinically with autism or autistic regression and possible or definite seizures, whose EEGs revealed occipital spikes or spike-wave characteristic of the benign epilepsies, are reported. Although occipital spikes are commonly seen in young children as an age-dependent EEG-defined benign focal epilepsy, their high frequency in this population with cognitive difficulties suggests a possible causal relation. The effects of the epileptiform discharge on cognitive functioning presumably reflect extension into temporal and parietal lobes, rather than occipital disturbances per se.     

Limb salvage surgery for widely infiltrating bony sarcomas

OBJECTIVE: To determine whether neoadjuvant chemotherapy and radiotherapy for bony sarcomas extending into soft tissues would allow limb salvage yet maintain local disease control. DESIGN: A prospective cohort study. SETTING: A university-affiliated cancer centre in Alberta. PATIENTS: All patients with potentially curable, widely infiltrating bony sarcomas of the extremity without neurologic deficit, referred to the centre in the 6 years from January 1984 to December 1990. There were 11 patients; 1 did not complete the protocol. The mean follow-up was 24 months. INTERVENTIONS: Adriamycin (doxorubicin) was infused for 3 days at a rate of 30 mg/d. A few days later radiotherapy was given 5 days a week for 10 doses at a rate of 3.0 Gy per dose. Four to 5 weeks later the tumour was excised surgically, with placement of a bone allograft or prosthesis, allowing a 1-cm margin of healthy soft tissue and a 5-cm margin of healthy bone and marrow cavity whenever possible. MAIN OUTCOME MEASURES: Need for limb amputation, infectious complications, recurrence of local or regional disease. RESULTS: One patient underwent amputation after fracture through the tumour site. There were two postoperative infections, one acute and one chronic. All patients had full neurologic function of the distal limb. There was no local or regional recurrence of disease. CONCLUSION: Neoadjuvant chemotherapy followed by radiotherapy and tumour excision provides control of aggressive local bone sarcomas while maintaining limb integrity.     

Perspective:Societally connected multimedia across cultures

The advance of the Internet in the past decade has radically changed the way people communicate and col- laborate with each other. Physical distance is no more a barrier in online social networks, but cultural differences (at the individual, community, as well as societal levels) still govern human-human interactions and must be con- sidered and leveraged in the online world. The rapid de-ployment of high-speed Internet allows humans to interact using a rich set of multimedia data such as texts, pictures, and videos. This position paper proposes to define a new research area called ’connected multimedia’, which is the study of a collection of research issues of the super-area social media that receive little attention in the literature. By connected multimedia, we mean the study of the social and technical interactions among users, multimedia data, and devices across cultures and explicitly exploiting the cultural differences. We justify why it is necessary to bring attention to this new research area and what benefits of this new research area may bring to the broader scientific research community and the humanity.     

Psychrotrophic violacein-producing bacteria isolated from Lake Winnipeg,Canada

Violet and purple bacterial pigmentations are uncommon when considering strict aerobes. Here we report discovery of two novel isolates, P102 and P117 from the freshwater Lake Winnipeg, each with violet to deep purple colony colouration. The relationship between pigment production and growth was investigated under different conditions, including a variety of carbon sources, pH, and temperatures. The violet compounds were purified using polar organic solvents, and then structurally characterized via mass spectrometry and nuclear magnetic resonance to be violacein and deoxyviolacein. Strain P117 produced higher concentrations of the darker pigment deoxyviolacein, which resulted in a deeper hue of violet than in cultures of P102. Strain P102, synthesized violacein maximally in liquid rich organic medium at pH 8 and 20 °C, and had 99.3% sequence similarity to the 16S rDNA from Janthinobacterium lividum. Strain P117, related to Massilia violaceinigra sharing 99.2% 16S rDNA sequence similarity, also produced violacein at similar optimal conditions, but developed higher concentrations of pigment at 15 °C. Culture-based methods found that violacein producers composed 0.001% or 0.023% CFU of environmental heterotrophic populations using BG-11 and potato-based media, respectively. Culture-independent high-throughput ribosomal 16S V4 sequencing of environmental DNA was used to detect Gram-negative species known for their production of violacein. Of all bacterial and archaeal sequences present during the fall in littoral waters and sediment of Lake Winnipeg, 5.5% and 6.3%, respectively, belonged to species that have similar pigment, demonstrating the scarcity of violacein producers in this aquatic freshwater system.     

Evidence of successful river spawning by lake trout (Salvelinus namaycush) in the Lower Niagara River,Lake Ontario

Restoration of a wild-produced lake trout Salvelinus namaycush population in Lake Ontario has not been successful despite the adult population often meeting or exceeding restoration targets. Lack of high-quality spawning habitat in Lake Ontario is suggested as one impediment to recruitment of wild lake trout, although the quantity and location of spawning habitat is poorly understood. If high-quality spawning habitat is limited in Lake Ontario, lake trout may be using uncommon spawning locations such as rivers. Anecdotal angler accounts point to the Niagara River as a lake trout spawning location. To better understand the potential of the Niagara River as a spawning location, egg and juvenile fish collections were conducted 12–14 river kilometers from the mouth of the Niagara River from 2010 to 2012; and mature female lake trout with surgically implanted acoustic tags were monitored from 2015 to 2019. Genetic analyses confirmed 60% of collected eggs and 93% of collected post-hatch juvenile fish in the Niagara River were lake trout. Tagged female lake trout returned to the Niagara River over consecutive years during the spawning season. The short duration of lake trout presence in the river (mean = 56 days/year) suggests female lake trout use the Niagara River primarily for spawning. Diversity in spawning locations may provide lake trout population’s resilience against environmental variability through a portfolio effect. Improved identification of riverine spawning locations, including their overall contribution to wild recruitment, may be a useful tool for managers to restore a wild-produced population of lake trout in Lake Ontario.     

Monte Carlo despeckling of transrectal ultrasound images of the prostate

In this paper, a novel stochastic method is developed for despeckling transrectal ultrasound (TRUS) images of the prostate. By incorporating the circular probe acquisition particularities and speckle noise statistics of TRUS images of the prostate into a likelihood-weighted Monte Carlo estimation scheme, the proposed method can better remove speckle noise while preserving image structures and details that are relevant for image screening, allowing for a better delineation of the lesion contour. Our in silico and in vivo experimental results are promising, which was confirmed by a clinical evaluation of the in vivo test cases by experienced clinicians, and indicate that our method potentially can perform better than other previously proposed methods.