T-cell development occurs in the combined absence of the canonical Wnt signal-transducers beta- and gamma-catenin

UPHUELSKE

Time-lag in Derivative Convergence for Fixed Point Iterations

In an earlier study it was proven and experimentally confirmed on a 2D Euler code that fixed point iterations can be differentiated to yield first and second order derivatives of implicit functions that are defined by state equations. It was also asserted that the resulting approximations for reduced gradients and Hessians converge with the same R-factor as the underlying fixed point iteration. A closer look reveals now that nevertheless these derivative values lag behind the functions values in that the ratios of the corresponding errors grow proportional to the iteration counter or its square towards infinity. This rather subtle effect is caused mathematically by the occurrence of nontrivial Jordan blocks associated with degenerate eigenvalues. We elaborate the theory and report its confirmation through numerical experiments.ANCH

Sparse Signal Acquisition and Recovery with Graphical Models

A great deal of theoretic and algorithmic research has revolved around sparsity view of signals over the last decade to characterize new, sub-Nyquist sampling limits as well as tractable algorithms for signal recovery from dimensionality reduced measurements. Despite the promising advances made, real-life applications require more realistic signal models that can capture the underlying, application-dependent order of sparse coefficients, better sampling matrices with information preserving properties that can be implemented in practical systems, and ever faster algorithms with provable recovery guarantees for real-time operation.LION

Optimal similarity registration of volumentric images

ANCH

Bin Packing via Discrepancy of Permutations

A well studied special case of bin packing is the 3-partition problem, where n items of size > 1/4 have to be packed in a minimum number of bins of capacity one. The famous Karmarkar-Karp algorithm transforms a fractional solution of a suitable LP relaxation for this problem into an integral solution that requires at most O(log n) additional bins. The three-permutations-conjecture of Beck is the following. Given any 3 permutations on n symbols, one can color the symbols red and blue, such that in any interval of any of those permutations, the number of red and blue symbols differs only by a constant. Beck's conjecture is well known in the field of discrepancy theory. We establish a surprising connection between bin packing and Beck's conjecture: If the latter holds true, then the additive integrality gap of the 3-partition linear programming relaxation is bounded by a constant.DISOPTDC

Multi-panel drugs detection in human serum for personalized therapy

This work focuses on P450 biosensors based on multiwalled carbon nanotubes (MWCNT) and different cytochrome isoforms: 3A4, 2B4, 2C9. The proposed biosensors exhibit enhanced sensitivities and decreased detection limits thanks to carbon nanotubes. The MWCNT structuring improves the sensitivity from 5.1 to 20.5 nA/mM mm2 in case of CYP2B4-mediated Benzphetamine detection, from 0.26 to 0.63 nA/μM mm2 in case of CYP3A4-mediated Cyclophosphamide detection, and from 0.11 to 0.25 nA/μM mm2 in case of CYP2C9-mediated Naproxen detection. By using MWCNT, the limit of detection was enhanced from 59 to 12 μM in case of Cyclophosphamide and from to 187 to 82 μM in case of Naproxen. This makes possible the drug detection in human serum within the pharmacological range. In the paper, a new mathematical model is also proposed to succeed in discriminating different drug contributions in a mixture containing both Cyclophosphamide and Dextromethorphan or combining Naproxen and Flurbiprofen. Data analysis shows variations in reduction peaks that are dependent on the drug ratio, and that are consistent with competitive kinetics of substrates. This new approach enables multiple drug detection and opens the way to possible applications in personalized therapy.LSI

Parallel symbolic execution for automated real-world software testing

This paper introduces Cloud9, a platform for automated testing of real-world software. Our main contribution is the scalable parallelization of symbolic execution on clusters of commodity hardware, to help cope with path explosion. Cloud9 provides a systematic interface for writing "symbolic tests" that concisely specify entire families of inputs and behaviors to be tested, thus improving testing productivity. Cloud9 can handle not only single-threaded programs but also multi-threaded and distributed systems. It includes a new symbolic environment model that is the first to support all major aspects of the POSIX interface, such as processes, threads, synchronization, networking, IPC, and file I/O. We show that Cloud9 can automatically test real systems, like memcached, Apache httpd, lighttpd, the Python interpreter, rsync, and curl. We show how Cloud9 can use existing test suites to generate new test cases that capture untested corner cases (e.g., network stream fragmentation). Cloud9 can also diagnose incomplete bug fixes by analyzing the difference between buggy paths before and after a patch.DSLA

Design considerations for a heterogeneous network of bearings-only sensors using sensor management

This paper presents a design characterization of heterogeneous sensor networks with the goal of geolocation accuracy. It is assumed that the network exploits sensor management to conserve node power usage. We focus on bearings-only sensor networks consisting of acoustic and imaging modalities. Each available node modality is a bearings-only sensor of varying capability. The optimal mixture of modalities is discussed under the constraint of the overall network cost. Finally, simulations verify the theory and demonstrate design choices.LION

Detail-preserving fluid control

LG

Memristive Devices Fabricated with Silicon Nanowire Schottky Barrier Transistors

This paper reports on the memory and memristive effects of Schottky barrier field effect transistors (SBFET) with gate-all-around (GAA) configuration and Si nanowire (SiNW) channel. Similar behavior has also been investigated for SBFETs with poly-Si nanowire (poly-SiNW) channel in back-gate configuration. The memristive devices presented here have the potential of a very high integration density, and they are suitable for hybrid CMOS co-fabrication with a CMOS-compatible process. We show that 2 different regimes are possible, making these devices suitable either for volatile ambipolar memory or resistive random access memory (RRAM) applications. In addition, frequency- and amplitude- dependence of the memristive behavior are reported.LSI1LS