Perianal disease combined with NOD2 genotype predicts need for IBD-related surgery in Crohn’s Disease patients from a population-based cohort

Background: Patients with Crohn’s disease (CD) often require surgery at some stage of disease course. Prediction of CD outcome is influenced by clinical, environmental, serological, and genetic factors (eg, NOD2). Being able to identify CD patients at high risk of surgical intervention should assist clinicians to decide whether or not to prescribe early aggressive treatment with immunomodulators. Methods: We performed a retrospective analysis of selected clinical (age at diagnosis, perianal disease, active smoking) and genetic (NOD2 genotype) data obtained for a population-based CD cohort from the Canterbury Inflammatory Bowel Disease study. Logistic regression was used to identify predictors of complicated outcome in these CD patients (ie, need for inflammatory bowel disease-related surgery). Results: Perianal disease and the NOD2 genotype were the only independent factors associated with the need for surgery in this patient group (odds ratio=2.84 and 1.60, respectively). By combining the associated NOD2 genotype with perianal disease we generated a single “clinicogenetic” variable. This was strongly associated with increased risk of surgery (odds ratio=3.84, P=0.00, confidence interval, 2.28-6.46) and offered moderate predictive accuracy (positive predictive value=0.62). Approximately 1/3 of surgical outcomes in this population are attributable to the NOD2+PA variable (attributable risk=0.32). Conclusions: Knowledge of perianal disease and NOD2 genotype in patients presenting with CD may offer clinicians some decision-making utility for early diagnosis of complicated CD progression and initiating intensive treatment to avoid surgical intervention. Future studies should investigate combination effects of other genetic, clinical, and environmental factors when attempting to identify predictors of complicated CD outcomes.

Academia Accommodating Plagiarism? Surely Not!

In April 2010, Senior lecturer A discovered a new article on strategic entrepreneurship that contained her own words and paragraphs, published under the name of two complete strangers. Over the next eight months, in search of a just outcome, A contacted various people and institutions involved: the journal editor and publisher, and more than 20 academics and academic managers at five universities located in four different countries, including vice chancellors, rectors, and university professors. While nobody disputed the plagiarism (which involved at least three documents and more than 50 pages of text, tables, and figures), most were reluctant to act. Disillusioned by institutional responses, A had to decide whether to continue pursuing a just outcome at the risk of damaging professional relationships (and her future career), or whether to accept the status quo. She wondered what it would take to change the system to genuinely reject plagiarism.

A nation’s role in addressing base erosion and profit shifting : balancing sovereignty with international collaboration and coordination

The notion of sovereignty is central to any international tax issue. While a nation is free to design its tax laws as it sees fit and raise revenue in accordance with the needs of its citizens, it is not possible to undertake such a task in isolation. In a world of cross-border investments and business transactions, all tax regimes impact on one another. Tax interactions between sovereign states cannot be avoided. Ultimately, the interactions mean that a nation must decide whether to engage in both collaboration and coordination with other nations and supranational bodies alike or maintain an individualised stance in relation to its tax policy. Whatever the decision, there is arguably an exercise in national sovereignty in some form. In the context of an international tax regime, whether that regime is interpreted broadly as meaning international norms generally adopted by nations around the world or domestic regimes legislating for cross-border transactions, rhetoric around national fiscal sovereignty takes on many different forms. At one end of the spectrum it is relied upon by financial secrecy jurisdictions (tax havens) as a defence to their position on the basis that ‘other’ nations cannot interfere with the fiscal sovereignty of a jurisdiction. At the other end of the spectrum, it is argued that profit shifting and international tax avoidance if not stopped is, in and of itself, a threat to a nation’s fiscal sovereignty on the basis that it threatens the ability to tax and raise the revenue needed. This paper considers a modern conceptualisation of sovereignty along with its role within international tax coordination and collaboration to argue that a move towards a more unified approach to addressing international base erosion and profit shifting may be the ultimate exercise of national fiscal sovereignty. By using the current transfer pricing regime as a case study, this paper posits that it is not merely enough to have international agreement on allocation rules to be applied, but that the ultimate exercise of national sovereignty is political agreement with other states to ensure that it is governments which determine the allocational basis of worldwide profits to be taxed. In doing so, it is demonstrated that the arm’s length pricing requirement of the current transfer pricing regime, rather than providing governments with the ability to determine the location of profits, is providing multinational entities with the ultimate power to determine that location. If left unchecked, this will eventually erode a nation’s ability to capture the required tax revenue and, as a consequence, may be deemed a failure by nation states to exercise their fiscal sovereignty.

Dissociating verbal and nonverbal audiovisual object processing

This fMRI study investigates how audiovisual integration differs for verbal stimuli that can be matched at a phonological level and nonverbal stimuli that can be matched at a semantic level. Subjects were presented simultaneously with one visual and one auditory stimulus and were instructed to decide whether these stimuli referred to the same object or not. Verbal stimuli were simultaneously presented spoken and written object names, and nonverbal stimuli were photographs of objects simultaneously presented with naturally occurring object sounds. Stimulus differences were controlled by including two further conditions that paired photographs of objects with spoken words and object sounds with written words. Verbal matching, relative to all other conditions, increased activation in a region of the left superior temporal sulcus that has previously been associated with phonological processing. Nonverbal matching, relative to all other conditions, increased activation in a right fusiform region that has previously been associated with structural and conceptual object processing. Thus, we demonstrate how brain activation for audiovisual integration depends on the verbal content of the stimuli, even when stimulus and task processing differences are controlled.

Medical negligence, causation and liability for non-disclosure of risk : a post-wallace framework and critique

Through an examination of Wallace v Kam, this article considers and evaluates the law of causation in the specific context of a medical practitioner’s duty to provide information to patients concerning material risks of treatment. To supply a contextual background for the analysis which follows, Part II summarises the basic principles of causation law, while Part III provides an overview of the case and the reasoning adopted in the decisions at first instance and on appeal. With particular emphasis upon the reasoning in the courts of appeal, Part IV then examines the implications of the case in the context of other jurisprudence in this field and, in so doing, provides a framework for a structured consideration of causation issues in future non-disclosure cases under the Australian civil liability legislation. As will become clear, Wallace was fundamentally decided on the basis of policy reasoning centred upon the purpose behind the legal duty violated. Although the plurality in Rogers v Whitaker rejected the utility of expressions such as ‘the patient’s right of self-determination’ in this context, some Australian jurisprudence may be thought to frame the practitioner’s duty to warn in terms of promoting a patient’s autonomy, or right to decide whether to submit to treatment proposed. Accordingly, the impact of Wallace upon the protection of this right, and the interrelation between it and the duty to warn’s purpose, is investigated. The analysis in Part IV also evaluates the courts’ reasoning in Wallace by questioning the extent to which Wallace’s approach to liability and causal connection in non-disclosure of risk cases: depends upon the nature and classification of the risk(s) in question; and can be reconciled with the way in which patients make decisions. Finally, Part V adopts a comparative approach by considering whether the same decision might be reached if Wallace was determined according to English law.

Environmental change and human history in the Jabal Harun area, Jordan

The research is related to the Finnish Jabal Harun Project (FJHP), which is part of the research unit directed by Professor Jaakko Frösén. The project consists of two interrelated parts: the excavation of a Byzantine monastery/pilgrimage centre on Jabal Harun, and a multiperiod archaeological survey of the surrounding landscape. It is generally held that the Near Eastern landscape has been modified by millennia of human habitation and activity. Past climatic changes and human activities could be expected to have significantly changed also the landscape of the Jabal Harun area. Therefore it was considered that a study of erosion in the Jabal Harun area could shed light on the environmental and human history of the area. It was hoped that it would be possible to connect the results of the sedimentological studies either to wider climatic changes in the Near East, or to archaeologically observable periods of human activity and land use. As evidence of some archaeological periods is completely missing from the Jabal Harun area, it was also of interest whether catastrophic erosion or unfavourable environmental change, caused either by natural forces or by human agency, could explain the gaps in the archaeological record. Changes in climate and/or land-use were expected to be reflected in the sedimentary record. The field research, carried out as part of the FJHP survey fieldwork, included the mapping of wadi terraces and cleaning of sediment profiles which were recorded and sampled for laboratory analyses of facies and lithology. To obtain a chronology for the sedimentation and erosion phases also OSL (optically stimulated luminescence) dating samples were collected. The results were compared to the record of the Near Eastern palaeoclimate, and to data from geoarchaeological studies in central and southern Jordan. The picture of the environmental development was then compared to the human history in the area, based on archaeological evidence from the FJHP survey and the published archaeological research in the Petra region, and the question of the relationship between human activity and environmental change was critically discussed. Using the palaeoclimatic data and the results from geoarchaeological studies it was possible to outline the environmental development in the Jabal Harun area from the Pleistocene to the present.It is appears that there was a phase of accumulation of sediment before the Middle Palaeolithic period, possibly related to tectonic movement. This phase was later followed by erosion, tentatively suggested to have taken place during the Upper Palaeolithic. A period of wadi aggradation probably occurred during the Late Glacial and continued until the end of the Pleistocene, followed by significant channel degradation, attributed to increased rainfall during the Early Holocene. It seems that during the later Holocene channel incision has been dominant in the Jabal Harûn area although there have been also small-scale channel aggradation phases, two of which were OSL-dated to around 4000-3000 BP and 2400-2000 BP. As there is no evidence of tectonic movements in the Jabal Harun area after the early Pleistocene, it is suggested that climate change and human activity have been the major causes of environmental change in the area. At a brief glance it seems that many of the changes in the settlement and land use in the Jabal Harun area can be explained by climatic and environmental conditions. However, the responses of human societies to environmental change are dependent on many factors. Therefore an evaluation of the significance of environmental, cultural, socio-economic and political factors is needed to decide whether certain phenomena are environmentally induced. Comparison with the wider Petra region is also needed to judge whether the phenomena are characteristic of the Jabal Harun area only, or can they be connected to social, political and economic development over a wider area.

Optimaalinen rangaistus talousrikoksesta : Tutkimus velallisen rikoksista

Optimal Punishment of Economic Crime: A Study on Bankruptcy Crime This thesis researches whether the punishment practise of bankruptcy crimes is optimal in light of Gary S. Becker’s theory of optimal punishment. According to Becker, a punishment is optimal if it eliminates the expected utility of the crime for the offender and - on the other hand - minimizes the cost of the crime to society. The decision process of the offender is observed through their expected utility of the crime. The expected utility is calculated based on the offender's probability of getting caught, the cost of getting caught and the profit from the crime. All objects including the punishment are measured in cash. The cost of crimes to the society is observed defining the disutility caused by the crime to the society. The disutility is calculated based on the cost of crime prevention, crime damages, punishment execution and the probability of getting caught. If the goal is to minimize the crime profits, the punishments of bankruptcy crimes are not optimal. If the debtors would decide whether or not to commit the crime solely based on economical consideration, the crime rate would be multiple times higher than the current rate is. The prospective offender relies heavily on non-economic aspects in their decision. Most probably social pressure and personal commitment to oblige the laws are major factors in the prospective criminal’s decision-making. The function developed by Becker measuring the cost to society was not useful in the measurement of the optimality of a punishment. The premise of the function that the costs of the society correlate to the costs for the offender from the punishment proves to be unrealistic in observation of the bankruptcy crimes. However, it was observed that majority of the cost of crime for the society are caused by the crime damages. This finding supports the preventive criminal politics.

Border basis detection is NP-complete

Border basis detection (BBD) is described as follows: given a set of generators of an ideal, decide whether that set of generators is a border basis of the ideal with respect to some order ideal. The motivation for this problem comes from a similar problem related to Grobner bases termed as Grobner basis detection (GBD) which was proposed by Gritzmann and Sturmfels (1993). GBD was shown to be NP-hard by Sturmfels and Wiegelmann (1996). In this paper, we investigate the computational complexity of BBD and show that it is NP-complete.

Rainbow connectivity: hardness and tractability

A path in an edge colored graph is said to be a rainbow path if no two edges on the path have the same color. An edge colored graph is (strongly) rainbow connected if there exists a (geodesic) rainbow path between every pair of vertices. The (strong) rainbow connectivity of a graph G, denoted by (src(G), respectively) rc(G) is the smallest number of colors required to edge color the graph such that G is (strongly) rainbow connected. In this paper we study the rainbow connectivity problem and the strong rainbow connectivity problem from a computational point of view. Our main results can be summarised as below: 1) For every fixed k >= 3, it is NP-Complete to decide whether src(G) <= k even when the graph G is bipartite. 2) For every fixed odd k >= 3, it is NP-Complete to decide whether rc(G) <= k. This resolves one of the open problems posed by Chakraborty et al. (J. Comb. Opt., 2011) where they prove the hardness for the even case. 3) The following problem is fixed parameter tractable: Given a graph G, determine the maximum number of pairs of vertices that can be rainbow connected using two colors. 4) For a directed graph G, it is NP-Complete to decide whether rc(G) <= 2.

Competing views on cancer

Despite intense research efforts that have provided enormous insight, cancer continues to be a poorly understood disease. There has been much debate over whether the cancerous state can be said to originate in a single cell or whether it is a reflection of aberrant behaviour on the part of a `society of cells'. This article presents, in the form of a debate conducted among the authors, three views of how the problem might be addressed. We do not claim that the views exhaust all possibilities. These views are (a) the tissue organization field theory (TUFT) that is based on a breakdown of tissue organization involving many cells from different embryological layers, (b) the cancer stem cell (CSC) hypothesis that focuses on genetic and epigenetic changes that take place within single cells, and (c) the proposition that rewiring of the cell's protein interaction networks mediated by intrinsically disordered proteins (IDPs) drives the tumorigenic process. The views are based on different philosophical approaches. In detail, they differ on some points and agree on others. It is left to the reader to decide whether one approach to understanding cancer appears more promising than the other.

Relay Selection with Channel Probing in Sleep-Wake Cycling Wireless Sensor Networks

In geographical forwarding of packets in a large wireless sensor network (WSN) with sleep-wake cycling nodes, we are interested in the local decision problem faced by a node that has ``custody'' of a packet and has to choose one among a set of next-hop relay nodes to forward the packet toward the sink. Each relay is associated with a ``reward'' that summarizes the benefit of forwarding the packet through that relay. We seek a solution to this local problem, the idea being that such a solution, if adopted by every node, could provide a reasonable heuristic for the end-to-end forwarding problem. Toward this end, we propose a local relay selection problem consisting of a forwarding node and a collection of relay nodes, with the relays waking up sequentially at random times. At each relay wake-up instant, the forwarder can choose to probe a relay to learn its reward value, based on which the forwarder can then decide whether to stop (and forward its packet to the chosen relay) or to continue to wait for further relays to wake up. The forwarder's objective is to select a relay so as to minimize a combination of waiting delay, reward, and probing cost. The local decision problem can be considered as a variant of the asset selling problem studied in the operations research literature. We formulate the local problem as a Markov decision process (MDP) and characterize the solution in terms of stopping sets and probing sets. We provide results illustrating the structure of the stopping sets, namely, the (lower bound) threshold and the stage independence properties. Regarding the probing sets, we make an interesting conjecture that these sets are characterized by upper bounds. Through simulation experiments, we provide valuable insights into the performance of the optimal local forwarding and its use as an end-to-end forwarding heuristic.

Surface Stress Induced By Adatoms Adsorption On Solid Surfaces

Based on the statistical thermodynamics theory, a theoretical model of adsorbate induced surface stress of adatoms adsorption on solid surface is presented. For the low coverage, the interaction between the adsorbed molecules is entirely negligible and the adsorption induced surface stress is found to be the function of the coverage and the adsorption energy change with strain. For the high coverage, the adsorbate-adsorbate interaction contributes to the adsorption-induced surface stress effectively. In the case of carbon adsorption on the Ni(100) surface, the value of 0.5 is obtained as a characteristic coverage to decide whether to take the interaction between the adsorabtes into consideration and the results also show that the adsorption induces a compressive surface stress.

Turnout Intention and Social Networks

How can networking affect the turnout in an election? We present a simple model to explain turnout as a result of a dynamic process of formation of the intention to vote within Erdös-Renyi random networks. Citizens have fixed preferences for one of two parties and are embedded in a given social network. They decide whether or not to vote on the basis of the attitude of their immediate contacts. They may simply follow the behavior of the majority (followers) or make an adaptive local calculus of voting (Downsian behavior). So they either have the intention of voting when the majority of their neighbors are willing to vote too, or they vote when they perceive in their social neighborhood that elections are "close". We study the long run average turnout, interpreted as the actual turnout observed in an election. Depending on the combination of values of the two key parameters, the average connectivity and the probability of behaving as a follower or in a Downsian fashion, the system exhibits monostability (zero turnout), bistability (zero turnout and either moderate or high turnout) or tristability (zero, moderate and high turnout). This means, in particular, that for a wide range of values of both parameters, we obtain realistic turnout rates, i.e. between 50% and 90%.

Como vota o Partido dos Trabalhadores (PT) na Câmara dos Deputados enquanto oposição e enquanto governo

Objetiva verificar se o Partido dos Trabalhadores - (PT) manteve ou não sua coerência programática e ideológica enquanto oposição e enquanto governo em votações das reformas da previdência realizadas na Câmara dos Deputados. Para isso foram analisadas as PECs n.° 33/1995 e n.° 40/2003, o conceito de seguridade social, previdência social, a criação e formação ideológica do PT. Foram estudados a votação das PECs e como PT votou em cada uma delas, e finalmente, conclui este estudo descrevendo o conteúdo analisado e discorrendo sobre as descobertas desse questionamento.

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.