Programming by predicates: a formal model for interactive synthesis

Acta Informatica - Program synthesis is the problem of computing from a specification a program that implements it. New and popular variations on the synthesis problem accept specifications in...     

A Gel‐Based Model of Selective Cell Motility: Implications for Cell Sorting,Diagnostics, and Screening

The ability to precisely control cell‐loaded material systems is essential for in vitro testing of novel therapeutics poised to advance to clinic. In this report, unique patterns of cell migration are devised into an in vitro gel‐in‐gel model for the purpose of obtaining cell response data to potentially therapeutic chemical agonists. The model consists of co‐cultures in a cell‐loaded microgel invading an acellular “sorting” gel. Material properties including biophysical and chemical compositions of the sorting gel are carefully controlled to guide a desired cell‐specific behavior, leading to massive tumor cell invasion by amoeboid migration mechanisms. Optical transparency enables straightforward and high‐throughput measurements of outgrowth response in the presence of either chemical and photoradiation therapy. Important dosing and drug sensitivity information are obtained with the gel‐in‐gel model using no more than a light microscope, without further need for arduous genomic or proteomic screening of the tissue samples.     

Characterization of Secure Multiparty Computation Without Broadcast

A major challenge in the study of cryptography is characterizing the necessary and sufficient assumptions required to carry out a given cryptographic task. The focus of this work is the necessity of a broadcast channel for securely computing symmetric functionalities (where all the parties receive the same output) when one third of the parties, or more, might be corrupted. Assuming all parties are connected via a point-to-point network, but no broadcast channel (nor a secure setup phase) is available, we prove the following characterization:

• A symmetric n-party functionality can be securely computed facing \(n/3\le t<n/2\) corruptions (i.e., honest majority), if and only if it is \((n-2t)\) -dominated; a functionality is k-dominated, if any k-size subset of its input variables can be set to determine its output to some predetermined value.
• Assuming the existence of one-way functions, a symmetric n-party functionality can be securely computed facing \(t\ge n/2\) corruptions (i.e., no honest majority), if and only if it is 1-dominated and can be securely computed with broadcast.

It follows that, in case a third of the parties might be corrupted, broadcast is necessary for securely computing non-dominated functionalities (in which “small” subsets of the inputs cannot determine the output), including, as interesting special cases, the Boolean XOR and coin-flipping functionalities.

     

Completeness for Symmetric Two-Party Functionalities: Revisited

Understanding the minimal assumptions required for carrying out cryptographic tasks is one of the fundamental goals of theoretic cryptography. A rich body of work has been dedicated to understanding the complexity of cryptographic tasks in the context of (semi-honest) secure two-party computation. Much of this work has focused on the characterization of trivial and complete functionalities (resp., functionalities that can be securely implemented unconditionally, and functionalities that can be used to securely compute all functionalities). Most previous works define reductions via an ideal implementation of the functionality; i.e., f reduces to g if one can implement f using a black-box (or oracle) that computes the function g and returns the output to both parties. Such a reduction models the computation of f as an atomic operation. However, in the real world, protocols proceed in rounds, and the output is not learned by the parties simultaneously. In this paper, we show that this distinction is significant. Specifically, we show that there exist symmetric functionalities (where both parties receive the same outcome) that are neither trivial nor complete under “black-box reductions,” and yet the existence of a constant-round protocol for securely computing such a functionality implies infinitely often oblivious transfer (meaning that it is secure for infinitely many values of the security parameter). In light of the above, we propose an alternative definitional infrastructure for studying the triviality and completeness of functionalities.     

Role of photonic bandgaps in polarization-independent grating waveguide structures

Polarization independence in a one-dimensional resonant grating waveguide structure involves the simultaneous excitation of two guided modes propagating in different directions. Possible simultaneous excitations occur when the two excited guided modes have either the same polarization, i.e., TE-TE (transverse electric) or TM-TM (transverse magnetic), or different polarizations, i.e., TE-TM. Simultaneous excitations may result in bandgaps and singularities. We confirm and show that in order to achieve polarization independence, it is necessary to find the conditions that minimize the effects of such bandgaps and singularities and experimentally demonstrate tunable polarization independence for simultaneously excited TE-TM-guided modes.     

OpenSim: open-source software to create and analyze dynamic simulations of movement

Dynamic simulations of movement allow one to study neuromuscular coordination, analyze athletic performance, and estimate internal loading of the musculoskeletal system. Simulations can also be used to identify the sources of pathological movement and establish a scientific basis for treatment planning. We have developed a freely available, open-source software system (OpenSim) that lets users develop models of musculoskeletal structures and create dynamic simulations of a wide variety of movements. We are using this system to simulate the dynamics of individuals with pathological gait and to explore the biomechanical effects of treatments. OpenSim provides a platform on which the biomechanics community can build a library of simulations that can be exchanged, tested, analyzed, and improved through a multi-institutional collaboration. Developing software that enables a concerted effort from many investigators poses technical and sociological challenges. Meeting those challenges will accelerate the discovery of principles that govern movement control and improve treatments for individuals with movement pathologies.     

Concentration of Bacillus spores by using silica magnetic particles

Silica particles are mainly used for the concentration of nucleic acid for diagnostic purposes. This is usually done under acidic or chaotropic conditions that will demolish most of the living organisms and prevent the application of other diagnostic tests. Here we describe the development of a method for the capturing and concentration of Bacillus spores using silica magnetic particles to enable fast and sensitive detection. We have shown that capturing various Bacilli spores via silica magnetic particles is limited, with large differences between spore batches (42 +/- 25%). The hydrophobic exosporium layer of spore limits the capture by the hydrophilic silica beads. Partial removal of Bacillus exosporium increases capture efficiency. To increase capturing efficiency without harming the spores' viability, a cationic lipid, didecyldimethylammonium bromide (DDAB), was used as a coat for the negatively charged silica particles. DDAB treatment increased capture efficiency from 42% to more than 90%. Using this method, we were able to capture as few as 100 Bacillus anthracis spores/mL with 90% efficacy. Release of captured spores was achieved by the addition of albumin. The capture and release processes were verified by plating and by flow cytometry using light scatter analysis. The method is simple, efficient, easy to operate, and fast.     

Emotional dilution of the Stroop effect: A new tool for assessing attention under emotion.

In order to gauge in a precise fashion the capture of attention by emotional stimuli, we developed a new tool that imports the classic Stroop effect into the realm of emotion. Strooping the typical emotion tasks enabled the derivation of a pure intraitem measure of attention under emotion. The results of two experiments showed that the classic Stroop effects were smaller with emotion than with neutral words, demonstrating the power of emotion to bias attention. This emotional dilution of the Stroop effect can serve as a general-purpose tool for assessing attention under emotion. (PsycINFO Database Record (c) 2010 APA, all rights reserved)