CNR Author
operator:
and / or
Typology
operator:
and / or
Language
operator:
and / or
Rights
operator:
and / or
2011
Journal article
Restricted
Rifiuti pericolosi, il sistema per l' inertizzazione
Plescia P, Tempesta M, Musto D, Croci D, Paratore A, Di Stefano A, D'Amico S, Contarino R
A novel approach for the inertization of hazardous wastes in stabilization and solidification plants: mass balance and mix designSource: RECYCLING, pp. 51-58
Plescia P, Tempesta M, Musto D, Croci D, Paratore A, Di Stefano A, D'Amico S, Contarino R
A novel approach for the inertization of hazardous wastes in stabilization and solidification plants: mass balance and mix designSource: RECYCLING, pp. 51-58
See at:
CNR IRIS 
| CNR IRIS | www.edizionipei.it
2007
Contribution to conference
Restricted
Morphological and structural characterization of chrysotile fibers of new formation in serpentine minerals
Musto D, Paoloni G, Plescia P, Tocino M, Sottile R
In this study, characterization data of some serpentine minerals from the "Rocchetta of Vara" area, in "La Spezia" province are shown. These materials present particular structures, constituted by cover materials with a low degree of crystallinity and are associated with tectonic movements. Such structures are particularly interesting for the pollution problems of asbestos fibers since they often become the center of fiber serpentine mineral formation. The analyses of the surfaces subject to the tectonic activity have been performed with the X-ray Diffraction (XRD), Scanning Electron Microscopy (SEM), Infrared Spectrophotometry (FTIR) and Thermogravimetry analysis. A great difference between the primary materials (serpentine-antigorite type) and the new formation materials (amorphous or low degree of cristallinity material) has been identified. Through the integration with the other techniques of analysis, the following phases, showed in genetic sequence, have been recognised: - serpentine antigorite - serpentine lizardite - an amorphous glassy phase magnesium silicate composition rich in superficial deposits of chrysotile - a crystal superficial phase with a high quantity of chrysotile Between lizardite and the following phases, a growth of iron and manganese oxides crystallization, particularly in the dendritical and massive forms is observed. Inside the amourphous phase the presence of very small geodes (dimensions:0,5-1 mm) is observed, inside which the presence of a dense felt of chrysotile crystals with dimensions between a few microns to 500 can be noticed. Outside of the geodes the presence of sphere cave of silicon has been observed, also observed under SEM, and under the spheres nanotubes appear with magnesium silicate composition and morphology attributable to chrysotile. The most interesting thing is represented by the new fibrous formation form on the surface of glide, in correspondence with the points of maximum attrition. The results point out that the serpentines of "Rocchetta of Vara" after attrition change their morphology forming a new material that has a low grade of crystallinity, in which chrysotile is crystallied with morphology and dimension which allow them to be classified among the nanofibres material, part of which grow parallel to the other forms of serpentine and in such a way that they are hardly identificable.Source: EPITOME, p. 77. Rimini, 12-14 Settembre 2007
DOI: 10.1474/epitome.02-0261.geoitalia2007
Metrics:
Musto D, Paoloni G, Plescia P, Tocino M, Sottile R
In this study, characterization data of some serpentine minerals from the "Rocchetta of Vara" area, in "La Spezia" province are shown. These materials present particular structures, constituted by cover materials with a low degree of crystallinity and are associated with tectonic movements. Such structures are particularly interesting for the pollution problems of asbestos fibers since they often become the center of fiber serpentine mineral formation. The analyses of the surfaces subject to the tectonic activity have been performed with the X-ray Diffraction (XRD), Scanning Electron Microscopy (SEM), Infrared Spectrophotometry (FTIR) and Thermogravimetry analysis. A great difference between the primary materials (serpentine-antigorite type) and the new formation materials (amorphous or low degree of cristallinity material) has been identified. Through the integration with the other techniques of analysis, the following phases, showed in genetic sequence, have been recognised: - serpentine antigorite - serpentine lizardite - an amorphous glassy phase magnesium silicate composition rich in superficial deposits of chrysotile - a crystal superficial phase with a high quantity of chrysotile Between lizardite and the following phases, a growth of iron and manganese oxides crystallization, particularly in the dendritical and massive forms is observed. Inside the amourphous phase the presence of very small geodes (dimensions:0,5-1 mm) is observed, inside which the presence of a dense felt of chrysotile crystals with dimensions between a few microns to 500 can be noticed. Outside of the geodes the presence of sphere cave of silicon has been observed, also observed under SEM, and under the spheres nanotubes appear with magnesium silicate composition and morphology attributable to chrysotile. The most interesting thing is represented by the new fibrous formation form on the surface of glide, in correspondence with the points of maximum attrition. The results point out that the serpentines of "Rocchetta of Vara" after attrition change their morphology forming a new material that has a low grade of crystallinity, in which chrysotile is crystallied with morphology and dimension which allow them to be classified among the nanofibres material, part of which grow parallel to the other forms of serpentine and in such a way that they are hardly identificable.Source: EPITOME, p. 77. Rimini, 12-14 Settembre 2007
DOI: 10.1474/epitome.02-0261.geoitalia2007
Metrics:
See at:
geoitalia.prod.cineca.it | CNR IRIS | CNR IRIS
2007
Contribution to journal
Restricted
Morphological and structural characterization of chrysotile growth on a serpentine shear zone
Musto D, Paoloni G, Plescia P, Tocino M, Sottile R
Source: PLINIUS (PISA, CD-ROM), vol. 33, p. 313
Musto D, Paoloni G, Plescia P, Tocino M, Sottile R
Source: PLINIUS (PISA, CD-ROM), vol. 33, p. 313
See at:
CNR IRIS | CNR IRIS | www.schweizerbart.de
1994
Other
Restricted
Carmel Vs. Flakey: a comparison of two robots
Congdon C, Huber M, Kortenkamp D, Bidlack C, Cohen C, Huffman S, Koss F, Raschke U, Weymouth T, Konolige K, Myers K, Saffiotti A, Ruspini E, Musto D
The University of Michigan's CARMEL and SRI International's Flakey were the first- and second-place finishers respectively at the AAAI Robot Competition in July, 1992. The approaches used by the two top teams are markedly different, but there are also some highlevel similarities. This paper is intended to compare the two architectures, focusing on abilities exhibited in the robot competition and the underlying approaches used by the two teams
Congdon C, Huber M, Kortenkamp D, Bidlack C, Cohen C, Huffman S, Koss F, Raschke U, Weymouth T, Konolige K, Myers K, Saffiotti A, Ruspini E, Musto D
The University of Michigan's CARMEL and SRI International's Flakey were the first- and second-place finishers respectively at the AAAI Robot Competition in July, 1992. The approaches used by the two top teams are markedly different, but there are also some highlevel similarities. This paper is intended to compare the two architectures, focusing on abilities exhibited in the robot competition and the underlying approaches used by the two teams
1993
Journal article
Restricted
Reasoning about Perception
Musto D, Konolige K
In this paper we investigate some of the uncounscious mechanisms underlying the process of acquisition of beliefs through perception. The paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of belief acquisition involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasoning. In addition, we provide an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.Source: AI COMMUNICATIONS, vol. 3/4 (issue 6), pp. 207-212
DOI: 10.3233/aic-1993-63-404
Metrics:
Musto D, Konolige K
In this paper we investigate some of the uncounscious mechanisms underlying the process of acquisition of beliefs through perception. The paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of belief acquisition involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasoning. In addition, we provide an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.Source: AI COMMUNICATIONS, vol. 3/4 (issue 6), pp. 207-212
DOI: 10.3233/aic-1993-63-404
Metrics:
See at:
AI Communications | CNR IRIS | iospress.metapress.com | CNR IRIS
1993
Other
Metadata Only Access
See at:
CNR IRIS
1993
Other
Metadata Only Access
See at:
CNR IRIS
1993
Other
Open Access
Carmel versus Flakey: a comparison of two winners
Musto D
The University of Michigan's CARMEL and SRI International's Flakey were the first- and second-place finishers respectively at the AAAI Robot Competition in July, 1992. The approaches used by the two top teams are markedly different, but there are also some highlevel similarities. This paper is intended to compare the two architectures, focusing on abilities exhibited in the robot competition and the underlying approaches used by the two teams.
Musto D
The University of Michigan's CARMEL and SRI International's Flakey were the first- and second-place finishers respectively at the AAAI Robot Competition in July, 1992. The approaches used by the two top teams are markedly different, but there are also some highlevel similarities. This paper is intended to compare the two architectures, focusing on abilities exhibited in the robot competition and the underlying approaches used by the two teams.
1993
Other
Metadata Only Access
Some notes on perception and actions in situated agents
Musto D, Saffiotti A
An abstract is not avaiable
Musto D, Saffiotti A
An abstract is not avaiable
See at:
CNR IRIS
1993
Other
Open Access
Reasoning about perception
Musto D, Konolige K
In this paper we investigate some of the uncouscious mechanisms underlying the process of acquisition of beliefs through perception. The paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of belief acquisition involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techiques of non-monotonic reasoning. In addition, we provides an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.
Musto D, Konolige K
In this paper we investigate some of the uncouscious mechanisms underlying the process of acquisition of beliefs through perception. The paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of belief acquisition involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techiques of non-monotonic reasoning. In addition, we provides an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.
1993
Other
Metadata Only Access
See at:
CNR IRIS
1993
Conference article
Restricted
Acquisition of beliefs through perception
Musto D, Konolige K
This paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of formation of beliefs involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasoning. In addition, we provide an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.
Musto D, Konolige K
This paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of formation of beliefs involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasoning. In addition, we provide an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.
1993
Journal article
Unknown
Query optimization by using knowledge about data semantics
Bertino E., Musto D.
In this paper we address the problem of using semantic properties of data within the process of query optimization. The discussion is in terms of the relational data model. We present query transformation rules, called semantic transformation rules (or simply stemantic rules), that are based on the database properties expressed by the integrity constraints. The semantic rules presented in the paper allow join elimination, clustering index introduction and empty query test according to the content of the integrity constraints. We provide a formal proof of the correction of such transformation rules. We also investigate the problem of using semantic rules within transactions, where any arbitrary sequence of queries and modification operations may occur, and semantic integrity can be violated during intermediate steps of processing. Conditions are provided under which the semantic rules presented in the paper can be correctly applied to transform queries occurring within compiled transactions.Source: Data & knowledge engineering 9 (1993): 121–155.
Bertino E., Musto D.
In this paper we address the problem of using semantic properties of data within the process of query optimization. The discussion is in terms of the relational data model. We present query transformation rules, called semantic transformation rules (or simply stemantic rules), that are based on the database properties expressed by the integrity constraints. The semantic rules presented in the paper allow join elimination, clustering index introduction and empty query test according to the content of the integrity constraints. We provide a formal proof of the correction of such transformation rules. We also investigate the problem of using semantic rules within transactions, where any arbitrary sequence of queries and modification operations may occur, and semantic integrity can be violated during intermediate steps of processing. Conditions are provided under which the semantic rules presented in the paper can be correctly applied to transform queries occurring within compiled transactions.Source: Data & knowledge engineering 9 (1993): 121–155.
See at: CNR ExploRA
1993
Conference article
Restricted
A fuzzy controller for Flakey, the robot
Helft N, Konolige K, Lowrance J, Musto D, Myers K, Ruspini E, Saffiotti A, Wesley L
We present a fuzzy controller for Flakey, an autonomous mobile robot. This controller is based on the notion of ''behavior'': a specific conrtol regime aiming at the achievement of one specific goal. Behaviors are imlpemented by a set of fuzzy rules. Yhe controller includes behavior for reliable obstacle avoidance, as well as for purposeful motion, like following a wall, or reaching a given location. Many behavior can be simultaneously active: the fuzzy controller blends these behaviors using the mechanisms of fuzzy logic. By blending reactive and purposeful behaviors, the controller can lead Flakey to achieve a given goal while smoothly reacting to unexpected events. By blending many consecutive purposeful behaviors, the controller can execute a full plan. Context-dependent blending of different behaviors is the key to relaible operation in an unstructured, real world environment. The performance of our fuzzy controller was demonstrated at the First International Robots Competition of AAAI, held in July, 1992 at San Jose, California, where Flakey was commended for its smooth and reliable reactivity, and placed overall second.
Helft N, Konolige K, Lowrance J, Musto D, Myers K, Ruspini E, Saffiotti A, Wesley L
We present a fuzzy controller for Flakey, an autonomous mobile robot. This controller is based on the notion of ''behavior'': a specific conrtol regime aiming at the achievement of one specific goal. Behaviors are imlpemented by a set of fuzzy rules. Yhe controller includes behavior for reliable obstacle avoidance, as well as for purposeful motion, like following a wall, or reaching a given location. Many behavior can be simultaneously active: the fuzzy controller blends these behaviors using the mechanisms of fuzzy logic. By blending reactive and purposeful behaviors, the controller can lead Flakey to achieve a given goal while smoothly reacting to unexpected events. By blending many consecutive purposeful behaviors, the controller can execute a full plan. Context-dependent blending of different behaviors is the key to relaible operation in an unstructured, real world environment. The performance of our fuzzy controller was demonstrated at the First International Robots Competition of AAAI, held in July, 1992 at San Jose, California, where Flakey was commended for its smooth and reliable reactivity, and placed overall second.
1993
Conference article
Open Access
Reasoning about perception
Musto D., Konolige K.
In this paper we investigate some of the unconscious mechanisms underlying the process of acquisition of beliefs through perception. The paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of belief acquisition involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasoning. In addition, we provides an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.
Musto D., Konolige K.
In this paper we investigate some of the unconscious mechanisms underlying the process of acquisition of beliefs through perception. The paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of belief acquisition involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasoning. In addition, we provides an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.
See at:
CNR IRIS 
| www.aaai.org | CNR IRIS
1993
Conference article
Restricted
Acquisition of beliefs though perception
Musto D., Konolige K.
This paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of formation of beliefs involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasoning. In addition, we provide an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.
Musto D., Konolige K.
This paper outlines the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of formation of beliefs involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasoning. In addition, we provide an account of perception that is consistent with the commonsense intuition for how perception functions, i.e., causality.
1993
Conference article
Open Access
A fuzzy controller for Flakey, the robot
Saffiotti A., Helft N., Konolige K., Lowrance J., Myers K., Musto D., Ruspini E., Wesley L.
Abstract non disponibile
Saffiotti A., Helft N., Konolige K., Lowrance J., Myers K., Musto D., Ruspini E., Wesley L.
Abstract non disponibile
See at:
CNR IRIS | www.aaai.org | CNR IRIS
1992
Other
Open Access
Aquisition of beliefs through perception
Musto D, Konolige K
In this paper we present some current results of our ongoing project on the integration of perception and symbolic reasoning. The focus of the paper is on the formalization of perception and belief. We outline the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of formation of beliefs involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasol1ing. In addition, we provide an account of perception that is consistent with our intuition for how perception functions, i.e., causality.
Musto D, Konolige K
In this paper we present some current results of our ongoing project on the integration of perception and symbolic reasoning. The focus of the paper is on the formalization of perception and belief. We outline the basics of a formal theory of belief that is sensitive to the way in which beliefs are formed through perception. The process of formation of beliefs involves a form of inference that is defeasible. We represent this kind of inference by means of well-known techniques of non-monotonic reasol1ing. In addition, we provide an account of perception that is consistent with our intuition for how perception functions, i.e., causality.
1992
Journal article
Restricted
Query optimization by using knowledge about data semantics
Bertino E., Musto D.
In this paper we address the problem of using semantic properties of data within the process of query optimization. The discussion is in terms of the relational data model. We present query transformation rules, called semantic transformation rules (or simply stemantic rules), that are based on the database properties expressed by the integrity constraints. The semantic rules presented in the paper allow join elimination, clustering index introduction and empty query test according to the content of the integrity constraints. We provide a formal proof of the correction of such transformation rules. We also investigate the problem of using semantic rules within transactions, where any arbitrary sequence of queries and modification operations may occur, and semantic integrity can be violated during intermediate steps of processing. Conditions are provided under which the semantic rules presented in the paper can be correctly applied to transform queries occurring within compiled transactions.Source: DATA & KNOWLEDGE ENGINEERING, vol. 9 (issue 2), pp. 121-155
DOI: 10.1016/0169-023x(92)90007-x
Metrics:
Bertino E., Musto D.
In this paper we address the problem of using semantic properties of data within the process of query optimization. The discussion is in terms of the relational data model. We present query transformation rules, called semantic transformation rules (or simply stemantic rules), that are based on the database properties expressed by the integrity constraints. The semantic rules presented in the paper allow join elimination, clustering index introduction and empty query test according to the content of the integrity constraints. We provide a formal proof of the correction of such transformation rules. We also investigate the problem of using semantic rules within transactions, where any arbitrary sequence of queries and modification operations may occur, and semantic integrity can be violated during intermediate steps of processing. Conditions are provided under which the semantic rules presented in the paper can be correctly applied to transform queries occurring within compiled transactions.Source: DATA & KNOWLEDGE ENGINEERING, vol. 9 (issue 2), pp. 121-155
DOI: 10.1016/0169-023x(92)90007-x
Metrics:
See at:
CNR IRIS | CNR IRIS | www.sciencedirect.com
1991
Other
Unknown
A knowledge representation approach to the design of architectures for office information systems
Musato D.
A framework for generating computer system Architectures that are suitable for realizing an Office Information System is presented. The Architecture generation process is seen as a mapping from a functional specification of the office expressed in terms of a conceptual scheme, and integrated with data concerning the existing office and users's needs, to a number of office Architectures, each saitsfying by construction the given set of functional and non-functional requirements. Among such Architectures, the most appropriate one with respect to a cost-benefit trade-off is then selected, on the basis of performance measurement obtained via simulation. A methodology for achieving the mapping underlying the Architecture generation process is proposed, and a model for describing office Architectures is provided. Such a model relies on a knowledge base where hardware and software products are organized along with the knowledge for combining them into Architectures. A computer tool exists which Supports an incremental construciion of Architectures according to this model. The tool embodies the knowledge about hardware and software products, and about the possible ways of combining them into Architectures, in the form of a procedural semantic network, and makes accessible this knowledge to the Architecture designer through an interactive environment supported by a graphical interface.
Musato D.
A framework for generating computer system Architectures that are suitable for realizing an Office Information System is presented. The Architecture generation process is seen as a mapping from a functional specification of the office expressed in terms of a conceptual scheme, and integrated with data concerning the existing office and users's needs, to a number of office Architectures, each saitsfying by construction the given set of functional and non-functional requirements. Among such Architectures, the most appropriate one with respect to a cost-benefit trade-off is then selected, on the basis of performance measurement obtained via simulation. A methodology for achieving the mapping underlying the Architecture generation process is proposed, and a model for describing office Architectures is provided. Such a model relies on a knowledge base where hardware and software products are organized along with the knowledge for combining them into Architectures. A computer tool exists which Supports an incremental construciion of Architectures according to this model. The tool embodies the knowledge about hardware and software products, and about the possible ways of combining them into Architectures, in the form of a procedural semantic network, and makes accessible this knowledge to the Architecture designer through an interactive environment supported by a graphical interface.
See at: CNR ExploRA