Results 21 to 30 of about 8,751,229 (374)
Using object-oriented databases in face recognition
The aim of the work is to develop an algorithm functioning by a face recognition system using object-oriented databases. The system provides automatic identification of the desired object or identifies someone using a digital photo or video frame from a ...
X. C. Dong, V. I. Ionin
doaj +1 more source
Abstract Data Types in Event-B - An Application of Generic Instantiation [PDF]
Integrating formal methods into industrial practice is a challenging task. Often, different kinds of expertise are required within the same development.
David Basin +4 more
openalex +4 more sources
Conflict-free Replicated Data Types (CRDTs) [PDF]
A conflict-free replicated data type (CRDT) is an abstract data type, with a well defined interface, designed to be replicated at multiple processes and exhibiting the following properties: (1) any replica can be modified without coordinating with ...
Nuno M. Preguiça +2 more
semanticscholar +1 more source
Ovarian cancer beyond imaging: integration of AI and multiomics biomarkers
High-grade serous ovarian cancer is the most lethal gynaecological malignancy. Detailed molecular studies have revealed marked intra-patient heterogeneity at the tumour microenvironment level, likely contributing to poor prognosis.
Sepideh Hatamikia +7 more
doaj +1 more source
Background Single-cell RNA sequencing (scRNA-seq) provides an effective tool to investigate the transcriptomic characteristics at the single-cell resolution.
Yang Qi +3 more
doaj +1 more source
Deriving semantics from WS-BPEL specifications of parallel business processes on an example [PDF]
WS-BPEL is a widely accepted standard for specification of business distributed and parallel processes. This standard is a mismatch of algebraic and Petri net paradigms.
Vladimir Dimitrov
doaj +1 more source
Connectivity between Abstraction Layers in Declarative ADT-Based Problem-Solving Processes
For over a decade, a declarative approach to problem solving based on the use of abstract data types (ADTs) has been taught to high-school students as part of the logic programming instructional unit.
Bruria HABERMAN, Zahava SCHERZ
doaj +1 more source
Brain Data Standards - A method for building data-driven cell-type ontologies
Large-scale single-cell ‘omics profiling is being used to define a complete catalogue of brain cell types, something that traditional methods struggle with due to the diversity and complexity of the brain.
Shawn Zheng Kai Tan +19 more
doaj +1 more source
Mini-Projects Development in Computer Science - Students' Use of Organization Tools
This paper describes a study aimed at identifying different profiles of students' project development processes. Specifically, we assessed the use of abstract data types for the development of knowledge-based projects. The concept of abstract data types
Zahava SCHERZ, Bruria HABERMAN
doaj +1 more source
Background Inference of person-to-person transmission networks using surveillance data is increasingly used to estimate spatiotemporal patterns of pathogen transmission.
John H. Huber +10 more
doaj +1 more source

