scholarly journals Open Maps (at) Work

1995 ◽  
Vol 2 (23) ◽  
Author(s):  
Allan Cheng ◽  
Mogens Nielsen
Keyword(s):  
Petri Nets ◽  
Parallel Computation ◽  
Functional Languages ◽  
Process Algebras ◽  
Representative Selection ◽  
Definition Of ◽  
Testing Equivalence ◽  
Selection Of ◽  
Open Maps

The notion of bisimilarity, as defined by Park and Milner,<br />has turned out to be one of the most fundamental notions of operational<br />equivalences in the field of process algebras. Not only does it induce<br />a congruence (largest bisimulation) in CCS which has nice equational<br />properties, it has also proven itself applicable for numerous models of<br />parallel computation and settings such as Petri Nets and semantics of<br />functional languages. In an attempt to understand the relationships and<br />differences between the extensive amount of research within the field,<br />Joyal, Nielsen, and Winskel recently presented an abstract category-theoretic <br />definition of bisimulation. They identify spans of morphisms satisfying certain "path lifting"<br /> properties, so-called open maps, as a possible abstract definition of bisimilarity.<br /> In [JNW93] they show, that they can capture Park and Milner's bisimulation. <br />The aim of this paper is to show that the abstract definition of bisimilarity is applicable<br />"in practice" by showing how a representative selection of well-known<br />bisimulations and equivalences, such as e.g. Hennessy's testing equivalence,<br />Milner and Sangiorgi's barbed bisimulation, and Larsen and Skou's<br />probabilistic bisimulation, are captured in the setting of open maps and<br />hence, that the proposed notion of open maps seems successful. Hence,<br />we confirm that the treatment of strong bisimulation in [JNW93] is not<br />a one-off application of open maps.

scholarly journals Bisimulation from Open Maps

1994 ◽  
Vol 1 (7) ◽  
Author(s):  
André Joyal ◽  
Mogens Nielsen ◽  
Glynn Winskel
Keyword(s):  
Petri Nets ◽  
Parallel Computation ◽  
Transition Systems ◽  
New Model ◽  
Event Structures ◽  
Uniform Definition ◽  
Refinement Operators ◽  
Definition Of ◽  
Open Maps

An abstract definition of bisimulation is presented. It enables a uniform definition of bisimulation across a range of different models for parallel computation presented as categories. As examples, transition systems, synchronisation trees, transition systems with independence (an abstraction from Petri nets) and labelled event structures are considered. On transition systems the abstract definition readily specialises to Milner's strong bisimulation. On event structures it explains and leads to a revision of history-preserving bisimulation of Rabinovitch and Traktenbrot, Goltz and van Glabeek. A tie-up with open maps in a (pre)topos, as they appear in the work of Joyal and Moerdijk, brings to light a promising new model, presheaves on categories of pomsets, into which the usual category of labelled event structures embeds fully and faithfully. As an indication of its promise, this new presheaf model has ``refinement'' operators, though further work is required to justify their appropriateness and understand their relation to previous attempts. The general approach yields a logic, generalising Hennessy-Milner logic, which is characteristic for the generalised notion of bisimulation.

Selection and Preparation of Specific Tissue Regions For Tem Using Large Epoxy-Embedded Blocks

1973 ◽  
Vol 31 ◽  
pp. 324-325 ◽  
Author(s):  
P. M. Lowrie ◽  
W. S. Tyler
Keyword(s):  
Electron Microscopy ◽  
Anatomical Structures ◽  
Ultrastructural Studies ◽  
Transmission Electron ◽  
Microscopic Evaluation ◽  
Embedded Blocks ◽  
Specific Tissue ◽  
Definition Of ◽  
Areas Of Interest ◽  
Selection Of

The importance of examining stained 1 to 2μ plastic sections by light microscopy has long been recognized, both for increased definition of many histologic features and for selection of specimen samples to be used in ultrastructural studies. Selection of specimens with specific orien ation relative to anatomical structures becomes of critical importance in ultrastructural investigations of organs such as the lung. The uantity of blocks necessary to locate special areas of interest by random sampling is large, however, and the method is lacking in precision. Several methods have been described for selection of specific areas for electron microscopy using light microscopic evaluation of paraffin, epoxy-infiltrated, or epoxy-embedded large blocks from which thick sections were cut. Selected areas from these thick sections were subsequently removed and re-embedded or attached to blank precasted blocks and resectioned for transmission electron microscopy (TEM).

scholarly journals Promotion of Resilience in Migrants: A Systematic Review of Study and Psychosocial Intervention

2021 ◽  
Author(s):  
Maria Ciaramella ◽  
Nadia Monacelli ◽  
Livia Concetta Eugenia Cocimano
Keyword(s):  
Systematic Review ◽  
Psychosocial Intervention ◽  
Life Experiences ◽  
Psychosocial Interventions ◽  
Migrant Population ◽  
Methodological Choices ◽  
Research Questions ◽  
Definition Of ◽  
Selection Of

AbstractThis systematic review aimed to contribute to a better and more focused understanding of the link between the concept of resilience and psychosocial interventions in the migrant population. The research questions concerned the type of population involved, definition of resilience, methodological choices and which intervention programmes were targeted at migrants. In the 90 articles included, an heterogeneity in defining resilience or not well specified definition resulted. Different migratory experiences were not adequately considered in the selection of participants. Few resilience interventions on migrants were resulted. A lack of procedure’s descriptions that keep in account specific migrants’ life-experiences and efficacy’s measures were highlighted.

scholarly journals Getting to Hope: Perspectives from Patients and Caregivers Living with Chronic Childhood Illness

Children ◽  
2021 ◽  
Vol 8 (6) ◽  
pp. 525
Author(s):  
Emily von Scheven ◽  
Bhupinder K. Nahal ◽  
Rosa Kelekian ◽  
Christina Frenzel ◽  
Victoria Vanderpoel ◽  
...  
Keyword(s):  
Conceptual Model ◽  
Research Question ◽  
Young Patients ◽  
Future Research ◽  
Childhood Onset ◽  
Virtual Focus Groups ◽  
Definition Of ◽  
Selection Of ◽  
Chronic Childhood ◽  
Research Studies

Promoting hope was identified in our prior work as the top priority research question among patients and caregivers with diverse childhood-onset chronic conditions. Here, we aimed to construct a conceptual model to guide future research studies of interventions to improve hope. We conducted eight monthly virtual focus groups and one virtual workshop with patients, caregivers, and researchers to explore key constructs to inform the model. Discussions were facilitated by Patient Co-Investigators. Participants developed a definition of hope and identified promotors and inhibitors that influence the experience of hope. We utilized qualitative methods to analyze findings and organize the promotors and inhibitors of hope within three strata of the socio-ecologic framework: structural, interpersonal, and intrapersonal. Participants identified three types of interventions to promote hope: resources, navigation, and activities to promote social connection. The hope conceptual model can be used to inform the selection of interventions to assess in future research studies aimed at improving hope and the specification of outcome measures to include in hope research studies. Inclusion of the health care system in the model provides direction for identifying strategies for improving the system and places responsibility on the system to do better to promote hope among young patients with chronic illness and their caregivers.

scholarly journals Examining and Fine-tuning the Selection of Glycan Compositions with GlyConnect Compozitor

2020 ◽  
Vol 19 (10) ◽  
pp. 1602-1618 ◽  
Author(s):  
Thibault Robin ◽  
Julien Mariethoz ◽  
Frédérique Lisacek
Keyword(s):  
Search Engine ◽  
Posttranslational Modifications ◽  
Search Engines ◽  
Web Application ◽  
Contextual Information ◽  
Fine Tuning ◽  
Data Sources ◽  
Web Interface ◽  
Definition Of ◽  
Selection Of

A key point in achieving accurate intact glycopeptide identification is the definition of the glycan composition file that is used to match experimental with theoretical masses by a glycoproteomics search engine. At present, these files are mainly built from searching the literature and/or querying data sources focused on posttranslational modifications. Most glycoproteomics search engines include a default composition file that is readily used when processing MS data. We introduce here a glycan composition visualizing and comparative tool associated with the GlyConnect database and called GlyConnect Compozitor. It offers a web interface through which the database can be queried to bring out contextual information relative to a set of glycan compositions. The tool takes advantage of compositions being related to one another through shared monosaccharide counts and outputs interactive graphs summarizing information searched in the database. These results provide a guide for selecting or deselecting compositions in a file in order to reflect the context of a study as closely as possible. They also confirm the consistency of a set of compositions based on the content of the GlyConnect database. As part of the tool collection of the Glycomics@ExPASy initiative, Compozitor is hosted at https://glyconnect.expasy.org/compozitor/ where it can be run as a web application. It is also directly accessible from the GlyConnect database.

General Schema Theory for Genetic Programming with Subtree-Swapping Crossover: Part II

2003 ◽  
Vol 11 (2) ◽  
pp. 169-206 ◽  
Author(s):  
Riccardo Poli ◽  
Nicholas Freitag McPhee
Keyword(s):  
Genetic Programming ◽  
Schema Theory ◽  
Exact Formulation ◽  
Expected Number ◽  
Size Evolution ◽  
General Schema ◽  
Definition Of ◽  
Effective Fitness ◽  
Selection Of ◽  
Exact Definition

This paper is the second part of a two-part paper which introduces a general schema theory for genetic programming (GP) with subtree-swapping crossover (Part I (Poli and McPhee, 2003)). Like other recent GP schema theory results, the theory gives an exact formulation (rather than a lower bound) for the expected number of instances of a schema at the next generation. The theory is based on a Cartesian node reference system, introduced in Part I, and on the notion of a variable-arity hyperschema, introduced here, which generalises previous definitions of a schema. The theory includes two main theorems describing the propagation of GP schemata: a microscopic and a macroscopic schema theorem. The microscopic version is applicable to crossover operators which replace a subtree in one parent with a subtree from the other parent to produce the offspring. Therefore, this theorem is applicable to Koza's GP crossover with and without uniform selection of the crossover points, as well as one-point crossover, size-fair crossover, strongly-typed GP crossover, context-preserving crossover and many others. The macroscopic version is applicable to crossover operators in which the probability of selecting any two crossover points in the parents depends only on the parents' size and shape. In the paper we provide examples, we show how the theory can be specialised to specific crossover operators and we illustrate how it can be used to derive other general results. These include an exact definition of effective fitness and a size-evolution equation for GP with subtree-swapping crossover.

Amphoras in the Apollonia Museum Store

1981 ◽  
Vol 12 ◽  
pp. 75-78 ◽  
Author(s):  
John A. Riley
Keyword(s):  
Eastern Mediterranean ◽  
Eastern Mediterranean Region ◽  
Western Mediterranean ◽  
Second Century ◽  
Hellenistic Period ◽  
Royal Air Force ◽  
Agricultural Produce ◽  
Representative Selection ◽  
Coarse Wares ◽  
Selection Of

The store rooms of the Department of Antiquities at Apollonia contain pottery from excavations at Apollonia and Ras el Hilal, together with a few stray finds from other sites (including some from the sea collected by the Royal Air Force Aqualung Society in the 1950s and early 1960s). The bulk of this material dates in the later Roman period (i.e. sixth century A.D. onwards), but includes a little earlier Roman and some Hellenistic pottery. There is a representative selection of coarse wares, including amphoras, as yet unpublished. These are mainly in fragmentary condition but their typological range conforms with that from the well stratified and dated excavations at Berenice-Benghazi (Riley, in press).Publication of the more complete of these amphoras seems justified as there is a relative scarcity of published information on Roman amphoras from the eastern Mediterranean, at a time when many eastern types are being recognised in western Mediterranean excavated contexts (Panella, 1974; Hayes, 1976a; Riley, 1981). In addition, a brief consideration of the other amphoras helps to illustrate the diversity of trade in liquid agricultural produce within the eastern Mediterranean region. No locally made amphoras were noted on the Apollonia stone: all were imported into Cyrenaica.The Hellenistic period is represented by Rhodian (Inv. Nos. 321, 322 and 1582) and Knidian (Inv. Nos. 141 and 723) amphora fragments. There are several sherds of early Imperial amphoras, and attention has been drawn to these by Panella (1974). These include a first to second century A.D. Aegean type (ibid., 477, Ostia Form LXIII; Apollonia Box 2036, from Ras el Hilal); a Spanish garum amphora of the same period (ibid., 513, Ostia Form LXIII; Apollonia Inv. No. 256); several Tripolitanian amphoras of the first and second centuries A.D. (ibid., 562, Ostia Form LXIV; Apollonia Inv. Nos. 253, 254, 315 and 317); and a common Aegean amphora of the third and fourth centuries A.D. (ibid., 597, Ostia Form VI).

Military Targeting in the Context of Self-Defence Actions

2015 ◽  
Vol 84 (1) ◽  
pp. 3-28 ◽  
Author(s):  
James A. Green ◽  
Christopher P.M. Waters
Keyword(s):  
Target Selection ◽  
Jus In Bello ◽  
Customary International Law ◽  
Jus Ad Bellum ◽  
Conceptual Clarity ◽  
Starting Point ◽  
Definition Of ◽  
The Relationship ◽  
Self Defence ◽  
Selection Of

For self-defence actions to be lawful, they must be directed at military targets. The absolute prohibition on non-military targeting under the jus in bello is well known, but the jus ad bellum also limits the target selection of states conducting defensive operations. Restrictions on targeting form a key aspect of the customary international law criteria of necessity and proportionality. In most situations, the jus in bello will be the starting point for the definition of a military targeting rule. Yet it has been argued that there may be circumstances when the jus ad bellum and the jus in bello do not temporally or substantively overlap in situations of self-defence. In order to address any possible gaps in civilian protection, and to bring conceptual clarity to one particular dimension of the relationship between the two regimes, this article explores the independent sources of a military targeting rule. The aim is not to displace the jus in bello as the ‘lead’ regime on how targeting decisions must be made, or to undermine the traditional separation between the two ‘war law’ regimes. Rather, conceptual light is shed on a sometimes assumed but generally neglected dimension of the jus ad bellum’s necessity and proportionality criteria that may, in limited circumstances, have significance for our understanding of human protection during war.

Sign in / Sign up

Export Citation Format

Share Document