Results 71 to 80 of about 33,509 (214)

Semantics for Locking Specifications [PDF]

arXiv, 2015
To prevent concurrency errors, programmers need to obey a locking discipline. Annotations that specify that discipline, such as Java's @GuardedBy, are already widely used. Unfortunately, their semantics is expressed informally and is consequently ambiguous.
arxiv  

The development and deployment of Common Data Elements for tissue banks for translational research in cancer – An emerging standard based approach for the Mesothelioma Virtual Tissue Bank

BMC Cancer, 2008
Background Recent advances in genomics, proteomics, and the increasing demands for biomarker validation studies have catalyzed changes in the landscape of cancer research, fueling the development of tissue banks for translational research.
Farhat Ghada, Whelan Nancy B, Kim Paula, Milliken Erin, Winters Sharon B, Schmandt Linda, Pople Andrew K, Parwani Anil V, Amin Waqas, Mistry Amita T, Mohanty Sambit K, Melamed Jonathan, Taioli Emanuela, Dhir Rajiv, Pass Harvey I, Becich Michael J   +15 more
doaj   +1 more source

The Nuclear Receptor NR1B1/RARα Arrests the Differentiation of Anti‐Tumor Effector Cytotoxic T Cells

Advanced Science, EarlyView.
RARα is highly expressed by differentiated effector and exhausted T cells and exerts a negative effect on effector T cell differentiation and the associated trafficking receptor switch. Upregulated RARα levels decrease the nuclear histone acetylase (HAT) activity, and this suppresses the expression of key Teff transcription factor BATF and trafficking ...
Patrick Niekamp, Ryun Hee Kim, Adithyan Jayaraman, Nils Klement, Raymond Kostlan, Chang H. Kim   +5 more
wiley   +1 more source

Code Generation for Event-B [PDF]

arXiv, 2016
Stepwise refinement and Design-by-Contract are two formal approaches for modelling systems. These approaches are widely used in the development of systems. Both approaches have (dis-)advantages. This thesis aims to answer, is it possible to combine both approaches in the development of systems, providing the user with the benefits of both?
arxiv  

FOUNTAIN: A JAVA open-source package to assist large sequencing projects

BMC Bioinformatics, 2001
Background Better automation, lower cost per reaction and a heightened interest in comparative genomics has led to a dramatic increase in DNA sequencing activities.
Prill Florian, Buerstedde Jean-Marie
doaj   +1 more source

Advancements in Biochar as a Sustainable Adsorbent for Water Pollution Mitigation

Advanced Science, EarlyView.
Biochar, obtained through pyrolysis of organic waste, serves as a sustainable solution for wastewater treatment due to its adaptability and low‐cost nature. This review comprehensively examines recent advancements in biochar production, functional modifications, and applications, highlighting the integration of machine learning and artificial ...
Devika Laishram, Su‐Bin Kim, Seul‐Yi Lee, Soo‐Jin Park   +3 more
wiley   +1 more source

How Asian slum emissions impact local microclimates in polluted air masses

Atmospheric Science Letters, Volume 23, Issue 12, December 2022., 2022
Cook stove emissions over urban sprawl in South India and expected microphysical implications. Combustion‐mediated soot and black carbon from biomass burning in shantytowns modulate the local cloud cover. Abstract Urban sprawl comprising densely populated slums over South Asian cities yields copious amounts of soot and black carbon from archaic cooking
Satyajit Ghosh, C. R. Sathish Kumar, Siddharth Gumber, Steven Dobbie, Huiyi Yang   +4 more
wiley   +1 more source

Java Subtyping as an Infinite Self-Similar Partial Graph Product [PDF]

arXiv, 2018
Due to supporting variance annotations, such as wildcard types, the subtyping relation in Java and other generic nominally-typed OO programming languages is both interesting and intricate. In these languages, the subtyping relation between ground object types, i.e., ones with no type variables, is the basis for defining the full OO subtyping relation ...
arxiv  

OLS Dialog: An open-source front end to the Ontology Lookup Service

BMC Bioinformatics, 2010
Background With the growing amount of biomedical data available in public databases it has become increasingly important to annotate data in a consistent way in order to allow easy access to this rich source of information.
Eidhammer Ingvar, Côté Richard G, Barsnes Harald, Martens Lennart   +3 more
doaj   +1 more source

Ultra‐low LOD H2O2 Sensor Based on Synergistic Nernst Potential Effect

Advanced Science, EarlyView.
Due to the synergistic effect of ENernst,H2O2${E}_{\mathrm{Nernst},\ {\mathrm{H}}_{2}{\mathrm{O}}_{2}}$ and ENernst,H+${E}_{\mathrm{Nernst},\ {\mathrm{H}}^{+}}$, the proposed sensors in this study can achieve ultralow H2O2 detection limit as low as 1.8 × 10−12 M based on the stacked PEDOT: BTB/PEDOT: PSS semiconducting layer.
Zhaoqun Wang, Wen Gao, Xiaorong Niu, Yuhang Liu, Zichen Jin, Fan Zhang, Zhengdong Cheng, Xiaoning Jiang, Wendong Zhang, Ting Wang, Jianlong Ji, Xiaojie Chai, Shengbo Sang   +12 more
wiley   +1 more source