Results 211 to 220 of about 486,575 (254)

Dependency-Based Compositional Synthesis

2020
Despite many recent advances, reactive synthesis is still not really a practical technique. The grand challenge is to scale from small transition systems, where synthesis performs well, to complex multi-component designs. Compositional methods, such as the construction of dominant strategies for individual components, reduce the complexity ...
Bernd Finkbeiner, Noemi Passing
openaire   +1 more source

Graphene-based composite materials

Nature, 2006
Graphene sheets--one-atom-thick two-dimensional layers of sp2-bonded carbon--are predicted to have a range of unusual properties. Their thermal conductivity and mechanical stiffness may rival the remarkable in-plane values for graphite (approximately 3,000 W m(-1) K(-1) and 1,060 GPa, respectively); their fracture strength should be comparable to that ...
Stankovich, Sasha, Dikin, Dmitriy A., Dommett, Geoffrey H. B., Kohlhaas, Kevin M., Zimney, Eric J., Stach, Eric A., Piner, Richard D., Nguyen, SonBinh T., Ruoff, Rodney S.   +8 more
openaire   +3 more sources

Configuration based workflow composition

IEEE International Conference on Web Services (ICWS'05), 2005
Automatic or assisted workflow composition is a field of intense research for applications to the World Wide Web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving techniques. The originality of this research stems from the observation that building a composite workflow bears ...
Patrick Albert, Laurent Henocque, Mathias Kleiner   +2 more
openaire   +1 more source

Construction-Based Compositional Grammar

Journal of Logic, Language and Information, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

RNA Composition and Base Pairing

Science, 1966
If RNA may contain a small proportion of adenine-guanine base pairs, these could interrupt the continuity of helical structure in a polynucleotide, in keeping with current theories of RNA structure, and could also account for the experimentally observed tendency for 6-amino bases to equal 6-keto bases and for purines to exceed pyrimidines.
W, Traub, D, Elson
openaire   +2 more sources

Involutive Bases Under Composition

Journal of Systems Science and Complexity, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

The base composition of entomopoxvirus DNA

Virology, 1977
Abstract Equilibrium centrifugation of entomopoxvirus DNAs from Lepidoptera ( Amsacta moorei, Euxoa auxiliaris ), Coleoptera ( Othnonius batesi ), and Diptera [Chironomus near decorus ( = attenuatus )], ans vertebrate proxvirus DNA (vaccinia, IHD-D) in cesium chloride gradients gave buoyant density values of 1.690 g/ml for vaccinia DNA and 1.676 to ...
Langridge, W. H. R., Bozarth, R. F., Roberts, Donald W.   +2 more
openaire   +3 more sources

Sagbi-Gröbner Bases Under Composition

Journal of Systems Science and Complexity, 2023
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nazish Kanwal, Junaid Alam Khan
openaire   +1 more source

Type based service composition

Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters - WWW Alt. '04, 2004
Service matchmaking and composition has recently drawn increasing attention in the research community. Most existing algorithms construct chains of services based on exact matches of input/output types. However, this does not work when the available services only cover a part of the range of the input type.
Ion Constantinescu, Boi Faltings, Walter Binder   +2 more
openaire   +1 more source