Search PubMed⌕ Search

SEARCH · Search PubMed

Results for “computational frameworks”

Search indexed PubMed citations on genomics, clinical trials, systematic reviews and public health. Explore titles, authors and supplied subject terms, then open the PubMed record.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,189 records · Page 66Linked to original sources

Mutual information in coupled multi-shape model for medical image segmentation.

This paper presents extensions which improve the performance of the shape-based deformable active contour model presented earlier in [IEEE Conf. Comput. Vision Pattern Recog. 1 (2001) 463] for medical image segmentation. In contrast to that previous work, the segmentation framework that we present in this paper allows multiple shapes to be segmented simultaneously in a seamless fashion. To achieve this, multiple signed distance functions are employed as the implicit representations of the multiple shape classes within the image. A parametric model for this new representation is derived by applying principal component analysis to the collection of these multiple signed distance functions. By deriving a parametric model in this manner, we obtain a coupling between the multiple shapes within the image and hence effectively capture the co-variations among the different shapes. The parameters of the multi-shape model are then calculated to minimize a single mutual information-based cost criterion for image segmentation. The use of a single cost criterion further enhances the coupling between the multiple shapes as the deformation of any given shape depends, at all times, upon every other shape, regardless of their proximity. We found that this resulting algorithm is able to effectively utilize the co-dependencies among the different shapes to aid in the segmentation process. It is able to capture a wide range of shape variability despite being a parametric shape-model. And finally, the algorithm is robust to large amounts of additive noise. We demonstrate the utility of this segmentation framework by applying it to a medical application: the segmentation of the prostate gland, the rectum, and the internal obturator muscles for MR-guided prostate brachytherapy.

Algorithms↗

FPNA: interaction between FPGA and neural computation.

Neural networks are usually considered as naturally parallel computing models. But the number of operators and the complex connection graph of standard neural models can not be directly handled by digital hardware devices. More particularly, several works show that programmable digital hardware is a real opportunity for flexible hardware implementations of neural networks. And yet many area and topology problems arise when standard neural models are implemented onto programmable circuits such as FPGAs, so that the fast FPGA technology improvements can not be fully exploited. Therefore neural network hardware implementations need to reconcile simple hardware topologies with complex neural architectures. The theoretical and practical framework developed, allows this combination thanks to some principles of configurable hardware that are applied to neural computation: Field Programmable Neural Arrays (FPNA) lead to powerful neural architectures that are easy to map onto FPGAs, thanks to a simplified topology and an original data exchange scheme. This paper shows how FPGAs have led to the definition of the FPNA computation paradigm. Then it shows how FPNAs contribute to current and future FPGA-based neural implementations by solving the general problems that are raised by the implementation of complex neural networks onto FPGAs.

Computers↗

The research we still are not doing: an agenda for the study of computer-based learning.

Media-comparative research-that is, the comparison of computer-based learning (CBL) to noncomputer instruction-is logically impossible because there are no valid comparison groups. Results from media-comparative studies are thus confounded and difficult to meaningfully interpret. In 1994, Friedman proposed that such research be supplanted by investigations into CBL designs, usage patterns, assessment methods, and integration. His proposal appears to have largely been ignored. In this article, the author updates the agenda for research in CBL (including Web-based learning). While media-comparative studies are confounded, CBL-CBL comparisons are often not. CBL instructional designs vary in configuration (e.g., discussion board or tutorial), instructional method (e.g., case-based learning, personalized feedback, or simulation), and presentation (e.g., screen layout, hyperlinks, or multimedia). Comparisons within one level (for example, comparing two instructional methods) facilitate evidence-based improvements, but comparisons between levels are confounded. Additional research questions within the CBL-CBL framework might include: Does adaptation of CBL in response to individual differences such as prior knowledge, computer experience, or learning style improve learning outcomes? Will integrating CBL with everyday clinical practice facilitate learning? How can simulations augment clinical training? And, how can CBL be integrated within and between institutions? In addressing these questions it is important to remember the most important outcome-effect on patients and practice-and outcomes specific to CBL including costs, cognitive structuring, and learning unique to the computer-based environment. CBL is not a panacea, but holds great promise. Realization of this potential requires that media-comparative studies be replaced by rigorous, theory-guided comparisons of CBL interventions.

Computer-Assisted Instruction↗

Theoretical spectroscopy of the calcium dimer in the A 1Sigma(u)+, c3Pi(u), and a3Sigma(u)+ manifolds: an ab initio nonadiabatic treatment.

Nonadiabatic theory of molecular spectra of diatomic molecules is presented. It is shown that in the fully nonadiabatic framework, the rovibrational wave functions describing the nuclear motions in diatomic molecules can be obtained from a system of coupled differential equations. The rovibrational wave functions corresponding to various electronic states are coupled through the relativistic spin-orbit coupling interaction and through different radial and angular coupling terms, while the transition intensities can be written in terms of the ground state rovibrational wave function and bound rovibrational wave functions of all excited electronic states that are electric dipole connected with the ground state. This theory was applied in the nearly exact nonadiabatic calculations of energy levels, line positions, and intensities of the calcium dimer in the A (1)Sigma(u) (+)(1 (1)S+1 (1)D), c (3)Pi(u)(1 (3)P+1 (1)S), and a (3)Sigma(u) (+)(1 (3)P+1 (1)S) manifolds of states. The excited state potentials were computed using a combination of the linear response theory within the coupled-cluster singles and doubles framework for the core-core and core-valence electronic correlations and of the full configuration interaction for the valence-valence correlation, and corrected for the one-electron relativistic terms resulting from the first-order many-electron Breit theory. The electric transition dipole moment governing the A (1)Sigma(u) (+)<--X (1)Sigma(g) (+) transitions was obtained as the first residue of the frequency-dependent polarization propagator computed with the coupled-cluster method restricted to single and double excitations, while the spin-orbit and nonadiabatic coupling matrix elements were computed with the multireference configuration interaction wave functions restricted to single and double excitations. Our theoretical results explain semiquantitatively all the features of the observed Ca(2) spectrum in the A (1)Sigma(u) (+)(1 (1)S+1 (1)D), c (3)Pi(u)(1 (3)P+1 (1)S), and a (3)Sigma(u) (+)(1 (3)P+1 (1)S) manifolds of states.

Journal Article↗

Theory-based approach to computer skill development in nursing administration.

The authors describe a theory-based approach to computer skill development in nursing administration that is a strategy for preparing nurse administrators to meet the challenge for effective decision making in the rapidly changing health care environment. A framework is presented using theories of decision making and information processing to integrate the development of knowledge and skills for decision making with knowledge and skills associated with computer decision support. Computerized support is available to help managers be effective at each stage of the decision-making process. Focusing on five stages of the decision-making process, the authors discuss how computers can facilitate decision-making. Computer applications introduced throughout a three-semester program in nursing administration include bibliographic databases, thought and word processing, database programs, decision analysis programs, spreadsheets, and project management programs. The curriculum and course activities are described.

Computer User Training↗

Robust anisotropic Gaussian fitting for volumetric characterization of pulmonary nodules in multislice CT.

This paper proposes a robust statistical estimation and verification framework for characterizing the ellipsoidal (anisotropic) geometrical structure of pulmonary nodules in the Multislice X-ray computed tomography (CT) images. Given a marker indicating a rough location of a target, the proposed solution estimates the target's center location, ellipsoidal boundary approximation, volume, maximum/average diameters, and isotropy by robustly and efficiently fitting an anisotropic Gaussian intensity model. We propose a novel multiscale joint segmentation and model fitting solution which extends the robust mean shift-based analysis to the linear scale-space theory. The design is motivated for enhancing the robustness against margin-truncation induced by neighboring structures, data with large deviations from the chosen model, and marker location variability. A chi-square-based statistical verification and analytical volumetric measurement solutions are also proposed to complement this estimation framework. Experiments with synthetic one-dimensional and two-dimensional data clearly demonstrate the advantage of our solution in comparison with the gamma-normalized Laplacian approach (Linderberg, 1998) and the standard sample estimation approach (Matei, 2001). A quasi-real-time three-dimensional nodule characterization system is developed using this framework and validated with two clinical data sets of thin-section chest CT images. Our experiments with 1310 nodules resulted in (1) robustness against intraoperator and interoperator variability due to varying marker locations, (2) 81% correct estimation rate, (3) 3% false acceptance and 5% false rejection rates, and (4) correct characterization of clinically significant nonsolid ground-glass opacity nodules. This system processes each 33-voxel volume-of-interest by an average of 2 s with a 2.4-GHz Intel CPU. Our solution is generic and can be applied for the analysis of blob-like structures in various other applications.

Algorithms↗

A token-pruning framework enables efficient representation of the human genome for RNA modification analysis.

MOTIVATION: Modelling long genomic sequences remains challenging due to extreme sequence length, high redundancy, and the need for biological interpretability. Although Transformer-based architectures have achieved strong performance across genomic tasks, their high computational cost and reliance on fixed tokenization strategies limit their scalability and ability to focus on biologically informative regions. RESULTS: We propose ATSFormer, a token-pruning Transformer framework for efficient and biologically informed genomic sequence modelling. ATSFormer incorporates an attention-guided and parameter-free Adaptive Token Sampling (ATS) module into Transformer layers. Guided by attention-derived importance scores, ATS dynamically retains informative tokens while probabilistically discarding redundant ones, thereby reducing sequence length, FLOPs, and memory usage without introducing additional learnable parameters or extra training procedures. Importantly, the retained tokens correspond to key contributors to model predictions, enabling ATSFormer to highlight biologically meaningful sites and sequence motifs. We evaluated ATSFormer on four benchmark RNA modification datasets derived from RMVar 2.0, covering A-to-I, m1A, m5C, and m7G. Experimental results show that ATSFormer consistently outperforms existing state-of-the-art methods while achieving substantial computational savings. Furthermore, structural analysis using AlphaFold3 supports the biological relevance of the motifs identified by ATSFormer. AVAILABILITY AND IMPLEMENTATION: The source data and code are freely available at GitHub (https://github.com/1gao2/ATSFormer) and Zenodo (https://doi.org/10.5281/zenodo.21813541).

Humans↗

Autonomous stair-climbing with miniature jumping robots.

The problem of vision-guided control of miniature mobile robots is investigated. Untethered mobile robots with small physical dimensions of around 10 cm or less do not permit powerful onboard computers because of size and power constraints. These challenges have, in the past, reduced the functionality of such devices to that of a complex remote control vehicle with fancy sensors. With the help of a computationally more powerful entity such as a larger companion robot, the control loop can be closed. Using the miniature robot's video transmission or that of an observer to localize it in the world, control commands can be computed and relayed to the inept robot. The result is a system that exhibits autonomous capabilities. The framework presented here solves the problem of climbing stairs with the miniature Scout robot. The robot's unique locomotion mode, the jump, is employed to hop one step at a time. Methods for externally tracking the Scout are developed. A large number of real-world experiments are conducted and the results discussed.

Algorithms↗

Parallel algorithms for phylogenetic inference under a structured coalescent approximation.

While advances in molecular epidemiology and computational modeling have enhanced our capacity to track pathogen evolution, the accurate reconstruction of spatiotemporal transmission dynamics remains essential for developing epidemic preparedness frameworks and implementing outbreak response measures. Structured coalescent models offer a phylogeographic framework by restricting lineage coalescence events to geographically proximate host populations. Although the Bayesian structured coalescent approximation (BASTA) provides a tractable approach, contemporary phylogeographic analyses involving dozens of geographic localities and hundreds to thousands of viral genomes substantially exceed the computational capacity of existing implementations. The BASTA likelihood scales cubically with deme count and quadratically with sequence count due to matrix exponentiation and pairwise coalescent probability calculations. Here, we introduce a comprehensive algorithmic restructuring of the structured coalescent likelihood that eliminates redundancies, optimizes memory access, and exposes parallelization opportunities. Our approach reorganizes computations along three dimensions: (i) independent calculation of deme-transition probability matrices across time intervals; (ii) simultaneous evaluation of partial likelihood vectors within temporal slices; and (iii) concurrent aggregation of coalescent probabilities. Algorithmic restructuring cuts average coalescent likelihood computation by 7-8 fold, and parallelization further boosts performance to 10-26 fold, enabling joint phylogeographic analyses of dengue virus across 10 South American countries and H5N1 avian influenza across 20 Eurasian regions to finish in a fraction of prior time. This computational efficiency also enables comparison between backward-in-time structured coalescent approximations and forward-in-time phylogeographic methods, revealing that the former provides appropriately conservative posterior estimates, particularly at intermediate phylogenetic depths. We integrate our implementation into the popular BEAST X and BEAGLE software packages, with an accompanying interface in BEAUti X to easily set up the analyses, providing researchers with an accessible and scalable tool for real-time phylogeographic surveillance of rapidly evolving pathogens.

Journal Article↗

Analysis of migration paths in fast-ion conductors with Voronoi-Dirichlet partition.

In terms of the Voronoi-Dirichlet partition of the crystal space, definitions are given for such concepts as ;void', ;channel' and ;migration path' for inorganic structures with three-dimensional networks of chemical bonds. A number of criteria are proposed for selecting significant voids and migration channels for alkali cations Li+-Cs+ based on the average characteristics of the Voronoi-Dirichlet polyhedra for alkali metals in oxygen-containing compounds. A general algorithm to analyze the voids in crystal structures has been developed and implemented in the computer package TOPOS. This approach was used to predict the positions of Li+ and Na+ cations and to analyze their possible migration paths in the solid superionic materials Li3M2P3O12 (M=Sc, Fe; LIPHOS) and Na1+xZr2SixP3-xO12 (NASICON), whose framework structures consist of connected M octahedra and T tetrahedra. Using this approach we determine the most probable places for charge carriers (coordinates of alkali cations) and the dimensionality of their conducting sublattice with high accuracy. The theoretically calculated coordinates of the alkali cations in MT frameworks are found to correlate to within 0.33 A with experimental data for various phases of NASICON and LIPHOS. The proposed method of computer analysis is universal and suitable for investigating fast-ion conductors with other conducting components.

Journal Article↗

A Bayesian framework for multivariate differential analysis.

Differential analysis is a routine procedure in the statistical analysis toolbox across many applied fields, including quantitative proteomics, the main illustration of the present paper. The state-of-the-art limma approach uses a hierarchical formulation with moderated-variance estimators for each analyte directly injected into the t-statistic. While standard hypothesis testing strategies are recognised for their low computational cost, allowing for quick extraction of the most differential among thousands of elements, they generally overlook key aspects such as handling missing values, inter-element correlations, and uncertainty quantification. The present paper proposes a fully Bayesian framework for differential analysis, leveraging a conjugate hierarchical formulation for both the mean and the variance. Inference is performed by computing the posterior distribution of compared experimental conditions and sampling from the distribution of differences. This approach provides well-calibrated uncertainty quantification at a similar computational cost as hypothesis testing by leveraging closed-form equations. Furthermore, a natural extension enables multivariate differential analysis that accounts for possible inter-element correlations. We also demonstrate that, in this Bayesian treatment, missing at random data should generally be ignored in univariate settings, and further derive a tailored approximation that handles multiple imputation for the multivariate setting. We argue that probabilistic statements in terms of effect size and associated uncertainty are better suited to practical decision-making. Therefore, we finally propose simple and intuitive inference criteria, such as the overlap coefficient, which express group similarity as a probability rather than traditional, and often misleading, p-values. The performance of this approach is evaluated through an extensive empirical study using both synthetic and controlled real-world proteomics datasets. Overall, we believe that this Bayesian framework for (multivariate) differential analysis provides a valuable and intuitive counterpart to standard methods at a comparable computational cost.

Bayes Theorem↗

Symbolic inference of xenobiotic metabolism.

We present a new symbolic computational approach to elucidate the biochemical networks of living systems de novo and we apply it to an important biomedical problem: xenobiotic metabolism. A crucial issue in analyzing and modeling a living organism is understanding its biochemical network beyond what is already known. Our objective is to use the available metabolic information in a representational framework that enables the inference of novel biochemical knowledge and whose results can be validated experimentally. We describe a symbolic computational approach consisting of two parts. First, biotransformation rules are inferred from the molecular graphs of compounds in enzyme-catalyzed reactions. Second, these rules are recursively applied to different compounds to generate novel metabolic networks, containing new biotransformations and new metabolites. Using data for 456 generic reactions and 825 generic compounds from KEGG we were able to extract 110 biotransformation rules, which generalize a subset of known biocatalytic functions. We tested our approach by applying these rules to ethanol, a common substance of abuse and to furfuryl alcohol, a xenobiotic organic solvent, which is absent in metabolic databases. In both cases our predictions on the fate of ethanol and furfuryl alcohol are consistent with the literature on the metabolism of these compounds.

Algorithms↗

A coalescent approach to the polymerase chain reaction.

A versatile algorithm is developed to model PCR on a computer. The method is based on a modification of the coalescent process and provides a general framework to analyse data from PCR. It allows for incorporation of the dynamics of the replication process as described in terms of the number of starting template molecules and cycle-dependent PCR efficiency. The simulation method generates, as a first step, the genealogy of a set of sequences sampled from a final PCR product. In a second step a mutation process is superimposed and the resulting data set is analysed. The efficiency of our algorithm enables us to get reliable approximations of various sample distributions. We demonstrate the relevance of our method with two applications: maximum likelihood estimation of the error rate in PCR and a test of homogeneity of the template.

Algorithms↗

A general framework for non-Boltzmann Monte Carlo sampling.

Non-Boltzmann sampling (NBS) methods have been extensively employed in recent years, mainly due to their ability to enhance ergodicity in simulations of complex systems. In addition, they make possible reliable computation of equilibrium properties (ensemble averages, free-energy differences, and potentials of mean force) over continuous ranges of thermodynamic conditions. In this work, we put forward a general and systematic framework for NBS methods that allows a single set of equations and procedures to be applied to diverse systems. Moreover, we show how to exploit simulation data most effectively by obtaining continuous profiles of any mechanical properties, including structural quantities not directly related to the ensemble parameters. Finally, we demonstrate the usefulness of the developed formulation by applying it to spin systems, Lennard-Jones fluids, and a model protein molecule (both in isolation and in the proximity of a flat wall).

Algorithms↗

High-resolution random mesh algorithms for creating a probabilistic 3D surface atlas of the human brain.

Striking variations exist, across individuals, in the internal and external geometry of the brain. Such normal variations in the size, orientation, topology, and geometric complexity of cortical and subcortical structures have complicated the problem of quantifying deviations from normal anatomy and of developing standardized neuroanatomical atlases. This paper describes the design, implementation, and results of a technique for creating a three-dimensional (3D) probabilistic surface atlas of the human brain. We have developed, implemented, and tested a new 3D statistical method for assessing structural variations in a data-base of anatomic images. The algorithm enables the internal surface anatomy of new subjects to be analyzed at an extremely local level. The goal was to quantify subtle and distributed patterns of deviation from normal anatomy by automatically generating detailed probability maps of the anatomy of new subjects. Connected systems of parametric meshes were used to model the internal course of the following structures in both hemispheres: the parieto-occipital sulcus, the anterior and posterior rami of the calcarine sulcus, the cingulate and marginal sulci, and the supracallosal sulcus. These sulci penetrate sufficiently deeply into the brain to introduce an obvious topological decomposition of its volume architecture. A family of surface maps was constructed, encoding statistical properties of local anatomical variation within individual sulci. A probability space of random transformations, based on the theory of Gaussian random fields, was developed to reflect the observed variability in stereotaxic space of the connected system of anatomic surfaces. A complete system of probability density functions was computed, yielding confidence limits on surface variation. The ultimate goal of brain mapping is to provide a framework for integrating functional and anatomical data across many subjects and modalities. This task requires precise quantitative knowledge of the variations in geometry and location of intracerebral structures and critical functional interfaces. The surface mapping and probabilistic techniques presented here provide a basis for the generation of anatomical templates and expert diagnostic systems which retain quantitative information on intersubject variations in brain architecture.

Algorithms↗

Coordinate-based versus structural approaches to brain image analysis.

A basic issue in neurosciences is to look for possible relationships between brain architecture and cognitive models. The lack of architectural information in magnetic resonance images, however, has led the neuroimaging community to develop brain mapping strategies based on various coordinate systems without accurate architectural content. Therefore, the relationships between architectural and functional brain organizations are difficult to study when analyzing neuroimaging experiments. This paper advocates that the design of new brain image analysis methods inspired by the structural strategies often used in computer vision may provide better ways to address these relationships. The key point underlying this new framework is the conversion of the raw images into structural representations before analysis. These representations are made up of data-driven elementary features like activated clusters, cortical folds or fiber bundles. Two classes of methods are introduced. Inference of structural models via matching across a set of individuals is described first. This inference problem is illustrated by the group analysis of functional statistical parametric maps (SPMs). Then, the matching of new individual data with a priori known structural models is described, using the recognition of the cortical sulci as a prototypical example.

Brain↗

Fast incorporation of optical flow into active polygons.

In this paper, we first reconsider, in a different light, the addition of a prediction step to active contour-based visual tracking using an optical flow and clarify the local computation of the latter along the boundaries of continuous active contours with appropriate regularizers. We subsequently detail our contribution of computing an optical flow-based prediction step directly from the parameters of an active polygon, and of exploiting it in object tracking. This is in contrast to an explicitly separate computation of the optical flow and its ad hoc application. It also provides an inherent regularization effect resulting from integrating measurements along polygon edges. As a result, we completely avoid the need of adding ad hoc regularizing terms to the optical flow computations, and the inevitably arbitrary associated weighting parameters. This direct integration of optical flow into the active polygon framework distinguishes this technique from most previous contour-based approaches, where regularization terms are theoretically, as well as practically, essential. The greater robustness and speed due to a reduced number of parameters of this technique are additional and appealing features.

Algorithms↗

Bidirectional reaction steps in metabolic networks: IV. Optimal design of isotopomer labeling experiments.

This article generalizes the statistical tools for the evaluation of carbon-labeling experiments that have been developed for the case of positional enrichment systems in part II of this series to the general case of isotopomer systems. For this purpose, a new generalized measurement equation is introduced that can describe all kinds of measured data, like positional enrichments, relative (13)C nuclear magnetic resonance ((13)C NMR) multiplet intensities, or mass isotopomer fractions produced with mass spectroscopy (MS) instruments. Then, to facilitate the specification of the various measurement procedures available, a new flexible textual notation is introduced from which the complicated generalized measurement equations are generated automatically. Based on these measurement equations, a statistically optimal flux estimator is established and parameter covariance matrices for the flux estimation are computed. Having implemented these tools, different kinds of labeling experiments can be compared by using statistical quality measures. A general framework for the optimal design of carbon-labeling experiments is established on the basis of this method. As an example it is applied to the Corynebacterium network from part II extended by various NMR and MS measurements. In particular, the positional enrichment, multiplet, or mass isotopomer measurements with the greatest information content for flux estimation are computed (measurement design) and various differently labeled input substrates are compared with respect to flux estimation (input design). It is examined in detail how the measurement procedure influences the estimation quality of specific fluxes like the pentose phosphate pathway influx.

Algorithms↗