Results 31 to 40 of about 1,440,432 (297)
Gribov Problem for Gauge Theories: a Pedagogical Introduction
The functional-integral quantization of non-Abelian gauge theories is affected by the Gribov problem at non-perturbative level: the requirement of preserving the supplementary conditions under gauge transformations leads to a non-linear differential ...
Bali G. S. +36 more
core +1 more source
Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning
Reinforcement learning (RL) is rapidly used in safety-centric applications. However, many studies focus on generating optimal policy that achieves maximum rewards.
Ryeonggu Kwon +4 more
doaj +1 more source
Decorin-evoked paternally expressed gene 3 (PEG3) is an upstream regulator of the transcription factor EB (TFEB) in endothelial cell autophagy. [PDF]
Macroautophagy is a fundamental and evolutionarily conserved catabolic process that eradicates damaged and aging macromolecules and organelles in eukaryotic cells.
Iozzo, Renato V. +3 more
core +2 more sources
On Non-Functional Requirements
Although the term 'non-functional requirement' has been in use for more than 20 years, there is still no consensus in the requirements engineering community what non-functional requirements are and how we should elicit, document, and validate them. On the other hand, there is a unanimous consensus that non-functional requirements are important and can ...
openaire +1 more source
ABSTRACT Neuroblastoma is the most common extracranial solid tumor in early childhood. Its clinical behavior is highly variable, ranging from spontaneous regression to fatal outcome despite intensive treatment. The International Society of Pediatric Oncology Europe Neuroblastoma Group (SIOPEN) Radiology and Nuclear Medicine Specialty Committees ...
Annemieke Littooij +11 more
wiley +1 more source
FRUIT: Fuzzy Representation of Unbounded and Imprecise Terms in Non-Functional Requirements
It is challenging to verify Non-Functional Requirements (NFRs) because the traditional verification process typically uses the binary concept of true or false to determine whether a requirement has been fulfilled, leaving no space for uncertainty, even ...
Franklin Parrales-Bravo +3 more
doaj +1 more source
A classification approach for software requirements towards maintainable security
As trends continue to move toward the introduction of intelligent methods to automate software engineering processes, security requirements classification is rapidly turning into a highly potent field for the software engineering community.
Prudence Kadebu +3 more
doaj +1 more source
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 +23 more
wiley +1 more source
Consistency and Linearity in Quantum Theory
Quantum theory is formulated as the uniquely consistent way to manipulate probability amplitudes. The crucial ingredient is a consistency constraint: if the amplitude of a quantum process can be computed in two different ways, the two answers must agree.
Ariel Caticha +31 more
core +2 more sources
ABSTRACT Background Neuropsychological complications may impair the qualitative prognosis of patients with pediatric brain tumors. However, multifaceted evaluations cannot be conducted in all patients because they are time consuming and burdensome for patients.
Ami Tabata +9 more
wiley +1 more source

