257 resultados para Ontological proof


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Grøstl is a SHA-3 candidate proposal. Grøstl is an iterated hash function with a compression function built from two �fixed, large, distinct permutations. The design of Grøstl is transparent and based on principles very different from those used in the SHA-family. The two permutations are constructed using the wide trail design strategy, which makes it possible to give strong statements about the resistance of Grøstl against large classes of cryptanalytic attacks. Moreover, if these permutations are assumed to be ideal, there is a proof for the security of the hash function. Grøstl is a byte-oriented SP-network which borrows components from the AES. The S-box used is identical to the one used in the block cipher AES and the diffusion layers are constructed in a similar manner to those of the AES. As a consequence there is a very strong confusion and diffusion in Grøstl

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The aim of this project was to develop a general theory of stigmergy and a software design pattern to build collaborative websites. Stigmergy is a biological term used when describing some insect swarm-behaviour where 'food gathering' and 'nest building' activities demonstrate the emergence of self-organised societies achieved without an apparent management structure. The results of the project are an abstract model of stigmergy and a software design pattern for building Web 2.0 components exploiting this self-organizing phenomenon. A proof-of-concept implementation was also created demonstrating potential commercial viability for future website projects.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

So far, low probability differentials for the key schedule of block ciphers have been used as a straightforward proof of security against related-key differential analysis. To achieve resistance, it is believed that for cipher with k-bit key it suffices the upper bound on the probability to be 2− k . Surprisingly, we show that this reasonable assumption is incorrect, and the probability should be (much) lower than 2− k . Our counter example is a related-key differential analysis of the well established block cipher CLEFIA-128. We show that although the key schedule of CLEFIA-128 prevents differentials with a probability higher than 2− 128, the linear part of the key schedule that produces the round keys, and the Feistel structure of the cipher, allow to exploit particularly chosen differentials with a probability as low as 2− 128. CLEFIA-128 has 214 such differentials, which translate to 214 pairs of weak keys. The probability of each differential is too low, but the weak keys have a special structure which allows with a divide-and-conquer approach to gain an advantage of 27 over generic analysis. We exploit the advantage and give a membership test for the weak-key class and provide analysis of the hashing modes. The proposed analysis has been tested with computer experiments on small-scale variants of CLEFIA-128. Our results do not threaten the practical use of CLEFIA.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Essentialism is an ontological belief that there exists an underlying essence to a category. This article advances and tests in three studies the hypothesis that communication about a social category, and expected or actual mutual validation, promotes essentialism about a social category. In Study 1, people who wrote communications about a social category to their ingroup audiences essentialized it more strongly than those who simply memorized about it. In Study 2, communicators whose messages about a novel social category were more elaborately discussed with a confederate showed a stronger tendency to essentialize it. In Study 3, communicators who elaborately talked about a social category with a naive conversant also essentialized the social category. A meta-analysis of the results supported the hypothesis that communication promotes essentialism. Although essentialism has been discussed primarily in perceptual and cognitive domains, the role of social processes as its antecedent deserves greater attention.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The rehabilitation programs of bone-anchorage prostheses relying either on the OPRA (Integrum, Sweden) or the ILP (Orthodynamics, Germany) fixation involve some forms of static load bearing exercises (LBE). So far, most of biomechanical studies of these static LBEs focused on the direct measurements of the actual forces and moments applied on the OPRA fixation of individuals with transfemoral amputation (TFA). To date, the proof-of-concept of an apparatus to conduct these kinetic measurements has been presented, along with some preliminary data. The understanding of the kinetic data is essential to improve rehabilitation programs as well as the design of upcoming loading frames. However, kinetic information alone is difficult to interpret without concomitant kinematic data. The purpose of this preliminary study was to introduce a qualitative analysis describing the different body postures during LBE for a group of TFAs.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The desire to solve problems caused by socket prostheses in transfemoral amputees and the acquired success of osseointegration in the dental application has led to the introduction of osseointegration in the orthopedic surgery. Since its first introduction in 1990 in Gothenburg Sweden the osseointegrated (OI) orthopedic fixation has proven several benefits[1]. The surgery consists of two surgical procedures followed by a lengthy rehabilitation program. The rehabilitation program after an OI implant includes a specific training period with a short training prosthesis. Since mechanical loading is considered to be one of the key factors that influence bone mass and the osseointegration of bone-anchored implants, the rehabilitation program will also need to include some form of load bearing exercises (LBE). To date there are two frequently used commercially available human implants. We can find proof in the literature that load bearing exercises are performed by patients with both types of OI implants. We refer to two articles, a first one written by Dr. Aschoff and all and published in 2010 in the Journal of Bone and Joint Surgery.[2] The second one presented by Hagberg et al in 2009 gives a very thorough description of the rehabilitation program of TFA fitted with an OPRA implant. The progression of the load however is determined individually according to the residual skeleton’s quality, pain level and body weight of the participant.[1] Patients are using a classical bathroom weighing scale to control the load on the implant during the course of their rehabilitation. The bathroom scale is an affordable and easy-to-use device but it has some important shortcomings. The scale provides instantaneous feedback to the patient only on the magnitude of the vertical component of the applied force. The forces and moments applied along and around the three axes of the implant are unknown. Although there are different ways to assess the load on the implant for instance through inverse dynamics in a motion analysis laboratory [3-6] this assessment is challenging. A recent proof- of-concept study by Frossard et al (2009) showed that the shortcomings of the weighing scale can be overcome by a portable kinetic system based on a commercial transducer[7].

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Purpose – The purpose of this paper is to describe an innovative compliance control architecture for hybrid multi‐legged robots. The approach was verified on the hybrid legged‐wheeled robot ASGUARD, which was inspired by quadruped animals. The adaptive compliance controller allows the system to cope with a variety of stairs, very rough terrain, and is also able to move with high velocity on flat ground without changing the control parameters. Design/methodology/approach – The paper shows how this adaptivity results in a versatile controller for hybrid legged‐wheeled robots. For the locomotion control we use an adaptive model of motion pattern generators. The control approach takes into account the proprioceptive information of the torques, which are applied on the legs. The controller itself is embedded on a FPGA‐based, custom designed motor control board. An additional proprioceptive inclination feedback is used to make the same controller more robust in terms of stair‐climbing capabilities. Findings – The robot is well suited for disaster mitigation as well as for urban search and rescue missions, where it is often necessary to place sensors or cameras into dangerous or inaccessible areas to get a better situation awareness for the rescue personnel, before they enter a possibly dangerous area. A rugged, waterproof and dust‐proof corpus and the ability to swim are additional features of the robot. Originality/value – Contrary to existing approaches, a pre‐defined walking pattern for stair‐climbing was not used, but an adaptive approach based only on internal sensor information. In contrast to many other walking pattern based robots, the direct proprioceptive feedback was used in order to modify the internal control loop, thus adapting the compliance of each leg on‐line.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Large volumes of heterogeneous health data silos pose a big challenge when exploring for information to allow for evidence based decision making and ensuring quality outcomes. In this paper, we present a proof of concept for adopting data warehousing technology to aggregate and analyse disparate health data in order to understand the impact various lifestyle factors on obesity. We present a practical model for data warehousing with detailed explanation which can be adopted similarly for studying various other health issues.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A facile and sensitive surface-enhanced Raman scattering substrate was prepared by controlled potentiostatic deposition of a closely packed single layer of gold nanostructures (AuNS) over a flat gold (pAu) platform. The nanometer scale inter-particle distance between the particles resulted in high population of ‘hot spots’ which enormously enhanced the scattered Raman photons. A renewed methodology was followed to precisely quantify the SERS substrate enhancement factor (SSEF) and it was estimated to be (2.2 ± 0.17) × 105. The reproducibility of the SERS signal acquired by the developed substrate was tested by establishing the relative standard deviation (RSD) of 150 repeated measurements from various locations on the substrate surface. A low RSD of 4.37 confirmed the homogeneity of the developed substrate. The sensitivity of pAu/AuNS was proven by determining 100 fM 2,4,6-trinitrotoluene (TNT) comfortably. As a proof of concept on the potential of the new pAu/AuNS substrate in field analysis, TNT in soil and water matrices was selectively detected after forming a Meisenheimer complex with cysteamine.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This thesis is an ethnographic study of social psychological theories of influence and persuasion in higher education decision making processes. It focuses on the academic library and the budget allocation process in one study site. The findings show that influence tactics such as liking, reciprocity and social proof are important elements in the interpersonal relationships which impact decisions. The researcher was able to determine and propose practical applications for academic library administrators and library and information science educators.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In Uganda, a significant proportion of the population depends on the micronutrient poor East African highland banana as a food staple. Consequently, micronutrient deficiencies such as vitamin A deficiency are an important health concern in the country. To reach most vulnerable rural poor populations, staple crops can be biofortified with essential micronutrients though conventional breeding or genetic engineering. This thesis provided proof of concept that genetically modified East African highland bananas with enhanced provitamin A levels can be generated and fully characterised in Uganda. In addition, provitamin A levels present in popular banana varieties was documented.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Engineered biphasic osteochondral tissues may have utility in cartilage defect repair. As bone-marrow-derived mesenchymal stem/stromal cells (MSC) have the capacity to make both bone-like and cartilage-like tissues, they are an ideal cell population for use in the manufacture of osteochondral tissues. Effective differentiation of MSC to bone-like and cartilage-like tissues requires two unique medium formulations and this presents a challenge both in achieving initial MSC differentiation and in maintaining tissue stability when the unified osteochondral tissue is subsequently cultured in a single medium formulation. In this proof-of-principle study, we used an in-house fabricated microwell platform to manufacture thousands of micropellets formed from 166 MSC each. We then characterized the development of bone-like and cartilage-like tissue formation in the micropellets maintained for 8–14 days in sequential combinations of osteogenic or chondrogenic induction medium. When bone-like or cartilage-like micropellets were induced for only 8 days, they displayed significant phenotypic changes when the osteogenic or chondrogenic induction medium, respectively, was swapped. Based on these data, we developed an extended 14-day protocol for the pre-culture of bone-like and cartilage-like micropellets in their respective induction medium. Unified osteochondral tissues were formed by layering 12,000 osteogenic micropellets and 12,000 chondrogenic micropellets into a biphasic structure and then further culture in chondrogenic induction medium. The assembled tissue was cultured for a further 8 days and characterized via histology. The micropellets had amalgamated into a continuous structure with distinctive bone-like and cartilage-like regions. This proof-of-concept study demonstrates the feasibility of micropellet assembly for the formation of osteochondral-like tissues for possible use in osteochondral defect repair.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This study draws on an eclectic range of influences. The early research was guided by the traditions of Personal Construct Theory. The study was later extended by drawing on theoretical tenets of social constructionism and the notion of the Saturated Self and Anthony Gidden's work on structuration and his later work on self identity. This has provided a new way of investigating how becoming a PE teacher through constructed knowledge established a professional identity. The data suggest that during the process of constructing professional knowledge, the students forge their identities by establishing 'position' and 'role'. In doing so, the participants in this study experienced a series of dilemmas of professional self. These dilemmas are a product of what Giddens calls high modernity and what Gergen refers to as postmodernity. It seems that to become a PE teacher, the dilemmas must be worked through until a position of ontological security has been achieved. For some this was profoundly difficult. In spite of this, the methods of study allowed the participants to begin to articulate their theories and visions of teaching physical education, and the therapeutic qualities of Kelly's theory encouraged many of the students to 'see it differently' (Rossi, 1997) and to begin to develop a rationale for professional work in physical education based on socially just practices.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We demonstrate a geometrically inspired technique for computing Evans functions for the linearised operators about travelling waves. Using the examples of the F-KPP equation and a Keller–Segel model of bacterial chemotaxis, we produce an Evans function which is computable through several orders of magnitude in the spectral parameter and show how such a function can naturally be extended into the continuous spectrum. In both examples, we use this function to numerically verify the absence of eigenvalues in a large region of the right half of the spectral plane. We also include a new proof of spectral stability in the appropriate weighted space of travelling waves of speed c≥sqrt(2δ) in the F-KPP equation.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Web service and business process technologies are widely adopted to facilitate business automation and collaboration. Given the complexity of business processes, it is a sought-after feature to show a business process with different views to cater for the diverse interests, authority levels, etc., of different users. Aiming to implement such flexible process views in the Web service environment, this paper presents a novel framework named FlexView to support view abstraction and concretisation of WS-BPEL processes. In the FlexView framework, a rigorous view model is proposed to specify the dependency and correlation between structural components of process views with emphasis on the characteristics of WS-BPEL, and a set of rules are defined to guarantee the structural consistency between process views during transformations. A set of algorithms are developed to shift the abstraction and concretisation operations to the operational level. A prototype is also implemented for the proof-of-concept purpose. © 2010 Springer Science+Business Media, LLC.