Search results for "Compass"

Hits ?▲	Authors	Title	Venue	Year	Link
31	Samia Ibtasam, Lubna Razaq, Haider W. Anwar, Hamid Mehmood, Kushal Shah, Jennifer Webster, Neha Kumar 0001, Richard J. Anderson	Knowledge, Access, and Decision-Making: Women's Financial Inclusion In Pakistan.	COMPASS	2018	DBLP DOI BibTeX RDF
31	Anirban Sen, Priya, Pooja Aggarwal, Aditya Guru, Deepak Bansal, I. Mohammed, J. Goyal, K. Kumar, K. Mittal, Manpreet Singh, M. Goel, S. Gupta, Varuni Madapur, Vipul Khatana, Aaditeshwar Seth	Empirical Analysis of the Presence of Power Elite in Media.	COMPASS	2018	DBLP DOI BibTeX RDF
31	Sunandan Chakraborty, Joyojeet Pal, Priyank Chandra, Daniel M. Romero	Political Tweets and Mainstream News Impact in India: A Mixed Methods Investigation into Political Outreach.	COMPASS	2018	DBLP DOI BibTeX RDF
31	Matthew J. Bauman, Kate S. Boxer, Tzu-Yun Lin, Erika Salomon, Hareem Naveed, Lauren Haynes, Joe Walsh, Jennifer Helsby, Steve Yoder, Robert Sullivan, Chris Schneweis, Rayid Ghani	Reducing Incarceration through Prioritized Interventions.	COMPASS	2018	DBLP DOI BibTeX RDF
31	Swaminathan Gurumurthy, Lantao Yu, Chenyan Zhang, Yongchao Jin, Weiping Li, Xiaodong Zhang, Fei Fang 0001	Exploiting Data and Human Knowledge for Predicting Wildlife Poaching.	COMPASS	2018	DBLP DOI BibTeX RDF
31	Biswarup Bhattacharya	Restless Bandits visiting Villages: A Preliminary Study on distributing Public Health Services.	COMPASS	2018	DBLP DOI BibTeX RDF
31	Thomas Pötsch, Salman Yousaf, Barath Raghavan, Jay Chen	Zyxt: A Network Planning Tool for Rural Wireless ISPs.	COMPASS	2018	DBLP DOI BibTeX RDF
31	Neil Newman, Lauren Falcao Bergquist, Nicole Immorlica, Kevin Leyton-Brown, Brendan Lucier, Craig McIntosh, John A. Quinn, Richard Ssekibuule	Designing and Evolving an Electronic Agricultural Marketplace in Uganda.	COMPASS	2018	DBLP DOI BibTeX RDF
31	Camilo E. Valderrama, Faezeh Marzbanrad, Lisa Stroux, Boris Martinez, Rachel Hall-Clifford, Chengyu Liu 0001, Nasim Katebi, Peter Rohloff, Gari D. Clifford	Improving the Quality of Point of Care Diagnostics with Real-Time Machine Learning in Low Literacy LMIC Settings.	COMPASS	2018	DBLP DOI BibTeX RDF
31	Sarah Yu, Samia Ibtasam	A Qualitative Exploration of Mobile Money in Ghana.	COMPASS	2018	DBLP DOI BibTeX RDF
31	Qinru Shi, Jonathan Michael Gomes Selman, Roosevelt García-Villacorta, Suresh Sethi 0001, Alexander S. Flecker, Carla P. Gomes	Efficiently Optimizing for Dendritic Connectivity on Tree-Structured Networks in a Multi-Objective Framework.	COMPASS	2018	DBLP DOI BibTeX RDF
31	Srinivasan Iyengar, Stephen Lee, Daniel Sheldon, Prashant J. Shenoy	SolarClique: Detecting Anomalies in Residential Solar Arrays.	COMPASS	2018	DBLP DOI BibTeX RDF
31	Anne Edmundson, Roya Ensafi, Nick Feamster, Jennifer Rexford	Nation-State Hegemony in Internet Routing.	COMPASS	2018	DBLP DOI BibTeX RDF
31	Trevor Perrier, Elizabeth K. Harrington, Keshet Ronen, Daniel Matemo, John Kinuthia, Grace John-Stewart, Richard J. Anderson, Jennifer A. Unger	Male Partner Engagement in Family Planning SMS Conversations at Kenyan Health Clinics.	COMPASS	2018	DBLP DOI BibTeX RDF
31	Bipun Man Pati, Adisorn Lertsinsrubtavee, Attaphongse Taparugssanagorn, Kanchana Kanchanasut, Arjuna Sathiaseelan	Adaptive Threshold Setting for Determining Spectrum Occupancy in TV White Space in Thailand.	COMPASS	2018	DBLP DOI BibTeX RDF
31	Samuel Sudar, Matt Welsh, Richard J. Anderson	Siskin: Leveraging the Browser to Share Web Content in Disconnected Environments.	COMPASS	2018	DBLP DOI BibTeX RDF
31	Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)	Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers	COMPASS/ADT	1996	DBLP DOI BibTeX RDF
31	Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)	Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Nikos Mylonakis	Behavioural Specifications in Type Theory.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Ulrich Hensel, David A. Spooner	A View on Implementing Processes: Categories of Circuits.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Dietmar Wolz	Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	H. R. Walters, J. F. Th. Kamperman	A Model for I/O in Equational Languages with Don't Care Non-determinism.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Michel Bidoit, Christine Choppy, Frédéric Voisin	Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU+/LP Experience.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	C. A. R. Hoare	Unification of Theories: A Challenge for Computing Science.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Silvia Clerici, Rosa M. Jiménez, Fernando Orejas	Class-Sort Polymorphism in GLIDER.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Grit Denker	Reification - Changing Viewpoint but Preserving Truth.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	M. Arrais, José Luiz Fiadeiro	Unifying Theories in Different Institutions.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Zhenyu Qian, Bernd Krieg-Brückner	Object-Oriented Functional Programming and Type Reconstruction.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Peter Padawitz	Swinging Data Types: Syntax, Semantics, and Theory.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Marcus Klar, Robert Geisler, Felix Cornelius	InterACT: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Pierre Lescanne	The Lambda Calculus as an Abstract Data Type.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Bjørn Kristoffersen	Termination of Curryfied Rewrite Systems.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Eva Coscia, Gianna Reggio	Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Grant Malcolm	Behavioural Equivalence, Bisimulation, and Minimal Realisation.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Till Mossakowski	Using Limits of Parchment to Systematically Construct Institutions of partial Algebras.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Andrzej Tarlecki	Moving Between Logical Systems.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Pascale Le Gall, Agnès Arnould	Formal Specifications and Test: Correctness and Oracle.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	J. F. Th. Kamperman, H. R. Walters	Minimal Term Rewriting Systems.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter	On the Role of Category Theory in the Area of Algebraic Specification.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Razvan Diaconescu	A Category-Based Equational Logic Semantics to Constraint Programming.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	James J. Horning	The Larch Shared Language: Some Open Problems.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Wieslaw Pawlowski	Context Institutions.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Martin Große-Rhode	Concurrent State Transformations on Abstract Data Types.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Reinhard Bündgen, Werner Lauterbach	Experiments with Partial Evaluation Domains for Rewrite Specifications.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Valentinas Kriauciukas, Michal Walicki	Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Rod M. Burstall	Inductively Defined Relations: A Brief Tutorial (Extended Abstract).	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Frédéric Voisin, Michel Bidoit	Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Claus Hintermeier, Hélène Kirchner, Peter D. Mosses	Combining Algebraic and Set-Theoretic Specifications.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
31	Hartmut Ehrig (eds.)	Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Maura Cerioli	A Lazy Approach to Partial Algebras.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Catriel Beeri	Bulk Types and Query Language Design.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Grit Denker	Transactions in Object-Oriented Specifications.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Francesco Parisi-Presicce, Alfonso Pierantonio	Dynamical Behavior of Object Systems.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Elena Zucca	Implementation of Data Structures in an Imperative Framework.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Michal Walicki, Sigurd Meldal	Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Hans-Dieter Ehrich, Amílcar Sernadas	Local Specification of Distributed Families of Sequential Objects.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Karl Meinke	Topological Methods for Algebraic Specification.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Manfred Broy	Equations for Describing Dynamic Nets of Communicating Systems.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Martin Gogolla, Rudolf Herzig	An Algebraic Semantics for the Object Specification Language TROLL light.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Hartmut Ehrig, Michael Löwe, Fernando Orejas	Dynamic Abstract Data Types Based on Algebraic Graph Transformations.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Heinrich Hußmann	Axiomatic Specification of Large Information Systems: Experiences and Consequences.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Till Mossakowski	A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Claus Hintermeier, Claude Kirchner, Hélène Kirchner	Sort Inheritance for Order-Sorted Equational Presentations.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Judith L. Underwood	Typing Abstract Data Types.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Uwe Wolter	Institutional Frames.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	José Meseguer 0001, Narciso Martí-Oliet	From Abstract Data Types to Logical Frameworks.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Ulrike Lechner, Christian Lengauer, Martin Wirsing	An Object-Oriented Airport: Specification and Refinement in Maude.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Martin Wirsing	Algebraic Specification Languages: An Overview.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Didier Bert, Rachid Echahed	On the Operational Semantics of the Algebraic and Logic Programming Language LPG.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Leo Bachmair, Harald Ganzinger, Jürgen Stuber	Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	José Luiz Fiadeiro, José Félix Costa	Institutions for Behaviour Specification.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Martin Gogolla, Maura Cerioli	What is an Abstract Data Type, after all?	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Ulrich Hensel, Horst Reichel	Defining Equations in Terminal Coalgebras.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Maribel Fernández, Jean-Pierre Jouannaud	Modular Termination of Term Rewriting Systems Revisited.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Amílcar Sernadas, Cristina Sernadas, José Manuel Valença	A Theory-based Typological Notion of Institutions.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Michel Bidoit, Rolf Hennicker	Behavioural Theories.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	David Aspinall 0001	Types, Subtypes, and ASL+.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
31	Michel Bidoit, Christine Choppy (eds.)	Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers	COMPASS/ADT	1993	DBLP DOI BibTeX RDF
31	Claudio Hermida	On Fibred Adjunctions and Completeness for Fibred Categories.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Jordi Levy, Jaume Agustí-Cullell	Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Catharina Rieckhoff	Towards a Theory for the Animation of Algebraic Specification.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Junbo Liu	A Semantic Basis of Logic-Independent Transformation.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Grit Denker, Martin Gogolla	Translating TROLL light Concepts to Maude.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Eric G. Wagner	Overloading and Inheritance.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Jean-Pierre Jouannaud	Rewriting Techniques for Software Engineering.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Hartmut Ehrig, Julia Padberg, Leila Ribeiro 0001	Algebraic High-Level Nets: Petri Nets Revisited.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Maura Cerioli, Gianna Reggio	Institutions for Very Abstract Specifications.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Stefan Conrad 0001	On Certification of Specifications for TROLL light Objects.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Amílcar Sernadas, José Félix Costa, Cristina Sernadas	An Institution of Object Behaviour.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Rolf Hennicker, Friederike Nickl	A Behavioural Algebraic Framework for Modular System Design with Reuse.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Mohamed Bettaz, Gianna Reggio	A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Pierre-Yves Schobbens	Second-Order Proof Systems for Algebraic Specification Languages.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Joseph A. Goguen, Razvan Diaconescu	Towards an Algebraic Semantics for the Object Paradigm.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Silvia Clerici, Rosa M. Jiménez, Fernando Orejas	Semantic Constructions in the Specification Language GLIDER.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Axel Poigné	Identity and Existence, and Types in Algebra - A Survey of Sorts.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Peter D. Mosses	Unified Algebras and Abstract Syntax.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Christine Choppy	About the Correctness and Adequacy of PLUSS Specifications.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Martin Große-Rhode, Uwe Wolter	Two-Categorical Specification of Partial Algebras.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Francesco Parisi-Presicce, Alfonso Pierantonio	Structured Inheritance for Algebraic Class Specifications.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
31	Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas	Objects and their Specification.	COMPASS/ADT	1991	DBLP DOI BibTeX RDF