Výsledky vyhľadávania - Algorithms Keywords program synthesis

Glushkov’s Algorithmic Algebras and Automated Parallel Computing Design Autor 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…”
Získať plný 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 Autor 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…”
Získať plný text

Ensuring Prevention Science Research is Synthesis-Ready for Immediate and Lasting Scientific Impact Autor 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…”
Získať plný text

Ontological and Algebra-Algorithmic Tools for Automated Design of Parallel Programs for Cloud Platforms Autor 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…”
Získať plný text

Synthesizing Signaling Pathways from Temporal Phosphoproteomic Data Autor 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…”
Získať plný text

Programmable Feedback Shift Register Autor 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…”
Získať plný text

Tumor Neoepitope-Based Vaccines: A Scoping Review on Current Predictive Computational Strategies Autor 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…”
Získať plný text

Accuracy and interpretability of smartwatch electrocardiogram for early detection of atrial fibrillation: A systematic review and meta‐analysis Autor 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…”
Získať plný text

Development of algorithmic algebra tools to design parallel programs using heuristics Autor 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…”
Získať plný text

Rotation Averaging Autor 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…”
Získať plný text

Creating and curating a community of practice: introducing the evidence synthesis Hackathon and a special series in evidence synthesis technology Autor 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…”
Získať plný text

riboviz: analysis and visualization of ribosome profiling datasets Autor 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…”
Získať plný text

Quantitative texture analysis using machine learning for predicting interpretable pulmonary perfusion from non-contrast computed tomography in pulmonary embolism patients Autor 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…”
Získať plný text

Rxn-INSIGHT: fast chemical reaction analysis using bond-electron matrices Autor 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…”
Získať plný text

Inferring protein from transcript abundances using convolutional neural networks Autor 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…”
Získať plný text

Operon-based approach for the inference of rRNA and tRNA evolutionary histories in bacteria Autor 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…”
Získať plný text

Computational strategies for non-convex multistage MINLP models with decision-dependent uncertainty and gradual uncertainty resolution Autor 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…”
Získať plný text

An improved algorithm for flux variability analysis Autor 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…”
Získať plný text

Advances in methods for characterising dietary patterns: a scoping review Autor 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…”
Získať plný text

A Systematic Review of Fitness Apps and Their Potential Clinical and Sports Utility for Objective and Remote Assessment of Cardiorespiratory Fitness Autor 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…”
Získať plný text