Constructing optimal entanglement witnesses. II

We provide a class of optimal nondecomposable entanglement witnesses for 4N x 4N composite quantum systems or, equivalently, a new construction of nondecomposable positive maps in the algebra of 4N x 4N complex matrices. This construction provides natural generalization of the Robertson map. It is shown that their structural physical approximations give rise to entanglement breaking channels.Comment: 6 page

Optimal entanglement witnesses from generalized reduction and Robertson maps

We provide a generalization of the reduction and Robertson positive maps in matrix algebras. They give rise to a new class of optimal entanglement witnesses. Their structural physical approximation is analyzed. As a byproduct we provide a new examples of PPT (Positive Partial Transpose) entangled states.Comment: 14 page

Efficiency of website service in polish spas enterprises

The main aim of this study is to investigate the usefulness of websites selected spas enterprises in Poland. The analysis included 37 Polish websites spa business. The efficiency of web service tested by masked surveys (mystery shopping), and using a ethical conduct code in the operation of medical HONcode websites

Impact of tourist trips on seniors’ migrations – case study from Poland

Understanding elderly consumers’ behaviour can be an effective tool for planning the tourist market. The changing demographic structure of the population poses new challenges, which require greater involvement of both the state and the private sector in addressing the issues of the aging society. The main objective of the article was to determine whether seniors’ tourist trips impacted on their final migration. An additional purpose was to establish the senior migrant profile. In order to answer the research question, primary quantitative research was performed, which consisted in collecting information from respondents through a standardized questionnaire. To systematize the reasons for seniors’ migrations, a cluster analysis (Ward’s method) was applied. The seniors moved to places where they found a clean environment of considerable tourist values. The migration improved their living standards and life quality. Almost half of the pensioners had previously visited the place where they moved to permanently

Dysferlin and Myoferlin Regulate Transverse Tubule Formation and Glycerol Sensitivity

Dysferlin is a membrane-associated protein implicated in muscular dystrophy and vesicle movement and function in muscles. The precise role of dysferlin has been debated, partly because of the mild phenotype in dysferlin-null mice (Dysf). We bred Dysf mice to mice lacking myoferlin (MKO) to generate mice lacking both myoferlin and dysferlin (FER). FER animals displayed progressive muscle damage with myofiber necrosis, internalized nuclei, and, at older ages, chronic remodeling and increasing creatine kinase levels. These changes were most prominent in proximal limb and trunk muscles and were more severe than in Dysf mice. Consistently, FER animals had reduced ad libitum activity. Ultrastructural studies uncovered progressive dilation of the sarcoplasmic reticulum and ectopic and misaligned transverse tubules in FER skeletal muscle. FER muscle, and Dysf- and MKO-null muscle, exuded lipid, and serum glycerol levels were elevated in FER and Dysf mice. Glycerol injection into muscle is known to induce myopathy, and glycerol exposure promotes detachment of transverse tubules from the sarcoplasmic reticulum. Dysf, MKO, and FER muscles were highly susceptible to glycerol exposure in vitro, demonstrating a dysfunctional sarcotubule system, and in vivo glycerol exposure induced severe muscular dystrophy, especially in FER muscle. Together, these findings demonstrate the importance of dysferlin and myoferlin for transverse tubule function and in the genesis of muscular dystrophy

Ingeniería de proyectos de explotación de información para PyMEs

Los proyectos de explotación de información poseen características muy distintas a las de los proyectos de desarrollo de software tradicionales. Las clásicas etapas de análisis, diseño, desarrollo, integración y testeo, no encajan con las etapas naturales de los procesos de desarrollo de este tipo de proyectos. En consecuencia, herramientas de la Ingeniería de Software clásica tales como la ingeniería de requerimientos, los modelos de procesos, los ciclos de vida e incluso los mapas de actividades no son aplicables a este tipo de proyectos. En este contexto, este proyecto busca desarrollar y sistematizar el cuerpo de conocimiento de la Ingeniería de Proyectos de Explotación de Información con focalización en su transferencia a la Industria, particularmente al sector PyMEs. Utilizando las metodologías de investigación documental exploratoria, prototipado evolutivo y casos de estudio se plantea a través de objetivos específicos, el desarrollo de los siguientes artefactos de Ingeniería de Proyectos de Explotación de Información: [a] una batería de técnicas de educción y formalismos de documentación de requerimientos; [b] un modelo de procesos y las métricas asociadas; [c] un modelo de ciclo de vida; y [d] un mapa de actividades.Eje: Base de datos y Minería de datosRed de Universidades con Carreras en Informática (RedUNCI

Formalization of Transform Methods using HOL Light

Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and frequency response or the solutions of their corresponding differential equations. In this paper, we present an ongoing project, which focuses on the higher-order logic formalization of transform methods using HOL Light theorem prover. In particular, we present the motivation of the formalization, which is followed by the related work. Next, we present the task completed so far while highlighting some of the challenges faced during the formalization. Finally, we present a roadmap to achieve our objectives, the current status and the future goals for this project.Comment: 15 Pages, CICM 201