Search results for "SAL"

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