The proton-coupled folate transporter (PCFT) was recently identified as the major uptake route for dietary folates in humans. The three-dimensional structure of PCFT and its detailed interplay with function remain to be determined. We screened the water-accessible extracellular surface of HsPCFT using the substituted-cysteine accessibility method, to investigate the boundaries between the water...

Since model-based testing (MBT) and agile development are two major approaches to increase the quality of software, this paper considers their combination. After motivating that strongly integrating both is the most fruitful, the demands on MBT for this integration are investigated: The model must be underspecifyable and iteratively refineable and test generation must efficiently handle this. T...

This research work is focused on the experimental validation of the OntoElect approach to ontology engineering in the case study of iterative refinement of the ICTERI Scope Ontology. OntoElect has been used for evaluating the commitment of the domain knowledge stakeholders to the ontological offering measured as positive and negative votes. The analysis of the measures allowed us answering the ...

The paper considers the problem of extracting background and foreground motions from image sequences based on the estimated displacements of a small set of image blocks. As a novelty, the uncertainty of local motion estimates is analyzed and exploited in the fitting of parametric object motion models which is done within a competitive framework. Prediction of patch labels is based on the tempor...

Automated abstraction is widely recognized as a key method for computer-aided verification of hardware and software. In this paper, we describe the evolution of counterexample-guided refinement and other iterative abstraction refinement techniques.

An acid-base switchable dendritic complex was constructed by self-assembly between dibenzo-24-crown-8 terminated T(10)-POSS dendrimer and dibenzylammonium hexafluorophosphate salt based on T(8)-POSS. The formation and its threading-dethreading property were characterized by (1)H NMR and UV-visible absorption spectroscopy.

An efficient synthesis of original bis-β-cyclodextrin-[2]cryptorotaxanes in moderate to high yields is described. A synthetic approach based on the template-directed self-assembly threading process in aqueous medium gives a structure stabilized exclusively through non-covalent interactions. This procedure reveals a simple and efficient way to prepare highly organized supramolecular receptors fr...

Current AMR simulations require algorithms that are highly parallelized and manage memory efficiently. As compute engines grow larger, AMR simulations will require algorithms that achieve new levels of efficient parallelization and memory management. We have attempted to employ new techniques to achieve both of these goals. Patch or grid based AMR often employs ghost cells to decouple the hyper...

In this work, sparse linear systems obtained from the streamline diffusion finite element discretization of the convection-diffusion equations are solved by a multigrid method and the generalized minimal residule method. Adaptive mesh refinement process is considered as an integral part of the solution process. We propose some stopping criteria for iterative solvers to ensure the iterative erro...