• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 47 matches

• 2024
• 
  Samantha Shane Evangelista, Fatima Maturan, Charldy Wenceslao, Nadine May Atibing, Rica Villarosa, Lanndon A. Ocampo:
  Cumulative prospect theory under different types of input data for public health resilience assessment during natural disasters. Expert Syst. Appl. 258: 125172 (2024)
• 2023
• 
  Christoph Dorn, Haikal Pribadi:
  Type Theory as a Unifying Paradigm for Modern Databases. CIKM 2023: 5238-5239
• 
  Alexis Guyot, Éric Leclercq, Annabelle Gillet, Nadine Cullot:
  Preventing Technical Errors in Data Lake Analyses with Type Theory. DaWaK 2023: 18-24
• 2022
• 
  Jinshan Ma, Di Tian, Jinmeng Yue:
  A novel generalized grey target decision method with index and weight both containing mixed types of data. Grey Syst. Theory Appl. 12(1): 252-268 (2022)
• 
  Data Ram Bhaskar, Ajishek Raj, Raj Senani:
  Novel current feedback operational amplifier-based configuration that realizes a single-input multiple-output-type universal active filter and a single-resistance-controlled oscillator. Int. J. Circuit Theory Appl. 50(12): 4251-4264 (2022)
• 
  Kunal Kumar Jha, Barbara Gruza, Aleksandra Sypko, Prashant Kumar, Michal Chodkiewicz, Paulina Maria Dominiak:
  Multipolar Atom Types from Theory and Statistical Clustering (MATTS) Data Bank: Restructurization and Extension of UBDB. J. Chem. Inf. Model. 62(16): 3752-3765 (2022)
• 
  Jan A. Bergstra, John V. Tucker:
  Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational Theory. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 63-80
• 2021
• 
  Giancarlo Guizzardi, Claudenir M. Fonseca, João Paulo A. Almeida, Tiago Prince Sales, Alessander Botti Benevides, Daniele Porello:
  Types and taxonomic structures in conceptual modeling: A novel ontological theory and engineering support. Data Knowl. Eng. 134: 101891 (2021)
• 
  Hamdi Kchaou, Zied Kechaou, Adel M. Alimi:
  Interval Type-2 Fuzzy C-Means Data Placement Optimization in Scientific Cloud Workflow applications. Simul. Model. Pract. Theory 107: 102217 (2021)
• 2019
• 
  Arif Khan, Shahadat Uddin, Uma Srinivasan:
  Chronic disease prediction using administrative data and graph theory: The case of type 2 diabetes. Expert Syst. Appl. 136: 230-241 (2019)
• 
  Shoun Ying Leow, Shen Yuong Wong, Keem Siah Yap, Hwa Jen Yap:
  A hybrid algorithm of interval type-2 fuzzy logic system and generalized adaptive resonance theory for medical data classification. Intell. Decis. Technol. 13(1): 81-89 (2019)
• 
  Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
  Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM. Theory Pract. Log. Program. 19(4): 629 (2019)
• 
  Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani:
  Schemas and Types for JSON Data: From Theory to Practice. SIGMOD Conference 2019: 2060-2063
• 2018
• 
  Jae-Hoon Kwon:
  A crystal embedding into Lusztig data of type A. J. Comb. Theory A 154: 422-443 (2018)
• 
  Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
  Solving Horn Clauses on Inductive Data Types Without Induction. Theory Pract. Log. Program. 18(3-4): 452-469 (2018)
• 2017
• 
  Akbar Asgharzadeh, Hon K. T. Ng, Reza Valiollahi, Mina Azizpour:
  Statistical Inference for Lindley Model based on Type II Censored Data. J. Stat. Theory Appl. 16(2): 178-197 (2017)
• 
  Nicholas Asendorf, Raj Rao Nadakuditi:
  Improved Detection of Correlated Signals in Low-Rank-Plus-Noise Type Data Sets Using Informative Canonical Correlation Analysis (ICCA). IEEE Trans. Inf. Theory 63(6): 3451-3467 (2017)
• 2015
• 
  Lyamine Hedjazi, Joseph Aguilar-Martin, Marie-Véronique Le Lann, Tatiana Kempowsky-Hamon:
  Membership-margin based feature selection for mixed type and high-dimensional data: Theory and applications. Inf. Sci. 322: 174-196 (2015)
• 2014
• 
  Irene Soria, Lily Elefteriadou, Alexandra Kondyli:
  Assessment of car-following models by driver type and under different traffic, weather conditions using data from an instrumented vehicle. Simul. Model. Pract. Theory 40: 208-220 (2014)
• 
  Martín Hötzel Escardó, Alex Simpson:
  Abstract Datatypes for Real Numbers in Type Theory. RTA-TLCA 2014: 208-223
• 2010
• 
  Giuseppe Primiero:
  A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network. PSPL@LICS 2010: 17-22
• 2007
• 
  Clark W. Barrett, Igor Shikanian, Cesare Tinelli:
  An Abstract Decision Procedure for a Theory of Inductive Data Types. J. Satisf. Boolean Model. Comput. 3(1-2): 21-46 (2007)
• 2006
• 
  Nai-Chieh Wei, Hao-Tien Liu, Yang Wu:
  A Research on Data Mining Techniques Based on Ant Theory for Path-Type Association Rules. ICDM (Posters) 2006: 79-90
• 2004
• 
  Gyula O. H. Katona, Attila Sali:
  New type of coding problem motivated by database theory. Discret. Appl. Math. 144(1-2): 140-148 (2004)
• 2003
• 
  Carlos Gonzalía:
  Towards a Formalisation of Relational Database Theory in Constructive Type Theory. RelMiCS 2003: 137-148
• 
  Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning:
  A type theory for memory allocation and data layout. POPL 2003: 172-184
• 2000
• 
  Nicolas Magaud, Yves Bertot:
  Changing Data Structures in Type Theory: A Study of Natural Numbers. TYPES 2000: 181-196
• 1999
• 
  Horst Reichel:
  A Uniform Model Theory for the Specification of Data and Process Types. WADT 1999: 348-365
• 1998
• 
  Marie-Claude Gaudel, Perry R. James:
  Testing Algebraic Data Types and Processes: A Unifying Theory. Formal Aspects Comput. 10(5-6): 436-451 (1998)
• 1992
• 
  Carolyn L. Talcott:
  A Theory for Program and Data Type Specification. Theor. Comput. Sci. 104(1): 129-159 (1992)

skipping 17 more matches