Remote estimation of canopy structure is important in forestry and a variety of environmental applications. Multiple Forward Mode (MFM) look-up table (LUT) inversion of canopy reflectance models is one approach for obtaining forest canopy biophysical-structural information (BSI). MFM provides inversion results from models that are not invertible directly, and has advantages in terms of software...

The paper presents the study of a new compressor for household appliances, developed through a virtual simulation system, with Simulink and Adams software. Linear compressor has a linear motor coupled to a mechanical system: a piston and a spring. The advantage of this compressor respect to a standard reciprocating compressor is due to the high reduction of energy losses and variable capacity p...

The Consensus Schedufing Model (CSM) is introduced a way to accommodate negotiation in over-constrained, distributed scheduling problems. The CSM is appropriate for negotiation among a group of peers and is also applicable to a manager that must balance conflicting views of its workers. The distributed scheduling algorithm that is used selects a candidate from the priority list of resource requ...

T his rep o rt p resen ts an o u tlin e o f th e S w ed ish L ingw are co m p o n en ts in teg ra ted in th e L anguage E n g in eerin g app lication d ev e lo p m en t en v iro n m en t o f G A T E . T h is is an o n g o in g w o rk w ithin th e fram ew o rk o f the L an g u ag e E n g in ee rin g p ro jec t A V E N T IN U S . A V E N T IN U S , A d v a n c e d In fo rm a tio n S ys tem fo r M...

In this paper, we explore the deployment of P2P auctions over MANETs. We define a P2P auction process and identify the need to have a fair registration and a fair bidding. We propose a distributed communication architecture and a protocol to support this kind of auctions. We perform a formal specification and verification of the BSAP protocol using PROMELA/SPIN and evaluate its performance. I I...

N o tre D a m e ’s A llia n c e fo r C atholic E d u ca tio n (ACE) w as rec e n tly a w a rd e d a $ 5 0 0 ,0 0 0 g r a n t f ro m A m e r ic o rp s , a b ran c h of the C l i n t o n A d m i n i s ­ t r a t i o n ’ s C o r p o r a t io n fo r N a tio n a l Service. L a s t y e a r , N o tre D am e w a s o n e o f 11 u n iv e r s i ­ ties in th e nation chosen from 3 7 0 a p p l ic a n ts to r...

We can model scientific discovery as automated reasoning and learning, e.g., using a logic-based representation of knowledge, which we will here call an ontology. Much of what Kuhn calls “normal science” may be modelled as problem solving within the shared ontology of a scientific community (Kuhn 1970). However, to model what Kuhn calls a “paradigm shift”, we need mechanisms for changing this o...

In this paper we describe a research project for a study of verification and validation processes within a system engineering framework : inconsistency checking, traceability issues and all requirements related in SE standards as EIA-632. Three key challenges for making such work successful are (1) consider system engineering concepts as a guide, (2) use integrate V&V in a an advanced requireme...

Oft stellt sich bei der Analyse von Wissensprozessen in Unternehmen heraus, dass der einfache Zugriff auf das vorhandene Unternehmenswissen in Dokumenten nicht möglich ist. Für den Zugriff auf Dokumentenund Datenbestände des Unternehmens nehmen die Technologien des Information Retrieval (IR) eine zentrale Rolle ein. Im Folgenden beschreiben wir die Theorie des SemnaticMiner-Systems, das heißt M...

As part of a larger project to develop an intelligent noticing system, I am designing a module to process textual material. The essential tasks of a text processor can be divided into two operations: 1) Locating a prior context, called a theme, in the story database in which to place new knowledge. I shall call this process Linking; and 2) Mapping the new information in a sentence into that con...