Results 51 to 60 of about 23,085,941 (290)

Static Livelock Analysis in CSP [PDF]

, 2011
In a process algebra with hiding and recursion it is possible to create processes which compute internally without ever communicating with their environment. Such processes are said to diverge or livelock. In this paper we show how it is possible to conservatively classify processes as livelock-free through a static analysis of their syntax.
Joël Ouaknine, Hristina Palikareva, A. W. Roscoe 0001, James Worrell 0001   +3 more
openaire   +5 more sources

European Standard Clinical Practice Guideline and EXPeRT Recommendations for the Diagnosis and Management of Gastroenteropancreatic Neuroendocrine Neoplasms in Children and Adolescents

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen, Calogero Virgone, Antje Redlich, Michael Abele, Ricardo Lopez‐Almaraz, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Maja Mazic Cesen, Andrea Ferrari, Malgorzata A. Krawczyk, Yves Reguerre, Dominik T. Schneider, Ines B. Brecht, Charlotte Rigaud, Bilgehan Yalcin, Rainer Claus, Christian Vokuhl, Constantin Lapa, Jörg Fuchs, Segolene Hescot, Thomas Walter, Julien Hadoux, Daniel Orbach   +23 more
wiley   +1 more source

Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart Contracts

Technologies, 2019
Blockchain-based decentralized cryptocurrency platforms are currently one of the hottest topics in technology. Although most of the interest is generated by cryptocurrency related activities, it is becoming apparent that a much wider spectrum of ...
Peter Hegedus
doaj   +1 more source

Ovarian Sex Cord Stromal Tumors in Children and Adolescents—The European Standard Clinical Practice Recommendations

Pediatric Blood &Cancer, EarlyView.
ABSTRACT As part of the European Cooperative Study Group for Paediatric Rare Tumours initiative, we developed standard clinical practice guidelines for ovarian sex cord stromal tumors, based on comprehensive national and international cohort analyses, literature review, and a final expert consensus conference.
Dominik T. Schneider, Kris‐Ann Schultz, Nora Schnitzler, Michael Abele, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Ines B. Brecht, Maja Cesen, Andrea Ferrari, Michaela Kuhlen, Malgorzata A. Krawczyk, Ricardo Lopez‐Almaraz, Yves Reguerre, Calogero Virgone, Daniel Orbach   +15 more
wiley   +1 more source

A Simhash-Based Integrative Features Extraction Algorithm for Malware Detection

Algorithms, 2018
In the malware detection process, obfuscated malicious codes cannot be efficiently and accurately detected solely in the dynamic or static feature space.
Yihong Li, Fangzheng Liu, Zhenyu Du, Dubing Zhang   +3 more
doaj   +1 more source

Infant Embryonal CNS Tumors: Molecular Insights and Treatment Considerations for Contemporary Pediatric Neuro‐Oncology

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Embryonal tumors comprise the majority of malignant central nervous system (CNS) neoplasms diagnosed in children under 3 years of age. Compared with their counterparts in older children, these tumors exhibit distinct molecular biology and a more aggressive clinical phenotype, while their management is complicated by the heightened ...
Sudarshawn Damodharan, Mariah Wright‐Nadkarni, Mohamed S. Abdelbaki, Girish Dhall   +3 more
wiley   +1 more source

Ewing Sarcoma in Infants and Children Under 2 Years of Age: A French Retrospective Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Ewing sarcoma, the second most common primary bone cancer in children, requires intensive treatment that may lead to significant long‐term sequelae, particularly in infants. We retrospectively analyzed data from 1621 French patients treated between 1988 and 2015 within the EW88/93/97 or EE99 trials, focusing on 17 infants diagnosed before 24 ...
Elodie Verdier, Nathalie Cozic, Marie‐Dominique Tabone, Gaelle Pierron, Perrine Marec‐Berard, Sarah Winter, Gabriel Revon‐Rivière, Cyril Lervat, Dominique Plantaz, Marie‐Pierre Castex, Gregory Guimard, Estelle Thebaud, Stephanie Proust, Laure Saumet, Natacha Entz‐Werle, Sophie Taque, Cécile Vérité, Marta Jimenez, Nathalie Gaspar   +18 more
wiley   +1 more source

Static Region Analysis for Mercury [PDF]

, 2007
Region-based memory management is a form of compile-time memory management, well-known from the functional programming world. This paper describes a static region analysis for the logic programming language Mercury. We use region points-to graphs to model the partitioning of the memory used by a program into separate regions.
Phan, Quan, Janssens, Gerda
openaire   +1 more source

Investigating Automatic Static Analysis Results to Identify Quality Problems: an Inductive Study [PDF]

, 2012
Background: Automatic static analysis (ASA) tools examine source code to discover "issues", i.e. code patterns that are symptoms of bad programming practices and that can lead to defective behavior.
Nico Zazworka, Forrest Shull, Vetro', Antonio, Zazworka, N., Shull, F., Seaman C., Shaw, M., Zazworka N., Carolyn Seaman, Seaman, C., Michele A. Shaw, Shull F., Shaw M., Antonio Vetro   +13 more
core   +1 more source

Provider and Parent Perspectives on Prioritizing the “Asking and Monitoring” Pediatric Cancer Psychosocial Standards of Care

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background The Standards for Psychosocial Care for Children with Cancer and Their Families (“Standards”) are evidence‐based guidelines for psychosocial care in pediatric oncology. Care related to the three “Asking and Monitoring” Standards—Assessment of Psychosocial Needs, Assessment of Financial Needs, and Monitoring Neurocognitive Problems ...
Julia B. Tager, Natalie Koskela‐Staples, Emily M. Pariseau, Michele Scialla, Kimberly Buff, Lori Wiener, Victoria Sardi Brown, Anne E. Kazak, Kimberly S. Canter   +8 more
wiley   +1 more source