Search results for "Heck"
showing 10 items of 682 documents
"Od Wmci Pani już bardzo dawno miałem wiadomość, proszę, abyś mi doniosła o zdrowiu swoim i obrotach...". Wojenne doświadczenia Elżbiety z Branickiej…
2018
Elżbieta z domu Branicka była od 1732 roku trzecią żoną Jana Tarły, wojewody lubelskiego, a od 1736 roku wojewody sandomierskiego. Korespondencja pomiędzy małżonkami wskazuje na dobre relacje, oparte o wzajemna troskę i zaufania. No to ostatnie Elżbieta w pełni zasługiwała za swoja postawę w latach 1733 - 1736 przetrwać trudne czasy wojny. W rzeczywistości stawiała czoła realnym, być może wyolbrzymionym zagrożeniom. Uwypukliło to takie cechy jej charakteru, jak zdecydowanie, zaradność, i odporność na sytuacje kryzysowe. Elżbieta z Branickich Tarłowa potrafiła dbać o siebie, męża i majątek rodzinny.
The Long-Term Patterns of Regional Income Inequality in Spain, 1860–2000
2013
This paper studies the evolution of Spanish regional inequality from 1860 to 2000. The results point to the coexistence of two basic forces behind changes in regional economic inequality: differences in economic structure and labor productivity across regions. In the Spanish case, the initial expansion of industrialization during the period 1860-1900, in a context of growing economic integration of regions, promoted the spatial concentration of manufacturing in certain regions, which also benefited from the greatest advances in terms of labor productivity. Since 1900 and until 1985, the diffusion of manufacturing and services production to a greater number of locations generated the emulati…
Evaluating the extent of patient-centred care in a selection of ESC guidelines
2019
AIMS: Patient-centred care (PCC) is the cornerstone for healthcare professionals to promote high quality care for patients with cardiovascular conditions. It is defined as 'Providing care that is respectful of, and responsive to, individual patient preferences, needs and values, and ensuring that patient values guide all clinical decisions'. PCC can improve patient outcomes and allow patients and healthcare professionals to manage care collaboratively using best available evidence. However, there is no clear understanding how extensively guidelines incorporate PCC recommendations. The aim of the study was to evaluate the incorporation of PCC into a selection of guidelines published by the E…
Sequentializing Parameterized Programs
2012
We exhibit assertion-preserving (reachability preserving) transformations from parameterized concurrent shared-memory programs, under a k-round scheduling of processes, to sequential programs. The salient feature of the sequential program is that it tracks the local variables of only one thread at any point, and uses only O(k) copies of shared variables (it does not use extra counters, not even one counter to keep track of the number of threads). Sequentialization is achieved using the concept of a linear interface that captures the effect an unbounded block of processes have on the shared state in a k-round schedule. Our transformation utilizes linear interfaces to sequentialize the progra…
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
2020
AbstractIn model checking, partial-order reduction (POR) is an effective technique to reduce the size of the state space. Stubborn sets are an established variant of POR and have seen many applications over the past 31 years. One of the early works on stubborn sets shows that a combination of several conditions on the reduction is sufficient to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a solution together with an updated correctness proof. Furthermore, we analyse in whi…
Bayesian Checking of the Second Levels of Hierarchical Models
2007
Hierarchical models are increasingly used in many applications. Along with this increased use comes a desire to investigate whether the model is compatible with the observed data. Bayesian methods are well suited to eliminate the many (nuisance) parameters in these complicated models; in this paper we investigate Bayesian methods for model checking. Since we contemplate model checking as a preliminary, exploratory analysis, we concentrate on objective Bayesian methods in which careful specification of an informative prior distribution is avoided. Numerous examples are given and different proposals are investigated and critically compared.
PESI - a taxonomic backbone for Europe
2015
Reliable taxonomy underpins communication in all of biology, not least nature conservation and sustainable use of ecosystem resources. The flexibility of taxonomic interpretations, however, presents a serious challenge for end-users of taxonomic concepts. Users need standardised and continuously harmonised taxonomic reference systems, as well as highquality and complete taxonomic data sets, but these are generally lacking for nonspecialists. The solution is in dynamic, expertly curated web-based taxonomic tools. The Pan-European Species-directories Infrastructure (PESI) worked to solve this key issue by providing a taxonomic e-infrastructure for Europe. It strengthened the relevant social (…
Fauna Europaea: Helminths (Animal Parasitic)
2014
The Laotian Rock Rat Laonastes aenigmamus Jenkins, Kilpatrick, Robinson & Timmins, 2005 was originally discovered in Lao People's Democratic Republic in 2005. This species has been recognized as the sole surviving member of the otherwise extinct rodent family Diatomyidae. Laonastes aenigmamus was initially reported only in limestone forests of Khammouane Province, Central Lao. A second population was recently discovered in Phong Nha Ke Bang National Park (PNKB NP), Quang Binh Province, Central Vietnam in 2011. The confirmed distribution range of L. aenigmamus in Vietnam is very small, approximately 150 km , covering low karst mountains in five communes of Minh Hoa District, Quang Binh Provi…
Quotients of Fermat curves and a Hecke character
2005
AbstractWe explicitly identify infinitely many curves which are quotients of Fermat curves. We show that some of these have simple Jacobians with complex multiplication by a non-cyclotomic field. For a particular case we determine the local zeta functions with two independent methods. The first uses Jacobi sums and the second applies the general theory of complex multiplication, we verify that both methods give the same result.
Palladium-Catalyzed Carbon–Carbon Cross-Coupling Reactions in Thermomorphous Double Emulsions
2015
The method of combining the concept of fluorous biphasic catalysis (FCB) with micro multiple emulsions benefits from the advantages of homogeneous as well as from heterogeneous catalysis in continuous micro flow. In this particular case, three immiscible fluid phases in continuous micro segmented flow were used to perform palladium-catalyzed Heck crosscoupling reactions of styrene with aryl halides. A capillary tube-in-tube coaxial flow setup in combination with a glass micro reactor was used to produce monodisperse aqueous phase/organic phase/perfluorinated phase double emulsions. The resulting emulsions had a core-shell droplet structure composed of a perfluorcarbon fluid in which a palla…