13,878,485 research outputs found
Lambda Calculus in Core Aldwych
Core Aldwych is a simple model for concurrent computation, involving the concept of agents which communicate through shared variables. Each variable will have exactly one agent that can write to it, and its value can never be changed once written, but a value can contain further variables which are written to later. A key aspect is that the reader of a value may become the writer of variables in it. In this paper we show how this model can be used to encode lambda calculus. Individual function applications can be explicitly encoded as lazy or not, as required. We then show how this encoding can be extended to cover functions which manipulate mutable variables, but with the underlying Core Aldwych implementation still using only immutable variables. The ordering of function applications then becomes an issue, with Core Aldwych able to model either the enforcement of an ordering or the retention of indeterminate ordering, which allows parallel execution
Recursive computation of the invariant measure of a stochastic differential equation driven by a L\'evy process
We investigate some recursive procedures based on an exact or ``approximate''
Euler scheme with decreasing step in vue to computation of invariant measures
of solutions to S.D.E. driven by a L\'evy process. Our results are valid for a
large class of S.D.E. that can be governed by L\'evy processes with few moments
or can have a weakly mean-reverting drift, and permit to find again the a.s.
C.L.T for stable processes
Hydrophobic adsorption and covalent immobilization of Candida antarctica lipase B on mixed-function-grafted silica gel supports for continuous-flow biotransformations
Adsorption onto solid supports has proven to be an easy and effective way to improve the mechanical and catalytic properties of lipases. Covalent binding of lipases onto the support surface enhances the active lifetime of the immobilized biocatalysts. Our study indicates that mesoporous silica gels grafted with various functions are ideal supports for both adsorptive and covalent binding for lipase B from Candida antarctica (CaLB). Adsorption of CaLB on phenyl-functionalized silica gels improved in particular its specific activity, whereas adsorption on aminoalkyl-modified silica gels enabling covalent binding with the proper reagents resulted in only moderate specific activity. In addition, adsorption on silica gels modified by mixtures of phenyl- and aminoalkyl silanes significantly increased the productivity of CaLB. Furthermore, CaLB adsorbed onto a phenyl/aminoalkyl-modified surface and then treated with glutardialdehyde (GDA) as cross-linking agent provided a biocatalyst of enhanced durability. Adsorbed and cross-linked CaLB was resistant to detergent washing that would otherwise physically deactivate adsorbed CaLB preparations. The catalytic properties of our best immobilized CaLB variants, including temperature-dependent behavior were compared between 0 and 70 C with those of two commercial CaLB biocatalysts in the continuous-flow kinetic resolutions of racemic 1-phenylethanol rac-1a and 1-phenylethanamine rac-1b. © 2013 Elsevier Ltd
Process evaluation of Derbyshire Intensive Alternatives to Custody Pilot
The aim of this study was to critically assess the implementation and development of the Intensive Alternatives to Custody (IAC) pilot in Derbyshire. The Ministry of Justice (MoJ) Penal Policy paper (May 2007) outlined the government’s intention to develop higher intensity community orders as an alternative to short-term custody. The IAC Order was subsequently developed and piloted, first in Derbyshire and then in six other areas.* The pilots were centrally funded until March 2011
Process Development Center_Producing Sanitizer News
News regarding the University of Maine Process Development Center producing hospital grade sanitizer during the COVID-19 pandemic
Process Development Center_COVID-19 Update
Update from the University of Maine Process Development Center\u27s at the time remaining opening during the COVID-19 pandemic
Triage Process in Emergency Departments: an Indonesian Study
Background: Triage process has rapidly developed in some countries in the last three decades in order to respond to the demand for emergency services by growing population and emergency health needs. However, this development does not appear to match in Indonesian hospitals. The triage process in Indonesia remains obscure.Purpose: This study aimed to describe triage process in Indonesia from a range of different perspectives.Methods: The research design of this study was descriptive qualitative using semistructured interviews of 12 policy makers or persons responsible from 5 different organizations which informed triage practice in Indonesia. The data were analyzed using a three step content analysis.Results: The result produced 3 themes. First, four steps of triage process ranging from receiving to prioritizing were reported as the triaging procedures in Indonesia which were almost similar to the International literature except for a re-triage step. Second,primary and secondary triage processes were also applied in all emergency departments in Indonesia. Last, no prolonged waiting time in Indonesia could be assumed whether the triage process was effective and efficient or it was only a quick process of sorting to rapidly increase the number of patients in the treatment rooms. Out of the themes, the result also indicated that the involvement of nurses in health policy development inIndonesia needed supportConclusion: Triage process in Indonesia still needs improvements. Patient\u27s re-triage and evaluating secondary triage should be given more frameworks in the future. An effective and efficient triage process in Indonesia will best manage the number of patients in the treatment rooms and therefore further observational researches on patterns and trends are needed. Moreover, including the role of nurses as policy makers in the curriculum of nursing undergraduate and post-graduate degrees would give nurses the evidence to seek out policy making positions in the futur
Creativity Process In The Product Development Of Urban Toys Called The Power Anger
Bandung is a gathering place for creative groups that produce creative products. Urban toys are toys that have visual meaning by applying symbols into the shape of characters. Starting from the anxiety of the creator through the process of creativity, the toy products are power angers. The making of this figure starts from visual references which are combined with shapes and colours that correspond to the meaning on the basis of the type of human nature. The process of creativity used is imitative creativity (unconscious), the researcher looks at the creator in the space and time of the process of creating a product until product development. The development of the figure “the power anger” product is a collaboration of ideas with other creators to create different new products.
Keywords: Urban Toy, Creativity, Product Development
- …