Arthur N. Prior, in the Preface of Past, Present and Future, made clear his indebtedness to “the very lively tense-logicians of California for many discussions”. Strangely, with a notable exception of Copeland (1996), there is no extensive discussion of these scholars (as a group, if not a school) in the literature on the history of tense logic. In this paper, I propose to study how Nino B. Coc...

001 002 003 004 005 006 007 008 009 010 011 012 013 014 015 016 017 018 019 020 021 022 023 024 025 026 027 028 029 030 031 032 033 034 035 036 037 038 039 040 041 042 043 044 045 046 047 048 049 050 051 052 053 054 055 056 057 058 059 060 061 062 063 064 065 066 067 068 069 070 071 072 073 074 075 076 077 078 079 080 081 082 083 084 085 086 087 088 089 090 091 092 093 094 095 096 097 098 099 1...

1 Philips Research Laboratories, 5656 AA, Eindhoven, The Netherlands [email protected] 2 Fraunhofer Institute for Integrated Circuits IIS, 91058 Erlangen, Germany {hrr;pts}@iis.fraunhofer.de 3 Coding Technologies, 11352 Stockholm, Sweden {lv;kk}@codingtechnologies.com 4 Vast Audio, NSW 1430 Sydney, Australia [email protected] 5 Philips Applied Technologies, 5616 LW Eindhoven, The ...

We explore attribute dependencies in the datasets by using direct and inverse fuzzy transforms. Our algorithm optimizes the fuzzy partitions of the universe of the attributes and moreover establishes if the set of the data points is sufficiently dense with respect to the chosen partitions: two specific regression indexes measure the reliability of our model. The known “El Nino” dataset is the b...

We propose an alternative approach for the embedding space reconstruction method for short time series. An m-dimensional embedding space is reconstructed with a set of time delays including the relevant time scales characterizing the dynamical properties of the system. By using a maximal predictability criterion a d-dimensional subspace is selected with its associated set of time delays, in whi...

We present a theoretical analysis of the Philips audio fingerprinting method under desynchronisation for correlated stationary Gaussian sources. We provide closed-form analytical upper bounds for the probability of bit error of the hash and verify these bounds on real audio signals.

001 002 003 004 005 006 007 008 009 010 011 012 013 014 015 016 017 018 019 020 021 022 023 024 025 026 027 028 029 030 031 032 033 034 035 036 037 038 039 040 041 042 043 044 045 046 047 048 049 050 051 052 053 054 055 056 057 058 059 060 061 062 063 064 065 066 067 068 069 070 071 072 073 074 075 076 077 078 079 080 081 082 083 084 085 086 087 088 089 090 091 092 093 094 095 096 097 098 099 1...

a Section of Adolescent Medicine, Indiana University School of Medicine, 575 N. West Drive, Room 070, Indianapolis, IN 46202, USA b National Center for HIV, STD, and TB Prevention, Division of STD Prevention, Behavioral Intervention and Research Branch, Centers for Disease Control and Prevention, Atlanta, GA, USA c Division of Adolescent and Behavioral Health, University of Texas Medical Branch...

BACKGROUND Although mechanical dyssynchrony parameters derived by speckle tracking echocardiography (STE) may predict response to cardiac resynchronization therapy (CRT), comparability of parameters derived with different STE vendors is unknown. METHODS In the MARC study, echocardiographic images of heart failure patients obtained before CRT implantation were prospectively analysed with vendo...