Miracle-dz/UniFAR-FTUs huggingface dataset:
Audit-based Compliance Control (AC2) for EHR Systems

Traditionally, medical data is stored and processed using paper-based files. Recently, medical facilities have started to store, access and exchange medical data in digital form. The drivers for this change are mainly demands for cost reduction, and higher quality of health care. The main concerns when dealing with medical data are availability and confidentiality. Unavailability (even temporary) of medical data is expensive. Physicians may not be able to diagnose patients correctly, or they may have to repeat exams, adding to the overall costs of health care. In extreme cases availability of medical data can even be a matter of life or death. On the other hand, confidentiality of medical data is also important. Legislation requires medical facilities to observe the privacy of the patients, and states that patients have a final say on whether or not their medical data can be processed or not. Moreover, if physicians, or their EHR systems, are not trusted by the patients, for instance because of frequent privacy breaches, then patients may refuse to submit (correct) information, complicating the work of the physicians greatly. In traditional data protection systems, confidentiality and availability are conflicting requirements. The more data protection methods are applied to shield data from outsiders the more likely it becomes that authorized persons will not get access to the data in time. Consider for example, a password verification service that is temporarily not available, an access pass that someone forgot to bring, and so on. In this report we discuss a novel approach to data protection, Audit-based Compliance Control (AC2), and we argue that it is particularly suited for application in EHR systems. In AC2, a-priori access control is minimized to the mere authentication of users and objects, and their basic authorizations. More complex security procedures, such as checking user compliance to policies, are performed a-posteriori by using a formal and automated auditing mechanism. To support our claim we discuss legislation concerning the processing of health records, and we formalize a scenario involving medical personnel and a basic EHR system to show how AC2 can be used in practice. This report is based on previous work (Dekker & Etalle 2006) where we assessed the applicability of a-posteriori access control in a health care scenario. A more technically detailed article about AC2 recently appeared in the IJIS journal, where we focussed however on collaborative work environments (Cederquist, Corin, Dekker, Etalle, & Hartog, 2007). In this report we first provide background and related work before explaining the principal components of the AC2 framework. Moreover we model a detailed EHR case study to show its operation in practice. We conclude by discussing how this framework meets current trends in healthcare and by highlighting the main advantages and drawbacks of using an a-posteriori access control mechanism as opposed to more traditional access control mechanisms.
BTMO Catalyzed Hydrothermal Liquefaction of Lignocellulosic Biomass

Binary transition metal oxide (BTMO), (M1,M2)-Fe oxide (where M1 or M2 = Ni, Zn, Co) nanoparticles were prepared using a soft templating approach and characterized by powder x-ray diffraction (XRD) and Brunauer-EmmettTeller (BET) surface area analyzer. BTMO nanoparticles were investigated as a catalytic material for hydrothermal liquefaction (HTL) of a lignocellulosic biomass with >30 wt% lignin content. An aqueous slurry of a pinewood (10-15 wt% loading) was loaded in a high-temperature highpressure 300 mL batch reactor and heated to different temperatures of 250 300C and pressures of 600 1500 psi. Following the HTL reaction, the aqueous phase (biocrude) was separated from the biochar residue and analyzed using TOC, HPLC, and GCMS. The bio-oil was extracted from the biochar via acetone extraction, which was characterized for higher heating value (HHV) using the elemental analysis.
Aspects of ethics in systemic thinking

Examines the subject “How can we study value systems from a systemic angle of incidence? ”, based on the philosophy developed by Bunge through his treatise on basic philosophy. Develops a conceptual model for the value system, consisting of the following entities: wellbeing, needs and wishes, values, moral codes and action. Discusses each element of the model from a systemic angle of incidence. The ethical norm expressed is referred to as systemic principle of balance and can be expressed in the following way: the wellbeing of those most subject to suffering in the social system should be given number one priority, despite the fact that wellbeing of the majority will deteriorate as a result of this priority.
Manufacturing of Biomimetic Silicone Rubber Films for Experimental Fluid Mechanics: 3D Printed Shark Skin Molds

The skin is at the interface of living organisms and their environment, and has evolved interesting structural properties usually over the course of millions of years, providing clues for the design of manmade biomimetic surfaces with favorable fluid mechanics properties. Here, we describe steps to produce silicone rubber films based on microscopy data from shark skin denticles, from data acquisition and manufacturing to attachment to an airfoil for experimental fluid dynamics in large towing tanks. This method is relatively low-cost, may be generalized to other types of patterned micro-structured surfaces, and the manufacturing process may be reproduced by anyone equipped with a 3D printer. © The Author(s) 2019. Published by ECS. This is an open access article distributed under the terms of the Creative Commons Attribution 4.0 License (CC BY, http://creativecommons.org/licenses/by/4.0/), which permits unrestricted reuse of the work in any medium, provided the original work is properly cited. [DOI: 10.1149/2.0461909jes]
A Simple and Fast Web Alignment Tool for Large Amount of Sequence Data

Multiple sequence alignment (MSA) is the most important step for many of biological sequence analyses, homology search, and protein structural assignments. However, large amount of data make biologists difficult to perform MSA analyses and it requires much computational time to align many sequences. Here, we have developed a simple and fast web alignment tool for aligning, editing, and visualizing large amount of sequence data. We used a cluster server installed ClustalW-MPI using web services and message passing interface (MPI). It also enables users to edit multiple sequence alignments for manual editing and to download the input data and results such as alignments and phylogenetic tree.
FPGA Implementation of Single-Image Super Resolution based on Frame-Bufferless Box Filtering

Recently, a novel algorithm of filter-based single-image super resolution (SR) has been proposed [1]. We here propose a hardware-oriented image-enlargement algorithm for the SR algorithm based on frame-bufferless box filtering, and exhibit novel circuits of the proposed enlargement algorithm and the SR algorithm for FPGA, aiming at the development of singleimage SR module for practical embedded systems.
Estimation of pressure and saturation fields from time-lapse impedance data using the ensemble smoother

This paper introduces the use of the ensemble smoother as a method to invert time-lapse seismic data into pressure and saturation fields. The proposed method uses engineering information described in terms of reservoir flow simulations to generate samples of the prior uncertainty space. Subsequently, these samples are corrected using the time-lapse seismic as conditioning data. The problem is formulated in terms of generating an ensemble of pressure and saturation fields sampling the posterior uncertainty space. The proposed method is very flexible and computationally easy to implement. It has very few requirements in terms of the forward model (reservoir flow simulations and petroelastic modeling). This makes the method straightforward to integrate with existing commercial tools.
Expression procedures and program derivation

We explore techniques for systematically deriving programs from specifications. The goal of this exploration is a better understanding of the development of algorithms. Thus, the intention is not to develop a theory of programs, concerned with the analysis of existing programs, but instead to develop a theory of programming, dealing with the process of constructing new programs. Such a theory would have practical benefits both for programming methodology and for automatic synthesis. We investigate the derivation of programs by program transformation techniques. By expanding an ordinary language of recursion equations to include a generalized procedure construct (the expression procedure), our ability to manipulate programs in that language is greatly facilitated. The expression procedure provides a means of expressing information not just about the properties of individual program elements, but also about the way they relate to each other. A set of three operations--abstraction, application, and composition--for transforming programs in this extended language is presented. We prove using operational semantics that these operations preserve the strong equivalence of programs. The well-known systems of Burstall and Darlington and of Manna and Waldinger are both based on an underlying rule system that does not have this property. Our transformation system is illustrated with several small examples, which are examined in detail to give insight to the heuristic problems of program development. A tactic of program specialization is shown to underlie many of these derivations. While we present no implemented system, some consideration is given to issues related to the development of programming tools. The practical value of our approach is demonstrated in the systematic development of a partial family tree of parsing algorithms, similar in spirit to the treatment of sorting by Darlington and by Green and Barstow. Several intricate parsing algorithms (Earley's, Cocke-Younger-Kasami, and Top-Down) are derived in detail.
Stop-and-go sign algorithms for blind equalization

Stop-and-go adaptation rules that are used to improve the blind convergence characteristics of the conventional and sign decision-directed algorithms are proposed and examined. They are based on the so-called Sato and Godard type errors which are commonly used in blind deconvolution applications. The convergence rates achieved by different algorithms with QAM type constellations are compared. Also, optimal values for the parameters that are used in the Sato and Godard errors and their effect to the convergence of the stop-and-go schemes are investigated by means of analysis and computer simulations.
Modeling the Growth of Decoding Skills in First-Grade Children

The purpose of this study was to demonstrate the usefulness of combining curriculum-based measurement and hierarchical linear modeling procedures to identify the characteristics of first-grade children that predict growth rates in the acquisition of decoding skills (as assessed through measures of isolated word and nonword reading). This study examined the relative importance of both static (initial levels of performance) and dynamic (rate of growth) measures of cognitive-processing abilities (i.e., phonemic awareness and rapid naming speed) and emergent print knowledge (i.e., letter name, letter sound, more advanced graphophoneme knowledge, and orthographic awareness) as predictors of decoding growth in a sample of 75 first-grade children. Over the course of an academic year, a set of parallel word and nonword reading tasks, constructed using curriculum-base measurement techniques and administered on a monthly basis, were capable of demonstrating individual change in decoding skill. Furthermore, results indicate that growth in cognitive-processing abilities and general knowledge about print could likewise be measured and adequately modeled. In this sample of children, rate of growth in word and nonword reading was predicted by a different combination of static and dynamic variables representing both cognitive-processing abilities and print knowledge. Results suggest that in the very earliest stages of word reading development there may be a strong association between the rate of growth in cognitive processing, print knowledge, and decoding skills.
TeCo3D: a 3D telecooperation application based on VRML and Java

In this paper we present a method for sharing collaboration- unaware VRML content, e.g. 3D models which were not specifically developed for use in a distributed environment. This functionality is an essential requirement for the inclusion of arbitrary VRML content, as generated by standard CAD or animation software, into teleconferencing sessions. We have developed a 3D TeleCooperation (TeCo3D) prototype to demonstrate the feasibility of our approach. The basic services provided by the prototype are the distribution of cooperation unaware VRML content, the sharing of user interactions, and the joint viewing of the content. In order to achieve maximum portability, the prototype was developed completely in Java. This paper presents general aspects of sharing VRML content as well as the concepts, the architecture and the services of the TeCo3D prototype. Our approach relies on existing VRML browsers as the VRML presentation and execution engines while reliable multicast is used as the means of communication to provide for scalability.
New approach of color image quantization based on multidimensional directory

Color image quantization is a strategy in which a smaller number of colors are used to represent the image. The objective is to make the quality approximate as closely to the original true-color image. The technology is widely used in non-true-color displays and in color printers that cannot reproduce a large number of different colors. However, the main problem the quantization of color image has to face is how to use less colors to show the color image. Therefore, it is very important to choose one suitable palette for an index color image. In this paper, we shall propose a new approach which employs the concept of Multi-Dimensional Directory (MDD) together with the one cycle LBG algorithm to create a high-quality index color image. Compared with the approaches such as VQ, ISQ, and Photoshop v.5, our approach can not only acquire high quality image but also shorten the operation time.
English for Science and Technology: A Discourse Approach

Louis Trimble has been involved for nearly 20 years in the development of English for science and technology (EST), and in this book he describes the approach which he and others have developed. It starts from the premise that in order to understand the written EST found in technical manuals, textbooks, papers etc., it is first necessary to have an understanding of the discourse structure of these texts. Here he gives a very full description, with many examples, of the various significant features of EST discourse, such as types of classification, definition, instruction etc. The book also describes the 'individualising process' whereby students bring their own specialised material into the course; and the last chapter, demonstrates how a particular course can be organised and structured.
ON THE TWO ORIGINS OF EXISTENTIAL SENTENCES

In this paper, it is shown that there are structural differences between locational and periphrastic existential sentences (hereafter, abbreviated as ESs). It is argued that these structural differences can be accounted for by the hypothesis that locational and periphrastic ESs develop from two different deictic there-constructions. The reanalysis processes by means of which these two ES subcategories develop are argued to be governed by the principle of economy. This principle is proposed as a preliminary answer to the question: how do children expand their repertoire of constructions? *
Communications in Blogademia: An Assessment of Scholar Blogs’ Attributes and Functions

Traditional, peer-reviewed, and formally published communications are a staple of the scholarly record. So too are the informal communications of scholars. Blogs may be seen to represent such communications. But, are blogs scholarship? Though blogging is ongoing in academe for about a decade, there is limited empirical reporting on how blogs are perceived as both a product and process of scholarly communication. This paper reports select findings from a descriptive study of blogging scholars from the fields of history, economics, law, biology, chemistry, and physics. Findings, drawn primarily from 153 completed questionnaires, are complemented by select interview excerpts and blog analysis data. Most questionnaire respondents (80%) consider their blogs as a component of their respective cumulative and persistent scholarly record, with a majority (66%) agreeing that their blog satisfies the criteria for scholarship for unpublished communications. Blogging is seen to contribute to improvements across multiple aspects of respondents’ scholarly lives and leads to invitations to publish, present, serve, and collaborate. These results are of use to blogging scholars, as support for their activity; administrators and peers, to provide context for assessing the potential value of these communications; and information organizations, including libraries and archives, to inform considerations for collecting and stewarding these communications into the future.
Animation of Deformation of Water Drops on Glass Surfaces

To display realistic water drops on glass surfaces, we added a new method, that controls the shape change of water drops, to the conventional motion control method. The shape of a water drop was defined as a sphere or a metaball in the conventional method. However, this is too simple and un realistic. In addition, the shape variance based on the time water marks were created by the movement of water drops was not correctly displayed. Thus we defined a water drop as one mainmetaball surrounded by some submetaballs. By controlling the distances of the submetaballs from the mainmetaball, we can display complex shapes. For example, we can give a different shape to each water drop, which can be changed based on its states like generation, movement, union, separation, etc. Since the motion of each water drop is computed from the position and speed of the mainmetaball, conventional motion control methods can be used.
The Monte Carlo method for semiconductor device simulation

There can be little doubt that the Monte Carlo method for semiconductor device simulation has enormous power as a research tool. It represents a detailed physical model of the semiconductor material(s), and provides a high degree of insight into the microscopic transport processes. However, if the authority ascribed to Monte Carlo models of devices at 1/spl mu/m feature size is to be maintained for devices below O.1/spl mu/m, modelling of the fundamental physics must be further improved. And if the Monte Carlo method is to be successful as a semiconductor device design tool, the device model must be made more realistic. Success in the industrial sector depends on this, but also on achieving fast run-times optimisation - where the scope and need for ingenuity is now greatest.
Pedagogic practice integrating primary science and elearning: the need for relevance, recognition, resource, reflection, readiness and risk

This article describes a well‐funded and well‐equipped model of teacher professional development that encouraged the promotion of information‐rich learning environments for learning science. A community of practice using face‐to‐face and electronic communication encouraged learning, and generated and ensured pedagogical change and innovation. The community of teachers, educators and scientists developed resource materials involving various technologies that were used by the teachers with their classes. Data collected through teacher surveys, online dialogue, interviews, pupil work, teacher ‘show and tell’ and limited classroom observation suggest that technology integration in primary science lessons was governed by six key elements: relevance, recognition, resource, reflection, readiness and risk.
Computerized Preventive Maintenance Management System (CPMMS) for Haematology Department Equipments

devices and equipment have become very complex and are expected to operate under stringent environments. Equipment's should be properly maintained in order to fulfil their objectives. The signs of equipment's failure may not be apparent to clinical staff. Therefore they should be inspected periodically. Scheduled inspections help ensure the safety and efficacy of the medical equipment. A software tool is developed to implement a risk oriented prioritization of devices for equipment maintenance. First establishing an effective, efficient Computerized Preventive Maintenance Management System, collecting the data of equipments in laboratories and implement them to the system. The reports based on the inspection results, help determining a better maintenance's schedule.
Comparative study of error correction coding schemes for the GSM half-rate channel

The problem of achieving robust speech transmission on a digital mobile radio channel subjected to severe fading is addressed. The study includes a performance comparison between the Reed-Solomon and the punctured convolutional types of channel coders, which were used in conjunction with speech coders with bit rates ranging from 6.6 kb/s down to 5.4 kb/s. Speech coding within this range is of particular interest for the standardization of the GSM half-rate system, where the gross bit rate is limited to 11.4 kb/s. The properties of the speech coders and the channel coders are described, as well as results of a series of experiments comparing speech quality and robustness against the transmission errors of a typical GSM half-rate channel. <<ETX>>
NiFe2O4 Nanoparticles: A Green and Reusable Heterogeneous Catalyst for the Synthesis of Spiro[indole-3,2′-Pyrrole]-2,5′(1H,1′H)-Diones

NiFe2O4 nanoparticles were used as an efficient catalyst for the preparation of spiro[indole-3,2′-pyrrole]-2,5′(1H,1′H)-diones by the multi-component condensation reaction of arylamines, acetylenedicarboxylates and isatins under reflux conditions in ethanol.
Facile Synthesis of 2'-Deoxynucleoside Analogs of preQ

The 2'-deoxy derivative of the naturally occurring preQ 0 nucleoside 4 as well as its pyrazolo[3,4d ]pyrimidine analog 5 were synthesized by copper-ion-mediated transformation of 7-iodo substituents of the 7-deazaguanine or 7-deaza-8-azaguanine nucleosides 2 and 3 . They were converted into the corresponding 7-carboxy 10 as well as the 7-carbamoyl derivatives 11 and 12 .
Dynamic Analysis of 3-RRC Parallel Manipulator

The dynamic analysis of a spatial 3-DOF parallel manipulator (3-■RC parallel manipulator) is presented. The architecture of the mechanism is composed of a moving platform attached to a fixed platform through three identical revolute-revolute-column jointed serial linkages. First, the dynamic equation of a 3-■RC parallel manipulator based on the Lagrange equation is presented, and the dynamic character of the mechanism is analyzed. Then, the changes of equivalent moment of inertia, actuator force/torque and energy consumption of the mechanism are analyzed through an example. The results of numerical simulation show that, for a given motion, the configuration has a significant influence on the equivalent moment of inertia and actuator force/torque. The analysis provides necessary information for dynamic performance analysis, optimization design and control of the 3-■RC parallel mechanism.