New technologies associated with the fourth industrial revolution are transforming the world in w... more New technologies associated with the fourth industrial revolution are transforming the world in which we live, and the power grid is no exception since it has been provided with intelligence. One of its best-known applications is smart metering systems that allow real-time energy consumption/production to be known, as well as other benefits such as outages and reconnections automatically. The new generations of smart meters have more computing capacity allowing new applications. This work shows some considerations in the design of smart meters using human-computer interaction techniques. The results aim to improve the end-user’s experience and satisfaction and can help to mitigate the reluctance to use smart metering systems in Mexico.
Requirements elicitation is concerned with learning and understanding the needs of users w.r.t. a... more Requirements elicitation is concerned with learning and understanding the needs of users w.r.t. a new software development. Frequently the methods employed for requirements elicitation are adapted from areas like social sciences that do not include executable (prototype based on) feedback. As a consequence, it is relatively common to discover that the first release does not fit the requirements defined at the beginning of the project. Using domain-specific languages (DSLs) as an auxiliary tool for requirements elicitation is a commonly well accepted idea. Unfortunately, there are few works in the literature devoted to the definition of design principles for DSLs to be experienced in the frameworks for DSL developing such as ANTLR, Ruby, and Curry. We propose design principles for the DSL development (regardless of paradigm) which are sufficient to model the domain in a requirements phase. Further more we enunciate a new profile for the requirements analyst and a set of elicitation s...
The search of compilation by specialization of interpreters is a source to source program transfo... more The search of compilation by specialization of interpreters is a source to source program transformation which has inspired the work of scientists in partial evaluation from many years ago. Narrowing-driven Partial Evaluation (NPE) is a powerful technique for the specialization of functional logic programs. Recent advances in research of offline NPE schemes allow us to develop partial evaluators that process bigger programas. In this work we introduce the stages of a novel pure offline partial evaluator developed in the functional logic language Curry which is able to specialize FlatCurry (the intermediate representation of Curry) programs. In particular, we describe the first experiments in the specialization of interpreters. Our partial evaluator specializes more realistic programs than previous versions since it allows the processing of programs including built-ins and constraints.
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-orde... more Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good results on small programs, it does not scale up well to realistic problems (e.g., interpreter specialization). In this work, we introduce a faster partial evaluation scheme by ensuring the termination of the process offline . For this purpose, we first characterize a class of programs which are quasi-terminating , i.e., the computations performed with needed narrowing—the symbolic computation mechanism of narrowing-driven partial evaluation—only contain finitely many different terms (and, thus, partial evaluation terminates). Since this class is quite restrictive, we also introduce an annotation algorithm for a broader class of programs so that they behave like quasi-terminating programs w.r.t. an extension of needed narrowing. Preliminary experiments are encouraging and demonstrate the usefulness of our approach.
One of the most important methods to incorporate semantic in- formation into web pages is the use... more One of the most important methods to incorporate semantic in- formation into web pages is the use of Microformats. Microformats are a set of open data formats built upon existing and widely adopted standards; and they allow us to enrich standard tags with attributes that explicitly estab- lish a classification and a semantic hierarchy in the information contained in a web page. For these reasons, they are considered as a pragmatic path to the Semantic Web. In this work, we introduce a new method for information extraction from the semantic web. The fundamental idea is to model the se- mantic information contained in the microformats of a set of web pages, by using a data structure called semantic network. Then, we introduce a novel technique for information extraction from semantic networks. In particu- lar, the technique allows us to extract a portion—a slice—of the semantic network with respect to some criterion of interest. The slice obtained rep- resents relevant information ret...
New technologies associated with the fourth industrial revolution are transforming the world in w... more New technologies associated with the fourth industrial revolution are transforming the world in which we live, and the power grid is no exception since it has been provided with intelligence. One of its best-known applications is smart metering systems that allow real-time energy consumption/production to be known, as well as other benefits such as outages and reconnections automatically. The new generations of smart meters have more computing capacity allowing new applications. This work shows some considerations in the design of smart meters using human-computer interaction techniques. The results aim to improve the end-user’s experience and satisfaction and can help to mitigate the reluctance to use smart metering systems in Mexico.
Requirements elicitation is concerned with learning and understanding the needs of users w.r.t. a... more Requirements elicitation is concerned with learning and understanding the needs of users w.r.t. a new software development. Frequently the methods employed for requirements elicitation are adapted from areas like social sciences that do not include executable (prototype based on) feedback. As a consequence, it is relatively common to discover that the first release does not fit the requirements defined at the beginning of the project. Using domain-specific languages (DSLs) as an auxiliary tool for requirements elicitation is a commonly well accepted idea. Unfortunately, there are few works in the literature devoted to the definition of design principles for DSLs to be experienced in the frameworks for DSL developing such as ANTLR, Ruby, and Curry. We propose design principles for the DSL development (regardless of paradigm) which are sufficient to model the domain in a requirements phase. Further more we enunciate a new profile for the requirements analyst and a set of elicitation s...
The search of compilation by specialization of interpreters is a source to source program transfo... more The search of compilation by specialization of interpreters is a source to source program transformation which has inspired the work of scientists in partial evaluation from many years ago. Narrowing-driven Partial Evaluation (NPE) is a powerful technique for the specialization of functional logic programs. Recent advances in research of offline NPE schemes allow us to develop partial evaluators that process bigger programas. In this work we introduce the stages of a novel pure offline partial evaluator developed in the functional logic language Curry which is able to specialize FlatCurry (the intermediate representation of Curry) programs. In particular, we describe the first experiments in the specialization of interpreters. Our partial evaluator specializes more realistic programs than previous versions since it allows the processing of programs including built-ins and constraints.
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-orde... more Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good results on small programs, it does not scale up well to realistic problems (e.g., interpreter specialization). In this work, we introduce a faster partial evaluation scheme by ensuring the termination of the process offline . For this purpose, we first characterize a class of programs which are quasi-terminating , i.e., the computations performed with needed narrowing—the symbolic computation mechanism of narrowing-driven partial evaluation—only contain finitely many different terms (and, thus, partial evaluation terminates). Since this class is quite restrictive, we also introduce an annotation algorithm for a broader class of programs so that they behave like quasi-terminating programs w.r.t. an extension of needed narrowing. Preliminary experiments are encouraging and demonstrate the usefulness of our approach.
One of the most important methods to incorporate semantic in- formation into web pages is the use... more One of the most important methods to incorporate semantic in- formation into web pages is the use of Microformats. Microformats are a set of open data formats built upon existing and widely adopted standards; and they allow us to enrich standard tags with attributes that explicitly estab- lish a classification and a semantic hierarchy in the information contained in a web page. For these reasons, they are considered as a pragmatic path to the Semantic Web. In this work, we introduce a new method for information extraction from the semantic web. The fundamental idea is to model the se- mantic information contained in the microformats of a set of web pages, by using a data structure called semantic network. Then, we introduce a novel technique for information extraction from semantic networks. In particu- lar, the technique allows us to extract a portion—a slice—of the semantic network with respect to some criterion of interest. The slice obtained rep- resents relevant information ret...
Uploads
Papers by J Guadalupe Ramos