754 research outputs found
Frustrated collisions and unconventional pairing on a quantum superlattice
We solve the problem of scattering and binding of two spin-1/2 fermions on a
one-dimensional superlattice with a period of twice the lattice spacing
analytically. We find the exact bound states and the scattering states,
consisting of a generalized Bethe ansatz augmented with an extra scattering
product due to "asymptotic" degeneracy. If a Bloch band is doubly occupied, the
extra wave can be a bound state in the continuum corresponding to a
single-particle interband transition. In all other cases, it corresponds to a
quasi-momentum changing, frustrated collision.Comment: 4 pages, 2 figure
A logical approach for behavioural composition of scenario-based models
As modern systems become more complex, design approaches model different aspects of the system separately. When considering (intra and inter) system interactions, it is usual to model individual scenarios using UML’s sequence diagrams. Given a set of scenarios we then need to check whether these are consistent and can be combined for a better understanding of the overall behaviour. This paper addresses this by presenting a novel formal technique for composing behavioural models at the metamodel level through exact metamodel restriction (EMR). In our approach a sequence diagram can be completely described by a set of logical constraints at the metamodel level. When composing sequence diagrams we take the union of the sets of logical constraints for each diagram and additional behavioural constraints that describe the matching composition glue. A formal semantics for composition in accordance with the glue guides our model transformation to Alloy. Alloy’s fully automated constraint solver gives us the solution. Our technique has been implemented as an Eclipse plugin SD2Alloy.Postprin
Parity-Violating Electron-Deuteron Scattering
The longitudinal asymmetry due to exchange is calculated in
quasi-elastic electron-deuteron scattering at momentum transfers GeV relevant for the SAMPLE experiment. The deuteron and
scattering-state wave functions are obtained from solutions of a Schr\"odinger
equation with the Argonne potential. Electromagnetic and weak neutral
one- and two-nucleon currents are included in the calculation. The two-nucleon
currents of pion range are shown to be identical to those derived in Chiral
Perturbation Theory. The results indicate that two-body contributions to the
asymmetry are small ( 0.2%) around the quasi-elastic peak, but become
relatively more significant ( 3%) in the high-energy wing of the
quasi-elastic peak.Comment: 23 pages, 10 figure
Enhancing modeling and change support for process families through change patterns
The increasing adoption of process-aware information systems (PAISs), together with the variability of business processes (BPs), has resulted in large collections of related process model variants (i.e., process families). To effectively deal with process families, several proposals (e.g., C-EPC, Provop) exist that extend BP modeling languages with variability-specific constructs. While fostering reuse and reducing modeling efforts, respective constructs imply additional complexity and demand proper support for process designers when creating and modifying process families. Recently, generic and language independent adaptation patterns were successfully introduced for creating and evolving single BP models. However, they are not sufficient to cope with the specific needs for modeling and evolving process families. This paper suggests a complementary set of generic and language-independent change patterns specifically tailored to the needs of process families. When used in combination with existing adaptation patterns, change patterns for process families will enable the modeling and evolution of process families at a high-level of abstraction. Further, they will serve as reference for implementing tools or comparing proposals managing process families. © 2013 Springer-Verlag.This work has been developed with the support of MICINN under the Project EVERYWARE TIN2010-18011.Ayora Esteras, C.; Torres Bosch, MV.; Weber, B.; Reichert, M.; Pelechano Ferragud, V. (2013). Enhancing modeling and change support for process families through change patterns. En Enterprise, Business-Process and Information Systems Modeling, BPMDS 2013. Springer Verlag. 246-260. https://doi.org/10.1007/978-3-642-38484-4_18S246260van der Aalst, W.M.P., ter Hofstede, A.H.M., Barros, B.: Workflow Patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)Aghakasiri, Z., Mirian-Hosseinabadi, S.H.: Workflow change patterns: Opportunities for extension and reuse. In: Proc. SERA 2009, pp. 265–275 (2009)Ayora, C., Torres, V., Reichert, M., Weber, B., Pelechano, V.: Towards run-time flexibility for process families: Open issues and research challenges. In: La Rosa, M., Soffer, P. (eds.) BPM 2012 Workshops. LNBIP, vol. 132, pp. 477–488. Springer, Heidelberg (2013)Ayora, C., Torres, V., Weber, B., Reichert, M., Pelechano, V.: Change patterns for process families. Technical Report, PROS-TR-2012-06, http://www.pros.upv.es/technicalreports/PROS-TR-2012-06.pdfDadam, P., Reichert, M.: The ADEPT project: a decade of research and development for robust and flexible process support. Com. Sci. - R&D 23, 81–97 (2009)Dijkman, R., La Rosa, M., Reijers, H.A.: Managing large collections of business process models - Current techniques and challenges. Comp. in Ind. 63(2), 91–97 (2012)Döhring, M., Zimmermann, B., Karg, L.: Flexible workflows at design- and runtime using BPMN2 adaptation patterns. In: Abramowicz, W. (ed.) BIS 2011. LNBIP, vol. 87, pp. 25–36. Springer, Heidelberg (2011)Gottschalk, F.: Configurable process models. Ph.D. thesis, Eindhoven University of Technology, The Netherlands (2009)Grambow, G., Oberhauser, R., Reichert, M.: Contextual injection of quality measures into software engineering processes. Intl. J. Adv. in Software 4, 76–99 (2011)Gschwind, T., Koehler, J., Wong, J.: Applying patterns during business process modeling. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 4–19. Springer, Heidelberg (2008)Günther, C.W., Rinderle, S., Reichert, M., van der Aalst, W.M.P.: Change mining in adaptive process management systems. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 309–326. Springer, Heidelberg (2006)Hallerbach, A., Bauer, T., Reichert, M.: Context-based configuration of process variants. In: Proc. TCoB 2008, pp. 31–40 (2008)Hallerbach, A., Bauer, T., Reichert, M.: Capturing variability in business process models: the Provop approach. J. of Software Maintenance 22(6-7), 519–546 (2010)Kitchenham, B., Charters, S.: Guidelines for performing Systematic Literature Reviews in Software Engineering, Technical Report EBSE/EPIC–2007–01 (2007)Kulkarni, V., Barat, S., Roychoudhury, S.: Towards business application product lines. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 285–301. Springer, Heidelberg (2012)Küster, J.M., Gerth, C., Förster, A., Engels, G.: Detecting and resolving process model differences in the absence of a change log. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 244–260. Springer, Heidelberg (2008)Küster, J.M., Gerth, C., Engels, G.: Dynamic computation of change operations in version management of business process models. In: Kühne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol. 6138, pp. 201–216. Springer, Heidelberg (2010)Lanz, A., Weber, B., Reichert, M.: Time patterns for process-aware information systems. Requirements Engineering, 1–29 (2012)La Rosa, M., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Questionnaire-based variability modeling for system configuration. Software and System Modeling 8(2), 251–274 (2009)Lerner, B.S., Christov, S., Osterweil, L.J., Bendraou, R., Kannengiesser, U., Wise, A.: Exception Handling Patterns for Process Modeling. IEEE Transactions on Software Engineering 36(2), 162–183 (2010)Li, C., Reichert, M., Wombacher, A.: Mining business process variants: Challenges, scenarios, algorithms. Data Knowledge & Engineering 70(5), 409–434 (2011)Marrella, A., Mecella, M., Russo, A.: Featuring automatic adaptivity through workflow enactment and planning. In: Proc. CollaborateCom 2011, pp. 372–381 (2011)Müller, D., Herbst, J., Hammori, M., Reichert, M.: IT support for release management processes in the automotive industry. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 368–377. Springer, Heidelberg (2006)Reichert, M., Weber, B.: Enabling flexibility in process-aware information systems: challenges, methods, technologies. Springer (2012)Reinhartz-Berger, I., Soffer, P., Sturm, A.: Organizational reference models: supporting an adequate design of local business processes. IBPIM 4(2), 134–149 (2009)Rosemann, M., van der Aalst, W.M.P.: A configurable reference modeling language. Information Systems 32(1), 1–23 (2007)Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow data patterns. Technical Report FIT-TR-2004-01, Queensland Univ. of Technology (2004)Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow resource patterns. Technical Report WP 127, Eindhoven Univ. of Technology (2004)Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow Exception Patterns. In: Martinez, F.H., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 288–302. Springer, Heidelberg (2006)Smirnov, S., Weidlich, M., Mendling, J., Weske, M.: Object-sensitive action patterns in process model repositories. In: Muehlen, M.z., Su, J. (eds.) BPM 2010 Workshops. LNBIP, vol. 66, pp. 251–263. Springer, Heidelberg (2011)Weber, B., Reichert, M., Rinderle-Ma, S.: Change patterns and change support features - Enhancing flexibility in process-aware information systems. Data Knowledge & Engineering 66, 438–466 (2008)Weber, B., Sadiq, S., Reichert, M.: Beyond rigidity - dynamic process lifecycle support. Computer Science 23, 47–65 (2009)Weber, B., Reichert, M., Reijers, H.A., Mendling, J.: Refactoring large process model repositories. Computers in Industry 62(5), 467–486 (2011
Hadronic Parity Violation and Inelastic Electron-Deuteron Scattering
We compute contributions to the parity-violating (PV) inelastic
electron-deuteron scattering asymmetry arising from hadronic PV. While hadronic
PV effects can be relatively important in PV threshold electro- disintegration,
we find that they are highly suppressed at quasielastic kinematics. The
interpretation of the PV quasielastic asymmetry is, thus, largely unaffected by
hadronic PV.Comment: 27 pages, 13 figures, uses REVTeX and BibTe
Перебіг анемії вагітних у хворих на туберкульоз легень
В статье представлены данные течения анемии беременных и нарушения фетоплацентарного
комплекса у 86 женщин, больных туберкулезом легких. Выявлено, что анемия на фоне туберкулезного
процесса приводит к существенным функциональным и морфологическим нарушениям в плаценте. показано
диагностическое значение оценки плацентарной дисфункции для профилактики и лечения анемии у данного
контингента женщин.The article presents the data of course of pregnancy anemia and failures of fetoplacental complex in 86 women
with pulmonary tuberculosis. It is found that anemia under tuberculous process leads to significant functional and
morphological disturbances in placenta. Diagnostic significance of assessment of placental dysfunction for the
prevention and treatment of anemia in this contingent of women is shown
Automatic support for product based workflow design : generation of process models from a product data model
Product Based Workflow Design (PBWD) is one of the few scientific methodologies for the (re)design of workflow processes. It is based on an analysis of the product that is produced in the workflow process and derives a process model from the product structure. Until now this derivation has been a manual task and is therefore a time-consuming and error-prone exercise. Automatic support would enhance the use of the PBWD methodology. In this paper we propose several algorithms to automatically generate process models from a product structure and we present a software tool (implemented in ProM) to support this. Finally, the properties of the resulting process models are analysed and discussed
Anatomy of avian rictal bristles in Caprimulgiformes reveals reduced tactile function in open-habitat, partially diurnal foraging species
Avian rictal bristles are present in many species of birds, especially in nocturnal species. Rictal bristles occur along the upper beak and are morphologically similar to mammalian whiskers. Mammalian whiskers are important tactile sensors, guiding locomotion, foraging and social interactions, and have a well‐characterised anatomy. However, it is not yet known whether avian rictal bristles have a sensory function, and their morphology, anatomy and function have also not been described in many species. Our study compares bristle morphology, follicle anatomy and their association with foraging traits, across 12 Caprimulgiform species. Rictal bristle morphology and follicle anatomy were diverse across the 12 species. Nine of the 12 species had mechanoreceptors around their bristle follicles; however, there was large variation in their musculature, mechanoreceptor numbers and bristle morphology. Overall, species with short, thin, branching bristles that lacked mechanoreceptors tended to forage pre‐dusk in open habitats, whereas species with mechanoreceptors around their bristle follicle tended to forage at night and in more closed habitats. We suggest that rictal bristles are likely to be tactile in many species and may aid in navigation, foraging and collision avoidance; however, identifying rictal bristle function is challenging and demands further investigation in many species
- …