Results 61 to 70 of about 44,292,339 (363)
occumb: An R package for site occupancy modeling of eDNA metabarcoding data
Population Ecology, EarlyView.This study introduces a new R package, occumb, for the convenient application of site occupancy modeling using environmental DNA (eDNA) metabarcoding data. We outline a data analysis workflow, including data setup, model fitting, model assessment, and comparison of potential study settings based on model predictions, all of which can be performed using
Keiichi Fukaya, Yuta Hasebe
wiley +1 more source
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code
, 2012 In recent projects on operating-system verification, C and C++ data types are often formalized using a semantics that does not fully specify the precise byte encoding of objects.
Tews, Hendrik +2 more
core +2 more sources
Tracking Data-Flow with Open Closure Types [PDF]
, 2013 Type systems hide data that is captured by function closures in function types. In most cases this is a beneficial design that favors simplicity and compositionality. However, some applications require explicit information about the data that is captured
A. Sabelfeld +3 more
core +5 more sources
Medical Statistics Series: Type of Data, Presentation of Data & Summarization of Data
National Journal of Community Medicine, 2021 Bio Statistics can define as the application of mathematical tools used in statistics to field of biological science and medicine statistics. Collection, organization, analysis ,interpretation and presentation of data very important part of bio medical ...
Swati Patel
doaj
Dendritic cells steering antigen and leukocyte traffic in lymph nodes
FEBS Letters, EarlyView.Dendritic cells are key players in the activation of T cells and their commitment to effector function. In this In a Nutshell Review, we will discuss how dendritic cells guide the trafficking of antigen and leukocytes in the lymph node, thus influencing T‐cell activation processes. Dendritic cells (DCs) play a central role in initiating and shaping the
Enrico Dotta +3 more
wiley +1 more source
A new type of mass structured data duplicate data check
MATEC Web of Conferences, 2016 In this study, the data processing method of a large-scale isoface is used to reduce the storage space of internal memory, improve data structure, and achieve predictability.
Huang Wen Qi +3 more
doaj +1 more source
A Logic for Abstract Data Types as Existential Types [PDF]
, 1999 The second-order lambda calculus allows an elegant formalisation of abstract data types (ADT's) using existential types. Plotkin and Abadi's logic for parametricity [PA93] then provides the useful proof principle of simulation for ADT's, which can be used to show equivalence of data representations.
Erik Poll, Jan Zwanenburg
openaire +3 more sources
The dual nature of TDC – bridging dendritic and T cells in immunity
FEBS Letters, EarlyView.TDC are hematopoietic cells combining dendritic and T cell features. They reach secondary lymphoid organs (SLOs) and peripheral organs (liver and lungs) after FLT3‐dependent development in the bone marrow and maturation in the thymus. TDC are activated and enriched in SLOs upon viral infection, suggesting that they might play unique immune roles, since
Maria Nelli, Mirela Kuka
wiley +1 more source
Improving Automatic Content Type Identification from a Data Set [PDF]
, 2017 Data file layout inference refers to building the structure and determining the metadata of a text file. The text files dealt within this research are personal information records that have a consistent structure. Traditionally, if the layout structure
Dai, Kathy T
core +2 more sources
Asteroseismology of Solar-type Stars with Kepler I: Data Analysis
, 2010 We report on the first asteroseismic analysis of solar-type stars observed by Kepler. Observations of three G-type stars, made at one-minute cadence during the first 33.5d of science operations, reveal high signal-to-noise solar-like oscillation spectra ...
Appourchaux, T. +48 more
core +3 more sources