Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality

We study representations of MV-algebras -- equivalently, unital lattice-ordered abelian groups -- through the lens of Stone-Priestley duality, using canonical extensions as an essential tool. Specifically, the theory of canonical extensions implies that the (Stone-Priestley) dual spaces of MV-algebras carry the structure of topological partial commutative ordered semigroups. We use this structure to obtain two different decompositions of such spaces, one indexed over the prime MV-spectrum, the other over the maximal MV-spectrum. These decompositions yield sheaf representations of MV-algebras, using a new and purely duality-theoretic result that relates certain sheaf representations of distributive lattices to decompositions of their dual spaces. Importantly, the proofs of the MV-algebraic representation theorems that we obtain in this way are distinguished from the existing work on this topic by the following features: (1) we use only basic algebraic facts about MV-algebras; (2) we show that the two aforementioned sheaf representations are special cases of a common result, with potential for generalizations; and (3) we show that these results are strongly related to the structure of the Stone-Priestley duals of MV-algebras. In addition, using our analysis of these decompositions, we prove that MV-algebras with isomorphic underlying lattices have homeomorphic maximal MV-spectra. This result is an MV-algebraic generalization of a classical theorem by Kaplansky stating that two compact Hausdorff spaces are homeomorphic if, and only if, the lattices of continuous [0, 1]-valued functions on the spaces are isomorphic.

Synchronous and Time-Lagged Effects between Occupational Self-Efficacy and Objective and Subjective Career Success: Findings from a Four-Wave and 9-Year Longitudinal Study

We integrated research on the dimensionality of career success into social-cognitive career theory and explored the positive feedback loop between occupational self-efficacy and objective and subjective career success over time (self-efficacy → objective success → subjective success → self-efficacy). Furthermore, we theoretically accounted for synchronous and time-lagged effects, as well as indirect reciprocity between the variables. We tested the proposed model by means of longitudinal structural equation modeling in a 9-year four-wave panel design, by applying a model comparison approach and indirect effect analyses (N = 608 professionals). The findings supported the proposed positive feedback loop between occupational self-efficacy and career success. Supporting our time-based reasoning, the findings showed that unfolding effects between occupational self-efficacy and objective career success take more time (i.e., time-lagged or over time) than unfolding effects between objective and subjective career success, as well as between subjective career success and occupational self-efficacy (i.e., synchronous or concurrently). Indirect effects of past on future occupational self-efficacy via objective and subjective career success were significant, providing support for an indirect reciprocity model. Results are discussed with respect to extensions of social-cognitive career theory and occupational self-efficacy development over time.

Random Sampling with Interspike-Intervals of the Exponential Integrate and Fire Neuron: A Computational Interpretation of UP-States

Oscillations between high and low values of the membrane potential (UP and DOWN states respectively) are an ubiquitous feature of cortical neurons during slow wave sleep and anesthesia. Nevertheless, a surprisingly small number of quantitative studies have been conducted only that deal with this phenomenon’s implications for computation. Here we present a novel theory that explains on a detailed mathematical level the computational benefits of UP states. The theory is based on random sampling by means of interspike intervals (ISIs) of the exponential integrate and fire (EIF) model neuron, such that each spike is considered a sample, whose analog value corresponds to the spike’s preceding ISI. As we show, the EIF’s exponential sodium current, that kicks in when balancing a noisy membrane potential around values close to the firing threshold, leads to a particularly simple, approximative relationship between the neuron’s ISI distribution and input current. Approximation quality depends on the frequency spectrum of the current and is improved upon increasing the voltage baseline towards threshold. Thus, the conceptually simpler leaky integrate and fire neuron that is missing such an additional current boost performs consistently worse than the EIF and does not improve when voltage baseline is increased. For the EIF in contrast, the presented mechanism is particularly effective in the high-conductance regime, which is a hallmark feature of UP-states. Our theoretical results are confirmed by accompanying simulations, which were conducted for input currents of varying spectral composition. Moreover, we provide analytical estimations of the range of ISI distributions the EIF neuron can sample from at a given approximation level. Such samples may be considered by any algorithmic procedure that is based on random sampling, such as Markov Chain Monte Carlo or message-passing methods. Finally, we explain how spike-based random sampling relates to existing computational theories about UP states during slow wave sleep and present possible extensions of the model in the context of spike-frequency adaptation.

Climatic change and contemporaneous land-use phases north and south of the Alps 2300 BC to 800 AD

Fluctuations in the Δ14C curve and subsequent gaps of archaeological findings at 800–650 and 400–100 BC in western and central Europe may indicate major climate-driven land-abandonment phases. To address this hypothesis radiocarbon-dated sediments from four lakes in Switzerland were studied palynologically. Pollen analysis indicates contemporaneous phases of forest clearances and of intensified land-use at 1450–1250 BC, 650–450 BC, 50 BC–100 AD and around 700 AD. These land-use expansions coincided with periods of warm climate as recorded by the Alpine dendroclimatic and Greenland oxygen isotope records. Our results suggest that harvest yields would have increased synchronously over wide areas of central and southern Europe during periods of warm and dry climate. Combined interpretation of palaeoecological and archaeological findings suggests that higher food production led to increased human populations. Positive long-term trends in pollen values of Cerealia and Plantago lanceolata indicate that technical innovations during the Bronze and Iron Age (e.g. metal ploughs, scythes, hay production, fertilising methods) gradually increased agricultural productivity. The successful adoption of yield-increasing advances cannot be explained by climatic determinism alone. Combined with archaeological evidence, our results suggest that despite considerable cycles of spatial and demographic reorganisation (repeated land abandonments and expansions, as well as large-scale migrations and population decreases), human societies were able to shift to lower subsistence levels without dramatic ruptures in material culture. However, our data imply that human societies were not able to compensate rapidly for harvest failures when climate deteriorated. Agriculture in marginal areas was abandoned, and spontaneous reforestations took place on abandoned land south and north of the Alps. Only when the climate changed again to drier and warmer conditions did a new wide-spread phase of forest clearances and field extensions occur, allowing the reoccupation of previously abandoned areas. Spatial distribution of cereal cultivation and growth requirements of Cerealia species suggest that increases in precipitation were far more decisive in driving crop failures over central and southern Europe than temperature decreases.

Complications with computer-aided designed/computer-assisted manufactured titanium and soldered gold bars for mandibular implant-overdentures: short-term observations

BACKGROUND Implant-overdentures supported by rigid bars provide stability in the edentulous atrophic mandible. However, fractures of solder joints and matrices, and loosening of screws and matrices were observed with soldered gold bars (G-bars). Computer-aided designed/computer-assisted manufactured (CAD/CAM) titanium bars (Ti-bars) may reduce technical complications due to enhanced material quality. PURPOSE To compare prosthetic-technical maintenance service of mandibular implant-overdentures supported by CAD/CAM Ti-bar and soldered G-bar. MATERIALS AND METHODS Edentulous patients were consecutively admitted for implant-prosthodontic treatment with a maxillary complete denture and a mandibular implant-overdenture connected to a rigid G-bar or Ti-bar. Maintenance service and problems with the implant-retention device complex and the prosthesis were recorded during minimally 3-4 years. Annual peri-implant crestal bone level changes (ΔBIC) were radiographically assessed. RESULTS Data of 213 edentulous patients (mean age 68 ± 10 years), who had received a total of 477 tapered implants, were available. Ti-bar and G-bar comprised 101 and 112 patients with 231 and 246 implants, respectively. Ti-bar mostly exhibited distal bar extensions (96%) compared to 34% of G-bar (p < .001). Fracture rate of bars extensions (4.7% vs 14.8%, p < .001) and matrices (1% vs 13%, p < .001) was lower for Ti-bar. Matrices activation was required 2.4× less often in Ti-bar. ΔBIC remained stable for both groups. CONCLUSIONS Implant overdentures supported by soldered gold bars or milled CAD/CAM Ti-bars are a successful treatment modality but require regular maintenance service. These short-term observations support the hypothesis that CAD/CAM Ti-bars reduce technical complications. Fracture location indicated that the titanium thickness around the screw-access hole should be increased.

Telomerase Inhibitor Imetelstat in Patients with Essential Thrombocythemia.

BACKGROUND Imetelstat, a 13-mer oligonucleotide that is covalently modified with lipid extensions, competitively inhibits telomerase enzymatic activity. It has been shown to inhibit megakaryocytic proliferation in vitro in cells obtained from patients with essential thrombocythemia. In this phase 2 study, we investigated whether imetelstat could elicit hematologic and molecular responses in patients with essential thrombocythemia who had not had a response to or who had had unacceptable side effects from prior therapies. METHODS A total of 18 patients in two sequential cohorts received an initial dose of 7.5 or 9.4 mg of imetelstat per kilogram of body weight intravenously once a week until attainment of a platelet count of approximately 250,000 to 300,000 per cubic millimeter. The primary end point was the best hematologic response. RESULTS Imetelstat induced hematologic responses in all 18 patients, and 16 patients (89%) had a complete hematologic response. At the time of the primary analysis, 10 patients were still receiving treatment, with a median follow-up of 17 months (range, 7 to 32 [ongoing]). Molecular responses were seen in 7 of 8 patients who were positive for the JAK2 V617F mutation (88%; 95% confidence interval, 47 to 100). CALR and MPL mutant allele burdens were also reduced by 15 to 66%. The most common adverse events during treatment were mild to moderate in severity; neutropenia of grade 3 or higher occurred in 4 of the 18 patients (22%) and anemia, headache, and syncope of grade 3 or higher each occurred in 2 patients (11%). All the patients had at least one abnormal liver-function value; all persistent elevations were grade 1 or 2 in severity. CONCLUSIONS Rapid and durable hematologic and molecular responses were observed in patients with essential thrombocythemia who received imetelstat. (Funded by Geron; ClinicalTrials.gov number, NCT01243073.).

The CONSORT Statement: Application within and adaptations for orthodontic trials

High-quality randomized controlled trials (RCTs) are an integral part of evidence-based medicine. RCTs are the bricks and mortar of high-quality systematic reviews, which are important determinants of health care policy and clinical practice. For published research to be used most effectively, investigators and authors should follow the guidelines for accurate and transparent reporting of RCTs. The consolidated standards of reporting trials (CONSORT) statement and its extensions are among the most widely used reporting guidelines in biomedical research. CONSORT was adopted by the American Journal of Orthodontics and Dentofacial Orthopedics in 2004. Since 2011, this Journal has been actively implementing compliance with the CONSORT reporting guidelines. The objective of this explanatory article is to highlight the relevance and implications of the various CONSORT items to help authors to achieve CONSORT compliance in their research submissions of RCTs to this and other orthodontic journals.

The Hasse-Minkowski Theorem

The Hasse-Minkowski theorem concerns the classification of quadratic forms over global fields (i.e., finite extensions of Q and rational function fields with a finite constant field). Hasse proved the theorem over the rational numbers in his Ph.D. thesis in 1921. He extended the research of his thesis to quadratic forms over all number fields in 1924. Historically, the Hasse-Minkowski theorem was the first notable application of p-adic fields that caught the attention of a wide mathematical audience. The goal of this thesis is to discuss the Hasse-Minkowski theorem over the rational numbers and over the rational function fields with a finite constant field of odd characteristic. Our treatments of quadratic forms and local fields, though, are more general than what is strictly necessary for our proofs of the Hasse-Minkowski theorem over Q and its analogue over rational function fields (of odd characteristic). Our discussion concludes with some applications of the Hasse-Minkowski theorem.

The Congressional Budget Process and the Aggregate Level of Spending

This paper analyzes whether the Congressional budget process (instituted in 1974) leads to lower aggregate spending than does the piece-meal appropriations process that preceded it. Previous theoretical analysis, using spatial models of legislator preferences, is inconclusive. This paper uses a model of interest group lobbying, where a legislature determines spending on a national public good and on subsidies to subsets of the population that belong to nationwide sector-specific interest groups. In the appropriations process, the Appropriations Committee proposes a budget, maximizing the joint welfare of voters and the interest groups, that leads to overspending on subsidies. In the budget process, a Budget Committee proposes an aggregate level of spending (the budget resolution); the Appropriations Committee then proposes a budget. If the lobby groups are not subject to a binding resource constraint, the two institutional structures lead to identical outcomes. With such a constraint, however, there is a free rider problem among the groups in lobbying the Budget Committee, as each group only obtains a small fraction of the benefits from increasing the aggregate budget. If the number of groups is sufficiently large, each takes the budget resolution as given, and lobbies only the Appropriations Committee. The main results are that aggregate spending is lower, and social welfare higher, under the budget process; however, provision of the public good is suboptimal. The paper also presents two extensions: the first endogenizes the enforcement of the budget resolution by incorporating the relevant procedural rules into the model. The second analyzes statutory budget rules that limit spending levels, but can be revised by a simple majority vote. In each case,the free rider problem prevents the groups from securing the required changes to procedural and budget rules.

Visualizing the Simulation of 3-D Underwater Sensor Networks

The majority of sensor network research deals with land-based networks, which are essentially two-dimensional, and thus the majority of simulation and animation tools also only handle such networks. Underwater sensor networks on the other hand, are essentially 3D networks because the depth at which a sensor node is located needs to be considered as well. Due to that additional dimension, specialized tools need to be used when conducting simulations for experimentation. The School of Engineering’s Underwater Sensor Network (UWSN) lab is conducting research on underwater sensor networks and requires simulation tools for 3D networks. The lab has extended NS-2, a widely used network simulator, so that it can simulate three-dimensional networks. However, NAM, a widely used network animator, currently only supports two-dimensional networks and no extensions have been implemented to give it three-dimensional capabilities. In this project, we develop a network visualization tool that functions similarly to NAM but is able to render network environments in full 3-D. It is able to take as input a NS-2 trace file (the same file taken as input by NAM), create the environment, position the sensor nodes, and animate the events of the simulation. Further, the visualization tool is easy to use, especially friendly to NAM users, as it is designed to follow the interfaces and functions similar to NAM. So far, the development has fulfilled the basic functionality. Future work includes fully functional capabilities for visualization and much improved user interfaces.

Multiple gradient echo propeller (MGREP) MRI: Technical development and potential applications

The PROPELLER (Periodically Rotated Overlapping Parallel Lines with Enhanced Reconstruction) magnetic resonance imaging (MRI) technique has inherent advantages over other fast imaging methods, including robust motion correction, reduced image distortion, and resistance to off-resonance effects. These features make PROPELLER highly desirable for T2*-sensitive imaging, high-resolution diffusion imaging, and many other applications. However, PROPELLER has been predominantly implemented as a fast spin-echo (FSE) technique, which is insensitive to T2* contrast, and requires time-inefficient signal averaging to achieve adequate signal-to-noise ratio (SNR) for many applications. These issues presently constrain the potential clinical utility of FSE-based PROPELLER. ^ In this research, our aim was to extend and enhance the potential applications of PROPELLER MRI by developing a novel multiple gradient echo PROPELLER (MGREP) technique that can overcome the aforementioned limitations. The MGREP pulse sequence was designed to acquire multiple gradient-echo images simultaneously, without any increase in total scan time or RF energy deposition relative to FSE-based PROPELLER. A new parameter was also introduced for direct user-control over gradient echo spacing, to allow variable sensitivity to T2* contrast. In parallel to pulse sequence development, an improved algorithm for motion correction was also developed and evaluated against the established method through extensive simulations. The potential advantages of MGREP over FSE-based PROPELLER were illustrated via three specific applications: (1) quantitative T2* measurement, (2) time-efficient signal averaging, and (3) high-resolution diffusion imaging. Relative to the FSE-PROPELLER method, the MGREP sequence was found to yield quantitative T2* values, increase SNR by ∼40% without any increase in acquisition time or RF energy deposition, and noticeably improve image quality in high-resolution diffusion maps. In addition, the new motion algorithm was found to improve the performance considerably in motion-artifact reduction. ^ Overall, this work demonstrated a number of enhancements and extensions to existing PROPELLER techniques. The new technical capabilities of PROPELLER imaging, developed in this thesis research, are expected to serve as the foundation for further expanding the scope of PROPELLER applications. ^

TRANSCRIPTIONAL REGULATION OF PROFILIN IS REQUIRED FOR DROSOPHILA LARVAL WOUND CLOSURE

Injury is an inevitable part of life, making wound healing essential for survival. In postembryonic skin, wound closure requires that epidermal cells recognize the presence of a gap and change their behavior to migrate across it. In Drosophila larvae, wound closure requires two signaling pathways (the Jun N-terminal kinase (JNK) pathway and the Pvr receptor tyrosine kinase signaling pathway) and regulation of the actin cytoskeleton. In this and other systems, it remains unclear how the signaling pathways that initiate wound closure connect to the actin regulators that help execute wound- induced cell migrations. Here we show that chickadee, which encodes the Drosophila Profilin, a protein important for actin filament recycling and cell migration during development, is required for the physiological process of larval epidermal wound closure. After injury, chickadee is transcriptionally upregulated in cells proximal to the wound. We found that JNK, but not Pvr, mediates the increase in chic transcription through the Jun and Fos transcription factors. Finally, we show that chic deficient larvae fail to form a robust actin cable along the wound edge and also fail to form normal filopodial and lamellipodial extensions into the wound gap. Our results thus connect a factor that regulates actin monomer recycling to the JNK signaling pathway during wound closure. They also reveal a physiological function for an important developmental regulator of actin and begin to tease out the logic of how the wound repair response is organized.

Optimal, minimax, and Bayesian two-stage designs in two-dose phase II clinical trials

Background: For most cytotoxic and biologic anti-cancer agents, the response rate of the drug is commonly assumed to be non-decreasing with an increasing dose. However, an increasing dose does not always result in an appreciable increase in the response rate. This may especially be true at high doses for a biologic agent. Therefore, in a phase II trial the investigators may be interested in testing the anti-tumor activity of a drug at more than one (often two) doses, instead of only at the maximum tolerated dose (MTD). This way, when the lower dose appears equally effective, this dose can be recommended for further confirmatory testing in a phase III trial under potential long-term toxicity and cost considerations. A common approach to designing such a phase II trial has been to use an independent (e.g., Simon's two-stage) design at each dose ignoring the prior knowledge about the ordering of the response probabilities at the different doses. However, failure to account for this ordering constraint in estimating the response probabilities may result in an inefficient design. In this dissertation, we developed extensions of Simon's optimal and minimax two-stage designs, including both frequentist and Bayesian methods, for two doses that assume ordered response rates between doses. ^ Methods: Optimal and minimax two-stage designs are proposed for phase II clinical trials in settings where the true response rates at two dose levels are ordered. We borrow strength between doses using isotonic regression and control the joint and/or marginal error probabilities. Bayesian two-stage designs are also proposed under a stochastic ordering constraint. ^ Results: Compared to Simon's designs, when controlling the power and type I error at the same levels, the proposed frequentist and Bayesian designs reduce the maximum and expected sample sizes. Most of the proposed designs also increase the probability of early termination when the true response rates are poor. ^ Conclusion: Proposed frequentist and Bayesian designs are superior to Simon's designs in terms of operating characteristics (expected sample size and probability of early termination, when the response rates are poor) Thus, the proposed designs lead to more cost-efficient and ethical trials, and may consequently improve and expedite the drug discovery process. The proposed designs may be extended to designs of multiple group trials and drug combination trials.^

Sea ice cover, and bottom water and sediment characteristics at stations in the Amundsen Gulf, Canada

Seasonal dynamics in the activity of Arctic shelf benthos have been the subject of few local studies, and the pronounced among-site variability characterizing their results makes it difficult to upscale and generalize their conclusions. In a regional study encompassing five sites at 100-595 m water depth in the southeastern Beaufort Sea, we found that total pigment concentrations in surficial sediments, used as proxies of general food supply to the benthos, rose significantly after the transition from ice-covered conditions in spring (March-June 2008) to open-water conditions in summer (June-August 2008), whereas sediment Chl a concentrations, typical markers of fresh food input, did not. Macrobenthic biomass (including agglutinated foraminifera >500 µm) varied significantly among sites (1.2-6.4 g C/m**2 in spring, 1.1-12.6 g C/m**2 in summer), whereas a general spring-to-summer increase was not detected. Benthic carbon remineralisation also ranged significantly among sites (11.9-33.2 mg C/m**2/day in spring, 11.6-44.4 mg C/m**2/day in summer) and did in addition exhibit a general significant increase from spring-to-summer. Multiple regression analysis suggests that in both spring and summer, sediment Chl a concentration is the prime determinant of benthic carbon remineralisation, but other factors have a significant secondary influence, such as foraminiferan biomass (negative in both seasons), water depth (in spring) and infaunal biomass (in summer). Our findings indicate the importance of the combined and dynamic effects of food supply and benthic community patterns on the carbon remineralisation of the polar shelf benthos in seasonally ice-covered seas.

Angiosarcoma en linfedema crónico posmastectomía : Síndrome de Stewart-Treves

Objetivo: comunicar un caso de angiosarcoma en linfedema crónico posmastectomía, revisar los diagnósticos diferenciales, destacando que el diagnóstico temprano de esta entidad es la única alternativa para poder modificar la evolución tórpida de esta enfermedad. Caso clínico: presentamos una mujer de 78 años con el antecedente de mastectomía izquierda y cobaltoterapia realizadas en 1990, presentando en el año 2000 edema progresivo en miembro homolateral y pared torácica, con la aparición de placas y nódulos rojo-violáceos, indurados, dolorosos desde noviembre de 2006. La extensión y progresión de su enfermedad motivó su internación para corroborar diagnóstico presuntivo de síndrome de Stewart-Treves con biopsias, establecer diagnósticos diferenciales, estudio clínico-oncológico, control del dolor y evaluar posibles tratamientos. Comentarios: 1). El intervalo entre el diagnóstico del carcinoma de mama y el de este cuadro es de 10-20 años. 2). La supervivencia de los pacientes es < 5%. 3). Las posibilidades terapéuticas son agresivas e infructuosas en la mayoría de los casos. 4). El pronóstico depende de la alta sospecha precoz de las lesiones y su extirpación quirúrgica.