On Graph Refutation for Relational Inclusions

We introduce a graphical refutation calculus for relational inclusions: it reduces establishing a relational inclusion to establishing that a graph constructed from it has empty extension. This sound and complete calculus is conceptually simpler and easier to use than the usual ones.Comment: In Proceedings LSFA 2011, arXiv:1203.542

Implantação de um empreendimento agrícola no cerrado no Distrito Federal.

bitstream/item/100433/1/Implantacao-de-um-empreendimento.pd

On Graphical Calculi for Modal Logics

We present a graphical approach to classical and intuitionistic modal logics, which provides uniform formalisms for expressing, analysing and comparing their semantics. This approach uses the flexibility of graphical calculi to express directly and intuitively the semantics for modal logics. We illustrate the benefits of these ideas by applying them to some familiar cases of classical and intuitionistic multi-modal logics.Cálculos Gráficos para lógicas modais Apresentamos uma abordagem gráfica para as lógicas modais clássica e intuicionista, capaz de fornecer formalismos uniformes para expressar, analisar e comparar suas respectivas semânticas. Tal abordagem utiliza a flexibilidade dos cálculos gráficos para expressar, direta e intuitivamente, a semântica das lógicas modais. Ilustramos os benefícios dessas ideias aplicando-as a alguns casos conhecidos de lógicas multimodais clássica e intuicionista.---Artigo em inglês

Efficient ion blocking in gaseous detectors and its application to gas-avalanche photomultipliers sensitive in the visible-light range

A novel concept for ion blocking in gas-avalanche detectors was developed, comprising cascaded micro-hole electron multipliers with patterned electrodes for ion defocusing. This leads to ion blocking at the 10^{-4} level, in DC mode, in operation conditions adequate for TPCs and for gaseous photomultipliers. The concept was validated in a cascaded visible-sensitive gas avalanche photomultiplier operating at atmospheric pressure of Ar/CH_{4} (95/5) with a bi-alkali photocathode. While in previous works high gain, in excess of 10^{5}, was reached only in a pulse-gated cascaded-GEM gaseous photomultiplier, the present device yielded, for the first time, similar gain in DC mode. We describe shortly the physical processes involved in the charge transport within gaseous photomultipliers and the ion blocking method. We present results of ion backflow fraction and of electron multiplication in cascaded patterned-electrode gaseous photomultiplier with K-Cs-Sb, Na-K-Sb and Cs-Sb visible-sensitive photocathodes, operated in DC mode.Comment: Proceeding paper to 10-th International Conference On Instrumentation For Colliding Beam Physics, Budker Institute of Nuclear Physics, Novosibirsk, Russia, February 28 - March 5, 2008, Submitted to NIMA, 5 pages, 7 figure

Further progress in ion back-flow reduction with patterned gaseous hole-multipliers

A new idea on electrostatic deviation and capture of back-drifting avalanche-ions in cascaded gaseous hole-multipliers is presented. It involves a flipped reversed-bias Micro-Hole & Strip Plate (F-R-MHSP) element, the strips of which are facing the drift region of the multiplier. The ions, originating from successive multiplication stages, are efficiently deviated and captured by such electrode. Experimental results are provided comparing the ion-blocking capability of the F-R-MHSP to that of the reversed-bias Micro-Hole & Strip Plate (R-MHSP) and the Gas Electron Multiplier (GEM). Best ion-blocking results in cascaded hole-multipliers were reached with a detector having the F-R-MHSP as the first multiplication element. A three-element F-R-MHSP/GEM/MHSP cascaded multiplier operated in atmospheric-pressure Ar/CH4 (95/5), at total gain of ~10^{5}, yielded ion back-flow fractions of 3*10^{-4} and 1.5*10^{-4}, at drift fields of 0.5 and 0.2 kV/cm, respectively. We describe the F-R-MHSP concept and the relevance of the obtained ion back-flow fractions to various applications; further ideas are also discussed.Comment: 17 pages, 11 figures, published in JINS

Pink Cloud Syndrome Among Ruled Drug Users in Iligan City Drug Treatment and Rehabilitation Center (ICDTRC)

Substance abuse is a global challenge with aninimical effect on an individual’s health. It has beenassociated with crime, violence, risky behaviour, and poorhealth consequences. The term “Pink Cloud” is used todescribe a state in which a person undergoing treatmentmanifests euphoria, overconfidence, and a false sense ofwell-being, therefore making them vulnerable to relapse.This study determined the demographic profile, and riskstatus for relapse, and motivation, readiness for andretention in treatment of ruled drug users in ICDTRCand their corresponding relationships with one another.The researchers utilized a descriptive-correlational designand two modified questionnaires were employed to 22respondents. The data obtained were analyzed throughPearson Correlational Formula.It was found that 13 or 59% of the respondentsare not at risk for relapse. There is a direct relationshipbetween their risk status for relapse and gender,educational attainment, marital status, employmentstatus, and length of stay in rehab. Furthermore, majorityof the respondents have medium to high motivation,readiness for and retention in treatment, which has aninverse relationship with their age, marital status,employment status, and length of stay in rehab. The researchers conclude that men have ahigher rate of drug abuse than women and being single,unemployed, having a high education level and lowincome may increase one’s risk for drug use.Additionally, single, unemployed, and youngerrespondents who stayed for less than 90 days in rehabtended to have better motivation to retain treatment.Thus, it is imperative for symptoms of relapse to becontinually assessed throughout the treatment programto promote a lasting recovery. Increasing awareness onPink Cloud Syndrome and its symptoms through healthteaching and use of a targeted treatment approach foreach individual are also recommended to improvetreatment outcome

Sedimentary heterogeneity and petrophysical characterization of Barremian tsunami and barrier island/inlet deposits: The Aliaga outcrop as a reservoir analogue (Galve sub-basin, eastern Spain)

The present study examined two sandstone deposits in the Aliaga outcrop as a reservoir analogue over a distance of 200-m-long and attempted to establish a correlation between sand facies and the petrophysical properties of the sandstones in order to investigate the reservoir heterogeneity. The Aliaga reservoir analogue represents the upper part of Camarillas Fm., deposited during the Barremian synrift phase of the Galve sub-basin (Iberian Basin, Spain). It is characterized by a transitional sedimentary interval from sandy-dominant deposits to carbonate-dominant deposits, which were deposited under the same palaeoenvironmental conditions (in relation to systems of back-barrier sedimentation). The description of the Aliaga outcrop provided here consists of lithological descriptions of two sandstone deposits: a tsunami and a barrier island/inlet, at both mesoscopic (decimetres to tens of metres) and microscopic scales (millimetres to centimetres). Both deposits recognized at the basin scale were described in terms of sand grain size, sand sorting and cementation; further cores were drilled along outcrop to collect samples for porosity and permeability measurements. Both sandstone reservoirs are the result of different sedimentary processes that determined facies characteristics, as the different petrophysical properties observed in these deposits. Consequently, the sedimentary process controls the heterogeneity of the sandstones facies and thus, the sand heterogeneity controls the distribution of the petrophysical properties. The classification of sand facies in terms of sand sorting seems to be more appropriate for describing sand heterogeneity; accordingly, petrophysical parameters in both deposits were also influenced by sand sorting. The sand facies and petrophysics heterogeneity of the described deposits can be hierarchically ordered. First-order heterogeneity is related to the basin scale, second-order heterogeneity is related to genesis and the conditions of sediment deposition, and third-order heterogeneity is related to synsedimentary faults and/or post-sedimentation events.This research is a contribution to the project: Análisis de Cuencas Sedimentarias Continentales, of the Gobierno de Aragón, the Análisis de Cuencas Sedimentarias Group of the UCM-CAM, and the projects CGL2011-23717 (Ministerio de Ciencia e Innovación of the Spanish Government and FEDER) and UZ2015-CIE-10 (University of Zaragoza). Additional financial support was provided by a Cnpq (Conselho Nacional de Pesquisa e Desenvolvimento Tecnologico, Brasil) Research Grant (200147/2011-0) and an IAS Schema 1st session 2014 Postgraduate Grant to F. Veloso.Peer reviewe