Time Discretization of the SST-generalized Navier-Stokes Equations: Positive and Negative Results

In the theory of the Navier-Stokes equations, the proofs of some basic known results, like for example the uniqueness of solutions to the stationary Navier-Stokes equations under smallness assumptions on the data or the stability of certain time discretization schemes, actually only use a small range of properties and are therefore valid in a more general context. This observation leads us to introduce the concept of SST spaces, a generalization of the functional setting for the Navier-Stokes equations. It allows us to prove (by means of counterexamples) that several uniqueness and stability conjectures that are still open in the case of the Navier-Stokes equations have a negative answer in the larger class of SST spaces, thereby showing that proof strategies used for a number of classical results are not sufficient to affirmatively answer these open questions. More precisely, in the larger class of SST spaces, non-uniqueness phenomena can be observed for the implicit Euler scheme, for two nonlinear versions of the Crank-Nicolson scheme, for the fractional step theta scheme, and for the SST-generalized stationary Navier-Stokes equations. As far as stability is concerned, a linear version of the Euler scheme, a nonlinear version of the Crank-Nicolson scheme, and the fractional step theta scheme turn out to be non-stable in the class of SST spaces. The positive results established in this thesis include the generalization of classical uniqueness and stability results to SST spaces, the uniqueness of solutions (under smallness assumptions) to two nonlinear versions of the Euler scheme, two nonlinear versions of the Crank-Nicolson scheme, and the fractional step theta scheme for general SST spaces, the second order convergence of a version of the Crank-Nicolson scheme, and a new proof of the first order convergence of the implicit Euler scheme for the Navier-Stokes equations. For each convergence result, we provide conditions on the data that guarantee the existence of nonstationary solutions satisfying the regularity assumptions needed for the corresponding convergence theorem. In the case of the Crank-Nicolson scheme, this involves a compatibility condition at the corner of the space-time cylinder, which can be satisfied via a suitable prescription of the initial acceleration.

Development of a Loop-Mediated Isothermal Amplification Method for Detection of Histoplasma capsulatum DNA in Clinical Samples

Improved methods for the detection of Histoplasma capsulatum are needed in regions with limited resources in which the organism is endemic, where delayed diagnosis of progressive disseminated histoplasmosis (PDH) results in high mortality rates. We have investigated the use of a loop-mediated isothermal amplification (LAMP) assay to facilitate rapid inexpensive molecular diagnosis of this disease. Primers for LAMP were designed to amplify the Hcp100 locus of H. capsulatum. The sensitivity and limit of detection were evaluated using DNA extracted from 91 clinical isolates of known geographic subspecies, while the assay specificity was determined using DNA extracted from 50 other fungi and Mycobacterium tuberculosis. Urine specimens (n = 6) collected from HIV-positive individuals with culture- and antigen-proven histoplasmosis were evaluated using the LAMP assay. Specimens from healthy persons (n = 10) without evidence of histoplasmosis were used as assay controls. The Hcp100 LAMP assay was 100% sensitive and specific when tested with DNA extracted from culture isolates. The median limit of detection was <= 6 genomes (range, 1 to 300 genomes) for all except one geographic subspecies. The LAMP assay detected Hcp100 in 67% of antigen-positive urine specimens (4/6 specimens), and results were negative for Hcp100 in all healthy control urine specimens. We have shown that the Hcp100 LAMP assay is a rapid affordable assay that can be used to expedite culture confirmation of H. capsulatum in regions in which PDH is endemic. Further, our results indicate proof of the concept that the assay can be used to detect Histoplasma DNA in urine. Further evaluation of this assay using body fluid samples from a larger patient population is warranted.

Push-out bond strength and SEM evaluation of a new bonding approach into the root canal

Objective: This study evaluated the performance of different adhesive systems in fiber post placement aiming to clarify the influence of different hydrophobic experimental blend adhesives, and of one commercially available adhesive on the frictional retention during a luting procedure. Material and Methods: One luting agent (70 Wt% BisGMA, 28.5% TEGDMA; 1.5% p-tolyldiethanolamine) to cement fiber posts into root canals was applied with 4 different adhesive combinations: Group 1: The etched roots were rinsed with water for 30 s to remove the phosphoric acid, then rinsed with 99.6% ethanol for 30 s, and blot-dried. A trial adhesive (base to catalyst on a 1: 1 ratio) was used with an experimental luting agent (35% Bis-GMA, 14.37% TEGDMA, 0.5% EDMAB, 0.13% CQ); Group 2: A trial adhesive (base to catalyst on a 1: 2 ratio) was luted as in Group 1; Group 3: One-Step Plus (OSP, Bisco Inc.) following the ethanol bonding technique in combination with the luting agent as in Group 1; Group 4: OSP strictly following the manufacturer's instructions using the luting agent as in Group 1. The groups were challenged with push-out tests. Posted root slices were loaded until post segment extrusion in the apical-coronal direction. Failure modes were analyzed under scanning electron microscopy. Results: Push-out strength was not significantly influenced by the luting agent (p>0.05). No statistically significant differences among the tested groups were found as Group 1 (Exp 1 - ethanol-wet bonding technique)=Group 2 (Exp 2 - ethanol-wet bonding technique)= Group 3 (OSP - ethanol-wet bonding technique)= Group 4 (control, OSP - water-wet bonding technique) (p>0.05). The dominating failure modes in all the groups were cohesive/adhesive failures, which were predominantly observed on the post/luting agent interface. Conclusions: The results of this study support the hypothesis that the proposal to replace water with ethanol to bond fiber posts to the root canal using highly hydrophobic resin is plausible, but this seems to be more the proof of a concept than a clinically applicable procedure.

A decaying factor accounts for contained activity in neuronal networks with no need of hierarchical or modular organization

The mechanisms responsible for containing activity in systems represented by networks are crucial in various phenomena, for example, in diseases such as epilepsy that affect the neuronal networks and for information dissemination in social networks. The first models to account for contained activity included triggering and inhibition processes, but they cannot be applied to social networks where inhibition is clearly absent. A recent model showed that contained activity can be achieved with no need of inhibition processes provided that the network is subdivided into modules (communities). In this paper, we introduce a new concept inspired in the Hebbian theory, through which containment of activity is achieved by incorporating a dynamics based on a decaying activity in a random walk mechanism preferential to the node activity. Upon selecting the decay coefficient within a proper range, we observed sustained activity in all the networks tested, namely, random, Barabasi-Albert and geographical networks. The generality of this finding was confirmed by showing that modularity is no longer needed if the dynamics based on the integrate-and-fire dynamics incorporated the decay factor. Taken together, these results provide a proof of principle that persistent, restrained network activation might occur in the absence of any particular topological structure. This may be the reason why neuronal activity does not spread out to the entire neuronal network, even when no special topological organization exists.

The Value of Intuitive Concepts in Evaporation Research

The Evaporative Fraction (EF) and the Complementary Relationship (CR), both extensively explored by Wilfried Brutsaert during his productive career, have elucidated the conceptual understanding of evapotranspiration within hydrological science, despite a lack of rigorous proof of validity of either concept. We briefly review Brutsaert's role in the history of these concepts and discuss their appeal and interrelationship.

Coincidence of Vietoris and Wijsman Topologies: A New Proof

Let (X, d) be a metric space and CL(X) the family of all nonempty closed subsets of X. We provide a new proof of the fact that the coincidence of the Vietoris and Wijsman topologies induced by the metric d forces X to be a compact space. In the literature only a more involved and indirect proof using the proximal topology is known. Here we do not need this intermediate step. Moreover we prove that (X, d) is boundedly compact if and only if the bounded Vietoris and Wijsman topologies on CL(X) coincide.

Visualization of Problems’ Solution

Джурджица Такачи - В доклада се разглеждат дидактически подходи за решаване на задачи, упражнения и доказване на теореми с използване на динамичен софтуер, по-специално – с вече широко разпространената система GeoGebra. Въз основа на концепция-та на Пойа се анализира използването на GeoGebra като когнитивно средство за решаване на задачи и за обсъждане на техни възможни обобщения.

Making sense of microposts (#MSM2013) concept extraction challenge

Microposts are small fragments of social media content that have been published using a lightweight paradigm (e.g. Tweets, Facebook likes, foursquare check-ins). Microposts have been used for a variety of applications (e.g., sentiment analysis, opinion mining, trend analysis), by gleaning useful information, often using third-party concept extraction tools. There has been very large uptake of such tools in the last few years, along with the creation and adoption of new methods for concept extraction. However, the evaluation of such efforts has been largely consigned to document corpora (e.g. news articles), questioning the suitability of concept extraction tools and methods for Micropost data. This report describes the Making Sense of Microposts Workshop (#MSM2013) Concept Extraction Challenge, hosted in conjunction with the 2013 World Wide Web conference (WWW'13). The Challenge dataset comprised a manually annotated training corpus of Microposts and an unlabelled test corpus. Participants were set the task of engineering a concept extraction system for a defined set of concepts. Out of a total of 22 complete submissions 13 were accepted for presentation at the workshop; the submissions covered methods ranging from sequence mining algorithms for attribute extraction to part-of-speech tagging for Micropost cleaning and rule-based and discriminative models for token classification. In this report we describe the evaluation process and explain the performance of different approaches in different contexts.

Young's axiomatization of the Shapley value - a new proof

We give a new proof of Young's characterization of the Shapley value. Moreover, as applications of the new proof, we show that Young's axiomatization of the Shapley value is valid on various well-known subclasses of TU games.

Small molecule dual-inhibitors of TRPV4 and TRPA1 for attenuation of inflammation and pain.

TRPV4 ion channels represent osmo-mechano-TRP channels with pleiotropic function and wide-spread expression. One of the critical functions of TRPV4 in this spectrum is its involvement in pain and inflammation. However, few small-molecule inhibitors of TRPV4 are available. Here we developed TRPV4-inhibitory molecules based on modifications of a known TRPV4-selective tool-compound, GSK205. We not only increased TRPV4-inhibitory potency, but surprisingly also generated two compounds that potently co-inhibit TRPA1, known to function as chemical sensor of noxious and irritant signaling. We demonstrate TRPV4 inhibition by these compounds in primary cells with known TRPV4 expression - articular chondrocytes and astrocytes. Importantly, our novel compounds attenuate pain behavior in a trigeminal irritant pain model that is known to rely on TRPV4 and TRPA1. Furthermore, our novel dual-channel blocker inhibited inflammation and pain-associated behavior in a model of acute pancreatitis - known to also rely on TRPV4 and TRPA1. Our results illustrate proof of a novel concept inherent in our prototype compounds of a drug that targets two functionally-related TRP channels, and thus can be used to combat isoforms of pain and inflammation in-vivo that involve more than one TRP channel. This approach could provide a novel paradigm for treating other relevant health conditions.

Concept maps as a tool to analyze the ideas of teacher training students regarding what to teach on human nutrition in Primary Education

Concept maps are a technique used to obtain a visual representation of a person's ideas about a concept or a set of related concepts. Specifically, in this paper, through a qualitative methodology, we analyze the concept maps proposed by 52 groups of teacher training students in order to find out the characteristics of the maps and the degree of adequacy of the contents with regard to the teaching of human nutrition in the 3rd cycle of primary education. The participants were enrolled in the Teacher Training Degree majoring in Primary Education, and the data collection was carried out through a training activity under the theme of what to teach about Science in Primary School? The results show that the maps are a useful tool for working in teacher education as they allow organizing, synthesizing, and communicating what students know. Moreover, through this work, it has been possible to see that future teachers have acceptable skills for representing the concepts/ideas in a concept map, although the level of adequacy of concepts/ideas about human nutrition and its relations is usually medium or low. These results are a wake-up call for teacher training, both initial and ongoing, because they shows the inability to change priorities as far as the selection of content is concerned.

A Comparison of two Proof Critics: Power vs. Robustness

Proof critics are a technology from the proof planning paradigm. They examine failed proof attempts in order to extract information which can be used to generate a patch which will allow the proof to go through. We consider the proof of the $quot;whisky problem$quot;, a challenge problem from the domain of temporal logic. The proof requires a generalisation of the original conjecture and we examine two proof critics which can be used to create this generalisation. Using these critics we believe we have produced the first automatic proofs of this challenge problem. We use this example to motivate a comparison of the two critics and propose that there is a place for specialist critics as well as powerful general critics. In particular we advocate the development of critics that do not use meta-variables.

Generation and screening of natural product-like compounds for antibiotic discovery

Avec l’apparition de plus en plus de souches de bactérie résistante aux antibiotiques, le développement de nouveaux antibiotiques est devenu une important problématique pour les agences de santé. C’est pour cela que la création de nouvelles plateformes pour accélérer la découverte de médicaments est devenu un besoin urgent. Dans les dernières décennies, la recherche était principalement orientée sur la modification de molécules préexistantes, la méta-analyse d’organismes produisant des molécules activent et l’analyse de librairies moléculaires pour trouver des molécules synthétiques activent, ce qui s’est avéré relativement inefficace. Notre but était donc de développer de nouvelles molécules avec des effets thérapeutiques de façon plus efficace à une fraction du prix et du temps comparé à ce qui se fait actuellement. Comme structure de base, nous avons utilisé des métabolites secondaires qui pouvaient altérer le fonctionnement des protéines ou l’interaction entre deux protéines. Pour générer ces molécules, j’ai concentré mes efforts sur les terpènes, une classe de métabolites secondaires qui possède un large éventail d’activités biologiques incluant des activités antibactériennes. Nous avons développé un système de chromosome artificiel de levure (YAC) qui permet à la fois l’assemblage directionnel et combinatoire de gènes qui permet la création de voies de biosynthèse artificielles. Comme preuve de concept, j’ai développé des YACs qui contiennent les gènes pour l’expression des enzymes impliquées dans la biosynthèse de la -carotène et de l’albaflavenone et produit ces molécules avec un haut rendement. Finalement, Des YACs produits à partir de librairies de gènes ont permis de créer une grande diversité de molécules.

Generation and screening of natural product-like compounds for antibiotic discovery

Avec l’apparition de plus en plus de souches de bactérie résistante aux antibiotiques, le développement de nouveaux antibiotiques est devenu une important problématique pour les agences de santé. C’est pour cela que la création de nouvelles plateformes pour accélérer la découverte de médicaments est devenu un besoin urgent. Dans les dernières décennies, la recherche était principalement orientée sur la modification de molécules préexistantes, la méta-analyse d’organismes produisant des molécules activent et l’analyse de librairies moléculaires pour trouver des molécules synthétiques activent, ce qui s’est avéré relativement inefficace. Notre but était donc de développer de nouvelles molécules avec des effets thérapeutiques de façon plus efficace à une fraction du prix et du temps comparé à ce qui se fait actuellement. Comme structure de base, nous avons utilisé des métabolites secondaires qui pouvaient altérer le fonctionnement des protéines ou l’interaction entre deux protéines. Pour générer ces molécules, j’ai concentré mes efforts sur les terpènes, une classe de métabolites secondaires qui possède un large éventail d’activités biologiques incluant des activités antibactériennes. Nous avons développé un système de chromosome artificiel de levure (YAC) qui permet à la fois l’assemblage directionnel et combinatoire de gènes qui permet la création de voies de biosynthèse artificielles. Comme preuve de concept, j’ai développé des YACs qui contiennent les gènes pour l’expression des enzymes impliquées dans la biosynthèse de la -carotène et de l’albaflavenone et produit ces molécules avec un haut rendement. Finalement, Des YACs produits à partir de librairies de gènes ont permis de créer une grande diversité de molécules.

The Notion of the “Concept Instance”: Problems in Modeling Concept Change in SKOS

The U.S. National Science Foundation metadata registry under development for the National Science Digital Library (NSDL) is a repertory intended to manage both metadata schemes and schemas. The focus of this draft discussion paper is on the scheme side of the development work. In particular, the concern of the discussion paper is with issues around the creation of historical snapshots of concept changes and their encoding in SKOS. Through framing the problem as we see it, we hope to find an optimal solution to our need for a SKOS encoding of these snapshots. Since what we are seeking to model is concept change, it is necessary at the outset to make it clear that we are not talking about changes to a concept of such a nature that would require the declaration a new concept with its own URI.In the project, we avoid the use of the terms “version” and “versioning” with regard to changes in concepts and reserve their use to the significant changes of schemes as a whole. Significant changes triggering a new scheme version might include changes in scheme documentation that express a significant shift in the purpose, use or architecture of the scheme. We use the term “snapshot” to denote the state of a scheme at identifiable points in time. Thus, snapshots are identifiable views of a scheme that record the incremental changes that have occurred to concepts, relationships among concepts, and scheme documentation since the last snapshot. Aspects of concept change occur that we need to capture and make available both through the registry and through potentially in transmission of a scheme to other registries. We call these capturings “concept instances.”