Filters








307,596 Hits in 1.7 sec

Fractional permissions without the fractions

Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers
2011 Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs - FTfJP '11  
This paper contributes a flexible and expressive specification methodology for supporting fractional permissions while allowing the user to work at the abstract level of read and write permissions.  ...  Concretely, specification using fractional permissions typically requires the user to pick concrete mathematical values for partial permissions, making specifications overly verbose, tedious to write,  ...  Acknowledgements We would like to thank the attendees of the Dublin Concurrency Workshop 2011, particularly Andrew Butterfield and Peter O'Hearn, for encouraging feedback on a preliminary presentation  ... 
doi:10.1145/2076674.2076675 dblp:conf/ecoop/HeuleL0S11 fatcat:mlohpepeinhqrdcgfdste4dcnu

Abstract Read Permissions: Fractional Permissions without the Fractions [chapter]

Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers
2013 Lecture Notes in Computer Science  
This paper introduces abstract read permissions: a flexible and expressive specification methodology that supports fractional permissions while allowing the user to work at the abstract level of read and  ...  However, specification using fractional permissions typically requires the user to pick concrete mathematical values for partial permissions, making specifications overly low-level, tedious to write, and  ...  We thank John Boyland for discussions of the comparisons with fractional permissions.  ... 
doi:10.1007/978-3-642-35873-9_20 fatcat:hrh7jvlitffuramsqo7q55rl6q

Mesophyll conductance in two cultivars of wheat (Triticum aestivum) grown in glacial to super-elevated [CO2] [article]

Eisrat Jahan, Peter C Thomson, David T Tissue
2020 bioRxiv   pre-print
Although gm and gm/gsc (mesophyll conductance/stomatal conductance) were strongly associated with the variability of A and WUE, we found that plants with higher gm may increase A without increasing gsc  ...  In the two wheat genotypes, gm increased with rising [CO2] from glacial to ambient [CO2], but declined at super-elevated [CO2]; however, the specific mechanism of gm response to [CO2] remains unclear.  ...  No reuse allowed without permission. was not certified by peer review) is the author/funder. All rights reserved. No reuse allowed without permission.  ... 
doi:10.1101/2020.04.29.069492 fatcat:723auisyzvc7xbs4otp6cryvoy

Task-Aware Optimization of Dynamic Fractional Permissions [chapter]

Christoph M. Angerer
2014 Lecture Notes in Computer Science  
For three of the five benchmarks we have investigated, the fully optimized version is within 10% of the original version without fractional permissions.  ...  Tasks can grant read permission to subtasks by splitting their own permission into fractions and later collect those fractions back to re-gain the original permission.  ...  The baseline of this comparison is the runtime of the original version without the dynamic fractional permission system.  ... 
doi:10.1007/978-3-319-09967-5_3 fatcat:ohejzqs2xzbihdts6ipjtmzqiy

Purification, identification, and characterization of two benzophenanthridine alkaloids from Corydalis longicalcarata rhizomes with anti-mitotic and polyploidy-inducing activities [article]

Jing Zhang, Jinhua Li, Ziqi Yan, Hongmei Li, Qiong Shi, Linfang Huang, Thaddeus Allen, Dun Yang
2019 bioRxiv   pre-print
Mitosis has long been a therapeutic target for the treatment of cancer.  ...  Guided by the bioactivity-based assay, two benzophenanthridine alkaloids were purified and subsequently identified as corynoline and its close analog acetylcorynoline.  ...  ACKNOWLEDGEMENT The authors would like to thank Yan Long for technical support and the chemistry group at MBICR for discussion.  ... 
doi:10.1101/821124 fatcat:xehqlfnhczfdbenz6yefj3dnhq

Connecting effects and uniqueness with adoption

John Tang Boyland, William Retert
2005 Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05  
Null pointers break the type system. -the null pointer is non-linear, and no one has its key. 1. ''Fractional Permissions'' [Boyland, 2003] 2. Focus for multiple distinct adoptees permitted. 3.  ...  -The bank cannot be accessed without key; -A method needing to access the bank declares this need: • a method effect annotation. ❍ Uniqueness is represented by (encapsulated) keys -Only one key per object  ... 
doi:10.1145/1040305.1040329 dblp:conf/popl/BoylandR05 fatcat:pwjb37oakfb5ho4r2ovpqvlge4

Optimized liquid and gas phase fractionation increase HLA-peptidome coverage for primary cell and tissue samples [article]

Susan Klaeger, Annie Apffel, Karl R Clauser, Siranush Sarkizova, Giacomo Oliveira, Suzanna Rachimi, Phuong M Le, Anna Tarren, Vipheaviny Chea, Jennifer G Abelin, David A Braun, Patrick A Ott (+5 others)
2021 bioRxiv   pre-print
The combination of these two separation methods enabled identification of 20% to 50% more peptides compared to samples analyzed without either prior fractionation or use of ion mobility alone.  ...  However, current standard approaches often require many millions of cells for input material to achieve high coverage of the immunopeptidome and are therefore not compatible with the often limited amounts  ...  D.B.K. was supported by the Emerson  ... 
doi:10.1101/2021.05.25.445487 fatcat:nknj4klw7rfahipqajo2yuihmi

Gel Electrophoresis/Electroelution Sorting Fractionator combined with Filter Aided Sample preparation (FASP) for deep proteomic analysis [article]

Yassel Ramos, Alexis Almeida, Jenis Carpio, Arielis Rodriguez-Ulloa, Yasser Perera, Luis J. Gonzalez, Jacek R. Wisniewski, Vladimir Besada
2021 bioRxiv   pre-print
Protein extraction procedures strongly affect the performance of fractionation methods by provoking protein dispersion in several fractions.  ...  In the SDS-free PAGE setup, complex peptide mixtures can also be fractionated.  ...  Acknowledgements The authors thank to Katharina Zettl for technical support as well as to Nayade Beltran and Walter Ramirez for the supplemental video recording and editing. Funding  ... 
doi:10.1101/2021.04.16.440150 fatcat:m3khvpucnzcsljsrxahdoxrjsm

Comprehending annotations on object-oriented programs using fractional permissions

John Boyland, William Retert, Yang Zhao
2009 International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming - IWACO '09  
Fractional permissions are a general system for managing access to mutable state.  ...  We show how fractional permissions can give semantics to a regimen of annotations including "unique,""non-null,""read-only," ownership, and method effects.  ...  Without permission to the list, we could not access its owned nodes.  ... 
doi:10.1145/1562154.1562158 fatcat:wqmizhobsrfxfn3tjtnzypfkzm

Comparative evaluation of bolus and fractionated administration modalities for two antibody-cytokine fusions in immunocompetent tumor-bearing mice [article]

Emanuele Puca, Roberto De Luca, Dario Neri
2019 bioRxiv   pre-print
Fractionated schedules allowed the safe administration of a cumulative dose of L19-TNF, which was 2.5-times higher than the lethal dose for bolus injection.  ...  Thus, dose fractionation may have different outcomes for the same antibody-cytokine product in different biological contexts.  ...  The authors declare no additional conflict of interest. All rights reserved. No reuse allowed without permission.  ... 
doi:10.1101/712158 fatcat:zeu65qukybcx3fmc7f2dafoxva

Low Molecular Weight Components in Aqueous Echinacea Purpurea Leaf Extract Inhibit Melanoma Cell Growth

Ariel C Yin, Karina H Goldberg, Archana Mupparapu, Edward P Retzbach, Kingsley Yin, Catherine F Yang, Gary S Goldberg
2016 Gratis Journal of Cancer Biology and Therapeutics  
We also examined the effect of different fractions of the extract on melanoma cell growth.  ...  Furthermore, Echinacea extract inhibited the growth of v-Src transformed LA25 cells without reducing Src kinase activity.  ...  Acknowledgements This work was funded in part by support from the Osteopathic Heritage Foundation and the Graduate School of Biomedical Science at Rowan University-School of Osteopathic Medicine.  ... 
doi:10.18314/gjct.v2i1.93 fatcat:qnbrxcdmmvg4ffw4fs44uib2ly

Alternate annotation checkers using fractional permissions

Chao Sun
2011 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11  
The type system for the conservative checker is more high-level, albeit less precise. To prove its soundness, we piggy-pack its proof to that of fractional permission, which is already proven sound.  ...  Although existing annotation checker based on fractional permissions is powerful, it causes great space and runtime overhead.  ...  A type system can not be trusted without soundness property. For the conservative checker, we intend to use machine-checked proof, based on fractional permission system [6] .  ... 
doi:10.1145/2048147.2048178 dblp:conf/oopsla/Sun11 fatcat:7uqxflwkrjajthgkaj2ca5gdlq

Evaluation and refinement of sample preparation methods for extracellular matrix proteome coverage [article]

Maxwell C McCabe, Lauren R Schmitt, Ryan C Hill, Monika Dzieciatkowska, Mark Maslanka, Willeke F Daamen, Toin H van Kuppevelt, Danique J Hof, Kirk C Hansen
2020 bioRxiv   pre-print
The results are used to optimize a two-fraction ECM extraction method.  ...  Identification and evaluation of proteins in the extracellular matrix (ECM) has proved challenging due to the insolubility of many ECM proteins in traditional protein extraction buffers.  ...  No reuse allowed without permission.  ... 
doi:10.1101/2020.11.25.391946 fatcat:telf2wdex5ebbgdsbnymljzqwi

Automated program verification made SYMPLAR

Kevin Bierhoff
2011 Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software - ONWARD '11  
Symbolic permissions provide a simple alias control mechanism with expressiveness similar to the well-known fractional permissions [Boyland 2003 ].  ...  This paper introduces the use of symbolic permissions as the basis for sound automated program verification.  ...  Acknowledgments The author thanks Ciera Jaspan and Nels Beckman for valuable feedback on earlier drafts of this paper.  ... 
doi:10.1145/2048237.2048242 dblp:conf/oopsla/Bierhoff11 fatcat:7mw6slfukfbxtlf2cspoou6o5u

Proteostasis perturbation destabilizes respiratory complex assembly-intermediates via aggregation of subunits [article]

Shivali Rawat, Anusha Valpadashi, Manoranjan Jha, Sreedurgalakshmi K, Anamika Ghosh, Debabani Ganguly, Swasti Raychaudhuri
2018 bioRxiv   pre-print
Here, we perturbed proteostasis by blocking proteasome-mediated protein degradation and investigated proteome partitioning from soluble to insoluble fraction.  ...  Aggregation of Respiratory Chain Complex (RCC) subunits highlights the early destabilization event as revealed by proteome redistribution.  ...  Gapdh served as loading control for the total and soluble fraction; β-actin for the insoluble fraction. All rights reserved. No reuse allowed without permission.  ... 
doi:10.1101/312793 fatcat:3afaiout4bdx3lxjmy3rm76oxm
« Previous Showing results 1 — 15 out of 307,596 results