Imaging radar investigations of the Sudbury structure

This paper reports preliminary results of airborne imaging radar studies of the Sudbury structure carried out in preparation for a CCRS European Remote Sensing Satellite (ERS-1) investigation. The data used were synthetic aperture radar (SAR) C-band (5.66 cm) images acquired from about 6 km altitude in 1987. They cover the Sudbury area in both wide and narrow swath modes, with east-west flight paths and north-south illumination directions. Narrow swath resolution is 6 m in range and azimuth; wide swath resolution is 20 m in range and 10 m in azimuth. The STAR imagery has proven highly effective for field use, providing excellent rendition of topography and topographically expressed structure. Reasons for this include the illumination geometry, notably the look azimuth normal to the long axis of the Sudbury structure and Penokean fold axes, the good spatial resolution, and the short wavelength. Forested areas in the Sudbury area tend to be uniformly rough at C-band wavelength, with backscatter dominated by local incidence angle (i.e., topography). Field work using the SAR imagery has to date been concentrated in the North Range and Superior Province as far north as the Benny greenstone belt. This area was chosen for initial investigation of the original size and shape of the Sudbury structure because the effects of the Penokean Orogeny were minimal there. Field work using SAR indicates that there has been little postimpact deformation of the North Range or adjacent Superior Province rock. There appears to be no evidence for an outer ring concentric with the North Range as indicated by early Landsat imagery. The apparent ring shown by Landsat is visible on the SAR imagery as the intersection of two regional fracture patterns not related to the Sudbury structure. There is no outer ring visible southwest of the structure. This can reasonably be explained by Penokean deformation, but there is no outer ring to the northeast cutting the relatively undeformed Huronian sediments of the Cobalt Embayment

Image-based Recommendations on Styles and Substitutes

Humans inevitably develop a sense of the relationships between objects, some of which are based on their appearance. Some pairs of objects might be seen as being alternatives to each other (such as two pairs of jeans), while others may be seen as being complementary (such as a pair of jeans and a matching shirt). This information guides many of the choices that people make, from buying clothes to their interactions with each other. We seek here to model this human sense of the relationships between objects based on their appearance. Our approach is not based on fine-grained modeling of user annotations but rather on capturing the largest dataset possible and developing a scalable method for uncovering human notions of the visual relationships within. We cast this as a network inference problem defined on graphs of related images, and provide a large-scale dataset for the training and evaluation of the same. The system we develop is capable of recommending which clothes and accessories will go well together (and which will not), amongst a host of other applications.Comment: 11 pages, 10 figures, SIGIR 201

CNN Architectures for Large-Scale Audio Classification

Convolutional Neural Networks (CNNs) have proven very effective in image classification and show promise for audio. We use various CNN architectures to classify the soundtracks of a dataset of 70M training videos (5.24 million hours) with 30,871 video-level labels. We examine fully connected Deep Neural Networks (DNNs), AlexNet [1], VGG [2], Inception [3], and ResNet [4]. We investigate varying the size of both training set and label vocabulary, finding that analogs of the CNNs used in image classification do well on our audio classification task, and larger training and label sets help up to a point. A model using embeddings from these classifiers does much better than raw features on the Audio Set [5] Acoustic Event Detection (AED) classification task.Comment: Accepted for publication at ICASSP 2017 Changes: Added definitions of mAP, AUC, and d-prime. Updated mAP/AUC/d-prime numbers for Audio Set based on changes of latest Audio Set revision. Changed wording to fit 4 page limit with new addition

Perfectionism and self-conscious emotions in British and Japanese students: Predicting pride and embarrassment after success and failure

Regarding self-conscious emotions, studies have shown that different forms of perfectionism show different relationships with pride, shame, and embarrassment depending on success and failure. What is unknown is whether these relationships also show cultural variations. Therefore, we conducted a study investigating how self-oriented and socially prescribed perfectionism predicted pride and embarrassment after success and failure comparing 363 British and 352 Japanese students. Students were asked to respond to a set of scenarios where they imagined achieving either perfect (success) or flawed results (failure). In both British and Japanese students, self-oriented perfectionism positively predicted pride after success and embarrassment after failure whereas socially prescribed perfectionism predicted embarrassment after success and failure. Moreover, in Japanese students, socially prescribed perfectionism positively predicted pride after success and self-oriented perfectionism negatively predicted pride after failure. The findings have implications for our understanding of perfectionism indicating that the perfectionism–pride relationship not only varies between perfectionism dimensions, but may also show cultural variations

On the Expressivity and Applicability of Model Representation Formalisms

A number of first-order calculi employ an explicit model representation formalism for automated reasoning and for detecting satisfiability. Many of these formalisms can represent infinite Herbrand models. The first-order fragment of monadic, shallow, linear, Horn (MSLH) clauses, is such a formalism used in the approximation refinement calculus. Our first result is a finite model property for MSLH clause sets. Therefore, MSLH clause sets cannot represent models of clause sets with inherently infinite models. Through a translation to tree automata, we further show that this limitation also applies to the linear fragments of implicit generalizations, which is the formalism used in the model-evolution calculus, to atoms with disequality constraints, the formalisms used in the non-redundant clause learning calculus (NRCL), and to atoms with membership constraints, a formalism used for example in decision procedures for algebraic data types. Although these formalisms cannot represent models of clause sets with inherently infinite models, through an additional approximation step they can. This is our second main result. For clause sets including the definition of an equivalence relation with the help of an additional, novel approximation, called reflexive relation splitting, the approximation refinement calculus can automatically show satisfiability through the MSLH clause set formalism.Comment: 15 page

Automatically generating streamlined constraint models with ESSENCE and CONJURE

Streamlined constraint reasoning is the addition of uninferred constraints to a constraint model to reduce the search space, while retaining at least one solution. Previously, effective streamlined models have been constructed by hand, requiring an expert to examine closely solutions to small instances of a problem class and identify regularities. We present a system that automatically generates many conjectured regularities for a given Essence specification of a problem class by examining the domains of decision variables present in the problem specification. These conjectures are evaluated independently and in conjunction with one another on a set of instances from the specified class via an automated modelling tool-chain comprising of Conjure, Savile Row and Minion. Once the system has identified effective conjectures they are used to generate streamlined models that allow instances of much larger scale to be solved. Our results demonstrate good models can be identified for problems in combinatorial design, Ramsey theory, graph theory and group theory - often resulting in order of magnitude speed-ups.Postprin

Network conduciveness with application to the graph-coloring and independent-set optimization transitions

We introduce the notion of a network's conduciveness, a probabilistically interpretable measure of how the network's structure allows it to be conducive to roaming agents, in certain conditions, from one portion of the network to another. We exemplify its use through an application to the two problems in combinatorial optimization that, given an undirected graph, ask that its so-called chromatic and independence numbers be found. Though NP-hard, when solved on sequences of expanding random graphs there appear marked transitions at which optimal solutions can be obtained substantially more easily than right before them. We demonstrate that these phenomena can be understood by resorting to the network that represents the solution space of the problems for each graph and examining its conduciveness between the non-optimal solutions and the optimal ones. At the said transitions, this network becomes strikingly more conducive in the direction of the optimal solutions than it was just before them, while at the same time becoming less conducive in the opposite direction. We believe that, besides becoming useful also in other areas in which network theory has a role to play, network conduciveness may become instrumental in helping clarify further issues related to NP-hardness that remain poorly understood

Dispositional optimism as a correlate of decision-making styles in adolescence

Despite the numerous psychological areas in which optimism has been studied, including career planning, only a small amount of research has been done to investigate the relationship between optimism and decision-making styles. Consequently, we have investigated the role of dispositional optimism as a correlate of different decision-making styles, in particular, positive for effective styles and negative for ineffective ones (doubtfulness, procrastination, and delegation). Data were gathered through questionnaires administered to 803 Italian adolescents in their last 2 years of high schools with different fields of study, each at the beginning stages of planning for their professional future. A paper questionnaire was completed containing measures of dispositional optimism and career-related decision styles, during a vocational guidance intervention conducted at school. Data were analyzed using stepwise multiple regression. Results supported the proposed model by showing optimism to be a strong correlate of decision-making styles, thereby offering important intervention guidelines aimed at modifying unrealistically negative expectations regarding their future and helping students learn adaptive decision-making skills

Tilt order parameters, polarity and inversion phenomena in smectic liquid crystals

The order parameters for the phenomenological description of the smectic-{\it A} to smectic-{\it C} phase transition are formulated on the basis of molecular symmetry and structure. It is shown that, unless the long molecular axis is an axis of two-fold or higher rotational symmetry, the ordering of the molecules in the smectic-{\it C} phase gives rise to more than one tilt order parameter and to one or more polar order parameters. The latter describe the indigenous polarity of the smectic-{\it C} phase, which is not related to molecular chirality but underlies the appearance of spontaneous polarisation in chiral smectics. A phenomenological theory of the phase transition is formulated by means of a Landau expansion in two tilt order parameters (primary and secondary) and an indigenous polarity order parameter. The coupling among these order parameters determines the possibility of sign inversions in the temperature dependence of the spontaneous polarisation and of the helical pitch observed experimentally for some chiral smectic-{\it $C^{\ast}$} materials. The molecular interpretation of the inversion phenomena is examined in the light of the new formulation.Comment: 12 pages, 5 figures, RevTe

Independent thinking: Cross-cultural possibilities

This performative vignette represents a snapshot taken from a recent cross-disciplinary Action Research/Action Learning project at Curtin University of Technology. The cameo conveys the nature of our participation as staff, students and facilitator in addressing the development and enhancement of the FLOTE (first language other than English) students' communication skills in the context of their postgraduate studies. You will hear the multiple voices of the supervisors from Pharmacy, Social Work and Teacher Education, together with those of their respective PhD and Masters students, and that of the project facilitator. We focus upon the elusive nature of the concept of independent thinking in advanced scholarship. This has necessitated that we become mindful of the students' 'totality', power relations and interpersonal communication within the supervisory process, and the necessity for reflective practice. In representing how the different stakeholders dialogued on these complex issues, we hope to convey some of the process and outcomes attached to this Action Research Project