• 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 82 matches

• 2019
• 
  Bert Van Acker, Paul De Meulenaere, Joachim Denil, Yuri Durodié, Alexander Van Bellinghen, Kris Vanstechelman:
  Valid (Re-)Use of Models-of-the-Physics in Cyber-Physical Systems Using Validity Frames. SpringSim 2019: 1-12
• 
  Ehsan M. Ahmad, Hessam S. Sarjoughian:
  A Behavior Annex For AADL Using The DEVS Formalism. SpringSim 2019: 1-12
• 
  Petra Ahrweiler, Demian Frank, Nigel Gilbert:
  Co-Designing Social Simulation Models For Policy Advise: Lessons Learned From the INFSO-SKIN Study. SpringSim 2019: 1-12
• 
  Arnold Akkermann, Bjorn Age Hjollo:
  Scenario-Based V&V in a Maritime Co-Simulation Framework. SpringSim 2019: 1-12
• 
  Ala'a Al-Habashna, Cristina Ruiz Martin, Gabriel A. Wainer:
  Analyzing the Impact of Quantum Size on the Accuracy and Performance of Cell-Devs Fire Models. SpringSim 2019: 1-12
• 
  Laila M. Almutairi, Liang Hong, Sachin Shetty:
  Security Analysis of Multiple SDN Controllers Based on Stochastic Petri Nets. SpringSim 2019: 1-12
• 
  Abdurrahman Alshareef, Hessam S. Sarjoughian:
  Metamodeling Activities For Hierarchical Component-Based Models. SpringSim 2019: 1-12
• 
  Sepideh Banihashemi, Jason Li, Abdolreza Abhari:
  Scalable Machine Learning Algorithms for a Twitter Followee Recommender System. SpringSim 2019: 1-8
• 
  Fernando J. Barros:
  A Modular Stabilization Approach For Chattering-Free Simulation. SpringSim 2019: 1-12
• 
  Alex K. Beckerman, Donald Margolis, D. Jordan McCrone:
  Bond Graph Model Of A Pivoting Axle Concept Vehicle. SpringSim 2019: 1-12
• 
  Solomon Abera Bekele, M. Balakrishnan, Anshul Kumar:
  ML Guided Energy-Performance Trade-Off Estimation For Uncore Frequency Scaling. SpringSim 2019: 1-12
• 
  Paolo Bocciarelli, Andrea D'Ambrogio, Andrea Giglio, Emiliano Paglia:
  Automated Generation of Fom Modules for HLA-Based Distributed Simulations. SpringSim 2019: 1-12
• 
  Juan A. Bonache-Seco, José Antonio López Orozco, Eva Besada-Portas, José Luis Risco-Martín:
  ART-GCS: An Adaptive Real-Time Multi-Agent Ground Control Station. SpringSim 2019: 1-11
• 
  Stig Bosmans, Siegfried Mercelis, Peter Hellinckx, Joachim Denil:
  Reducing Computational Cost Of Large-Scale Simulations Using Opportunistic Model Approximation. SpringSim 2019: 1-12
• 
  Bertrand Cambou:
  Unequally Powered Cryptography With Physical Unclonable Functions for Networks of Internet of Things Terminals. SpringSim 2019: 1-13
• 
  Kathleen M. Carley:
  Simulating Complex Social-Behavioral Systems. SpringSim 2019: 1-12
• 
  Nadir Carreon, Allison Gilbreath, Roman Lysecky:
  Window-Based Statistical Analysis Of Timing Subcomponents For Efficient Detection Of Malware In Life-Critical Systems. SpringSim 2019: 1-12
• 
  Gargi Chaudhuri, Samantha Foley:
  Dsleuth: A Distributed Version Of Sleuth Urban Growth Model. SpringSim 2019: 1-11
• 
  Junqiao Chen, David Chun, Mónica Duarte Oliveira, Alexandra Fernandes:
  An Analysis On the Research Orientations in Healthcare Simulation Modeling. SpringSim 2019: 1-12
• 
  Kemeng Chen, Ning Zhang, Linda S. Powers, Janet Roveda:
  Cell Nuclei Detection and Segmentation for Computational Pathology Using Deep Learning. SpringSim 2019: 1-6
• 
  Evan Coleman, Erik J. Jensen, Masha Sosonkina:
  Enhancing Asynchronous Linear Solvers Through Randomization. SpringSim 2019: 1-12
• 
  Coy Collins, Marissa Lovett, David E. Biffar, Allan J. Hamilton, Karen Holder, Mike Holcomb, Peter Yonsetto, Ronald Weinstein:
  The Use of Remote and Traditional Faciliation to Evaluate Telesimulation to Support Interprofessional Education and Processing in Healthcare Simulation Training. SpringSim 2019: 1-7
• 
  Lorenzo Damiani, Roberto Revetria, Stefano Arecco:
  Simulation Model of the Control System of Portable Boxes for Blood Bags Transport. SpringSim 2019: 1-11
• 
  Ronald Doku, Danda B. Rawat:
  Pledge: A Private Ledger Based Decentralized Data Sharing Framework. SpringSim 2019: 1-11
• 
  Ben Earle, Kyle Bjornson, Joseph Boi-Ukeme, Gabriel A. Wainer:
  Design and Implementation of A Building Control System in Real-Time Devs. SpringSim 2019: 1-12
• 
  Ruth E. Falconer, Alasdair N. Houston, Xavier Portell, Wilfred Otten:
  Hardware Acceleration of Reaction-Diffusion Systems: A Guide to Optimisation of Pattern Formation Algorithms Using Openacc. SpringSim 2019: 1-12
• 
  Mostafa D. Fard, Hessam S. Sarjoughian:
  A Web-Service Framework For the Water Evaluation and Planning System. SpringSim 2019: 1-12
• 
  Luis Garcia-Temza, José Luis Risco-Martín, José L. Ayala, Gemma Reig Roselló, Juan M. Camarasaltas:
  Comparison of Different Machine Learning Approaches to Model Stroke Subtype Classification and Risk Prediction. SpringSim 2019: 1-10
• 
  Rachael Garner, Marianna La Rocca, Giuseppe Barisano, Arthur W. Toga, Dominique Duncan, Paul M. Vespa:
  A Machine Learning Model to Predict Seizure Susceptibility from Resting-State fMRI Connectivity. SpringSim 2019: 1-11
• 
  Nirnimesh Ghose, Loukas Lazos, Jerzy W. Rozenblit, Ronald L. Breiger:
  Multimodal Graph Analysis of Cyber Attacks. SpringSim 2019: 1-12

skipping 52 more matches