Miracle-dz/UniFAR-FTUs huggingface dataset:
Germline hypermethylation of the APC promoter is not a frequent cause of familial adenomatous polyposis in APC/MUTYH mutation negative families

Familial adenomatous polyposis (FAP) is an autosomal dominant syndrome predisposing to colorectal cancer and affects 1 in 5–10,000 births. Inheritance of a mutant allele of the adenomatous polyposis coli (APC) gene is the cause of ∼80% of FAP and 20–30% of an attenuated form of FAP (AFAP), whereas mutations in MUTYH account for a small proportion of the remaining cases. However, the genetic cause of FAP/AFAP in a significant number of families is not known, and cancer risk for individual members of these families cannot be assessed. There is, therefore, an acute need to identify the underlying genetic cause responsible for FAP/AFAP in APC/MUTYH mutation negative families. Hypermethylation of CpG islands in the promoter of tumor suppressor genes can result in gene silencing, has been shown to be functionally equivalent to genetic mutations and can be inherited. Moreover, APC promoter hypermethylation is observed in ∼20% of sporadic colorectal tumors and correlates with the loss of gene expression. In our study, we used bisulfite treatment and direct sequencing of 2 regulatory regions of APC containing a total of 25 CpG dinucleotides, to investigate the possible role of germline hypermethylation of the APC promoter in FAP and AFAP families that were negative for APC and MUTYH mutations. Analysis of 21 FAP and 39 AFAP families did not identify signs of abnormal promoter methylation, indicating that this form of epigenetic silencing is not a common cause of FAP/AFAP. These results substantially contribute to clarify the potential role of germline epimutations as a cause of inherited predisposition to cancer. © 2007 Wiley‐Liss, Inc.
Profile trees for Büchi word automata, with application to determinization

The determinization of Buchi automata is a celebrated problem, with applications in synthesis, probabilistic verification, and multi-agent systems. Since the 1960s, there has been a steady progress of constructions: by McNaughton, Safra, Piterman, Schewe, and others. Despite the proliferation of solutions, they are all essentially ad-hoc constructions, with little theory behind them other than proofs of correctness. Since Safra, all optimal constructions employ trees as states of the deterministic automaton, and transitions between states are defined operationally over these trees. The operational nature of these constructions complicates understanding, implementing, and reasoning about them, and should be contrasted with complementation, where a solid theory in terms of automata run dags underlies modern constructions.In 2010, we described a profile-based approach to Buchi complementation, where a profile is simply the history of visits to accepting states. We developed a structural theory of profiles and used it to describe a complementation construction that is deterministic in the limit. Here we extend the theory of profiles to prove that every run dag contains a profile tree with at most a finite number of infinite branches. We then show that this property provides a theoretical grounding for a new determinization construction where macrostates are doubly preordered sets of states. In contrast to extant determinization constructions, transitions in the new construction are described declaratively rather than operationally.
A LABORATORY INVESTIGATION OF THE INFLUENCE OF REST PERIODS ON THE FATIGUE CHARACTERISTICS OF BITUMINOUS MIXES (WITH DISCUSSION)

The stiffness modulus of asphalt mixes and their resistance to fatigue are important parameters influencing structural design of asphalt pavements. The stiffness modulus contributes to the distribution of stresses and strains through the road structure. The resistance to fatigue determines the moment at which cracking failure occurs. Such cracking may start at the bottom or at the top of the asphalt layer. The fatigue life of bituminous mixes is known to depend on stress and strain levels applied during a loading cycle. The fatigue characteristics of bituminous mixes are determined in continuous loading tests. However, conditions of these tests do not resemble loading conditions prevailing in practice. Under traffic, asphalt is loaded in a discontinuous manner, as the passage of front and rear axles is interrupted by rest periods. The influence of rest periods in lab fatigue has been studied by several researchers, who all found that rest periods lead to longer fatigue lives of the bituminous mixes studied. In view of differences in mix compositions and loading conditions, their results cannot be directly compared. In order to obtain a more complete insight into the effect of rest periods on fatigue life of bituminous mixes, a systematic investigation of mixes was conducted under a wide range of loading conditions. This paper presents and discusses the results of this study.
Psychotherapy: An Erotic Relationship: Transference and Countertransference Passions

Introduction. 1. The Erotic Transference 2. Of Cupid's Blindfold and Arrows: Erotic Transference, Real or Inauthentic? 3. The Psychotherapist's Erotic Subjectivity 4. Varieties of Erotic Countertransference 5. The Homoerotic Transference and Countertransference Matrix 6. Transference as Symbolic Sexual Intercourse 7. Transference as Symbolic Primal Scene 8. Transference Perversions 9. The Temptation of Transgression Notes References.
A Case of a Chorionic Bump: New Sonographic‐Histopathologic Findings With Review of the Literature

ocele presenting with urethral obstruction and urosepsis during pregnancy. Urol J 2016; 12:2285–2286. 3. Madeb R, Shapiro I, Rothschild E, Halachmi S, Nativ O. Evaluation of ureterocele with Doppler sonography. J Clin Ultrasound 2000; 28: 425–429. 4. Shimoya K, Shimizu T, Hashimoto K, Koyama M, Sawamura A, Murata Y. Diagnosis of ureterocele with transvaginal sonography. Gynecol Obstet Invest 2012; 54:58–60. 5. Costantini S, Mistrangelo E, Lijoi D, Di Capua E. A false visualization of ureteral jet with Doppler sonography during transvaginal evaluation of ureterocele. Minerva Obstet Ginecol 2006; 58:183–185. 6. Taori K, Joshi M, Dhakate S, Disawal A, Nathe V, Mone R. Prolapsed simple ureterocele: evaluation by transvaginal voiding sono-urethrography. J Clin Ultrasound 2011; 39:544–547. A Case of a Chorionic Bump: New Sonographic-Histopathologic Findings With Review of the Literature
Are the most dedicated nurses more vulnerable to job insecurity? Age-specific analyses on family-related outcomes.

AIM To examine the moderating roles of job dedication and age in the job insecurity-family-related well-being relationship. BACKGROUND As job insecurity is a rather permanent stressor among nurses nowadays, more research is needed on the buffering factors alleviating its negative effects on well-being. METHODS A total of 1719 Finnish nurses representing numerous health care organisations participated in this cross-sectional study. Moderated hierarchical regression analysis was used to examine the associations. RESULTS Nurses' younger age and low job dedication operated as protective factors against the negative effect of high job insecurity on parental satisfaction. The effect of job dedication on family-related well-being was also age-specific: high job dedication protected younger nurses from the negative effect of job insecurity on work-family conflict and parental stress, whereas among older nurses those who reported low job dedication showed better well-being in the presence of high job insecurity. CONCLUSIONS The most job-dedicated nurses were more vulnerable to job insecurity in relation to parental satisfaction. In addition, high job dedication combined with high age implied more work-family conflict and parental stress in the presence of high job insecurity. IMPLICATIONS FOR NURSING MANAGEMENT Managers should seek to boost younger nurses' job dedication and to prevent older nurses' over-commitment.
Downlink Multi-Cell Radio Resource Management for Coordinated Base Stations

This paper addresses the design of joint multi-cell resource allocation and scheduling with coordination among neighboring base stations (BS). Considering Ns neighboring sectors, the solution that maximizes the sum-rate in the covered area is found for TDMA and TDMA/OFDMA access. The optimum solution exhibits low complexity as it presents the useful property that its computation admits a decomposition such that each BS is responsible for the selection of the users to be scheduled in its own sector. This result is proved analytically. In conventional cellular networks, frequency planning is usually considered to keep an acceptable signal-to- interference-plus-noise ratio (SINR) level, especially at cell boundaries. This approach, however, hampers the system spectral efficiency, particularly at low reuse rates. Depending on the allowed complexity and signaling overhead, multi-cell joint inter-cell radio resource allocation may bring significant gains. Intuitively, if users served from different BS experience a low level of interference, radio resources may be reused, thus increasing the system spectral efficiency. On the other side, if the served user experiences large interference, orthogonal transmissions with suitable power allocation are better. This paper addresses the design of intercell scheduling for neighboring sectors (belonging to different BS) when coordination among these BSs is available, and provides the optimum solution in terms of sum-rate. The weighted sum-rate is also considered in this paper. The weighting factors play the role of implicit linear utility functions, and allow to balance or to prioritize the resource allocation to those users or services with higher weights. In this way fairness issues or QoS criteria can be introduced. When the weighting factors are equal for all the users, maximizing the weighted sum-rate is equivalent to maximizing the system spectral efficiency. While the solution that maximizes the sum-rate is found to be simple in the TDMA case, it also exhibits reduced complexity for the OFDMA case since it involves the solution of a convex problem with a small number of variables. The solution involves sector-wise independent maximization, which is consistent with maximizing the capacity of each cell through multiuser diversity (1). Some coordination among the common resources assigned to each neighboring sector is required. Notation. We use boldface capital font for matrices and boldface lower-case for column vectors. For a matrix A, () , Ai k denotes the () ,
Influence of response time frame on mood assessment

Abstract The present study compared mood assessments using two different response time frames. A sample of 136 school children completed the Brunel Mood Scale (BRUMS) daily for 5 days using the response time frame, “How are you feeling right now? ” On Day 5, participants completed an additional BRUMS, using the response time frame, “How have you felt over the past week including today? ”. “Past week” mood assessments yielded higher scores than multiple “right now” assessments, and were particularly associated with ambient mood for confusion, depression, and vigour. Researchers should give due consideration to the influence of response time frame on mood assessments.
Measurement of Magnesium in Mononuclear Blood Cells

tor for myocardial infarction? Clin Chem 1985;31:585-90. 7. Lindstedt G, Olbe L, Kilander A, et al. Analytical and clinical evaluation of a radioimmunoassay for gastrin. Clin Chem 1985;31:76-82. 8. Krasinski SD, Russell EM, Samloff TM, et al Fundic atrophic gastritis in an elderly population. Effect on hemoglobin and several serum nutritional indicators. J Am Geriatr Soc 1986;34:800-6. 9. Bock OAA, Arapakis G, Witta LI, Richards WCD. The serum pepsinogen level with special reference to the histology of the gastric mucosa. Gut 1963;4:106-11. 10. Samloff IM, Vans K, Ihamaki T, et al. Relationships among serum pepsinogen I, serum pepsinogen H and gastric mucosal histology. Gastroenterology 1982;83:204-9. 11. Tamm A, Villako K, HArk#{246}nen M, Karonen S-L. Serum pepsinogen I and the state of gastric mucosa in an Estonian population sample. Scand J Gastroenterol 1984;19:1091-4. 12. Samloff TM, Vans K, Iham#{224}ki T, Siurala M, Rotter JI. Serum pepsinogensI and II and gastric acid output: effect of gastritis. In: Kreuning J, Samloff TM, Rotter JI, Eriksson AW, eds. Pepsinogensin man. Clinical and genetic advances. New York: Alan R Liss, 1985;129-38. 13. Herbert V. Don’t ignore low serum cobalamin (vitamin B12)levels [Editorial]. Arch Intern Med 1988;148:1705-7. 14. Thompson WG, Babitz L, Cassino C, Freedman M, Lipkin M. Evaluation of current criteria used to measure vitamin B12 levels. Am J Med 1987;82:291-4. 15. Carmel R. Pernicious anemia. The expected findings of very low serum cobalamin levels, anemia and macrocytosis are often lacking. Arch Intern Med 1988;148:1712-4. 16. Cooper BA, Fehedy V, Blanshay P. Recognition of deficiency of vitamin B12 using measurement of serum concentration. J Lab Clin Med 1986;107:447-52. 17. Cannel R, Karnaze DS, Weiner JM. Neurological abnormalities in cobalamin deficiency are associatedwith higher cobalamin “analogue” values than are hematologic abnormalities. J Lab Clin Med 1988;111:57-62. 18. Lundberg P-A, Lindstedt G, Jansson S, Tisell L-E. Assay of “intact” parathyrin in the immediate and long-term postoperative follow-up ofpatients treated for hyperparathyroidism or thyroid tumor [Letter]. Clin Chem 1989;35:340-1. 19. Magnus EM. Cobalamin and unsaturated transcobalamin values in pernicious anemia: relation to treatment. Scand J Haematol 1986;36:457-65. 20. Herbert V. The 1986 Herman Award Lecture. Nutrition scienceas a continually unfolding story: the folate and vitamin B12 paradigm [Review]. Am J Clin Nutr 1987;46:387-402. 21. Norman EJ, Martelo OJ, Denton MD. Cobalamin (vitamin B12)deficiencydetection by urinary methylmalonic acid quantitation. Blood 1982;59:1128-31. 22. Stabler SP, Marcell PD, Podell ER, Allen RH, Lindenbaum J. Assay of methylmalonic acid in serum of patients with cobalamin deficiency using capillary gene chromatography-mass spectrometry. J Clin Invest 1986;77:1606-12. 23. Herzlich B, Herbert V. Depletion of serum holotranscobalamin II. An early sign of negative vitamin B12balance. Lab Invest 1988;58:332-7.
Reading and Writing Instruction: Toward a Theory of Teaching and Learning

Reading and writing development are individual processes which reflect the evolving skills of the individual language learner. Instruction, on the other hand, is a social process, rooted in the interaction between teacher and student. Through the intersection of development and instruction, individual learners gain the power to use language to understand their world and to act within it. Reflecting the split between individual and social, most research in the field of reading and writing has concerned itself either with charting the course of individual development, or with delineating the characteristics of effective instruction. Although both traditions have been valuable, we will argue here that they should be integrated through a more general theory that systematically relates individual development to the social processes that surround it. From such a theory, we will emerge with more effective principles for instruction, as well as with a better explanation for the patterns of development that have been described in previous studies. In doing so, we will also clarify our understanding of the deeply related but functionally different activities of reading, writing, and speaking. The need for a more encompassing theory is evident whether we start independently with either development or instruction. If we start with development, it is quite clear that the skills that individuals learn are constrained (or fostered) by the particular cultural and educational contexts within which the individuals grow up (Au, 1980; Heath, 1983; McDermott, 1977; Scribner
An Organization on Hold and Interim Leadership in Demand: A Case Study of Individual and Organizational Identity

With such overall variety in leadership study, it is surprising that interim leadership has gone largely unnoticed in the literature. The present study addresses this gap in the organizational and leadership literatures by examining the implications of interim leadership on both individual and organizational identity. Using data from semi-structured, in-depth interviews of 24 interim leaders from an organization (“Interim U”), we found that the questions of “Who am I? ” and “Who are we? ” were heavily entangled in the individual-collective identity management discussion. This study examines the ways in which the identity of interim leaders are managed and enacted at Interim U, and how the individual and organizational identities reflexively interrelate.
How clients and solution focused therapists co-construct new meanings when having conversations about 'What's better?'

Solution Focused Brief Therapy (SFBT) is a goal oriented therapeutic approach that assists clients to build solutions rather than analyse problems. Solution focused (SF) therapists often open sessions, subsequent to the first, with the question ‘What is better since we last met? ’ with the purpose of enabling clients to gain a heightened sense of their own self efficacy. This research explores how clients and a solution focused therapist co-construct new meanings when having conversations about ‘What’s better? ’ The study approaches this question from an interpretative perspective. Five clients agreed to be part of the research while engaging in solution-focused counselling. Each client met with the counsellor on up to five occasions during which time the ‘What’s better? ’ question was asked. Following each session clients were asked to provide their perceptions on the session on client feedback forms. Excerpts transcribed from single sessions with different clients were microanalysed to determine how the co-construction process occurs. The analysis revealed the collaborative and co-constructive character of Solution Focused Therapy conversations. The ‘What’s better? ’ prompt led to a shift in meaning for clients. Comments made on the client feedback forms showed that the conversations raised greater awareness of their own achievements, competencies and positive aspects in their lives. Clients also expressed an increase in hope through conversations about ‘What’s better? ’ The findings of this study build on research that suggests therapists’ discursive tools such as ‘questions’, ‘formulations’, ‘lexical choice’, and ‘grounding’ provide the means to influence therapeutic conversations. Analysis of dialogues in this study show that purposefully applied ‘compliments’, which do not fit into any previously identified discursive tools, can be useful for co-constructing new meanings. This study also extends previous research by demonstrating that both the choice of discursive tool and the purpose of its application are influential in therapeutic conversations.
Views: compositional reasoning for concurrent programs

Compositional abstractions underly many reasoning principles for concurrent programs: the concurrent environment is abstracted in order to reason about a thread in isolation; and these abstractions are composed to reason about a program consisting of many threads. For instance, separation logic uses formulae that describe part of the state, abstracting the rest; when two threads use disjoint state, their specifications can be composed with the separating conjunction. Type systems abstract the state to the types of variables; threads may be composed when they agree on the types of shared variables. In this paper, we present the "Concurrent Views Framework", a metatheory of concurrent reasoning principles. The theory is parameterised by an abstraction of state with a notion of composition, which we call views. The metatheory is remarkably simple, but highly applicable: the rely-guarantee method, concurrent separation logic, concurrent abstract predicates, type systems for recursive references and for unique pointers, and even an adaptation of the Owicki-Gries method can all be seen as instances of the Concurrent Views Framework. Moreover, our metatheory proves each of these systems is sound without requiring induction on the operational semantics.
Lattice Sequential Decoding for LAST Coded MIMO Channels: Achievable Rate, DMT, and Complexity Analysis

In this paper, the asymptotic performance of the lattice sequential decoder for LAttice Space-Time (LAST) coded MIMO channel is analyzed. We determine the rates achievable by lattice coding and sequential decoding applied to such a channel. The diversity-multiplexing tradeoff (DMT) under lattice sequential decoding is derived as a function of its parameter---the bias term, which is critical for controlling the amount of computations required at the decoding stage. Achieving low decoding complexity requires increasing the value of the bias term. However, this is done at the expense of losing the optimal tradeoff of the channel. In this work, we derive the tail distribution of the decoder's computational complexity in the high signal-to-noise ratio regime. Our analysis reveals that the tail distribution of such a low complexity decoder is dominated by the outage probability of the channel for the underlying coding scheme. Also, the tail exponent of the complexity distribution is shown to be equivalent to the DMT achieved by lattice coding and lattice sequential decoding schemes. We derive the asymptotic average complexity of the sequential decoder as a function of the system parameters. In particular, we show that there exists a cut-off multiplexing gain for which the average computational complexity of the decoder remains bounded.
The interface between internal and external audit in the Australian public sector

This study seeks to answer the research question ‘using reliance as the pivotal consideration, what factors determine the efficient and effective interrelationship between internal and external audit? ’, within the context of the Australian public sector. A qualitative approach, framed within agency theory, was adopted using a case study and structured interviews. Findings included factors supporting prior literature as well as some unique to the research described here. As a result, this article makes a contribution to the literature examining public sector internal and external audit interrelationships as well as the literature on police audit and performance. It also has practical implications for both the case study site and similar organisations throughout the world.