Results 31 to 40 of about 5,428,498 (297)

Analysis of breast region segmentation in thermal images using U-Net deep neural network variants

Frontiers in Bioinformatics
IntroductionBreast cancer detection using thermal imaging relies on accurate segmentation of the breast region from adjacent body areas. Reliable segmentation is essential to improve the effectiveness of computer-aided diagnosis systems.MethodsThis study
Rafhanah Shazwani Rosli, Mohamed Hadi Habaebi, Md Rafiqul Islam, Mohammed Abdulla Salim Al Hussaini   +3 more
doaj   +1 more source

A Survey on Mobility Support in Wireless Body Area Networks

Sensors, 2017
Wireless Body Area Networks (WBANs) have attracted research interests from the community, as more promising healthcare applications have a tendency to employ them as underlying network technology.
Beom-Su Kim, Kyong Hoon Kim, Ki-Il Kim
doaj   +1 more source

Towards a greater reliability of driver/device communication around the system life cycle through a contract-based protocol specification

IET Cyber-Physical Systems, 2018
Vehicle computers, Internet of Things and cyber-physical systems are all examples of electronic devices in which embedded systems require greater flexibility to process different types of applications and communication protocols.
Rafael Melo Macieira, Edna Barros
doaj   +1 more source

Real-time thermography for breast cancer detection with deep learning

Discover Artificial Intelligence
In this study, we propose a framework that enhances breast cancer classification accuracy by preserving spatial features and leveraging in situ cooling support.
Mohammed Abdulla Salim Al Husaini, Mohamed Hadi Habaebi, Md Rafiqul Islam   +2 more
doaj   +1 more source

Beyond the Document: A Single‐Center Qualitative Study of Survivorship Care Plan Barriers and Opportunities Across Pediatric Oncology Stakeholders

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Survivorship care plans (SCPs) summarize cancer treatment and guide risk‐based follow‐up for cancer survivors, yet remain difficult to create, share, and use. Stakeholder perspectives are needed to inform usable approaches.
Molly S. Talman, Emma Fleisher, Megan E. Salwei, Debra Friedman, Laurie Novak   +4 more
wiley   +1 more source

The Application of Coloured Petri Nets to Verification of Distributed Systems Specified by Message Sequence Charts

Труды Института системного программирования РАН, 2018
The language of message sequence charts (MSC) is a popular scenario-based specification language used to describe the interaction of components in distributed systems. However, the methods for validation of MSC diagrams are underdeveloped.
S. A. Chernenok, V. A. Nepomniaschy
doaj   +1 more source

Real-Time Control of a Battery Energy Storage System Using a Reconfigurable Synchrophasor-Based Control System

Energies, 2023
Synchrophasor-driven smart grid applications aiming to orchestrate a diverse set of Distributed Energy Resources (DERs) require extensive infrastructure including substantial instrumentation hardware, communication network extensions and controller ...
Prottay M. Adhikari, Luigi Vanfretti, Hao Chang, Koushik Kar   +3 more
doaj   +1 more source

Survey of crosschain communications protocols

Computer Networks, 2021
17 pages, 3 tables, 16 figures.
openaire   +5 more sources

Social Functioning Within the First Years After Pediatric Brain Tumor Diagnosis and the Relationship With Family Psychosocial Risk

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Survivors of pediatric brain tumors (PBTs) can experience long‐term social difficulties, impacting quality of life. Beyond medical and environmental factors, family psychosocial risk may play a role in social outcomes by shaping the caregiving environment and may provide intervention options.
Renske H. Houben, Marisa H. Huisman, Martha A. Grootenhuis, Femke K. Aarsen, Marita Partanen   +4 more
wiley   +1 more source

Temporal verification in secure group communication system design [PDF]

, 2007
The paper discusses an experience in using a real-time UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirements.
Villemur, Thierry, B. Fontan, T. Villemur, Mota, Sara, Saqui-Sannes, Pierre de, Fontan, Benjamin, P. de Saqui-Sannes, S. Mota   +7 more
core   +1 more source