Results 51 to 60 of about 1,741,164 (298)
Ranking Functions for Size-Change Termination II [PDF]
Logical Methods in Computer Science, 2009 Size-Change Termination is an increasingly-popular technique for verifying program termination. These termination proofs are deduced from an abstract representation of the program in the form of "size-change graphs".
Amir M. Ben-Amram, Chin Soon Lee
doaj +1 more source
Optical and Near-infrared survey of the stellar contents associated with the star-forming Complex Sh2-252 [PDF]
, 2012 We present the analyses of the stellar contents associated with the HII region Sh2-252 using UBVRI photometry, slit and slitless spectroscopy along with the NIR data from 2MASS for an area ~1 degree x 1 degree. We studied the sub-regions of Sh2-252 which
Bhatt, B. C. +10 more
core +4 more sources
Computation Tree Logic with Deadlock Detection [PDF]
Logical Methods in Computer Science, 2009 We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Tree Logic without the next state modality (CTL-X).
Rob van Glabbeek +2 more
doaj +1 more source
Suzaku observation of the giant radio galaxy 3C 326
, 2009 A Suzaku observation of a giant radio galaxy, 3C 326, which has a physical size of about 2 Mpc, was conducted on 2008 January 19 -- 21. In addition to several X-ray sources, diffuse emission was significantly detected associated with its west lobe, but ...
Alexander +53 more
core +1 more source
Degrees of Lookahead in Regular Infinite Games [PDF]
Logical Methods in Computer Science, 2012 We study variants of regular infinite games where the strict alternation of moves between the two players is subject to modifications. The second player may postpone a move for a finite number of steps, or, in other words, exploit in his strategy some ...
Michael Holtmann +2 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background The Improving Population Outcomes for Renal Tumours of childhood (IMPORT) is a prospective clinical observational study capturing detailed demographic and outcome data on children and young people diagnosed with renal tumours in the United Kingdom and the Republic of Ireland.
Naomi Ssenyonga +56 more
wiley +1 more source
Type classes for efficient exact real arithmetic in Coq [PDF]
Logical Methods in Computer Science, 2013 Floating point operations are fast, but require continuous effort on the part of the user in order to ensure that the results are correct. This burden can be shifted away from the user by providing a library of exact analysis in which the computer ...
Robbert Krebbers, Bas Spitters
doaj +1 more source
Efficient DMFT impurity solver using real-time dynamics with Matrix Product States
, 2015 We propose to calculate spectral functions of quantum impurity models using the Time Evolving Block Decimation (TEBD) for Matrix Product States. The resolution of the spectral function is improved by a so-called linear prediction approach.
Aichhorn, Markus +5 more
core +2 more sources
Peranan Zat Pengatur Tumbuh Dalam Perbanyakan Tanaman Melalui Kultur Jaringan [PDF]
, 2011 The Role of Growth Regulator in Tissue Culture PlantPropagation. Endang G. Lestari. In plant tissue culture,growth regulator has significant roles such as to control rootand shoot development in the plant formation and callusinduction.
Lestari, E. G. (Endang)
core +1 more source
Lifestyle Behaviors and Cardiotoxic Treatment Risks in Adult Childhood Cancer Survivors
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Higher doses of anthracyclines and heart‐relevant radiotherapy increase cardiovascular disease (CVD) risk. This study assessed CVD and CVD risk factors among adult childhood cancer survivors (CCSs) across cardiotoxic treatment risk groups and examined associations between lifestyle behaviors and treatment risks.
Ruijie Li +6 more
wiley +1 more source