bluuebunny/crossref_metadata_2025_split huggingface dataset:
On polynomial time computation over unordered structures
Authors: Blass Andreas , Gurevich Yuri , Shelah Saharon 
Published: December 2007

AbstractThis paper is motivated by the question whether there exists a logic capturing polynomial time computation over unordered structures. We consider several algorithmic problems near the border of the known, logically defined complexity classes contained in polynomial time. We show that fixpoint logic plus counting is stronger than might be expected, in that it can express the existence of a complete matching in a bipartite graph. We revisit the known examples that separate polynomial time from fixpoint plus counting. We show that the examples in a paper of Cai, Fürer, and Immerman, when suitably padded, are in choiceless polynomial time yet not in fixpoint plus counting. Without padding, they remain in polynomial time but appear not to be in choiceless polynomial time plus counting. Similar results hold for the multipede examples of Gurevich and Shelah, except that their final version of multipedes is, in a sense, already suitably padded. Finally, we describe another possible candidate, involving determinants, for the task of separating polynomial time from choiceless polynomial time plus counting.
Transfinite dependent choice and ω-model reflection
Authors: Rüede Christian 
Published: December 2007

AbstractIn this paper we present some metapredicative subsystems of analysis. We deal with reflection principles, ω-model existence axioms (limit axioms) and axioms asserting the existence of hierarchies. We show several equivalences among the introduced subsystems. In particular we prove the equivalence of Σ11 transfinite dependent choice and Π21 reflection on ω-models of Σ11-DC.
Some highly saturated models of Peano arithmetic
Authors: Schmerl James H. 
Published: December 2007

Some highly saturated models of Peano Arithmetic are constructed in this paper, which consists of two independent sections. In § 1 we answer a question raised in [10] by constructing some highly saturated, rather classless models of PA. A question raised in [7], [3], ]4] is answered in §2, where highly saturated, nonstandard universes having no bad cuts are constructed.Highly saturated, rather classless models of Peano Arithmetic were constructed in [10]. The main result proved there is the following theorem. If λ is a regular cardinal andis aλ-saturated model of PA such that ∣M∣ >λ, thenhas an elementary extensionof the same cardinality which is alsoλ-saturated and which, in addition, is rather classless. The construction in [10] produced a modelfor which cf() =λ+. We asked in Question 5.1 of [10] what other cofinalities could such a modelhave. This question is answered here in Theorem 1.1 of §1 by showing that any cofinality not immediately excluded is possible. Its proof does not depend on the theorem from [10]; in fact, the proof presented here gives a proof of that theorem which is much simpler and shorter than the one in [10].Recursively saturated, rather classless κ-like models of PA were constructed in [9]. In the case of singular κ such models were constructed whenever cf(κ) > ℵ0; no additional set-theoretic hypothesis was needed.
A unified completeness theorem for quantified modal logics
Authors: Corsi Giovanna 
Published: December 2007

AbstractA general strategy for proving completeness theorems for quantified modal logics is provided. Starting from free quantified modal logic K. with or without identity, extensions obtained either by adding the principle of universal instantiation or the converse of the Barcan formula or the Barcan formula are considered and proved complete in a uniform way. Completeness theorems are also shown for systems with the extended Barcan rule as well as for some quantified extensions of the modal logic B. The incompleteness of Q°.B + BF is also proved.
A dichotomy theorem for turbulence
Authors: Hjorth Greg 
Published: December 2007

In this note we show:Theorem 1.1. Let G be a Polish group and X a Polish G-space with the induced orbit equivalence relation EG Borel as a subset of X × X. Then exactly one of the following:(I) There is a countable languageℒand a Borel functionsuch that for all x1, x2 ∈ Xor(II) there is a turbulent Polish G-space Y and a continuous G-embeddingThere are various bows and ribbons which can be woven into these statements. We can strengthen (I) by asking that θ also admit a Borel orbit inverse, that is to say some Borel functionfor some Borel set B ⊂ Mod(ℒ), such that for all x ∈ Xand then after having passed to this strengthened version of (I) we still obtain the exact same dichotomy theorem, and hence the conclusion that the two competing versions of (I) are equivalent. Similarly (II) can be relaxed to just asking that τ be a Borel G-embedding, or even simply a Borel reduction of the relevant orbit equivalence relations. It is in fact a consequence of 1.1 that all the plausible weakenings and strengthenings of (I) and (II) are respectively equivalent to one another.I will not closely examine these possible variations here. The equivalences alluded to above follow from our main theorem and the results of [3]. That monograph had previously shown that (I) and (II) are incompatible, and proved a barbaric forerunner of 1.1, and gone on to conjecture the dichotomy result above.
Modular types in some supersimple theories
Authors: Newelski Ludomir 
Published: December 2007

AbstractWe consider a small supersimple theory with a property (CS) (close to stability). We prove that if in such a theoryTthere is a typep∈S(A) (whereAis finite) withSU(p) = 1 and infinitely many extensions overacleq(A), then inTthere is a modular such type. Also, ifTis supersimple with (CS) andp∈S(∅) is isolated,SU(p) = 1 andphas infinitely many extensions overacleq(∅), thenpis modular.
Three new feather mite genera of the Protolichus generic group (Astigmata, Pterolichidae) from parrots (Aves, Psittaciformes) of the Old World
Authors: Mironov Sergey , Dabert Jacek 
Published: December 2007

AbstractThree new genera of feather mites of the Protolichus generic group (Pterolichidae, Pterolichinae), restricted to parrots, are established based on re-examination of type series and some previously unidentified mite specimens deposited in the collection of E. Trouessart (Muséum National d’Histoire Naturelle, Paris, France): Loriprotolichus gen. nov. with the type species Loriprotolichus charmosynae sp. nov. from Charmosyna papou (Scopoli, 1786) and Loriprotolichus falculiger (Trouessart, 1884) comb. nov. from Glossopsitta concinna (Shaw, 1791); Calyptolichus gen. nov. with type species Calyptolichus favettei (Trouessart, 1899) comb. nov.; Nestorilichus gen. nov. with the type species Nestorilichus atyeoi sp. nov. from Nestor meridionalis (Gmelin, 1788). Several taxonomic changes were implemented in the course of re-examination of the type series. The holotype of Pterolichus (Protolichus) falculiger Trouessart, 1884 is designated. Re-examination of the full syntype series of P. (Protolichus) favettei Trouessart, 1899 representing samples from different hosts, recovered two distinct pterolichid species of the Protolichus generic group. The sample clearly corresponding to the original description (Trouessart, 1899) is fixed as the lectotype and nomenclatural type of P. (Protolichus) favettei; the second species is described as a new species Nestorilichus atyeoi. Protolichus (Mesolichus) favettei cordifora Favette et Trouessart, 1904 is synonymized with P. (Protolichus) favettei.
A new species of Heligmosomoides (Nematoda, Heligmosomidae) parasitic in Peromyscus maniculatus (Rodentia, Cricetidae) from Pennsylvania, USA
Authors: Durette-Desset Marie-Claude , Kinsella John 
Published: December 2007

AbstractHeligmosomoides vandegrifti sp. nov. (Nematoda, Heligmosomidae) is described from Peromyscus maniculatus (Rodentia, Cricetidae) from Pennsylvania, USA. It differs from its closest congener, H. douglasi, in the number of cuticular ridges (35 vs. 32 in male, 36 vs. 41 in female at mid-body), longer bursal rays 2 in relation to rays 3, and in having smaller spicules (635–740 μm long vs. 1 mm). It is proposed that both H. douglasi and H. vandegrifti sp. nov. are parasites of capture from species in North American arvicoline rodents.
Some studies on insect parasitic nematodes (Oxyurida, Thelastomatoidea, Thelastomatidae) from Manipur, North-East India
Authors: Shah Mohammad 
Published: December 2007

AbstractFour known species of insect parasitic nematodes were recovered from Periplaneta americana and Gryllotalpa africana. They are all redescribed in the present study. Key to species along with comparative measurement chart of all known species of Leidynema, Gryllophila and Hammerschmidtiella have been provided. Based on additional features that were not provided by previous workers the emended generic diagnosis of Thelastoma, Leidynema, and Hammerschmidtiella have been provided in the present study.
Lamellodiscus theroni sp. nov. (Monogenea, Diplectanidae), a gill parasite from Diplodus puntazzo (Teleostei, Sparidae) from the Mediterranean Sea
Authors: Amine Faïza , Euzet Louis , Kechemir-Issad Nadia 
Published: December 2007

AbstractWe propose to name as Lamellodiscus theroni sp. nov., the gill parasite of Diplodus puntazzo (Cetti) that was reported by Euzet (1984) as L. ergensi Euzet and Oliver, 1966 in Kerkennah Island (Tunisia). L. theroni sp. nov. was also found specific to D. puntazzo in Algiers Bay (Algeria) and in Gulf of Lion (France). The host specificity of various Lamellodiscus species on D. puntazzo is briefly discussed. Within Lamellodiscus, L. theroni belongs to the “ignoratus” group characterized by a “lyre” shaped male copulatory organ and to the “ergensi” subgroup, characterized by a complex morphology of the haptoral dorsal bars. L. theroni differs from the five other species of this subgroup (L. ergensi, L. kechemirae, L. tomentosus, L. sanfilippoi, L. baeri) by the morphology and the size of the haptoral dorsal bar. L. theroni, as well as, L. hilii, L. bidens, L. impervius, was only reported on the sparid Diplodus puntazzo. These parasite species are all considered as oioxenic.
Frontal glands in the pseudoscolex of Paraechinophallus japonicus (Yamaguti, 1934) (Cestoda, Bothriocephalidea, Echinophallidae)
Authors: Poddubnaya Larisa , Scholz Tomáš , Levron Céline , Kuchta Roman , Gibson David 
Published: December 2007

AbstractThe glands in the pseudoscolex of the echinophallid cestode Paraechinophallus japonicus (Bothriocephalidea), a parasite of the bathypelagic fish Psenopsis anomala (Perciformes, Centrolophidae), were studied using scanning and transmission electron microscopy. Two types of glands, with different morphological types of secretory granules and mechanisms for discharging their glandular secretion, were observed. Both types of gland cell bodies are localized in the parenchyma of the pseudoscolex. The syncytial glands of type I are characterized by the production of small (all ∼0.25 μm in diameter), rounded, dense secretory granules which pass though thin projections into the distal tegumental layer of the pseudoscolex. This type of gland has a unique method of discharging its secretory granules, which we call tumulogenesis. The elimination of the secretory products is realized by an encroachment of the basement membrane and underlying tegumental muscles into the surface region of the distal cytoplasm of the tegument, resulting in the formation of a ‘glandular stalk’ above which develops a superficial glandular tumulus. In the region of the glandular material of the tumulus, the basement membrane of the stalk forms a dilation, and the appearance of a membrane-bound area serves to separate the tumulus from the distal cytoplasm of the tegument. Unicellular glands of type II are characterized by large granules (0.4–0.9 μm in diameter), the presence of peripheral microtubules in the terminal region of their ducts and an eccrine mechanism for the discharge of their secretory granules. A comparative analysis of the distribution and morphology of the types of scolex glands among members of the different families of the ‘Pseudophyllidea’ (currently believed to represent two distinct orders, Bothriocephalidea and Diphyllobothriidea) is presented.
Stress and Work Ability in Oil Industry Workers
Authors: Brešić Jozo , Knežević Bojana , Milošević Milan , Tomljanović Tomislav , Golubović Rajna , Mustajbegović Jadranka 
Published: December 2007

Stress and Work Ability in Oil Industry WorkersThis cross-sectional study conducted between March and June 2006 examined stress at work and work ability of 180 people with different workplaces within an oil company. Office, laboratory, and oil-field workers were invited to complete the "Occupational Stress Assessment Questionnaire - the Oil Industry Version and Work Ability Index (WAI) Questionnaire". The overall response rate was 69.4 %, and the final sample size was 125 workers who completed the questionnaires (57 office, 41 laboratory, 27 oil-field workers). Office, laboratory, and oil-field workers differed significantly with respect to age (P<0.001). The oldest were oil-field workers and the youngest were office workers. The average WAI score for office workers was 44.9, for laboratory workers 43.2 and for field workers 39.7, indicating satisfying work ability. After adjusting for age, the difference in WAI score between the groups of workers was still significant (P<0.001). Over 75 % of all workers believed their job was stressful, but the perception of specific stressors depended on the workplace.
Individual Differences and Sleep Deprivation Effects
Authors: Bakotić Marija , Radošević-Vidaček Biserka , Košćec Adrijana 
Published: December 2007

Individualne Razlike i Učinci Deprivacije SpavanjaSuvremeni način života i različite životne okolnosti sve češće zahtijevaju od pojedinca da skrati trajanje spavanja i mijenja njegov raspored, što često rezultira deprivacijom spavanja. Ranija su istraživanja pokazala da učinci deprivacije spavanja na fiziološko i psihološko funkcioniranje pojedinca ovise o mnogobrojnim čimbenicima poput vrste deprivacije, trajanja prethodnog spavanja, doba dana kad se ispituju učinci, karakteristika zadataka koji se izvode te motivacije ispitanika. U ovom se radu raspravlja o učincima deprivacije spavanja te postojanju stabilnih individualnih razlika u tim učincima koje se nazivaju "ranjivost na gubitak spavanja". Novija istraživanja upućuju na moguću važnost nekih karakteristika ispitanika u predviđanju sustavnih i robusnih posljedica deprivacije spavanja, poput dobi i spola te nekih osobina ličnosti u širem smislu. Nadalje, upozorava se na moguću važnost individualnih razlika u nekim specifičnim osobinama povezanim sa spavanjem i budnošću, poput preferencija cirkadijurne faze, potrebe za spavanjem, za osobu karakteristične razine pospanosti i sposobnosti brzog uspavljivanja. Dosadašnja istraživanja osobina povezanih s različitom ranjivošću na gubitak spavanja nisu dala jednoznačne rezultate o njihovoj prediktivnoj važnosti. Daljnja istraživanja usmjerena na ovaj problem mogla bi pomoći u identifikaciji osoba koje su posebno ranjive na gubitak spavanja te pridonijeti osobnoj i općoj sigurnosti za vrijeme obavljanja noćnog rada.
Analysis of Polychlorinated Biphenyls and Organochlorine Pesticides in Pine Needles
Authors: Kožul Darija , Romanić SnjeŽana 
Published: December 2007

Analysis of Polychlorinated Biphenyls and Organochlorine Pesticides in Pine NeedlesThis paper presents a review of methods for the analysis of polychlorinated biphenyls (PCBs) and organochlorine pesticides (OCPs) in pine needles. These compounds are lipophilic, they accumulate in the biotic and abiotic part of the environment in which they are persistent, and their use is forbidden or restricted due to harmful effects on human and animal health. Pine needles are convenient for monitoring the levels of organochlorine compounds in the air because they accumulate them in wax with which they are covered. However, the presence of many other compounds makes them complex for analysis. Analytical methods for determining organochlorine compounds in pine needles include sample collection, extraction of compounds with a suitable solvent, extract clean-up from unwanted compounds and qualitative and quantitative analysis. PCBs and OCPs are present in pine needles in traces, and every part of the analytical procedure has to be as efficient and selective as possible.
Evaluation of Platelet Activation Parameters as Quality Markers for the Stored Platelets
Authors: Subota Vesna , Vučetić Dušan , Balint Bela , Mijušković Zoran , Vojvodić Danilo , Pejović Janko , Mandić-Radić Slavka 
Published: December 2007

Evaluation of Platelet Activation Parameters as Quality Markers for the Stored PlateletsIn order to investigate the potential use of platelets activation parameters as routine quality control indicators during liquid storage, 27 PC-BC units were kept at 22 °C for up to 5 days. Routine parameters, including a platelet count, mean platelet volume and the parameters of activity: mean platelet component concentration, platelet component distribution width, mean platelet mass, platelet mass distribution width and number of platelet clumps were measured on the Bayer ADVIA 120 hematology analyzer. The platelet surface antigen CD62P was investigated using monoclonal antibodies on the flow cytometer Coulter-Epics XL and the platelet factor 4 and β-thromboglobuline, the main components of the α-granules, were also measured. The reduction in MPV, MPC, PCDW and MPM and the simultaneous increase in PF4, β-TG and CD62P expression reflected the PLT degranulation and activation. Minimizing cell damage during collection and storage is imperative for obtaining the PLT adequate in number and viability.
Simple Statistics in Diagnostic Tests
Authors: Aslan Diler , Sandberg Sverre 
Published: December 2007

Simple Statistics in Diagnostic Tests
Diagnostic performance of a laboratory test is one of the key elements in decision making on diagnosis, screening, monitoring, risk assessment and prognosis of diseases. Sensitivity, specificity, likelihood ratios, diagnostic odds ratios and receiver operating characteristic curves are the measures of diagnostic accuracy of a test. The pretest probability of a disease or a target condition can be enhanced by the use of these measures, and hence the decision is made with the posttest probability. These measures are also used for analysis and critical appraisal of literature for finding the best evidence in the five-step model of evidence-based medicine approach, as well as for integrating the research results into clinical usage. In this context, the specialists in laboratory medicine should assess the diagnostic performance of a laboratory test as well as its analytical performance in order to take part in the management of health care services and health care resources. The aim of this review is to summarize the simple Statistics in diagnostic tests.
Land‐use and fire history effects on post‐fire vegetation dynamics in eastern Spain
Authors: Duguy Beatriz , Vallejo V. Ramón 
Published: December 2007

AbstractQuestion: Is post‐fire, medium‐term vegetation dynamics determined by land‐use or fire history prior to fire?Location: South‐facing slope in the Gallinera valley, Alicante province, eastern Spain.Methods: After mapping the land‐use and fire history of the study site using photo‐interpretation, we sampled vegetation structure on a set of plots representing the most frequent land‐use and fire history combinations on an area burned six years before sampling. We studied the effects of land‐use history, comparing the one‐fire land‐use trajectories. We analysed the effects of fire history; comparing one‐ and two‐fire plots for both previously cropped and uncropped areas.Results: Most variables were not significantly different between the earliest abandoned plots (abandoned at least 38 years before the fire) and the uncropped plots. On the most recently abandoned plots (abandoned between one and four years before the fire), the therophyte richness and the ratio of seeder: resprouter richness were significantly greatest. Different fire recurrences did not determine different post‐fire vegetation on either the uncropped or the early abandoned plots (all dominated by fire‐recruited seeder shrubs). The most recently abandoned plots had a lower resilience to fire.Conclusions: Land‐use history and recent pre‐fire land use, in particular, determined the post‐fire vegetation in the medium term. The vegetation composition converged during secondary succession among land‐use histories. Increasing fire recurrence had a small effect on mature plant communities, due to the combination of life‐history traits determining the response to fire of the dominant species.
Plant height as a simple predictor of the root to shoot ratio: Evidence from alpine grasslands on the Tibetan Plateau
Authors: Li Yonghua , Luo Tiangxiang , Lu Qi 
Published: December 2007

AbstractQuestion: Since increases in altitude and grazing intensity generally result in decreases in height growth of alpine grasslands, plant height may integrate effects of environmental stress and grazing disturbance and provide better assessments of the variation in root: shoot (R: S) biomass ratio than other variables. However, it is unclear if there is a general relationship between plant height and R:S ratio across grassland ecosystems. Such knowledge would be helpful for root biomass estimation in grasslands.Location: An altitudinal transect in the Gonghe Basin (2880–4040 m a.s.l.), northeast Tibetan plateau.Methods: We measured standing biomass both above‐ground and below‐ground, maximum plant height (MPH) and soil variables across 43 plots.Results: Climatic variables explained the variations in MPH and R: S ratio of undegraded grasslands better than soil variables (46–50% vs < 19%), while those of degraded grasslands generally showed insignificant correlations with climatic and soil variables. There was a general relationship between R: S ratio and MPH (negative, R2= 0.76, P< 0.001) across degraded and undegraded grasslands. The relationship was used to predict R: S ratio in 13 additional plots in steppe grasslands of Inner Mongolia, and good agreement of expected and observed values has been found (R2= 0.87, P < 0.001).Conclusions: MPH, that is relatively easy to measure, can be used to predict R:S ratio at plot to regional scales. It is promising to develop a new method for large‐scale estimation of root biomass in grasslands using MPH and shoot biomass avoiding tedious procedures of physical measuring of above and below‐ground biomass.