Automatisierte Hardware-Software Partitionierung am Beispiel eines eingebetteten, echtzeitfähigen Stereobildanalysesystems in Kraftfahrzeugen

Hardware-Software Co-Design, Simulated Annealing, Real-Time Image Processing, Automated Hardware-Software Partitioning

Testing Cayley graph densities

We present a computer-assisted analysis of combinatorial properties of the Cayley graphs of certain finitely generated groups: Given a group with a finite set of generators, we study the density of the corresponding Cayley graph, that is, the least upper bound for the average vertex degree (= number of adjacent edges) of any finite subgraph. It is known that an m-generated group is amenable if and only if the density of the corresponding Cayley graph equals to 2m. We test amenable and non-amenable groups, and also groups for which amenability is unknown. In the latter class we focus on Richard Thompson’s group F.

Multilevel Modelling with Spatial Effects

In multilevel modelling, interest in modeling the nested structure of hierarchical data has been accompanied by increasing attention to different forms of spatial interactions across different levels of the hierarchy. Neglecting such interactions is likely to create problems of inference, which typically assumes independence. In this paper we review approaches to multilevel modelling with spatial effects, and attempt to connect the two literatures, discussing the advantages and limitations of various approaches.

Violent adolescents and their educational environment : a multilevel analysis ; et, Youths carrying a weapon or using a weapon in a fight : what makes the difference ?

Rapport de synthèse : Cette recherche s'intéresse (1) au port et à l'utilisation d'armes chez les adolescents ainsi que (2) aux rôles des facteurs environnementaux et individuels dans la violence juvénile. Les données étaient tirés de SMASH 2002 (Swiss multicenter adolescent survey on health 2002), étude dans laquelle un échantillon représentatif de 7548 étudiants et apprentis âgés entre 16 et 20 ans vivant en Suisse ont été interrogés Dans une première étude, les adolescents ayant porté une arme (couteau, masse, coup de poing américain, pistolet/autre arme à feu, spray) durant l'année précédant l'enquête étaient comparés avec ceux n'ayant pas porté d'arme. Ensuite, dans le sous-échantillon de porteurs d'armes, ceux ayant uniquement porté l'arme étaient comparés avec ceux ayant utilisé une arme dans une bagarre. Des facteurs individuels, familiaux, scolaires et sociaux ont été étudiés à l'aide d'analyses bivariées et multivariées. 13.7% des jeunes vivant en Suisse ont porté une arme dans l'année précédant l'enquête. 6.2% des filles porteuses d'armes et 19.9% des garçons porteurs d'armes ont fait usage de l'arme dans une bagarre. Chez les garçons et chez les filles, les porteurs d'armes étaient plus souvent délinquants et victimes de violence physique. Les garçons porteurs d'armes étaient plus souvent des apprentis, à la recherche de sensations fortes, porteurs de tatouages, avaient une mauvaise relation avec leurs parents, étaient dans des bagarres sous l'influence de substances, et avaient des relations sexuelles à risque. En comparaison avec les porteuses d'armes, les filles utilisatrices d'armes étaient plus souvent fumeuses quotidiennes. Les garçons ayant utilisé leur arme étaient plus souvent nés à l'étranger, vivaient dans un milieu urbain, étaient des apprentis, avaient un mauvais contexte scolaire, avaient des relations sexuelles à risque et étaient impliqués dans des bagarres sous l'influence de substances. Nos résultats montrent que porter une arme est un comportement relativement fréquent chez les adolescents vivant en Suisse et qu'une proportion non négligeable de ces porteurs d'armes ont utilisé l'arme dans une bagarre. De ce fait, une discussion sur le port d'arme devrait être incluse dans l'entretien clinique ainsi que dans les programmes de prévention visant les adolescents. Dans une deuxième étude, la violence juvénile était définie comme présente si l'adolescent avait commis au moins un des quatre délits suivants durant l'année précédant l'enquête: attaquer un adulte, arracher ou voler quelque chose, porter une arme ou utiliser une arme dans une bagarre. Des niveaux écologiques étaient testés et résultaient en un modèle à trois niveaux pour les garçons (niveau individuel, niveau classe et niveau école) et, à cause d'une faible prévalence de la violence chez les filles, en un modèle à un niveau (individuel) pour les filles. Des variables dépendantes étaient attribuées à chaque niveau, en se basant sur la littérature. Le modèle multiniveaux des garçons montrait que le niveau école (10%) et le niveau classe (24%) comptaient pour plus d'un tiers de la variance inter-individuelle dans le comportement violent. Les facteurs associés à ce comportement chez les filles étaient être victime de violence physique et la recherche de sensations fortes. Pour les garçons, les facteurs explicatifs de la violence étaient pratiquer des relations sexuelles à risque, être à la recherche de sensations fortes, être victime de violence physique, avoir une mauvaise relation avec les parents, être déprimé et vivre dans une famille monoparentale au niveau individuel, la violence et les actes antisociaux au niveau de la classe et être apprenti au niveau de l'école. Des interventions au niveau de la classe ainsi qu'un règlement explicit en ce qui concerne la violence et d'autres comportements à risque dans des écoles devraient être prioritaires pour la prévention de la violence chez les adolescents. En outre, la prévention devrait tenir compte des différences entre les sexes.

Theoretical aspects of graph models for MANETs

We survey the main theoretical aspects of models for Mobile Ad Hoc Networks (MANETs). We present theoretical characterizations of mobile network structural properties, different dynamic graph models of MANETs, and finally we give detailed summaries of a few selected articles. In particular, we focus on articles dealing with connectivity of mobile networks, and on articles which show that mobility can be used to propagate information between nodes of the network while at the same time maintaining small transmission distances, and thus saving energy.

Dynamical modeling and analysis of large cellular regulatory networks.

The dynamical analysis of large biological regulatory networks requires the development of scalable methods for mathematical modeling. Following the approach initially introduced by Thomas, we formalize the interactions between the components of a network in terms of discrete variables, functions, and parameters. Model simulations result in directed graphs, called state transition graphs. We are particularly interested in reachability properties and asymptotic behaviors, which correspond to terminal strongly connected components (or "attractors") in the state transition graph. A well-known problem is the exponential increase of the size of state transition graphs with the number of network components, in particular when using the biologically realistic asynchronous updating assumption. To address this problem, we have developed several complementary methods enabling the analysis of the behavior of large and complex logical models: (i) the definition of transition priority classes to simplify the dynamics; (ii) a model reduction method preserving essential dynamical properties, (iii) a novel algorithm to compact state transition graphs and directly generate compressed representations, emphasizing relevant transient and asymptotic dynamical properties. The power of an approach combining these different methods is demonstrated by applying them to a recent multilevel logical model for the network controlling CD4+ T helper cell response to antigen presentation and to a dozen cytokines. This model accounts for the differentiation of canonical Th1 and Th2 lymphocytes, as well as of inflammatory Th17 and regulatory T cells, along with many hybrid subtypes. All these methods have been implemented into the software GINsim, which enables the definition, the analysis, and the simulation of logical regulatory graphs.

Line search multilevel optimization as computational methods for dense optical flow

We evaluate the performance of different optimization techniques developed in the context of optical flowcomputation with different variational models. In particular, based on truncated Newton methods (TN) that have been an effective approach for large-scale unconstrained optimization, we develop the use of efficient multilevel schemes for computing the optical flow. More precisely, we evaluate the performance of a standard unidirectional multilevel algorithm - called multiresolution optimization (MR/OPT), to a bidrectional multilevel algorithm - called full multigrid optimization (FMG/OPT). The FMG/OPT algorithm treats the coarse grid correction as an optimization search direction and eventually scales it using a line search. Experimental results on different image sequences using four models of optical flow computation show that the FMG/OPT algorithm outperforms both the TN and MR/OPT algorithms in terms of the computational work and the quality of the optical flow estimation.

A linear optimization technique for graph pebbling

Graph pebbling is a network model for studying whether or not a given supply of discrete pebbles can satisfy a given demand via pebbling moves. A pebbling move across an edge of a graph takes two pebbles from one endpoint and places one pebble at the other endpoint; the other pebble is lost in transit as a toll. It has been shown that deciding whether a supply can meet a demand on a graph is NP-complete. The pebbling number of a graph is the smallest t such that every supply of t pebbles can satisfy every demand of one pebble. Deciding if the pebbling number is at most k is NP 2 -complete. In this paper we develop a tool, called theWeight Function Lemma, for computing upper bounds and sometimes exact values for pebbling numbers with the assistance of linear optimization. With this tool we are able to calculate the pebbling numbers of much larger graphs than in previous algorithms, and much more quickly as well. We also obtain results for many families of graphs, in many cases by hand, with much simpler and remarkably shorter proofs than given in previously existing arguments (certificates typically of size at most the number of vertices times the maximum degree), especially for highly symmetric graphs. Here we apply theWeight Function Lemma to several specific graphs, including the Petersen, Lemke, 4th weak Bruhat, Lemke squared, and two random graphs, as well as to a number of infinite families of graphs, such as trees, cycles, graph powers of cycles, cubes, and some generalized Petersen and Coxeter graphs. This partly answers a question of Pachter, et al., by computing the pebbling exponent of cycles to within an asymptotically small range. It is conceivable that this method yields an approximation algorithm for graph pebbling.

Ethnic minority-majority asymmetry in national attitudes around the world: A multilevel analysis

Using data from the International Social Survey Programme, this research investigated asymmetric attitudes of ethnic minorities and majorities towards their country and explored the impact of human development, ethnic diversity, and social inequality as country-level moderators of national attitudes. In line with the general hypothesis of ethnic asymmetry, we found that ethnic, linguistic, and religious majorities were more identified with the nation and more strongly endorsed nationalist ideology than minorities (H1, 33 countries). Multilevel analyses revealed that this pattern of asymmetry was moderated by country-level characteristics: the difference between minorities and majorities was greatest in ethnically diverse countries and in egalitarian, low inequality contexts. We also observed a larger positive correlation between ethnic subgroup identification and both national identification and nationalism for majorities than for minorities (H2, 20 countries). A stronger overall relationship between ethnic and national identification was observed in countries with a low level of human development. The greatest minority-majority differences in the relationship between ethnic identification and national attitudes were found in egalitarian countries with a strong welfare state tradition.

Structural Analysis of Networks

Network analysis naturally relies on graph theory and, more particularly, on the use of node and edge metrics to identify the salient properties in graphs. When building visual maps of networks, these metrics are turned into useful visual cues or are used interactively to filter out parts of a graph while querying it, for instance. Over the years, analysts from different application domains have designed metrics to serve specific needs. Network science is an inherently cross-disciplinary field, which leads to the publication of metrics with similar goals; different names and descriptions of their analytics often mask the similarity between two metrics that originated in different fields. Here, we study a set of graph metrics and compare their relative values and behaviors in an effort to survey their potential contributions to the spatial analysis of networks.

Multilevel oblique corpectomy for cervical spondylotic myelopathy preserves segmental motion.

PURPOSE: To document the neurological outcome, spinal alignment and segmental range of movement after oblique cervical corpectomy (OCC) for cervical compressive myelopathy. METHODS: This retrospective study included 109 patients--93 with cervical spondylotic myelopathy and 16 with ossified posterior longitudinal ligament in whom spinal curvature and range of segmental movements were assessed on neutral and dynamic cervical radiographs. Neurological function was measured by Nurick's grade and modified Japanese Orthopedic Association (JOA) scores. Eighty-eight patients (81%) underwent either a single- or two-level corpectomy; the remaining (19%) undergoing three- or four-level corpectomies. The average duration of follow-up was 30.52 months. RESULTS: The Nurick's grade and the JOA scores showed statistically significant improvements after surgery (p < 0.001). The mean postoperative segmental angle in the neutral position straightened by 4.7 ± 6.5°. The residual segmental range of movement for a single-level corpectomy was 16.7° (59.7% of the preoperative value), for two-level corpectomy it was 20.0° (67.2%) and for three-level corpectomies it was 22.9° (74.3%). 63% of patients with lordotic spines continued to have lordosis postoperatively while only one became kyphotic without clinical worsening. Four patients with preoperative kyphotic spines showed no change in spine curvature. None developed spinal instability. CONCLUSIONS: The OCC preserves segmental motion in the short-term, however, the tendency towards straightening of the spine, albeit without clinical worsening, warrants serial follow-up imaging to determine whether this motion preservation is long lasting.

The effect of patient, provider and financing regulations on the intensity of ambulatory physical therapy episodes : a multilevel analysis based on routinely available data

Background: Many studies have found considerable variations in the resource intensity of physical therapy episodes. Although they have identified several patient-and provider-related factors, few studies have examined their relative explanatory power. We sought to quantify the contribution of patients and providers to these differences and examine how effective Swiss regulations are (nine-session ceiling per prescription and bonus for first treatments). Methods: Our sample consisted of 87,866 first physical therapy episodes performed by 3,365 physiotherapists based on referrals by 6,131 physicians. We modeled the number of visits per episode using a multilevel log linear regression with crossed random effects for physiotherapists and physicians and with fixed effects for cantons. The three-level explanatory variables were patient, physiotherapist and physician characteristics. Results: The median number of sessions was nine (interquartile range 6-13). Physical therapy use increased with age, women, higher health care costs, lower deductibles, surgery and specific conditions. Use rose with the share of nine-session episodes among physiotherapists or physicians, but fell with the share of new treatments. Geographical area had no influence. Most of the variance was explained at the patient level, but the available factors explained only 4% thereof. Physiotherapists and physicians explained only 6% and 5% respectively of the variance, although the available factors explained most of this variance. Regulations were the most powerful factors. Conclusion: Against the backdrop of abundant physical therapy supply, Swiss financial regulations did not restrict utilization. Given that patient-related factors explained most of the variance, this group should be subject to closer scrutiny. Moreover, further research is needed on the determinants of patient demand.