Programming internet based DAI applications in Qu-Prolog

This paper presents the unique collection of additional features of Qu-Prolog, a variant of the Al programming language Prolog, and illustrates how they can be used for implementing DAI applications. By this we mean applications comprising communicating information servers, expert systems, or agents, with sophisticated reasoning capabilities and internal concurrency. Such an application exploits the key features of Qu-Prolog: support for the programming of sound non-clausal inference systems, multi-threading, and high level inter-thread message communication between Qu-Prolog query threads anywhere on the internet. The inter-thread communication uses email style symbolic names for threads, allowing easy construction of distributed applications using public names for threads. How threads react to received messages is specified by a disjunction of reaction rules which the thread periodically executes. A communications API allows smooth integration of components written in C, which to Qu-Prolog, look like remote query threads.

A realtime Internet-based quality control application for hurricane surface wind observations

This thesis chronicles the design and implementation of a Internet/Intranet and database based application for the quality control of hurricane surface wind observations. A quality control session consists of selecting desired observation types to be viewed and determining a storm track based time window for viewing the data. All observations of the selected types are then plotted in a storm relative view for the chosen time window and geography is positioned for the storm-center time about which an objective analysis can be performed. Users then make decisions about data validity through visual nearest-neighbor comparison and inspection. The project employed an Object Oriented iterative development method from beginning to end and its implementation primarily features the Java programming language. ^

A Systematic Review of Internet-Based Worksite Wellness Approaches for Cardiovascular Disease Risk Management: Outcomes, Challenges & Opportunities

Context The internet is gaining popularity as a means of delivering employee-based cardiovascular (CV) wellness interventions though little is known about the cardiovascular health outcomes of these programs. In this review, we examined the effectiveness of internet-based employee cardiovascular wellness and prevention programs. Evidence Acquisition We conducted a systematic review by searching PubMed, Web of Science and Cochrane library for all published studies on internet-based programs aimed at improving CV health among employees up to November 2012. We grouped the outcomes according to the American Heart Association (AHA) indicators of cardiovascular wellbeing – weight, BP, lipids, smoking, physical activity, diet, and blood glucose. Evidence Synthesis A total of 18 randomized trials and 11 follow-up studies met our inclusion/exclusion criteria. Follow-up duration ranged from 6 – 24 months. There were significant differences in intervention types and number of components in each intervention. Modest improvements were observed in more than half of the studies with weight related outcomes while no improvement was seen in virtually all the studies with physical activity outcome. In general, internet-based programs were more successful if the interventions also included some physical contact and environmental modification, and if they were targeted at specific disease entities such as hypertension. Only a few of the studies were conducted in persons at-risk for CVD, none in blue-collar workers or low-income earners. Conclusion Internet based programs hold promise for improving the cardiovascular wellness among employees however much work is required to fully understand its utility and long term impact especially in special/at-risk populations.

A realtime internet based quality control application for hurricane surface wind observations

This thesis chronicles the design and implementation of a Intemet/Intranet and database based application for the quality control of hurricane surface wind observations. A quality control session consists of selecting desired observation types to be viewed and determining a storm track based time window for viewing the data. All observations of the selected types are then plotted in a storm relative view for the chosen time window and geography is positioned for the storm-center time about which an objective analysis can be performed. Users then make decisions about data validity through visual nearestneighbor comparison and inspection. The project employed an Object Oriented iterative development method from beginning to end and its implementation primarily features the Java programming language.

Internet based VRS Code Positioning

Absolute positioning – the real time satellite based positioning technique that relies solely on global navigation satellite systems – lacks accuracy for several real time application domains. To provide increased positioning quality, ground or satellite based augmentation systems can be devised, depending on the extent of the area to cover. The underlying technique – multiple reference station differential positioning – can, in the case of ground systems, be further enhanced through the implementation of the virtual reference station concept. Our approach is a ground based system made of a small-sized network of three stations where the concept of virtual reference station was implemented. The stations provide code pseudorange corrections, which are combined using a measurement domain approach inversely proportional to the distance from source station to rover. All data links are established trough the Internet.

DFMA- Analysis and Aspects of Applying Internet Based Collaborative Design for Axial Eccentric Oil-Pump Design

The integrated system of design for manufacturing and assembly (DFMA) and internet based collaborative design are presented to support product design, manufacturing process, and assembly planning for axial eccentric oil-pump design. The presented system manages and schedules group oriented collaborative activities. The design guidelines of internet based collaborative design & DFMA are expressed. The components and the manufacturing stages of axial eccentric oil-pump are expressed in detail. The file formats of the presented system include the data types of collaborative design of the product, assembly design, assembly planning and assembly system design. Product design and assembly planning can be operated synchronously and intelligently and they are integrated under the condition of internet based collaborative design and DFMA. The technologies of collaborative modelling, collaborative manufacturing, and internet based collaborative assembly for the specific pump construction are developed. A seven-security level is presented to ensure the security of the internet based collaborative design system.

Internet-Based Brief Intervention to Prevent Unhealthy Alcohol Use among Young Men: A Randomized Controlled Trial.

Alcohol use is one of the leading modifiable morbidity and mortality risk factors among young adults. 2 parallel-group randomized controlled trial with follow-up at 1 and 6 months. Internet based study in a general population sample of young men with low-risk drinking, recruited between June 2012 and February 2013. Intervention: Internet-based brief alcohol primary prevention intervention (IBI). The IBI aims at preventing an increase in alcohol use: it consists of normative feedback, feedback on consequences, calorific value alcohol, computed blood alcohol concentration, indication that the reported alcohol use is associated with no or limited risks for health. Intervention group participants received the IBI. Control group (CG) participants completed only an assessment. Alcohol use (number of drinks per week), binge drinking prevalence. Analyses were conducted in 2014-2015. Of 4365 men invited to participate, 1633 did so; 896 reported low-risk drinking and were randomized (IBI: n = 451; CG: n = 445). At baseline, 1 and 6 months, the mean (SD) number of drinks/week was 2.4(2.2), 2.3(2.6), 2.5(3.0) for IBI, and 2.4(2.3), 2.8(3.7), 2.7(3.9) for CG. Binge drinking, absent at baseline, was reported by 14.4% (IBI) and 19.0% (CG) at 1 month and by 13.3% (IBI) and 13.0% (CG) at 6 months. At 1 month, beneficial intervention effects were observed on the number of drinks/week (p = 0.05). No significant differences were observed at 6 months. We found protective short term effects of a primary prevention IBI. Controlled-Trials.com ISRCTN55991918.

Designing single event upset mitigation techniques for large SRAM-Based FPGA components

This thesis presents the study and development of fault-tolerant techniques for programmable architectures, the well-known Field Programmable Gate Arrays (FPGAs), customizable by SRAM. FPGAs are becoming more valuable for space applications because of the high density, high performance, reduced development cost and re-programmability. In particular, SRAM-based FPGAs are very valuable for remote missions because of the possibility of being reprogrammed by the user as many times as necessary in a very short period. SRAM-based FPGA and micro-controllers represent a wide range of components in space applications, and as a result will be the focus of this work, more specifically the Virtex® family from Xilinx and the architecture of the 8051 micro-controller from Intel. The Triple Modular Redundancy (TMR) with voters is a common high-level technique to protect ASICs against single event upset (SEU) and it can also be applied to FPGAs. The TMR technique was first tested in the Virtex® FPGA architecture by using a small design based on counters. Faults were injected in all sensitive parts of the FPGA and a detailed analysis of the effect of a fault in a TMR design synthesized in the Virtex® platform was performed. Results from fault injection and from a radiation ground test facility showed the efficiency of the TMR for the related case study circuit. Although TMR has showed a high reliability, this technique presents some limitations, such as area overhead, three times more input and output pins and, consequently, a significant increase in power dissipation. Aiming to reduce TMR costs and improve reliability, an innovative high-level technique for designing fault-tolerant systems in SRAM-based FPGAs was developed, without modification in the FPGA architecture. This technique combines time and hardware redundancy to reduce overhead and to ensure reliability. It is based on duplication with comparison and concurrent error detection. The new technique proposed in this work was specifically developed for FPGAs to cope with transient faults in the user combinational and sequential logic, while also reducing pin count, area and power dissipation. The methodology was validated by fault injection experiments in an emulation board. The thesis presents comparison results in fault coverage, area and performance between the discussed techniques.

Internet based multicenter study for thoracolumbar injuries: a new concept and preliminary results

This article reports about the internet based, second multicenter study (MCS II) of the spine study group (AG WS) of the German trauma association (DGU). It represents a continuation of the first study conducted between the years 1994 and 1996 (MCS I). For the purpose of one common, centralised data capture methodology, a newly developed internet-based data collection system ( http://www.memdoc.org ) of the Institute for Evaluative Research in Orthopaedic Surgery of the University of Bern was used. The aim of this first publication on the MCS II was to describe in detail the new method of data collection and the structure of the developed data base system, via internet. The goal of the study was the assessment of the current state of treatment for fresh traumatic injuries of the thoracolumbar spine in the German speaking part of Europe. For that reason, we intended to collect large number of cases and representative, valid information about the radiographic, clinical and subjective treatment outcomes. Thanks to the new study design of MCS II, not only the common surgical treatment concepts, but also the new and constantly broadening spectrum of spine surgery, i.e. vertebro-/kyphoplasty, computer assisted surgery and navigation, minimal-invasive, and endoscopic techniques, documented and evaluated. We present a first statistical overview and preliminary analysis of 18 centers from Germany and Austria that participated in MCS II. A real time data capture at source was made possible by the constant availability of the data collection system via internet access. Following the principle of an application service provider, software, questionnaires and validation routines are located on a central server, which is accessed from the periphery (hospitals) by means of standard Internet browsers. By that, costly and time consuming software installation and maintenance of local data repositories are avoided and, more importantly, cumbersome migration of data into one integrated database becomes obsolete. Finally, this set-up also replaces traditional systems wherein paper questionnaires were mailed to the central study office and entered by hand whereby incomplete or incorrect forms always represent a resource consuming problem and source of error. With the new study concept and the expanded inclusion criteria of MCS II 1, 251 case histories with admission and surgical data were collected. This remarkable number of interventions documented during 24 months represents an increase of 183% compared to the previously conducted MCS I. The concept and technical feasibility of the MEMdoc data collection system was proven, as the participants of the MCS II succeeded in collecting data ever published on the largest series of patients with spinal injuries treated within a 2 year period.

Internet-Based Guided Self-Help for Several Anxiety Disorders: A Randomized Controlled Trial Comparing a Tailored With a Standardized Disorder-Specific Approach

Internet-delivered self-help with minimal therapist guidance has shown promising results for a number of diagnoses. Most of the evidence comes from studies evaluating standardized disorder-specific treatments. A recent development in the field includes transdiagnostic and tailored Internet-based treatments that address comorbid symptoms and a broader range of patients. This study evaluated an Internet-based tailored guided self-help treatment, which targeted symptoms of social anxiety disorder, panic disorder with or without agoraphobia, and generalized anxiety disorder. The tailored treatment was compared both with standardized disorder-specific Internet-based treatment and with a wait-list control group. Both active treatment conditions were based on cognitive-behavioral therapy and lasted for 8 weeks. A total of 132 individuals meeting diagnostic criteria for at least one of the anxiety disorders were randomly assigned to 1 of the 3 conditions. Both treatment groups showed significant symptom reductions as compared with the wait-list control group on primary disorder-unspecific measures of anxiety, depression, and general symptomatology and on secondary anxiety disorder-specific measures. Based on the intention-to-treat sample, mean between-group effect sizes were d = 0.80 for the tailored treatment and d = 0.82 for the standardized treatment, versus wait-list controls. Treatment gains were maintained at 6-month follow-up. No differences were found between the 2 active treatment conditions on any of the measures, including a telephone-administered diagnostic interview conducted at posttreatment. The findings suggest that both Internet-based tailored guided self-help treatments and Internet-based standardized treatments are promising treatment options for several anxiety disorders

Does a Pre-Treatment Diagnostic Interview Affect the Outcome of Internet-Based Self-Help for Social Anxiety Disorder? A Randomized Controlled Trial

BACKGROUND: Numerous studies suggest that Internet-based self-help treatments are effective in treating anxiety disorders. Trials evaluating such interventions differ in their screening procedures and in the amount of clinician contact in the diagnostic assessment phase. The present study evaluates the impact of a pre-treatment diagnostic interview on the outcome of an Internet-based treatment for Social Anxiety Disorder (SAD). METHOD: One hundred and nine participants seeking treatment for SAD were randomized to either an interview-group (IG, N = 53) or to a non-interview group (NIG, N = 56). All participants took part in the same 10-week cognitive-behavioural unguided self-help programme. Before receiving access to the programme, participants of the IG underwent a structured diagnostic interview. Participants of the NIG started directly with the programme. RESULTS: Participants in both groups showed significant and substantial improvement on social anxiety measures from pre- to post-assessment (d IG = 1.30-1.63; d NIG = 1.00-1.28) and from pre- to 4-month follow-up assessment (d IG = 1.38-1.87; d NIG = 1.10-1.21). Significant between-groups effects in favour of the IG were found on secondary outcome measures of depression and general distress (d = 0.18-0.42). CONCLUSIONS: These findings suggest that Internet-based self-help is effective in treating SAD, whether or not a diagnostic interview is involved. However, the pre-treatment interview seems to facilitate change on secondary outcomes such as depression and general distress.

Internet-based individually versus group guided self-help treatment for social anxiety disorder: protocol of a randomized controlled trial

BACKGROUND: Social anxiety disorder (SAD) is one of the most common mental disorders and causes subjective suffering and economic burden worldwide. Although effective treatments are available, a lot of cases go untreated. Internet-based self-help is a low-threshold and flexible treatment alternative for SAD. Various studies have already shown that internet-based self-help can be effective to reduce social phobic symptoms significantly. Most of the interventions tested include therapist support, whereas the role of peer support within internet-based self-help has not yet been fully understood. There is evidence suggesting that patients' mutual exchange via integrated discussion forums can increase the efficacy of internet-based treatments. This study aims at investigating the added value of therapist-guided group support on the treatment outcome of internet-based self-help for SAD. METHODS/DESIGN: The study is conducted as a randomized controlled trial. A total of 150 adults with a diagnosis of SAD are randomly assigned to either a waiting-list control group or one of the active conditions. The participants in the two active conditions use the same internet-based self-help program, either with individual support by a psychologist or therapist-guided group support. In the group guided condition, participants can communicate with each other via an integrated, protected discussion forum. Subjects are recruited via topic related websites and links; diagnostic status will be assessed with a telephone interview. The primary outcome variables are symptoms of SAD and diagnostic status after the intervention. Secondary endpoints are general symptomology, depression, quality of life, as well as the primary outcome variables 6 months later. Furthermore, process variables such as group processes, the change in symptoms and working alliance will be studied. DISCUSSION: The results of this study should indicate whether group-guided support could enhance the efficacy of an internet-based self-help treatment for SAD. This novel treatment format, if shown effective, could represent a cost-effective option and could further be modified to treat other conditions, as well.

The accuracy of self-reported medical history: A preliminary analysis of the promise of internet-based research in Inflammatory Bowel Diseases

BACKGROUND AND AIMS: Internet-based surveys provide a potentially important tool for Inflammatory Bowel Disease (IBD) research. The advantages include low cost, large numbers of participants, rapid study completion and less extensive infrastructure than traditional methods. The aim was to determine the accuracy of patient self-reporting in internet-based IBD research and identify predictors of greater reliability. METHODS: 197 patients from a tertiary care center answered an online survey concerning personal medical history and an evaluation of disease specific knowledge. Self-reported medical details were compared with data abstracted from medical records. Agreement was assessed by kappa (κ) statistics. RESULTS: Participants responded correctly with excellent agreement (κ=0.96-0.97) on subtype of IBD and history of surgery. The agreement was also excellent for colectomy (κ=0.88) and small bowel resection (κ=0.91), moderate for abscesses and fistulas (κ=0.60 and 0.63), but poor regarding partial colectomy (κ=0.39). Time since last colonoscopy was self-reported with better agreement (κ=0.84) than disease activity. For disease location/extent, moderate agreements at κ=69% and 64% were observed for patients with Crohn's disease and ulcerative colitis, respectively. Subjects who scored higher than the average in the IBD knowledge assessment were significantly more accurate about disease location than their complementary group (74% vs. 59%, p=0.02). CONCLUSION: This study demonstrates that IBD patients accurately report their medical history regarding type of disease and surgical procedures. More detailed medical information is less reliably reported. Disease knowledge assessment may help in identifying the most accurate individuals and could therefore serve as validity criteria. Internet-based surveys are feasible with high reliability about basic disease features only. However, the participants in this study were engaged at a tertiary center, which potentially leads to a bias and compromises generalization to an unfiltered patient group.

Internet-based stress management for women with preterm labour: a case-based experience report

Pregnant women with preterm labour (PTL) in pregnancy often experience increased distress and anxieties regarding both the pregnancy and the child's health. The pathogenesis of PTL is, among other causes, related to the stress-associated activation of the maternal-foetal stress system. In spite of these psychobiological associations, only a few research studies have investigated the potential of psychological stress-reducing interventions. The following paper will present an online anxiety and stress management self-help program for pregnant women with PTL. Structure and content of the program will be illustrated by a case-based experience report. L.B., 32 years (G3, P1), was recruited at gestational week 27 while hospitalized for PTL for 3 weeks. She worked independently through the program for 6 weeks and had regular written contact with a therapist. Processing the program had a positive impact on L.B.'s anxiety and stress levels, as well as on her experienced depressive symptoms and bonding to the foetus. As PTL and the risk of PTB are associated with distress, psychological stress-reducing interventions might be beneficial. This study examines the applicability of an online intervention for pregnant women with PTL. The case report illustrates how adequate low-threshold psychological support could be provided to these women.

Internet-based interpretation bias modification for social anxiety: A pilot study

BACKGROUND AND OBJECTIVES: The biased interpretation of ambiguous social situations is considered a maintaining factor of Social Anxiety Disorder (SAD). Studies on the modification of interpretation bias have shown promising results in laboratory settings. The present study aims at pilot-testing an Internet-based training that targets interpretation and judgmental bias. METHOD: Thirty-nine individuals meeting diagnostic criteria for SAD participated in an 8-week, unguided program. Participants were presented with ambiguous social situations, were asked to choose between neutral, positive, and negative interpretations, and were required to evaluate costs of potential negative outcomes. Participants received elaborate automated feedback on their interpretations and judgments. RESULTS: There was a pre-to-post-reduction of the targeted cognitive processing biases (d = 0.57-0.77) and of social anxiety symptoms (d = 0.87). Furthermore, results showed changes in depression and general psychopathology (d = 0.47-0.75). Decreases in cognitive biases and symptom changes did not correlate. The results held stable accounting for drop-outs (26%) and over a 6-week follow-up period. Forty-five percent of the completer sample showed clinical significant change and almost half of the participants (48%) no longer met diagnostic criteria for SAD. LIMITATIONS: As the study lacks a control group, results lend only preliminary support to the efficacy of the intervention. Furthermore, the mechanism of change remained unclear. CONCLUSION: First results promise a beneficial effect of the program for SAD patients. The treatment proved to be feasible and acceptable. Future research should evaluate the intervention in a randomized-controlled setting.