|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 434 occurrences of 336 keywords
|
|
|
Results
Found 5708 publication records. Showing 4687 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
76 | D. A. Turner |
SNACC: a parser generator for use with Miranda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1996 ACM Symposium on Applied Computing, SAC'96, Philadelphia, PA, USA, February 17-19, 1996, pp. 401-407, 1996, ACM, 0-89791-820-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 25(7), pp. 59-62, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings, pp. 455-473, 1987, Springer, 3-540-19020-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2005 Conference on High Performance Networking and Computing, November 12-18, 2005, Seattle, WA, USA, CD-Rom, pp. 60, 2005, IEEE Computer Society, 1-59593-061-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Andreas Frommer, Bruno Lang, Marco Schnurr |
A Comparison of the Moore and Miranda Existence Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 72(3-4), pp. 349-354, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBSI ![In: Proceedings of the XIX Brazilian Symposium on Information Systems, SBSI 2023, Maceió, Brazil, 29 May 2023- 1 June 2023, pp. 284-291, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
38 | Daniel Singer |
Linearly ordered semigroups for fuzzy set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 49(1-4), pp. 207-220, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 12th ACM International Conference on Multimedia, New York, NY, USA, October 10-16, 2004, pp. 985-986, 2004, ACM, 1-58113-893-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Libr. Trends ![In: Libr. Trends 71(1), pp. 52-65, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (44) ![In: HCI International 2023 Posters - 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II, pp. 77-83, 2023, Springer, 978-3-031-35991-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Dietmar Gallistl, Shudan Tian |
Continuous finite elements satisfying a strong discrete Miranda-Talenti identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.12500, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-TEL ![In: Educating for a New Future: Making Sense of Technology-Enhanced Learning Adoption - 17th European Conference on Technology Enhanced Learning, EC-TEL 2022, Toulouse, France, September 12-16, 2022, Proceedings, pp. 455-462, 2022, Springer, 978-3-031-16289-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Emiliano Casalini, Julian Fagir, Daniel Henke |
Moving Target Refocusing With the FMCW SAR System MIRANDA-35. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. ![In: IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 14, pp. 1283-1291, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LALA ![In: Proceedings of the IV Latin American Conference on Learning Analytics, Arequipa, Perú, October 19-21, 2021., pp. 18-28, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Jean Mawhin |
Simple Proofs of the Hadamard and Poincaré-Miranda Theorems Using the Brouwer Fixed Point Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 126(3), pp. 260-263, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Michael Neilan, Mohan Wu |
Discrete Miranda-Talenti estimates and applications to linear and nonlinear PDEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 356, pp. 358-376, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Miriam Richter |
From Radios to Biocomputers: An Interview with Eduardo Reck Miranda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Music. J. ![In: Comput. Music. J. 42(1), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Emiliano Casalini, Daniel Henke |
First GMTI Results of the MIRANDA-35 Sensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2018 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2018, Valencia, Spain, July 22-27, 2018, pp. 5808-5811, 2018, IEEE, 978-1-5386-7150-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | William Brescia |
E-learning and education for sustainability - Edited by Ulisses Miranda Azeitero. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Br. J. Educ. Technol. ![In: Br. J. Educ. Technol. 46(6), pp. 27-, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
nDS ![In: 2009 International Workshop on Multidimensional (nD) Systems, nDS 2009, Aristotle University of Thessaloniki, Thessaloniki, Greece, June 29 - July 1, 2009, pp. 1-4, 2009, IEEE, 978-1-4244-2798-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 17(3), pp. 735-747, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Marco Schnurr |
On the Proofs of Some Statements Concerning the Theorems of Kantorovich, Moore, and Miranda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 11(1), pp. 77-85, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Perry Cook |
Eduardo Reck Miranda: Mother Tongue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Music. J. ![In: Comput. Music. J. 28(4), pp. 95-96, 2004. The full citation details ...](Pics/full.jpeg) |
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/. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Music. J. ![In: Comput. Music. J. 26(4), pp. 85-87, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Music. J. ![In: Comput. Music. J. 24(2), pp. 102-104, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Nathan Charles, Howard Bowman, Simon J. Thompson |
From ACT-ONE to Miranda, a translation experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 19(1), pp. 31-49, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Bert R. Boyce |
Miranda Hsu-Yuang Pao. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Soc. Inf. Sci. ![In: J. Am. Soc. Inf. Sci. 46(10), pp. 723, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Simon J. Thompson |
A Logic for Miranda, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 7(4), pp. 412-429, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Simon Thompson |
Miranda - the craft of functional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
27 | Andrew Davison |
Teaching C after Miranda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPLE ![In: Functional Programming Languages in Education, First International Symposium, FPLE'95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings, pp. 35-50, 1995, Springer, 3-540-60675-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Tim Lambert, Peter Lindsay, Ken Robinson |
Using Miranda as a First Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 3(1), pp. 5-34, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Ralf Hinze |
Einführung in die funktionale Programmierung mit Miranda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
27 | D. A. Turner |
Functional Programming and Miranda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress (1) ![In: Algorithms, Software, Architecture - Information Processing '92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992, pp. 32-41, 1992, North-Holland, 0-444-89747-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
27 | Satnam Singh |
Using XView/X11 from Miranda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming ![In: Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14 August 1991, pp. 352-363, 1991, Springer, 3-540-19760-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
27 | Jerzy A. Piotrowski |
Abstract machines in miranda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 21(3), pp. 44-47, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
27 | Simon J. Thompson |
Lawful Functions and Program Verification in Miranda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 13(1), pp. 181-218, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
27 | Simon J. Thompson |
A Logic for Miranda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 1(4), pp. 339-365, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
27 | Michael S. Parsons |
Image Representations Using Miranda Laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 8(2), pp. 99-106, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
27 | David Turner |
An overview of Miranda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 33, pp. 103-114, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
27 | David Turner |
An overview of Miranda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 21(12), pp. 158-166, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
27 | Simon J. Thompson |
Laws in Miranda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 1-12, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
27 | D. A. Turner |
Miranda: A Non-Strict Functional language with Polymorphic Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 1-16, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAI Endorsed Trans. Energy Web ![In: EAI Endorsed Trans. Energy Web 10, November 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCE ![In: 19th International Conference on Electrical Engineering, Computing Science and Automatic Control, CCE 2022, Mexico City, Mexico, November 9-11, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-5508-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 182, pp. 646-660, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. Reliab. Eng. Int. ![In: Qual. Reliab. Eng. Int. 35(1), pp. 99-115, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 19(12), pp. 2700, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WorldCIST (1) ![In: New Knowledge in Information Systems and Technologies - Volume 1, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, 2019, pp. 293-302, 2019, Springer, 978-3-030-16180-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comb. Optim. Probl. Informatics ![In: Int. J. Comb. Optim. Probl. Informatics 9(2), pp. 11-24, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 17(4), pp. 881, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Hum. Comput. Interact. ![In: Adv. Hum. Comput. Interact. 2016, pp. 4602471:1-4602471:10, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: IEEE International Conference on Industrial Technology, ICIT 2016, Taipei, Taiwan, March 14-17, 2016, pp. 758-762, 2016, IEEE, 978-1-4673-8075-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ICT Stand. ![In: J. ICT Stand. 2(3), pp. 247-268, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI ![In: 2015 Latin American Computing Conference, CLEI 2015, Arequipa, Peru, October 19-23, 2015, pp. 1-13, 2015, IEEE, 978-1-4673-9143-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI ![In: 2015 Latin American Computing Conference, CLEI 2015, Arequipa, Peru, October 19-23, 2015, pp. 1-12, 2015, IEEE, 978-1-4673-9143-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kaleidoscope ![In: 2015 ITU Kaleidoscope: Trust in the Information Society, Barcelona, Spain, December 9-11, 2015, pp. 1-7, 2015, IEEE, 978-9-2611-5821-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCE ![In: IEEE International Conference on Consumer Electronics, ICCE 2015, Las Vegas, NV, USA, January 9-12, 2015, pp. 477-480, 2015, IEEE, 978-1-4799-7543-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Games Technol. ![In: Int. J. Comput. Games Technol. 2014, pp. 139205:1-139205:12, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex Networks ![In: J. Complex Networks 2(4), pp. 585-613, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebMedia ![In: Proceedings of the 20th Brazilian Symposium on Multimedia and the Web, WebMedia 2014, João Pessoa, Brazil, November 18-21, 2014, pp. 25-30, 2014, ACM, 978-1-4503-3230-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIAI ![In: 2014 Southwest Symposium on Image Analysis and Interpretation, SSIAI 2014, San Diego, CA, USA, April 6-8, 2014, pp. 57-60, 2014, IEEE Computer Society, 978-1-4799-4053-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMSB ![In: IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, BMSB 2014, Beijing, China, June 25-27, 2014, pp. 1-4, 2014, IEEE, 978-1-4799-1654-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kaleidoscope ![In: Proceedings of the 2014 ITU Kaleidoscope Academic Conference: Living in a converged world - Impossible without standards?, Saint-Petersburg, Russia, June 3-5, 2014, pp. 97-104, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Mobile Multimedia ![In: J. Mobile Multimedia 8(4), pp. 253-264, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMSB ![In: IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, BMSB 2013, Brunel University, London, United Kingdom, June 5-7, 2013, pp. 1-6, 2013, IEEE, 978-1-4673-6047-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SITIS ![In: Ninth International Conference on Signal-Image Technology & Internet-Based Systems, SITIS 2013, Kyoto, Japan, December 2-5, 2013, pp. 561-568, 2013, IEEE Computer Society, 978-1-4799-3211-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebMedia ![In: Brazilian Symposium on Multimedia and the Web, WebMedia '12, São Paulo, Brazil, October 15-18, 2012, pp. 71-74, 2012, ACM, 978-1-4503-1706-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebMedia ![In: Brazilian Symposium on Multimedia and the Web, WebMedia '12, São Paulo, Brazil, October 15-18, 2012, pp. 75-78, 2012, ACM, 978-1-4503-1706-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHC ![In: 11th Brazilian Symposium on Human Factors in Computing Systems, IHC '12, Cuiaba, Brazil, November 5-9, 2012, pp. 315-324, 2012, Brazilian Computer Society / ACM, 978-85-7669-262-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHC ![In: 11th Brazilian Symposium on Human Factors in Computing Systems, IHC '12, Cuiaba, Brazil, November 5-9, 2012, pp. 239-248, 2012, Brazilian Computer Society / ACM, 978-85-7669-262-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHC ![In: 11th Brazilian Symposium on Human Factors in Computing Systems, IHC '12, Cuiaba, Brazil, November 5-9, 2012, pp. 249-258, 2012, Brazilian Computer Society / ACM, 978-85-7669-262-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI ![In: 2012 XXXVIII Conferencia Latinoamericana En Informatica (CLEI), Medellin, Colombia, October 1-5, 2012, pp. 1-10, 2012, IEEE, 978-1-4673-0794-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 217(24), pp. 10328-10342, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 18(3), pp. 297-312, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAT ![In: Advances in Artificial Reality and Tele-Existence, 17th International Conference on Artificial Reality and Telexistence, ICAT 2007, Esbjerg, Denmark, November 28-30, 2007, Proceedings, pp. 113-118, 2007, IEEE Computer Society, 0-7695-3056-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIHC ![In: CLIHC '05, Proceedings of the 2005 Latin American Conference on Human-Computer Interaction, Cuernavaca, Mexico, October 23-26, 2005, pp. 202-210, 2005, ACM, 1-59593-224-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPSN ![In: Proceedings of The 2005 International Conference on Computers for People with Special Needs, CPSN 2005, Las Vegas, Nevada, USA, June 20-23, 2005, pp. 99-109, 2005, CSREA Press, 1-932415-78-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSTAT ![In: COMPSTAT 2002, Proceedings in Computational Statistics, 15th Symposium, Berlin, Germany, August 24-28, 2002., pp. 361-366, 2002, Springer, 978-3-7908-1517-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Liz Sonenberg |
Calculating first: a better curriculum? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSE ![In: Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, ACSE 1996, Sydney, NSW, Australia, July 1996, pp. 202-208, 1996, ACM, 0-89791-845-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1994, Phoenix, Arizona, USA, March 10-12, 1994, pp. 243-247, 1994, ACM, 0-89791-646-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Miranda |
24 | Jacek Olszewski |
CSP laboratory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1993, Indianapolis, Indiana, USA, February 18-19, 1993, pp. 91-95, 1993, ACM, 0-89791-565-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Miranda |
24 | Roger L. Wainwright |
Introducing functional programming in discrete mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 23rd SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1992, Kansas City, Missouri, USA, March 5-6, 1992, pp. 147-152, 1992, ACM, 0-89791-468-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Miranda |
24 | F. Warren Burton |
Indeterminate Behavior with Determinate Semantics in Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 340-346, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Miranda |
24 | Hanne Riis Nielson, Flemming Nielson |
Transformations on Higher-Order Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 129-143, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
ML, Miranda |
24 | Fer-Jan de Vries |
A functional program for the fast Fourier transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 23(1), pp. 67-74, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Miranda |
24 | Keshav Pingali |
Lazy evaluation and the logic variable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 2nd international conference on Supercomputing, ICS 1988, Saint Malo, France, July 4-8, 1988, pp. 560-572, 1988, ACM, 0-89791-272-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2010 - The 12th International Conference on Information Integration and Web-based Applications and Services, 8-10 November 2010, Paris, France, pp. 722-729, 2010, ACM, 978-1-4503-0421-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Yanju Zhang, Jeroen S. de Bruin, Fons J. Verbeek |
miRNA target prediction through mining of miRNA relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Proceedings of the 8th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2008, October 8-10, 2008, Athens, Greece, pp. 1-6, 2008, IEEE, 978-1-4244-2845-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Proceedings of the 8th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2008, October 8-10, 2008, Athens, Greece, pp. 1-6, 2008, IEEE, 978-1-4244-2845-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Stefano Cagnoni, Leonardo Vanneschi, Antonia Azzini, Andrea Tettamanzi |
A Critical Assessment of Some Variants of Particle Swarm Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutionary Computing, EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings, pp. 565-574, 2008, Springer, 978-3-540-78760-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Alexandre Goldsztejn |
Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 79(1), pp. 53-60, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings, pp. 1450-1461, 2005, Springer, 3-540-27580-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Robert Ayres, Peter J. H. King |
Querying Graph Databases Using a Functional Language Extended with Second Order Facilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advances in Databases, 14th British National Conferenc on Databases, BNCOD 14, Edinburgh, UK, July 3-5, 1996, Proceedings, pp. 189-203, 1996, Springer, 3-540-61442-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
functional databases, functional programming, semantic networks, Graph-databases |
19 | Alan Jeffrey |
A Chemical Abstract Machine for Graph Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, pp. 293-303, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Jesper Jørgensen |
Generating a Compiler for a Lazy Language by Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 19-22, 1992, pp. 258-268, 1992, ACM Press, 0-89791-453-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
binding time improvements, lazy functional languages, partial evaluation, compiler generation |
19 | Rita Loogen |
From Reduction Machines To Narrowing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD), pp. 438-457, 1991, Springer, 3-540-53981-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Christian Queinnec |
Compilation of Non-Linear, Second Order Patterns on S-Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, pp. 340-357, 1990, Springer, 3-540-53010-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Hanne Riis Nielson, Flemming Nielson |
Context Information for Lazy Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, Nice, France, 27-29 June 1990., pp. 251-263, 1990, ACM, 0-89791-368-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Richard Kennaway |
The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 256-270, 1990, Springer, 3-540-52592-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | John Ophel |
An improved mixture rule for pattern matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 24(6), pp. 91-96, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 4687 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|