Results 31 to 40 of about 417,784 (319)
Journal of Computer and System Sciences, 1992 AbstractWe reconsider the old problem of sorting under partial information, and give polynomial time algorithms for the following tasks: (1) Given a partial order P, find (adaptively) a sequence of comparisons (questions of the form, "is x < y?") which sorts ( i.e., finds an unknown linear extension of) P using O(log(e(P))) comparisons in worst case ...
Jeong Han Kim, Jeff Kahn
openaire +2 more sources
Saturating Sorting without Sorts
EPiC Series in ComputingWe present a first-order theorem proving framework for establishing the correctness of functional programs implementing sorting algorithms with recursive data structures. We formalize the semantics of recursive programs in many-sorted first-order logic and integrate sortedness/permutation properties within our first-order formalization.
Georgiou, Pamina +2 more
openaire +2 more sources
Operators of equivalent sorting power and related Wilf-equivalences [PDF]
Discrete Mathematics & Theoretical Computer Science, 2013 We study sorting operators $\textrm{A}$ on permutations that are obtained composing Knuth's stack sorting operator \textrmS and the reverse operator $\textrm{R}$, as many times as desired.
Michael Albert, Mathilde Bouvel
doaj +1 more source
RAB11-Mediated Trafficking and Human Cancers: An Updated Review
Biology, 2021 Many disorders block and subvert basic cellular processes in order to boost their progression. One protein family that is prone to be altered in human cancers is the small GTPase RAB11 family, the master regulator of vesicular trafficking. RAB11 isoforms
Elsi Ferro, Carla Bosia, Carlo C. Campa
doaj +1 more source
Population Ecology, EarlyView.We investigate the seasonal dynamics of two freshwater snails, Biomphalaria straminea and Melanoides tuberculata, in artificial reservoirs of the Brazilian semiarid region. Despite regulated hydrology, B. straminea exhibited strong seasonal fluctuations associated with dry periods, while M. tuberculata maintained stable populations throughout the year,
Lucas Henrique Sousa da Silva +6 more
wiley +1 more source
Journal of Mathematical Cryptology, 2022 We investigate the problem of recovering integer inputs (up to an affine scaling) when given only the integer monotonic polynomial outputs. Given nn integer outputs of a degree-dd integer monotonic polynomial whose coefficients and inputs are integers ...
Vivek Srinivas +2 more
doaj +1 more source
Spatial-Light-Modulator-Based Multichannel Data Transmission by Vortex Beams of Various Orders
Sensors, 2021 We report an atmospheric multichannel data transmission system with channel separation by vortex beams of various orders, including half-integer values. For the demultiplexing of the communication channels, a multichannel diffractive optical element (DOE)
Svetlana N. Khonina +2 more
doaj +1 more source
Science of Computer Programming, 1990 Accepted Version - CS_TR_90_06.pdf Accepted Version - postscript ...
Hofstee, H. Peter +2 more
openaire +4 more sources
Protein secretion: Sorting sweet sorting [PDF]
Current Biology, 1996 AbstractMembrane-spanning, lectin-like proteins in the eukaryotic secretory pathway seem to operate quality-control checkpoints by fine tuning protein exit or retention within each subcompartment.
George Banting, Sreenivasan Ponnambalam
openaire +2 more sources
Insights into PI3K/AKT signaling in B cell development and chronic lymphocytic leukemia
FEBS Letters, EarlyView.This Review explores how the phosphoinositide 3‐kinase and protein kinase B pathway shapes B cell development and drives chronic lymphocytic leukemia, a common blood cancer. It examines how signaling levels affect disease progression, addresses treatment challenges, and introduces novel experimental strategies to improve therapies and patient outcomes.
Maike Buchner
wiley +1 more source