Results 121 to 130 of about 7,975,657 (382)
Volume staging for arteriovenous malformation SRS treatment using VMAT
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Volume staging involves dividing the target volume into smaller parts and treating each part separately. In this study, the feasibility of volume‐staged stereotactic radiosurgery (VS‐SRS) on a linear accelerator using volumetric modulated arc therapy (VMAT) and a frameless patient positioning system is investigated.
Claudia Mendez, Ermias Gete
wiley +1 more source
Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications [PDF]
arXiv, 2008 We present a tractable method for synthesizing arbitrarily large concurrent programs, for a shared memory model with common hardware-available primitives such as atomic registers, compare-and-swap, load-linked/store conditional, etc. The programs we synthesize are dynamic: new processes can be created and added at run-time, and so our programs are not ...
arxiv
Optimality Conditions for Nonlinear Semidefinite Programming via Squared Slack Variables
, 2015 In this work, we derive second-order optimality conditions for nonlinear semidefinite programming (NSDP) problems, by reformulating it as an ordinary nonlinear programming problem using squared slack variables.
Fukuda, Ellen H. +2 more
core +1 more source
Molecular Oncology, EarlyView.CD226+CD8+ T cells express elevated levels of RUNX2, exhibit higher proliferation capacity, cytokines and cytolytic molecules expression, and migratory capacity. In contrast, CD226−CD8+ T cells display an exhausted phenotype associated with the increased expression of co‐inhibitory receptors and impaired effector functions.
Maryam Rezaeifar +4 more
wiley +1 more source
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract This study aimed to evaluate the clinical beam commissioning results and lateral penumbra characteristics of our new pencil beam scanning (PBS) proton therapy using a multi‐leaf collimator (MLC) calculated by use of a commercial Monte Carlo dose engine.
Yuki Tominaga +5 more
wiley +1 more source
Evaluating the Impact of Pair Documentation on Requirements Quality in Agile Software Development
IEEE AccessA fundamental deliverable of the requirements engineering process is the software requirements specification (SRS) document. A reliable SRS ensures that the final product aligns with the stakeholder’s expectations.
Nosheen Qamar +2 more
doaj +1 more source
Empirical Studies of Agile Software Development to Learn Programming Skills [PDF]
Journal of Systemics, Cybernetics and Informatics, 2014 This paper presents a programming education support method based on Agile Development that encourages and builds on communication between students. Through mutual discussion, students using our approach transform their ideas into software and cooperate ...
Yasuyo Kofune, Takahiro Koita
doaj
Strong Equivalence Made Easy: Nested Expressions and Weight Constraints [PDF]
Theory and Practice of Logic Programming, vol 3 (4&5), pages
609-622, 2003, 2003 Logic programs P and Q are strongly equivalent if, given any program R, programs P union R and Q union R are equivalent (that is, have the same answer sets). Strong equivalence is convenient for the study of equivalent transformations of logic programs: one can prove that a local change is correct without considering the whole program.
arxiv
Online tools for virtual pair programming [PDF]
, 2009 As agile methodologies advance in process maturity we find that most of their practices such as Test-Driven Development, refactoring, and pair programming (specifically for Extreme Programming) are becoming the order of the day in a number of ...
Mnkandla, E.
core
Program quality with pair programming in CS1
, 2005 In several regression applications, a different structural relationship might be anticipated for the higher or lower responses than the average responses. In such cases, quantile regression analysis can uncover important features that would likely be overlooked by mean regression. We develop two distinct Bayesian approaches to fully nonparametric model-
openaire +1 more source