Results 31 to 40 of about 3,385,810 (267)

Sligpt: A Large Language Model-Based Approach for Data Dependency Analysis on Solidity Smart Contracts

Software
The advent of blockchain technology has revolutionized various sectors by providing transparency, immutability, and automation. Central to this revolution are smart contracts, which facilitate trustless and automated transactions across diverse domains ...
Xiaolei Ren, Qiping Wei
doaj   +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

Program state optimal method based on variable symbolic relation analysis

Tongxin xuebao, 2018
Program analysis is the prime method to program property analysis,which is widely used in the domain of parameter dependent relation,path coverage and test case generation,and a lot of progress has been made.Current program analysis is based on the ...
Xi GUO, Pan WANG
doaj  

Lessons learned in developing reference data sets with the contribution of citizens: the Geo-Wiki experience

Environmental Research Letters, 2022
The development of remotely sensed products such as land cover requires large amounts of high-quality reference data, needed to train remote sensing classification algorithms and for validation.
Linda See, Juan Carlos Laso Bayas, Myroslava Lesiv, Dmitry Schepaschenko, Olga Danylo, Ian McCallum, Martina Dürauer, Ivelina Georgieva, Dahlia Domian, Dilek Fraisl, Gerid Hager, Santosh Karanam, Inian Moorthy, Tobias Sturn, Anto Subash, Steffen Fritz   +15 more
doaj   +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

Value-Based Constraint Control Flow Integrity

IEEE Access, 2020
Control flow integrity (CFI) is a generic technique that prevents a control flow hijacking attacks by verifying the legitimacy of indirect branches against a predefined set of targets.
Dongjae Jung, Minsu Kim, Jinsoo Jang, Brent Byunghoon Kang   +3 more
doaj   +1 more source

Safety and Effectiveness of a High‐Dose, Tailored Tissue Plasminogen Activator Therapy Protocol: A Joint Pediatric Hematology and Cardiac ICU Quality Improvement Initiative Analysis

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Pediatric thromboembolism is increasingly encountered in critical care. Systemic thrombolysis with tissue plasminogen activator (tPA) facilitates vessel or valve patency, yet pediatric‐specific protocols remain undefined, and safety concerns persist. Objective To evaluate the efficacy and safety of a tailored, prolonged systemic tPA
Eran Shostak, Oded Gilad, Yael Feinstein, Sigal Nakav, Ofer Schiller, Joanne Yacobovich   +5 more
wiley   +1 more source

Assessing urban carbon metabolism using network analysis across Chinese and European cities

Cleaner Production Letters, 2023
Urban metabolism uses the idea that cities are resource consuming systems that are supported by flows of energy and materials, and they produce goods and wastes, which generate greenhouse gas emissions both directly and indirectly.
Brian D. Fath, Nikita Strelkovskii, Saige Wang, Bin Chen   +3 more
doaj   +1 more source

Global Efforts to Reduce Paediatric Cancer Care Disparities in Radiotherapy: A Decade Change

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background We present an update on the status, needs and challenges faced by paediatric imaging and radiotherapy (RT) programmes globally after a previous survey conducted by the International Atomic Energy Agency (IAEA) 10 years prior. Methods We developed and distributed a 121‐question survey to radiation oncologists, medical physicists and ...
Raymond B. Mailhot Vega, Daniel J. Indelicato, Jeanette Parkes, Natia Esiashvili, Josué Hernández Benítez, Miriam Mikhail‐Lette, Olivera Cirajc Bjelac, Daniel Berger, Eva Ciurana, Yavuz Anacak, Lisbeth Cordero‐Mendez   +10 more
wiley   +1 more source

Whole-value analysis by abstract interpretation

Frontiers in Computer Science
Value analysis is the task of understanding what concrete values a program might compute for each variable or memory region. Historically, research focused mostly on numerical analysis (i.e., value analysis of programs manipulating numeric values), while
Luca Negrini
doaj   +1 more source