Results 221 to 230 of about 124,379 (246)
Some of the next articles are maybe not open access.
Supersymmetric composite models
Physics Reports, 1988Abstract A review of the formation of massless composite spin- 1 2 states within supersymmetric gauge theories is presented. It is hoped that a phenomenologically successful supersymmetric composite model of quarks and leptons will emerge from this research program. Two principal scenarios are reviewed: (i) massless composite fermion formation
R.R. Volkas, G.C. Joshi
openaire +1 more source
The Knowledge Engineering Review, 2001
Many solutions to AI problems require the task to be represented in one of a multitude of rigorous mathematical formalisms. The construction of such mathematical models forms a difficult problem which is often left to the user of the problem-solver.
Keppens, J, Shen, Q
openaire +3 more sources
Many solutions to AI problems require the task to be represented in one of a multitude of rigorous mathematical formalisms. The construction of such mathematical models forms a difficult problem which is often left to the user of the problem-solver.
Keppens, J, Shen, Q
openaire +3 more sources
Proceedings of the 2011 ACM Symposium on Applied Computing, 2011
Modularizing concerns is a common strategy to lower application complexity: it results in modules that are easy to maintain, to adapt, and to replace. In some cases, these modules can also be expressed with very expressive concern-specific languages that manage high level concepts.
Carlos Rodríguez +2 more
openaire +1 more source
Modularizing concerns is a common strategy to lower application complexity: it results in modules that are easy to maintain, to adapt, and to replace. In some cases, these modules can also be expressed with very expressive concern-specific languages that manage high level concepts.
Carlos Rodríguez +2 more
openaire +1 more source
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, 2003
Abstract: "We describe a method for reducing the complexity of temporal logic model checking in systems composed of many parallel processes. Thegoal is to check properties of the components of a system and then deduce globalproperties from these local properties.
E. M. Clarke, D. E. Long, K. L. McMillan
openaire +1 more source
Abstract: "We describe a method for reducing the complexity of temporal logic model checking in systems composed of many parallel processes. Thegoal is to check properties of the components of a system and then deduce globalproperties from these local properties.
E. M. Clarke, D. E. Long, K. L. McMillan
openaire +1 more source
2009
The state-of-the-art in aspect-oriented programming and modeling provides flexible querying and composition mechanisms that allow virtually unrestricted modifications to base code or models using static or dynamic weaving. There is, however, a lack of support for specifying and controlling the permitted effects of compositions with respect to the base ...
Jon Oldevik +2 more
openaire +1 more source
The state-of-the-art in aspect-oriented programming and modeling provides flexible querying and composition mechanisms that allow virtually unrestricted modifications to base code or models using static or dynamic weaving. There is, however, a lack of support for specifying and controlling the permitted effects of compositions with respect to the base ...
Jon Oldevik +2 more
openaire +1 more source
Compositional receptor modeling
Environmetrics, 2001AbstractReceptor models apportion an ambient mixture of pollutants to the contributing pollution sources. Often, neither the number of sources nor their chemical profiles are known precisely. The dual goals of modeling are to estimate the chemical ‘signature’ of the sources, and to characterize the mixing process.
openaire +1 more source
2016
In this chapter, connectionist designs for modeling musical and visual composition are discussed. These architectures are not based on biological processing ideas and instead are based on models built from nodes connected by links with simple scalar values.
openaire +1 more source
In this chapter, connectionist designs for modeling musical and visual composition are discussed. These architectures are not based on biological processing ideas and instead are based on models built from nodes connected by links with simple scalar values.
openaire +1 more source
1997
A supply chain is the collection of all components and functions associated with the creation and ultimate delivery of a product or service. Figure 2.1 illustrates an example product supply chain.
H. D. Ratliff, W. G. Nulty
openaire +1 more source
A supply chain is the collection of all components and functions associated with the creation and ultimate delivery of a product or service. Figure 2.1 illustrates an example product supply chain.
H. D. Ratliff, W. G. Nulty
openaire +1 more source