Structural insights into the contactin 1 – neurofascin 155 adhesion complex

Cell-surface expressed contactin 1 and neurofascin 155 control wiring of the nervous system and interact across cells to form and maintain paranodal myelin-axon junctions. The molecular mechanism of contactin 1 – neurofascin 155 adhesion complex formation is unresolved. Crystallographic structures of complexed and individual contactin 1 and...

Cas4-Cas1 Is a Protospacer Adjacent Motif-Processing Factor Mediating Half-Site Spacer Integration during CRISPR Adaptation

The immunization of bacteria and archaea against invading viruses via CRISPR adaptation is critically reliant on the efficient capture, accurate processing, and integration of CRISPR spacers into the host genome. The adaptation proteins Cas1 and Cas2 are sufficient for successful spacer acquisition in some CRISPR-Cas systems. However, many...

Systematic Mapping Study on the Machine Learning Lifecycle

The development of artificial intelligence (AI) has made various industries eager to explore the benefits of AI. There is an increasing amount of research surrounding AI, most of which is centred on the development of new AI algorithms and techniques. However, the advent of AI is bringing an increasing set of practical problems related to AI...

A framework for quality assessment of just-in-time requirements: The case of open source feature requests

Until now, quality assessment of requirements has focused on traditional up-front requirements. Contrasting these traditional requirements are just-in-time (JIT) requirements, which are by definition incomplete, not specific and might be ambiguous when initially specified, indicating a different notion of "correctness." We analyze how the...

Quality of Just-in-Time Requirements: Just-Enough and Just-in-Time

The goal of this thesis was to obtain a deeper understanding of the notion of quality for Just-in-Time (JIT) Requirements. JIT requirements are the opposite of up-front requirements. JIT requirements are not analyzed or defined until they are needed meaning that development is allowed to begin with incomplete requirements. We started our...

Quality criteria for just-in-time requirements: Just enough, just-in-time?

Just-in-time (JIT) requirements drive agile teams in planning and implementing software systems. In this paper, we start with the hypothesis that performing informal verification of JIT requirements is useful. For this purpose we propose a framework for quality criteria for JIT requirements. This framework can be used by JIT teams to define ...

De novo sequencing of two novel peptides homologous to calcitonin-like peptides, from skin secretion of the Chinese Frog, Odorrana schmackeri

An MS/MS based analytical strategy was followed to solve the complete sequence of two new peptides from frog (Odorrana schmackeri) skin secretion. This involved reduction and alkylation with two different alkylating agents followed by high resolution tandem mass spectrometry. De novo sequencing was achieved by complementary CID and ETD...

Combining Insar, levelling and GNSS for the estimation of 3D surface displacements

The three geodetic techniques InSAR, levelling and GNSS are complementary w.r.t. (i) the sensitivity to horizontal and vertical displacement components, (ii) the spatial and temporal resolution of the measurements and (iii) the accuracy of the resulting displacements. We present a strategy to robustly combine the displacement estimates of the...

A Quality Framework for Agile Requirements: A Practitioner’s Perspective

Verification activities are necessary to ensure that the requirements are specified in a correct way. However, until now requirements verification research has focused on traditional up-front requirements. Agile or just-in-time requirements are by definition incomplete, not specific and might be ambiguous when initially specified, indicating a...

Supporting decision making in technology standards battles based on a fuzzy analytic hierarchy process

In many markets, battles are fought over technology standards. Often, these battles result in a single standard that achieves dominance. Decision making in standards battles is complex due to the lack of insights about the factors that influence the outcome of such battles. These include the characteristics of the standard, the stakeholders, the...

The fluxes through glycolytic enzymes in Saccharomyces cerevisiae are predominantly regulated at posttranscriptional levels

Metabolic fluxes may be regulated ‘‘hierarchically,’’ e.g., by changes of gene expression that adjust enzyme capacities (Vmax) and/or ‘‘metabolically’’ by interactions of enzymes with substrates, products, or allosteric effectors. In the present study, a method is developed to dissect the hierarchical regulation into contributions by...

Ultra-high degree spherical harmonic analysis and synthesis using extended-range arithmetic

We present software for spherical harmonic analysis (SHA) and spherical harmonic synthesis (SHS), which can be used for essentially arbitrary degrees and all co-latitudes in the interval (0°, 180°). The routines use extended-range floating-point arithmetic, in particular for the computation of the associated Legendre functions. The price to be...

Influence of numerical and physical parameters on an implicit partitioned fluid-structure solver

sensitivity of the coupled system is a crucial point. The investigation of characteristic values which are influencing the sensitivity, especially the numerical one, and therefrom the derivation of robust parameters for numerical simulations is the main purpose of this contribution. The method which is employed to solve the fluid-structure...