Results 41 to 50 of about 216,568 (279)

Algorithm Animations for Teaching and Learning the Main Ideas of Basic Sortings

Informatics in Education, 2017
Algorithms are hard to understand for novice computer science students because they dynamically modify values of elements of abstract data structures. Animations can help to understand algorithms, since they connect abstract concepts to real life objects
Ladislav VÉGH, Veronika STOFFOVÁ
doaj   +1 more source

Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
The proof of a program property can be reduced to the proof of satisfiability of a set of constrained Horn clauses (CHCs) which can be automatically generated from the program and the property.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti   +3 more
doaj   +1 more source

Sweep maps: A continuous family of sorting algorithms

, 2014
We define a family of maps on lattice paths, called sweep maps, that assign levels to each step in the path and sort steps according to their level. Surprisingly, although sweep maps act by sorting, they appear to be bijective in general.
Armstrong, Drew, Loehr, Nicholas A., Warrington, Gregory S.   +2 more
core   +1 more source

Identification of serum protein biomarkers for pre‐cancerous lesions associated with pancreatic ductal adenocarcinoma

Molecular Oncology, EarlyView.
This work identified serum proteins associated with pancreatic epithelial neoplasms (PanINs) and early‐stage PDAC. Proteomics screens assessed genetically engineered mice with abundant PanINs, KPC mice (Lox‐STOP‐Lox‐KrasG12D/+ Lox‐STOP‐Lox‐Trp53R172H/+ Pdx1‐Cre) before PDAC development and also early‐stage PDAC patients (n = 31), compared to benign ...
Hannah Mearns, Jaclyn S. Long, Sergio Lilla, Kelly Hodge, Marcus J. G. W. Ladds, Colin Nixon, Paula Fernández‐Palanca, Sara Zanivan, Pilar Acedo, Stephen P. Pereira, Kevin M. Ryan   +10 more
wiley   +1 more source

Real-time ore sorting using color and texture analysis

International Journal of Mining Science and Technology, 2023
Sensor-based ore sorting is a technology used to classify high-grade mineralized rocks from low-grade waste rocks to reduce operation costs. Many ore-sorting algorithms using color images have been proposed in the past, but only some validate their ...
David G. Shatwell, Victor Murray, Augusto Barton   +2 more
doaj   +1 more source

Network divergence analysis identifies adaptive gene modules and two orthogonal vulnerability axes in pancreatic cancer

Molecular Oncology, EarlyView.
Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson, Lyanne Delgado‐Coka, Natalia Marchenko, Luisa F. Escobar‐Hoyos, Kenneth R. Shroyer, Alisa Yurovsky, Trey Ideker, Gábor Balázsi, Thomas MacCarthy, Scott Powers   +9 more
wiley   +1 more source

Application of machine vision in material identification and sorting

Xi'an Gongcheng Daxue xuebao, 2021
In order to improve the efficiency and reduce the cost in the process of material sorting material identification, positioning and grabbing system based on machine vision was designed, including material transfer unit, material identification and ...
Juanjuan REN, Zhongqiang FENG
doaj   +1 more source

Interrogating the immune landscape of microsatellite stable RAS‐mutated colon cancer

Molecular Oncology, EarlyView.
COLOSSUS project RAS‐mutated MSS colon cancer study explored transcriptomics and immune cell density by immunohistochemistry (IHC), Immunoscore (IS), ISIC/TuLIS scores, mutation counts, and detected different prevalences but similar microenvironment composition across immune markers with clinical relevance for future immunotherapy combination ...
Rodrigo Dienstmann, Eduardo García‐Galea, Alice O'Farrell, Zak Kinsella, Maxime Meylan, Florent Petitprez, Ingrid Arijs, Tom Venken, Hari Ps, Adrian Lärkeryd, Ian Miller, Janick Selves, Nadja Meindl‐Beinker, Fiorella Ruiz‐Pace, Elena Élez, Raquel Comas‐Navarro, Frank Lincoln, Dirk Fey, Gift Nyamundanda, Aoife Nolan, Joern Lewin, Raquel Perez‐Lopez, Jonathan Briody, Kathleen Bennett, Walter Kolch, David Matallanas, Alexander Kel, Enrique Arenas, Joaquín Arribas, Bart Ghesquière, Josep Tabernero, Julie Meilleroux, Deborah McNamara, Ray McDermott, Marvin Lim, Mary O'Reilly, Brian Bird, Lisa Stack, Lucia Moloney, Patrick Morris, Keith Egan, Maciej Milewski, Lars Scheuer, Joachim Behringer, Georg Bolz, Ramon Salazar, Cristina Santos, Andrea Ruiz, Orla Casey, Verena Murphy, Matthias Ebert, Livio Trusolino, Diether Lambrechts, Anguraj Sadanandam, Catherine Sautès‐Fridman, Jochen Prehn, Paolo Nuciforo, Jacques Fieschi, Florence Monville, Darran O'Connor, Wolf Fridman, Annette Byrne   +61 more
wiley   +1 more source

Statistical benchmarking of voting theory methods

Lietuvos Matematikos Rinkinys, 2016
In the article 8 candidates sorting algorithms were compared by Monte Carlo experiments. 6 of them are constructed on the basis of voting theory and 2 – on the basis of Kemeny median. The largest number of correct decisions averages and the least average
Aleksandras Krylovas, Natalja Kosareva
doaj   +1 more source

Sorting algorithms [PDF]

, 2011
Pri obrovských objemech dat, které se behem výrobních procesu zpracovávají, je snadná orientace a hledání v nich zcela zásadní. Správné a rychlé trídení dat je jednou z nejduležitejších cinností pri jejich zpracování.
Schwarz, Jakub
core