More on Merging and Selection

More on Merging and Selection

In his paper <i>On Merging and Selection</i> (<i>Journal of Functional Programming</i> 7(3), 1997), Bird considers the problem of computing the nth element of the list resulting from merging the two sorted lists x and y. Representing x and y by trees, Bird derives an algorith...

Fuld beskrivelse

Bibliografiske detaljer
Hovedforfatter:	Gibbons, J
Format:	Report
Udgivet:	School of Computing and Mathematical Sciences‚ Oxford Brookes University 1997

Lignende værker

On Merging and Selection
af: Bird, R
Udgivet: (1997)

More on the Relations among Categorization, Merge and Labeling, and Their Nature
af: Koji Hoshi
Udgivet: (2019-11-01)

Impact of Road Environment on Drivers’ Preference to Merging Location Selection in Freeway Work Zone Merging Areas
af: Biao Wu, et al.
Udgivet: (2022-01-01)

The Strong Minimalist Thesis Is too Strong: Syntax Is More Than Just Merge
af: Deniz Satık
Udgivet: (2022-12-01)

Merged
af: Ng, Kai Yuan, et al.
Udgivet: (2018)

Measuring burden of disease in both asthma and COPD by merging the ACQ and CCQ: less is more?
af: Liz J. A. Cuperus, et al.
Udgivet: (2024-05-01)

Merging support system considering the constraint of the merging zone
af: Kazuhiro NISHIWAKI, et al.
Udgivet: (2021-12-01)

The Asymmetry of Merge
af: Anna Maria Di Sciullo, et al.
Udgivet: (2008-12-01)

The Problem of Merge
af: Mariela Destefano
Udgivet: (2020-05-01)

Merging of the senses
af: Sidney A Simon, et al.
Udgivet: (2008-08-01)

More than the sum of its parts: Merging network psychometrics and network neuroscience with application in autism
af: Joe Bathelt, et al.
Udgivet: (2022-06-01)

High-Selectivity Bandpass Filter Based on Two Merged Ring Resonators
af: X. Y. Weng, et al.
Udgivet: (2021-09-01)

MergeReference: A Tool for Merging Reference Panels for HLA Imputation
af: Seungho Cook, et al.
Udgivet: (2017-09-01)

Merging support system suppressing the jerk under the constraint of the merging zone
af: Kazuhiro NISHIWAKI, et al.
Udgivet: (2022-11-01)

Merging Microarray Data, Robust Feature Selection, and Predicting Prognosis in Prostate Cancer
af: Jing Wang, et al.
Udgivet: (2006-01-01)

Merging microarray data, robust feature selection, and predicting prognosis in prostate cancer
af: Kevin R. Coombes, et al.
Udgivet: (2006-01-01)

Selective spectral correlation for efficient map merging in multi‐robot systems
af: Heoncheol Lee
Udgivet: (2021-04-01)

Contextual Merged Processes
af: Rodríguez, C, et al.
Udgivet: (2013)

Contextual Merged Processes
af: Rodríguez, C, et al.
Udgivet: (2013)

Merges and acquisitions [videorecording]
Udgivet: (2004)

Software merging and slicing /
af: Berzins, Valdis
Udgivet: (1995)

Rebuttal to "Merge Is Not 'Lerge'"
af: Jeffrey Watumull, et al.
Udgivet: (2023-08-01)

Merge in the Ethereum Blockchain
af: András Bertalan, et al.
Udgivet: (2023-07-01)

Time to merge boundaries
af: Ashish Jain
Udgivet: (2013-01-01)

MergeBathy (2015)
af: Samantha Zambo, et al.
Udgivet: (2018-01-01)

Consequences of pair-merge (at the interfaces)
af: Aritz Irurtzun, et al.
Udgivet: (2007-04-01)

Improvement of Region-Merging Image Segmentation Accuracy Using Multiple Merging Criteria
af: Haoyu Wang, et al.
Udgivet: (2021-07-01)

The Merging of Biological and Electronic Circuits
af: Jonathan J.Y. Teo, et al.
Udgivet: (2020-11-01)

Joint Machine Selection and Buffer Allocation in Large Split and Merge Manufacturing Systems
af: Shaohui Xi, et al.
Udgivet: (2023-01-01)

A feature selection method based on synonym merging in text classification system
af: Haipeng Yao, et al.
Udgivet: (2017-10-01)

Split and Merge Based Quantitative Approach to Select Filter Combination for Image Segmentation
af: Goyal Amit, et al.
Udgivet: (2016-01-01)

Turbulent mixing of merging plumes
af: Lee, Selina Chien Cheah.
Udgivet: (2008)

Merging of gold and semiconductor at nanoscale
af: Kamysbayev Vladislav
Udgivet: (2014)

Merging in automated transportation systems.
af: Godfrey, Michael Bick
Udgivet: (2017)

Chance to merge with top airline
af: Rasid, Amir Hisyam, et al.
Udgivet: (2019)

Droplet merging on the heterogeneous surface
af: Kho, Chen Wei
Udgivet: (2014)

Merging Footwear Design and Functionality
af: Kutnjak-Mravlinčić Suzana, et al.
Udgivet: (2020-11-01)

Crossing crafts, merging arts
af: Zanette T. Glørstad
Udgivet: (2023-10-01)

Art, Life and Media Merge
af: Vibeke Sorensen
Udgivet: (2017-08-01)

Merging of degree and index theory
af: Martin Väth
Udgivet: (2006-09-01)