Background: Cryopreservation of oocytes is an effective technology in assisted reproductive technology. Although successful vitrification of gametes has been reported in several mammalian species, the survival is generally low. The aim of this study was to investigate the effects of fibroblast growth factor (FGF) and hepatocyte growth factor (HGF) on preantral follicle development after vitrifi...

Interactive theorem provers, such as Isabelle, include various automatic tools for finding proofs under certain conditions. However, for each conjecture, knowing which tool to use, and how to tweak its parameters, is currently labour intensive. We have developed a language, PSL, designed to capture high level proof strategies. PSL offloads the construction of human-readable fast-to-replay proof...

The high-harmonic generation in a plasma or gas under conditions when the single-atom response is affected by neighboring ions or atoms of the medium is studied theoretically. We solve numerically the threedimensional Schrödinger equation for a single-electron atom in the combined fields of the neighboring particles and the laser, and average the results over different random positions of the p...

We study the problem of inferring the type of a networked device in a home network by leveraging low level traffic activity indicators seen at commodity home gateways. We analyze a dataset of detailed device network activity obtained from 240 subscriber homes of a large European ISP and extract a number of traffic and spatial fingerprints for individual devices. We develop a two level taxonomy ...

We present the Temporal Logic Synthesis Format (TLSF), a high-level format to describe synthesis problems via Linear Temporal Logic (LTL). The format builds upon standard LTL, but additionally allows to use high-level constructs, such as sets and functions, to provide a compact and human-readable representation. Furthermore, the format allows to identify parameters of a specification such that ...

The industrial robotics is the ideal technology platform to build the foundations for a significant innovation in production systems. In fact, industrial robots combine high flexibility and adaptability, effective (re)configurability at batch change, easiness and speed of programming, operation robustness and complete integration with advanced technology in the field of mechanics, information t...

The high random and sequential I/O requirements of contemplated workloads could serve as impetus to move faster towards storage-class memory (SCM), a technology that will blur the distinction between memory and storage. On the other hand, the volume of digital data being produced is increasing at an ever accelerating pace. Recent technology demonstrations indicate that low-cost, low-power tape ...

The high random and sequential I/O requirements of contemplated workloads could serve as impetus to move faster towards storage-class memory (SCM), a technology that will blur the distinction between memory and storage. On the other hand, the volume of digital data being produced is increasing at an ever accelerating pace. Recent technology demonstrations indicate that low-cost, low-power tape ...

The high random and sequential I/O requirements of contemplated workloads could serve as impetus to move faster towards storage-class memory (SCM), a technology that will blur the distinction between memory and storage. On the other hand, the volume of digital data being produced is increasing at an ever accelerating pace. Recent technology demonstrations indicate that low-cost, low-power tape ...

The paper describes an attempt to use the British Input Output tables and other computer readable British Economic statistics to test hypotheses about the labour theory of value. Inversion of the I/O matrices is used to obtain estimates of values for commodity groups and the correlations between these and prices are computed. The results show a very high level of correlation between values and ...