Results on Lie ideals of prime ringswith homoderivations

Let R be a prime ring of characteristic not 2 and U be a noncentral square closed Lie ideal of R. An additive mapping Hon R is called a homoderivation if H(xy) =H(x)H(y)+H(x)y+xH(y)for all x, y∈R. In this paper we investigate homoderivations satisfying certain differential identitieson square closed Lie ideals of prime rings

Concurrent Segmentation and Localization for Tracking of Surgical Instruments

Real-time instrument tracking is a crucial requirement for various computer-assisted interventions. In order to overcome problems such as specular reflections and motion blur, we propose a novel method that takes advantage of the interdependency between localization and segmentation of the surgical tool. In particular, we reformulate the 2D instrument pose estimation as heatmap regression and thereby enable a concurrent, robust and near real-time regression of both tasks via deep learning. As demonstrated by our experimental results, this modeling leads to a significantly improved performance than directly regressing the tool position and allows our method to outperform the state of the art on a Retinal Microsurgery benchmark and the MICCAI EndoVis Challenge 2015.Comment: I. Laina and N. Rieke contributed equally to this work. Accepted to MICCAI 201

Spatially Selective Assembly of Quantum Dot Light Emitters in an LED Using Engineered Peptides

Cataloged from PDF version of article.Semiconductor nanocrystal quantum dots are utilized in numerous applications in nano- and biotechnology. In device applications, where several different material components are involved, quantum dots typically need to be assembled at explicit locations for enhanced functionality. Conventional approaches cannot meet these requirements where assembly of nanocrystals is usually material-nonspecific, thereby limiting the control of their spatial distribution. Here we demonstrate directed self-assembly of quantum dot emitters at material-specific locations in a color-conversion LED containing several material components including a metal, a dielectric, and a semiconductor. We achieve a spatially selective immobilization of quantum dot emitters by using the unique material selectivity characteristics provided by the engineered solid-binding peptides as smart linkers. Peptide-decorated quantum dots exhibited several orders of magnitude higher photoluminescence compared to the control groups, thus, potentially opening up novel ways to advance these photonic platforms in applications ranging from chemical to biodetection. © 2011 American Chemical Society

Using schedulers to test probabilistic distributed systems

This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-012-0244-5. Copyright © 2012, British Computer Society.Formal methods are one of the most important approaches to increasing the confidence in the correctness of software systems. A formal specification can be used as an oracle in testing since one can determine whether an observed behaviour is allowed by the specification. This is an important feature of formal testing: behaviours of the system observed in testing are compared with the specification and ideally this comparison is automated. In this paper we study a formal testing framework to deal with systems that interact with their environment at physically distributed interfaces, called ports, and where choices between different possibilities are probabilistically quantified. Building on previous work, we introduce two families of schedulers to resolve nondeterministic choices among different actions of the system. The first type of schedulers, which we call global schedulers, resolves nondeterministic choices by representing the environment as a single global scheduler. The second type, which we call localised schedulers, models the environment as a set of schedulers with there being one scheduler for each port. We formally define the application of schedulers to systems and provide and study different implementation relations in this setting

Multi-material specific, targeted self-assembly of nanocrystal emitters using genetically engineered peptides on optoelectronic microchips

[No abstract available

Structure of nanoparticles embedded in micellar polycrystals

We investigate by scattering techniques the structure of water-based soft composite materials comprising a crystal made of Pluronic block-copolymer micelles arranged in a face-centered cubic lattice and a small amount (at most 2% by volume) of silica nanoparticles, of size comparable to that of the micelles. The copolymer is thermosensitive: it is hydrophilic and fully dissolved in water at low temperature (T ~ 0{\deg}C), and self-assembles into micelles at room temperature, where the block-copolymer is amphiphilic. We use contrast matching small-angle neuron scattering experiments to probe independently the structure of the nanoparticles and that of the polymer. We find that the nanoparticles do not perturb the crystalline order. In addition, a structure peak is measured for the silica nanoparticles dispersed in the polycrystalline samples. This implies that the samples are spatially heterogeneous and comprise, without macroscopic phase separation, silica-poor and silica-rich regions. We show that the nanoparticle concentration in the silica-rich regions is about tenfold the average concentration. These regions are grain boundaries between crystallites, where nanoparticles concentrate, as shown by static light scattering and by light microscopy imaging of the samples. We show that the temperature rate at which the sample is prepared strongly influence the segregation of the nanoparticles in the grain-boundaries.Comment: accepted for publication in Langmui

A role of 18F-fluorodeoxyglucose positron emission/computed tomography in a strategy for abdominal wall metastasis of colorectal mucinous adenocarcinoma developed after laparoscopic surgery

Metastasis to the abdominal wall including port sites after laparoscopic surgery for colorectal cancer is rare. Resection of metastatic lesions may lead to greater survival benefit if the abdominal wall metastasis is the only manifestation of recurrent disease. A 57-year-old man, who underwent laparoscopic surgery for advanced mucinous adenocarcinoma of the cecum 6 years prior, developed a nodule in the surgical wound at the lower right abdomen. Although tumor markers were within normal limits, the metastasis to the abdominal wall and abdominal cavity from the previous cecal cancer was suspected. An abdominal computed tomography scan did not provide detective evidence of metastasis. 18F-fluorodeoxyglucose positron emission/computed tomography (18F-FDG PET/CT) was therefore performed, which demonstrated increased 18F-fluorodeoxyglucose uptake (maximum standardized uptake value: 3.1) in the small abdominal wall nodule alone. Histopathological examination of the resected nodule confirmed the diagnosis of metastatic mucinous adenocarcinoma. Prognosis of intestinal mucinous adenocarcinoma is reported to be poorer than that of non-mucinous adenocarcinoma. In conclusion, this case suggests an important role of 18F-FDG PET/CT in early diagnosis and decision-making regarding therapy for recurrent disease in cases where a firm diagnosis of recurrent colorectal cancer is difficult to make