Development of calcium signalling mechanisms during maturation of human oocytes

Sperm-induced Ca2+ signals mediate the events of oocyte activation at fertilization. In this study, the development of mechanisms involved in the generation of Ca2+ signals in human oocytes was investigated. The thiol reagent, thimerosal, which induces oscillations of intracellular Ca2+ ([Ca2+]i) similar to those seen during fertilization, was used to mobilize Ca2+ in in-vivo matured, immature and in-vitro matured human oocytes. There was an increase in the sensitivity to thimerosal during maturation of human oocytes, with oocytes from small antral follicles being relatively insensitive, compared with those from luteinized follicles, which displayed a large spike followed by sustained oscillations in [Ca2+]i. These oscillations were inhibited by caffeine which suggests that they were mediated by the inositol trisphosphate receptor Ca2+ release system. When immature oocytes were cultured in vitro they acquired the capacity to undergo a single large spike in [Ca2+]i, however, subsequent sustained oscillations were not observed, indicating that these oocytes failed to develop fully competent Ca2+ signalling mechanisms during culture in vitro. This finding may be a key factor in the poor developmental competence of in-vitro matured human oocytes.     

A New Approach to Abstract Syntax with Variable Binding

The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports notions of ‘name-abstraction’ and ‘fresh name’ that provide a new way to represent, compute with, and reason about the syntax of formal systems involving variable-binding operations. Inductively defined FM-sets involving the name-abstraction set former (together with Cartesian product and disjoint union) can correctly encode syntax modulo renaming of bound variables. In this way, the standard theory of algebraic data types can be extended to encompass signatures involving binding operators. In particular, there is an associated notion of structural recursion for defining syntax-manipulating functions (such as capture avoiding substitution, set of free variables, etc.) and a notion of proof by structural induction, both of which remain pleasingly close to informal practice in computer science. Received October 2000 / Accepted in revised form April 2001     

Forthcoming papers

Announcements

Preliminary course programme international centre for mechanical Sciences     

A study of substitution,using nominal techniques and Fraenkel–Mostowksi sets

Fraenkel–Mostowski (FM) set theory delivers a model of names and alpha-equivalence. This model, now generally called the ‘nominal’ model, delivers inductive datatypes of syntax with alpha-equivalence — rather than inductive datatypes of syntax, quotiented by alpha-equivalence.The treatment of names and alpha-equivalence extends to the entire sets universe. This has proven useful for developing ‘nominal’ theories of reasoning and programming on syntax with alpha-equivalence, because a sets universe includes elements representing functions, predicates, and behaviour.Often, we want names and alpha-equivalence to model capture-avoiding substitution. In this paper we show that FM set theory models capture-avoiding substitution for names in much the same way as it models alpha-equivalence; as an operation valid for the entire sets universe which coincides with the usual (inductively defined) operation on inductive datatypes.In fact, more than one substitution action is possible (they all agree on sets representing syntax). We present two distinct substitution actions, making no judgement as to which one is ‘right’ — we suspect this question has the same status as asking whether classical or intuitionistic logic is ‘right’. We describe the actions in detail, and describe the overall design issues involved in creating any substitution action on a sets universe.Along the way, we think in new ways about the structure of elements of FM set theory. This leads us to some interesting mathematical concepts, including the notions of planes and crucial elements, which we also describe in detail.     

Preferred color gamut boundaries for wide‐gamut and multiprimary displays

Preferred chroma enhancement and its dependence on hue are studied in a two‐part experiment using a wide‐gamut multiprimary display. Earlier research showed a clear dependence on hue but was limited by the gamut of the display it employed; the present work builds on this while easing the gamut constraints. In the first part of the present experiment, a tuning task was used to refine the preference for chroma boost starting with standard‐gamut (Rec. 709) images. The overall median preferred boost is roughly 20%, but it is not uniform over hues: the preferred boost for orange, yellow, green, and cyan colors is greater than that for blue, magenta, and red colors. Dependence on image content and observer is noted, though a content‐independent chroma boost created by aggregating preference over many images performs well. An adjustment parameter for overall chroma, which incorporates the hue dependence averaged over image content, should be sufficient to handle the vast majority of interobserver variance in preference. In the second part of the experiment, various chroma boost algorithms were evaluated through a paired comparison task. The prescribed hue‐dependent chroma boost is preferred over all other variations, and all hue‐preserving chroma boost variations are preferred over both colorimetrically accurate and na??ve same‐drive‐signal renderings. The results may be applied in display design to select gamut boundaries that maximize satisfaction over the observer population. © 2012 Wiley Periodicals, Inc. Col Res Appl, 39, 169–178, 2014     

Full‐color AMOLED with RGBW pixel pattern

Abstract— A full‐color AMOLED display with an RGBW color filter pattern has been fabricated. Displays with this format require about one‐half the power of analogous RGB displays. RGBW and RGB 2.16‐in.‐diagonal displays with average power consumptions of 180 and 340 mW, respectively, were characterized for a set of standard digital still camera images at a luminance of 100 cd/m². In both cases, a white‐emitting AMOLED was used as the light source, and standard LCD filters were used to provide the R, G, and B emission. The color gamuts of these displays were identical and the higher overall efficiency of the RGBW format results from two factors. First, a large fraction of a typical image is near neutral in color and can be reproduced using the white sub‐pixel. Second, the white sub‐pixel in an RGBW AMOLED display is highly efficient because of the absence of any color filter. The efficiency of these displays can be further enhanced by choosing a white emitter optimized to the target display white point (in this case D65). A two‐emission layer configuration based upon separate yellow and blue‐emitting regions is shown to be well suited for both the RGBW and RGB formats.     

Transient-evoked and 2F1-F2 distortion product oto-acoustic emissions in dogs: preliminary findings

Transient (click)-evoked oto-acoustic emissions (TEOAEs) and distortion product oto-acoustic emissions (DPOAEs) were recorded in a feasibility study in 7 healthy mixed-breed dogs using the ILO 92 OAE analyser (Otodynamics, Hartfield, UK). Five dogs were found to have normal hearing in both ears and 2 dogs in the left ear only following otoscopy, tympanometry and auditory brainstem response audiometry. Twelve sets of TEOAEs (click-evoked) to 80 dB peSPL click stimulus and 9 sets of DPOAEs (2F1-F2) to 8 different stimulus levels of the primary tones (L1/L2) were collected at 11 test frequencies (F2) in these normal-hearing dogs. TEOAEs were successfully recorded in 11 of the 12 ears using the default user setting and in all 12 ears using the quickscreen program. DPOAEs were successfully recorded in all 9 ears tested. While the TEOAEs parameters matched those for humans, the average signal-to-noise ratio of DPOAEs was considerably higher in the dogs. Stimulus levels at 55/55, 55/45 and 55/35 dB SPL were demonstrated to produce DPOAEs that seem to reflect the active dynamic status of the outer hair cell system. Postmortem DPOAEs at these stimulus levels and TEOAEs at 80 Db peSPL could not be elicited 5 min following euthanasia of dogs. However, DPOAEs could still be recorded albeit with reduced amplitude at stimulus levels where L1 > 55 dB SPL. The results suggest that TEOAEs and DPOAEs in dogs have the potential to provide valuable insights into their mechanisms of generation, and the specific role and behaviour of outer hair cells of the cochlea in certain pathological conditions, particularly in drug-induced ototoxicity, in humans.     

Forms of Hydraulic Fractures in Shallow Fine-Grained Formations

Hydraulic fractures have been created in fine-grained formations at depths of 2–10 m to improve the performance of environmental remediation projects at dozens of locations and in a wide range of geologic conditions. The effectiveness of a hydraulic fracture during remediation will depend primarily on its form; that is, its shape, thickness, orientation, length, width, and location with respect to the borehole. The forms of many hydraulic fractures have been determined by mapping exposures in excavations and by compiling split-spoon sampling data. These observations indicate that a typical hydraulic fracture at shallow depths is gently dipping, slightly elongate in plan, and slightly asymmetric with respect to the parent borehole. Shallow hydraulic fractures lift the ground surface to produce gentle domes, and the pattern of uplift reflects the location and thickness of the fracture at depth. The forms of hydraulic fractures created over a narrow range of depths at the same site are similar, but the forms can vary markedly between sites and at different depths at the same site. This indicates that the forms of hydraulic fractures will be relatively consistent when they are created under similar conditions, but changes in geologic conditions can markedly affect fracture form.     

The natural history of great toe amputations

The purpose of this study is to report the prevalence of reamputation following resection of the great toe and first ray in adults with diabetes. We abstracted the medical records of 90 diabetic great-toe and first-ray amputees admitted between 1981 and 1991. The most common etiologies of initial amputations were ulcer with soft tissue infection (39%), ulcer with osteomyelitis (32%), and puncture wounds (12%). Sixty percent of all patients had a second amputation, 21% had a third, and 7% had a fourth. Fifteen percent of the patients who had a second amputation had it contralaterally. Seventeen percent subsequently underwent a below-knee amputation and 11% had a Transmetatarsal amputation on the same extremity, 3% had a below-knee amputation, and 2% a transmetatarsal amputation contralaterally. The mean time from the first to the second amputation was approximately 10 months. The results of this study suggest that a large proportion of patients undergoing an amputation at the level of the great toe or first ray have subsequent amputations in the first year following the initial procedure. Additionally, it appears that the contralateral foot may be at significant risk for distal amputation following resection of the hallux or first day.