Mostrando recursos 161 - 180 de 182,359

  1. Pinacidil’s Effects on Defibrillation Outcomes: Role of Increased Potassium Conductance Via the KATP Channel

    Allison P. Winecoff; J. Jason Sims; Michael L. Markel; Michael R. Ujhelyi
    Background: It has been shown that the inhibition of potassium ion conductance decreases defibrillation threshold. We postulated that if potassium conductance is a primary mechanism affecting defibrillation threshold values, then increasing potassium ion conductance will increase defibrillation values. The primary objective of this study was to determine if the ATP-dependent potassium (KATP) channel opener pinacidil would increase defibrillation threshold values. The second objective was to prove that the observed changes were due to potassium conductance by using the KATP inhibitor, glyburide, to reverse the electrophysio-logic actions of pinacidil. The third objective was to determine if the electrophysiology actions of pinacidil...

  2. Fault detection and ow regime identication based on analysis of signal noise from electromagnetic owmeters

    S Perovic; E H Higham; P J Unsworth
    Abstract: The signal conditioning and processing circuits of conventional electromagnetic ow-meters have been designed to provide an accurate average owrate measurement signal, principally for the purpose of process control. One consequence of this is that the ‘noise ’ and other low frequency components of the electrode signal are suppressed. Hitherto, the possibility that they may carry potentially useful information has been overlooked, but there are studies which show that information regarding the ow regime can be identied by spectral analysis of the higher frequency or ‘noise’ components of the sensor signals from some other types of owmeters. If the entire...

  3. S.: Some varieties of finite tree automata related to restricted temporal logic

    Zoltan Esik; Szabolcs Ivan; See Profile
    All in-text references underlined in blue are linked to publications on ResearchGate, letting you access and read them immediately.

  4. $rec.titulo


    have been found to stimulate absorption of several minerals and to improve mineralization of bone. Hence, these sub-stances are potential ingredients for “functional foods. ” In addition to a nutritional effect, functional foods have physio-logic and psychological benefits that result in improved health or reduced risk of chronic disease. Most of the scientific evi-dence for the functional effects of NDOs is based on animal experiments in which NDOs increased the availability of cal-cium, magnesium, zinc, and iron. This stimulatory effect of some NDOs is assumed to be mainly due to their prebiotic character. A prebiotic is defined as a substrate...

  5. TITLE: Reasoning about Definedness A Definedness Checking

    Qian Hu B. Tech; Supervisor Dr; William M. Farmer
    Effective definedness checking is crucial for an implementation of a logic with unde-finedness. The objective of the MathScheme project is to develop a new approach to mechanized mathematics that seeks to combine the capabilities of computer alge-bra systems and computer theorem proving systems. Chiron, the underlying logic of MathScheme, is a logic with undefinedness. Therefore, it is important to automate, to the greatest extent possible, the process of checking the definedness of Chiron expressions for the MathScheme project. This thesis provides an overview of infor-mation useful for checking definedness of Chiron expressions and presents the design and implementation of an...

  6. $rec.titulo


    The pathophysio logic ef fects provoked by laryngoscopy and tracheal intubation are generally short-lived, however, in certain circumstances, they may become more serious and long-lasting, and manifest as apnea, nausea, coughing, laryngospasm and bronchospasm, with consequent gastroesophageal reflux, difficulties viewing the larynx, obstruction of the airway, hypoxia, hypercapnia, pulmonary edema reduced cardiac output. In addition to respiratory reactions, direct laryngoscopy also alters cardiovascular function and provokes arterial hypertension, tachycardia or bradyarrhythmia and a significant increase in intracrania l and intraoccular pressure. Rapid sequence intubation (RSI) consists

  7. The SEP-Approach to Evaluate Large-Scale Intelligent Freight Transport Systems

    Corné Versteegt; Er Verbraeck
    Abstract- In this paper we present the SEP-approach, an approach to evaluate intelligent logistic systems and their control systems. The SEP-approach consists of four phases in which three types of models are used; Simulation, Emulation, and Prototypes, of control systems and logistic resources. In the first phase a simulation model is made of the physical logistic processes. A second simulation model is made containing the logic of the control systems. This simulated control system is used to control different models of the logistic resources throughout the entire SEP-approach. In the second phase emulation models are made of the logistic resources....

  8. To cite this version:

    Peter Schrammel; Pavle Subotic; Peter Schrammel; Pavle Subotic; Logico-numerical Max-strategy; Iteration Giacobazzi; Peter Schrammel; Pavle Subotic
    HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et a ̀ la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Logico-Numerical Max-Strategy Iteration⋆

  9. New Type of Takagi-Sugeno Fuzzy Inference System as Universal


    Abstract. A new type of fuzzy inference systems (FIS) is presenting. It is based on Takagi-Sugeno fuzzy inference system. New FIS has been called the enhanced fuzzy regression (EFR). In opposition to the Takagi-Sugeno, new type of FIS has fuzzy coefficients in right parts of the fuzzy rules. Fuzzy approximation theorem has been proved for the EFR. We have suggested learning procedure for EFR inference system.

  10. Submitted by:

    Ph. D. Programme; Name Anita Khosla; Designation Professor; Dean Fet
    Stability is one of the most important aspects in the traditional knowledge of Automatic Control. The most widely used control strategy in industries is the proportional integral derivative (PID) controller. The PID controllers are popular as they can perform robustly in a wide range of operating conditions and due to their functional simplicity. Our research is to design “An Intelligent (Fuzzy Logic) controller ” using simple approach & smaller rule set and to implement the controller on inverted pendulum system to control the velocity and angle of the inverted pendulum system. Performance of Controller will be demonstrated through Simulation. Performance...

  11. $rec.titulo

    Hashem Shariatmadara; Hessamoddin Meshkat Razavi
    Seismic control response of structures using an ATMD with fuzzy logic controller and PSO method

  12. Seismic hazard assessment (2003–2009) for the Italian building code

    Massimiliano Stucchi; Carlo Meletti; Valentina Montaldo; Helen Crowley; Gian Michele Calvi; Enzo Boschi
    Abstract This paper describes the probabilistic assessment of seismic hazard (PSHA) of Italy in view of the building codes from 2003 to 2009. A code was issued in 2003 as a Prime Minister Ordinance, requiring that a PSHA for updating the seismic zoning would be performed in one year, in terms of horizontal peak ground accel-eration (PGA) with 10 % probability of exceedance in 50 years on hard ground. For the first time in Italy, a working group, established by the Istituto Nazionale di Geofisica e Vulcanologia, adopted a logic-tree approach to model the epistemic uncertainty in the completeness of...

  13. Small But Nasty Logic Synthesis Examples

    Petr Fiser; Jan Schmidt; Jan Schmidt
    A method to find hard logic synthesis examples with known upper bound is presented. The circuits can be small and yet difficult to synthesize. Any area-related metric can be used in finding the circuits and testing synthesis tools. The hardness of the examples is robust with respect to the metric used and to minor alterations in the circuit. 1

  14. Commentary CMAJ


    All editorial matter in CMAJ represents the opinions of the authors and not necessarily those of the Can adian Medical Association. 1824 CMAJ, November 8, 2011, 183(16) © 2011 Canadian Medical Association or its licensors Multiple sclerosis is a chronic demyeli-nating disorder affecting the brain,spinal cord and optic nerves. Al though the cause of multiple sclerosis is unknown, patho-logic studies suggest that the patient’s immune system inappropriately attacks the myelin sheath covering axons. All currently approved disease-modifying treatments for multiple sclerosis target the immune system in one way or another. There have been many theories as to the cause of...

  15. Perspectives Pemphigus and Pemphigoid as Paradigms of Organ-specific, Autoantibody-mediated Diseases

    John R. Stanley
    The blistering skin diseases pemphigus and pemphigoid can be considered paradigms of antibody-mediated, organ-specific autoimmune diseases. These diseases not only demonstrate mechanisms whereby autoantibodies can mediate tissue dam-age, but are also examples ofhow autoantibodies from patients can be used as tools to further our understanding ofthe molec-ular structure of normal tissue. In this Perspectives article, I will briefly describe the clinical, histologic, and immunopatho-logic features of these diseases. I will then discuss in more detail the newer data regarding the pathophysiology of these diseases, as well as the molecules defined by the autoantibodies from these patients. Clinical and histologic features...

  16. Revista do Instituto de Geociências- USP

    Vitor Vieira Vasconcelos; Paulo Pereira; Martins Junior; Renato Moreira Hadad
    Disponível on-line no endereço www.igc.usp.br/geologiausp- 3-The quantification of flow components is important for water resource management. The base, interflow, and runoff flows of nested basins of the Paracatu River (SF-7) were estimated with recursive signal filters in this study. At first, stationary analysis and multivariate gap filling were applied to the flow data. A methodology is presented, proposing filter calibration with the runoff influence and inflection of the recession curve for dry season. Filters are improved with a logic constraint that limits water flow overestimation within algorithm iteration. The results were coherent with previous studies and with hydrogeological and climatological...

  17. Tableau Algorithm for Concept Satisfiability in Description Logic ALCH

    Core Scholar; Satya S. Sahoo; Krishnaprasad Thirunarayan; Satya S. Sahoo; Krishnaprasad Thirunarayan
    Abstract. The provenir ontology is an upper-level ontology to facilitate interoperability of provenance information in scientific applications. The description logic (DL) expressivity of provenir ontology is ALCH, that is, it models role hierarchies (H) (without transitive roles and inverse roles). Even though the complexity results for concept satisfiability for numerous variants of DL such as ALC with transitively closed roles (ALCR+ also called S), inverse roles SI, and role hierarchy SHI have been well-established, similar results for ALCH has been surprisingly missing from the literature. Here, we show that the complexity of the concept satisfiability problem for the ALCH variant...

  18. Hybrid (GA and Fuzzy logic) Controller

    C. Sharmeela
    Direct torque control of PMBLDC motor using hybrid (GA and fuzzy logic) controller

  19. Técnicos judiciários do Tribunal de Justiça do Estado do Rio Grande do Sul : perfil e perspectivas de carreira

    Fagundes, Lucas Duarte
    Nos últimos anos, pesquisas têm apontado que alguns servidores públicos apresentam características da carreira proteana: adaptando-se às mudanças constantes impostas pelo ambiente e moldando suas carreiras à sua maneira, utilizando-se dos recursos que possuem no serviço público para alcançar seus objetivos profissionais. No entanto o país enfrenta um período turbulento, em que o gasto público superou as metas previstas no orçamento, e assim, medidas de contenção de despesas afetam diretamente os servidores públicos, como a suspensão dos concursos públicos em âmbito nacional e, também, no Estado do Rio Grande do Sul. Diante deste cenário, o presente trabalho buscou investigar as...

  20. Análise do código de conduta das instituições financeiras da BM&FBovespa à luz das recomendações do Instituto Brasileiro de Governança Corporativa

    Araújo, Aline Oliveira
    O código de conduta e ética das organizações, é um instrumento que tem como objetivo estruturar políticas e normas claras em relação ao comprometimento com os diferentes stakeholders, tanto internos como externos à organização. Nesse contexto, o objetivo desta pesquisa é analisar os aspectos formais e a essência dos códigos de conduta das empresas do setor de atuação financeiro listadas na BM&FBovespa à luz das recomendações feitas pelo Instituto Brasileiro Governança Corporativa (IBGC). Quanto aos procedimentos metodológicos, esta pesquisa é classificada como quantitativa e qualitativa, descritiva e documental. No mês de abril de 2016, foram coletados os códigos de conduta...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.