Search Results - Algorithms Keywords program synthesis

Glushkov’s Algorithmic Algebras and Automated Parallel Computing Design by Andon, P. I., Doroshenko, A. Yu, Ivanenko, P. A., Yatsenko, O. A.

“…An overview of the results obtained within the algebra of algorithms and tools for the automated development of programs for multiprocessor platforms is presented…”
Get full text

A novel computerized approach to scoping reviews using Synthesis software: the first 15 years of The American College of Surgeons National Surgical Quality Improvement Program by Mardinger, Cynthia, Drover, Alexander, Hyndman, Eric, Brindle, Mary, Fraulin, Frankie, Austen, Lea, Kortbeek, John, Yergens, Dean

“… We applied Synthesis to the National Surgical Quality Improvement Program (NSQIP), a high-quality database designed to measure risk-adjusted 30-day surgical outcomes for national and international benchmarking…”
Get full text

Ensuring Prevention Science Research is Synthesis-Ready for Immediate and Lasting Scientific Impact by Hennessy, Emily A., Acabchuk, Rebecca L., Arnold, Pieter A., Dunn, Adam G., Foo, Yong Zhi, Johnson, Blair T., Geange, Sonya R., Haddaway, Neal R., Nakagawa, Shinichi, Mapanga, Witness, Mengersen, Kerrie, Page, Matthew J., Sánchez-Tójar, Alfredo, Welch, Vivian, McGuinness, Luke A.

“… Many barriers impede comprehensive evidence synthesis, which leads to uncertainty about the generalizability of intervention effectiveness, including inaccurate titles/abstracts/keywords terminology…”
Get full text

Ontological and Algebra-Algorithmic Tools for Automated Design of Parallel Programs for Cloud Platforms by Doroshenko, A. Yu, Ovdii, O. M., Yatsenko, O. A.

“…An approach to the automated development of programs is proposed on the basis of ontological facilities and algebra-algorithmic tools for program design and synthesis…”
Get full text

Synthesizing Signaling Pathways from Temporal Phosphoproteomic Data by Köksal, Ali Sinan, Beck, Kirsten, Cronin, Dylan R., McKenna, Aaron, Camp, Nathan D., Srivastava, Saurabh, MacGilvray, Matthew E., Bodík, Rastislav, Wolf-Yadlin, Alejandro, Fraenkel, Ernest, Fisher, Jasmin, Gitter, Anthony

“… The Temporal Pathway Synthesizer (TPS) algorithm uses constraint-solving techniques first developed in the context of formal verification to explore paths in an interaction network…”
Get full text

Programmable Feedback Shift Register by Abdel-Hafeez, Saleh

“… Besides, an LFSR limits the sequences of scan-for-test patterns. This work introduces a private key, which is a collection of keywords, to program the feedback…”
Get full text

Tumor Neoepitope-Based Vaccines: A Scoping Review on Current Predictive Computational Strategies by Rocha, Luiz Gustavo do Nascimento, Guimarães, Paul Anderson Souza, Carvalho, Maria Gabriela Reis, Ruiz, Jeronimo Conceição

“… vaccines, outlining critical steps, along with the associated program’s strengths and limitations…”
Get full text

Accuracy and interpretability of smartwatch electrocardiogram for early detection of atrial fibrillation: A systematic review and meta‐analysis by Iqhrammullah, Muhammad, Abdullah, Asnawi, Hermansyah, Ichwansyah, Fahmi, Rani, Hafnidar A., Alina, Meulu, Simanjuntak, Artha M. T., Rampengan, Derren D. C. H., Al‐Gunaid, Seba Talat, Gusti, Naufal, Damarkusuma, Arditya, Wikurendra, Edza Aria

“…) were systematically screened and extracted. The quantitative synthesis was performed using a two‐level mixed‐effects logistic regression model, as well as a proportional…”
Get full text

Development of algorithmic algebra tools to design parallel programs using heuristics by Doroshenko, A. E., Kotyuk, N. V., Nikolayev, S. S., Tseytlin, G. E., Yatsenko, E. A.

“…The paper proposes a new approach and a system to develop parallel algorithms based on the joint use of the algebraic-algorithmic methodology of specification and development of programs and non-algorithmic (heuristic…”
Get full text

Rotation Averaging by Hartley, Richard, Trumpf, Jochen, Dai, Yuchao, Li, Hongdong

“… However, at the same time it contains many new results, which were developed to fill gaps in knowledge, answering fundamental questions such as radius of convergence of the algorithms, and existence of local minima…”
Get full text

Creating and curating a community of practice: introducing the evidence synthesis Hackathon and a special series in evidence synthesis technology by Haddaway, Neal R., Westgate, Martin J.

“…Evidence synthesis is a vital part of evidence-informed decision-making, but high growth in the volume of research evidence over recent decades has made efficient evidence synthesis increasingly challenging…”
Get full text

riboviz: analysis and visualization of ribosome profiling datasets by Carja, Oana, Xing, Tongji, Wallace, Edward W. J., Plotkin, Joshua B., Shah, Premal

“…Background Using high-throughput sequencing to monitor translation in vivo, ribosome profiling can provide critical insights into the dynamics and regulation of protein synthesis in a cell…”
Get full text

Quantitative texture analysis using machine learning for predicting interpretable pulmonary perfusion from non-contrast computed tomography in pulmonary embolism patients by Li, Zihan, Zhao, Meixin, Li, Zhichun, Huang, Yu-Hua, Chen, Zhi, Pu, Yao, Zhao, Mayang, Liu, Xi, Wang, Meng, Wang, Kun, Yeung, Martin Ho Yin, Geng, Lisheng, Cai, Jing, Zhang, Weifang, Yang, Ruijie, Ren, Ge

“…Background Pulmonary embolism (PE) is life-threatening and requires timely and accurate diagnosis, yet current imaging methods, like computed tomography…”
Get full text

Rxn-INSIGHT: fast chemical reaction analysis using bond-electron matrices by Dobbelaere, Maarten R., Lengyel, István, Stevens, Christian V., Van Geem, Kevin M.

“…The challenge of devising pathways for organic synthesis remains a central issue in the field of medicinal chemistry…”
Get full text

Inferring protein from transcript abundances using convolutional neural networks by Schwehn, Patrick Maximilian, Falter-Braun, Pascal

“…Background Although transcript abundance is often used as a proxy for protein abundance, it is an unreliable predictor. As proteins execute biological…”
Get full text

Operon-based approach for the inference of rRNA and tRNA evolutionary histories in bacteria by Pawliszak, Tomasz, Chua, Meghan, Leung, Carson K., Tremblay-Savard, Olivier

“… Analyzing how these genes and operons evolve can help us understand what are the most common evolutionary events affecting them and give us a better picture of ancestral codon usage and protein synthesis…”
Get full text

Computational strategies for non-convex multistage MINLP models with decision-dependent uncertainty and gradual uncertainty resolution by Tarhan, Bora, Grossmann, Ignacio E., Goel, Vikas

“…In many planning problems under uncertainty the uncertainties are decision-dependent and resolve gradually depending on the decisions made. In this paper, we…”
Get full text

An improved algorithm for flux variability analysis by Kenefake, Dustin, Armingol, Erick, Lewis, Nathan E., Pistikopoulos, Efstratios N.

“… In the literature, this has been done by solving 2 n + 1 linear programs (LPs), with n being the number…”
Get full text

Advances in methods for characterising dietary patterns: a scoping review by Hutchinson, Joy M., Raffoul, Amanda, Pepetone, Alexandra, Andrade, Lesley, Williams, Tabitha E., McNaughton, Sarah A., Leech, Rebecca M., Reedy, Jill, Shams-White, Marissa M., Vena, Jennifer E., Dodd, Kevin W., Bodnar, Lisa M., Lamarche, Benoît, Wallace, Michael P., Deitchler, Megan, Hussain, Sanaa, Kirkpatrick, Sharon I.

“… Approaches that have not traditionally been applied to characterise dietary patterns, such as latent class analysis and machine learning algorithms, may offer opportunities to characterise dietary…”
Get full text

A Systematic Review of Fitness Apps and Their Potential Clinical and Sports Utility for Objective and Remote Assessment of Cardiorespiratory Fitness by Muntaner-Mas, Adrià, Martinez-Nicolas, Antonio, Lavie, Carl J., Blair, Steven N., Ross, Robert, Arena, Ross, Ortega, Francisco B.

“… In addition, in the sports setting, CRF testing is needed to establish a baseline level, prescribe an individualized training program and monitor improvement in athletic performance…”
Get full text