806 resultados para Nanofiber structured cathode


Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper reports some experiments in using SVG (Scalable Vector Graphics), rather than the browser default of (X)HTML/CSS, as a potential Web-based rendering technology, in an attempt to create an approach that integrates the structural and display aspects of a Web document in a single XML-compliant envelope. Although the syntax of SVG is XML based, the semantics of the primitive graphic operations more closely resemble those of page description languages such as PostScript or PDF. The principal usage of SVG, so far, is for inserting complex graphic material into Web pages that are predominantly controlled via (X)HTML and CSS. The conversion of structured and unstructured PDF into SVG is discussed. It is found that unstructured PDF converts into pages of SVG with few problems, but difficulties arise when one attempts to map the structural components of a Tagged PDF into an XML skeleton underlying the corresponding SVG. These difficulties are not fundamentally syntactic; they arise largely because browsers are innately bound to (X)HTML/CSS as their default rendering model. Some suggestions are made for ways in which SVG could be more totally integrated into browser functionality, with the possibility that future browsers might be able to use SVG as their default rendering paradigm.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Computers employing some degree of data flow organisation are now well established as providing a possible vehicle for concurrent computation. Although data-driven computation frees the architecture from the constraints of the single program counter, processor and global memory, inherent in the classic von Neumann computer, there can still be problems with the unconstrained generation of fresh result tokens if a pure data flow approach is adopted. The advantages of allowing serial processing for those parts of a program which are inherently serial, and of permitting a demand-driven, as well as data-driven, mode of operation are identified and described. The MUSE machine described here is a structured architecture supporting both serial and parallel processing which allows the abstract structure of a program to be mapped onto the machine in a logical way.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Corecursive programs produce values of greatest fixpoint types, in contrast to recursive programs, which consume values of least fixpoint types. There are a number of widely used methods for proving properties of corecursive programs, including fixpoint induction, the take lemma, and coinduction. However, these methods are all rather low level, in that they do not exploit the common structure that is often present in corecursive definitions. We argue for a more structured approach to proving properties of corecursive programs. In particular, we show that by writing corecursive programs using a simple operator that encapsulates a common pattern of corecursive definition, we can then use high-level algebraic properties of this operator to conduct proofs in a purely calculational style that avoids the use of inductive or coinductive methods.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper draws a parallel between document preparation and the traditional processes of compilation and link editing for computer programs. A block-based document model is described which allows for separate compilation of various portions of a document. These portions are brought together and merged by a linker program, called dlink, whose pilot implementation is based on ditroff and on its underlying intermediate code. In the light of experiences with dlink the requirements for a universal object-module language for documents are discussed. These requirements often resemble the characteristics of the intermediate codes used by programming-language compilers but with interesting extra constraints which arise from the way documents are executed .

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Discovery Driven Analysis (DDA) is a common feature of OLAP technology to analyze structured data. In essence, DDA helps analysts to discover anomalous data by highlighting 'unexpected' values in the OLAP cube. By giving indications to the analyst on what dimensions to explore, DDA speeds up the process of discovering anomalies and their causes. However, Discovery Driven Analysis (and OLAP in general) is only applicable on structured data, such as records in databases. We propose a system to extend DDA technology to semi-structured text documents, that is, text documents with a few structured data. Our system pipeline consists of two stages: first, the text part of each document is structured around user specified dimensions, using semi-PLSA algorithm; then, we adapt DDA to these fully structured documents, thus enabling DDA on text documents. We present some applications of this system in OLAP analysis and show how scalability issues are solved. Results show that our system can handle reasonable datasets of documents, in real time, without any need for pre-computation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Portable Document Format (PDF), defined by Adobe Systems Inc. as the basis of its Acrobat product range, is discussed in some detail. Particular emphasis is given to its flexible object-oriented structure, which has yet to be fully exploited. It is currently used to represent not logical structure but simply a series of pages and associated resources. A definition of an Encapsulated PDF (EPDF) is presented, in which EPDF blocks carry with them their own resource requirements, together with geometrical and logical information. A block formatter called Juggler is described which can lay out EPDF blocks from various sources onto new pages. Future revisions of PDF supporting uniquely-named EPDF blocks tagged with semantic information would assist in composite-pagemakeup and could even lead to fully revisable PDF.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, we present a case-based reasoning (CBR) approach solving educational time-tabling problems. Following the basic idea behind CBR, the solutions of previously solved problems are employed to aid finding the solutions for new problems. A list of feature-value pairs is insufficient to represent all the necessary information. We show that attribute graphs can represent more information and thus can help to retrieve re-usable cases that have similar structures to the new problems. The case base is organised as a decision tree to store the attribute graphs of solved problems hierarchically. An example is given to illustrate the retrieval, re-use and adaptation of structured cases. The results from our experiments show the effectiveness of the retrieval and adaptation in the proposed method.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This thesis examines the importance of effective stakeholder engagement that complies with the doctrines of social justice in non-renewable resources management decision-making. It uses hydraulic fracturing in the Green Point Shale Formation in Western Newfoundland as a case study. The thesis uses as theoretical background John Rawls’ and David Miller’ theory of social justice, and identifies the social justice principles, which are relevant to stakeholder engagement. The thesis compares the method of stakeholder engagement employed by the Newfoundland and Labrador Hydraulic Fracturing Review Panel (NLHFRP), with the stakeholder engagement techniques recommended by the Structured Decision Making (SDM) model, as applied to a simulated case study involving hydraulic fracturing in the Green Point Shale Formation. Using the already identified social justice principles, the thesis then developed a framework to measure the level of compliance of both stakeholder engagement techniques with social justice principles. The main finding of the thesis is that the engagement techniques prescribed by the SDM model comply more closely with the doctrines of social justice than the engagement techniques applied by the NLHFRP. The thesis concludes by recommending that the SDM model be more widely used in non- renewable resource management decision making in order to ensure that all stakeholders’ concerns are effectively heard, understood and transparently incorporated in the nonrenewable resource policies to make them consistent with local priorities and goals, and with the social justice norms and institutions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Human relationships have long been studied by scientists from domains like sociology, psychology, literature, etc. for understanding people's desires, goals, actions and expected behaviors. In this dissertation we study inter-personal relationships as expressed in natural language text. Modeling inter-personal relationships from text finds application in general natural language understanding, as well as real-world domains such as social networks, discussion forums, intelligent virtual agents, etc. We propose that the study of relationships should incorporate not only linguistic cues in text, but also the contexts in which these cues appear. Our investigations, backed by empirical evaluation, support this thesis, and demonstrate that the task benefits from using structured models that incorporate both types of information. We present such structured models to address the task of modeling the nature of relationships between any two given characters from a narrative. To begin with, we assume that relationships are of two types: cooperative and non-cooperative. We first describe an approach to jointly infer relationships between all characters in the narrative, and demonstrate how the task of characterizing the relationship between two characters can benefit from including information about their relationships with other characters in the narrative. We next formulate the relationship-modeling problem as a sequence prediction task to acknowledge the evolving nature of human relationships, and demonstrate the need to model the history of a relationship in predicting its evolution. Thereafter, we present a data-driven method to automatically discover various types of relationships such as familial, romantic, hostile, etc. Like before, we address the task of modeling evolving relationships but don't restrict ourselves to two types of relationships. We also demonstrate the need to incorporate not only local historical but also global context while solving this problem. Lastly, we demonstrate a practical application of modeling inter-personal relationships in the domain of online educational discussion forums. Such forums offer opportunities for its users to interact and form deeper relationships. With this view, we address the task of identifying initiation of such deeper relationships between a student and the instructor. Specifically, we analyze contents of the forums to automatically suggest threads to the instructors that require their intervention. By highlighting scenarios that need direct instructor-student interactions, we alleviate the need for the instructor to manually peruse all threads of the forum and also assist students who have limited avenues for communicating with instructors. We do this by incorporating the discourse structure of the thread through latent variables that abstractly represent contents of individual posts and model the flow of information in the thread. Such latent structured models that incorporate the linguistic cues without losing their context can be helpful in other related natural language understanding tasks as well. We demonstrate this by using the model for a very different task: identifying if a stated desire has been fulfilled by the end of a story.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The growing concern about the depletion of oil has spurred worldwide interest in finding alternative feedstocks for important petrochemical commodities and fuels. On the one hand, the enormous re-serves found (208 trillion cubic feet proven1), environmental sustainability and lower overall costs point to natural gas as the primary source for energy and chemicals in the near future.2 Nowadays the transformation of methane into useful chemicals and liquid fuels is only feasible via synthesis gas, a mixture of molecular hydrogen and carbon monoxide, that is further transformed to methanol or to hydrocarbons under moderate reaction conditions (150-350 °C and 10-100 bar).3 For a major cost reduction and in order to valorize small natural gas sources, either more efficient "syngas to products" catalysts should be produced or the manner in which methane is initially activated should be changed, ideally by developing catalysts able to directly oxidize methane to interesting products such as methanol. On the other hand, from the point of view of CO2 emissions, the use of the re-maining fossil resources will further contribute to global warming. In this scenario, the development of efficient routes for the transformation of CO2 into useful chemicals and fuels would represent a considerable step forward towards sustainability. Indeed, the environmental and economic incen-tives to develop processes for the conversion of CO2 into fuels and chemicals are great. However, for such conversions to become economically feasible, considerable research is necessary. In this lecture we will summarize our recent efforts into the design of new catalytic systems, based on MOFs and COFs, to address these challenges. Examples include the development of new Fe based FTS catalysts, electrocatalysts for the selective conversion of CO2 into syngas, the development of efficient catalysts for the utilization of formic acid as hydrogen storage vector and the development of new enzyme inspired systems for the direct transformation of methane to methanol under mild reaction conditions. References (1) http://www.clearonmoney.com/dw/doku.php?id=public:natural_gas_reserves. (2) Derouane, E. G.; Parmon, V.; Lemos, F.; Ribeiro, F. R. Sustainable Strategies for the Up-grading of Natural Gas: Fundamentals, Challenges, and Opportunities; Springer, 2005. (3) Rofer-DePoorter, C. K. Chemical Reviews. ACS Publications 1981, pp 447–474.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Póster presentado en: 21st World Hydrogen Energy Conference 2016. Zaragoza, Spain. 13-16th June, 2016

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Objective Structured Clinical Examinations (OSCE) improved communication skills of student of Pharmacology in Medicine and Podiatry degree. Bellido I, Blanco E, Gomez-Luque A. D. Pharmacology and Clinical Therapeutic. Medicine School. University of Malaga. IBIMA. Malaga, Spain. Objective Structured Clinical Examinations (OSCEs) are versatile multipurpose evaluative tools that can be utilized to assess health care professionals in a clinical setting including communication skills and ability to handle unpredictable patient behavior, which usually are not included in the traditional clinical exam. To designee and perform OSCEs by student is a novelty that really like to the students and may improve their arguing and planning capacities and their communication skills. Aim: To evaluate the impact of designing, developing and presenting Objective Structured Clinical Examinations (OSCE) by student in the communication skills development and in the learning of medicines in Medicine and Podiatry undergraduate students. Methods: A one-year study in which students were invited to voluntarily form groups (4 students maximum). Each group has to design and perform an OSCE (10 min maximum) showing a clinical situation/problem in which medicines’ use was needed. A clinical history, camera, a mobile-phone's video editor, photos, actors, dolls, simulators or whatever they may use was allowed. The job of each group was supervised and helped by a teacher. The students were invited to present their work to the rest of the class. After each OSCE performance the students were encouraged to ask questions if they wanted to do it. After all the OSCEs performances the students voluntarily answered a satisfaction survey. Results: Students of Pharmacology of Medicine degree and Podiatry degree, N=80, 53.75% female, 21±2.3 years old were enrolled. 26 OSCEs showing a clinical situation or clinical problem were made. The average time spent by students in making the OSCE was 21.5±9 h. The percentage of students which were satisfied with this way of presentation of the OSCE was 89.7%. Conclusion: Objective Structured Clinical Examinations (OSCE) designed and performed by student of Pharmacology of the Medicine and Podiatry Degree improved their communication skills.