Context-sensitive dependency pairs

Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although a good number of techniques for proving termination of context-sensitive rewriting (CSR) have been proposed so far, the adaptation to CSR of the dependency pair approach, one of the most powerful techniques for proving termination of rewriting, took some time and was possible only after introducing some new notions like collapsing dependency pairs, which are specific for CSR. In this paper, we develop the notion of context-sensitive dependency pair (CSDP) and show how to use CSDPs in proofs of termination of CSR. The implementation and practical use of the developed techniques yield a novel and powerful framework which improves the current state-of-the-art of methods for automatically proving termination of CSR.     

Real-time embedded emotional controller

Recent studies show that emotion is a mechanism for fast decision-making in human and other animals. Mathematical models have been developed for describing emotion in mammals. These models, similar to other bioinspired models, must be implemented in embedded platforms for industrial and real applications. In this paper, brain emotional learning based intelligent controller, which is based on mammalian middle brain, is designed and implemented on field-programmable gate arrays, and this emotional controller is applied for controlling of laboratorial overhead traveling crane in model-free and embedded manner. The main features of this controller are leaning capability, providing a model-free control algorithm, robustness and the ability to respond swiftly. By designing appropriate stress signals, a designer can implement a proper trade among control objectives.     

Plans, Actions and Dialogues Using Linear Logic

We describe how Intuitionistic Linear Logic can be used to provide a unified logical account for agents to find and execute plans. This account supports the modelling of agent interaction, including dialogue; allows agents to be robust to unexpected events and failures; and supports significant reuse of agent specifications. The framework has been implemented and several case studies have been considered. Further applications include human–computer interfaces as well as agent interaction in the semantic web.     

Supporting Unified Distributed Management and Autonomic Decisions: Design,Implementation and Deployment

Nowadays, the prevailing use of networks based on traditional centralized management systems reflects on a fast increase of the management costs. The growth in the number of network equipments and services reinforces the need to distribute the management responsibilities throughout the network devices. In this approach, each device executes common network management functionalities, being part of the overall network management platform. In this paper, we present a Unified Distributed Network Management (UDNM) framework that provides a unified (wired and wireless) management network solution, where further different network services can take part of this infrastructure, e.g., flow monitoring, accurate routing decisions, distributed policies dissemination, etc. This framework is divided in two main components: (A) Situation awareness, which sets up initial information through bootstrapping, discovery, fault-management process and exchange of management information; (B) Autonomic Decision System (ADS) that performs distributed decisions in the network with incomplete information. We deploy the UDNM framework in a testbed which involves two cities (\(\approx\)250 km between), different standards (IEEE 802.3, IEEE 802.11 and IEEE 802.16e) and network technologies, such as, wired virtual grid, wireless ad-hoc gateways, ad-hoc mobile access devices. The UDNM framework integrates management functionalities into the managed devices, proving to be a lightweight and easy-respond framework. The performance analysis shows that the UDNM framework is feasible to unify devices management functionalities and to take accurate decisions on top of a real network.     

Distributed planning and control systems for the virtual enterprise: organizational requirements and development life-cycle

This paper describes the requirements analysis and system specification of an Order Promise module to be used as part of a broader Decision Support System for production and operations planning of a Virtual Enterprise. This work is part of a broader project with a particular focus on the microelectronics industry which is a good example of Virtual Enterprise, and where a quick response to the customers needs and to unpredictable changes in production conditions is considered a major factor for success. First, the analysis and specification are presented within a development framework that involves the study of organizational issues of semiconductor enterprises. The use of ontological engineering for supporting the communication and shared understanding of the system concepts is explained and a virtual enterprise ontology is outlined. Following the clarification of the concept of virtual enterprise, the generic techno-organizational requirements for the information system are derived. Finally, a specification of the global planning module and a more detailed one regarding the order promise module is presented.     

Learning based brain emotional intelligence as a new aspect for development of an alarm system

The multi criteria and purposeful prediction approach has been introduced and is implemented by the fast and efficient behavioral based brain emotional learning method. On the other side, the emotional learning from brain model has shown good performance and is characterized by high generalization property. New approach is developed to deal with low computational and memory resources and can be used with the largest available data sets. The scope of paper is to reveal the advantages of emotional learning interpretations of brain as a purposeful forecasting system designed to warning; and to make a fair comparison between the successful neural (MLP) and neurofuzzy (ANFIS) approaches in their best structures and according to prediction accuracy, generalization, and computational complexity. The auroral electrojet (AE) index are used as practical examples of chaotic time series and introduced method used to make predictions and warning of geomagnetic disturbances and geomagnetic storms based on AE index.     

1H-NMR resonance assignments, secondary structure, and global fold of the TR1C fragment of turkey skeletal troponin C in the calcium-free state

The TR1C fragment of turkey skeletal muscle TnC (residues 12-87) comprises the two regulatory calcium binding sites of the protein. Complete assignments of the 1H-NMR resonances of the backbone and amino acid side chains of this domain in the absence of metal ions have been obtained using 2D 1H-NMR techniques. Sequential (i,i+1) and short-range (i,i+3) NOE connectivities define two helix-loop-helix calcium binding motifs, and long-range NOE connectivities indicate a short two-stranded beta-sheet formed between the two calcium binding loops. The two calcium binding sites are different in secondary structure. In terms of helix length, site II conforms to a standard "EF-hand" motif with the first helix ending one residue before the first calcium ligand and the second helix starting one residue after the beta-sheet. In site I, the first helix ends three residues before the first calcium ligand, and the second helix starts three residues after the beta-sheet. A number of long-range NOE connectivities between the helices define their relative orientation and indicate formation of a hydrophobic core between helices A, B, and D. The secondary structure and global fold of the TR1C fragment in solution in the calcium-free state are therefore very similar to those of the corresponding region in the crystal structure of turkey skeletal TnC [Herzberg, O., & James, M.N.G. (1988) J. Mol. Biol. 203, 761-779].     

After-hours telephone coverage: the application of an area-wide telephone triage and advice system for pediatric practices

BACKGROUND: After-hours telephone calls are a stressful and frustrating aspect of pediatric practice. At the request of private practice pediatricians in Denver, a metropolitan area-wide system was created to manage after-hours pediatric telephone calls and after-hours patient care. This system, the After-Hours Program (AHP), uses specially trained pediatric nurses with standardized protocols to provide after-hours telephone triage and advice for the patients of 92 Denver pediatricians, representing 56 practices. OBJECTIVES: This report describes the AHP, presents data from 4 years' experience with the program, and describes results of our evaluation of the following aspects of the program: subscribing physician satisfaction, parent satisfaction, the accuracy and appropriateness of telephone triage, and program costs. METHODS: After-Hours Program records (including quality assurance data) for all 4 years of operation were retrospectively reviewed, tabulated, and analyzed. The results of two subscribing physician surveys and one parent caller satisfaction survey are presented. A retrospective review of after-hours patient care encounter forms assessed the necessity for after-hours visits triaged by the AHP. An analysis of the total cost of this program to 10 randomly selected subscribing physicians was conducted using current AHP data and a survey of the 10 physicians. RESULTS: In 4 years, 107,938 calls have been successfully managed without an adverse clinical outcome. Minor errors in using protocols occurred in one call out of 1450 after-hours calls. After-hours phoen calls necessitated an after-hours patient visit 20% of the time and generated one after-hours hospital admission out of every 88 calls. Just over half of the patients were managed with home care advice only, and 28% were given home care advice after-hours and seen the next day in the primary physician's office. Of all patients directed by the telephone triage nurses to be seen after hours, 78% were determined to have a condition necessitating after-hours care. Data are presented regarding call volumes by time of day, day of week, patient age, and patient's initial complaint. The 6 most common complaints accounted for more than one half of the calls, and 38 complaints accounted for more than 95% of all after-hours calls. Utilization by subscribing physicians is described. Satisfaction among subscribing pediatricians was 100%, and among parents was 96% to 99% on a variety of issues. The total cost to participating Denver pediatricians (which includes revenues "given up" as a result of not seeing patients after hours) ranged from 1% to 12% of their annual net income, depending on a variety of factors. CONCLUSIONS: Large-scale after-hours telephone coverage systems can be effective and well-received by patients, parents, and primary physicians. Data presented in this report can assist in planning the training of personnel who provide after-hours telephone advice and triage. Controversies associated with this type of program are discussed. Suggestions are made regarding the direction of future programs and research.     

The renal factor in the post-traumatic "fluid overload" syndrome

Hypervolemia with hypertension often occurs 36-72 hours following massive blood and fluid replacement for hypovolemic shock. This syndrome of "fluid overload" has been attributed to the rapid intravascular flux of previously sequestered fluid in patients with impaired diuresis. This hypothesis was tested in 35 injured patients who received a mean of 9.3 L of blood and 17.4 L of salt during resucitation. The renal parameters measured soon after resuscitation included: 1) renal clearance of inulin (GFR), para-amino hippurate (ERPF), milliosmoles, sodium, and free water; 2) inulin space, renal vascular resistance (RVR), O2 consumption, renin, renal blood flow (RBF), and response to furosemide. Eighteen patients developed hypertension, hypervolemia, and respiratory insufficiency. When compared to the 17 normovolemic, non-hypertensive patients, the 18 hypervolemic patients had significantly increased RVR, with a significant decrease in RBF despite an increase in plasma volume and cardiac output. Furosemide produced less diuresis and natriuresis in the hypertensive patients. The balance between hypovolemia and "fluid overload" seemed percarious in the hypertensive patients. Peripheral renin and catecholamine levels were normal in both groups. Patients with post-traumatic "fluid overload" appear to have a combination of hypervolemia, respiratory insufficiency, hypertension, increased cardiac output, decreased extracellular fluid space, and decreased renal perfusion. These findings suggest that decreased interstitial fluid space compliance rather than "fluid overload" is the underlying factor leading to respiratory insufficiency. The therapeutic aspects of these findings are discussed.