3,361 research outputs found
A Case Study in Refactoring Functional Programs
Refactoring is the process of redesigning existing code without changing its functionality. Refactoring has recently come to prominence in the OO community. In this paper we explore the prospects for refactoring functional programs. Our paper centres on the case study of refactoring a 400 line Haskell program written by one of our students. The case study illustrates the type and variety of program manipulations involved in refactoring. Similarly to other program transformations, refactorings are based on program equivalences, and thus ultimately on language semantics. In the context of functional languages, refactorings can be based on existing theory and program analyses. However, the use of program transformations for program restructuring emphasises a different kind of transformation from the more traditional derivation or optimisation: characteristically, they often require wholesale changes to a collection of modules, and although they are best controlled by programmers, their application may require nontrivial semantic analyses. The paper also explores the background to refactoring, provides a taxonomy for describing refactorings and draws some conclusions about refactoring for functional programs
Refactoring Functional Programs
Refactoring is the process of redesigning existing code without changing its functionality. Refactoring has recently come to prominence in the OO community. In this paper we explore the prospects for refactoring functional programs. Our paper centres on the case study of refactoring a 400 line Haskell program written by one of our students. The case study illustrates the type and variety of program manipulations involved in refactoring. Similarly to other program transformations, refactorings are based on program equivalences, and thus ultimately on language semantics. In the context of functional languages, refactorings can be based on existing theory and program analyses. However, the use of program transformations for program restructuring emphasises a different kind of transformation from the more traditional derivation or optimisation: characteristically, they often require wholesale changes to a collection of modules, and although they are best controlled by programmers, their application may require nontrivial semantic analyses. The paper also explores the background to refactoring, provides a taxonomy for describing refactorings and draws some conclusions about refactoring for functional programs
Ontology-based modelling of architectural styles
The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the different aspects of architecture modelling, such as architectural styles, structural and behavioural modelling, into a coherent framework. Architectural styles are often neglected in software architectures. We propose an ontological approach for architectural style modelling based on description logic as an abstract, meta-level modelling instrument. We introduce a framework for style definition and style combination. The application of the
ontological framework in the form of an integration into existing architectural description notations is illustrated
Phototrophic microalgal cultivation in cold and light-limited environments
Doctoral thesis (PhD) - Nord University, 2019publishedVersio
Role of p38 mitogen-activated protein kinase isoforms in murine skin inflammation induced by 12-O-tetradecanoylphorbol 13-acetate
Symmetric wormholes in Einstein-vector-Gauss-Bonnet theory
We construct wormholes in Einstein-vector-Gauss-Bonnet theory where a real
massless vector field is coupled to the higher curvature Gauss-Bonnet
invariant. We consider three coupling functions which depend on the square of
the vector field. The respective domains of existence of wormholes possess as
their boundaries i) black holes, ii) solutions with a singular throat, iii)
solutions with a degenerate throat and iv) solutions with cusp singularities.
Depending on the coupling function wormhole solutions can feature a single
throat or an equator surrounded by a double throat. The wormhole solutions need
a thin shell of matter at the throat, in order to be symmetrically continued
into the second asymptotically flat region. These wormhole spacetimes allow for
bound and unbound particle motion as well as light rings.Comment: 27 pages, 16 figure
Indirect method for validating transference of reference intervals
Abstract
Background:
Transference of reference intervals (RIs) from multicentre studies are often verified by use of a small number of samples from reference individuals or by the use of one serum sample (Serum X for NORIP RI). Despite recommended and appropriate methods, both have inconveniencies and drawbacks. Several attempts have been made to develop an indirect method, which uses historical data from the laboratory. These methods are retrospective relying on older test results. A near prospective method would be preferable for the laboratories introducing new methods or changing analytical platforms.
Methods:
We performed a data mining experiment using results from our laboratory information system covering patients from a large geographic area. Request patterns for patients with assumed healthy characteristics were identified and used to extract laboratory results for calculation of new RI by an indirect method. Calculated RI and confidence intervals (CIs) were compared to transferred NORIP RI verified by NFKK Reference Serum X.
Results:
We found that our indirect method and NFKK Reference Serum X in general produced similar results when verifying transference of RI. The method produces results for all stratifications. Only single stratifications and one analyte showed unexplained incongruences to the NORIP RI.
Conclusions:
Our results suggest using request patterns as a surrogate measure for good health status. This allows for a data mining method for validation of RI or validating their transference, which is likely to be applicable in countries with similar healthcare and laboratory information system.
</jats:sec
Zum Einsatz von Bildschirmtext im IUD-Bereich
Nach der Erläuterung der Arbeitsweise von Bildschirmtext wird seine Funktion für den Bereich IuD untersucht und bewertet
Hormesis depends upon the life-stage and duration of exposure: examples for a pesticide and a nanomaterial
Tests to assess toxic effects on the reproduction of adult C. elegans after 72 h exposure for two chemicals,
(3-(3,4-dichlorophenyl)-1,1-dimethylurea (DCMU)), also known as diuron, and silver nanoparticles (Ag
NPs) indicated potential, although not significant hormesis. Follow up toxicity tests comparing the potential
hormesis concentrations with controls at high replication confirmed that the stimulatory effect
was repeatable and also statistically significant within the test. To understand the relevance of the
hormesis effects for overall population fitness, full life-cycle toxicity tests were conducted for each
chemical. When nematodes were exposed to DCMU over the full life-span, the hormesis effect for reproduction
seen in short-term tests was no longer evident. Further at the putative hormesis concentrations,
a negative effect of DCMU on time to maturation was also seen. For the Ag NPs, the EC50 for
effects on reproduction in the life-cycle exposure was substantially lower than in the short-term test, the
EC50s estimated by a three parameter log logistic model being 2.9 mg/L and 0.75 mg/L, respectively. This
suggests that the level of toxicity for Ag NPs for C. elegans reproduction is dependant on the life stage
exposed and possibly the duration of the exposure. Further, in the longer duration exposures, hormesis
effects on reproduction seen in the short-term exposures were no longer apparent. Instead, all concentrations
reduced both overall brood size and life-span. These results for both chemicals suggest that
the hormesis observed for a single endpoint in short-term exposure may be the result of a temporary
reallocation of resources between traits that are not sustained over the full life-time. Such reallocation is
consistent with energy budget theories for organisms subject to toxic stres
The Capacitive Magnetic Field Sensor
The results of a study of sensitive element magnetic field sensor are represented in this paper. The sensor is based on the change of the capacitance with an active dielectric (ferrofluid) due to the magnitude of magnetic field. To prepare the ferrofluid magnetic particles are used, which have a followingdispersion equal to 50 < [the empty set] <= 56, 45 < [the empty set] <= 50, 40 < [the empty set] <=45 and [the empty set] <= 40 micron of nanocrystalline alloy of brand 5BDSR. The dependence of the sensitivity of the capacitive element from the ferrofluid with different dispersion of magnetic particles is considered. The threshold of sensitivity and sensitivity of a measuring cell with ferrofluid by a magnetic field was determined. The experimental graphs of capacitance change of the magnitude of magnetic field are presented
- …