Results 11 to 20 of about 1,481,313 (217)
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022 How can we generate valid system inputs? Grammar-based fuzzers are highly efficient in producing syntactically valid system inputs. However, programs will often reject inputs that are semantically invalid. We introduce ISLa, a declarative specification language for context-sensitive properties of structured system inputs based on context-free grammars.
Dominic Steinhöfel, Andreas Zeller
openaire +2 more sources
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings, 2020 When a program fails to process an input, it need not be the program code that is at fault. It can also be that the input data is faulty, for instance as result of data corruption. To get the data processed, one then has to debug the input data—that is, (1) identify which parts of the input data prevent processing, and (2) recover as much of the ...
Lukas Kirschner +2 more
openaire +2 more sources
, 2023 We establish the following input independence principle. If a quantum circuit $\mathcal C$ computes a unitary transformation $U_μ$ along a computation path $μ$, then the probability that computation of $\mathcal C$ follows path $μ$ is independent of the input.
Gurevich, Yuri, Blass, Andreas
openaire +2 more sources
On the input-degradedness and input-equivalence between channels [PDF]
2017 IEEE International Symposium on Information Theory (ISIT), 2017 30 pages. Submitted to IEEE Trans. Inform. Theory and in part to ISIT2017.
openaire +2 more sources
Input and state estimation exploiting input sparsity [PDF]
2019 18th European Control Conference (ECC), 2019 Motivated by cyber-physical security applications, we face the problem of estimating the state and the input of a linear system, where the input may represent the presence of adversarial attacks. We consider the case where classical filters cannot be used, because the number of measurements is too low, for example it is lower than the size of the input
Fosson, Sophie +4 more
openaire +2 more sources
Input-Sensitive Profiling [PDF]
IEEE Transactions on Software Engineering, 2012 In this paper we present a profiling methodology and toolkit for helping developers discover hidden asymptotic inefficiencies in the code. From one or more runs of a program, our profiler automatically measures how the performance of individual routines scales as a function of the input size, yielding clues to their growth rate.
COPPA, EMILIO +2 more
openaire +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background PIK3CA‐related overgrowth spectrum (PROS) includes several rare overgrowth disorders resulting from somatic gain‐of‐function mutations in PIK3CA. Despite treatment advances, including the recent approval of alpelisib for PROS in the United States, literature detailing the patient experience with PROS is limited.
Vamsi Bollu +8 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background An internal tandem duplication in the gene encoding Fms‐like tyrosine kinase 3 (FLT3‐ITD) is associated with high relapse risk and poor prognosis in acute myeloid leukemia (AML) and plays a crucial role in treatment decisions. Measurable residual disease (MRD) analysis of FLT3‐ITD during and after treatment has shown prognostic ...
Sofie Johansson Alm +11 more
wiley +1 more source
Imported Inputs and Productivity [PDF]
American Economic Review, 2015 We estimate a model of importers in Hungarian microdata and conduct counterfactual analysis to investigate the effect of imported inputs on productivity. We find that importing all input varieties would increase a firm’s revenue productivity by 22 percent, about one-half of which is due to imperfect substitution between foreign and domestic inputs ...
Halpern, László +2 more
openaire +4 more sources
Supporting Survivor‐Centered Care Through Digital Health Integration
Pediatric Blood &Cancer, EarlyView.ABSTRACT Survivors of childhood cancer face barriers to receiving guideline‐based, long‐term follow‐up care. Two digital tools, Passport for Care (PFC) and Cancer SurvivorLink (SurvivorLink), address complementary gaps by enabling tailored survivorship care plan (SCP) generation, updating, storage, and sharing.
Jordan G. Marchak +15 more
wiley +1 more source