992 resultados para proofofknowledge concurrent zero knowledge


Relevância:

20.00% 20.00%

Publicador:

Resumo:

In recent years a set of production paradigms were proposed in order to capacitate manufacturers to meet the new market requirements, such as the shift in demand for highly customized products resulting in a shorter product life cycle, rather than the traditional mass production standardized consumables. These new paradigms advocate solutions capable of facing these requirements, empowering manufacturing systems with a high capacity to adapt along with elevated flexibility and robustness in order to deal with disturbances, like unexpected orders or malfunctions. Evolvable Production Systems propose a solution based on the usage of modularity and self-organization with a fine granularity level, supporting pluggability and in this way allowing companies to add and/or remove components during execution without any extra re-programming effort. However, current monitoring software was not designed to fully support these characteristics, being commonly based on centralized SCADA systems, incapable of re-adapting during execution to the unexpected plugging/unplugging of devices nor changes in the entire system’s topology. Considering these aspects, the work developed for this thesis encompasses a fully distributed agent-based architecture, capable of performing knowledge extraction at different levels of abstraction without sacrificing the capacity to add and/or remove monitoring entities, responsible for data extraction and analysis, during runtime.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Economies are moving towards competitive stadiums based on knowledge and innovation. The changing environment and the level of globalization demand important efforts in order to sustain competitive advantages. Portugal has experienced a remarkable evolution since its adhesion to the European Union in several fields: economic development, Research & Development (R&D) consolidation, health parameters and social cohesion. As other developed economies, Portugal started its journey towards a knowledge-based economy and has been consolidating an innovation system during the last 35 years. The following report aims to analyze the evolution of a system since its creation to its last transformation within a globalized context. Challenges such as the lack of maturity of the system, the economic crisis, the European paradox, and closing the gap with other European countries are addressed in the next chapters. Likewise, recommendations on these points are provided by the end of the report as potential solutions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

COST (European Co-operation in the field of scientific and technical research) is the longest running framework for research co-operation iri Europe, having been established in 1971 by a Ministerial Conference attended by Ministers for Science and Technology from 19 countries. Today COST is used by the scientific communities of 35 European countries to cooperate in exchanging knowledge and technology developed within research projects supported by national or European funds. The main objective of COST is to contribute to the realization of the European Research Área (ERA) anticipating and complementing the activities of the' Framework Programmes, constituting a "bridge" towards the scientific communities of emerging countries, increasing the mobility of researchers across Europe and fostering the establishment of "Networks of Excelience". Another essential objective is the knowledge transfer between the scientific soc'iety and industry. It is widely acknowledged that European scientific performance in relation to investment in science is excellent but technological and commercial performance has steadily worsened. The present paper discusses how the COST Action's instruments, from training schools to short scientific missions and workshops have been used within The COST ACTION FP11O1 Assessment, Reinforcement and Monitoring of Timber Structures to achieve such objectives.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Zero waste management is believed to be one of methods to gain sustainability in urban areas. Take advantages of resources as enough as the needs and process it until the last part to be wasted is a contribution to take care the environment for the next generation. Reduce, reuse, and recycle are three simplesactivities which are until nowadays consideredas the back bone of zero waste. Jonggolgreen city is a new urban area in Indonesia with a 100 ha of surface area zoned as education tourism area. It is an independent area with pure natural resources of water, air, and land to be managed and protected. It is planned as green city through zero waste management since2013. In this preliminary period, a monitoring tool is being prepared by applying a Life Cycle Analysis (LCA) for urban areas [1]. This paper will present an explanatory assessment ofthe zero waste management for Jonggolgreen city. The existing situation will be examined through LCA and afterwards,the new program and the proposed green design to gain the next level of zero waste will be discussed. The purpose is to track the persistence of the commitment and the perception of the necessary innovationsin order to achieve the ideal behavior level of LCA.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Special issue guest editorial, June, 2015.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Childhood protection is a subject with high value for the society, but, the Child Abuse cases are difficult to identify. The process from suspicious to accusation is very difficult to achieve. It must configure very strong evidences. Typically, Health Care services deal with these cases from the beginning where there are evidences based on the diagnosis, but they aren’t enough to promote the accusation. Besides that, this subject it’s highly sensitive because there are legal aspects to deal with such as: the patient privacy, paternity issues, medical confidentiality, among others. We propose a Child Abuses critical knowledge monitor system model that addresses this problem. This decision support system is implemented with a multiple scientific domains: to capture of tokens from clinical documents from multiple sources; a topic model approach to identify the topics of the documents; knowledge management through the use of ontologies to support the critical knowledge sensibility concepts and relations such as: symptoms, behaviors, among other evidences in order to match with the topics inferred from the clinical documents and then alert and log when clinical evidences are present. Based on these alerts clinical personnel could analyze the situation and take the appropriate procedures.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Doctor of Philosophy in Marketing and Strategy

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabalho tem como objetivo relatar os aspectos comportamentais de nidificação, alimentação e desenvolvimento dos ninhegos de Rhinoptynx clamator (Strigidae) em um fragmento florestal no Campus Marco Zero da Universidade Federal do Amapá. Apenas um ninho foi encontrado, no solo e na base de um tucumã Astrocaryum oleatum. Três ovos brancos com manchas marrons foram observados, cuja medida foi de 41 x 35 mm em média. A incubação durou 28 dias e foi efetuada pela fêmea, e o último filhote a nascer viveu apenas dois dias. Os filhotes sobreviventes foram medidos durante o seu desenvolvimento. Durante a estação reprodutiva foram coletadas algumas pelotas de regurgitação, sendo encontrados três tipos de vertebrados: Rattus sp., Micoureus cf. regina e Columbina talpacoti.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

There have been ethnoveterinary reports from around the world investigating plant usage in therapeutic protocols; however, there is no information regarding the ethnoveterinary practices in Brazilian Amazonia. The objective of this work was to register and document the ethnoveterinary knowledge of the inhabitants of the Island of Marajó, eastern Amazonia, Brazil. In the study, interviews were conducted with 50 individuals, with the application of semi-structured questionnaires that were quantitatively analyzed using descriptive statistic methods of frequency distribution. Use-value was calculated to determine the most important species. Samples of plants that were reported to have medicinal value were collected and identified by botanical classification. Fifty plants, distributed among 48 genera and 34 families, were indicated for 21 different medicinal uses. The family Asteraceae had the largest number of reported species; Carapa guianensis Aubl., Copaifera martii Hayne, Crescentia cujete L., Caesalpinia ferrea Mart., Chenopodium ambrosioides L., Jatropha curcas L. and Momordica charantia L. were species with highest use- value. The plant parts that were more commonly utilized for the preparation of ethnoveterinary medicines were the leaves (56%), bark (18%), roots (14%), seeds (14%) and fruit (8%). With regard to usage, tea was reported as a usage method by 56% of the informants; most preparations (90.9%) utilized only a single plant. In addition to medicinal plants, informants reported using products of animal and mineral origin. The present study contributed to the construction of an inventory of Marajó Island's ethnoveterinary plants, which might be the basis for future scientific validation studies.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Pedro Andrade destaca o papel que as literacias híbridas preenchem numa redefinição pós-colonial da Europa. Em sua opinião, as literacias híbridas constituem uma condição necessária para a desconstrução do discurso colonial e a posterior reconstrução de literacias e literaturas pós-coloniais. Como parte deste processo, o autor argumenta a necessidade de vários tipos de competências que enfatizem a leitura e escrita não apenas dentro de sua própria cultura, mas também nas culturas dos outros. A literacia digital desempenha um papel particularmente importante neste processo, o que nos permite enfatizar as multivocalidades desta alteridade, igualmente na interação entre diferentes tradições de literacia: Ocidental e Oriental, nacional e transnacional, verbal e mediática. Andrade exemplifica o conceito de literatura transmediática com uma série de projetos em que esteve envolvido, por exemplo a Web 3.0 Novel enquanto modalidade daquilo que ele nomeia "GeoNeoLogic Novel". Este género de novel experimental mistura a narrativa com a teoria e a recolha de dados no campo empírico, promovendo uma abordagem que se apresenta simultaneamente regional e global. Em suma, o autor sugere diversos conceitos em primeira mão que classifica de ‘origem Lusófona’, e que representam diversas estratégias pós-coloniais globais também visíveis na área social, política e cultural da Lusofonia: o ‘pensamento-réplica’ (thinking back); o 'conhecimento transmediático' (transmediatic knowledge); a ‘sociedade da escrita comum’ (common writing society); as ‘redes comuns de conflito/significado’ (common webs of conflict and meaning); a literatura co-ordinária (co-ordinary literature).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Promoting environmental and health education is crucial to allow students to make conscious decisions based on scientific criteria. The study is based on the outcomes of an Educational Project implemented with Portuguese students and consisted of several activities, exploring pre-existent Scientific Gardens at the School, aiming to investigate the antibacterial, antitumor and anti-inflammatory properties of plant extracts, with posterior incorporation in soaps and creams. A logo and a webpage were also created. The effectiveness of the project was assessed via the application of a questionnaire (pre- and post-test) and observations of the participants in terms of engagement and interaction with all individuals involved in the project. This project increased the knowledge about autochthonous plants and the potential medical properties of the corresponding plant extracts and increased the awareness about the correct design of scientific experiments and the importance of the use of experimental models of disease. The students regarded their experiences as exciting and valuable and believed that the project helped to improve their understanding and increase their interest in these subjects and in science in general. This study emphasizes the importance of raising students’ awareness on the valorization of autochthonous plants and exploitation of their medicinal properties.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Organisations continuously innovate, create, and are competitive if they improve their performance through continuous intellectual capital development, a key resource for value creation and organisational performance driver. Apart from sustaining competitive advantage, intellectual capital is increasingly important due to its ability to increase shareholder value, especially in public organisations. Employee learning, talent development, and knowledge creation allow the organisation to generate innovative ideas due to the quickness of knowledge obsolescence. The organisation's dynamic capabilities create and re-ignite organisational competencies for business sustainability being co-ordinated by well-structured organisational strategic routines ensuring continuous value creation streams into the business. This chapter focuses on the relationship between notions of knowledge sharing and trust in organisations. Lack of trust can impact negatively organisational knowledge sharing, dependent on trust, openness, and communication. The research sample included graduates and postgraduate students from two universities in Portugal. The findings revealed different perceptions according to the age group.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Undergraduate medical education is moving from traditional disciplinary basic science courses into more integrated curricula. Integration models based on organ systems originated in the 1950s, but few longitudinal studies have evaluated their effectiveness. This article outlines the development and implementation of the Organic and Functional Systems (OFS) courses at the University of Minho in Portugal, using evidence collected over 10 years. It describes the organization of content, student academic performance and acceptability of the courses, the evaluation of preparedness for future courses and the retention of knowledge on basic sciences. Students consistently rated the OFS courses highly. Physician tutors in subsequent clinical attachments considered that students were appropriately prepared. Performance in the International Foundations of Medicine examination of a self-selected sample of students revealed similar performances in basic science items after the last OFS course and 4 years later, at the moment of graduation. In conclusion, the organizational and pedagogical approaches of the OFS courses achieve high acceptability by students and result in positive outcomes in terms of preparedness for subsequent training and long-term retention of basic science knowledge.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In our work we have chosen to integrate formalism for knowledge representation with formalism for process representation as a way to specify and regulate the overall activity of a multi-cellular agent. The result of this approach is XP,N, another formalism, wherein a distributed system can be modeled as a collection of interrelated sub-nets sharing a common explicit control structure. Each sub-net represents a system of asynchronous concurrent threads modeled by a set of transitions. XP,N combines local state and control with interaction and hierarchy to achieve a high-level abstraction and to model the complex relationships between all the components of a distributed system. Viewed as a tool XP,N provides a carefully devised conflict resolution strategy that intentionally mimics the genetic regulatory mechanism used in an organic cell to select the next genes to process.