Compliant and flexible business processes with business rules.

When modeling business processes, we often implicitly think of internal business policies and external regulations. Yet to date, little attention is paid to avoid hard-coding policies and regulations directly in control-flow based process models. The standpoint of this analysis is the role of business rule modeling in achieving business process flexibility. In particular, it is argued that flexible business process models require business rules as a declarative formalism to capture the semantics of policy and regulation. Four kinds of business rules can be used as a starting point to generate less complex control-flow-based business process models. It is shown that these different kinds of business rules relate to different perspectives in the taxonomy of business process flexibility.

The Determination of induction and differentiation in grape vines

The induction and differentiation of 8-year-old Alphonse Lavallee and Sultana grape vines were studied.Defoliation methods enabled us to determine the induction time in grape vines as in other fruit species.Induction and differentiation in the tested varieties were not connected with temporary growth cessation; on the contrary, process took place during the most intensive growth.A correlation was found between the number of leaves and induction period. 18-21 leaves above the examined buds were needed in bot-h varieties to complete the induction.The leaf area needed for induction in a bud of Sultana was lYe times larger than that needed for Alphonse. The efficiency of the leaves of Alphonse to induce differentiation was thus greater.The primordia ,development from induction to detection under the microscope (differentiation) was connected with a constant vegetative development. The time needed for this development was determined by the growth rate of the variety (18 days in Sultana, 14 days in Alphonse).The translocation of materials inducing differentiation from the base of the shoot upwar,ds has not been proved in our work.In Alphonse a lag period of two days was found for the differentiation of each bud along the cane

Tight hardness of the non-commutative Grothendieck problem

We prove that for any $\varepsilon > 0$ it is NP-hard to approximate the non-commutative Grothendieck problem to within a factor $1/2 + \varepsilon$, which matches the approximation ratio of the algorithm of Naor, Regev, and Vidick (STOC'13). Our proof uses an embedding of $\ell_2$ into the space of matrices endowed with the trace norm with the property that the image of standard basis vectors is longer than that of unit vectors with no large coordinates

Tight hardness of the non-commutative Grothendieck problem

We prove that for any ε > 0 it is NP-hard to approximate the non-commutative Grothendieck problem to within a factor 1=2+ε, which matches the approximation ratio of the algorithm of Naor, Regev, and Vidick (STOC’13). Our proof uses an embedding of ℓ2 into the space of matrices endowed with the trace norm with the property that the image of standard basis vectors is longer than that of unit vectors with no large coordinates. We also observe that one can obtain a tight NP-hardness result for the commutative Little Grothendieck problem; previously, this was only known based on the Unique Games Conjecture (Khot and Naor, Mathematika 2009)

Process algebra modelling styles for biomolecular processes

We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling style can be applied. Our goal is to highlight the often implicit choices that modellers make in choosing a formalism, and illustrate, through the use of examples, how this can affect expressability as well as the type and complexity of the analysis that can be performed

Mapping Specific Mental Content during Musical Imagery

Humans can mentally represent auditory information without an external stimulus, but the specificity of these internal representations remains unclear. Here, we asked how similar the temporally unfolding neural representations of imagined music are compared to those during the original perceived experience. We also tested whether rhythmic motion can influence the neural representation of music during imagery as during perception. Participants first memorized six 1-min-long instrumental musical pieces with high accuracy. Functional MRI data were collected during: 1) silent imagery of melodies to the beat of a visual metronome; 2) same but while tapping to the beat; and 3) passive listening. During imagery, inter-subject correlation analysis showed that melody-specific temporal response patterns were reinstated in right associative auditory cortices. When tapping accompanied imagery, the melody-specific neural patterns were reinstated in more extensive temporal-lobe regions bilaterally. These results indicate that the specific contents of conscious experience are encoded similarly during imagery and perception in the dynamic activity of auditory cortices. Furthermore, rhythmic motion can enhance the reinstatement of neural patterns associated with the experience of complex sounds, in keeping with models of motor to sensory influences in auditory processing

Chosen-ciphertext security from subset sum

We construct a public-key encryption (PKE) scheme whose security is polynomial-time equivalent to the hardness of the Subset Sum problem. Our scheme achieves the standard notion of indistinguishability against chosen-ciphertext attacks (IND-CCA) and can be used to encrypt messages of arbitrary polynomial length, improving upon a previous construction by Lyubashevsky, Palacio, and Segev (TCC 2010) which achieved only the weaker notion of semantic security (IND-CPA) and whose concrete security decreases with the length of the message being encrypted. At the core of our construction is a trapdoor technique which originates in the work of Micciancio and Peikert (Eurocrypt 2012

Consensus: guidelines: best practices for detection, assessment and management of suspected acute drug-induced liver injury during clinical trials in patients with nonalcoholic steatohepatitis

BACKGROUND: The last decade has seen a rapid growth in the number of clinical trials enrolling patients with nonalcoholic fatty liver disease and nonalcoholic steatohepatitis (NASH). Due to the underlying chronic liver disease, patients with NASH often require different approaches to the assessment and management of suspected drug-induced liver injury (DILI) compared to patients with healthy livers. However, currently no regulatory guidelines or position papers systematically address best practices pertaining to DILI in NASH clinical trials. AIMS: This publication focuses on best practices concerning the detection, monitoring, diagnosis and management of suspected acute DILI during clinical trials in patients with NASH. METHODS: This is one of several papers developed by the IQ DILI Initiative, comprised of members from 15 pharmaceutical companies, in collaboration with DILI experts from academia and regulatory agencies. This paper is based on extensive literature review, and discussions between industry members with expertise in drug safety and DILI experts from outside industry to achieve consensus on common questions related to this topic. RESULTS: Recommended best practices are outlined pertaining to hepatic inclusion and exclusion criteria, monitoring of liver tests, DILI detection, approach to a suspected DILI signal, causality assessment and hepatic discontinuation rules. CONCLUSIONS: This paper provides a framework for the approach to assessment and management of suspected acute DILI during clinical trials in patients with NASH

Impact assessment of the biological control of the cassava mealybug, Phenacoccus manihoti Matile-Ferrero (Hemiptera: Pseudococcidae), by the introduced parasitoid Epidinocarsis lopezi (De Santis) (Hymenoptera: Encyrtidae)

The impact of Phenacoccus manihoti Matile-Ferrero on growth and tuber yield of cassava, and the results of its biological control by the exotic parasitoid Epidinocarsis lopezi (De Santis) were investigated in a survey of 60 farmers' fields in Ghana and Ivory Coast over an area of 180 000 km2 of the savana and forest ecosystems. Twenty-nine variables associated with plant growth, agronomic and environmental factors, and insect populations were recorded. Densities of P. manihoti were closely correlated with stunting of the cassava shoot tips and, less so, with the rate of stunting early in the growing season. With increasing mealybug infestations, average harvest indices declined and populations of E. lopezi and of indigenous coccinellids increased, but parasitoids were found at lower host levels than were predators. The length of time E. lopezi had been present in an area was the most important factor influencing mealybug densities. Thus, P. manihoti populations were significantly lower where E. lopezi had been present for more than half the planting season than in areas where E. lopezi was lacking or had been only recently introduced. A significant proportion of the farmers in the savanna zone, where P. manihoti populations were much higher than in the forest zone, had observed this decline due to E. lopezi. Tuber yield losses due to P. manihoti in the absence of E. lopezi were tentatively estimated at 463 g/plant in the savanna zone. No significant effect was found in the forest region. When E. lopezi was present, average P. manihoti damage scores were reduced significantly, both in the savanna and forest regions. The increase in yields was 228g/plant or about 2.48 t/ha in the savanna regio