|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 178 occurrences of 125 keywords
|
|
|
Results
Found 331 publication records. Showing 286 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
122 | Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari 0001 |
SAL 2. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
116 | Graeme Smith 0001, Luke Wildman |
Model Checking Z Specifications Using SAL. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
model checking, tool support, Z, SAL |
91 | Sujit Kumar Chakrabarti, Srihari Sukumaran |
Using spreadsheets for finite state modelling. |
ISEC |
2009 |
DBLP DOI BibTeX RDF |
finite state machines, spreadsheets, sal |
91 | John Derrick, Siobhán North, Tony Simons 0001 |
Issues in Implementing a Model Checker for Z. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
model-checking, Z, SAL |
74 | J. Christian Attiogbé |
Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
65 | Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh 0002, Swarup Mohalik, K. C. Shashidhar |
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
59 | John Derrick, Siobhán North, Anthony J. H. Simons |
Z2SAL - Building a Model Checker for Z. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
model-checking, Z, SAL |
59 | Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter |
An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
Automated Hazard Analysis, High-Level Design Specification, Model Checking, FMEA, SAL, Behavior Trees |
57 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers. |
CIT |
2005 |
DBLP DOI BibTeX RDF |
|
56 | Jacek Gwizdka, Preben Hansen, Claudia Hauff, Jiyin He, Noriko Kando (eds.) |
Proceedings of the Second International Workshop on Search as Learning, SAL 2016, co-located with the 39th International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2016, Pisa, Italy, July 21st, 2016. |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
56 | Rohail Syed, Kevyn Collins-Thompson |
Optimizing Search Results for Educational Goals: Incorporating Keyword Density as a Retrieval Objective. |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
56 | Giovanni Fulantelli, Ivana Marenzi, Qazi Asim Ijaz Ahmad, Davide Taibi 0002 |
SaR-Web - A Tool to Support Search as Learning Processes. |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
56 | Nino Weingart, Carsten Eickhoff |
Retrieval Techniques for Contextual Learning. |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
56 | Max L. Wilson 0001, Chaoyu Ye, Michael B. Twidale, Hannah Grasse |
Search Literacy: Learning to Search to Learn. |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
56 | Anita Komlodi, Nadia Caidi |
Learning in Second-Language Searching. |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
56 | Mengdie Zhuang, Elaine G. Toms, Gianluca Demartini |
Search Behaviour Before and After Search Success. |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
56 | Dirk Ahlers, Mahsa Mehrpoor |
Training on the Job: Learning While Searching in an Engineering Workplace. |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
56 | Piyush Arora, Gareth J. F. Jones |
Position Paper: Promoting User Engagement and Learning in Search Tasks By Effective Document Representation. |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
56 | Yu Chi 0001, Shuguang Han, Daqing He, Rui Meng |
Exploring Knowledge Learning in Collaborative Information Seeking Process. |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
56 | Anita Crescenzi |
Metacognitive Knowledge and Metacognitive Regulation in Time-Constrained in Information Search. |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
56 | Saraschandra Karanam, Herre van Oostendorp |
Integrating Domain Knowledge Differences into Modeling User Clicks on Search Result Pages. |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
56 | Jiaxin Mao, Yiqun Liu 0001, Min Zhang 0006, Shaoping Ma |
How does Domain Expertise Affect Users' Search Processes in Exploratory Searches? |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
56 | Laura Koesten, Emilia Kacprzak, Jeni Tennison |
Learning When Searching for Web Data. |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
56 | Luanne Freund, Samuel Dodson, Rick Kopak |
On Measuring Learning in Search: A Position Paper. |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
56 | Jacek Gwizdka, Xueshu Chen |
Towards Observable Indicators of Learning on Search. |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
56 | Ion Madrazo Azpiazu, Nevena Dragovic, Maria Soledad Pera |
Finding, Understanding and Learning: Making Information Discovery Tasks Useful for Children and Teachers. |
SAL@SIGIR |
2016 |
DBLP BibTeX RDF |
|
49 | Wolfgang Müller 0003, Arne Meyer, Henning Zabel |
A Language for the Rapid Prototyping of Mobile Evolving Agents. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
Synchronous Languages, Agent-based Systems, System Prototyping |
49 | Natarajan Shankar |
Symbolic Analysis of Transition Systems. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
49 | Patricia P. Griffiths, Charles J. Prenner |
Verifying Formal Specifications of Synchronous Processes. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
|
43 | Chris George, Anne E. Haxthausen |
Specification, proof, and model checking of the Mondex electronic purse using RAISE. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Verification, Formal methods, PVS, SAL, RAISE, Mondex |
43 | Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford |
Formal Modelling of Cognitive Interpretation. |
DSV-IS |
2006 |
DBLP DOI BibTeX RDF |
model checking, human error, cognitive architecture, SAL |
41 | Sebastian Voss, Maria Sorea, Klaus Echtle |
SAL-Based Symbolic Scheduling in Time-Triggered Networks. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Rachelle S. Heller, Joaquim A. Jorge, Richard A. Guedj |
EC/NSF workshop on universal accessibility of ubiquitous computing: providing for the elderly event report. |
Workshop on Universal Accessibility of Ubiquitous Computing |
2001 |
DBLP DOI BibTeX RDF |
user interfaces for the elderly, ubiquitous computing, interface design, universal accessibility |
41 | Per Svensson 0001, Zhexue Huang |
Geo-SAL: A Query Language for Spatial Data Analysis. |
SSD |
1991 |
DBLP DOI BibTeX RDF |
|
32 | Kohei Sakurai, Péter Bokor, Neeraj Suri |
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Radu Siminiceanu, Ricky W. Butler, César A. Muñoz |
Experimental Evaluation of a Planning Language Suitable for Formal Verification. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Indranil Saha, Suman Roy 0001, Kuntal Chakraborty |
Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Deepali Kholkar, G. Murali Krishna, Ulka Shrotri, R. Venkatesh 0001 |
Visual specification and analysis of use cases. |
SOFTVIS |
2005 |
DBLP DOI BibTeX RDF |
visual notation, model checking, UML, requirements |
32 | Anushiya A. Kannan, Guoqiang Mao, Branka Vucetic |
Simulated Annealing based Localization in Wireless Sensor Network. |
LCN |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Héctor Sanvicente Sánchez, Juan Frausto Solís |
A Method to Establish the Cooling Scheme in Simulated Annealing Like Algorithms. |
ICCSA (3) |
2004 |
DBLP DOI BibTeX RDF |
Combinatorial Optimization and Heuristic Optimization, Simulated Annealing Like Algorithms, Simulated Annealing, Threshold Accepting |
32 | Bruno Dutertre, Maria Sorea |
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Min Wang 0001, Yuan-Chi Chang, Sriram Padmanabhan |
Supporting Efficient Parametric Search of E-Commerce Data: A Loosely-Coupled Solution. |
EDBT |
2002 |
DBLP DOI BibTeX RDF |
|
32 | David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill |
Java Model Checking. |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Eva-Martin Mueckstein |
Controlled natural language interfaces (extended abstract): the best of three worlds. |
ACM Conference on Computer Science |
1985 |
DBLP DOI BibTeX RDF |
|
27 | Sal Hagen |
'Who is /ourguy/?': Tracing panoramic memes to study the collectivity of 4chan/pol/. |
New Media Soc. |
2024 |
DBLP DOI BibTeX RDF |
|
27 | Shiva Pedram, Grace Kennedy, Sal Sanzone |
Assessing the validity of VR as a training tool for medical students. |
Virtual Real. |
2024 |
DBLP DOI BibTeX RDF |
|
27 | Samantha Phillips, Sal Aurigemma, Bradley Brummel, Tyler Moore 0001 |
Leveraging Situational Judgment Tests to Measure Behavioral Information Security. |
HICSS |
2024 |
DBLP BibTeX RDF |
|
27 | Sal Hagen, Daniël de Zeeuw |
Based and confused: Tracing the political connotations of a memetic phrase across the web. |
Big Data Soc. |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Thomas Mattson, Sal Aurigemma, Jie Ren 0009 |
Positively Fearful: Activating the Individual's HERO Within to Explain Volitional Security Technology Adoption. |
J. Assoc. Inf. Syst. |
2023 |
DBLP BibTeX RDF |
|
27 | Shiva Pedram, Grace Kennedy, Sal Sanzone |
Toward the validation of VR-HMDs for medical education: a systematic literature review. |
Virtual Real. |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Brian Sal, Alfonso de la Vega, Patricia López Martínez, Diego García-Saiz, Alicia Grande, David López, Pablo Sánchez 0002 |
Towards the Specification and Generation of Time Series Datasets from Data Lakes. |
REW |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Tiffany Huff, Austin Darrow, Joshua Medina, Erik S. Ferlanti, James D. Carson, John M. Fonner, Sal Tijerina, Stanley J. Watowich, William J. Allen |
Scalable and Reproducible Virtual Screening through an API-Integrated Workflow. |
PEARC |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Tom Mattson, Sal Aurigemma, Jie Ren 0009 |
Close the Intention-Behavior Gap via Attitudes: Case Study of the Volitional Adoption of a Two-Factor Authentication Service. |
HICSS |
2023 |
DBLP BibTeX RDF |
|
27 | Sal Aguinaga, Daniel Lasaga, Shivashankar Danthuri, John Helms, Edward Bowen, Sanmitra Bhattacharya |
Identification of Providers with Similar Risk Profiles in Healthcare Claims Using Graphs. |
ISDFS |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Shaked Naor-Hoffmann, Dina Svetlitsky, Neta Sal-Man, Yaron Orenstein, Michal Ziv-Ukelson |
Predicting the pathogenicity of bacterial genomes using widely spread protein families. |
BMC Bioinform. |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Igor L. Markov, Hanson Wang, Nitya S. Kasturi, Shaun Singh, Mia R. Garrard, Yin Huang, Sze Wai Celeste Yuen, Sarah Tran, Zehui Wang, Igor Glotov, Tanvi Gupta, Peng Chen, Boshuang Huang, Xiaowen Xie, Michael Belkin, Sal Uryasev, Sam Howie, Eytan Bakshy, Norm Zhou |
Looper: An End-to-End ML Platform for Product Decisions. |
KDD |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Mélisande Teng, Sal Elkafrawy |
Convolution Neural Network Fine-tuning for Plant and Animal Species Distribution Modelling. |
CLEF (Working Notes) |
2022 |
DBLP BibTeX RDF |
|
27 | Benjamín Tapia Sal Paz, Gorka Sorrosal, Aitziber Mancisidor |
Intelligent Adaptative Robotic System for Physical Interaction Tasks. |
IRC |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Hua Wang, Jon Dieringer, Steve Guntz, Shankarraman Vaidyaraman, Shekhar Viswanath, Nikolaos H. Lappas, Sal Garcia-Munoz, Chrysanthos E. Gounaris |
Portfolio-Wide Optimization of Pharmaceutical R&D Activities Using Mathematical Programming. |
INFORMS J. Appl. Anal. |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Igor L. Markov, Hanson Wang, Nitya Kasturi, Shaun Singh, Sze Wai Yuen, Mia Garrard, Sarah Tran, Yin Huang, Zehui Wang, Igor Glotov, Tanvi Gupta, Boshuang Huang, Peng Chen, Xiaowen Xie, Michael Belkin, Sal Uryasev, Sam Howie, Eytan Bakshy, Norm Zhou |
Looper: An end-to-end ML platform for product decisions. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
27 | Brian Sal, Diego García-Saiz, Pablo Sánchez 0002 |
Automated Generation of Datasets from Fishbone Diagrams. |
MEDI |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Manzar E. Hassin, Adnan Al Neon, Sal Sabila, Rashedur M. Rahman |
Smart Fire Detection and Security System. |
UEMCON |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Daniël de Zeeuw, Sal Hagen, Stijn Peeters, Emilija Jokubauskaite |
Tracing normiefication A cross-platform analysis of the QAnon conspiracy theory. |
First Monday |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Marc Tuters, Sal Hagen |
(((They))) rule: Memetic antagonism and nebulous othering on 4chan. |
New Media Soc. |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Angelos-Christos G. Anadiotis, Raja Appuswamy, Anastasia Ailamaki, Ilan Bronshtein, Hillel Avni, David Dominguez-Sal, Shay Goikhman, Eliezer Levy |
A system design for elastically scaling transaction processing engines in virtualized servers. (PDF / PS) |
Proc. VLDB Endow. |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Juan Luna, Damian E. Sal y Rosas, Dante A. Elías |
A low-cost portable measurement system for a clinical test of balance. |
EMBC |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Sal Dasgupta, Teja Singh, Ashish Jain, Samuel Naffziger, Deepesh John, Chetan Bisht, Pradeep Jayaraman |
8.4 Radeon RX 5700 Series: The AMD 7nm Energy-Efficient High-Performance GPUs. |
ISSCC |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Sal Humphreys |
On Being a Feminist in Games Studies. |
Games Cult. |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Kim-Hung Pho, Sel Ly, Sal Ly, T. Martin Lukusa |
Comparison among Akaike Information Criterion, Bayesian Information Criterion and Vuong's test in Model Selection: A Case Study of Violated Speed Regulation in Taiwan. |
J. Adv. Eng. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Eran Barash, Neta Sal-Man, Sivan Sabato, Michal Ziv-Ukelson |
BacPaCS - Bacterial Pathogenicity Classification via Sparse-SVM. |
Bioinform. |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Sal Aurigemma, Thomas Mattson |
Generally Speaking, Context Matters: Making the Case for a Change from Universal to Particular ISP Research. |
J. Assoc. Inf. Syst. |
2019 |
DBLP BibTeX RDF |
|
27 | Ali Dadkhah, Mohammad Sal Moslehian, Kenjiro Yanagi |
Noncommutative versions of inequalities in quantum information theory. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
27 | Jimmy Caroli, Giovanni Sorrentino, Mattia Forcato, Giannino Del Sal, Silvio Bicciato |
GDA, a web-based tool for Genomics and Drugs integrated analysis. |
Nucleic Acids Res. |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Raeid Saqur, Sal Vivona |
CapsGAN: Using Dynamic Routing for Generative Adversarial Networks. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
27 | Jamal Rooin, S. Habibzadeh, Mohammad Sal Moslehian |
Jensen inequalities for P-class functions. |
Period. Math. Hung. |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Aaron Fishman, Sal Catsis, Martin E. Homer, Jonathan Rossiter |
Touch and see: Physical interactions stimulating patterns in artificial cephalopod skin. |
RoboSoft |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Rachid Sal, Rachid Nait Said, Mouloud Bourareche |
Dealing with uncertainty in effect analysis of test strategies on safety instrumented system performance. |
Int. J. Syst. Assur. Eng. Manag. |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Vaidas Gasiunas, David Dominguez-Sal, Ralph Acker, Aharon Avitzur, Ilan Bronshtein, Rushan Chen, Eli Ginot, Norbert Martínez-Bazan, Michael Müller, Alexander Nozdrin, Weijie Ou, Nir Pachter, Dima Sivov, Eliezer Levy |
Fiber-based architecture for NFV cloud databases. (PDF / PS) |
Proc. VLDB Endow. |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Frank A. Moreno, Jhonatan D. Paucara, C. Gustavo Prez, Javier J. Sotomayor, Damian E. Sal y Rosas |
A grid-tied power factor corrector microinverter without electrolytic capacitor by the control of voltage in a DC-link for a non-linear load. |
CCE |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Ruhaifi Abdullah Zawawi, Nuha A. Rhaffor, Shukri Korakkottil Kunhi Mohd, Sofiyah Sal Hamid, Asrulnizam Bin Abd Manaf, Kazuaki Sawada |
A CMOS bandgap voltage reference with current-control circuits for the extended operating temperature range. |
ISOCC |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Tom Narock, Victoria Y. Yoon, Sal March |
Corrigendum to "A provenance-based approach to semantic web service description and discovery" [Decis. Support. Syst. (64C) (2014) 90-99]. |
Decis. Support Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
27 | William J. Bowhill, Blaine A. Stackhouse, Nevine Nassif, Zibing Yang, Arvind Raghavan, Oscar Mendoza, Charles Morganti, Chris Houghton, Dan Krueger, Olivier Franza, Jayen Desai, Jason Crop, Brian Brock, Dave Bradley, Chris Bostak, Sal Bhimji, Matt Becker |
The Xeon® Processor E5-2600 v3: a 22 nm 18-Core Product Family. |
IEEE J. Solid State Circuits |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Arnau Prat-Pérez, David Dominguez-Sal, Josep M. Brunat, Josep Lluís Larriba-Pey |
Put Three and Three Together: Triangle-Driven Community Detection. |
ACM Trans. Knowl. Discov. Data |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Ali Dadkhah, Mohammad Sal Moslehian |
Quantum information inequalities via tracial positive linear maps. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
27 | Jimmy Caroli, Cristian Taccioli, Giovanni Sorrentino, Giannino Del Sal, Silvio Bicciato |
Mutations and Drugs Portal (MDP): A Database Linking Drug Response Data and Genomic Information. |
CBMS |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Salman "Sal" Khan |
Closing Keynote: Education Reimagined. |
CHI Extended Abstracts |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Liang Ding 0007, Xingran Xue, Sal LaMarca, Mohammad Mohebbi, Abdul Samad, Russell L. Malmberg, Liming Cai |
Accurate prediction of RNA nucleotide interactions with backbone k-tree model. |
Bioinform. |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Fred Niederman, Sal March |
Reflections on Replications. |
AIS Trans. Replication Res. |
2015 |
DBLP BibTeX RDF |
|
27 | Matthew Saltz, Arnau Prat-Pérez, David Dominguez-Sal |
Distributed Community Detection with the WCC Metric. |
WWW (Companion Volume) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | William J. Bowhill, Blaine A. Stackhouse, Nevine Nassif, Zibing Yang, Arvind Raghavan, Charles Morganti, Chris Houghton, Dan Krueger, Olivier Franza, Jayen Desai, Jason Crop, Dave Bradley, Chris Bostak, Sal Bhimji, Matt Becker |
4.5 The Xeon® processor E5-2600 v3: A 22nm 18-core product family. |
ISSCC |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Tom Narock, Victoria Y. Yoon, Sal March |
A provenance-based approach to semantic web service description and discovery. |
Decis. Support Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Alexey M. Eroshkin, Andrew LeBlanc, Dana Weekes, Kai W. Post, Zhanwen Li, Akhil Rajput, Sal T. Butera, Dennis R. Burton, Adam Godzik |
bNAber: database of broadly neutralizing HIV antibodies. |
Nucleic Acids Res. |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Matthew Saltz, Arnau Prat-Pérez, David Dominguez-Sal |
Distributed Community Detection with the WCC Metric. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
27 | Arnau Prat-Pérez, David Dominguez-Sal, Josep Lluís Larriba-Pey |
High quality, scalable and parallel community detection for large real graphs. |
WWW |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Norbert Martínez-Bazan, David Domínguez-Sal |
Using semijoin programs to solve traversal queries in graph databases. (PDF / PS) |
GRADES |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Arnau Prat-Pérez, David Domínguez-Sal |
How community-like is the structure of synthetically generated graphs? (PDF / PS) |
GRADES |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Joan Guisado-Gámez, David Dominguez-Sal, Josep Lluís Larriba-Pey |
Massive Query Expansion by Exploiting Graph Knowledge Bases for Image Retrieval. |
ICMR |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Mathieu Bastian, Matthew Hayes, William Vaughan, Sam Shah, Peter Skomoroch, Hyung Jin Kim, Sal Uryasev, Christopher Lloyd |
LinkedIn skills: large-scale topic extraction and inference. |
RecSys |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Tom Mattson, Sal Aurigemma |
Re-tweeting and the Theory of Middle-Status Conformity in the Post-adoption Use of Twitter. |
HICSS |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Liang Ding 0007, Xingran Xue, Sal LaMarca, Mohammad Mohebbi, Abdul Samad, Russell L. Malmberg, Liming Cai |
Ab initio Prediction of RNA Nucleotide Interactions with Backbone k-Tree Model. |
CMSR@ECCB |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 286 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|