Results 61 to 70 of about 1,161,775 (292)
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
Improving the performance of bubble sort using a modified diminishing increment sorting [PDF]
, 2009 Sorting involves rearranging information into either ascending or descending order. There are many sorting algorithms, among which is Bubble Sort.
Oyelami, O. M.
core
Pediatric Blood &Cancer, EarlyView.ABSTRACT End‐of‐life conversations with adolescents and young adults (AYAs) with cancer rarely occur without the guidance of healthcare professionals. As a part of the ‘Difficult Discussions’ study, focused on palliative care and advance care planning discussions with AYAs with cancer, we investigated the factors that healthcare professionals identify ...
Justine Lee +9 more
wiley +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Neuromyelitis optica spectrum disorder (NMOSD) is a relapsing autoimmune disease of the central nervous system. High‐dose intravenous methylprednisolone (IVMP) is the standard first‐line therapy for acute attacks, although some patients remain refractory.
Wataru Horiguchi +5 more
wiley +1 more source
Membrane Mediated Sorting [PDF]
Physical Review Letters, 2010 Inclusions in biological membranes may interact via deformations they induce on the shape of that very membrane. Such deformations are a purely physical effect, resulting in nonspecific forces between the inclusions. In this Letter we show that this type of interaction can organize membrane domains and hence may play an important biological role. Using
Idema, T. +3 more
openaire +2 more sources
Zig-zag Sort: A Simple Deterministic Data-Oblivious Sorting Algorithm Running in O(n log n) Time
, 2014 We describe and analyze Zig-zag Sort--a deterministic data-oblivious sorting algorithm running in O(n log n) time that is arguably simpler than previously known algorithms with similar properties, which are based on the AKS sorting network. Because it is
Chvátal V. +5 more
core +1 more source
FEBS Letters, EarlyView.Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source
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
Phosphatidylinositol 4‐kinase as a target of pathogens—friend or foe?
FEBS Letters, EarlyView.This graphical summary illustrates the roles of phosphatidylinositol 4‐kinases (PI4Ks). PI4Ks regulate key cellular processes and can be hijacked by pathogens, such as viruses, bacteria and parasites, to support their intracellular replication. Their dual role as essential host enzymes and pathogen cofactors makes them promising drug targets.
Ana C. Mendes +3 more
wiley +1 more source