Results 21 to 30 of about 1,848,485 (266)

Ruby vs. Perl – the Languages of Bioinformatics

open access: yesStudies in Logic, Grammar and Rhetoric, 2013
Ruby and Perl are programming languages used in many fields. In this paper we would like to present their usefulness with regard to basic bioinformatic problems.
Goliński Maciej   +1 more
doaj   +1 more source

On a directed tree problem motivated by a newly introduced graph product

open access: yesElectronic Journal of Graph Theory and Applications, 2015
In this paper we introduce and study a directed tree problem motivated by a new graph product that we have recently introduced and analysed in two conference contributions in the context of periodic real-time processes.
Antoon H. Boode   +2 more
doaj   +1 more source

AligNet: alignment of protein-protein interaction networks

open access: yesBMC Bioinformatics, 2020
Background All molecular functions and biological processes are carried out by groups of proteins that interact with each other. Metaproteomic data continuously generates new proteins whose molecular functions and relations must be discovered.
Adrià Alcalá   +4 more
doaj   +1 more source

The Evaluation of Skeletal Age Based on Computer-Supported Methods in Comparison to the Atlas Method

open access: yesStudies in Logic, Grammar and Rhetoric, 2013
This article describes methods used in estimating skeletal age based both on the evaluation of skeletal maturation of the palm and the wrist (Greulich and Pyle’s atlas method) and the Cervical Vertebral Maturation method (CVM).
Predko-Maliszewska Anna   +2 more
doaj   +1 more source

A Spectrogram-Based Approach for Tire-Type Classification Using Pass-by Noise

open access: yesIEEE Access
This study presents a non-intrusive approach for tire type classification using pass-by noise recorded from a single roadside microphone. Unlike camera-based or sensor-based systems, the proposed method enables contactless monitoring under real traffic ...
Mustafa Demetgul   +2 more
doaj   +1 more source

Formal Methods in Practice

open access: yesElectronic Notes in Theoretical Computer Science, 1999
AbstractTechnology transfer from academic research to industrial practice is hampered by social, political and economic problems more that by technical issues. This paper describes one instance of successful technology transfer based on a special-purpose language and associated translation tool tailored to the customer's needs.
openaire   +1 more source

A Framework for Cybersecurity Requirements Management in the Automotive Domain

open access: yesSensors, 2023
The rapid development of intelligent connected vehicles has increased the attack surface of vehicles and made the complexity of vehicle systems unprecedented.
Feng Luo   +4 more
doaj   +1 more source

Formal Methods in Industry

open access: yesFormal Aspects of Computing
Formal methods encompass a wide choice of techniques and tools for the specification, development, analysis, and verification of software and hardware systems. Formal methods are widely applied in industry, in activities ranging from the elicitation of requirements and the early design phases all the way to the deployment, configuration, and runtime ...
Maurice H. ter Beek   +14 more
openaire   +2 more sources

Feasibility and Safety of Somato‐Cognitive Coordination Therapy for Cerebellar Ataxia Following Pediatric Brain Tumor Treatment

open access: yesPediatric Blood &Cancer, EarlyView.
ABSTRACT Background Cerebellar ataxia after pediatric brain tumor treatment can cause persistent gait, balance, and speech impairment, yet no established rehabilitation strategy exists. Somato‐cognitive coordination therapy (SCCT) is a virtual reality–guided intervention designed to promote sensorimotor integration through visually constrained reaching
Masanobu Takeuchi   +10 more
wiley   +1 more source

A Taxonomy of MBSE Approaches by Languages, Tools and Methods

open access: yesIEEE Access, 2022
Systems engineering has gained in maturity over the last decades and started a transition from document-centric approaches to Model-Based Systems Engineering (MBSE).
Pierre De Saqui-Sannes   +3 more
doaj   +1 more source

Home - About - Disclaimer - Privacy