Intelligence in Scientific Computing

Combining numerical techniques with ideas from symbolic computation and with methods incorporating knowledge of science and mathematics leads to a new category of intelligent computational tools for scientists and engineers. These tools autonomously prepare simulation experiments from high-level specifications of physical models. For computationally intensive experiments, they automatically design special-purpose numerical engines optimized to perform the necessary computations. They actively monitor numerical and physical experiments. They interpret experimental data and formulate numerical results in qualitative terms. They enable their human users to control computational experiments in terms of high-level behavioral descriptions.

Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits

I have designed and implemented a system for the multilevel verification of synchronous MOS VLSI circuits. The system, called Silica Pithecus, accepts the schematic of an MOS circuit and a specification of the circuit's intended digital behavior. Silica Pithecus determines if the circuit meets its specification. If the circuit fails to meet its specification Silica Pithecus returns to the designer the reason for the failure. Unlike earlier verifiers which modelled primitives (e.g., transistors) as unidirectional digital devices, Silica Pithecus models primitives more realistically. Transistors are modelled as bidirectional devices of varying resistances, and nodes are modelled as capacitors. Silica Pithecus operates hierarchically, interactively, and incrementally. Major contributions of this research include a formal understanding of the relationship between different behavioral descriptions (e.g., signal, boolean, and arithmetic descriptions) of the same device, and a formalization of the relationship between the structure, behavior, and context of device. Given these formal structures my methods find sufficient conditions on the inputs of circuits which guarantee the correct operation of the circuit in the desired descriptive domain. These methods are algorithmic and complete. They also handle complex phenomena such as races and charge sharing. Informal notions such as races and hazards are shown to be derivable from the correctness conditions used by my methods.

Improvement and evaluation of the MS2SV for mixed systems design described in abstraction high level

This paper presents an important improvement of the MS2SV tool. The MS2SV performs the translation of mixed systems developed in MATLAB / Simulink for a structural or behavioral description in VHDL-AMS. Previously, the MS2SV translated only models of the LIB MS2SV library. This improvement allows designer to create your own library to translation. As case study was used a rudder controller employed in an unmanned aerial vehicle. For comparison with the original model the VHDL-AMS code obtained by the translation was simulated in SystemVision environment. The results proved the efficiency of the tool using the translation improvement proposed in this paper.

Entrepreneurial bricolage : towards systematic empirical testing

The behavioral theory of “entrepreneurial bricolage” attempts to understand what entrepreneurs do when faced with resource constraints. Most research about bricolage, defined as “making do by applying combinations of the resources at hand to new problems and opportunities” (Baker & Nelson 2005: 333), has been qualitative and inductive (Garud & Karnoe, 2003). Although this has created a small body of rich descriptions and interesting insights, little deductive theory has been developed and the relationship between bricolage and firm performance has not been systematically tested. In particular, prior research has suggested bricolage can have both beneficial and harmful effects. Ciborra’s (1996) study of Olivetti suggested that bricolage helped Olivetti to adapt, but simultaneously constrained firm effectiveness. Baker & Nelson (2005) suggested that bricolage may be harmful at very high levels, but more helpful if used judiciously. Other research suggests that firm innovativeness may play an important role in shaping the outcomes of bricolage (Anderson 2008). In this paper, we theorize and provide preliminary test of the bricolage-performance relationship and how it is affected by firm innovativeness.

Sociometric stability and the behavioral correlates of peer acceptance in early childhood

This paper presents findings from an Australian study examining the behavioral correlates and stability of social status for preschool-aged children. The social status of an initial sample of 187 (94 boys and 93 girls) preschool children (mean age 62.4 months, SD = 4.22) was determined through sociometric assessment. Children classified as rejected, neglected and popular (n = 70) were selected for observation. Children were observed for a total of 25 minutes over a three-month period engaging in free play within their preschool centers. Results indicated that children classified as popular were more likely than rejected or neglected children to engage in cooperative play, ongoing connected conversation and to display positive affect. Popular children were less likely than rejected or neglected children to engage in parallel play, onlooker behavior or alone directed behavior. Six months after initial sociometric classification, sociometric interviews were repeated to test for stability and change. Results indicated that preschool-aged children’s social status classifications showed a moderate to high rate of stability for those children classified as popular, rejected and neglected.

The future of cognitive and behavioral therapies in the prevention and early management of psychosis : opportunities and risks

Behavioral and cognitive interventions for people with psychosis have a long and distinguished history, although the evidence for their application to young people remains limited. We anticipate that the next decades will show substantial research into psychological intervention for this population. Important targets will include the management of environmental stressors, reduction of substance misuse, and promotion of early treatment. Psychological management of positive symptoms, depression, and suicidal behavior will continue to be critical objectives. Important secondary prevention goals will be the retention of cognitive functioning, vocational options, social skills, and social network support, including appropriate family support. We expect primary prevention to include both universal programs and interventions for adolescents at particularly high risk. Technical innovations will include increasing use of Internet-based intervention and behavior cueing devices. Pressures for intervention brevity will continue, as will problems with the systematic delivery of effective procedures.

Developing the descriptions of landmark teaching styles : a spectrum inventory

Mosston & Ashworth‟s Spectrum of Teaching styles was first published in 1966 and is potentially the longest surviving model of teaching within the field of physical education. Its longevity and influence is surely testament to its value and influence. Many tools have also been developed through the years based on The Spectrum of Teaching Styles. In 2005 as part of a doctoral study, this tool was developed by the author, Dr Edwards and Dr Ashworth for researchers and teachers to identify which teaching styles were being utilised from The Spectrum when teaching physical education. It could also be utilised for self-assessment of the teaching styles and individual uses, or those who work with Physical Education Teacher Education courses. The development of this tool took approximately 4 months, numerous emails and meetings. This presentation will outline this process, along with the reasons why such a tool was developed and the differences between it and others like it.

Cognitive behavioral interviewing for adult disorders : a practical handbook

This is a guidebook for clinicians on how to conduct assessment interviews with patients presenting with common psychological disorders. The orientation is behavioural and cognitive; so the book has wide applicability, as most clinicians explicitly or implicitly accept this combination of models as a useful basis for assessing and treating these problems. The problem areas covered are: fear and anxiety problems; depression, obesity; interpersonal problems; sexual dysfunction; insomnia; headache; and substance abuse.

The cost effectiveness of Naltrexone added to cognitive-behavioral therapy in the treatment of alcohol dependence

he purpose of this study was to evaluate the comparative cost of treating alcohol dependence with either cognitive behavioral therapy (CBT) alone or CBT combined with naltrexone (CBT+naltrexone). Two hundred ninety-eight outpatients dependent on alcohol who were consecutively treated for alcohol dependence participated in this study. One hundred seven (36%) patients received adjunctive pharmacotherapy (CBT+naltrexone). The Drug Abuse Treatment Cost Analysis Program was used to estimate treatment costs. Adjunctive pharmacotherapy (CBT+naltrexone) introduced an additional treatment cost and was 54% more expensive than CBT alone. When treatment abstinence rates (36.1% CBT; 62.6% CBT+naltrexone) were applied to cost effectiveness ratios, CBT+naltrexone demonstrated an advantage over CBT alone. There were no differences between groups on a preference-based health measure (SF-6D). In this treatment center, to achieve 100 abstainers over a 12-week program, 280 patients require CBT compared with 160 CBT+naltrexone. The dominant choice was CBT+naltrexone based on modest economic advantages and significant efficiencies in the numbers needed to treat.

Behavioral drivers of EIS failure

We argue that the sustained successful operation of an ES is determined by, and is dependent on, multiple organizational stakeholders. The single greatest organizational barrier to EIS success and achieving widespread organizational benefits can be attributed to the way in which different subcultures treat data critical to EIS operation. Building on Lee & Strong’s (2004) data roles we incorporate Schien’s (1996) cultural framework along with DeLone and McLean’s (2003) dimensions of IS success, unpacking the underlying drivers of behaviors as they relate to EIS data. Further, we explain the origins of data based conflict resulting in poor EIS data utilization.

Eigengaze : covert behavioral biometric exploiting visual attention characteristics

It is possible for the visual attention characteristics of a person to be exploited as a biometric for authentication or identification of individual viewers. The visual attention characteristics of a person can be easily monitored by tracking the gaze of a viewer during the presentation of a known or unknown visual scene. The positions and sequences of gaze locations during viewing may be determined by overt (conscious) or covert (sub-conscious) viewing behaviour. This paper presents a method to authenticate individuals using their covert viewing behaviour, thus yielding a unique behavioural biometric. A method to quantify the spatial and temporal patterns established by the viewer for their covert behaviour is proposed utilsing a principal component analysis technique called `eigenGaze'. Experimental results suggest that it is possible to capture the unique visual attention characteristics of a person to provide a simple behavioural biometric.