934 resultados para logic gate
Resumo:
This essay aims to make a contribution to the conversation between IR and nationalism literatures by considering a particular question: What is the relationship between interstate military competition and the emergence of nationalism as a potent force in world politics? The conventional wisdom among international security scholars, especially neorealists, holds that nationalism can be more or less treated like a “technology” that allowed states to extract significant resources as well as manpower from their respective populations. This paper underlines some of the problems involved with this perspective and pushes forward an interpretation that is based on the logic of political survival. I argue that nationalism’s emergence as a powerful force in world politics followed from the “mutation” and absorption of the universalistic/cosmopolitan republican ideas that gained temporary primacy in Europe during the eighteenth century into particularistic nationalist ideologies. This transformation, in turn, can be best explained by the French Revolution’s dramatic impacts on rulers’ political survival calculi vis-à-vis both interstate and domestic political challenges. The analysis offered in this essay contributes to our understanding of the relationship between IR and nationalism while also highlighting the potential value of the political survival framework for exploring macrohistorical puzzles.
Resumo:
In order to enhance the quality of care, healthcare organisations are increasingly resorting to clinical decision support systems (CDSSs), which provide physicians with appropriate health care decisions or recommendations. However, how to explicitly represent the diverse vague medical knowledge and effectively reason in the decision-making process are still problems we are confronted. In this paper, we incorporate semiotics into fuzzy logic to enhance CDSSs with the aim of providing both the abilities of describing medical domain concepts contextually and reasoning with vague knowledge. A semiotically inspired fuzzy CDSSs framework is presented, based on which the vague knowledge representation and reasoning process are demonstrated.
Resumo:
From 1991, when the Dublin Gate Theatre launched their Samuel Beckett Festival featuring nineteen of Beckett’s stage plays, to more recent years, the Gate dominated Irish productions of Beckett’s theater. The Gate Beckett Festival was remounted in 1996 at the Lincoln Center, New York, and at the Barbican Centre, London, in 1999, and individual or grouped productions have toured regularly since then in Ireland and internationally. However, since the Irish premiere of Waiting of Godot at the Pike Theatre in 1955, in addition to several Beckett plays mounted by the National Theatre, many independent Irish theater companies, such as Focus Theatre, Druid Theatre, and more recently Pan Pan Theatre, Blue Raincoat Theatre, The Corn Exchange, and Company SJ (under director Sarah Jane Scaife), have produced Beckett’s drama. While acknowledging earlier Irish productions, this essay will consider the role of the Dublin Gate Beckett Festival and the Beckett Centenary celebrations in Dublin in 2006 in greatly enhancing the marketability of Beckett’s work, and will discuss the proliferation of productions of Beckett’s stage plays (as opposed to stage adaptations of the prose work, which is a topic for another essay) in the independent theater sector in the Republic of Ireland since 2006. In addition to giving an overview of these recent productions, the essay will consider some issues at stake in creating or constructing performance histories
Resumo:
This article examines the role played by ideas and their thinkers in Christopher Hill's histories of the English Revolution. Hill protested against a reductionist economic determinism with no place for the intrinsic power of ideas, but his account of ideas gave them a progressive logic parallel to, if not always easy to link with, that of economic development, and threatened to divorce them from their muddled and imperfect thinkers. This account of the logic of ideas had a striking impact on the way in which the more mainstream radicals of the English Revolution appeared in Hill's work, with both the Levellers and James Harrington being half assimilated to, and half pushed aside in favor of, the more thoroughgoing economic radicals who expressed, in however ragged a way, the intrinsic potential of their ideas. However, Hill's writings also betray a surprising attraction to religious over secular forms of radicalism.
Resumo:
Electrochemical gating at the single molecule level of viologen molecular bridges in ionic liquids is examined. Contrary to previous data recorded in aqueous electrolytes, a clear and sharp peak in the single molecule conductance versus electrochemical potential data is obtained in ionic liquids. These data are rationalized in terms of a two-step electrochemical model for charge transport across the redox bridge. In this model the gate coupling in the ionic liquid is found to be fully effective with a modeled gate coupling parameter, ξ, of unity. This compares to a much lower gate coupling parameter of 0.2 for the equivalent aqueous gating system. This study shows that ionic liquids are far more effective media for gating the conductance of single molecules than either solid-state three-terminal platforms created using nanolithography, or aqueous media.
Resumo:
A time efficient optical model is proposed for GATE simulation of a LYSO scintillation matrix coupled to a photomultiplier. The purpose is to avoid the excessively long computation time when activating the optical processes in GATE. The usefulness of the model is demonstrated by comparing the simulated and experimental energy spectra obtained with the dual planar head equipment for dosimetry with a positron emission tomograph ( DoPET). The procedure to apply the model is divided in two steps. Firstly, a simplified simulation of a single crystal element of DoPET is used to fit an analytic function that models the optical attenuation inside the crystal. In a second step, the model is employed to calculate the influence of this attenuation in the energy registered by the tomograph. The use of the proposed optical model is around three orders of magnitude faster than a GATE simulation with optical processes enabled. A good agreement was found between the experimental and simulated data using the optical model. The results indicate that optical interactions inside the crystal elements play an important role on the energy resolution and induce a considerable degradation of the spectra information acquired by DoPET. Finally, the same approach employed by the proposed optical model could be useful to simulate a scintillation matrix coupled to a photomultiplier using single or dual readout scheme.
Resumo:
We describe the assembly of layer-by-layer films based on the poly(propylene imine) dendrimer (PPID) generation 3 and nickel tetrasulfonated phthalocyanine (NiTsPc) for application as chemically sensitive membranes in sepal alive extended-gate field effect transistor (SEGFET) pH sensors PPID/NiTsPc films wet e adsorbed on quartz, glass. indium tin oxide. or gold (Au)-covered glass substrates Multilayer formation was monitored via UV-vis absorption upon following the increment in the Q-band intensity (615 nm) of NiTsPc The nanostructured membranes were very stable in a pH range of 4-10 and displayed a good sensitivity toward H(+), ca 30 mV/pH for PPID/N(1)TsPc films deposited on Au-covered substrates For films deposited on ITO, the sensitivity was ca 52 4 mV/pH. close to the expected theoretical value for ton-sensitive membranes. The use of chemically stable PPID/NiTsPc films as gate membranes in SEGFETs, as introduced here, may represent an alternative for the fabrication of nanostructured, porous platforms for enzyme immobilization to be used in enzymatic biosensors.
Resumo:
The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.
Resumo:
Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.
Resumo:
This article describes the integration of the LSD (Logic for Structure Determination) and SISTEMAT expert systems that were both designed for the computer-assisted structure elucidation of small organic molecules. A first step has been achieved towards the linking of the SISTEMAT database with the LSD structure generator. The skeletal descriptions found by the SISTEMAT programs are now easily transferred to LSD as substructural constraints. Examples of the synergy between these expert systems are given for recently reported natural products.