Mostrando recursos 281 - 300 de 180,998

  1. ES-SQL: Visually Querying Spreadsheets


    Abstract—This paper presents ES-SQL, an embedded tool for visually constructing queries over spreadsheets. This tool provides an expressive query environment which has knowledge on the business logic of spreadsheets, and by this knowledge it assists the user in defining the intended queries. I.

  2. Address for correspondence

    Chan Il Song; Tae Hyun Yoon; Tae Hyun Yoon
    Cholesterol granuloma is a histopathologic term used to describe the giant cell reaction to cho-lesterol deposits that occurs in sequestered, fluid-filled air cells that are normally pneumatized compartments of the temporal bone. It is a benign lesion which is known to be found in the middle ear cavity, mastoid air cells and petrous apex. Although cholesterol granuloma is a patho-logic term describing a tissue response to cholesterol crystals, it is now recognized as a clinical disease entity especially in cases of unilateral blue eardrum without tympanic membrane per-foration. Three factors are considered to play an important role in the development...

  3. for Collaboration of Heterogeneous Service Systems in RFID/USN Environment

    Seok-kyoo Kim; Juno Chang; Sang-yong Han
    Currently the research and development of various types of middleware for the ubiquitous computing environment are in demand, and many application services are therefore being provided. The practical ubiquitous computing environment is world in which a variety of services based on RFID/USN devices are integrated, creating synergy effects. From perspective of the end user, there should be a middleware platform and a business logic framework that join various services together to satisfy a range of user re-quirements. In addition, the platform should provide the user with a description of a sce-nario based on various events to maximize the collaboration. In...

  4. Expression of candidate pheromone receptor genes in vomeronasal neurons

    Catherine Dulac; Richard Axel
    In mammals, olfactory sensory perception is mediated by two anatomically and functionally distinct organs: the main olfactory epithelium (MOE) and the vomeronasal organ (VON). Pheromones activate the VNO and elicit a characteristic array of innate reproductive and social behaviors, along with dramatic neuroendocrine responses. Recent approaches have provided new insights into the molecular biology of sensory transduction in the VNO. Differential screening of cDNA libraries constructed from single sensory neurons from the rat VNO has led to the isolation of a family of genes which are likely to encode mammalian pheromone receptors. The isolation of these receptors from the VNO...

  5. PUB TYPE Numerical/Quantitative Data (110) Reports Evaluative


    The state of Washington implemented the Readiness to Learn program as part of the state's Family Policy Initiative. The primary goal of the program is to serve as a formal link between education and human services by authorizing grants to local school-linked, community-based consortia to develop and implement strategies that ensure children arrive at school ready to learn. This report provides updated evaluation findings for 1999-2000. The findings show that Readiness to Learn continues to successfully help students and families increase the likelihood of success at school and promote systemic change among service providers. Highlights from the 1999-2000 year include...

  6. Meat and meat-mutagen intake and pancreatic cancer risk

    Rachael Z. Stolzenberg-solomon; A J. Cross; Debra T. Silverman; Albert Hollenbeck; Arthur Schatzkin; Rashmi Sinha; Nutritional Epidemiology Branch; Occupational Epidemiology Branch; Biostatistics Branch; Division Of Cancer Epidemiology
    Meat intake, particularly red meat, has been positively associated with pancreatic cancer in some epidemio-logic studies. Detailed meat-cooking methods and related mutagens formed in meat cooked at high temperatures have not been evaluated prospectively as risk factors for this malignancy. We investigated the association between meat, meat-cooking methods, meat-mutagen intake, and exocrine pancreatic cancer in the NIH-American Association of Retired Persons (NIH-AARP) Diet and Health Study cohort of 537,302 individuals, aged 50 to 71 years, with complete baseline dietary data (1995-1996) ascertained from a food frequency questionnaire. A meat-cooking module was completed by 332,913 individuals 6 months after baseline. During...

  7. The search for Kathmandu's new landfill Science and logic needs to prevail over politics COMMENTARY Himalayan Journal of Sciences 1(1): 7-8, 2003Download in PDF format

    Bhushan Tuladhar
    The total waste of Kathmandu and Lalitpur cities can be recycled by setting up a 300 ton/day organic fertilizer plant for which an India-Nepal joint venture project is already selected. By doing this, the waste disposal problem is reduced by 80 % with minimal environmental impacts, and high quality fertilizer can be generated. But despite the suggestion of different experts, the government is ignoring this simple solution to valley’s difficult problem and using Okharpauwa as landfill site following the advice of politicians who want to build a road to Okharpauwa. Experts have concluded that Okharpauwa is technically, environmentally and economically...

  8. A three-valued semantics for logic programmers Article in Theory and Practice of Logic Programming · September 2005 Impact Factor: 1.05 · DOI: 10.1017/S1471068406002742 · Source: arXiv CITATIONS 9 READS 5

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

  9. Thermal Conduction Measurement and Analysis for a Spaceborn Sensor

    Chia-yen Chan; Bill Wang; Chien-pao Lin; Tom Hsiao
    heater power. Abstract. The present study is aimed at investigating the thermal conduction characteristics of a spaceborn sensor experimentally and computationally. The experimental measurement has been carried out in a high vacuum chamber with twenty selected thermal couples attached to the sensor module. The detailed internal thermal control design, material for heat release, temperature limit, and control logic of the sensor assembly have been described in the study. The total thermal resistance for the sensor has been evaluated from the experimental results of the steady state temperature distributions under a heat power of 5.5 W and the sensor heater power...

  10. © The author, 2012 | Licensed to the Surveillance Studies Network under a Creative Commons Attribution Non-Commercial No Derivatives license.


    Done right, edited volumes can provide great service to a particular topic, giving a window into understanding the frames of reference and topical matters of concern held by a community of scholars. Be it a well established topic, or, as in this case, an emerging and synthetic area of inquiry, edited volumes are more than a collection of discrete articles, constituting instead a domain of intellectual discourse sustained by meta-theoretical assumptions, conceptual frameworks, and methodologies. Hence, the challenge of any volume is to demonstrate internal coherence while also providing external validity. In this particular case, Bajc and de Lint do...

  11. Explaining modal logic proofs

    Amy Felty; Greg Hager; Amy Felty; Greg Hager; Linc Lab
    There has recently been considerable progress in the area of using computers as a tool for theorem proving. In this paper we focus on one facet of human-computer interaction in such systems: generating natural language explanations from proofs. We first discuss the X proof system- a tactic style theorem proving system for first-order logic with a collection of inference rules corresponding to human-oriented proof techniques. In X, proofs are stored as they are discovered using a structured term representation. We describe a method for producing natural language explanations of proofs via a simple mapping algorithm from proof structures to text....

  12. Multi-attribute Evaluation of Website Quality in E-business Using an Integrated Fuzzy AHPTOPSIS Published by Atlantis Press Copyright: the authors A Mixed MAGDM Approach Methodology

    Tolga Kaya
    Success of an e-business company is strongly associated with the relative quality of its website compared to that of its competitors. The purpose of this study is to propose a multi-attribute e-business website quality evaluation methodology based on a modified fuzzy TOPSIS approach. In the proposed methodology, weights of the evaluation criteria are generated by a fuzzy AHP procedure. In performance evaluation problems, the judgments of the experts may usually be vague in form. As fuzzy logic can successfully deal with this kind of uncertainty in human preferences, both classical TOPSIS and classical AHP procedures are implemented under fuzzy environment....

  13. Comparison of University Entrance Examination Scores with Graduate Students ’ GPA and Effects on Students ’ Success

    Mehtap Erguven
    Choosing talented students is very essential and critical issue for each university. The International Black Sea University (IBSU) uses some measurements to choose and admit students like other universities. Before the National Unified Entrance Examination (NUEE), the Georgia Ministry of Education and Science, asks the IBSU for the coefficients of the Georgian Language, Logic, English Language and Mathematics which were written in this examination. The purpose of the present article is to decide an optimal distribution of these coef-ficients to accept students to the Faculty of Computer Technologies & Engineering (CT&E) and to the Faculty of Business & Management (B&M)....

  14. Weight of Evidence Allocates Mineral Depositional Zones

    Abdullah A. Bokhari; Guang Dao Hu; Rani Fouad
    Abstract: Problem statement: Yunnan province in general and Pulang area in particular is geological rich area which prevents field study in multi locations due to high risk outcrop. Approach: New technology such as Geographic Information System (GIS) and an ArcView extension module Arc-weight of evidence (WofE) became very handy to provide safety for researchers and allow organization to control their budget. Results: In order to guide mineral exploration, to achieve the purpose of rapid evaluation of mineral resources a serial of modeled prediction methods were established. Weight of evidence model is to predict the existent thing by combining the known...

  15. Synthesis of correct-by-construction control protocols for hybrid systems using partial state information

    Oscar Mickelin; Necmiye Ozay; Richard M. Murray
    Abstract — This paper considers the problem of synthesizing output-feedback control laws for a class of discrete-time hybrid systems in order for the trajectories of the system to satisfy certain high-level specifications expressed in linear temporal logic. By leveraging ideas from robust interpretation of tempo-ral logic formulas and bounded-error estimation, we identify a subclass of systems for which it is possible to reduce the problem to a state-feedback form. In particular, we use locally superstable hybrid observers to resolve the partial information at the continuous level. This allows us to use recent results in temporal logic planning to synthesize the...

  16. Fuzzy LogicBased State-of-Health Determination

    Pritpal Singh; David Reisner
    Determining the state-of-health (SOH) of uninterruptible power supply (UPS) batteries using impedance measurements has been demonstrated by several researchers. One such approach uses single frequency impedance measurements, which may not be reliable under all circumstances. Another approach employs measurements over a wide frequency range and uses extracted equivalent circuit parameters to correlate with battery SOH. This is a computationally extensive approach and not easily incorporated into a low cost system. Over the last five years, Villanova University and US Nanocorp. have been jointly developing a patented fuzzy logic method for estimating the state-of-charge (SOC) and SOH of batteries. This methodology...

  17. $rec.titulo


    Socioeconomic factors can have profound effects onthe health of individuals and populations, and theperinatal domain is particularly susceptible to such influences. The principal pathways by which socioeconomic status affects perinatal health include those that operate through lifestyle and behavioural factors: a large fraction of socioeconomic differences in adverse perinatal outcomes can be explained on the basis of factors such as maternal age,1,2 smoking,3,4 marital status,5,6 alcohol consumption,7 obesity,8,9 residence (rural v. urban),10 education,7,11 weight gain,12 early prenatal care,13 prenatal class attendance, parity and breast-feeding.7 Differential access to good-quality obstetric services and neonatal care is another main reason for socioeconomic dis-parities...

  18. THE INTERDISCIPLINAR EDUCATION CENTER (CENTRO DE FORMAÇÃO INTERDISCIPLINAR)

    Roberto Do Nascimento
    At the federal university of western pará- ufopa, brazil, the center for interdisciplinary education- cfi and the interdisciplinary education 1, at which students acquire during their first academic period, a general training of multi and interdisciplinary nature that meets knowledge to the world of reality reflected through the local reality. It is academic and citizenship offered by specific instance. Regarding the interdisciplinary training 1- first component of the first general cycle interdisciplinary undergraduate- is based on knowledge articulated through five interdisciplinary modules, for which it produced a collection of modular books namely: logic, languages and communication- llc; origin and evolution...

  19. Transformation of Left Terminating Programs: the Reordering Problem

    Reordering Problem; Nicoletta Cocco; Università Ca; Foscari Venezia; See Profile; Sandro Etalle; Annalisa Bossi; Nicoletta Coceo; Ro Etalle
    Abst ract. An Unfold/Fold transformation system is a source-to-source rewrit-ing methodology devised to improve the efficiency of a program. Any such transformation should preserve the main properties of the initial program: among them, termination. When dealing with logic programs uch as PRO-LOG programs, one is particularly interested in preserving left termination i.e. termination wrt the leftmost selection rule, which is by far the most widely employed of the search rules. Unfortunately, the most popular Unfold/Fold transformation systems ([TS84, Sek91]) do not preserve the above termina-tion property. In this paper we study the reasons why left termination may be spoiled by...

  20. Fuzzy Logic Based Power System Contingency Ranking

    A. Y. Abdelaziz; A. T. M. Taha; M. A. Mostafa; A. M. Hassan
    Abstract — Voltage stability is a major concern in planning and operations of power systems. It is well known that voltage instability and collapse have led to major system failures. Modern transmission networks are more heavily loaded than ever before to meet the growing demand. One of the major consequences resulted from such a stressed system is voltage collapse or instability. This paper presents maximum loadability identification of a load bus in a power transmission network. In this study, Fast Voltage Stability Index (FVSI) is utilized as the indicator of the maximum loadability termed as Qmax. In this technique, reactive...

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.