Carbon capture and storage (CCS) is a key technology that directly removes industry driven CO2 to achieve carbon neutrality. In the process of CCS, it necessary monitor whether injected properly stored not leaking. The behavior can be investigated using 4D seismic survey compares data before after injection. We proposed two-step monitoring with diffraction-angle filtering (DAF) effectively loca...

BACKGROUND Impaired glomerular function is one of the health problems affecting childhood cancer survivors (CCS). It is unclear whether glomerular function deteriorates or recovers. We investigated time trends and predictors of glomerular function in CCS. METHODS We evaluated repeated observations of estimated glomerular filtration rate (GFR) and glomerular dysfunction (GFR <90 mL/min/1.73 m(...

The current research sought to validate the Chernyshenko Conscientiousness Scales (CCS), a novel measure designed to assess six facets of conscientiousness. Data from 7,569 U.S. participants and 649 U.K. participants were analyzed to assess the internal reliability and factorial structure of the scales. Test-retest reliability, convergent and divergent validity, and criterion-related validity w...

Process algebra is a very interesting framework for describing and analyzing concurrent systems. Therefore CCS is used very often and considered pretty important. But it is undecidable if two CCS agents are bisimilar. Luckily Christensen, Hirshfeld and Moller showed 1994 in their paper “Decidable Subsets of CCS” that bisimulation for CCS without communication or without restriction and relabell...

It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Various solutions have been proposed. We introduce a new approach, involving the addition of “priority guards” to Milner’s process calculus CCS. In our approach, priority is unstratified, meaning that actions are not assi...

CO 2 injection into shale gas reservoirs is deemed as a potential scheme to enhance CH 4 recovery and achieve the ambition of carbon neutral. The insufficient research binary competitive adsorption behavior at in-situ conditions reservoirs, coupling control components, properties, pore structure on affinity limit its general application. Therefore, simulated using high-pressure multi-component ...

Model checking suffers from the state explosion problem, due to the exponential increase in the size of a finite state model as the number of system components grows. Directed model checking aims at reducing this problem through heuristic-based search strategies. The model of the system is built while checking the formula and this construction is guided by some heuristic function. In this line,...

BACKGROUND Life partnerships other than marriage are rarely studied in childhood cancer survivors (CCS). We aimed (1) to describe life partnership and marriage in CCS and compare them to life partnerships in siblings and the general population; and (2) to identify socio-demographic and cancer-related factors associated with life partnership and marriage. METHODS As part of the Swiss Childhood...

OBJECTIVE To determine if child-care services (CCS) at a population level can reduce social inequalities in academic performance until early adolescence. METHODS A 12-year population-based prospective cohort study of families with a newborn (n = 1269). Two CCS variables were estimated: "intensity" (low, moderate, and high number of hours) and "center-based CCS type" (early onset, late onset, ...

Clear cell sarcoma (CCS), a childhood tumor of the tendons and aponeuroses, is uniformly fatal once it has metastasized because of its profound therapeutic resistance. CCS is characterized by production of a chimeric transcription factor, EWS-ATF1, which is formed as the result of a disease-specific chromosomal translocation. EWS-ATF1 activates the melanocyte transcription factor MITF, which in...