Giant capacitance of a plane capacitor with a two-dimensional electron gas in a magnetic field

If a clean two-dimensional electron gas (2DEG) with small concentration $n$ comprises one (or both) electrodes of a plane capacitor, the resulting capacitance $C$ can be larger than the "geometric capacitance" $C_g$ determined by the physical separation $d$ between electrodes. A recent paper [1] argued that when the effective Bohr radius $a_B$ of the 2DEG satisfies $a_B << d$, one can achieve $C >> C_g$ at low concentration $nd^2 << 1$. Here we show that even for devices with $a_B > d$, including graphene, for which $a_B$ is effectively infinite, one also arrives at $C >> C_g$ at low electron concentration if there is a strong perpendicular magnetic field.Comment: 6 pages, 5 figures; updated discussion about bilayer systems; added discussion of fractional quantum Hall state

A dot-blot assay for the low density lipoprotein receptor.

We describe a new method for detecting the interaction of low density lipoprotein with its receptor using unmodified nitrocellulose as support for membrane protein. The method is specific and sensitive down to 3 micrograms of membrane protein. Unlabeled LDL, but not HDL, competes with 125I-labeled LDL for binding, and binding is abolished by pretreatment of the membranes with pronase and is dependent upon the presence of Ca2+. Furthermore, modification of arginine or lysine residues on LDL abolishes the lipoprotein interaction with the receptor protein supported on the nitrocellulose. When the membranes are solubilized with octyl glucoside, purification steps of the receptor can be directly followed with no interference of the detergent, therefore eliminating the need for its removal. The increased expression of LDL receptors on liver membranes from estradiol-treated rats was also demonstrated. We suggest, therefore, that this method can be used to detect the presence of LDL receptors on minute amounts of membrane protein

Predictive Monitoring of Business Processes

Modern information systems that support complex business processes generally maintain significant amounts of process execution data, particularly records of events corresponding to the execution of activities (event logs). In this paper, we present an approach to analyze such event logs in order to predictively monitor business goals during business process execution. At any point during an execution of a process, the user can define business goals in the form of linear temporal logic rules. When an activity is being executed, the framework identifies input data values that are more (or less) likely to lead to the achievement of each business goal. Unlike reactive compliance monitoring approaches that detect violations only after they have occurred, our predictive monitoring approach provides early advice so that users can steer ongoing process executions towards the achievement of business goals. In other words, violations are predicted (and potentially prevented) rather than merely detected. The approach has been implemented in the ProM process mining toolset and validated on a real-life log pertaining to the treatment of cancer patients in a large hospital

Mixing Paradigms for More Comprehensible Models

Petri nets efficiently model both data- and control-flow. Control-flow is either modeled explicitly as flow of a specific kind of data, or implicit based on the data-flow. Explicit modeling of control-flow is useful for well-known and highly structured processes, but may make modeling of abstract features of models, or processes which are highly dynamic, overly complex. Declarative modeling, such as is supported by Declare and DCR graphs, focus on control-flow, but does not specify it explicitly; instead specifications come in the form of constraints on the order or appearance of tasks. In this paper we propose a combination of the two, using colored Petri nets instead of plain Petri nets to provide full data support. The combined approach makes it possible to add a focus on data to declarative languages, and to remove focus from the explicit control-flow from Petri nets for dynamic or abstract processes. In addition to enriching both procedural processes in the form of Petri nets and declarative processes, we also support a flow from modeling only abstract data- and control-flow of a model towards a more explicit control-flow model if so desired. We define our combined approach, and provide considerations necessary for enactment. Our approach has been implemented in CPN Tools 4

User-guided discovery of declarative process models

Process mining techniques can be used to effectively discover process models from logs with example behaviour. Cross-correlating a discovered model with information in the log can be used to improve the underlying process. However, existing process discovery techniques have two important drawbacks. The produced models tend to be large and complex, especially in flexible environments where process executions involve multiple alternatives. This "overload" of information is caused by the fact that traditional discovery techniques construct procedural models explicitly showing all possible behaviours. Moreover, existing techniques offer limited possibilities to guide the mining process towards specific properties of interest. These problems can be solved by discovering declarative models. Using a declarative model, the discovered process behaviour is described as a (compact) set of rules. Moreover, the discovery of such models can easily be guided in terms of rule templates. This paper uses DECLARE, a declarative language that provides more flexibility than conventional procedural notations such as BPMN, Petri nets, UML ADs, EPCs and BPEL. We present an approach to automatically discover DECLARE models. This has been implemented in the process mining tool ProM. Our approach and toolset have been applied to a case study provided by the company Thales in the domain of maritime safety and security

A hybrid approach for aspect-oriented business process modeling

Separation of concerns has long been an important strategy to deal with complexity when developing a system. Some concerns (like security) are scattered through the whole system, and different modules are tangled to such concerns. These concerns are known as cross-cutting concerns. When the system in question is a business process, cross-cutting concerns are aimed at being encapsulated by Aspect-Oriented Business Process Modeling. However, the state-of-the-art techniques in this field lack efficient mechanisms that (1) support composition of cross-cutting concerns that can be defined in parallel to (a part of) a process model and (2) enable specifying both mandatory and optional cross-cutting concerns. To address these limitations, this paper proposes a new Aspect-Oriented Business Process Modeling approach. The approach is hybrid since it is based on declarative rules to relate imperative cross-cutting concerns and imperative business process models. The approach is explained, formally grounded with precise semantics, and used accordingly to implement the artifacts that support modeling and enactment of business processes in the proposed fashion as a proof of concept. In addition, the approach is evaluated on the basis of the Technology Acceptance Model during a workshop session. The result shows that participants perceived the approach usable and easy to use

The PlantLIBRA consumer survey: Findings on the use of plant food supplements in Italy

Background Food supplements, and in particular those containing botanicals (plant food supplements, PFS), have in recent decades been of great interest both to consumers and to food/pharmaceutical industries. Objectives The aim of this paper is to examine replies by Italian consumers to the PlantLIBRA consumers' survey in order to: 1) assess the behaviour of an Italian population with respect to the use of PFS, and to compare it with that of other 5 countries involved in the whole survey; 2) identify different habits in the 4 Italian cities selected according to their geographical distribution; 3) collect independent information on the actual intake of PFS and consumers' behaviour. Subjects/setting 397 Italian consumers enrolled, 187 males (49.5%) and 191 female (50.5%). The distribution of subjects among the 4 cities included was: Milan 99; Venice 90; Rome 96 and Catania 96. Results The interest in PFS in Italy is high, the prevalence of "regular" consumers being 22.7%. Some differences were observed between the 4 cities involved: the pattern of use during the year was specific to each city; consumers in Milan reported reasons to use PFS significantly different from those in the whole Italian sample and did not indicate supermarkets as an important place of purchase; respondents from Rome and Catania more frequently used family doctors and pharmacists as a source of recommendation. Some significant difference among cities, sex and age groups were observed when the most frequently used botanicals were ranked. Conclusions The results provide new insights on the socio-economic characteristics and lifestyle of Italian PFS consumers, on their reasons for and pattern of use, and on their behaviour and expectations. The value of this information is not restricted to the specific country (Italy) but allows for a more general evaluation of the pattern of use, according to habits and geographical area

On Enabling Compliance of Cross-Organizational Business Processes

Process compliance deals with the ability of a company to ensure that its business processes comply with domain-specific regulations and rules. So far, compliance issues have been mainly addressed for intra-organizational business processes, whereas there exists only little work dealing with compliance in the context of cross-organizational processes that involve multiple business partners. As opposed to intra-organizational processes, for a cross-organizational process, compliance must be addressed at different modeling levels, ranging from interaction models to public process models to private processes of the partners. Accordingly, there exist different levels for modeling compliance rules. In particular, we distinguish between local compliance rules of a particular partner and global compliance rules to be obeyed by all partners involved in the cross-organizational process. This paper focuses on checking the compliance of interaction models. For this purpose, we introduce the notion of compliability, which shall guarantee that an interaction model is not conflicting with a set of imposed global compliance rules

Towards Compliance of Cross-Organizational Processes and their Changes

Businesses require the ability to rapidly implement new processes and to quickly adapt existing ones to environmental changes including the optimization of their interactions with partners and customers. However, changes of either intra- or cross-organizational processes must not be done in an uncontrolled manner. In particular, processes are increasingly subject to compliance rules that usually stem from security constraints, corporate guidelines, standards, and laws. These compliance rules have to be considered when modeling business processes and changing existing ones. While change and compliance have been extensively discussed for intra-organizational business processes, albeit only in an isolated manner, their combination in the context of cross-organizational processes remains an open issue. In this paper, we discuss requirements and challenges to be tackled in order to ensure that changes of cross-organizational business processes preserve compliance with imposed regulations, standards and laws