1,261 research outputs found

    The processing of fish and other marine resources

    Get PDF
    The preservation of freshness in fish (commonly referred to as fish handling) and the conversion of fresh fish into other products can both be considered as methods of processing. In commercial practice, however, the term "processing" is confined to the conversion of fresh fish into other products

    The Sketch of a Polymorphic Symphony

    Full text link
    In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific behaviour. In the present paper, we give a detailed description of one particular Haskell-based model of functional strategies. This model is characterised as follows. Firstly, we employ first-class polymorphism as a form of second-order polymorphism as for the mere types of functional strategies. Secondly, we use an encoding scheme of run-time type case for mixing uniform and type-specific behaviour. Thirdly, we base all traversal on a fundamental combinator for folding over constructor applications. Using this model, we capture common strategic traversal schemes in a highly parameterised style. We study two original forms of parameterisation. Firstly, we design parameters for the specific control-flow, data-flow and traversal characteristics of more concrete traversal schemes. Secondly, we use overloading to postpone commitment to a specific type scheme of traversal. The resulting portfolio of traversal schemes can be regarded as a challenging benchmark for setups for typed generic programming. The way we develop the model and the suite of traversal schemes, it becomes clear that parameterised + typed strategic programming is best viewed as a potent combination of certain bits of parametric, intensional, polytypic, and ad-hoc polymorphism

    A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services

    Get PDF
    Requirements of Energy Management Services include short and long term processing of data in a massively interconnected scenario. The complexity and variety of short term applications needs methodologies that allow designers to reason about the models taking into account functional and non-functional requirements. In this paper we present a component based specification language for building trustworthy continuous dataflow applications. Component behaviour is defined by Petri Nets in order to translate to the methodology all the advantages derived from a mathematically based executable model to support analysis, verification, simulation and performance evaluation. The paper illustrates how to model and reason with specifications of advanced dataflow abstractions such as smart grids

    Pelaksanaan Perpanjangan Uang Wajib Tahunan Otorita Sampai dengan Perpanjangan Hak Guna Bangunan di Kota Batam (Studi Kasus Kantor Notaris/PPAT Andreas Timothy, S.H., M.Kn.)

    Full text link
    Problems often occur in the management of UWTO extension until the extension of the HGB is long term processing time. Whereas the request for an extension not new appliacation. The method used in this research is observation, interview, literature study, design and simulation. Research resut in the office of Notary/PPAT Andreas Timothy, S.H., M.Kn is form procedures for handling UWTO extension until extension of HGB, form completeness of the maintenance file extension UWTO, form completeness of maintenance file extension HGB and monitoring programs are designed with Microsoft Office Excel. The design of the completeness of this file is designed to enable employees of the Office Notary/PPAT to understand the procedures for handling UWTO extension until extension of HGB when explaining to clients. Key words: Extension, UWTO, HGB, Form, Design, Clients

    Pelaksanaan Perpanjangan Uang Wajib Tahunan Otorita Sampai Dengan Perpanjangan Hak Guna Bangunan Di Kota Batam (Studi Kasus Kantor Notaris/PPAT Andreas Timothy, S.H., M.Kn.)

    Get PDF
    Problems often occur in the management of UWTO extension until the extension of the HGB is long term processing time. Whereas the request for an extension not new appliacation. The method used in this research is observation, interview, literature study, design and simulation. Research resut in the office of Notary/PPAT Andreas Timothy, S.H., M.Kn is form procedures for handling UWTO extension until extension of HGB, form completeness of the maintenance file extension UWTO, form completeness of maintenance file extension HGB and monitoring programs are designed with Microsoft Office Excel. The design of the completeness of this file is designed to enable employees of the Office Notary/PPAT to understand the procedures for handling UWTO extension until extension of HGB when explaining to clients. Key words: Extension, UWTO, HGB, Form, Design, Clients
    • 

    corecore