A measure of logical complexity of programs

The research in software science has so far been concentrated on three measures of program complexity: (a) software effort; (b) cyclomatic complexity; and (c) program knots. In this paper we propose a measure of the logical complexity of programs in terms of the variable dependency of sequence of computations, inductive effort in writing loops and complexity of data structures. The proposed complexity mensure is described with the aid of a graph which exhibits diagrammatically the dependence of a computation at a node upon the computation of other (earlier) nodes. Complexity measures of several example programs have been computed and the related issues have been discussed. The paper also describes the role played by data structures in deciding the program complexity.

Split-Freedom And Mvd-Intersection - A New Characterization Of Multivalued Dependencies Having Conflict-Free Covers

Sets of multivalued dependencies (MVDs) having conflict-free covers are important to the theory and design of relational databases [2,12,15,16]. Their desirable properties motivate the problem of testing a set M of MVDs for the existence of a confiict-free cover. In [8] Goodman and Tay have proposed an approach based on the possible equivalence of M to a single (acyclic) join dependency (JD). We remark that their characterization does not lend an insight into the nature of such sets of MVDs. Here, we use notions that are intrinsic to MVDs to develop a new characterization. Our approach proceeds in two stages. In the first stage, we use the notion of “split-free” sets of MVDs and obtain a characterization of sets M of MVDs having split-free covers. In the second, we use the notion of “intersection” of MVDs to arrive at a necessary and sufficient condition for a split-free set of MVDs to be conflict-free. Based on our characterizations, we also give polynomial-time algorithms for testing whether M has split-free and conflict-free covers. The highlight of our approach is the clear insight it provides into the nature of sets of MVDs having conflict-free covers. Less emphasis is given in this paper to the actual efficiency of the algorthms. Finally, as a bonus, we derive a desirable property of split-free sets of MVDs,thereby showing that they are interesting in their own right.

The Eligibility Definition Used in the Social Security Administration’s Disability Programs Needs to be Changed

In its October 2003 report on the definition of disability used by the Social Security Administration’s (SSA’s) disability programs [i.e., Social Security Disability Insurance (SSDI) and Supplemental Security Income (SSI) for people with disabilities], the Social Security Advisory Board raises the issue of whether this definition is at odds with the concept of disability embodied in the Americans with Disabilities Act (ADA) and, more importantly, with the aspirations of people with disabilities to be full participants in mainstream social activities and lead fulfilling, productive lives. The Board declares that “the Nation must face up to the contradictions created by the existing definition of disability.” I wholeheartedly agree. Further, I have concluded that we have to make fundamental, conceptual changes to both how we define eligibility for economic security benefits, and how we provide those benefits, if we are ever to fulfill the promise of the ADA. To convince you of that proposition, I will begin by relating a number of facts that paint a very bleak picture – a picture of deterioration in the economic security of the population that the disability programs are intended to serve; a picture of programs that purport to provide economic security, but are themselves financially insecure and subject to cycles of expansion and cuts that undermine their purpose; a picture of programs that are facing their biggest expenditure crisis ever; and a picture of an eligibility determination process that is inefficient and inequitable -- one that rations benefits by imposing high application costs on applicants in an arbitrary fashion. I will then argue that the fundamental reason for this bleak picture is the conceptual definition of eligibility that these programs use – one rooted in a disability paradigm that social scientists, people with disabilities, and, to a substantial extent, the public have rejected as being flawed, most emphatically through the passage of the ADA. Current law requires eligibility rules to be based on the premise that disability is medically determinable. That’s wrong because, as the ADA recognizes, a person’s environment matters. I will further argue that programs relying on this eligibility definition must inevitably: reward people if they do not try to help themselves, but not if they do; push the people they serve out of society’s mainstream, fostering a culture of isolation and dependency; relegate many to a lifetime of poverty; and undermine their promise of economic security because of the periodic “reforms” that are necessary to maintain taxpayer support. I conclude by pointing out that to change the conceptual definition for program eligibility, we also must change our whole approach to providing for the economic security of people with disabilities. We need to replace our current “caretaker” approach with one that emphasizes helping people with disabilities help themselves. I will briefly describe features that such a program might require, and point out the most significant challenges we would face in making the transition.

Finnish Homicides and Mental Disorders: An investigation of offense and offender characteristics

Although the majority of people with mental illness are not violent, scientific studies over the last decades show that certain psychiatric disorders increase the risk of violent behavior, including homicide. This thesis examined crime scene behaviors and offender background characteristics among mentally ill Finnish homicide offenders. Previously, homicide crime scene behaviors have been investigated in relation to offender demographic characteristics, whereas this study compares the behaviors of offenders with various mental illnesses. The study design was a retrospective chart review of the forensic psychiatric statements of Finnish homicide offenders. The work consists of four substudies. The aims of the study were as follows: To describe differences in the childhood and family backgrounds as well as in the adolescent and adult adjustment of Finnish homicide offenders belonging to different diagnostic categories (schizophrenia, personality disorder, alcoholism, drug addiction or no diagnosis). Further, the study examined associations between the crime scene behaviors and mental status of these offenders. Also, the distinguishing characteristics between two groups of offenders with schizophrenia were examined: early starters, who present antisocial behavior before the onset of schizophrenia, and late starters, who first offend after the onset of mental disorder. Finally, it was investigated how the use of excessive violence is associated with clinical and circumstantial variables as well as offender background characteristics among homicide offenders with schizophrenia. The main findings of the study can be summarized as follows. First, offenders with personality disorder or drug addiction had experienced multiple difficulties in their early environments: both family and individual problems were typical. Offenders with schizophrenia were relatively well-adjusted in childhood compared to the other groups. However, in adolescence and adulthood, social isolation, withdrawal and other difficulties attributable to these offenders illness became evident. In several aspects, offenders with alcohol dependency resembled offenders with no diagnosis in that these offenders had less problematic backgrounds compared to other groups. Second, the results showed that crime scene behaviors, victim gender and the victim-offender relationship differ between the groups. In particular, offenders with a diagnosis of schizophrenia or drug addiction have some unique features in their crime scene behaviors and choice of victims. Offenders with schizophrenia were more likely to kill a blood relative, to use a sharp weapon and to injure the victim s face. Drug addiction was associated with stealing from the victim and trying to cover up the body. Third, the results suggest that the offense characteristics of early- and late-start offenders with schizophrenia differ only modestly. However, several significant differences between the groups were found in characteristics of offenders: early starters had experienced a multitude of problems in their childhood surroundings and also later in life. Fourth, violent acts where the offender did not commit the offense alone or had previous homicidal history were predictive of excessive violence among offenders with schizophrenia. Positive psychotic symptoms did not predict the use of excessive violence. Nearly one third of the cases in the sample involved multiple and severe violence, including features such as sadism, mutilation, sexual components or extreme stabbing. In sum, mentally disordered homicide offenders are heterogeneous in their offense characteristics as well as their background characteristics. Empirically based information on how the offender s mental state is associated with specific crime scene behaviors can be utilized within the police force in developing methods of prioritizing suspects in unsolved homicide cases. Also, these results emphasise the importance of early interventions for problem families and children at risk of antisocial behavior. They may also contribute to the development of effective treatment for violent offenders.

Representation of functional dependencies in relational databases using linear graphs

Functional dependencies in relational databases are investigated. Eight binary relations, viz., (1) dependency relation, (2) equipotence relation, (3) dissidence relation, (4) completion relation, and dual relations of each of them are described. Any one of these eight relations can be used to represent the functional dependencies in a database. Results from linear graph theory are found helpful in obtaining these representations. The dependency relation directly gives the functional dependencies. The equipotence relation specifies the dependencies in terms of attribute sets which functionally determine each other. The dissidence relation specifies the dependencies in terms of saturated sets in a very indirect way. Completion relation represents the functional dependencies as a function, the range of which turns out to be a lattice. Depletion relation which is the dual of the completion relation can also represent functional dependencies and similarly can the duals of dependency, equipotence, and dissidence relations. The class of depleted sets, which is the dual of saturated sets, is defined and used in the study of depletion relations.

Indentation strength of a piezoelectric ceramic: Experiments and simulations

The spherical indentation strength of a lead zirconate titanate (PZT) piezoelectric ceramic was investigated under poled and unpoled conditions and with different electrical boundary conditions (arising through the use of insulating or conducting indenters). Experimental results show that the indentation strength of the poled PZT is higher than that of the unpoled PZT. The strength of a poled PZT under a conducting indenter is higher than that under an insulating indenter. Poling direction (with respect to the direction of indentation loading) did not significantly affect the strength of material. Complementary finite element analysis (FEA) of spherical indentation of an elastic, linearly coupled piezoelectric half-space is conducted for rationalizing the experimental observations. Simulations show marked dependency of the contact stress on the boundary conditions. In particular, contact stress redistribution in the Coupled problem leads to a change in the fracture initiation, from Hertzian cracking in the unpoled material to Subsurface damage initiation in poled PZT. These observations help explain the experimental ranking of strength the PZT in different material conditions or under different boundary conditions.

Awareness and attitudes toward age-restricted communities in Finland

The average population age has been increasing for decades. In the U.S., the history of retirement communities in some states is relatively long, reaching back to the 1920s. In Finland, with one of the fastest-growing elderly population and highest total dependency ratios, seniors housing is a relatively new market within the residential housing business. Some studies have reported that only a small percentage of seniors are willing to move into age-restricted communities in Finland. This study analyzes awareness and attitudes of Finnish people toward age-restricted housing for seniors and toward seniors living in these communities. The results show that the majority of Finns were undecided if “senior houses” were the same as assisted living facilities. The respondents associated age-restricted communities with institutional housing for lonely elderly people with illnesses. The results of this study will help investors and developers understand how potential customers see age-restricted housing for seniors. Also, managers of senior houses can use the results for clarifying the idea of senior houses.

Size dependence and dispersion behavior of the first hyperpolarizability of copper nanoparticles

We have probed the size dependency of the first hyperpolarizability (b) of copper nanoparticles by hyper-Rayleigh scattering (HRS). Our results indicate that second harmonic generation (SHG) originates predominantly at the surface of the nanoparticles as long as the size (d) remains small compared to the wavelength (k). However, volume contribution to the SH response due to the retardation effect becomes important when particle size grows beyond the `small particle limit'. There is a significant dispersion in the b values of copper nanoparticles owing tothe presence of the strong surface plasmon resonance (SPR) band.

Onnistuneen ikääntymisen ymmärrystä rakentamassa : Fysioterapeuttiopiskelijoiden oppiminen kestävää kehitystä edistävän kasvatuksen kehyksessä

The purpose of the present study was to investigate the possibilities and interconnec-tions that exist concerning the relationship between the University of Applied Sci-ences and the Learning by Developing action model (LbD), on the one hand, and education for sustainable development and high-quality learning as a part of profes-sional competence development on the other. The research and learning environment was the Coping at Home research project and its Caring TV project, which provided the context of the Physiotherapy for Elderly People professional study unit. The re-searcher was a teacher and an evaluator of her own students learning. The aims of the study were to monitor and evaluate learning at the individual and group level using tools of high-quality learning − improved concept maps − related to understanding the projects core concept of successful ageing. Conceptions were evaluated through aspects of sustainable development and a conceptual basis of physiotherapy. As edu-cational research this was a multi-method case study design experiment. The three research questions were as follows. 1. What kind of individual conceptions and conceptual structures do students build concerning the concept of successful ageing? How many and what kind of concepts and propositions do they have a) before the study unit, b) after the study unit, c) after the social-knowledge building? 2. What kind of social-knowledge building exists? a) What kind of social learn-ing process exists? b) What kind of socially created concepts, propositions and conceptual structures do the students possess after the project? c) What kind of meaning does the social-knowledge building have at an individual level? 3. How do physiotherapy competences develop according to the results of the first and second research questions? The subjects were 22 female, third-year Bachelor of Physiotherapy students in Laurea University of Applied Sciences in Finland. Individual learning was evaluated in 12 of the 22 students. The data was collected as a part of the learning exercises of the Physiotherapy for Elderly People study unit, with improved concept maps both at individual and group levels. The students were divided into two social-knowledge building groups: the first group had 15 members and second 7 members. Each group created a group-level concept map on the theme of successful ageing. These face-to-face interactions were recorded with CMapTools and videotaped. The data consists of both individually produced concept maps and group-produced concept maps of the two groups and the videotaped material of these processes. The data analysis was carried out at the intersection of various research traditions. Individually produced data was analysed based on content analysis. Group-produced data was analysed based on content analysis and dialogue analysis. The data was also analysed by simple statistical analysis. In the individually produced improved concept maps the students conceptions were comprehensive, and the first concept maps were found to have many concepts unrelated to each other. The conceptual structures were between spoke structures and chain structures. Only a few professional concepts were evident. In the second indi-vidual improved concept maps the conception was more professional than earlier, particulary from the functional point of view. The conceptual structures mostly re-sembled spoke structures. After the second individual concept mapping social map-ping interventions were made in the two groups. After this, multidisciplinary concrete links were established between all concepts in almost all individual concept maps, and the interconnectedness of the concepts in different subject areas was thus understood. The conceptual structures were mainly net structures. The concepts in these individual concept maps were also found to be more professional and concrete than in the previ-ous concept maps of these subjects. In addition, the wider context dependency of the concepts was recognized in many individual concept maps. This implies a conceptual framework for specialists. The social-knowledge building was similar to a social learning process. Both socio-cultural processes and cognitive processes were found to develop students conceptual awareness and the ability to engage in intentional learning. In the knowl-edge-building process two aspects were found: knowledge creation and pedagogical action. The discussion during the concept-mapping process was similar to a shared thinking process. In visualising the process with CMapTools, students easily comple-mented each others thoughts and words, as if mutually telepathic . Synthesizing, supporting, asking and answering, peer teaching and counselling, tutoring, evaluating and arguing took place, and students were very active, self-directed and creative. It took hundreds of conversations before a common understanding could be found. The use of concept mapping in particular was very effective. The concepts in these group-produced concept maps were found to be professional, and values of sustainable development were observed. The results show the importance of developing the contents and objectives of the European Qualification Framework as well as education for sustainable development, especially in terms of the need for knowledge creation, global responsibility and systemic, holistic and critical thinking in order to develop clinical practice. Keywords: education for sustainable development, learning, knowledge building, improved concept map, conceptual structure, competence, successful ageing

Binary decompositions and acyclic schemes

It is well known that the notions of normal forms and acyclicity capture many practical desirable properties for database schemes. The basic schema design problem is to develop design methodologies that strive toward these ideals. The usual approach is to first normalize the database scheme as far as possible. If the resulting scheme is cyclic, then one tries to transform it into an acyclic scheme. In this paper, we argue in favor of carrying out these two phases of design concurrently. In order to do this efficiently, we need to be able to incrementally analyze the acyclicity status of a database scheme as it is being designed. To this end, we propose the formalism of "binary decompositions". Using this, we characterize design sequences that exactly generate theta-acyclic schemes, for theta = agr,beta. We then show how our results can be put to use in database design. Finally, we also show that our formalism above can be effectively used as a proof tool in dependency theory. We demonstrate its power by showing that it leads to a significant simplification of the proofs of some previous results connecting sets of multivalued dependencies and acyclic join dependencies.

A Note on the Determination of Plastic Limit of Fine-Grained Soils

Plastic limit of fine-grained soils is conventionally determined in the laboratory by the soil thread rolling method. Many adverse comments have been recorded in the geotechnical engineering literature on the method about its reproducibility and operator dependency. The presen experimental study, which is based on a well-planned and meticulously executed experimental program, critically evaluates the effect of size of the rolled soil thread on the plastic limit of fine-grained soil and the operator dependency of the results. The results have shown that if the plastic limit tests are performed by a trained operator, then consistent results can be obtained and that the effect of size of the rolled soil thread on plastic limit is negligibly small.

Recognising the necessity for Indo-Pacific seagrass conservation.

Seagrass meadows are declining globally at an unprecedented rate, yet these valuable ecosystem service providers remain marginalized within many conservation agendas. In the Indo-Pacific, this is principally because marine conservation priorities do not recognize the economic and ecological value of the goods and services that seagrasses provide. Dependency on coastal marine resources in the Indo-Pacific for daily protein needs is high relative to other regions and has been found in some places to be up to 100%. Habitat loss therefore may have negative consequences for food security in the region. Whether seagrass resources comprise an important contribution to this dependency remains largely untested. Here, we assemble information sources from throughout the Indo-Pacific region that discuss shallow water fisheries, and examine the role of seagrass meadows in supporting production, both directly, and indirectly through process of habitat connectivity (e.g., nursery function and foraging areas). We find information to support the premise that seagrass meadows are important for fisheries production. They are important fishery areas, and they support the productivity and biodiversity of coral reefs. We argue the value of a different paradigm to the current consensus on marine conservation priorities within the Indo-Pacific that places seagrass conservation as a priority.

Dynamic Bayesian network inferencing for non-homogeneous complex systems

Dynamic Bayesian Networks (DBNs) provide a versatile platform for predicting and analysing the behaviour of complex systems. As such, they are well suited to the prediction of complex ecosystem population trajectories under anthropogenic disturbances such as the dredging of marine seagrass ecosystems. However, DBNs assume a homogeneous Markov chain whereas a key characteristics of complex ecosystems is the presence of feedback loops, path dependencies and regime changes whereby the behaviour of the system can vary based on past states. This paper develops a method based on the small world structure of complex systems networks to modularise a non-homogeneous DBN and enable the computation of posterior marginal probabilities given evidence in forwards inference. It also provides an approach for an approximate solution for backwards inference as convergence is not guaranteed for a path dependent system. When applied to the seagrass dredging problem, the incorporation of path dependency can implement conditional absorption and allows release from the zero state in line with environmental and ecological observations. As dredging has a marked global impact on seagrass and other marine ecosystems of high environmental and economic value, using such a complex systems model to develop practical ways to meet the needs of conservation and industry through enhancing resistance and/or recovery is of paramount importance.

Human bladder uroepithelial cells synergize with monocytes to promote IL-10 synthesis and other cytokine responses to Uropathogenic Escherichia coli

Urinary tract infections are a major source of morbidity for women and the elderly, with Uropathogenic Escherichia coli (UPEC) being the most prevalent causative pathogen. Studies in recent years have defined a key anti-inflammatory role for Interleukin-10 (IL-10) in urinary tract infection mediated by UPEC and other uropathogens. We investigated the nature of the IL-10-producing interactions between UPEC and host cells by utilising a novel co-culture model that incorporated lymphocytes, mononuclear and uroepithelial cells in histotypic proportions. This co-culture model demonstrated synergistic IL-10 production effects between monocytes and uroepithelial cells following infection with UPEC. Membrane inserts were used to separate the monocyte and uroepithelial cell types during infection and revealed two synergistic IL-10 production effects based on contact-dependent and soluble interactions. Analysis of a comprehensive set of immunologically relevant biomarkers in monocyte-uroepithelial cell co-cultures highlighted that multiple cytokine, chemokine and signalling factors were also produced in a synergistic or antagonistic fashion. These results demonstrate that IL-10 responses to UPEC occur via multiple interactions between several cells types, implying a complex role for infection-related IL-10 during UTI. Development and application of the co-culture model described in this study is thus useful to define the degree of contact dependency of biomarker production to UPEC, and highlights the relevance of histotypic co-cultures in studying complex host-pathogen interactions.

Molecular Mechanisms of Androgen Receptor Interactions

The androgen receptor (AR) mediates the effects of the male sex-steroid hormones (androgens), testosterone and 5?-dihydrotestosterone. Androgens are critical in the development and maintenance of male sexual characteristics. AR is a member of the steroid receptor ligand-inducible transcription factor family. The steroid receptor family is a subgroup of the nuclear receptor superfamily that also includes receptors for the active forms of vitamin A, vitamin D3, and thyroid hormones. Like all nuclear receptors, AR has a conserved modular structure consisting of a non-conserved amino-terminal domain (NTD), containing the intrinsic activation function 1, a highly conserved DNA-binding domain, and a conserved ligand-binding domain (LBD) that harbors the activation function 2. Each of these domains plays an important role in receptor function and signaling, either via intra- and inter-receptor interactions, interactions with specific DNA sequences, termed hormone response elements, or via functional interactions with domain-specific proteins, termed coregulators (coactivators and corepressors). Upon binding androgens, AR acquires a new conformational state, translocates to the nucleus, binds to androgen response elements, homodimerizes and recruits sequence-specific coregulatory factors and the basal transcription machinery. This set of events is required to activate gene transcription (expression). Gene transcription is a strictly modulated process that governs cell growth, cell homeostasis, cell function and cell death. Disruptions of AR transcriptional activity caused by receptor mutations and/or altered coregulator interactions are linked to a wide spectrum of androgen insensitivity syndromes, and to the pathogenesis of prostate cancer (CaP). The treatment of CaP usually involves androgen depletion therapy (ADT). ADT achieves significant clinical responses during the early stages of the disease. However, under the selective pressure of androgen withdrawal, androgen-dependent CaP can progress to an androgen-independent CaP. Androgen-independent CaP is invariably a more aggressive and untreatable form of the disease. Advancing our understanding of the molecular mechanisms behind the switch in androgen-dependency would improve our success of treating CaP and other AR related illnesses. This study evaluates how clinically identified AR mutations affect the receptor s transcriptional activity. We reveal that a potential molecular abnormality in androgen insensitivity syndrome and CaP patients is caused by disruptions of the important intra-receptor NTD/LBD interaction. We demonstrate that the same AR LBD mutations can also disrupt the recruitment of the p160 coactivator protein GRIP1. Our investigations reveal that 30% of patients with advanced, untreated local CaP have somatic mutations that may lead to increases in AR activity. We report that somatic mutations that activate AR may lead to early relapse in ADT. Our results demonstrate that the types of ADT a CaP patient receives may cause a clustering of mutations to a particular region of the receptor. Furthermore, the mutations that arise before and during ADT do not always result in a receptor that is more active, indicating that coregulator interactions play a pivotal role in the progression of androgen-independent CaP. To improve CaP therapy, it is necessary to identify critical coregulators of AR. We screened a HeLa cell cDNA library and identified small carboxyl-terminal domain phosphatase 2 (SCP2). SCP2 is a protein phosphatase that directly interacts with the AR NTD and represses AR activity. We demonstrated that reducing the endogenous cellular levels of SCP2 causes more AR to load on to the prostate specific antigen (PSA) gene promoter and enhancer regions. Additionally, under the same conditions, more RNA polymerase II was recruited to the PSA promoter region and overall there was an increase in androgen-dependent transcription of the PSA gene, revealing that SCP2 could play a role in the pathogenesis of CaP.