361 resultados para nonexpansive mappings
Resumo:
MSC 2010: 30C45, 30C55
Resumo:
2000 Mathematics Subject Classification: 46B03
Resumo:
AMS subject classification: Primary 49J52; secondary: 26A27, 90C48, 47N10.
Resumo:
2000 Mathematics Subject Classification: Primary: 47H10; Secondary: 54H25.
Resumo:
En este trabajo los autores continúan su estudio de la caracterización de la existencia de adjunciones (conexiones de Galois isótonas) cuyo codominio no está dotado de estructura en principio. En este artículo se considera el caso difuso en el que se tiene un orden difuso R definido en un conjunto A y una aplicación sobreyectiva f:A-> B compatible respecto de dos relaciones de similaridad definidas en el dominio A y en el condominio B, respectivamente. Concretamente, el problema es encontrar un orden difuso S en B y una aplicación g:B-> A compatible también con las correspondientes similaridades definidas en A y en B, de tal forma que el par (f,g) constituya un adjunción.
Resumo:
Managed execution frameworks, such as the.NET Common Language Runtime or the Java Virtual Machine, provide a rich environment for the creation of application programs. These execution environments are ideally suited for languages that depend on type-safety and the declarative control of feature access. Furthermore, such frameworks typically provide a rich collection of library primitives specialized for almost every domain of application programming. Thus, when a new language is implemented on one of these frameworks it becomes necessary to provide some kind of mapping from the new language to the libraries of the framework. The design of such mappings is challenging since the type-system of the new language may not span the domain exposed in the library application programming interfaces (APIs). The nature of these design considerations was clarified in the implementation of the Gardens Point Component Pascal (gpcp) compiler. In this paper we describe the issues, and the solutions that we settled on in this case. The problems that were solved have a wider applicability than just our example, since they arise whenever any similar language is hosted in such an environment.
Resumo:
The Silk Road Project was a practice-based research project investigating the potential of motion capture technology to inform perceptions of embodiment in dance performance. The project created a multi-disciplinary collaborative performance event using dance performance and real-time motion capture at Deakin University’s Deakin Motion Lab. Several new technological advances in producing real-time motion capture performance were produced, along with a performance event that examined the aesthetic interplay between a dancer’s movement and the precise mappings of its trajectories created by motion capture and real-time motion graphic visualisations.
Resumo:
In this paper we investigate the heuristic construction of bijective s-boxes that satisfy a wide range of cryptographic criteria including algebraic complexity, high nonlinearity, low autocorrelation and have none of the known weaknesses including linear structures, fixed points or linear redundancy. We demonstrate that the power mappings can be evolved (by iterated mutation operators alone) to generate bijective s-boxes with the best known tradeoffs among the considered criteria. The s-boxes found are suitable for use directly in modern encryption algorithms.
Resumo:
Autonomous development of sensorimotor coordination enables a robot to adapt and change its action choices to interact with the world throughout its lifetime. The Experience Network is a structure that rapidly learns coordination between visual and haptic inputs and motor action. This paper presents methods which handle the high dimensionality of the network state-space which occurs due to the simultaneous detection of multiple sensory features. The methods provide no significant increase in the complexity of the underlying representations and also allow emergent, task-specific, semantic information to inform action selection. Experimental results show rapid learning in a real robot, beginning with no sensorimotor mappings, to a mobile robot capable of wall avoidance and target acquisition.
Resumo:
Search log data is multi dimensional data consisting of number of searches of multiple users with many searched parameters. This data can be used to identify a user’s interest in an item or object being searched. Identifying highest interests of a Web user from his search log data is a complex process. Based on a user’s previous searches, most recommendation methods employ two-dimensional models to find relevant items. Such items are then recommended to a user. Two-dimensional data models, when used to mine knowledge from such multi dimensional data may not be able to give good mappings of user and his searches. The major problem with such models is that they are unable to find the latent relationships that exist between different searched dimensions. In this research work, we utilize tensors to model the various searches made by a user. Such high dimensional data model is then used to extract the relationship between various dimensions, and find the prominent searched components. To achieve this, we have used popular tensor decomposition methods like PARAFAC, Tucker and HOSVD. All experiments and evaluation is done on real datasets, which clearly show the effectiveness of tensor models in finding prominent searched components in comparison to other widely used two-dimensional data models. Such top rated searched components are then given as recommendation to users.
Resumo:
Dr Ian Weir's practice is driven by a passion for the Fitzgerald Bioregion, a remote, bushfire-prone landscape on the south coats of Western Australia which is renowned internationally for its biodiversity. It is here that Dr Weir collaborates with individuals and organisations from the fields of ecology, botany, bushfire science, land surveying, landscape architecture and art practice, all of whom seek to expand understandings of this remarkable landscape. This diverse practice formation is constructed to address a significant problem beyond the scope of conventional modes of architectural practice: the reconciliation of biodiversity and bushfire with human habitation, through a multimodal approach using art practice cartography and architectural intervention. The chapter articulates Dr Weir's practice through a formation diagram and depicts key works of landscape representaion taken from "Enacted Cartography" and "Lightsite", two of Dr Weir's key research themes.
Resumo:
Research background: Communicating the diverse nature of multimodal practice is inherently difficult for the design-led research academic. Websites are an effective means of displaying images and text, but for the user/viewer the act of viewing is often random and disorienting, due to the non-linear means of accessing the information. This characteristic of websites limits the medium’s efficacy in regard to presenting an overarching philosophical standpoint or theme - the key driver behind most academic research. Research Contribution: This website: http://www.ianweirarchitect.com, presents a means of reconciling this problem by presenting a deceptively simple graphic and temporal layout, which limits the opportunity for the user/viewer to become disoriented and miss the key themes and issues that binds, the otherwise divergent, research material together. Research significance: http://www.ianweirarchitect.com, is a creative work that supplements Dr Ian Weir’s exhibition “Enacted Cartography” held in August 2012 in Brisbane and in August/September 2012 in Venice, Italy for the 13th International Architecture Exhibition (Venice Architecture Biennale). Dr Weir was selected by the Australian Institute of Architects to represent innovation in architectural practice for the Institute’s Formations: New Practices in Australian Architecture, exhibition and catalogue (of the same name) held in the Australian Pavilion, The Giardini, Venice. This website is creative output that compliments Dr Weir’s other multimodal outputs including photographic artworks, cartographic maps and architectural designs.
Resumo:
RESEARCH BACKGROUND Enacted Cartography documents 10 years of creative research practice by Ian Weir Research Architect and was developed as standalone exhibition to support Dr Weir’s selection by the Australian Institute of Architects to represent innovative architectural practice via the Institute’s review entitled Formations: New Practices in Australian Architecture – which took the form of an exhibition and book presented in Venice, Italy for 13th International Architecture Exhibition (Venice Architecture Biennale). All works exhibited in Enacted Cartography are original works by Dr Weir and are generated either from or for the remote biodiverse landscapes of the Fitzgerald Bioregion on the south coast of Western Australia. RESEARCH CONTRIBUTION As a creative work in its own right, the Enacted Cartography exhibition makes the following contributions to knowledge: 1. Expands understandings of architectural practice by presenting a geographically-specific but multimodal form of architectural practice - wherein practitioners cross over discipline boundaries into art practice, landscape representation, website design, undergraduate university teaching and community advocacy. 2. Contributes to understandings of how such a diverse multimodal form of practice might be represented through both digital media and traditional print media in an exhibition format. 3. Expands understandings of how architectural practitioners might work within a particular place to develop a geographically-specific sense of identity, a ‘landscape of resistance’. RESEARCH SIGNIFICANCE Enacted Cartography was presented to an international audience during the 13th International Architecture Exhibition (Venice Architecture Biennale). The significance of Dr Weir’s research is evidence by his selected by the Australian Institute of Architects to represent innovation in architectural practice for the Biennale. Enacted Cartography addresses problems of national and international importance including: 1. The sustainable development of biodiverse remote landscapes; 2. The reconciliation of bushfire safety and biodiversity conservation; 3. The necessity for rethinking of architectural design methodologies to meet the complexity of landscape management and design; 4. It challenges orthodox forms of landscape representation (aerial photography, for example) which are demonstrably inadequate registrations of biophysical and cultural landscapes.
Resumo:
Educators are faced with many challenging questions in designing an effective curriculum. What prerequisite knowledge do students have before commencing a new subject? At what level of mastery? What is the spread of capabilities between bare-passing students vs. the top performing group? How does the intended learning specification compare to student performance at the end of a subject? In this paper we present a conceptual model that helps in answering some of these questions. It has the following main capabilities: capturing the learning specification in terms of syllabus topics and outcomes; capturing mastery levels to model progression; capturing the minimal vs. aspirational learning design; capturing confidence and reliability metrics for each of these mappings; and finally, comparing and reflecting on the learning specification against actual student performance. We present a web-based implementation of the model, and validate it by mapping the final exams from four programming subjects against the ACM/IEEE CS2013 topics and outcomes, using Bloom's Taxonomy as the mastery scale. We then import the itemised exam grades from 632 students across the four subjects and compare the demonstrated student performance against the expected learning for each of these. Key contributions of this work are the validated conceptual model for capturing and comparing expected learning vs. demonstrated performance, and a web-based implementation of this model, which is made freely available online as a community resource.