What can be learned from failed proofs of non-theorems?

This paper reports an investigation into the link between failed proofs and non-theorems. It seeks to answer the question of whether anything more can be learned from a failed proof attempt than can be discovered from a counter-example. We suggest that the branch of the proof in which failure occurs can be mapped back to the segments of code that are the culprit, helping to locate the error. This process of tracing provides finer grained isolation of the offending code fragments than is possible from the inspection of counter-examples. We also discuss ideas for how such a process could be automated.

Processus d’adaptation des personnes vivant avec la schizophrénie et ayant un soutien social limité

Résumé : La schizophrénie est un trouble mental grave qui affecte toutes les facettes de la vie de la personne. En outre, le manque de soutien social est un problème important qui contribue à l’aggravation de la maladie, notamment en influençant négativement la capacité d’adaptation. Chez les personnes atteintes de schizophrénie, la capacité à utiliser des stratégies d’adaptation adéquates et efficaces est essentielle afin d’améliorer la santé, le bien-être et la prévention des rechutes. Cette recherche utilise la conception de l’adaptation de Roy (2009). De nombreuses études confirment la présence de difficultés d’adaptation chez ces personnes. De plus, le processus d’adaptation lui-même reste mal connu. La question de recherche était : Quel est le processus d’adaptation des personnes vivant avec la schizophrénie lorsque leur soutien social est limité ? Cette question sous-tendait deux objectifs : 1) décrire le processus d’adaptation des personnes atteintes de schizophrénie dans un contexte de soutien social limité et 2) contribuer au développement du modèle de Roy dans le contexte des troubles mentaux graves. Le devis de recherche était la théorisation ancrée constructiviste, auprès de 30 personnes vivant avec la schizophrénie. Les données étaient composées d’entrevues et de résultats de trois questionnaires qui ont contribué à décrire de façon plus détaillée le profil des participants. Les résultats sont une modélisation du processus d’adaptation nommée « les filtres dans le processus d’adaptation des personnes vivant avec la schizophrénie ». Cette modélisation met en lumière le fait que le potentiel d’adaptation des personnes vivant avec la schizophrénie est affecté à la fois par des éléments de l’environnement social et des éléments inhérents à la maladie elle-même. Ces éléments altèrent la possibilité et la capacité à utiliser des stratégies d’adaptation adéquates et efficaces. Ces résultats de recherche pourraient permettre d’améliorer l’évaluation des personnes atteintes de schizophrénie et de diminuer les « inconnues » dans l’effet des interventions, tout comme de favoriser les actions visant à lutter contre les conditions sociales qui nuisent à l’adaptation.

Stabilising suppressor of cytokine signalling 3 (SOCS3) protein levels to limit neointimal hyperplasia

Suppressor of cytokine signalling 3 (SOCS3) is a potent inhibitor of the mitogenic, migratory and pro-inflammatory pathways responsible for the development of neointimal hyperplasia (NIH), a key contributor to the failure of vascular reconstructive procedures. However, the protein levels of SOCS3, and therefore its potential to reduce NIH, is limited by its ubiquitylation and high turnover by the proteasome. I hypothesised that stabilisation of endogenous SOCS3 by inhibiting its ubiquitylation has the potential to limit vascular inflammation and NIH. Consequently, the aim of this PhD was to identify the mechanisms promoting the rapid turnover of SOCS3. Initial experiments involved the identification of residues involved in regulating the turnover of SOCS3 at the proteasome. I assessed the ubiquitylation status of a panel of FLAG tagged SOCS3 truncation mutants and identified a C-terminal 44 amino acid region required for SOCS3 ubiquitylation. This region localised to the SOCS box which is involved in binding Elongin B/C and the formation of a functional E3 ubiquitin ligase complex. However, the single lysine residue at position 173, located within this 44 amino acid region, was not required for ubiquitylation. Moreover, Emetine chase assays revealed that loss of either Lys173 or Lys6 (as documented in the literature) had no significant effect on SOCS3 stability 8 hrs post emetine treatment. As mutagenesis studies failed to identify key sites of ubiquitylation responsible for targeting SOCS3 to the proteasome, LC-MS-MS analysis of a SOCS3 co-immunoprecipitate was employed. These data were searched for the presence of a Gly-Gly doublet (+114 Da mass shift) and revealed 8 distinct sites of ubiquitylation (Lys23, Lys28, Lys40, Lys85, Lys91, Lys173, Lys195, Lys206) on SOCS3 however Lys6 ubiquitylation was not detected. As multiple Lys residues were ubiquitylated, I hypothesised that only a Lys-less SOCS3, in which all 8 Lys residues were mutated to Arg, would be resistant to ubiquitylation. Compared to WT SOCS3, Lys-less SOCS3 was indeed found to be completely resistant to ubiquitylation, and significantly more stable than WT SOCS3. These changes occurred in the absence of any detrimental effect on the ability of Lys-less SOCS3 to interact with the Elongin B/C components required to generate a functional E3 ligase complex. In addition, both WT and Lys-less SOCS3 were equally capable of inhibiting cytokine-stimulated STAT3 phosphorylation upon co-expression with a chimeric EpoR-gp130 receptor. To assess whether SOCS3 auto-ubiquitylates I generated an L189A SOCS3 mutant that could no longer bind the Elongins and therefore form the E3 ligase complex required for ubiquitylation. A denaturing IP to assess the ubiquitylation status of this mutant was performed and revealed that, despite an inability to bind the Elongins, the L189A mutant was poly-ubiquitylated similar to WT SOCS3. Together these data suggested that SOCS3 does not auto-ubiquitylate and that a separate E3 ligase must regulate SOCS3 ubiquitylation. This study sought to identify the E3 ligase and deubiquitylating (DUB) enzymes controlling the ubiquitylation of SOCS3. Our initial strategy was to develop a tool to screen an E3 ligase/DUB library, using an siARRAY, to sequentially knockdown all known E3 ligases in the presence of a SOCS3-luciferase fusion protein or endogenous SOCS3 in a high content imaging screening platform. However, due to a poor assay window (<2) and non-specific immunoreactivity of SOCS3 antibodies available, these methods were deemed unsuitable for screening purposes. In the absence of a suitable tool to screen the si-ARRAY, LC-MS-MS analysis of a SOCS3 co-immunoprecipitate (co-IP) was investigated. I performed a SOCS3 under conditions which preserved protein-protein interactions, with the aim of identifying novel E3 ligase and/or DUBs that could potentially interact with SOCS3. These data were searched for E3 ligase or DUB enzymes that may interact with SOCS3 in HEK293 cells and identified two promising candidates i) an E3 ligase known as HectD1 and ii) a DUB known as USP15. This thesis has demonstrated that in the presence of HectD1 overexpression, a slight increase in K63-linked polyubiquitylation of SOCS3 was observed. Mutagenesis also revealed that an N-terminal region of SOCS3 may act as a repressor of this interaction with HectD1. Additionally, USP15 was shown to reduce SOCS3 polyubiquitylation in a HEK293 overexpression system suggesting this may act as a DUB for SOCS3. The C-terminal region of SOCS3 was also shown to play a major role in the interaction with USP15. The original hypothesis of this thesis was that stabilisation of endogenous SOCS3 by inhibiting its ubiquitylation has the potential to limit vascular inflammation and NIH. Consistent with this hypothesis, immunohistochemistry visualisation of SOCS3, in human saphenous vein tissue derived from CABG patients, revealed that while SOCS3 was present throughout the media of these vessels the levels of SOCS3 within the neointima was reduced. Finally, preliminary data supporting the hypothesis that SOCS3 overexpression may limit the proliferation, but not migration, of human saphenous vein smooth muscle cells (HSVSMCs) is presented. It is expected that multiple E3 ligases and DUBs will contribute to the regulation of SOCS3 turnover. However, the identification of candidate E3 ligases or DUBs that play a significant role in SOCS3 turnover may facilitate the development of peptide disruptors or gene therapy targets to attenuate pathological SMC proliferation. A targeted approach, inhibiting the interaction between SOCS3 and identified E3 ligase, that controls the levels of SOCS3, would be expected to reduce the undesirable effects associated with global inhibition of the E3 ligase involved.

Elastic limit: The role of university-focused venture capital firms in extending knowledge and technology transfer

This paper has two main objectives. Firstly, to identify the role of the university-focused intermediaries, specifically UVCs, in order to explain how they interact at the early stage of USO creation, particularly regarding knowledge sharing. Secondly, to analyse whether they change their position once the USO is developed. This gives rise to two Research Questions: How does knowledge sharing occur in the dynamics of a university-based entrepreneurial ecosystem? And Do particular participants, such as UTTOs or UVCs, always occupy the same role and position within the university-based entrepreneurial ecosystem?

Self-Organizing Map Neural Architectures Based on Limit Cycle Attractors

Recent efforts to develop large-scale neural architectures have paid relatively little attention to the use of self-organizing maps (SOMs). Part of the reason is that most conventional SOMs use a static encoding representation: Each input is typically represented by the fixed activation of a single node in the map layer. This not only carries information in an inefficient and unreliable way that impedes building robust multi-SOM neural architectures, but it is also inconsistent with rhythmic oscillations in biological neural networks. Here I develop and study an alternative encoding scheme that instead uses limit cycle attractors of multi-focal activity patterns to represent input patterns/sequences. Such a fundamental change in representation raises several questions: Can this be done effectively and reliably? If so, will map formation still occur? What properties would limit cycle SOMs exhibit? Could multiple such SOMs interact effectively? Could robust architectures based on such SOMs be built for practical applications? The principal results of examining these questions are as follows. First, conditions are established for limit cycle attractors to emerge in a SOM through self-organization when encoding both static and temporal sequence inputs. It is found that under appropriate conditions a set of learned limit cycles are stable, unique, and preserve input relationships. In spite of the continually changing activity in a limit cycle SOM, map formation continues to occur reliably. Next, associations between limit cycles in different SOMs are learned. It is shown that limit cycles in one SOM can be successfully retrieved by another SOM’s limit cycle activity. Control timings can be set quite arbitrarily during both training and activation. Importantly, the learned associations generalize to new inputs that have never been seen during training. Finally, a complete neural architecture based on multiple limit cycle SOMs is presented for robotic arm control. This architecture combines open-loop and closed-loop methods to achieve high accuracy and fast movements through smooth trajectories. The architecture is robust in that disrupting or damaging the system in a variety of ways does not completely destroy the system. I conclude that limit cycle SOMs have great potentials for use in constructing robust neural architectures.

Tau Functions and the Limit of Block Toeplitz Determinants

International audience

Improved Venting for Flammability Limit Testing Using ASTM E681 Apparatus

The literature on the determination of flammability limits was reviewed and experts on the ASTM E681 standard were interviewed to identify new means of improving the reproducibility of the ASTM E681 test. Venting was identified as a variable of flammability limits not yet addressed. Limitations of the current system for sealing and venting (a rubber stopper) were identified and addressed by the development of a custom burst disc. The burst disc was evaluated for its ability to hold and maintain a vacuum, its ability to vent at pressures of interest, and for its venting phenomena. The burst disc was deemed to be a satisfactory alternative to the rubber stopper and is recommended to be included in the ASTM E681 standard.

Posidonia oceanica (L.) Delile in its westernmost biogeographical limit (northwestern Alboran Sea): Meadows characterisation, phenology and flowering events

Posidonia oceanica is a Mediterranean endemic seagrass species that forms meadows covering ca. 2.5–4.5 millions of hectares, representing ca.25 % of the infralittoral and shallow circalittoral (down to 50m) bottoms of the Mediterranean. This seagrass is considered a habitat-engineer species and provides an elevated number of ecosystem services. In addition the Marine Strategy Framework Directive (MSFD, 2008/56/EC) includes seagrass like elements to evaluate the “Good Environmental Status” of the European coasts. Information about their phenological characteristic and structure of the meadows is needed for indicator estimations in order to establish their conservation status. The studied meadows are located in the westernmost limit of the P. oceanica distribution (North-western Alboran Sea) in the vecinity of the Strait of Gibraltar, an Atlantic-Mediterranean water transition area. Four sites were selected from East to West: Paraje Natural de Acantilados de Maro-Cerro Gordo (hereafter Maro), Special Area of Conservation “Calahonda” (hereafter Calahonda), Site of Community Importance Estepona (hereafter Estepona) and Punta Chullera (hereafter Chullera) where P. oceanica present their westernmost meadows. Phenological data were recorded from mid November to mid December in P. oceanica patches located at 2 – 3 m depth. At each site three types of patches (patch area <1m2, small patches; 1-2 m2, medium patches and >2 m2, large patches) were sampled. At each patch and site, 3 quadrants of 45 x 45 cm were sampled for shoot and inflorescences density measurements. In each quadrant, 10 random shoots were sampled for shoot morphology (shoot height and number of leaves). Shoot and inflorescences densities were standardized to squared meters. All the studied P. oceanica meadows develop on rocks and they present a fragmented structure with a coverage ranging between ca. 45% in Calahonda and Estepona and ca. 31% in Maro. The meadows of Chullera are reduced to a few small - medium patches with areas ranging between 0.5-1.5 m2 (Fig. 1). The meadows of Chullera and Estepona presented similar values of shoot density (ca. 752 – 662 shoots m-2, respectively) and leaf height (ca. 25 cm). Similarly, the Calahonda and Maro meadows also showed similar values of shoot density (ca. 510 – 550 shoots m-2, respectively) but displaying lower values than those of sites located closer to the Strait of Gibraltar. Regarding patch sizes and leaf height, the longest leaves (ca. 25 cm) were found in medium and large patches, but the number of leaves per shoot were higher in the small and the medium size patches (ca. 6.3 leaves per shoot). Flowering was only detected at the Calahonda meadows with maximum values of ca. 330 inflorescences m-2 (115.2 ± 98.2 inflorescences m-2, n= 9; mean ± SD) (Fig.1). Inflorescence density was not significant different among patches of different sizes. In the Alboran Sea and unlike the studied meadows, extensive beds of P. oceanica occur at the National Park of Cabo de Gata (northeastern Alboran Sea), but from east to west (Strait of Gibraltar), meadows are gradually fragmenting and their depth range decrease from 30m to 2m depth between Cabo de Gata and Chullera, respectively. Probably, the Atlantic influence and the characteristic oceanographic conditions of the Alboran Sea (i.e., higher turbidity, higher water turbulence) represent a developmental limiting factor for P. oceanica at higher depths. Similarities between the meadows located closer to Strait of Gibraltar (Chullera and Estepona) were detected as well as between those more distant (Calahonda and Maro). The first ones showed higher values of shoot densities and leaf heights than the formers, which could be relating to the higher hydrodynamic exposure found at Chullera and Estepona meadows. Regarding flowering events, sexual reproduction in P. oceanica is not common in different locations of the Mediterranean Sea. The available information seems to indicate that flowering represent an irregular event and it is related to high seawater temperature. In fact, the flowering episodes that occurred in Calahonda in November 2015, match with the warmest year ever recorded. This is the third flowering event registered in these meadows located close to the westernmost distributional limit of P. oceanica (Málaga, Alboran Sea), which could indicates that these meadows presents a healthy status. Furthermore, the absence of significant differences in relation to inflorescence density between patches of different sizes may be indicating that the fragmentation does not necessarily influence on the flowering of this seagrass species.

Slope stability analysis for fill slopes using finite element limit analysis

This paper investigates the stability of fill slopes often found in embankment cases where frictional fill materials are placed on purely cohesive undrained clay with increasing strength. By using finite element upper and lower bound limit analysis for this investigation, the limit load can be truly bounded. It is known that two-dimensional analysis yields a more conservative result due to plain strain condition when compared to three-dimensional analysis. Therefore, this paper will focus on three-dimensional (3D) slope stability analysis and for comparison purposes two-dimensional analysis results will be employed. In fact, the final results are presented in the form of comprehensive chart solutions for the convenience of practicing engineers during preliminary slope design. The failure mechanism will also be discussed in order to further illustrate the situation during failure. It should be highlighted that the failure mechanisms are obtained through the numerical method itself and no prior assumptions are required, therefore, are more realistic and able to provide a better understanding for the slope failure surfaces.

On a Limit of Perturbed Conservation Laws with Diffusion and Non-Positive Dispersion

We consider a conservation law perturbed by a linear diffusion and a general form of non-positive dispersion. We prove the convergence of the corresponding solution to the entropy weak solution of the hyperbolic conservation law.

Determination of preventive maintenance lead time using hybrid analysis

The time for conducting Preventive Maintenance (PM) on an asset is often determined using a predefined alarm limit based on trends of a hazard function. In this paper, the authors propose using both hazard and reliability functions to improve the accuracy of the prediction particularly when the failure characteristic of the asset whole life is modelled using different failure distributions for the different stages of the life of the asset. The proposed method is validated using simulations and case studies.

Condensed phase combustion travelling waves with sequential exothermic or endothermic reactions

The one-dimensional propagation of a combustion wave through a premixed solid fuel for two-stage kinetics is studied. We re-examine the analysis of a single reaction travelling-wave and extend it to the case of two-stage reactions. We derive an expression for the travelling wave speed in the limit of large activation energy for both reactions. The analysis shows that when both reactions are exothermic, the wave structure is similar to the single reaction case. However, when the second reaction is endothermic, the wave structure can be significantly different from single reaction case. In particular, as might be expected, a travelling wave does not necessarily exist in this case. We establish conditions in the limiting large activation energy limit for the non-existence, and for monotonicity of the temperature profile in the travelling wave.

On the zeros of the Abelian integrals for a class of Liénard systems

A planar polynomial differential system has a finite number of limit cycles. However, finding the upper bound of the number of limit cycles is an open problem for the general nonlinear dynamical systems. In this paper, we investigated a class of Liénard systems of the form x'=y, y'=f(x)+y g(x) with deg f=5 and deg g=4. We proved that the related elliptic integrals of the Liénard systems have at most three zeros including multiple zeros, which implies that the number of limit cycles bifurcated from the periodic orbits of the unperturbed system is less than or equal to 3.

Systemic racism: the hidden barrier to educational success for Indigenous school students

Explanations for poor educational experiences and results for Australian Indigenous school students have, to a great extent, focused on intended or conscious acts or omissions. This paper adopts an analysis based on the legislation prohibiting indirect racial discrimination. Using the elements of the legislation and case law it argues that apparently benign and race-neutral policies and practices may unwittingly be having an adverse impact on Indigenous students' education. These practices or policies include the building blocks of learning, a Eurocentric school culture. Standard English as the language of assessment, legislation to limit schools' legal liability, and teachers' promotions.