British Standard 7666 as a framework for geocoding land and property information the UK

Abstract: The article examines the role of British Standard 7666 in the development of a national framework for geocoding land and property information in the United Kingdom. The author assesses how local authorities, and other agencies concerned with property and address datasets, are coping with the introduction of British Standard 7666, and examines the prospects and limitations of this development. British Standard 7666 has four parts, comprising specifications for street gazetteer; land and property gazetteer; addresses; and public rights of way. The organisation coordinating the introduction of British Standard 7666, Improvement and Development Agency (IDeA), is also overseeing the development and maintenance of a National Land and Property Gazetteer (NLPG) based on British Standard 7666. The introduction of the new addressing standard has mainly been prompted by Britain's effort to set up a national cadastral service to replace the obsolescent property registration system currently in place

british standard 7666 as a framework for geocod land and properti inform the uk
 the articl examin the role of british standard 7666 in the develop of a nation framework for geocod land and properti inform in the unit kingdom . the author assess how local author , and other agenc concern with properti and address dataset , are cope with the introduct of british standard 7666 , and examin the prospect and limit of thi develop . british standard 7666 ha four part , compris specif for street gazett ; land and properti gazett ; address ; and public right of way . the organis coordin the introduct of british standard 7666 , improv and develop agenc ( idea ) , is also overse the develop and mainten of a nation land and properti gazett ( nlpg ) base on british standard 7666 . the introduct of the new address standard ha mainli been prompt by britain 's effort to set up a nation cadastr servic to replac the obsolesc properti registr system current in place

British Standard 7666
geocoding
property information
UK
national framework
United Kingdom
local authorities
address datasets
addresses
street gazetteer
property gazetteer
public rights of way
Improvement and Development Agency
IDeA
National Land and Property Gazetteer
NLPG
addressing standard
national cadastral service
property registration system
land information
property datasets
land gazetteer
land information systems

P P P P P P P P P P P P P P P P P P P R R R R


The development of CASC [automated theorem proving]

Abstract: Researchers who make theoretical advances also need some way to demonstrate that an advance really does have general, overall positive consequences for system performance. For this it is necessary to evaluate the system on a set of problems that is sufficiently large and diverse to be somehow representative of the intended application area as a whole. It is only a small step from system evaluation to a communal system competition. The CADE ATP System Competition (CASC) has been run annually since 1996. Any competition is difficult to design and organize in the first instance, and to then run over the years. In order to obtain the full benefits of a competition, a thoroughly organized event, with an unambiguous and motivated design, is necessary. For some issues relevant to the CASC design, inevitable constraints have emerged. For other issues there have been several choices, and decisions have had to be made. This paper describes the evolution of CASC, paying particular attention to its design, design changes, and organization

the develop of casc [ autom theorem prove ]
 research who make theoret advanc also need some way to demonstr that an advanc realli doe have gener , overal posit consequ for system perform . for thi it is necessari to evalu the system on a set of problem that is suffici larg and divers to be somehow repres of the intend applic area as a whole . it is onli a small step from system evalu to a commun system competit . the cade atp system competit ( casc ) ha been run annual sinc 1996 . ani competit is difficult to design and organ in the first instanc , and to then run over the year . in order to obtain the full benefit of a competit , a thoroughli organ event , with an unambigu and motiv design , is necessari . for some issu relev to the casc design , inevit constraint have emerg . for other issu there have been sever choic , and decis have had to be made . thi paper describ the evolut of casc , pay particular attent to it design , design chang , and organ

CASC
automated theorem proving
system performance
system evaluation
CADE ATP System Competition
automated deduction
AI
artificial intelligence
classical first order logic


A GRASP heuristic for the mixed Chinese postman problem

Abstract: Arc routing problems (ARPs) consist of finding a traversal on a graph satisfying some conditions related to the links of the graph. In the Chinese postman problem (CPP) the aim is to find a minimum cost tour (closed walk) traversing all the links of the graph at least once. Both the Undirected CPP, where all the links are edges that can be traversed in both ways, and the Directed CPP, where all the links are arcs that must be traversed in a specified way, are known to be polynomially solvable. However, if we deal with a mixed graph (having edges and arcs), the problem turns out to be NP-hard. In this paper, we present a heuristic algorithm for this problem, the so-called Mixed CPP (MCPP), based on greedy randomized adaptive search procedure (GRASP) techniques. The algorithm has been tested and compared with other known and recent methods from the literature on a wide collection of randomly generated instances, with up to 200 nodes and 600 links, producing encouraging computational results. As far as we know, this is the best heuristic algorithm for the MCPP, with respect to solution quality, published up to now

a grasp heurist for the mix chines postman problem
 arc rout problem ( arp ) consist of find a travers on a graph satisfi some condit relat to the link of the graph . in the chines postman problem ( cpp ) the aim is to find a minimum cost tour ( close walk ) travers all the link of the graph at least onc . both the undirect cpp , where all the link are edg that can be travers in both way , and the direct cpp , where all the link are arc that must be travers in a specifi way , are known to be polynomi solvabl . howev , if we deal with a mix graph ( have edg and arc ) , the problem turn out to be np-hard . in thi paper , we present a heurist algorithm for thi problem , the so-cal mix cpp ( mcpp ) , base on greedi random adapt search procedur ( grasp ) techniqu . the algorithm ha been test and compar with other known and recent method from the literatur on a wide collect of randomli gener instanc , with up to 200 node and 600 link , produc encourag comput result . as far as we know , thi is the best heurist algorithm for the mcpp , with respect to solut qualiti , publish up to now


Integration is LIMS inspiration

Abstract: For software manufacturers, blessings come in the form of fast-moving application areas. In the case of LIMS, biotechnology is still in the driving seat, inspiring developers to maintain consistently rapid and creative levels of innovation. Current advancements are no exception. Integration and linking initiatives are still popular and much of the activity appears to be coming from a very productive minority

integr is lim inspir
 for softwar manufactur , bless come in the form of fast-mov applic area . in the case of lim , biotechnolog is still in the drive seat , inspir develop to maintain consist rapid and creativ level of innov . current advanc are no except . integr and link initi are still popular and much of the activ appear to be come from a veri product minor

LIMS
software manufacturers
biotechnology


Extending CTL with actions and real time

Abstract: In this paper, we present the logic ATCTL, which is intended to be used for model checking models that have been specified in a lightweight version of the Unified Modelling Language (UML). Elsewhere, we have defined a formal semantics for LUML to describe the models. This paper's goal is to give a specification language for properties that fits LUML; LUML includes states, actions and real time. ATCTL extends CTL with concurrent actions and real time. It is based on earlier extensions of CTL by R. De Nicola and F. Vaandrager (ACTL) (1990) and R. Alur et aL (TCTL) (1993). This makes it easier to adapt existing model checkers to ATCTL. To show that we can check properties specified in ATCTL in models specified in LUML, we give a small example using the Kronos model checker

extend ctl with action and real time
 in thi paper , we present the logic atctl , which is intend to be use for model check model that have been specifi in a lightweight version of the unifi model languag ( uml ) . elsewher , we have defin a formal semant for luml to describ the model . thi paper 's goal is to give a specif languag for properti that fit luml ; luml includ state , action and real time . atctl extend ctl with concurr action and real time . it is base on earlier extens of ctl by r. de nicola and f. vaandrag ( actl ) ( 1990 ) and r. alur et al ( tctl ) ( 1993 ) . thi make it easier to adapt exist model checker to atctl . to show that we can check properti specifi in atctl in model specifi in luml , we give a small exampl use the krono model checker

actions
logic ATCTL
model checking models
Unified Modelling Language
formal semantics
specification language
Kronos model checker
real time logic
computation tree logic


Designing human-centered distributed information systems

Abstract: Many computer systems are designed according to engineering and technology principles and are typically difficult to learn and use. The fields of human-computer interaction, interface design, and human factors have made significant contributions to ease of use and are primarily concerned with the interfaces between systems and users, not with the structures that are often more fundamental for designing truly human-centered systems. The emerging paradigm of human-centered computing (HCC)-which has taken many forms-offers a new look at system design. HCC requires more than merely designing an artificial agent to supplement a human agent. The dynamic interactions in a distributed system composed of human and artificial agents-and the context in which the system is situated-are indispensable factors. While we have successfully applied our methodology in designing a prototype of a human-centered intelligent flight-surgeon console at NASA Johnson Space Center, this article presents a methodology for designing human-centered computing systems using electronic medical records (EMR) systems

design human-cent distribut inform system
 mani comput system are design accord to engin and technolog principl and are typic difficult to learn and use . the field of human-comput interact , interfac design , and human factor have made signific contribut to eas of use and are primarili concern with the interfac between system and user , not with the structur that are often more fundament for design truli human-cent system . the emerg paradigm of human-cent comput ( hcc)-which ha taken mani forms-off a new look at system design . hcc requir more than mere design an artifici agent to supplement a human agent . the dynam interact in a distribut system compos of human and artifici agents-and the context in which the system is situated-ar indispens factor . while we have success appli our methodolog in design a prototyp of a human-cent intellig flight-surgeon consol at nasa johnson space center , thi articl present a methodolog for design human-cent comput system use electron medic record ( emr ) system

human-centered distributed information systems design

human-centered intelligent flight surgeon console


The AT89C51/52 flash memory programmers

Abstract: When faced with a plethora of applications to design, it's essential to have a versatile microcontroller in hand. The author describes the AT89C51/52 microcontrollers. To get you started, he'll describe his inexpensive microcontroller programmer

the at89c51/52 flash memori programm
 when face with a plethora of applic to design , it 's essenti to have a versatil microcontrol in hand . the author describ the at89c51/52 microcontrol . to get you start , he 'll describ hi inexpens microcontrol programm

AT89C51/52
flash memory programmers
microcontrollers
microcontroller programmer
device programmer


Minimizing weighted number of early and tardy jobs with a common due window involving location penalty

Abstract: Studies a single machine scheduling problem to minimize the weighted number of early and tardy jobs with a common due window. There are n non-preemptive and simultaneously available jobs. Each job will incur an early (tardy) penalty if it is early (tardy) with respect to the common due window under a given schedule. The window size is a given parameter but the window location is a decision variable. The objective of the problem is to find a schedule that minimizes the weighted number of early and tardy jobs and the location penalty. We show that the problem is NP-complete in the ordinary sense and develop a dynamic programming based pseudo-polynomial algorithm. We conduct computational experiments, the results of which show that the performance of the dynamic algorithm is very good in terms of memory requirement and CPU time. We also provide polynomial time algorithms for two special cases

minim weight number of earli and tardi job with a common due window involv locat penalti
 studi a singl machin schedul problem to minim the weight number of earli and tardi job with a common due window . there are n non-preempt and simultan avail job . each job will incur an earli ( tardi ) penalti if it is earli ( tardi ) with respect to the common due window under a given schedul . the window size is a given paramet but the window locat is a decis variabl . the object of the problem is to find a schedul that minim the weight number of earli and tardi job and the locat penalti . we show that the problem is np-complet in the ordinari sens and develop a dynam program base pseudo-polynomi algorithm . we conduct comput experi , the result of which show that the perform of the dynam algorithm is veri good in term of memori requir and cpu time . we also provid polynomi time algorithm for two special case

tardy jobs
common due window
location penalty
single machine scheduling problem
decision variable
dynamic programming
pseudo-polynomial algorithm
early jobs
NP-complete problem


Comments on some recent methods for the simultaneous determination of polynomial zeros

Abstract: In this note we give some comments on the recent results concerning a simultaneous method of the fourth-order for finding complex zeros in circular interval arithmetic. The main discussion is directed to a rediscovered iterative formula and its modification, presented recently in Sun and Kosmol, (2001). The presented comments include some critical parts of the papers Petkovic, Trickovic, Herceg, (1998) and Sun and Kosmol, (2001) which treat the same subject

comment on some recent method for the simultan determin of polynomi zero
 in thi note we give some comment on the recent result concern a simultan method of the fourth-ord for find complex zero in circular interv arithmet . the main discuss is direct to a rediscov iter formula and it modif , present recent in sun and kosmol , ( 2001 ) . the present comment includ some critic part of the paper petkov , trickov , herceg , ( 1998 ) and sun and kosmol , ( 2001 ) which treat the same subject

polynomial
zeros
complex zeros
circular interval arithmetic
iterative formula


A six-degree-of-freedom precision motion stage

Abstract: This article presents the design and performance evaluation of a six-degree-of-freedom piezoelectrically actuated fine motion stage that will be used for three dimensional error compensation of a long-range translation mechanism. Development of a single element, piezoelectric linear displacement actuator capable of translations of 1.67 mu m with 900 V potential across the electrodes and under a 27.4 N axial load and 0.5 mm lateral distortion is presented. Finite element methods have been developed and used to evaluate resonant frequencies of the stage platform and the complete assembly with and without a platform payload. In general, an error of approximately 10.0% between the finite element results and the experimentally measured values were observed. The complete fine motion stage provided approximately +or-0.93 mu m of translation and +or-38.0 mu rad of rotation in all three planes of motion using an excitation range of 1000 V. An impulse response indicating a fundamental mode resonance at 162 Hz was measured with a 0.650 kg payload rigidly mounted to the top of the stage

a six-degree-of-freedom precis motion stage
 thi articl present the design and perform evalu of a six-degree-of-freedom piezoelectr actuat fine motion stage that will be use for three dimension error compens of a long-rang translat mechan . develop of a singl element , piezoelectr linear displac actuat capabl of translat of 1.67 mu m with 900 v potenti across the electrod and under a 27.4 n axial load and 0.5 mm later distort is present . finit element method have been develop and use to evalu reson frequenc of the stage platform and the complet assembl with and without a platform payload . in gener , an error of approxim 10.0 % between the finit element result and the experiment measur valu were observ . the complet fine motion stage provid approxim + or-0.93 mu m of translat and + or-38.0 mu rad of rotat in all three plane of motion use an excit rang of 1000 v. an impuls respons indic a fundament mode reson at 162 hz wa measur with a 0.650 kg payload rigidli mount to the top of the stage

single element piezoelectric linear displacement actuator


Linear, parameter-varying control and its application to a turbofan engine

Abstract: This paper describes application of parameter-dependent control design methods to a turbofan engine. Parameter-dependent systems are linear systems, whose state-space descriptions are known functions of time-varying parameters. The time variation of each of the parameters is not known in advance, but is assumed to be measurable in real-time. Three linear, parameter-varying (LPV) approaches to control design are discussed. The first method is based on linear fractional transformations which relies on the small gain theorem for bounds on performance and robustness. The other methods make use of either a single (SQLF) or parameter-dependent (PDQLF) quadratic Lyapunov function to bound the achievable level of performance. The latter two techniques are used to synthesize controllers for a high-performance turbofan engine. A LPV model of the turbofan engine is constructed from Jacobian linearizations at fixed power codes for control design. The control problem is formulated as a model matching problem in the H/sub infinity / and LPV framework. The objective is decoupled command response of the closed-loop system to pressure and rotor speed requests. The performance of linear, H/sub infinity / point designs are compared with the SQLF and PDQLF controllers. Nonlinear simulations indicate that the controller synthesized using the SQLF approach is slightly more conservative than the PDQLF controller. Nonlinear simulations with the SQLF and PDQLF controllers show very robust designs that achieve all desired performance objectives

linear , parameter-vari control and it applic to a turbofan engin
 thi paper describ applic of parameter-depend control design method to a turbofan engin . parameter-depend system are linear system , whose state-spac descript are known function of time-vari paramet . the time variat of each of the paramet is not known in advanc , but is assum to be measur in real-tim . three linear , parameter-vari ( lpv ) approach to control design are discuss . the first method is base on linear fraction transform which reli on the small gain theorem for bound on perform and robust . the other method make use of either a singl ( sqlf ) or parameter-depend ( pdqlf ) quadrat lyapunov function to bound the achiev level of perform . the latter two techniqu are use to synthes control for a high-perform turbofan engin . a lpv model of the turbofan engin is construct from jacobian linear at fix power code for control design . the control problem is formul as a model match problem in the h / sub infin / and lpv framework . the object is decoupl command respons of the closed-loop system to pressur and rotor speed request . the perform of linear , h / sub infin / point design are compar with the sqlf and pdqlf control . nonlinear simul indic that the control synthes use the sqlf approach is slightli more conserv than the pdqlf control . nonlinear simul with the sqlf and pdqlf control show veri robust design that achiev all desir perform object

parameter-dependent quadratic Lyapunov function


The chemical brotherhood

Abstract: It has always been more difficult for chemistry to keep up in the Internet age but a new language could herald a new era for the discipline. The paper discusses CML, or chemical mark-up language. The eXtensible Mark-up Language provides a universal format for structured documents and data on the Web and so offers a way for scientists and others to carry a wide range of information types across the net in a transparent way. All that is needed is an XML browser

the chemic brotherhood
 it ha alway been more difficult for chemistri to keep up in the internet age but a new languag could herald a new era for the disciplin . the paper discuss cml , or chemic mark-up languag . the extens mark-up languag provid a univers format for structur document and data on the web and so offer a way for scientist and other to carri a wide rang of inform type across the net in a transpar way . all that is need is an xml browser

chemistry
Internet
CML
chemical mark-up language
eXtensible Mark-up Language
XML browser
structured document format
World Wide Web


Dihedral congruence primes and class fields of real quadratic fields

Abstract: We show that for a real quadratic field F the dihedral congruence primes with respect to F for cusp forms of weight k and quadratic nebentypus are essentially the primes dividing expressions of the form epsilon /sub +//sup k-1/+or-1 where epsilon /sub +/ is a totally positive fundamental unit of F. This extends work of Hida. Our results allow us to identify a family of (ray) class fields of F which are generated by torsion points on modular abelian varieties

dihedr congruenc prime and class field of real quadrat field
 we show that for a real quadrat field f the dihedr congruenc prime with respect to f for cusp form of weight k and quadrat nebentypu are essenti the prime divid express of the form epsilon /sub + //sup k-1/+or-1 where epsilon /sub + / is a total posit fundament unit of f. thi extend work of hida . our result allow us to identifi a famili of ( ray ) class field of f which are gener by torsion point on modular abelian varieti

dihedral congruence primes
class fields
real quadratic fields
quadratic nebentypus
torsion points
modular abelian varieties
class field theory


Cutting the cord [wireless health care]

Abstract: More and more healthcare executives are electing to cut the cord to their existing computer systems by implementing mobile technology. The allure of information anywhere, anytime is intoxicating, demonstrated by the cell phones and personal digital assistants (PDAs) that adorn today's professionals. The utility and convenience of these devices is undeniable. But what is the best strategy for implementing a mobile solution within a healthcare enterprise, be it large or small-and under what circumstances? What types of healthcare workers benefit most from mobile technology? And how state-of-the-art is security for wireless applications and devices? These are the questions that healthcare executives are asking-and should be asking-as they evaluate mobile solutions

cut the cord [ wireless health care ]
 more and more healthcar execut are elect to cut the cord to their exist comput system by implement mobil technolog . the allur of inform anywher , anytim is intox , demonstr by the cell phone and person digit assist ( pda ) that adorn today 's profession . the util and conveni of these devic is undeni . but what is the best strategi for implement a mobil solut within a healthcar enterpris , be it larg or small-and under what circumst ? what type of healthcar worker benefit most from mobil technolog ? and how state-of-the-art is secur for wireless applic and devic ? these are the question that healthcar execut are asking-and should be asking-a they evalu mobil solut

healthcare
security
mobile computing
wireless computing


Adaptive multiresolution approach for solution of hyperbolic PDEs

Abstract: This paper establishes an innovative and efficient multiresolution adaptive approach combined with high-resolution methods, for the numerical solution of a single or a system of partial differential equations. The proposed methodology is unconditionally bounded (even for hyperbolic equations) and dynamically adapts the grid so that higher spatial resolution is automatically allocated to domain regions where strong gradients are observed, thus possessing the two desired properties of a numerical approach: stability and accuracy. Numerical results for five test problems are presented which clearly show the robustness and cost effectiveness of the proposed method

adapt multiresolut approach for solut of hyperbol pde
 thi paper establish an innov and effici multiresolut adapt approach combin with high-resolut method , for the numer solut of a singl or a system of partial differenti equat . the propos methodolog is uncondit bound ( even for hyperbol equat ) and dynam adapt the grid so that higher spatial resolut is automat alloc to domain region where strong gradient are observ , thu possess the two desir properti of a numer approach : stabil and accuraci . numer result for five test problem are present which clearli show the robust and cost effect of the propos method

hyperbolic partial differential equations


Mobile commerce: transforming the vision into reality

Abstract: This editorial preface investigates current developments in mobile commerce (M-commerce) and proposes an integrated architecture that supports business and consumer needs in an optimal way to successfully implement M-commerce business processes. The key line of thought is based on the heuristic observation that customers will not want to receive M-commerce offerings to their mobile telephones. As a result, a pull as opposed to a push approach becomes a necessary requirement to conduct M-commerce. In addition, M-commerce has to rely on local, regional, demographic and many other variables to be truly effective. Both observations necessitate an M-commerce architecture that allows the coherent integration of enterprise-level systems as well as the aggregation of product and service offerings from many different and partially competing parties into a collaborative M-commerce platform. The key software component within this integrated architecture is an event management engine to monitor, detect, store, process and measure information about outside events that are relevant to all participants in M-commerce

mobil commerc : transform the vision into realiti
 thi editori prefac investig current develop in mobil commerc ( m-commerc ) and propos an integr architectur that support busi and consum need in an optim way to success implement m-commerc busi process . the key line of thought is base on the heurist observ that custom will not want to receiv m-commerc offer to their mobil telephon . as a result , a pull as oppos to a push approach becom a necessari requir to conduct m-commerc . in addit , m-commerc ha to reli on local , region , demograph and mani other variabl to be truli effect . both observ necessit an m-commerc architectur that allow the coher integr of enterprise-level system as well as the aggreg of product and servic offer from mani differ and partial compet parti into a collabor m-commerc platform . the key softwar compon within thi integr architectur is an event manag engin to monitor , detect , store , process and measur inform about outsid event that are relev to all particip in m-commerc

mobile commerce
M-commerce
integrated architecture
consumer needs
mobile telephones
event management engine
business needs
pull approach
collaborative platform


Axioms for branching time

Abstract: Logics of general branching time, or historical necessity, have long been studied but important axiomatization questions remain open. Here the difficulties of finding axioms for such logics are considered and ideas for solving some of the main open problems are presented. A new, more expressive logical account is also given to support Peirce's prohibition on truth values being attached to the contingent future

axiom for branch time
 logic of gener branch time , or histor necess , have long been studi but import axiomat question remain open . here the difficulti of find axiom for such logic are consid and idea for solv some of the main open problem are present . a new , more express logic account is also given to support peirc 's prohibit on truth valu be attach to the conting futur

axioms
branching time
truth values
temporal logic


Orthogonality of the Jacobi polynomials with negative integer parameters

Abstract: It is well known that the Jacobi polynomials P/sub n//sup ( alpha , beta )/(x) are orthogonal with respect to a quasi-definite linear functional whenever alpha , beta , and alpha + beta + 1 are not negative integer numbers. Recently, Sobolev orthogonality for these polynomials has been obtained for alpha a negative integer and beta not a negative integer and also for the case alpha = beta negative integer numbers. In this paper, we give a Sobolev orthogonality for the Jacobi polynomials in the remainder cases

orthogon of the jacobi polynomi with neg integ paramet
 it is well known that the jacobi polynomi p / sub n//sup ( alpha , beta ) /(x ) are orthogon with respect to a quasi-definit linear function whenev alpha , beta , and alpha + beta + 1 are not neg integ number . recent , sobolev orthogon for these polynomi ha been obtain for alpha a neg integ and beta not a neg integ and also for the case alpha = beta neg integ number . in thi paper , we give a sobolev orthogon for the jacobi polynomi in the remaind case

orthogonality
Jacobi polynomials
negative integer parameters
quasi-definite linear functional
Sobolev orthogonality


Closed-loop persistent identification of linear systems with unmodeled dynamics and stochastic disturbances

Abstract: The essential issues of time complexity and probing signal selection are studied for persistent identification of linear time-invariant systems in a closed-loop setting. By establishing both upper and lower bounds on identification accuracy as functions of the length of observation, size of unmodeled dynamics, and stochastic disturbances, we demonstrate the inherent impact of unmodeled dynamics on identification accuracy, reduction of time complexity by stochastic averaging on disturbances, and probing capability of full rank periodic signals for closed-loop persistent identification. These findings indicate that the mixed formulation, in which deterministic uncertainty of system dynamics is blended with random disturbances, is beneficial to reduction of identification complexity

closed-loop persist identif of linear system with unmodel dynam and stochast disturb
 the essenti issu of time complex and probe signal select are studi for persist identif of linear time-invari system in a closed-loop set . by establish both upper and lower bound on identif accuraci as function of the length of observ , size of unmodel dynam , and stochast disturb , we demonstr the inher impact of unmodel dynam on identif accuraci , reduct of time complex by stochast averag on disturb , and probe capabl of full rank period signal for closed-loop persist identif . these find indic that the mix formul , in which determinist uncertainti of system dynam is blend with random disturb , is benefici to reduct of identif complex

closed-loop persistent identification
unmodeled dynamics
stochastic disturbances
time complexity
probing signal selection
linear time-invariant systems
lower bounds
identification accuracy
full rank periodic signals
upper bounds


Convergence of Toland's critical points for sequences of DC functions and application to the resolution of semilinear elliptic problems

Abstract: We prove that if a sequence (f/sub n/)/sub n/ of DC functions (difference of two convex functions) converges to a DC function f in some appropriate way and if u/sub n/ is a critical point of f/sub n/, in the sense described by Toland (1978, 1979), and is such that (u/sub n/)/sub n/ converges to u, then u is a critical point of f, still in Toland's sense. We also build a new algorithm which searches for this critical point u and then apply it in order to compute the solution of a semilinear elliptic equation

converg of toland 's critic point for sequenc of dc function and applic to the resolut of semilinear ellipt problem
 we prove that if a sequenc ( f / sub n/)/sub n/ of dc function ( differ of two convex function ) converg to a dc function f in some appropri way and if u / sub n/ is a critic point of f / sub n/ , in the sens describ by toland ( 1978 , 1979 ) , and is such that ( u / sub n/)/sub n/ converg to u , then u is a critic point of f , still in toland 's sens . we also build a new algorithm which search for thi critic point u and then appli it in order to comput the solut of a semilinear ellipt equat

semilinear elliptic problems
semilinear elliptic equation
critical point convergence
DC function sequences
convex function difference


Estimation of 3-D left ventricular deformation from medical images using biomechanical models

Abstract: The quantitative estimation of regional cardiac deformation from three-dimensional (3-D) image sequences has important clinical implications for the assessment of viability in the heart wall. We present here a generic methodology for estimating soft tissue deformation which integrates image-derived information with biomechanical models, and apply it to the problem of cardiac deformation estimation. The method is image modality independent. The images are segmented interactively and then initial correspondence is established using a shape-tracking approach. A dense motion field is then estimated using a transversely isotropic, linear-elastic model, which accounts for the muscle fiber directions in the left ventricle. The dense motion field is in turn used to calculate the deformation of the heart wall in terms of strain in cardiac specific directions. The strains obtained using this approach in open-chest dogs before and after coronary occlusion, exhibit a high correlation with strains produced in the same animals using implanted markers. Further, they show good agreement with previously published results in the literature. This proposed method provides quantitative regional 3-D estimates of heart deformation

estim of 3-d left ventricular deform from medic imag use biomechan model
 the quantit estim of region cardiac deform from three-dimension ( 3-d ) imag sequenc ha import clinic implic for the assess of viabil in the heart wall . we present here a gener methodolog for estim soft tissu deform which integr image-deriv inform with biomechan model , and appli it to the problem of cardiac deform estim . the method is imag modal independ . the imag are segment interact and then initi correspond is establish use a shape-track approach . a dens motion field is then estim use a transvers isotrop , linear-elast model , which account for the muscl fiber direct in the left ventricl . the dens motion field is in turn use to calcul the deform of the heart wall in term of strain in cardiac specif direct . the strain obtain use thi approach in open-chest dog befor and after coronari occlus , exhibit a high correl with strain produc in the same anim use implant marker . further , they show good agreement with previous publish result in the literatur . thi propos method provid quantit region 3-d estim of heart deform

3-D left ventricular deformation estimation

transversely isotropic linear-elastic model


Maybe it's not too late to join the circus: books for midlife career management

Abstract: Midcareer librarians looking for career management help on the bookshelf face thousands of choices. This article reviews thirteen popular career self-help books. The reviewed books cover various aspects of career management and provide information on which might be best suited for particular goals, including career change, career tune-up, and personal and professional self-evaluation. The comments reflect issues of interest to midcareer professionals

mayb it 's not too late to join the circu : book for midlif career manag
 midcar librarian look for career manag help on the bookshelf face thousand of choic . thi articl review thirteen popular career self-help book . the review book cover variou aspect of career manag and provid inform on which might be best suit for particular goal , includ career chang , career tune-up , and person and profession self-evalu . the comment reflect issu of interest to midcar profession

midlife career management
librarians
career self-help books
career change
professional self-evaluation
personal self-evaluation
libraries


Nonlinear adaptive control via sliding-mode state and perturbation observer

Abstract: The paper presents a nonlinear adaptive controller (NAC) for single-input single-output feedback linearisable nonlinear systems. A sliding-mode state and perturbation observer is designed to estimate the system states and perturbation which includes the combined effect of system nonlinearities, uncertainties and external disturbances. The NAC design does not require the details of the nonlinear system model and full system states. It possesses an adaptation capability to deal with system parameter uncertainties, unmodelled system dynamics and external disturbances. The convergence of the observer and the stability analysis of the controller/observer system are given. The proposed control scheme is applied for control of a synchronous generator, in comparison with a state-feedback linearising controller (FLC). Simulation study is carried out based on a single-generator infinite-bus power system to show the performance of the controller/observer system

nonlinear adapt control via sliding-mod state and perturb observ
 the paper present a nonlinear adapt control ( nac ) for single-input single-output feedback linearis nonlinear system . a sliding-mod state and perturb observ is design to estim the system state and perturb which includ the combin effect of system nonlinear , uncertainti and extern disturb . the nac design doe not requir the detail of the nonlinear system model and full system state . it possess an adapt capabl to deal with system paramet uncertainti , unmodel system dynam and extern disturb . the converg of the observ and the stabil analysi of the control / observ system are given . the propos control scheme is appli for control of a synchron gener , in comparison with a state-feedback linearis control ( flc ) . simul studi is carri out base on a single-gener infinite-bu power system to show the perform of the control / observ system

SISO feedback linearisable nonlinear systems


Telemedicine in the management of a cervical dislocation by a mobile neurosurgeon

Abstract: Neurosurgical teams, who are normally located in specialist centres, frequently use teleradiology to make a decision about the transfer of a patient to the nearest neurosurgical department. This decision depends on the type of pathology, the clinical status of the patient and the prognosis. If the transfer of the patient is not possible, for example because of an unstable clinical status, a mobile neurosurgical team may be used. We report a case which was dealt with in a remote French military airborne surgical unit, in the Republic of Chad. The unit, which provides health-care to the French military personnel stationed there, also provides free medical care for the local population. It conducts about 100 operations each month. The unit comprises two surgeons (an orthopaedic and a general surgeon), one anaesthetist, two anaesthetic nurses, one operating room nurse, two nurses, three paramedics and a secretary. The civilian patient presented with unstable cervical trauma. A mobile neurosurgeon operated on her, and used telemedicine before, during and after surgery

telemedicin in the manag of a cervic disloc by a mobil neurosurgeon
 neurosurg team , who are normal locat in specialist centr , frequent use teleradiolog to make a decis about the transfer of a patient to the nearest neurosurg depart . thi decis depend on the type of patholog , the clinic statu of the patient and the prognosi . if the transfer of the patient is not possibl , for exampl becaus of an unstabl clinic statu , a mobil neurosurg team may be use . we report a case which wa dealt with in a remot french militari airborn surgic unit , in the republ of chad . the unit , which provid health-car to the french militari personnel station there , also provid free medic care for the local popul . it conduct about 100 oper each month . the unit compris two surgeon ( an orthopaed and a gener surgeon ) , one anaesthetist , two anaesthet nurs , one oper room nurs , two nurs , three paramed and a secretari . the civilian patient present with unstabl cervic trauma . a mobil neurosurgeon oper on her , and use telemedicin befor , dure and after surgeri


The design and performance evaluation of alternative XML storage strategies

Abstract: This paper studies five strategies for storing XML documents including one that leaves documents in the file system, three that use a relational database system, and one that uses an object manager. We implement and evaluate each approach using a number of XQuery queries. A number of interesting insights are gained from these experiments and a summary of the advantages and disadvantages of the approaches is presented

the design and perform evalu of altern xml storag strategi
 thi paper studi five strategi for store xml document includ one that leav document in the file system , three that use a relat databas system , and one that use an object manag . we implement and evalu each approach use a number of xqueri queri . a number of interest insight are gain from these experi and a summari of the advantag and disadvantag of the approach is present

performance evaluation
file system
relational database system
object manager
XQuery queries
XML document storage


The effects of work pace on within-participant and between-participant keying force, electromyography, and fatigue

Abstract: A laboratory study was conducted to determine the effects of work pace on typing force, electromyographic (EMG) activity, and subjective discomfort. We found that as participants typed faster, their typing force and finger flexor and extensor EMG activity increased linearly. There was also an increase in subjective discomfort, with a sharp threshold between participants' self-selected pace and their maximum typing speed. The results suggest that participants self-select a typing pace that maximizes typing speed and minimizes discomfort. The fastest typists did not produce significantly more finger flexor EMG activity but did produce proportionately less finger extensor EMG activity compared with the slower typists. We hypothesize that fast typists may use different muscle recruitment patterns that allow them to be more efficient than slower typists at striking the keys. In addition, faster typists do not experience more discomfort than slow typists. These findings show that the relative pace of typing is more important than actual typing speed with regard to discomfort and muscle activity. These results suggest that typists may benefit from skill training to increase maximum typing speed. Potential applications of this research includes skill training for typists

the effect of work pace on within-particip and between-particip key forc , electromyographi , and fatigu
 a laboratori studi wa conduct to determin the effect of work pace on type forc , electromyograph ( emg ) activ , and subject discomfort . we found that as particip type faster , their type forc and finger flexor and extensor emg activ increas linearli . there wa also an increas in subject discomfort , with a sharp threshold between particip ' self-select pace and their maximum type speed . the result suggest that particip self-select a type pace that maxim type speed and minim discomfort . the fastest typist did not produc significantli more finger flexor emg activ but did produc proportion less finger extensor emg activ compar with the slower typist . we hypothes that fast typist may use differ muscl recruit pattern that allow them to be more effici than slower typist at strike the key . in addit , faster typist do not experi more discomfort than slow typist . these find show that the rel pace of type is more import than actual type speed with regard to discomfort and muscl activ . these result suggest that typist may benefit from skill train to increas maximum type speed . potenti applic of thi research includ skill train for typist

keying force
subjective discomfort
discomfort
finger flexor
EMG activity
typing speed
typists
muscle recruitment patterns
skill training
work pace effect


CyberEthics bibliography 2002: a select list of recent works

Abstract: Included in the 2002 annual bibliography update is a select list of recent books and conference proceedings that have been published since 2000. Also included is a select list of special issues of journals and periodicals that were recently published. For additional lists of recently published books and articles, see ibid. (June 2000, June 2001)

cybereth bibliographi 2002 : a select list of recent work
 includ in the 2002 annual bibliographi updat is a select list of recent book and confer proceed that have been publish sinc 2000 . also includ is a select list of special issu of journal and period that were recent publish . for addit list of recent publish book and articl , see ibid . ( june 2000 , june 2001 )

CyberEthics bibliography
2002 annual bibliography
recent books
conference proceedings
special issues
journals
periodicals


Diagnostic expert system using non-monotonic reasoning

Abstract: The objective of this work is to develop an expert system for cucumber disorder diagnosis using non-monotonic reasoning to handle the situation when the system cannot reach a conclusion. One reason for this situation is when the information is incomplete. Another reason is when the domain knowledge itself is incomplete. Another reason is when the information is inconsistent. This method maintains the truth of the system in case of changing a piece of information. The proposed method uses two types of non-monotonic reasoning namely: default reasoning and reasoning in the presence of inconsistent information to achieve its goal

diagnost expert system use non-monoton reason
 the object of thi work is to develop an expert system for cucumb disord diagnosi use non-monoton reason to handl the situat when the system can not reach a conclus . one reason for thi situat is when the inform is incomplet . anoth reason is when the domain knowledg itself is incomplet . anoth reason is when the inform is inconsist . thi method maintain the truth of the system in case of chang a piec of inform . the propos method use two type of non-monoton reason name : default reason and reason in the presenc of inconsist inform to achiev it goal

diagnostic expert system
cucumber disorder diagnosis
default reasoning
inconsistent information
nonmonotonic reasoning
incomplete information
truth maintenance
agriculture


Uniform hyperbolic polynomial B-spline curves

Abstract: This paper presents a new kind of uniform splines, called hyperbolic polynomial B-splines, generated over the space Omega =span{sinh t, cosh t, t/sup k-3/, t/sup k-3/, t/sup k-4/, ..., t 1} in which k is an arbitrary integer larger than or equal to 3. Hyperbolic polynomial B-splines share most of the properties of B-splines in polynomial space. We give subdivision formulae for this new kind of curve and then prove that they have variation diminishing properties and the control polygons of the subdivisions converge. Hyperbolic polynomial B-splines can handle freeform curves as well as remarkable curves such as the hyperbola and the catenary. The generation of tensor product surfaces using these new splines is straightforward. Examples of such tensor product surfaces: the saddle surface, the catenary cylinder, and a certain kind of ruled surface are given

uniform hyperbol polynomi b-spline curv
 thi paper present a new kind of uniform spline , call hyperbol polynomi b-spline , gener over the space omega = span{sinh t , cosh t , t / sup k-3/ , t / sup k-3/ , t / sup k-4/ , ... , t 1 } in which k is an arbitrari integ larger than or equal to 3 . hyperbol polynomi b-spline share most of the properti of b-spline in polynomi space . we give subdivis formula for thi new kind of curv and then prove that they have variat diminish properti and the control polygon of the subdivis converg . hyperbol polynomi b-spline can handl freeform curv as well as remark curv such as the hyperbola and the catenari . the gener of tensor product surfac use these new spline is straightforward . exampl of such tensor product surfac : the saddl surfac , the catenari cylind , and a certain kind of rule surfac are given

uniform hyperbolic polynomial B-spline curves


On lag windows connected with Jacobi polynomials

Abstract: Lag windows whose corresponding spectral windows are Jacobi polynomials or sums of Jacobi polynomials are introduced. The bias and variance of their spectral density estimators are investigated and their window bandwidth and characteristic exponent are determined

on lag window connect with jacobi polynomi
 lag window whose correspond spectral window are jacobi polynomi or sum of jacobi polynomi are introduc . the bia and varianc of their spectral densiti estim are investig and their window bandwidth and characterist expon are determin

lag windows
Jacobi polynomials
spectral windows
spectral density estimators
window bandwidth
characteristic exponent


Time-domain reconstruction for thermoacoustic tomography in a spherical geometry

Abstract: Reconstruction-based microwave-induced thermoacoustic tomography in a spherical configuration is presented. Thermoacoustic waves from biological tissue samples excited by microwave pulses are measured by a wide-band unfocused ultrasonic transducer, which is set on a spherical surface enclosing the sample. Sufficient data are acquired from different directions to reconstruct the microwave absorption distribution. An exact reconstruction solution is derived and approximated to a modified backprojection algorithm. Experiments demonstrate that the reconstructed images agree well with the original samples. The spatial resolution of the system reaches 0.5 mm

time-domain reconstruct for thermoacoust tomographi in a spheric geometri
 reconstruction-bas microwave-induc thermoacoust tomographi in a spheric configur is present . thermoacoust wave from biolog tissu sampl excit by microwav puls are measur by a wide-band unfocus ultrason transduc , which is set on a spheric surfac enclos the sampl . suffici data are acquir from differ direct to reconstruct the microwav absorpt distribut . an exact reconstruct solut is deriv and approxim to a modifi backproject algorithm . experi demonstr that the reconstruct imag agre well with the origin sampl . the spatial resolut of the system reach 0.5 mm


Current-mode fully-programmable piece-wise-linear block for neuro-fuzzy applications

Abstract: A new method to implement an arbitrary piece-wise-linear characteristic in current mode is presented. Each of the breaking points and each slope is separately controllable. As an example a block that implements an N-shaped piece-wise-linearity has been designed. The N-shaped block operates in the subthreshold region and uses only ten transistors. These characteristics make it especially suitable for large arrays of neuro-fuzzy systems where the number of transistors and power consumption per cell is an important concern. A prototype of this block has been fabricated in a 0.35 mu m CMOS technology. The functionality and programmability of this circuit has been verified through experimental results

current-mod fully-programm piece-wise-linear block for neuro-fuzzi applic
 a new method to implement an arbitrari piece-wise-linear characterist in current mode is present . each of the break point and each slope is separ control . as an exampl a block that implement an n-shape piece-wise-linear ha been design . the n-shape block oper in the subthreshold region and use onli ten transistor . these characterist make it especi suitabl for larg array of neuro-fuzzi system where the number of transistor and power consumpt per cell is an import concern . a prototyp of thi block ha been fabric in a 0.35 mu m cmo technolog . the function and programm of thi circuit ha been verifi through experiment result


Disappointment reigns [retail IT]

Abstract: CPFR remains at the forefront of CIOs' minds, but a number of barriers, such as secretive corporate cultures and spotty data integrity, stand between retail organizations and true supply-chain collaboration. CIOs remain vexed at these obstacles, as was evidenced at a roundtable discussion by retail and consumer-goods IT leaders at the Retail Systems 2002 conference, held in Chicago by the consultancy MoonWatch Media Inc., Newton Upper Falls, Mass. Other annoyances discussed by retail CIOs include poorly designed business processes and retail's poor image with the IT talent emerging from school into the job market

disappoint reign [ retail it ]
 cpfr remain at the forefront of cio ' mind , but a number of barrier , such as secret corpor cultur and spotti data integr , stand between retail organ and true supply-chain collabor . cio remain vex at these obstacl , as wa evidenc at a roundtabl discuss by retail and consumer-good it leader at the retail system 2002 confer , held in chicago by the consult moonwatch media inc. , newton upper fall , mass. other annoy discuss by retail cio includ poorli design busi process and retail 's poor imag with the it talent emerg from school into the job market

collaborative planning forecasting and replenishment


A decision support model for selecting product/service benefit positionings

Abstract: The art (and science) of successful product/service positioning generally hinges on the firm's ability to select a set of attractively priced consumer benefits that are: valued by the buyer, distinctive in one or more respects, believable, deliverable, and sustainable (under actual or potential competitive abilities to imitate, neutralize, or overcome) in the target markets that the firm selects. For many years, the ubiquitous quadrant chart has been used to provide a simple graph of product/service benefits (usually called product/service attributes) described in terms of consumers' perceptions of the importance of attributes (to brand/supplier choice) and the performance of competing firms on these attributes. This paper describes a model that extends the quadrant chart concept to a decision support system that optimizes a firm's market share for a specified product/service. In particular, we describe a decision support model that utilizes relatively simple marketing research data on consumers' judged benefit importances, and supplier performances on these benefits to develop message components for specified target buyers. A case study is used to illustrate the model. The study deals with developing advertising message components for a relatively new entrant in the US air shipping market. We also discuss, more briefly, management reactions to application of the model to date, and areas for further research and model extension

a decis support model for select product / servic benefit posit
 the art ( and scienc ) of success product / servic posit gener hing on the firm 's abil to select a set of attract price consum benefit that are : valu by the buyer , distinct in one or more respect , believ , deliver , and sustain ( under actual or potenti competit abil to imit , neutral , or overcom ) in the target market that the firm select . for mani year , the ubiquit quadrant chart ha been use to provid a simpl graph of product / servic benefit ( usual call product / servic attribut ) describ in term of consum ' percept of the import of attribut ( to brand / supplier choic ) and the perform of compet firm on these attribut . thi paper describ a model that extend the quadrant chart concept to a decis support system that optim a firm 's market share for a specifi product / servic . in particular , we describ a decis support model that util rel simpl market research data on consum ' judg benefit import , and supplier perform on these benefit to develop messag compon for specifi target buyer . a case studi is use to illustr the model . the studi deal with develop advertis messag compon for a rel new entrant in the us air ship market . we also discuss , more briefli , manag reaction to applic of the model to date , and area for further research and model extens

decision support model
product/service benefit positionings
attractively priced consumer benefits
quadrant chart
simple graph
product/service attributes
brand/supplier choice
marketing research data
message components
advertising message components
advertising
US air shipping market
management reactions
market share optimization
consumer judged benefit importances
greedy heuristic
optimal message design


Sampled-data implementation of a gain scheduled controller

Abstract: A continuous-time gain-scheduled controller must be transformed to a corresponding discrete-time controller for sampled-data implementation. We show that certain linearization properties of a continuous-time gain scheduled controller are inherited by its sampled-data implementation. We also show that a similar relationship exists for multi-rate gain scheduled controllers arising in flight control applications

sampled-data implement of a gain schedul control
 a continuous-tim gain-schedul control must be transform to a correspond discrete-tim control for sampled-data implement . we show that certain linear properti of a continuous-tim gain schedul control are inherit by it sampled-data implement . we also show that a similar relationship exist for multi-r gain schedul control aris in flight control applic


A humane tool for aiding computer science advisors, computer science students, and parents

Abstract: Over the past few years, the computer science department faculty at Baylor has observed that some students who perform adequately during the freshman and sophomore years have substantial difficulty during the junior and senior years of study. Baylor University is an institution committed to being caring of its students. The objective for this study grew out of these two realities. There are three objectives of this research. One objective is to identify students, no later than the sophomore year, who are less likely to succeed as computer science majors. A second objective is to accomplish this identification by using data from seniors majoring in computer science. A third objective is to begin to use this information at the end of their sophomore year when meeting with a computer science faculty advisor. A regression study is conducted on the data from all students classified as seniors, majoring in computer science in May 2001, showing grades in six freshman and sophomore courses, and showing grades for at least five junior or senior level computer science courses. These students and their course performance data constituted the study sample

a human tool for aid comput scienc advisor , comput scienc student , and parent
 over the past few year , the comput scienc depart faculti at baylor ha observ that some student who perform adequ dure the freshman and sophomor year have substanti difficulti dure the junior and senior year of studi . baylor univers is an institut commit to be care of it student . the object for thi studi grew out of these two realiti . there are three object of thi research . one object is to identifi student , no later than the sophomor year , who are less like to succeed as comput scienc major . a second object is to accomplish thi identif by use data from senior major in comput scienc . a third object is to begin to use thi inform at the end of their sophomor year when meet with a comput scienc faculti advisor . a regress studi is conduct on the data from all student classifi as senior , major in comput scienc in may 2001 , show grade in six freshman and sophomor cours , and show grade for at least five junior or senior level comput scienc cours . these student and their cours perform data constitut the studi sampl

humane tool
computer science advisors
computer science students
parents
sophomore year
Baylor University
computer science majors
regression study
course performance data
student care


Control of integral processes with dead-time. 1. Disturbance observer-based 2 DOF control scheme

Abstract: A disturbance observer-based control scheme (a version of 2 DOF internal model control) which is very effective in controlling integral processes with dead time is presented. The controller can be designed to reject ramp disturbances as well as step disturbances and even arbitrary disturbances. When the plant model is available only two parameters are left to tune. One is the time constant of the set-point response and the other is the time constant of the disturbance response. The latter is tuned according to the compromise between disturbance response and robustness. This control scheme has a simple, clear, easy-to-design, easy-to-implement structure and good performance. It is compared to the best results (so far) using some simulation examples

control of integr process with dead-tim . 1 . disturb observer-bas 2 dof control scheme
 a disturb observer-bas control scheme ( a version of 2 dof intern model control ) which is veri effect in control integr process with dead time is present . the control can be design to reject ramp disturb as well as step disturb and even arbitrari disturb . when the plant model is avail onli two paramet are left to tune . one is the time constant of the set-point respons and the other is the time constant of the disturb respons . the latter is tune accord to the compromis between disturb respons and robust . thi control scheme ha a simpl , clear , easy-to-design , easy-to-impl structur and good perform . it is compar to the best result ( so far ) use some simul exampl

disturbance observer-based 2 DOF control scheme


Assessment of prehospital chest pain using telecardiology

Abstract: Two hundred general practitioners were equipped with a portable electrocardiograph which could transmit a 12-lead electrocardiogram (ECG) via a telephone line. A cardiologist was available 24 h a day for an interactive teleconsultation. In a 13 month period there were 5073 calls to the telecardiology service and 952 subjects with chest pain were identified. The telecardiology service allowed the general practitioners to manage 700 cases (74%) themselves; further diagnostic tests were requested for 162 patients (17%) and 83 patients (9%) were sent to the hospital emergency department. In the last group a cardiological diagnosis was confirmed in 60 patients and refuted in 23. Seven patients in whom the telecardiology service failed to detect a cardiac problem were hospitalized in the subsequent 48 h. The telecardiology service showed a sensitivity of 97.4%, a specificity of 89.5% and a diagnostic accuracy of 86.9% for chest pain. Telemedicine could be a useful tool in the diagnosis of chest pain in primary care

assess of prehospit chest pain use telecardiolog
 two hundr gener practition were equip with a portabl electrocardiograph which could transmit a 12-lead electrocardiogram ( ecg ) via a telephon line . a cardiologist wa avail 24 h a day for an interact teleconsult . in a 13 month period there were 5073 call to the telecardiolog servic and 952 subject with chest pain were identifi . the telecardiolog servic allow the gener practition to manag 700 case ( 74 % ) themselv ; further diagnost test were request for 162 patient ( 17 % ) and 83 patient ( 9 % ) were sent to the hospit emerg depart . in the last group a cardiolog diagnosi wa confirm in 60 patient and refut in 23 . seven patient in whom the telecardiolog servic fail to detect a cardiac problem were hospit in the subsequ 48 h. the telecardiolog servic show a sensit of 97.4 % , a specif of 89.5 % and a diagnost accuraci of 86.9 % for chest pain . telemedicin could be a use tool in the diagnosi of chest pain in primari care

telecardiology
general practitioners
portable electrocardiograph
telephone line
interactive teleconsultation
13 month
diagnostic tests
patients
hospital emergency department
sensitivity
specificity
diagnostic accuracy
primary care
prehospital chest pain assessment
electrocardiogram transmission


The n-tier hub technology

Abstract: During 2001, the Enterprise Engineering Laboratory at George Mason University was contracted by the Boeing Company to develop an eHub capability for aerospace suppliers in Taiwan. In a laboratory environment, the core technology was designed, developed, and tested, and now a large first-tier aerospace supplier in Taiwan is commercializing the technology. The project objective was to provide layered network and application services for transporting XML-based business transaction flows across multi-tier, heterogeneous data processing environments. This paper documents the business scenario, the eHub application, and the network transport mechanisms that were used to build the n-tier hub. In contrast to most eHubs, this solution takes the point of view of suppliers, pushing data in accordance with supplier requirements; hence, enhancing the probability of supplier adoption. The unique contribution of this project is the development of an eHub that meets the needs of small and medium enterprises (SMEs) and first-tier suppliers

the n-tier hub technolog
 dure 2001 , the enterpris engin laboratori at georg mason univers wa contract by the boe compani to develop an ehub capabl for aerospac supplier in taiwan . in a laboratori environ , the core technolog wa design , develop , and test , and now a larg first-tier aerospac supplier in taiwan is commerci the technolog . the project object wa to provid layer network and applic servic for transport xml-base busi transact flow across multi-ti , heterogen data process environ . thi paper document the busi scenario , the ehub applic , and the network transport mechan that were use to build the n-tier hub . in contrast to most ehub , thi solut take the point of view of supplier , push data in accord with supplier requir ; henc , enhanc the probabl of supplier adopt . the uniqu contribut of thi project is the develop of an ehub that meet the need of small and medium enterpris ( sme ) and first-tier supplier

multi-tier heterogeneous data processing environments


Explicit solutions for transcendental equations

Abstract: A simple method to formulate an explicit expression for the roots of any analytic transcendental function is presented. The method is based on Cauchy's integral theorem and uses only basic concepts of complex integration. A convenient method for numerically evaluating the exact expression is presented. The application of both the formulation and evaluation of the exact expression is illustrated for several classical root finding problems

explicit solut for transcendent equat
 a simpl method to formul an explicit express for the root of ani analyt transcendent function is present . the method is base on cauchi 's integr theorem and use onli basic concept of complex integr . a conveni method for numer evalu the exact express is present . the applic of both the formul and evalu of the exact express is illustr for sever classic root find problem

transcendental equations
complex integration
root finding
analytic functions
Cauchy integral theorem
singularity
polynomial
Fourier transform


Transmission of real-time video over IP differentiated services

Abstract: Multimedia applications require high bandwidth and guaranteed quality of service (QoS). The current Internet, which provides 'best effort' services, cannot meet the stringent QoS requirements for delivering MPEG videos. It is proposed that MPEG frames are transported through various service models of DiffServ. Performance analysis and simulation results show that the proposed approach can not only guarantee QoS but can also achieve high bandwidth utilisation

transmiss of real-tim video over ip differenti servic
 multimedia applic requir high bandwidth and guarante qualiti of servic ( qo ) . the current internet , which provid ' best effort ' servic , can not meet the stringent qo requir for deliv mpeg video . it is propos that mpeg frame are transport through variou servic model of diffserv . perform analysi and simul result show that the propos approach can not onli guarante qo but can also achiev high bandwidth utilis

IP differentiated services
multimedia applications
quality of service
Internet
MPEG video
DiffServ
high bandwidth utilisation
real-time video transmission
QoS guarantees


Airline base schedule optimisation by flight network annealing

Abstract: A system for rigorous airline base schedule optimisation is described. The architecture of the system reflects the underlying problem structure. The architecture is hierarchical consisting of a master problem for logical aircraft schedule optimisation and a sub-problem for schedule evaluation. The sub-problem is made up of a number of component sub-problems including connection generation, passenger choice modelling, passenger traffic allocation by simulation and revenue and cost determination. Schedule optimisation is carried out by means of simulated annealing of flight networks. The operators for the simulated annealing process are feasibility preserving and form a complete set of operators

airlin base schedul optimis by flight network anneal
 a system for rigor airlin base schedul optimis is describ . the architectur of the system reflect the underli problem structur . the architectur is hierarch consist of a master problem for logic aircraft schedul optimis and a sub-problem for schedul evalu . the sub-problem is made up of a number of compon sub-problem includ connect gener , passeng choic model , passeng traffic alloc by simul and revenu and cost determin . schedul optimis is carri out by mean of simul anneal of flight network . the oper for the simul anneal process are feasibl preserv and form a complet set of oper

airline base schedule optimisation
flight network annealing
master problem
logical aircraft schedule optimisation
schedule evaluation
connection generation
passenger choice modelling
passenger traffic allocation
cost determination
simulated annealing
operators
system architecture
hierarchical architecture
time complexity


Turning telecommunications call details to churn prediction: a data mining approach

Abstract: As deregulation, new technologies, and new competitors open up the mobile telecommunications industry, churn prediction and management has become of great concern to mobile service providers. A mobile service provider wishing to retain its subscribers needs to be able to predict which of them may be at-risk of changing services and will make those subscribers the focus of customer retention efforts. In response to the limitations of existing churn-prediction systems and the unavailability of customer demographics in the mobile telecommunications provider investigated, we propose, design, and experimentally evaluate a churn-prediction technique that predicts churning from subscriber contractual information and call pattern changes extracted from call details. This proposed technique is capable of identifying potential churners at the contract level for a specific prediction time-period. In addition, the proposed technique incorporates the multi-classifier class-combiner approach to address the challenge of a highly skewed class distribution between churners and non-churners. The empirical evaluation results suggest that the proposed call-behavior-based churn-prediction technique exhibits satisfactory predictive effectiveness when more recent call details are employed for the churn prediction model construction. Furthermore, the proposed technique is able to demonstrate satisfactory or reasonable predictive power within the one-month interval between model construction and churn prediction. Using a previous demographics-based churn-prediction system as a reference, the lift factors attained by our proposed technique appear largely satisfactory

turn telecommun call detail to churn predict : a data mine approach
 as deregul , new technolog , and new competitor open up the mobil telecommun industri , churn predict and manag ha becom of great concern to mobil servic provid . a mobil servic provid wish to retain it subscrib need to be abl to predict which of them may be at-risk of chang servic and will make those subscrib the focu of custom retent effort . in respons to the limit of exist churn-predict system and the unavail of custom demograph in the mobil telecommun provid investig , we propos , design , and experiment evalu a churn-predict techniqu that predict churn from subscrib contractu inform and call pattern chang extract from call detail . thi propos techniqu is capabl of identifi potenti churner at the contract level for a specif predict time-period . in addit , the propos techniqu incorpor the multi-classifi class-combin approach to address the challeng of a highli skew class distribut between churner and non-churn . the empir evalu result suggest that the propos call-behavior-bas churn-predict techniqu exhibit satisfactori predict effect when more recent call detail are employ for the churn predict model construct . furthermor , the propos techniqu is abl to demonstr satisfactori or reason predict power within the one-month interv between model construct and churn predict . use a previou demographics-bas churn-predict system as a refer , the lift factor attain by our propos techniqu appear larg satisfactori


Waltzing through Port 80 [Web security]

Abstract: Web services follow the trusting model of the Internet, but allow ever more powerful payloads to travel between businesses and consumers. Before you leap online, the author advises to scan the security concerns and the available fixes. He looks at how we define and store Web services and incorporate them into business processes

waltz through port 80 [ web secur ]
 web servic follow the trust model of the internet , but allow ever more power payload to travel between busi and consum . befor you leap onlin , the author advis to scan the secur concern and the avail fix . he look at how we defin and store web servic and incorpor them into busi process

Web services
trust
Internet
business processes
data security


Asymptotic expansions for the zeros of certain special functions

Abstract: We derive asymptotic expansions for the zeros of the cosine-integral Ci(x) and the Struve function H/sub 0/(x), and extend the available formulae for the zeros of Kelvin functions. Numerical evidence is provided to illustrate the accuracy of the expansions

asymptot expans for the zero of certain special function
 we deriv asymptot expans for the zero of the cosine-integr ci(x ) and the struve function h / sub 0/(x ) , and extend the avail formula for the zero of kelvin function . numer evid is provid to illustr the accuraci of the expans

asymptotic expansions
zeros
cosine-integral
Struve function
Kelvin functions
accuracy


Differential and integral calculus on discrete time series data

Abstract: It has been found that discontinuity plays a crucial role in natural evolutions (Lin 1998). In this presentation, we will generalize the idea of integration and differentiation, we developed in calculus, to the study of time series in the hope that the problem of outliers and discontinuities can be resolved more successfully than simply deleting the outliers and avoiding discontinuities from the overall data analysis. In general, appearances of outliers tend to mean existence of discontinuities, explosive growth or decline in the evolution. At the same time, our approach can be employed to partially overcome the problem of not having enough data values in any available time series. At the end, we will look at some real-life problems of prediction in order to see the power of this new approach

differenti and integr calculu on discret time seri data
 it ha been found that discontinu play a crucial role in natur evolut ( lin 1998 ) . in thi present , we will gener the idea of integr and differenti , we develop in calculu , to the studi of time seri in the hope that the problem of outlier and discontinu can be resolv more success than simpli delet the outlier and avoid discontinu from the overal data analysi . in gener , appear of outlier tend to mean exist of discontinu , explos growth or declin in the evolut . at the same time , our approach can be employ to partial overcom the problem of not have enough data valu in ani avail time seri . at the end , we will look at some real-lif problem of predict in order to see the power of thi new approach

differentiation
integration
time series
natural evolutions
outliers
prediction


Exploiting structure in quantified formulas

Abstract: We study the computational problem "find the value of the quantified formula obtained by quantifying the variables in a sum of terms." The "sum" can be based on any commutative monoid, the "quantifiers" need only satisfy two simple conditions, and the variables can have any finite domain. This problem is a generalization of the problem "given a sum-of-products of terms, find the value of the sum" studied by R.E. Stearns and H.B. Hunt III (1996). A data structure called a "structure tree" is defined which displays information about "subproblems" that can be solved independently during the process of evaluating the formula. Some formulas have "good" structure trees which enable certain generic algorithms to evaluate the formulas in significantly less time than by brute force evaluation. By "generic algorithm," we mean an algorithm constructed from uninterpreted function symbols, quantifier symbols, and monoid operations. The algebraic nature of the model facilitates a formal treatment of "local reductions" based on the "local replacement" of terms. Such local reductions "preserve formula structure" in the sense that structure trees with nice properties transform into structure trees with similar properties. These local reductions can also be used to transform hierarchical specified problems with useful structure into hierarchically specified problems having similar structure

exploit structur in quantifi formula
 we studi the comput problem " find the valu of the quantifi formula obtain by quantifi the variabl in a sum of term . " the " sum " can be base on ani commut monoid , the " quantifi " need onli satisfi two simpl condit , and the variabl can have ani finit domain . thi problem is a gener of the problem " given a sum-of-product of term , find the valu of the sum " studi by r.e. stearn and h.b. hunt iii ( 1996 ) . a data structur call a " structur tree " is defin which display inform about " subproblem " that can be solv independ dure the process of evalu the formula . some formula have " good " structur tree which enabl certain gener algorithm to evalu the formula in significantli less time than by brute forc evalu . by " gener algorithm , " we mean an algorithm construct from uninterpret function symbol , quantifi symbol , and monoid oper . the algebra natur of the model facilit a formal treatment of " local reduct " base on the " local replac " of term . such local reduct " preserv formula structur " in the sens that structur tree with nice properti transform into structur tree with similar properti . these local reduct can also be use to transform hierarch specifi problem with use structur into hierarch specifi problem have similar structur

quantified formulas
commutative monoid
data structure
structure tree
generic algorithms
function symbols
quantifier symbols
monoid operations
hierarchically specified problems
structure exploitation
satisfiability problems
constraint satisfaction problems
dynamic programming
computational complexity


The exact solution of coupled thermoelectroelastic behavior of piezoelectric laminates

Abstract: Exact solutions for static analysis of thermoelectroelastic laminated plates are presented. In this analysis, a new concise procedure for the analytical solution of composite laminated plates with piezoelectric layers is developed. A simple eigenvalue formula in real number form is directly developed from the basic coupled piezoelectric differential equations and the difficulty of treating imaginary eigenvalues is avoided. The solution is defined in the trigonometric series and can be applied to thin and thick plates. Numerical studies are conducted on a five-layer piezoelectric plate and the complexity of stresses and deformations under combined loading is illustrated. The results could be used as a benchmark for assessing any numerical solution by approximate approaches such as the finite element method while also providing useful physical insight into the behavior of piezoelectric plates in a thermal environment

the exact solut of coupl thermoelectroelast behavior of piezoelectr lamin
 exact solut for static analysi of thermoelectroelast lamin plate are present . in thi analysi , a new concis procedur for the analyt solut of composit lamin plate with piezoelectr layer is develop . a simpl eigenvalu formula in real number form is directli develop from the basic coupl piezoelectr differenti equat and the difficulti of treat imaginari eigenvalu is avoid . the solut is defin in the trigonometr seri and can be appli to thin and thick plate . numer studi are conduct on a five-lay piezoelectr plate and the complex of stress and deform under combin load is illustr . the result could be use as a benchmark for assess ani numer solut by approxim approach such as the finit element method while also provid use physic insight into the behavior of piezoelectr plate in a thermal environ


Statistical analysis of nonlinearly reconstructed near-infrared tomographic images. II. Experimental interpretation

Abstract: For pt. I see ibid., vol. 21, no. 7, p. 755-63 (2002). Image error analysis of a diffuse near-infrared tomography (NIR) system has been carried out on simulated data using a statistical approach described in pt. I of this paper (Pogue et al., 2002). The methodology is used here with experimental data acquired on phantoms with a prototype imaging system intended for characterizing breast tissue. Results show that imaging performance is not limited by random measurement error, but rather by calibration issues. The image error over the entire field of view is generally not minimized when an accurate homogeneous estimate of the phantom properties is available; however, local image error over a target region of interest (ROI) is reduced. The image reconstruction process which includes a Levenberg-Marquardt style regularization provides good minimization of the objective function, yet its reduction is not always correlated with an overall image error decrease. Minimization of the bias in an ROI which contains localized changes in the optical properties can be achieved through five to nine iterations of the algorithm. Precalibration of the algorithm through statistical evaluation of phantom studies may provide a better measure of the image accuracy than that implied by minimization of the standard objective function

statist analysi of nonlinearli reconstruct near-infrar tomograph imag . ii . experiment interpret
 for pt . i see ibid . , vol . 21 , no . 7 , p. 755 - 63 ( 2002 ) . imag error analysi of a diffus near-infrar tomographi ( nir ) system ha been carri out on simul data use a statist approach describ in pt . i of thi paper ( pogu et al . , 2002 ) . the methodolog is use here with experiment data acquir on phantom with a prototyp imag system intend for character breast tissu . result show that imag perform is not limit by random measur error , but rather by calibr issu . the imag error over the entir field of view is gener not minim when an accur homogen estim of the phantom properti is avail ; howev , local imag error over a target region of interest ( roi ) is reduc . the imag reconstruct process which includ a levenberg-marquardt style regular provid good minim of the object function , yet it reduct is not alway correl with an overal imag error decreas . minim of the bia in an roi which contain local chang in the optic properti can be achiev through five to nine iter of the algorithm . precalibr of the algorithm through statist evalu of phantom studi may provid a better measur of the imag accuraci than that impli by minim of the standard object function


Robustness of trajectories with finite time extent

Abstract: The problem of estimating perturbation bounds of finite trajectories is considered. The trajectory is assumed to be generated by a linear system with uncertainty characterized in terms of integral quadratic constraints. It is shown that such perturbation bounds can be obtained as the solution to a nonconvex quadratic optimization problem, which can be addressed using Lagrange relaxation. The result can be used in robustness analysis of hybrid systems and switched dynamical systems

robust of trajectori with finit time extent
 the problem of estim perturb bound of finit trajectori is consid . the trajectori is assum to be gener by a linear system with uncertainti character in term of integr quadrat constraint . it is shown that such perturb bound can be obtain as the solut to a nonconvex quadrat optim problem , which can be address use lagrang relax . the result can be use in robust analysi of hybrid system and switch dynam system


Pulmonary perfusion patterns and pulmonary arterial pressure

Abstract: Uses artificial intelligence methods to determine whether quantitative parameters describing the perfusion image can be synthesized to make a reasonable estimate of the pulmonary arterial (PA) pressure measured at angiography. Radionuclide perfusion images were obtained in 120 patients with normal chest radiographs who also underwent angiographic PA pressure measurement within 3 days of the radionuclide study. An artificial neural network (ANN) was constructed from several image parameters describing statistical and boundary characteristics of the perfusion images. With use of a leave-one-out cross-validation technique, this method was used to predict the PA systolic pressure in cases on which the ANN had not been trained. A Pearson correlation coefficient was determined between the predicted and measured PA systolic pressures. ANN predictions correlated with measured pulmonary systolic pressures (r=0.846, P<.001). The accuracy of the predictions was not influenced by the presence of pulmonary embolism. None of the 51 patients with predicted PA pressures of less than 29 mm Hg had pulmonary hypertension at angiography. All 13 patients with predicted PA pressures greater than 48 mm Hg had pulmonary hypertension at angiography. Meaningful information regarding PA pressure can be derived from noninvasive radionuclide perfusion scanning. The use of image analysis in concert with artificial intelligence methods helps to reveal physiologic information not readily apparent at visual image inspection

pulmonari perfus pattern and pulmonari arteri pressur
 use artifici intellig method to determin whether quantit paramet describ the perfus imag can be synthes to make a reason estim of the pulmonari arteri ( pa ) pressur measur at angiographi . radionuclid perfus imag were obtain in 120 patient with normal chest radiograph who also underw angiograph pa pressur measur within 3 day of the radionuclid studi . an artifici neural network ( ann ) wa construct from sever imag paramet describ statist and boundari characterist of the perfus imag . with use of a leave-one-out cross-valid techniqu , thi method wa use to predict the pa systol pressur in case on which the ann had not been train . a pearson correl coeffici wa determin between the predict and measur pa systol pressur . ann predict correl with measur pulmonari systol pressur ( r=0.846 , p<.001 ) . the accuraci of the predict wa not influenc by the presenc of pulmonari embol . none of the 51 patient with predict pa pressur of less than 29 mm hg had pulmonari hypertens at angiographi . all 13 patient with predict pa pressur greater than 48 mm hg had pulmonari hypertens at angiographi . meaning inform regard pa pressur can be deriv from noninvas radionuclid perfus scan . the use of imag analysi in concert with artifici intellig method help to reveal physiolog inform not readili appar at visual imag inspect

angiographic pulmonary arterial pressure measurement

P P P P P P P P P P P P P P P P P P P R R R R R R


Cutting through the confusion [workflow & content management]

Abstract: Information management vendors are rushing to re-position themselves and put a portal spin on their products, says ITNET's Graham Urquhart. The result is confusion, with a range of different definitions and claims clouding the true picture

cut through the confus [ workflow & content manag ]
 inform manag vendor are rush to re-posit themselv and put a portal spin on their product , say itnet 's graham urquhart . the result is confus , with a rang of differ definit and claim cloud the true pictur


Data mining efforts increase business productivity and efficiency

Abstract: The use and acquisition of information is a key part of the way any business makes money. Data mining technologies provide greater insight into how this information can be better used and more effectively acquired. Steven Kudyba, an expert in the field of data mining technologies, shares his expertise in an interview

data mine effort increas busi product and effici
 the use and acquisit of inform is a key part of the way ani busi make money . data mine technolog provid greater insight into how thi inform can be better use and more effect acquir . steven kudyba , an expert in the field of data mine technolog , share hi expertis in an interview


Computational complexity of probabilistic disambiguation

Abstract: Recent models of natural language processing employ statistical reasoning for dealing with the ambiguity of formal grammars. In this approach, statistics, concerning the various linguistic phenomena of interest, are gathered from actual linguistic data and used to estimate the probabilities of the various entities that are generated by a given grammar, e.g., derivations, parse-trees and sentences. The extension of grammars with probabilities makes it possible to state ambiguity resolution as a constrained optimization formula, which aims at maximizing the probability of some entity that the grammar generates given the input (e.g., maximum probability parse-tree given some input sentence). The implementation of these optimization formulae in efficient algorithms, however, does not always proceed smoothly. In this paper, we address the computational complexity of ambiguity resolution under various kinds of probabilistic models. We provide proofs that some, frequently occurring problems of ambiguity resolution are NP-complete. These problems are encountered in various applications, e.g., language understanding for textand speech-based applications. Assuming the common model of computation, this result implies that, for many existing probabilistic models it is not possible to devise tractable algorithms for solving these optimization problems

comput complex of probabilist disambigu
 recent model of natur languag process employ statist reason for deal with the ambigu of formal grammar . in thi approach , statist , concern the variou linguist phenomena of interest , are gather from actual linguist data and use to estim the probabl of the variou entiti that are gener by a given grammar , e.g. , deriv , parse-tre and sentenc . the extens of grammar with probabl make it possibl to state ambigu resolut as a constrain optim formula , which aim at maxim the probabl of some entiti that the grammar gener given the input ( e.g. , maximum probabl parse-tre given some input sentenc ) . the implement of these optim formula in effici algorithm , howev , doe not alway proceed smoothli . in thi paper , we address the comput complex of ambigu resolut under variou kind of probabilist model . we provid proof that some , frequent occur problem of ambigu resolut are np-complet . these problem are encount in variou applic , e.g. , languag understand for textand speech-bas applic . assum the common model of comput , thi result impli that , for mani exist probabilist model it is not possibl to devis tractabl algorithm for solv these optim problem

computational complexity
probabilistic disambiguation
natural language processing
statistical reasoning
statistics
formal grammars
state ambiguity resolution
constrained optimization formula
probabilistic models
language understanding
NP-completeness results
parsing problems
speech processing


Laguerre pseudospectral method for nonlinear partial differential equations

Abstract: The Laguerre Gauss-Radau interpolation is investigated. Some approximation results are obtained. As an example, the Laguerre pseudospectral scheme is constructed for the BBM equation. The stability and the convergence of proposed scheme are proved. The numerical results show the high accuracy of this approach

laguerr pseudospectr method for nonlinear partial differenti equat
 the laguerr gauss-radau interpol is investig . some approxim result are obtain . as an exampl , the laguerr pseudospectr scheme is construct for the bbm equat . the stabil and the converg of propos scheme are prove . the numer result show the high accuraci of thi approach


Linguistic knowledge and new technologies

Abstract: Modern language studies are characterized by a variety of forms, ways, and methods of their development. In this connection, it is necessary to specify the problem of the development of their internal differentiation and classification, which lead to the formation of specific areas knowledge. An example of such an area is speechology-a field of science belonging to fundamental, theoretical, and applied linguistics

linguist knowledg and new technolog
 modern languag studi are character by a varieti of form , way , and method of their develop . in thi connect , it is necessari to specifi the problem of the develop of their intern differenti and classif , which lead to the format of specif area knowledg . an exampl of such an area is speechology-a field of scienc belong to fundament , theoret , and appli linguist

linguistic knowledge
modern language studies
internal differentiation
applied linguistics
internal classification
speechology
theoretical linguistics
fundamental linguistics


An active functionality service for e-business applications

Abstract: Service based architectures are a powerful approach to meet the fast evolution of business rules and the corresponding software. An active functionality service that detects events and involves the appropriate business rules is a critical component of such a service-based middleware architecture. In this paper we present an active functionality service that is capable of detecting events in heterogeneous environments, it uses an integral ontology-based approach for the semantic interpretation of heterogeneous events and data, and provides notifications through a publish/subscribe notification mechanism. The power of this approach is illustrated with the help of an auction application and through the personalization of car and driver portals in Internet-enabled vehicles

an activ function servic for e-busi applic
 servic base architectur are a power approach to meet the fast evolut of busi rule and the correspond softwar . an activ function servic that detect event and involv the appropri busi rule is a critic compon of such a service-bas middlewar architectur . in thi paper we present an activ function servic that is capabl of detect event in heterogen environ , it use an integr ontology-bas approach for the semant interpret of heterogen event and data , and provid notif through a publish / subscrib notif mechan . the power of thi approach is illustr with the help of an auction applic and through the person of car and driver portal in internet-en vehicl


Fast broadcasting and gossiping in radio networks

Abstract: We establish an O(n log/sup 2/ n) upper bound on the time for deterministic distributed broadcasting in multi-hop radio networks with unknown topology. This nearly matches the known lower bound of Omega (n log n). The fastest previously known algorithm for this problem works in time O(n/sup 3/2/). Using our broadcasting algorithm, we develop an O(n/sup 3/2/ log/sup 2/ n) algorithm for gossiping in the same network model

fast broadcast and gossip in radio network
 we establish an o(n log / sup 2/ n ) upper bound on the time for determinist distribut broadcast in multi-hop radio network with unknown topolog . thi nearli match the known lower bound of omega ( n log n ) . the fastest previous known algorithm for thi problem work in time o(n / sup 3/2/ ) . use our broadcast algorithm , we develop an o(n / sup 3/2/ log / sup 2/ n ) algorithm for gossip in the same network model

fast broadcasting
gossiping
radio networks
upper bound
deterministic distributed broadcasting