Search results for "Miranda"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
76	D. A. Turner	SNACC: a parser generator for use with Miranda.	SAC	1996	DBLP DOI BibTeX RDF	attribute grammars, parser generator, Miranda, Miranda
71	Peter Greenfield	Bagof/3 to ZF expression: an example prolog application manually translated to Miranda.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	non-deterministic programming, logic programming, prolog, functional programming, Miranda
66	Kim B. Bruce, Jon G. Riecke	The Semantics of Miranda's Algebraic Types.	MFPS	1987	DBLP DOI BibTeX RDF
58	Andrew W. Cook, William H. Cabot, Peter L. Williams, Brian J. Miller, Bronis R. de Supinski, Robert K. Yates, Michael L. Welcome	Tera-Scalable Algorithms for Variable-Density Elliptic Hydrodynamics with Spectral Accuracy.	SC	2005	DBLP DOI BibTeX RDF
47	Andreas Frommer, Bruno Lang, Marco Schnurr	A Comparison of the Moore and Miranda Existence Tests.	Computing	2004	DBLP DOI BibTeX RDF	AMS Subject Classification 47H10, 65G20, 65G40, 65H10
40	Augusto César Ferreira de Miranda Oliveira, Gustavo Miranda Oliveira, Marília Miranda Oliveira, Lucas Amaral, Alexsandro Santos Machado, Moacyr Cunha-Filho, Guilherme Vilar	Computational system as support in the collection and management of environmental health surveillance data: an application in the municipality of Jaboatão dos Guararapes/PE, Brazil.	SBSI	2023	DBLP DOI BibTeX RDF
38	Daniel Singer	Linearly ordered semigroups for fuzzy set theory.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03E04, 03E72, 03G25, 06B30, 22A15, 18B40, 03G10, 06F05, 06B35
38	Ricardo Miranda Zuñiga	Vagamundo: a migrant's tale.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	Ricardo Miranda, cantinflas, illegal immigrant, vagamundo, video game, interactive art, digital art, public art
27	D. W. Krummel	Miranda's Quest.	Libr. Trends	2023	DBLP DOI BibTeX RDF
27	Alexander Kovalev, Anna Makarova, Matvey Antonov, Petr Chizhov, Vladislav Aksiotis, Andrey Tsurkan, Alexey Timchenko, Viacheslav Gostevskii, Vladislav Lomtev, Gleb Duplin, Alex Ossadtchi	Augmented Mirror Hand (MIRANDA): Advanced Training System for New Generation Prosthesis.	HCI (44)	2023	DBLP DOI BibTeX RDF
27	Dietmar Gallistl, Shudan Tian	Continuous finite elements satisfying a strong discrete Miranda-Talenti identity.	CoRR	2022	DBLP DOI BibTeX RDF
27	Jorge Maldonado-Mahauad, Mar Pérez-Sanagustín, Juan Pablo Carvallo 0001, Edwin Narvaez, Mauricio Calle	Miranda: A Chatbot for Supporting Self-regulated Learning.	EC-TEL	2022	DBLP DOI BibTeX RDF
27	Emiliano Casalini, Julian Fagir, Daniel Henke	Moving Target Refocusing With the FMCW SAR System MIRANDA-35.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2021	DBLP DOI BibTeX RDF
27	Mauricio Calle, Edwin Narvaez, Jorge Maldonado-Mahauad	Proposal for the Design and Implementation of Miranda: A Chatbot-Type Recommender for Supporting Self-Regulated Learning in Online Environments.	LALA	2021	DBLP BibTeX RDF
27	Jean Mawhin	Simple Proofs of the Hadamard and Poincaré-Miranda Theorems Using the Brouwer Fixed Point Theorem.	Am. Math. Mon.	2019	DBLP DOI BibTeX RDF
27	Michael Neilan, Mohan Wu	Discrete Miranda-Talenti estimates and applications to linear and nonlinear PDEs.	J. Comput. Appl. Math.	2019	DBLP DOI BibTeX RDF
27	Miriam Richter	From Radios to Biocomputers: An Interview with Eduardo Reck Miranda.	Comput. Music. J.	2018	DBLP DOI BibTeX RDF
27	Emiliano Casalini, Daniel Henke	First GMTI Results of the MIRANDA-35 Sensor.	IGARSS	2018	DBLP DOI BibTeX RDF
27	William Brescia	E-learning and education for sustainability - Edited by Ulisses Miranda Azeitero.	Br. J. Educ. Technol.	2015	DBLP DOI BibTeX RDF
27	Dariusz Idczak, Marek Majewski	A generalization of the Poincaré-Miranda theorem with an application to the controllability of nonlinear repetitive processes.	nDS	2009	DBLP DOI BibTeX RDF
27	Balázs Bánhelyi, Tibor Csendes, Barnabas M. Garay	Optimization and the Miranda Approach in Detecting Horseshoe-Type Chaos by Computer.	Int. J. Bifurc. Chaos	2007	DBLP DOI BibTeX RDF
27	Marco Schnurr	On the Proofs of Some Statements Concerning the Theorems of Kantorovich, Moore, and Miranda.	Reliab. Comput.	2005	DBLP DOI BibTeX RDF
27	Perry Cook	Eduardo Reck Miranda: Mother Tongue.	Comput. Music. J.	2004	DBLP DOI BibTeX RDF
27	Robert Rowe	Eduardo Reck Miranda: Composing Music with Computers Softcover, 2001, ISBN 0195058348, xvii + 411 pages, illustrated, bibliography, glossary of rules, subject index, subject index, Focal Press Music Technology Series, US$ 49.95, CD-ROM; Butterworth-Heinenmann, Linacre House, Jordan Hill, Oxford OX2 8DP, UK, or 225 Wildwood Avenue, Woburn, Massachusetts 01801, USA; telephone (+1) 781-904-2500; fax (+1) 781-904-2620; electronic mail orders@bhusa.com; Web www.focalpress.com/.	Comput. Music. J.	2002	DBLP DOI BibTeX RDF
27	Paschall de Paor	Eduardo Reck Miranda: Computer Sound Synthesis for the Electronic Musician Focal Press, 1998, 208 pages, softcover/CD-ROM, illustrated, appendices, bibliography, CD-ROM instructions, index, ISBN 0-240-51517-X; available from Focal Press (an imprint of Butterworth-Heinemann), Linacre House, Jordon Hill, Oxford OX2 8DP, UK; telephone (+44-1865) 314627; fax (+44-1865) 314091; electronic mail bhuk.orders@repp.co.uk; or Focal Press, 225 Wildwood Ave., Woburn, Massachussetts 01801-2041, USA.	Comput. Music. J.	2000	DBLP DOI BibTeX RDF
27	Nathan Charles, Howard Bowman, Simon J. Thompson	From ACT-ONE to Miranda, a translation experiment.	Comput. Stand. Interfaces	1998	DBLP DOI BibTeX RDF
27	Bert R. Boyce	Miranda Hsu-Yuang Pao.	J. Am. Soc. Inf. Sci.	1995	DBLP DOI BibTeX RDF
27	Simon J. Thompson	A Logic for Miranda, Revisited.	Formal Aspects Comput.	1995	DBLP DOI BibTeX RDF
27	Simon Thompson	Miranda - the craft of functional programming.		1995	RDF
27	Andrew Davison	Teaching C after Miranda.	FPLE	1995	DBLP DOI BibTeX RDF
27	Tim Lambert, Peter Lindsay, Ken Robinson	Using Miranda as a First Programming Language.	J. Funct. Program.	1993	DBLP DOI BibTeX RDF
27	Ralf Hinze	Einführung in die funktionale Programmierung mit Miranda.		1992	RDF
27	D. A. Turner	Functional Programming and Miranda.	IFIP Congress (1)	1992	DBLP BibTeX RDF
27	Satnam Singh	Using XView/X11 from Miranda.	Functional Programming	1991	DBLP DOI BibTeX RDF
27	Jerzy A. Piotrowski	Abstract machines in miranda.	ACM SIGCSE Bull.	1989	DBLP DOI BibTeX RDF
27	Simon J. Thompson	Lawful Functions and Program Verification in Miranda.	Sci. Comput. Program.	1989	DBLP DOI BibTeX RDF
27	Simon J. Thompson	A Logic for Miranda.	Formal Aspects Comput.	1989	DBLP DOI BibTeX RDF
27	Michael S. Parsons	Image Representations Using Miranda Laws.	Comput. Graph. Forum	1989	DBLP DOI BibTeX RDF
27	David Turner	An overview of Miranda.	Bull. EATCS	1987	DBLP BibTeX RDF
27	David Turner	An overview of Miranda.	ACM SIGPLAN Notices	1986	DBLP DOI BibTeX RDF
27	Simon J. Thompson	Laws in Miranda.	LISP and Functional Programming	1986	DBLP DOI BibTeX RDF
27	D. A. Turner	Miranda: A Non-Strict Functional language with Polymorphic Types.	FPCA	1985	DBLP DOI BibTeX RDF
27	Luis Alberto Holgado-Apaza, Edgar Julian-Laime, Justo Bautista Baca, Ralph Miranda-Castillo, Jaime Cesar Prieto-Luna, Pedro Córdova-Mendoza, Norberto Sixto Miranda Zea, Miguel Angel Valles-Coral	Monitoring and analysis of carbon monoxide and methane using Sensors and Remotely Piloted Aircraft Systems.	EAI Endorsed Trans. Energy Web	2023	DBLP DOI BibTeX RDF
27	Juan Manuel Ibarra Zannatha, Oscar González-Miranda, Cruz Barrera Ramírez, Luis Antonio López Miranda, Samuel Rudyard Arellano Aguilar, Luis Ángel Dario Osuna	Integration of Perception, Planning and Control in the AutoMINY 4.0.	CCE	2022	DBLP DOI BibTeX RDF
27	Luis Alberto Rodríguez Rodríguez, Celina Lizeth Castañeda-Miranda, Mireya Moreno Lució, Luis Octavio Solís-Sánchez, Rodrigo Castañeda-Miranda	Quarternion color image processing as an alternative to classical grayscale conversion approaches for pest detection using yellow sticky traps.	Math. Comput. Simul.	2021	DBLP DOI BibTeX RDF
27	María Luz Gámiz Pérez, Antonio Jesús López-Montoya, María Dolores Martínez Miranda, Rocío Raya-Miranda	Data visualization for reliability analysis of repairable systems.	Qual. Reliab. Eng. Int.	2019	DBLP DOI BibTeX RDF
27	Stefano Caporali, Francesco Muniz-Miranda, Alfonso Pedone, Maurizio Muniz-Miranda	SERS, XPS and DFT Study of Xanthine Adsorbed on Citrate-Stabilized Gold Nanoparticles.	Sensors	2019	DBLP DOI BibTeX RDF
27	Alan Ramírez-Noriega, Yobani Martínez-Ramírez, José Emilio Sánchez García, Erasmo Miranda Bojórquez, J. Francisco Figueroa Pérez, José Mendivil-Torres, Sergio Miranda	Towards the Automatic Construction of an Intelligent Tutoring System: Domain Module.	WorldCIST (1)	2019	DBLP DOI BibTeX RDF
27	Ramón Lira-Argüello, Miguel A. Ruiz-Jaimes, Ubaldo Miranda Miranda, Ricardo Saldaña Flores, Ocotlán Díaz-Parra, Alejandro Fuentes-Penna, Yadira Toledo-Navarro	Forecast of the Wind Speed using the Regional Atmospheric Modeling System (RAMS) and Weather Research and Forecasting (WRF) models.	Int. J. Comb. Optim. Probl. Informatics	2018	DBLP BibTeX RDF
27	Suely Moura-Melo, Rebeca Miranda-Castro, Noemí de-los-Santos-Álvarez, Arturo J. Miranda-Ordieres, José Ribeiro dos Santos Junior, Rosana A. da Silva Fonseca, María Jesús Lobo-Castañón	A Quantitative PCR-Electrochemical Genosensor Test for the Screening of Biotech Crops.	Sensors	2017	DBLP DOI BibTeX RDF
27	Gabriel Alves Vasiljevic Mendes, Leonardo Cunha de Miranda, Erica Esteves Cunha de Miranda	A Case Study of MasterMind Chess: Comparing Mouse/Keyboard Interaction with Kinect-Based Gestural Interface.	Adv. Hum. Comput. Interact.	2016	DBLP DOI BibTeX RDF
27	Luis Octavio Solís-Sánchez, José Manuel Ortiz-Rodriguez, Rodrigo Castañeda-Miranda, Maria del Rosario Martinez-Blanco, Gerardo Ornelas-Vargas, Jorge I. Galván-Tejada, Carlos Eric Galván-Tejada, José M. Celaya-Padilla, Celina Lizeth Castañeda-Miranda	Identification and evaluation on diabetic foot injury by computer vision.	ICIT	2016	DBLP DOI BibTeX RDF
27	José Vinícius de Miranda Cardoso, Carlos Danilo Miranda Regis, Marcelo Sampaio de Alencar	Towards the Standardization of Stereoscopic Video Quality Assessment: An Application for Objective Algorithms.	J. ICT Stand.	2015	DBLP DOI BibTeX RDF
27	Fábio Andrews Rocha Marques, Leonardo Cunha de Miranda, Bruna Camila de Menezes, Erica Esteves Cunha de Miranda	Karuta Kanji: Jogo educacional para estudar e praticar vocabulário com Kanjis da lingua japonesa.	CLEI	2015	DBLP DOI BibTeX RDF
27	Fabio Phillip Rocha Marques, Bruna Camila de Menezes, Leonardo Cunha de Miranda, Erica Esteves Cunha de Miranda, Juvane Nunes Marciano	Sumo Sensei: Design, implementação e teste com usuários de uma ferramenta móvel para apoiar o estudo de kanjis básicos.	CLEI	2015	DBLP DOI BibTeX RDF
27	José Vinícius de Miranda Cardoso, Carlos Danilo Miranda Regis, Marcelo Sampaio de Alencar	MUNIQUE: Multiview no-reference image quality evaluation.	Kaleidoscope	2015	DBLP DOI BibTeX RDF
27	José Vinícius de Miranda Cardoso, Carlos Danilo Miranda Regis, Marcelo Sampaio de Alencar	Disparity weighting applied to full-reference and no reference stereoscopic image quality assessment.	ICCE	2015	DBLP DOI BibTeX RDF
27	Juvane Nunes Marciano, Leonardo Cunha de Miranda, Erica Esteves Cunha de Miranda	Evaluating Multiple Aspects of Educational Computer Games: Literature Review and Case Study.	Int. J. Comput. Games Technol.	2014	DBLP DOI BibTeX RDF
27	Rodrigo Cesar de Castro Miranda, Sergio Rubens Stancato de Souza, Thiago Christiano Silva 0001, Benjamin Miranda Tabak	Connectivity and systemic risk in the Brazilian national payments system.	J. Complex Networks	2014	DBLP DOI BibTeX RDF
27	José Vinícius de Miranda Cardoso, Carlos Danilo Miranda Regis, Marcelo Sampaio de Alencar	ImQET: Objective Stereoscopic Image Quality Evaluation Tool.	WebMedia	2014	DBLP DOI BibTeX RDF
27	José Vinícius de Miranda Cardoso, Marcelo Sampaio de Alencar, Carlos Danilo Miranda Regis, Italo de Pontes Oliveira	Temporal analysis and perceptual weighting for objective video quality measurement.	SSIAI	2014	DBLP DOI BibTeX RDF
27	José Vinícius de Miranda Cardoso, Carlos Danilo Miranda Regis, Marcelo Sampaio de Alencar	On the performance of disparity-based weighting technique applied to 3D image quality assessment.	BMSB	2014	DBLP DOI BibTeX RDF
27	José Vinícius de Miranda Cardoso, Carlos Danilo Miranda Regis, Marcelo Sampaio de Alencar	SQUALES: A Qt-based application for full-reference objective stereoscopic video quality measurement.	Kaleidoscope	2014	DBLP DOI BibTeX RDF
27	Carlos Danilo Miranda Regis, José Vinícius de Miranda Cardoso, Italo de Pontes Oliveira, Marcelo Sampaio de Alencar	Fuzzy Logic and Temporal Information Applied to Video Quality Assessment.	J. Mobile Multimedia	2013	DBLP BibTeX RDF
27	Carlos Danilo Miranda Regis, José Vinícius de Miranda Cardoso, Italo de Pontes Oliveira, Marcelo Sampaio de Alencar	Objective estimation of 3D video quality: A disparity-based weighting strategy.	BMSB	2013	DBLP DOI BibTeX RDF
27	Rodrigo Cesar de Castro Miranda, Sergio Rubens Stancato de Souza, Benjamin Miranda Tabak	Connectivity and Systemic Risk in the Brazilian National Payments System.	SITIS	2013	DBLP DOI BibTeX RDF
27	Carlos Danilo Miranda Regis, José Vinícius de Miranda Cardoso, Italo de Pontes Oliveira, Marcelo Sampaio de Alencar	Performance of the objective video quality metrics with perceptual weighting considering first and second order differential operators.	WebMedia	2012	DBLP DOI BibTeX RDF
27	Carlos Danilo Miranda Regis, José Vinícius de Miranda Cardoso, Marcelo Sampaio de Alencar	Effect of visual attention areas on the objective video quality assessment.	WebMedia	2012	DBLP DOI BibTeX RDF
27	Diego Henrique Dantas de Oliveira, Leonardo Cunha de Miranda, Erica Esteves Cunha de Miranda, Lyrene Fernandes da Silva	Prototipação de interfaces de aplicativos para dispositivos móveis: estado da arte e desafios de IHC.	IHC	2012	DBLP BibTeX RDF
27	Alessandro Luiz Stamatto Ferreira, Leonardo Cunha de Miranda, Erica Esteves Cunha de Miranda	Interfaces cérebro-computador de sistemas interativos: estado da arte e desafios de IHC.	IHC	2012	DBLP BibTeX RDF
27	Gabriel Alves Vasiljevic Mendes, Leonardo Cunha de Miranda, Erica Esteves Cunha de Miranda, Lyrene Fernandes da Silva	Prototipação de interfaces tangíveis de produtos interativos: estado da arte e desafios da plataforma arduino.	IHC	2012	DBLP BibTeX RDF
27	Juvane Nunes Marciano, Leonardo Cunha de Miranda, Erica Esteves Cunha de Miranda	Japanese language learning supported by computational tools: State of the art and challenges for the Latin America community.	CLEI	2012	DBLP DOI BibTeX RDF
27	Rocío Raya-Miranda, María Dolores Martínez Miranda	Data-driven local bandwidth selection for additive models with missing data.	Appl. Math. Comput.	2011	DBLP DOI BibTeX RDF
27	Wenceslao González-Manteiga, María Dolores Martínez Miranda, Rocío Raya-Miranda	SiZer Map for inference with additive models.	Stat. Comput.	2008	DBLP DOI BibTeX RDF	Model checking, Interaction, Test, Residuals, Smoothing parameter
27	Miranda Miranda Miguel, Takefumi Ogawa, Kiyoshi Kiyokawa, Haruo Takemura	A PDA-based See-through Interface within an Immersive Environment.	ICAT	2007	DBLP DOI BibTeX RDF	Interaction in an immersive environment, See-through lens technique, Image Plane Technique, PDA, Immersive environments
27	Andréa da Silva Miranda, Janae Gonçalves Martins, Juliano dos Santos, Sabrina Vieira da Luz Loureiro, Alejandro Martins Rodriguez, Elizabeth Specialki, Ricardo Miranda Barcia	Vias-Ka: modelo de acessibilidade para sistemas computacionais de educação a distância.	CLIHC	2005	DBLP DOI BibTeX RDF
27	Sabrina Vieira da Luz Loureiro, Andréa da Silva Miranda, Janae Gonçalves Martins, Silvana Pezzi, Alejandro Martins Rodriguez, Ricardo Miranda Barcia, Elizabeth Sueli Specialski	Theoretical, Methodological and Technological Subsidies for Constructing an Educational and Service Platform for Deaf People.	CPSN	2005	DBLP BibTeX RDF
27	Rocío Raya-Miranda, Martínez Miranda, A. González Carmona	Exploring the Structure of Regression Surfaces by using SiZer Map for Additive Models.	COMPSTAT	2002	DBLP DOI BibTeX RDF
24	Liz Sonenberg	Calculating first: a better curriculum?	ACSE	1996	DBLP DOI BibTeX RDF	Miranda
24	Kim B. Bruce	Attracting (& keeping) the best and the brightest: an entry-level course for experienced introductory students.	SIGCSE	1994	DBLP DOI BibTeX RDF	Miranda
24	Jacek Olszewski	CSP laboratory.	SIGCSE	1993	DBLP DOI BibTeX RDF	Miranda
24	Roger L. Wainwright	Introducing functional programming in discrete mathematics.	SIGCSE	1992	DBLP DOI BibTeX RDF	Miranda
24	F. Warren Burton	Indeterminate Behavior with Determinate Semantics in Parallel Programs.	FPCA	1989	DBLP DOI BibTeX RDF	Miranda
24	Hanne Riis Nielson, Flemming Nielson	Transformations on Higher-Order Functions.	FPCA	1989	DBLP DOI BibTeX RDF	ML, Miranda
24	Fer-Jan de Vries	A functional program for the fast Fourier transform.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Miranda
24	Keshav Pingali	Lazy evaluation and the logic variable.	ICS	1988	DBLP DOI BibTeX RDF	RISC, Miranda
19	Tom Kiemes, Daniel Oberle, Francesco Novelli	Towards a reusable and executable pricing model in the internet of services.	iiWAS	2010	DBLP DOI BibTeX RDF
19	Yanju Zhang, Jeroen S. de Bruin, Fons J. Verbeek	miRNA target prediction through mining of miRNA relationships.	BIBE	2008	DBLP DOI BibTeX RDF
19	Pantelis Zotos, Georgios Papachristoudis, Maria G. Roubelakis, Ioannis Michalopoulos, Kalliopi I. Pappa, Nicholas P. Anagnou, Sophia Kossida	GOmir: A stand-alone application for human microRNA target analysis and gene ontology clustering.	BIBE	2008	DBLP DOI BibTeX RDF
19	Stefano Cagnoni, Leonardo Vanneschi, Antonia Azzini, Andrea Tettamanzi	A Critical Assessment of Some Variants of Particle Swarm Optimization.	EvoWorkshops	2008	DBLP DOI BibTeX RDF
19	Alexandre Goldsztejn	Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests.	Computing	2007	DBLP DOI BibTeX RDF	existence test, interval analysis, Nonlinear systems of equations
19	Teodor Knapik, Damian Niwinski, Pawel Urzyczyn, Igor Walukiewicz	Unsafe Grammars and Panic Automata.	ICALP	2005	DBLP DOI BibTeX RDF
19	Robert Ayres, Peter J. H. King	Querying Graph Databases Using a Functional Language Extended with Second Order Facilities.	BNCOD	1996	DBLP DOI BibTeX RDF	functional databases, functional programming, semantic networks, Graph-databases
19	Alan Jeffrey	A Chemical Abstract Machine for Graph Reduction.	MFPS	1993	DBLP DOI BibTeX RDF
19	Jesper Jørgensen	Generating a Compiler for a Lazy Language by Partial Evaluation.	POPL	1992	DBLP DOI BibTeX RDF	binding time improvements, lazy functional languages, partial evaluation, compiler generation
19	Rita Loogen	From Reduction Machines To Narrowing Machines.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
19	Christian Queinnec	Compilation of Non-Linear, Second Order Patterns on S-Expressions.	PLILP	1990	DBLP DOI BibTeX RDF
19	Hanne Riis Nielson, Flemming Nielson	Context Information for Lazy Code Generation.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
19	Richard Kennaway	The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems.	ESOP	1990	DBLP DOI BibTeX RDF
19	John Ophel	An improved mixture rule for pattern matching.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF