Results 11 to 20 of about 3,989,764 (156)
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation [PDF]
The actor model eases the definition of concurrent programs with non uniform behaviors. Static analysis of such a model was previously done in a data-flow oriented way, with type systems.
A. Igarashi+20 more
core +4 more sources
SkelCL - A Portable Skeleton Library for High-Level GPU Programming [PDF]
While CUDA and OpenCL made general-purpose programming for Graphics Processing Units (GPU) popular, using these programming approaches remains complex and error-prone because they lack high-level abstractions.
Gorlatch, Sergei+2 more
core +1 more source
Multiwavelength analysis of three SNe associated with GRBs observed by GROND [PDF]
After the discovery of the first connection between GRBs and SNe almost two decades ago, tens of SN-like rebrightenings have been discovered and about seven solid associations have been spectroscopically confirmed to date.
Afonso, P. M. J.+16 more
core +2 more sources
Background To develop and validate a conventional MRI-based radiomic model for predicting prognosis in patients with IDH wild-type glioblastoma (GBM) and reveal the biological underpinning of the radiomic phenotypes. Methods A total of 801 adult patients
Fangzhan Guan+14 more
doaj +1 more source
Control of autonomous robot behavior using data filtering through adaptive resonance theory
The aim of the article is to use neural networks to control autonomous robot behavior. The type of the controlling neural network was chosen a backpropagation neural network with a sigmoidal transfer function.
Adam Barton, Eva Volna, Martin Kotyrba
doaj +1 more source
Diabetes prediction model based on an enhanced deep neural network
Today, diabetes is one of the most common, chronic, and, due to some complications, deadliest diseases in the world. The early detection of diabetes is very important for its timely treatment since it can stop the progression of the disease. The proposed
Huaping Zhou+2 more
doaj +1 more source
Highlight Research • The Set Net was identified and recorded. • Length and weight of the catch of set net was analyzed. Abstract Set net fisheries are made according to traditional fishing gears method in the coastal waters of Sungai Sembilang ...
Wan Muhammad Luqman bin Wan Rosdi+6 more
doaj +1 more source
A General Introduction To Graph Visualization Techniques [PDF]
Generally, a graph is an abstract data type used to represent relations among a given set of data entities. Graphs are used in numerous applications within the field of information visualization, such as VLSI (circuit schematics), state-transition ...
Ebert, Achim+2 more
core +1 more source
Screening marker genes of type 2 diabetes mellitus in mouse lacrimal gland by LASSO regression
Type 2 diabetes mellitus (T2DM) is characterized by insulin resistance and a relative deficiency of insulin. This study aims to screen T2DM-related maker genes in the mouse extraorbital lacrimal gland (ELG) by LASSO regression.C57BLKS/J strain with ...
Xiaoting Pei+7 more
doaj +1 more source
Network enrichment analysis: extension of gene-set enrichment analysis to gene networks [PDF]
Background Gene-set enrichment analyses (GEA or GSEA) are commonly used for biological characterization of an experimental gene-set. This is done by finding known functional categories, such as pathways or Gene Ontology terms, that are over-represented ...
Alexeyenko Andrey+7 more
core +2 more sources