نتایج جستجو برای: Worldwide

تعداد نتایج: 107704  

1995
Sam Bayer Mark Johnson

This paper compares the consistency-based account of agreement phenomena inùniication-based' grammars with an implication-based account based on a simple feature extension to Lambek Categorial Grammar (LCG). We show that the LCG treatment accounts for constructions that have been recognized as problematic forùniication-based' treatments.

Background: Investment in science is vital for the development and well-being of societies. This study aims to assess the scientific productivity of countries by quantifying their publication of systematic reviews taking the gross national income per capita (GNIPC) into account. Methods: Medline and ISI Web of Science were searched for systematic reviews published between 1st January 2006 an...

Journal: :PVLDB 2011
Mohamed H. Ali Badrish Chandramouli Jonathan Fay Curtis Wong Steven M. Drucker Balan Sethu Raman

This demo presents the ongoing effort to meld the stream query processing capabilities of Microsoft StreamInsight with the visualization capabilities of the WorldWide Telescope. This effort provides visualization opportunities to manage, analyze, and process real-time information that is of spatio-temporal nature. The demo scenario is based on detecting, tracking and predicting interesting patt...

Journal: :CoRR 2013
R. U. Gobithaasan J. M. Ali Kenjiro T. Miura

The Generalized Cornu Spiral (GCS) was first proposed by Ali et al. in 1995 [9]. Due to the monotonocity of its curvature function, the surface generated with GCS segments has been considered as a high quality surface and it has potential applications in surface design [2]. In this paper, the analysis of GCS segment is carried out by determining its aesthetic value using the log curvature Graph...

Journal: :IEEE Data Eng. Bull. 2004
Jim Gray Alexander S. Szalay

Scientists in all domains face a data avalanche – both from better instruments and from improved simulations. We believe that computer science tools and computer scientists are in a position to help all the sciences by building tools and developing techniques to manage, analyze, and visualize peta-scale scientific information. This article is summarizes our experiences over the last seven years...

Journal: :CoRR 2015
Samuel C. Skipsey Paulin Todev David Britton David Crooks Gareth Roy

The state of the art in Grid style data management is to achieve increased resilience of data via multiple complete replicas of data files across multiple storage endpoints. While this is effective, it is not the most space-efficient approach to resilience, especially when the reliability of individual storage endpoints is sufficiently high that only a few will be inactive at any point in time....

2018
Jasmine Young John D. Westbrook Zukang Feng Ezra Peisach Irina Persikova Raul Sala Sanchayita Sen John M. Berrisford Jawahar Swaminathan Thomas J. Oldfield Aleksandras Gutmanas Reiko Igarashi David R. Armstrong Kumaran Baskaran Li Chen Minyu Chen Alice R. Clark Luigi Di Costanzo Dimitris Dimitropoulos Guanghua Gao Sutapa Ghosh Swanand P. Gore Vladimir Guranovic Pieter M. S. Hendrickx Brian P. Hudson Yasuyo Ikegawa Yumiko Kengaku Catherine L. Lawson Yuhe Liang Lora Mak Abhik Mukhopadhyay Buvaneswari Coimbatore Narayanan Kayoko Nishiyama Ardan Patwardhan Gaurav Sahni Eduardo Sanz-García Junko Sato Monica Sekharan Chenghua Shao Oliver S. Smart Lihua Tan Glen van Ginkel Huanwang Yang Marina Zhuravleva John L. Markley Haruki Nakamura Genji Kurisu Gerard J. Kleywegt Sameer Velankar Helen M. Berman Stephen K. Burley

The Protein Data Bank (PDB) is the single global repository for experimentally determined 3D structures of biological macromolecules and their complexes with ligands. The VC The Author(s) 2018. Published by Oxford University Press. Page 1 of 17 This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0/), wh...

Journal: :Journal of Logic, Language and Information 1996
Wojciech Buszkowski

Pentus [24] proves the equivalence of LCG’s and CFG’s, and CFG’s are equivalent to BCG’s by the Gaifman theorem [1]. This paper provides a procedure to extend any LCG to an equivalent BCG by affixing new types to the lexicon; a procedure of that kind was proposed as early, as Cohen [12], but it was deficient [4]. We use a modification of Pentus’ proof and a new proof of the Gaifman theorem on t...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید