Formal methods within a totally functional approach to programming

Taking functional programming to its extremities in search of simplicity still requires integration with other development (e.g. formal) methods. Induction is the key to deriving and verifying functional programs, but can be simplified through packaging proofs with functions, particularly folds, on data (structures). Totally Functional Programming avoids the complexities of interpretation by directly representing data (structures) as platonic combinators - the functions characteristic to the data. The link between the two simplifications is that platonic combinators are a kind of partially-applied fold, which means that platonic combinators inherit fold-theoretic properties, but with some apparent simplifications due to the platonic combinator representation. However, despite observable behaviour within functional programming that suggests that TFP is widely-applicable, significant work remains before TFP as such could be widely adopted.

Qualitative assessment of stock prices listed on the Sao Paulo stock exchange: An approach from the perspective of homogeneity analysis

The stock market suffers uncertain relations throughout the entire negotiation process, with different variables exerting direct and indirect influence on stock prices. This study focuses on the analysis of certain aspects that may influence these values offered by the capital market, based on the Brazil Index of the Sao Paulo Stock Exchange (Bovespa), which selects 100 stocks among the most traded on Bovespa in terms of number of trades and financial volume. The selected variables are characterized by the companies` activity area and the business volume in the month of data collection, i.e. April/2007. This article proposes an analysis that joins the accounting view of the stock price variables that can be influenced with the use of multivariate qualitative data analysis. Data were explored through Correspondence Analysis (Anacor) and Homogeneity Analysis (Homals). According to the research, the selected variables are associated with the values presented by the stocks, which become an internal control instrument and a decision-making tool when it comes to choosing investments.

Adjusting prices in the multiple-partners assignment game

Starting with an initial price vector, prices are adjusted in order to eliminate the excess demand and at the same time to keep the transfers to the sellers as low as possible. In each step of the auction, to which set of sellers should those transfers be made is the key issue in the description of the algorithm. We assume additively separable utilities and introduce a novel distinction by considering multiple sellers owing multiple identical objects and multiple buyers with an exogenously defined quota, consuming more than one object but at most one unit of a seller`s good and having multi-dimensional payoffs. This distinction induces a necessarily more complicated construction of the over-demanded sets than the constructions of these sets for the other assignment games. For this approach, our mechanism yields the buyer-optimal competitive equilibrium payoff, which equals the buyer-optimal stable payoff. The symmetry of the model allows to getting the seller-optimal stable payoff and the seller-optimal competitive equilibrium payoff can then be also derived.

Teen Triple P: A universal approach to reducing risk factors for behavioural and emotional problems in adolescents at the transition to high school

Teen Triple P is a multilevel system of intervention that is designed to provide parents with specific strategies to promote the positive development of their teenage children as they make the transition into high school and through puberty. The program is based on a combination of education about the developmental needs of adolescents, skills training to improve communication and problem-solving, plus specific modules to deal with common problems encountered by parents and adolescents that can escalate into major conflict and violence. It is designed to increase the engagement of parents of adolescent and pre-adolescent children by providing them with easy access to evidencebased parenting advice and support. This paper presents data collected as part of a survey of over 1400 students in first year high school at 9 Brisbane schools. The survey instrument was constructed to obtain students' reports about behaviour which is known to be associated with their health and wellbeing, and also on the extent to which their parents promoted or discouraged such behaviour at home, at school, and in their social and recreational activities in the wider community. Selected data from the survey were extracted and presented to parents at a series of parenting seminars held at the schools to promote appropriate parenting of teenagers. The objectives were to provide parents with accurate data about teenagers' behaviour, and about teenagers' reports of how they perceived their parents' behaviour. Normative data on parent and teenager behaviour will be presented from the survey as well as psychometric data relating to the reliability and validity of this new measure. Implications of this strategy for increasing parent engagement in parenting programs that aim to reduce behavioural and emotional problems in adolescents will be discussed.

Percutaneous central venous catheterization through the external jugular vein in children: improved success rate with body maneuvers and fluoroscopy assistance

Background/Purpose: Central venous catheterization is among the most common procedures performed by pediatric surgeons. Significant morbidity and even mortality can ensue from the widespread approach to the deep veins of the neck and femoral region. The external jugular vein (EJV) is a low-morbidity alternative for percutaneous catheterization in children, but it has yielded a low success rate in previous reports The authors show an improved success rate with this option. Methods: We performed an analysis of 33 patients` charts in which central venous catheterization using Seldinger technique through the EJV was attempted in 2005. Age, diagnosis, maneuvers used for success, fluoroscopy usefulness, and types of inserted catheters were evaluated. Results: The procedure was successful in 26 (78.8%) patients without complications. Diagnosis was neoplasia in almost half of the patients (42%). In half of the successful cases, body maneuvers were used, namely, twisting the head of the patient to the side of the vein and stretching the ipsilateral arm and shoulder. All but one procedure were completed under fluoroscopic guidance. In 6 (23%) patients, a long-term catheter was inserted. Conclusions: The EJV is an excellent option for central venous catheterization in children. The execution of simple maneuvers along with fluoroscopic assistance might allow for an improved success rate not only for short-term but also for long-term catheter insertion. (C) 2008 Elsevier Inc. All rights reserved.

Proton transport model in the ionosphere .1. Multistream approach of the transport equations

The suprathermal particles, electrons and protons, coming from the magnetosphere and precipitating into the high-latitude atmosphere are an energy source of the Earth's ionosphere. They interact with ambient thermal gas through inelastic and elastic collisions. The physical quantities perturbed by these precipitations, such as the heating rate, the electron production rate, or the emission intensities, can be provided in solving the kinetic stationary Boltzmann equation. This equation yields particle fluxes as a function of altitude, energy, and pitch angle. While this equation has been solved through different ways for the electron transport and fully tested, the proton transport is more complicated. Because of charge-changing reactions, the latter is a set of two-coupled transport equations that must be solved: one for protons and the other for H atoms. We present here a new approach that solves the multistream proton/hydrogen transport equations encompassing the collision angular redistributions and the magnetic mirroring effect. In order to validate our model we discuss the energy conservation and we compare with another model under the same inputs and with rocket observations. The influence of the angular redistributions is discussed in a forthcoming paper.

Glissonian approach for laparoscopic mesohepatectomy

Experience with advanced techniques has increased the indications for laparoscopic liver resection. This video demonstrates technical aspects of a pure laparoscopic mesohepatectomy using intrahepatic Glissonian technique. To the best of our knowledge, this is the first case of anatomic laparoscopic mesohepatectomy using the Glissonian approach published in the English literature. A 62-year-old man with colorectal liver metastasis occupying central liver segments was referred for surgical treatment. The first step is the control of segment 4 pedicle. Using the round ligament as a guide, one incision is performed on its right margin and another is made at the bottom of segment 4. A vascular clamp is introduced through those incisions to occlude segment 4 Glissonian sheath. The next step is to control the right anterior pedicle. The first incision is made in front of the hilum and another is performed on the right edge of gallbladder bed. Laparoscopic clamp is introduced through these incisions and closed producing ischemic discoloration of segments 5 and 8. Vascular clamp is replaced by an endoscopic vascular stapling device and stapler is fired. Line of liver transection is marked along the liver surface following ischemic area. Liver transection is accomplished with bipolar vessel sealing device and endoscopic stapling device as appropriate. Specimen was extracted through a suprapubic incision. Liver raw surfaces were reviewed for bleeding and bile leaks. Operative time was 200 min with minimum blood loss and no need for blood transfusion. Recovery was uneventful, and the patient was discharged on the fifth postoperative day. Histological examination revealed clear surgical margins. Mesohepatectomy can be safely performed laparoscopically in selected patients and by surgeons with expertise in both liver surgery and laparoscopic techniques. The use of the intrahepatic Glissonian approach may help to identify the exact limits of the mesohepatectomy to avoid ischemic injury of the remnant liver.

Gasless fetoscopy: A new approach to endoscopic closure of a lumbar skin defect in fetal sheep

Objective: To develop a new endoscopic approach to the correction of a myelomeningocele-like defect in fetal sheep. Methods: The fetuses of 9 pregnant ewes, with an average gestational age of 115 days, were subjected to a 3.0 x 2.0 cm removal of the skin over the lumbar spine, performed through hysterotomy. The uterus was closed, and three 5-mm endoscopic cannulas, without valve mechanisms, were inserted. In the pilot phase (2 animals), we initially worked exclusively in the amniotic fluid space. In the study phase, we partially withdrew the fetus from the amniotic fluid to completely expose its back. By simply allowing air to enter the amniotic cavity (without gas injection), a working space was created using a uterine lift device. The skin around the defect was dissected, and a biosynthetic cellulose material was applied to cover the area. A continuous suture of the skin was performed to completely hide the material. Results: The combined air/fluid space allowed the skin to be successfully closed in 6 out of 7 cases in the study phase. All fetuses were alive at the end of the procedures. Time to complete the endoscopic part of the procedure fell from 3 to 1 h by the end of this series. Premature birth occurred in 2 of the 4 cases allowed to continue with the pregnancy. Conclusion: A new gasless fetoscopic surgery technique was developed as an alternative to current techniques used for fetal endoscopic surgery. Copyright (C) 2008 S. Karger AG, Basel.

Synthetic studies of the HIV-1 protease inhibitive didemnaketals: Stereocontrolled synthetic approach to the key mother spiroketals

[GRAPHICS] The stereocontrolled synthesis of (2S,4R,6R,8S,10S,1'R,1"R)-2(acetylhydroxymethyl)-4, 10-dimethyl-8(isopropenylhydroxymethyl)-1, 7-dioxaspiro[5,5]-undecane (4a) and its C1"-epimer (4b), the key mother spiroketals of the HIV-1 protease inhibitive didemnaketals from the ascidian Didemnum sp., has been carried out through multisteps from the natural (R)-(+)-pulegone, which involved the diastereoselective construction of four chiral carbon centers(C-2, C-6, C-8, and C-1') by intramolecular chiral induce.

Continuous quantum measurement of two coupled quantum dots using a point contact: A quantum trajectory approach

We obtain the finite-temperature unconditional master equation of the density matrix for two coupled quantum dots (CQD's) when one dot is subjected to a measurement of its electron occupation number using a point contact (PC). To determine how the CQD system state depends on the actual current through the PC device, we use the so-called quantum trajectory method to derive the zero-temperature conditional master equation. We first treat the electron tunneling through the PC barrier as a classical stochastic point process (a quantum-jump model). Then we show explicitly that our results can be extended to the quantum-diffusive limit when the average electron tunneling rate is very large compared to the extra change of the tunneling rate due to the presence of the electron in the dot closer to the PC. We find that in both quantum-jump and quantum-diffusive cases, the conditional dynamics of the CQD system can be described by the stochastic Schrodinger equations for its conditioned state vector if and only if the information carried away from the CQD system by the PC reservoirs can be recovered by the perfect detection of the measurements.

Service quality and consumers' experience: Towards an interpretive approach

As marketers and researchers we understand quality from the consumer's perspective, and throughout contemporary service quality literature there is an emphasis on what the consumer is looking for, or at least that is the intention. Through examining the underlying assumptions of dominant service quality theories, an implicit dualistic ontology is highlighted (where subject and object are considered independent) and argued to effectively negate the said necessary consumer orientation. This fundamental assumption is discussed, as are the implications, following a critical review of dominant service quality models. Consequently, we propose an alternative approach to service quality research that aims towards a more genuine understanding of the consumer's perspective on quality experienced within a service context. Essentially, contemporary service quality research is suggested to be limited in its inherent third-person perspective and the interpretive, specifically phenomenographic, approach put forward here is suggested as a means of achieving a first-person perspective on service quality.

The Building Partnerships Program: An Approach to Community-based Learning for Medical Students in Australia

The Building Partnerships Program at the University of Queensland, Australia seeks to address the dual challenge of preparing doctors who are responsive to the community while providing a meaningful context for social sciences learning. Through partnerships with a diverse range of community agencies, the program offers students opportunities to gain non-clinical perspectives on health and illness through structured learning activities including: family visits; community agency visits and attachments; and interview training. Students learn first-hand about psychosocial influences on health and how people manage health problems on a day-to-day basis. They also gain insights into the work of community agencies and how they as future doctors might work in partnership with them to enhance patient care. We outline the main components of the program, identify challenges and successes from student and community agency perspectives, and consider areas that invite further development.

An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 1. Methodology for residual generation

For dynamic simulations to be credible, verification of the computer code must be an integral part of the modelling process. This two-part paper describes a novel approach to verification through program testing and debugging. In Part 1, a methodology is presented for detecting and isolating coding errors using back-to-back testing. Residuals are generated by comparing the output of two independent implementations, in response to identical inputs. The key feature of the methodology is that a specially modified observer is created using one of the implementations, so as to impose an error-dependent structure on these residuals. Each error can be associated with a fixed and known subspace, permitting errors to be isolated to specific equations in the code. It is shown that the geometric properties extend to multiple errors in either one of the two implementations. Copyright (C) 2003 John Wiley Sons, Ltd.

Security issues during Lula's administration: from the reactive to the assertive approach

Brazil's security agenda during Lula's administration was not homogeneous through the two mandates: the first tenure (2002-2006) revealed a reactive approach towards security topics, while the second one (2006-2010) was more assertive. More specifically, the shift occurred in terms of both its geographical scope - once it incorporated global issues in a more systematic way -, and instruments through which the security agenda was exercised, given the multilateral initiative of Unasur's CDS

A practical framework for the generation and selection of strategic plans of action, The relevance of timeframe considerations and a systems thinking approach

The paper proposes a methodology especially focused on the generation of strategic plans of action, emphasizing the relevance of having a structured timeframe classification for the actions. The methodology explicitly recognizes the relevance of long-term goals as strategic drivers, which must insure that the complex system is capable to effectively respond to changes in the environment. In addition, the methodology employs engineering systems techniques in order to understand the inner working of the system and to build up alternative plans of action. Due to these different aspects, the proposed approach features higher flexibility compared to traditional methods. The validity and effectiveness of the methodology has been demonstrated by analyzing an airline company composed by 5 subsystems with the aim of defining a plan of action for the next 5 years, which can either: improve efficiency, redefine mission or increase revenues.