Pelaksanaan Standard Operating Procedure (Sop) Sertifikasi Halal oleh Majelis Ulama Indonesia (Mui) Riau (Studi Kasus USAha Katering di Kota Pekanbaru)

Standard Operating Procedure (SOP) is guidance of work stages to perform tasks based on function and tools of work assessment made systematically in order to maintaining bureaucratic effectively and efficiently. SOP arranged to abridging, straightening, and ordering tasks which it is contained chronology of process in performing tasks from the beginning task until the last task. Therefore, in making of halal certification, LPPOM MUI as executioner of the process has arranged a plot of SOP systematically before the certification being published including catering enterprise. Facts on field that society and producer are in misperception to SOP halal licence publication. This research aimed to understand SOP of halal licence and its application to Catering Enterprise in Pekanbaru City.Theory of concept which is used by researcher is SOP theory by Purnamasari, which indicators such as Consistency, Efficiency, Minimization of Error, Problem Resolution and Working Map. This research use qualitative research method which data analyzed descriptively. In data collecting, researcher use interview technique, observation and documentation. With using technique of purposive sampling as source of information and triangulation technique as source of data validityResult of this research shows that SOP of Halal Certification by LPPOM MUI Riau generally and catering enterprise particularly is good enough, nevertheless not implemented maximally based on efficiency which is not fast by time and precise along with lack of public socialization to society or producers in Pekanbaru City. On the other hand, process that working manually made execution of certification still not fast by time and Halal Guarantee System (HGS) not fully implemented by LPPOM to catering enterprise in Pekanbaru City

State of the art on Neuropterida of Sicily and Malta

Sicily, the largest Mediterranean island, is surrounded by many small islands (Aeolian Islands, Ustica, Aegadian Islands, Pantelleria, Linosa, Lampedusa, Maltese Islands), some of which forming archipelagoes. The authors, after a historical sketch of the research on Neuropterida in Sicily (sensu lato), analyze the biodiversity of the area, highlighting the species richness and providing an up-to-date check-list. The lack of knowledge on some of the most paradigmatic communities of Neuropterida is discussed in relation to their various habitats. The distributional patterns of Sicilian Neuropterida are interpreted in order to obtain a biogeographical characterization of the area. It is confirmed that the location of Sicily and its surrounding islands forms a bridge between north and south and a door from the W Mediterranean region to the oriental Mediterranean basi

Bigraphical modelling of architectural patterns

Selected for publication in FACS'2011 post-proceedings, to appear in Springer Lecture Notes in Computer ScienceArchery is a language for behavioural modelling of architectural patterns, supporting hierarchical composition and a type discipline. This paper extends Archery to cope with the patterns' structural dimension through a set of (re-)configuration combinators and constraints that all instances of a pattern must obey. Both types and instances of architectural patterns are semantically represented as bigraphical reactive systems and operations upon them as reaction rules. Such a bigraphical semantics provides a rigorous model for Archery patterns and reduces constraint verification in architectures to a type-checking problem.(undefined

Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning

Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries like term and graph rewriting. Realistic problems, however, call for suitable techniques to guarantee scalability. For instance, many domains exhibit a hierarchical structure that can be exploited conveniently. This is particularly evident for composition associations of models. We propose an explicit representation of such structured models and a methodology that exploits it for the description and analysis of model- and rule-based systems. The approach is presented in the framework of rewriting logic and its efficient implementation in the rewrite engine Maude and is illustrated with a case study.

Reactive carbonyl species and protein adducts: Identification strategies, biological mechanisms and molecular approaches for their detoxification

The Special issue is composed of 13 contributions: 9 research papers and 4 reviews [...]

Estimating the Maximum Information Leakage

none2noopenAldini, Alessandro; DI PIERRO, A.Aldini, Alessandro; DI PIERRO, A

Effects of beta-alanine supplementation on brain homocarnosine/carnosine signal and cognitive function: an exploratory study

Objectives: Two independent studies were conducted to examine the effects of 28 d of beta-alanine supplementation at 6.4 g d-1 on brain homocarnosine/carnosine signal in omnivores and vegetarians (Study 1) and on cognitive function before and after exercise in trained cyclists (Study 2). Methods: In Study 1, seven healthy vegetarians (3 women and 4 men) and seven age- and sex-matched omnivores undertook a brain 1H-MRS exam at baseline and after beta-alanine supplementation. In study 2, nineteen trained male cyclists completed four 20-Km cycling time trials (two pre supplementation and two post supplementation), with a battery of cognitive function tests (Stroop test, Sternberg paradigm, Rapid Visual Information Processing task) being performed before and after exercise on each occasion. Results: In Study 1, there were no within-group effects of beta-alanine supplementation on brain homocarnosine/carnosine signal in either vegetarians (p = 0.99) or omnivores (p = 0.27); nor was there any effect when data from both groups were pooled (p = 0.19). Similarly, there was no group by time interaction for brain homocarnosine/carnosine signal (p = 0.27). In study 2, exercise improved cognitive function across all tests (P0.05) of beta-alanine supplementation on response times or accuracy for the Stroop test, Sternberg paradigm or RVIP task at rest or after exercise. Conclusion: 28 d of beta-alanine supplementation at 6.4g d-1 appeared not to influence brain homocarnosine/ carnosine signal in either omnivores or vegetarians; nor did it influence cognitive function before or after exercise in trained cyclists

A Stochastic Broadcast Pi-Calculus

In this paper we propose a stochastic broadcast PI-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint synchronization rates. We also take immediate transitions into account which is useful to model behaviors with no impact on the temporal properties of a system. Since immediate transitions may introduce non-determinism, we will show how these non-determinism can be resolved, and as result a valid CTMC will be obtained finally. Also some practical examples are given to show the application of this calculus.Comment: In Proceedings QAPL 2011, arXiv:1107.074

Total Synthesis of 1”- and 2”-Hydroxycannabidiol Metabolites

Herein we report a new practical and efficient multistep syntheses of 1”- and 2”-hydroxycannabidiol metabolites. Both products and intermediates were fully characterized, and the target metabolites were produced in good overall yields