cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Build your own clarithmetic II: Soundness
Creators: name: Japaridze, Giorgi
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.1.1; F.1.2; F.1.3
subject: 03F50, 03D75, 03D15, 68Q10, 68T27, 68T30

description: Clarithmetics are number theories based on computability logic (see http://www.csc.villanova.edu/~japaridz/CL/ ). Formulas of these theories represent interactive computational problems, and their "truth" is understood as existence of an algorithmic solution. Various complexity constraints on such solutions induce various versions of clarithmetic. The present paper introduces a parameterized/schematic version CLA11(P1,P2,P3,P4). By tuning the three parameters P1,P2,P3 in an essentially mechanical manner, one automatically obtains sound and complete theories with respect to a wide range of target tricomplexity classes, i.e. combinations of time (set by P3), space (set by P2) and so called amplitude (set by P1) complexities. Sound in the sense that every theorem T of the system represents an interactive number-theoretic computational problem with a solution from the given tricomplexity class and, furthermore, such a solution can be automatically extracted from a proof of T. And complete in the sense that every interactive number-theoretic problem with a solution from the given tricomplexity class is represented by some theorem of the system. Furthermore, through tuning the 4th parameter P4, at the cost of sacrificing recursive axiomatizability but not simplicity or elegance, the above extensional completeness can be strengthened to intensional completeness, according to which every formula representing a problem with a solution from the given tricomplexity class is a theorem of the system. This article is published in two parts. The previous Part I has introduced the system and proved its completeness, while the present Part II is devoted to proving soundness.
Trace Refinement in Labelled Markov Decision Processes
Creators: name: Fijalkow, Nathanaël
name: Kiefer, Stefan
name: Shirmohammadi, Mahsa
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Given two labelled Markov decision processes (MDPs), the trace-refinement problem asks whether for all strategies of the first MDP there exists a strategy of the second MDP such that the induced labelled Markov chains are trace-equivalent. We show that this problem is decidable in polynomial time if the second MDP is a Markov chain. The algorithm is based on new results on a particular notion of bisimulation between distributions over the states. However, we show that the general trace-refinement problem is undecidable, even if the first MDP is a Markov chain. Decidability of those problems was stated as open in 2008. We further study the decidability and complexity of the trace-refinement problem provided that the strategies are restricted to be memoryless.
Pattern Avoidance in Task-Precedence Posets
Creators: name: Paukner, Mitchell
name: Pepin, Lucy
name: Riehl, Manda
name: Wieser, Jarred
Publisher: name: arXiv
Year: 2015
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: We have extended classical pattern avoidance to a new structure: multiple task-precedence posets whose Hasse diagrams have three levels, which we will call diamonds. The vertices of each diamond are assigned labels which are compatible with the poset. A corresponding permutation is formed by reading these labels by increasing levels, and then from left to right. We used Sage to form enumerative conjectures for the associated permutations avoiding collections of patterns of length three, which we then proved. We have discovered a bijection between diamonds avoiding 132 and certain generalized Dyck paths. We have also found the generating function for descents, and therefore the number of avoiders, in these permutations for the majority of collections of patterns of length three. An interesting application of this work (and the motivating example) can be found when task-precedence posets represent warehouse package fulfillment by robots, in which case avoidance of both 231 and 321 ensures we never stack two heavier packages on top of a lighter package.
description: 17 pages
title: A Temporal Information-Theoretic Model of Suboptimal Choice
Creators: name: Cunningham, Paul J.
Publisher: name: Utah State University
Year: 2020

description: Humans and animals often make decisions not in their long-term best interest. In one example, called suboptimal choice, pigeons sacrifice food for food-predictive stimuli. The study of suboptimal choice can reveal insights into the role of reward-predictive stimuli in maladaptive decision-making that characterizes numerous behavioral disorders. However, there is currently little evidence that rats engage in suboptimal choice, thereby raising questions about the species-generality of suboptimal choice. According to the temporal information-theoretic model, developed in Chapter 2, suboptimal choice emerges when pigeons pay more attention to the bits of temporal information conveyed by food-predictive stimuli than the rate of food delivery while making decisions. When there is a long delay to food, more attention is paid to food-predictive stimuli and suboptimal choice emerges in pigeons. Chapter 3 found that rats also engaged in suboptimal choice provided a sufficiently long delay to food. Further, when there is also a long delay to food-predictive stimuli, more attention is paid to the rate of food delivery and optimal choice emerges in pigeons. Chapter 4 found that suboptimal choice in rats was unaffected by delays to food-predictive stimuli. Thus, the processes that govern suboptimal choice are well-described by the temporal information- theoretic model of suboptimal choice for both rats and pigeons, though there might be species-differences in the variables that govern attention to food-predictive stimuli and food itself.
title: Decoding LDPC Codes with Probabilistic Local Maximum Likelihood Bit Flipping
Creators: name: Mathews, Rejoy Roy
Publisher: name: Utah State University
Year: 2020

description: Communication channels are inherently noisy making error correction coding a major topic of research for modern communication systems. Error correction coding is the addition of redundancy to information transmitted over communication channels to enable detection and recovery of erroneous information. Low-density parity-check (LDPC) codes are a class of error correcting codes that have been effective in maintaining reliability of information transmitted over communication channels. Multiple algorithms have been developed to benefit from the LDPC coding scheme to improve recovery of erroneous information. This work develops a matrix construction that stores the information error probability statistics for a communication channel. This combined with the error correcting capability of LDPC codes enabled the development of the Probabilistic Local Maximum Likelihood Bit Flipping (PLMLBF) algorithm, which is the focus of this research work.
Most Complex Regular Ideal Languages
Creators: name: Brzozowski, Janusz
name: Davies, Sylvie
name: Liu, Bo Yang Victor
Publisher: name: arXiv
Year: 2015
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: A right ideal (left ideal, two-sided ideal) is a non-empty language $L$ over an alphabet $Σ$ such that $L=LΣ^*$ ($L=Σ^*L$, $L=Σ^*LΣ^*$). Let $k=3$ for right ideals, 4 for left ideals and 5 for two-sided ideals. We show that there exist sequences ($L_n \mid n \ge k $) of right, left, and two-sided regular ideals, where $L_n$ has quotient complexity (state complexity) $n$, such that $L_n$ is most complex in its class under the following measures of complexity: the size of the syntactic semigroup, the quotient complexities of the left quotients of $L_n$, the number of atoms (intersections of complemented and uncomplemented left quotients), the quotient complexities of the atoms, and the quotient complexities of reversal, star, product (concatenation), and all binary boolean operations. In that sense, these ideals are "most complex" languages in their classes, or "universal witnesses" to the complexity of the various operations.
description: 25 pages, 11 figures. To appear in Discrete Mathematics and Theoretical Computer Science. arXiv admin note: text overlap with arXiv:1311.4448
title: Examination of the Ecological Differences Between Two Closely Related Endemic Whitefish in Relation to Growth Conditions and Predation Risk
Creators: name: Kennedy, Benjamen M.
Publisher: name: Utah State University
Year: 2005

description: Benthic Bear Lake whitefish (Prosopium abyssicola) and Bonneville whitefish (P. spilontus) are closely related, yet the extent of ecological separation remains poorly understood. We described their spring and summer distribution and diet in Bear Lake and examined how these were related to environmental growth conditions, and predation risk. In spring and summer, Bonneville whitefish dominated shallower depths (5-30 m), whereas Bear Lake whitefish dominated deeper depths (45-55 m). At intermediate depths (35-40 m), low numbers of both species occurred. Bonneville whitefish ate mostly Chironomidae, whereas Bear Lake whitefish ate mostly Ostracoda. Habitats occupied by Bonneville whitefish had better growth conditions, but higher predation risks compared to Bear Lake whitefish habitats. Avoided habitats had poor growth conditions and high predation risk. These data describe an ecologically distinct, whitefish community in an ecoregion different from those studied before. Whitefish may maintain higher survival at shallow or deep but not middle depths.
A Bijection on Classes Enumerated by the Schröder Numbers
Creators: name: Schroeder, Michael W.
name: Smith, Rebecca
Publisher: name: arXiv
Year: 2015
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05A05

description: We consider a sorting machine consisting of two stacks in series where the first stack has the added restriction that entries in the stack must be in decreasing order from top to bottom. The class of permutations sortable by this machine are known to be enumerated by the Schröder numbers. In this paper, we give a bijection between these sortable permutations of length $n$ and Schröder paths -- the lattice paths from $(0,0)$ to $(n-1,n-1)$ composed of East steps $(1,0)$, North steps $(0,1)$, and Diagonal steps $(1,1)$ that travel weakly below the line $y=x$.
The Spectral Evolution along the Z track of the Bright Neutron Star X-ray Binary GX 17+2
Creators: name: Lin, Dacheng
name: Remillard, Ronald A.
name: Homan, Jeroen
name: Barret, Didier
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Z sources are bright neutron-star X-ray binaries, accreting at around the Eddington limit. We analyze the 68 RXTE observations (270 ks) of Sco-like Z source GX 17+2 made between 1999 October 3-12, covering a complete Z track. We create and fit color-resolved spectra with a model consisting of a thermal multicolor disk, a single-temperature-blackbody boundary layer and a weak Comptonized component. We find that, similar to what was observed for XTE J1701-462 in its Sco-like Z phase, the branches of GX 17+2 can be explained by three processes operating at a constant accretion rate Mdot into the disk: increase of Comptonization up the horizontal branch, transition from a standard thin disk to a slim disk up the normal branch, and temporary fast decrease of the inner disk radius up the flaring branch. We also model the Comptonization in an empirically self-consistent way, with its seed photons tied to the thermal disk component and corrected for to recover the pre-Comptonized thermal disk emission. This allows us to show a constant Mdot along the entire Z track based on the thermal disk component. We also measure the upper kHz QPO frequency and find it to depend on the apparent inner disk radius R_in (prior to Compton scattering) approximately as frequency \propto R_in^(-3/2), supporting the idenfitication of it as the Keplerian frequency at R_in. The horizontal branch oscillation is probably related to the dynamics in the inner disk as well, as both its frequency and R_in vary significantly on the horizontal branch but become relatively constant on the normal branch.
description: 17 pages, 14 figures. Accepted for publication in ApJ
title: Do Didymosphenia Geminata Blooms Affect Fishes in the Kootenai River Basin?
Creators: name: Clancy, Niall G.
Publisher: name: Utah State University
Year: 2020

description: Didymosphenia geminata (Didymo) is a nuisance algae that can cover entire streambeds under certain environmental conditions. Numerous studies have shown that it changes the composition of stream invertebrates. Fishes in many headwaters are known to feed almost exclusively on invertebrates. Thus, there is concern changes to the amount or type of invertebrates caused by Didymo blooms will impact fishes such as trout, charr, and sculpin. In the Kootenai River basin of Montana and British Columbia, we examined stream invertebrates and fish diets, condition, and growth across 25 streams during the summers of 2018 and 2019. The severity of Didymo blooms in these streams ranged from 0 – 80% coverage of the entire streambed. In 2018, we observed significant shifts in the types of stream invertebrates available to trout in Didymo-affected streams. However, trout diets and growth rate were not affected. In 2019, trout, charr, and sculpin diets in streams with severe Didymo blooms were similar to streams with little to no Didymo. Condition of all three types of fish were unaffected. We therefore conclude that summer Didymo blooms have no obvious impacts on the diet, condition, or growth of these fishes. We suggest further studies document potential impacts during winter months and on sensitive invertebrates such as freshwater mussels.
Der Folles-Minimi-Schatzfund aus dem spätrömischen Heidenheim an der Brenz
Creators: name: Stribrny, Karlhorst
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2017

description: [nicht vorhanden / not available]
description: Fundberichte aus Baden-Württemberg, Bd. 17, Nr. 1 (1992): Fundberichte aus Baden-Württemberg
Pattern avoidance for set partitions à la Klazar
Creators: name: Bloom, Jonathan
name: Saracino, Dan
Publisher: name: arXiv
Year: 2015
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05A18

description: In 2000 Klazar introduced a new notion of pattern avoidance in the context of set partitions of $[n]=\{1,\ldots, n\}$. The purpose of the present paper is to undertake a study of the concept of Wilf-equivalence based on Klazar's notion. We determine all Wilf-equivalences for partitions with exactly two blocks, one of which is a singleton block, and we conjecture that, for $n\geq 4$, these are all the Wilf-equivalences except for those arising from complementation. If $τ$ is a partition of $[k]$ and $Π_n(τ)$ denotes the set of all partitions of $[n]$ that avoid $τ$, we establish inequalities between $|Π_n(τ_1)|$ and $|Π_n(τ_2)|$ for several choices of $τ_1$ and $τ_2$, and we prove that if $τ_2$ is the partition of $[k]$ with only one block, then $|Π_n(τ_1)| <|Π_n(τ_2)|$ for all $n>k$ and all partitions $τ_1$ of $[k]$ with exactly two blocks. We conjecture that this result holds for all partitions $τ_1$ of $[k]$. Finally, we enumerate $Π_n(τ)$ for all partitions $τ$ of $[4]$.
description: 21 pages
Hans-Jörg Kellner: Die Münzfunde von Manching und die keltischen Fundmünzen aus Südbayern, Stuttgart 1990
Creators: name: Mannsperger, Dietrich
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2017

description: Rezension zu: Hans-Jörg Kellner: Die Münzfunde von Manching und die keltischen Fundmünzen aus Südbayern. Unter Mitarbeit von M. Overbeck und E. Kellner, mit Beiträgen von A. Hartmann, B. Overbeck und U. Zwicker. Die Ausgrabungen in Manching, Bd. 12 (Hrsg. F. Maier). Franz Steiner Verlag, Stuttgart 1990. 274 Seiten mit 5 Textabbildungen, 8 Typenübersichten, 71 Tafeln und 1 Beilage.
description: Fundberichte aus Baden-Württemberg, Bd. 17, Nr. 1 (1992): Fundberichte aus Baden-Württemberg
title: Biological Sex as a Moderator of the Association of Military Sexual Trauma and Posttraumatic Stress Disorder Total and Symptom Cluster Severity
Creators: name: Tannahill, Hallie S.
Publisher: name: Utah State University
Year: 2020

description: Posttraumatic stress disorder (PTSD) is a multifaceted disorder comprised of distinct symptom clusters and is commonly diagnosed in military service members/veterans (SM/Vs), particularly in those with history of military sexual trauma (MST). Evidence and theory suggest that females and males may have different traumatic responses following MST, though research investigating this association has limitations, such as modeling the sexes separately or not covarying for MST severity. The current study examined the moderating role of sex on the association of MST severity and PTSD total and symptom cluster severity. Participants were 1,161 SM/Vs (female: n = 782, 67.36%) who completed online self-report questionnaires. Due to the substantial portion of zeros on the outcome measure (n = 210, 18.07%), two-part hurdle models were utilized to assess the moderating role of sex on the association of MST severity and the presence or severity of overall PTSD symptoms and symptom clusters. Results showed that among those who experienced assault MST, females were at higher risk for the presence of intrusive, avoidance, anhedonia, and dysphoric arousal symptom clusters. Among those who experienced harassment-only MST, males were at higher risk of more severe symptoms overall and in the intrusive, avoidance, negative alterations in cognitions and mood, and dysphoric arousal symptom clusters. No other significant differences were observed. Results from this study suggest that male and female SM/Vs have unique responses to the different severities of MST. Sex-specific interventions may be warranted in targeting posttraumatic responses that are specific to males and females.
Two Millisecond Pulsars Discovered by the PALFA Survey and a Shapiro Delay Measurement
Creators: name: Deneva, J. S.
name: Freire, P. C. C.
name: Cordes, J. M.
name: Lyne, A. G.
name: Ransom, S. M.
name: Cognard, I.
name: Camilo, F.
name: Nice, D. J.
name: Stairs, I. H.
name: Allen, B.
name: Bhat, N. D. R.
name: Bogdanov, S.
name: Brazier, A.
name: Champion, D. J.
name: Chatterjee, S.
name: Crawford, F.
name: Desvignes, G.
name: Hessels, J. W. T.
name: Jenet, F. A.
name: Kaspi, V. M.
name: Knispel, B.
name: Kramer, M.
name: Lazarus, P.
name: van Leeuwen, J.
name: Lorimer, D. R.
name: Lynch, R. S.
name: McLaughlin, M. A.
name: Scholz, P.
name: Siemens, X.
name: Stappers, B. W.
name: Stovall, K.
name: Venkataraman, A.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We present two millisecond pulsar discoveries from the PALFA survey of the Galactic plane with the Arecibo telescope. PSR J1955+2527 is an isolated pulsar with a period of 4.87 ms, and PSR J1949+3106 has a period of 13.14 ms and is in a 1.9-day binary system with a massive companion. Their timing solutions, based on 4 years of timing measurements with the Arecibo, Green Bank, Nançay and Jodrell Bank telescopes, allow precise determination of spin and astrometric parameters, including precise determinations of their proper motions. For PSR J1949+3106, we can clearly detect the Shapiro delay. From this we measure the pulsar mass to be 1.47(+0.43/-0.31) solar masses, the companion mass to be 0.85(+0.14/-0.11) solar masses and the orbital inclination to be i = 79.9(+1.6/-1.9) degrees, where uncertainties correspond to +/- 1-σ confidence levels. With continued timing, we expect to also be able to detect the advance of periastron for the J1949+3106 system. This effect, combined with the Shapiro delay, will eventually provide very precise mass measurements for this system and a test of general relativity.
description: 29 pages, 4 tables, 7 figures; accepted for publication to The Astrophysical Journal
title: Interaction Between Winter Dominance and Territory Defense in Male Pronghorn Antelope, Antilocapra Americana
Creators: name: Gunnels, Charles William
Publisher: name: Utah State University
Year: 1999

description: In a territorial population of pronghorn from Antelope Island, UT, interaction between male dominance and territory defense was examined.  High-ranking males were more likely to defend territories.  Closely ranked animals engaged in more dominance interactions than distantly ranked individuals, and middle-ranked animals were involved in disproportionately more interactions than either high-or low-ranking animals.  Large males possessed large horns and prongs as well as small cheek patches.  Results from a factor analysis suggested that large males defended territories with a high density of sage.  However, in this study, we did not observe pronghorn feed on sage during the territorial season.  Though male pronghorn practiced resource defense polygyny, large, dominant males did not defend territories with a high density of green vegetation or green forbs.  Large males appeared to defend territories with low visibility.  In 1996, intruders entered areas that contained females throughout the territorial season.  During the next year, highly visible, small territories received the most intrusions.  Together, these observations suggest defense of tactical locations. Defending a tactical location may help females avoid harassment and males hide the presence of females.
Different populations of pronghorn practice different mating systems. To understand this variation, we examined the behavior patterns/rates of individual territorial and bachelor males.  The highest rates of activity and behavior patterns occurred in March/April and in September.  Territorial males cheek rubbed at a higher rate than bachelors.  Territorial males were more active and SPUD (sniff, paw, urinate, and defecate) marked at a higher rate than bachelor males in 1996.  After the formation of a bachelor herd in 1997, bachelor males showed higher rates of male- male interactions than territorial males.  Territorial males maintained the same activity and behavioral rates in the presence and absence of females.  Dispersion pattern of scent marks was more clumped in the presence of females.  These findings suggest cheek rubs function more as a space-claiming behavior while SPUD marking is more strongly associated with male- male interactions.  Comparison to male behavior in nonterritorial populations indicates that the behavioral mechanisms are present in all populations to accommodate shifts in social systems.
Veronika Heyde, Frankreich im KSZE-Prozess. Diplomatie im Namen der europäischen Sicherheit 1969-1983, Berlin, Boston, MA (De Gruyter) 2016
Creators: name: Loth, Wilfried
Publisher: name: Francia-Recensio
Year: 2017

description: Veronika Heyde, Frankreich im KSZE-Prozess. Diplomatie im Namen der europäischen Sicherheit 1969-1983, Berlin, Boston, MA (De Gruyter) 2016, VIII-473 S. (Quellen und Darstellungen zur Zeitgeschichte, 113), ISBN 978-3-11-051470-4, EUR 59,95.
description: Francia-Recensio, 2017/4
$2\times 2$ monotone grid classes are finitely based
Creators: name: Albert, Michael
name: Brignall, Robert
Publisher: name: arXiv
Year: 2015
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05A05

description: In this note, we prove that all $2 \times 2$ monotone grid classes are finitely based, i.e., defined by a finite collection of minimal forbidden permutations. This follows from a slightly more general result about certain $2 \times 2$ (generalized) grid classes having two monotone cells in the same row.
description: 10 pages, 5 figures. To appear in Discrete Mathematics and Theoretical Computer Science, special issue for Permutation Patterns 2015
Effect of longitudinal fluctuation in event-by-event (3+1)D hydrodynamics
Creators: name: Pang, Longgang
name: Wang, Qun
name: Wang, Xin-Nian
Publisher: name: arXiv
Year: 2012
Subjects: subject: Nuclear Theory (nucl-th)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Hadron spectra and elliptic flow in relativistic heavy-ion collisions are studied in event-by-event (3+1)D ideal hydrodynamic simulations with fluctuating initial conditions given by the AMPT Monte Carlo model. Both the coherent soft gluon production from wounded nucleons and incoherent mini-jet production in semi-hard parton scatterings are considered. These partons take part in parton cascade and are assumed to be locally thermalized. They provide the fluctuating initial conditions for hydrodynamic simulations with a Gaussian smearing. Effects of both transverse and longitudinal fluctuations are studied. The initial fluctuations along rapidity direction lead to expanding hot spots in longitudinal direction, which will reduce elliptic flow and the yield of particles at high transverse momentum. The intrinsic correlation introduced in the fluctuating initial conditions is also found to influence the di-hadron correlation of the final hadrons.
description: 4 pages, 2 figures to appear in proceedings of QM2012
Frédéric Stroh, Peter M. Quadflieg (dir.), L’incorporation de force dans les territoires annexés par le IIIe Reich 1939–1945 – Die Zwangsrekrutierung in den vom Dritten Reich annektierten Gebieten, Strasbourg (Presses universitaires de Strasbourg) 2016
Creators: name: Hellwinkel, Lars
Publisher: name: Francia-Recensio
Year: 2017

description: Frédéric Stroh, Peter M. Quadflieg (dir.), L’incorporation de force dans les territoires annexés par le IIIe Reich 1939–1945 – Die Zwangsrekrutierung in den vom Dritten Reich annektierten Gebieten, Strasbourg (Presses universitaires de Strasbourg) 2016, 228 p. (Les mondes germaniques), ISBN 978-2-86820-536-0, EUR 24,00.
description: Francia-Recensio, 2017/4
We Are Still Strangers: How Institutional Differences Impact Participatory Development Success
Creators: name: Roberts, Brooke
Publisher: name: University of Chicago
Year: 2021
Subjects: subject: International Development
subject: Ethiopia
subject: Participatory Development

description: This thesis questions why participatory development programs fail. This thesis argues that institutional differences - divergent established and organized norms or rules that govern groups of people - persist within and disrupt the relationship between development actors and participants. Therefore, the greater the degree of institutional differences held between development actors and local participants, the greater the likelihood that the participatory development program will fail to fully empower it’s participants. This prediction is tested in case study analyses of two participatory development projects in Ethiopia: Participatory Forest Management (PFM) pilot projects implemented in the Bonga and Chilimo forests by Farm Africa, a U.K. based development organization, and the Pastoral Community Development Project (PCDP), run by the country’s Ministry of Federal Affairs (MoFA). This thesis finds that the PFM pilot projects failed to fully empower forest-dependent communities as the result of large institutional differences between Farm Africa and the communities in question. On the other hand, small institutional differences between the MoFA and pastoral communities lead to the successful empowerment of pastoralists at the conclusion of the PCDP. These findings demonstrate that institutional differences between development actors and local participants are ultimately a contributing causal factor to participatory development failure.
Additional file 1 of Identification of characteristic genes and construction of regulatory network in gallbladder carcinoma
Creators: name: Shao, Hanrui
name: Zhu, Jiahai
name: Zhu, Ya
name: Liu, Lixin
name: Zhao, Songling
name: Kang, Qiang
name: Liu, Yunxia
name: Zou, Hao
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 1: Figure S1. Heatmap plot for the enriched pathways by miEAA.
Scalar-tensor theories and asymmetric resonant cavities
Creators: name: Minotti, Fernando O.
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Recently published experimental results indicate the appeareance of unusual forces on asymmetric, electromagnetic resonant cavities. It is argued here that a particular class of scalar-tensor theories of gravity could account for this effect.
description: 14 pages, no figures (this version was revised and corrected)
An Erdős--Hajnal analogue for permutation classes
Creators: name: Vatter, Vincent
Publisher: name: arXiv
Year: 2015
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: Let $\mathcal{C}$ be a permutation class that does not contain all layered permutations or all colayered permutations. We prove that there is a constant $c$ such that every permutation in $\mathcal{C}$ of length $n$ contains a monotone subsequence of length $cn$.
Numerical study of spin-dependent transition rates within pairs of dipolar and strongly exchange coupled spins with (s=1/2) during magnetic resonant excitation
Creators: name: Limes, M. E.
name: Wang, J.
name: Baker, W. J.
name: Lee, S. -Y.
name: Saam, B.
name: Boehme, C.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: The effect of dipolar and exchange interactions within pairs of paramagnetic electronic states on Pauli-blockade-controlled spin-dependent transport and recombination rates during magnetic resonant spin excitation is studied numerically using the superoperator Liouville-space formalism. The simulations reveal that spin-Rabi nutation induced by magnetic resonance can control transition rates which can be observed experimentally by pulsed electrically (pEDMR) and pulsed optically (pODMR) detected magnetic resonance spectroscopies. When the dipolar coupling exceeds the difference of the pair partners' Zeeman energies, several nutation frequency components can be observed, the most pronounced at sqrt{2} gamma B_1 (gamma is the gyromagnetic ratio, B_1 is the excitation field). Exchange coupling does not significantly affect this nutation component; however, it does strongly influence a low-frequency component < gamma B_1. Thus, pEDMR/pODMR allow the simultaneous identification of exchange and dipolar interaction strengths.
description: 12 pages, 4 figures, to be submitted to Physical Review B, updated references
Sarah Willner, Georg Koch, Stefanie Samida (Hg.), Doing History. Performative Praktiken in der Geschichtskultur, Münster, New York (Waxmann Verlag) 2016
Creators: name: Duval, Elsa
Publisher: name: Francia-Recensio
Year: 2017

description: Sarah Willner, Georg Koch, Stefanie Samida (Hg.), Doing History. Performative Praktiken in der Geschichtskultur, Münster, New York (Waxmann Verlag) 2016, X–258 S. (Edition Historische Kulturwissenschaften [EHK], 1), ISBN 978-3-8309-3269-7, EUR 29,90.
description: Francia-Recensio, 2017/4
The height of piecewise-testable languages and the complexity of the logic of subwords
Creators: name: Karandikar, Prateek
name: Schnoebelen, Philippe
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences
subject: F.4.1; F.4.3; F.3.1

description: The height of a piecewise-testable language $L$ is the maximum length of the words needed to define $L$ by excluding and requiring given subwords. The height of $L$ is an important descriptive complexity measure that has not yet been investigated in a systematic way. This article develops a series of new techniques for bounding the height of finite languages and of languages obtained by taking closures by subwords, superwords and related operations. As an application of these results, we show that $\mathsf{FO}^2(A^*,\sqsubseteq)$, the two-variable fragment of the first-order logic of sequences with the subword ordering, can only express piecewise-testable properties and has elementary complexity.
description: This article is a full version of "The height of piecewise-testable languages with applications in logical complexity", in Proc. CSL 2016, LIPiCS 62:37
Combinatorial Structures on van der Waerden sets
Creators: name: Tyros, Konstantinos
Publisher: name: arXiv
Year: 2013
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: In this paper we provide two results. The first one consists an infinitary version of the Furstenberg-Weiss Theorem. More precisely we show that every subset $A$ of a homogeneous tree $T$ such that $\frac{|A\cap T(n)|}{|T(n)|}\geqδ$, where T(n) denotes the $n$-th level of $T$, for all $n$ in a van der Waerden set, for some positive real $δ$, contains a strong subtree having a level sets which forms a van der Waerden set. The second result is the following. For every sequence $(m_q)_{q}$ of positive integers and for every real $0
description: 24 pages
Game characterizations and lower cones in the Weihrauch degrees
Creators: name: Nobrega, Hugo
name: Pauly, Arno
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic (math.LO)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: 03E15, 54H05, 03D60, 03F15

description: We introduce a parametrized version of the Wadge game for functions and show that each lower cone in the Weihrauch degrees is characterized by such a game. These parametrized Wadge games subsume the original Wadge game, the eraser and backtrack games as well as Semmes's tree games. In particular, we propose that the lower cones in the Weihrauch degrees are the answer to Andretta's question on which classes of functions admit game characterizations. We then discuss some applications of such parametrized Wadge games. Using machinery from Weihrauch reducibility theory, we introduce games characterizing every (transfinite) level of the Baire hierarchy via an iteration of a pruning derivative on countably branching trees.
Depth, Highness and DNR degrees
Creators: name: Moser, Philippe
name: Stephan, Frank
Publisher: name: arXiv
Year: 2015
Subjects: subject: Computational Complexity (cs.CC)
subject: FOS: Computer and information sciences

description: We study Bennett deep sequences in the context of recursion theory; in particular we investigate the notions of O(1)-deepK, O(1)-deepC , order-deep K and order-deep C sequences. Our main results are that Martin-Loef random sets are not order-deepC , that every many-one degree contains a set which is not O(1)-deepC , that O(1)-deepC sets and order-deepK sets have high or DNR Turing degree and that no K-trival set is O(1)-deepK.
description: journal version, dmtcs
Enumeration of Corners in Tree-like Tableaux
Creators: name: Gao, Alice L. L.
name: Gao, Emily X. L.
name: Laborde-Zubieta, Patxi
name: Sun, Brian Y.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: In this paper, we confirm conjectures of Laborde-Zubieta on the enumeration of corners in tree-like tableaux and in symmetric tree-like tableaux. In the process, we also enumerate corners in (type $B$) permutation tableaux and (symmetric) alternative tableaux. The proof is based on Corteel and Nadeau's bijection between permutation tableaux and permutations. It allows us to interpret the number of corners as a statistic over permutations that is easier to count. The type $B$ case uses the bijection of Corteel and Kim between type $B$ permutation tableaux and signed permutations. Moreover, we give a bijection between corners and runs of size 1 in permutations, which gives an alternative proof of the enumeration of corners. Finally, we introduce conjectural polynomial analogues of these enumerations, and explain the implications on the PASEP.
description: 26 pages, 11 figures. This is the final version for publication
Kapitza-Dirac effect in the relativistic regime
Creators: name: Ahrens, Sven
name: Bauke, Heiko
name: Keitel, Christoph H.
name: Müller, Carsten
Publisher: name: arXiv
Year: 2013
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: A relativistic description of the Kapitza-Dirac effect in the so-called Bragg regime with two and three interacting photons is presented by investigating both numerical and perturbative solutions of the Dirac equation in momentum space. We demonstrate that spin-flips can be observed in the two-photon and the three-photon Kapitza-Dirac effect for certain parameters. During the interaction with the laser field the electron's spin is rotated, and we give explicit expressions for the rotation axis and the rotation angle. The off-resonant Kapitza-Dirac effect, that is, when the Bragg condition is not exactly fulfilled, is described by a generalized Rabi theory. We also analyze the in-field quantum dynamics as obtained from the numerical solution of the Dirac equation.
description: minor corrections
A conservation-law-based modular fluid-flow model for network congestion modeling
Creators: name: Briat, Corentin
name: Yavuz, Emre Altug
name: Karlsson, Gunnar
Publisher: name: arXiv
Year: 2012
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: Systems and Control (eess.SY)
subject: Classical Analysis and ODEs (math.CA)
subject: Dynamical Systems (math.DS)
subject: Optimization and Control (math.OC)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Mathematics

description: A modular fluid-flow model for network congestion analysis and control is proposed. The model is derived from an information conservation law stating that the information is either in transit, lost or received. Mathematical models of network elements such as queues, users, and transmission channels, and network description variables, including sending/acknowledgement rates and delays, are inferred from this law and obtained by applying this principle locally. The modularity of the devised model makes it sufficiently generic to describe any network topology, and appealing for building simulators. Previous models in the literature are often not capable of capturing the transient behavior of the network precisely, making the resulting analysis inaccurate in practice. Those models can be recovered from exact reduction or approximation of this new model. An important aspect of this particular modeling approach is the introduction of new tight building blocks that implement mechanisms ignored by the existing ones, notably at the queue and user levels. Comparisons with packet-level simulations corroborate the proposed model.
description: 17 pages, 28 figures. Published at the 31st IEEE International Conference on Computer Communications (INFOCOM'12)
ความสามารถในการตั้งปัญหาทางคณิตศาสตร์ของนักศึกษาครู
Creators: name: วีรวัฒน์ ไทยขำ
Publisher: name: วารสารคณิตศาสตร์ โดย สมาคมคณิตศาสตร์แห่งประเทศไทย ในพระบรมราชูปถัมภ์
Year: 2021
Subjects: ความสามารถในการตั้งปัญหา
การตั้งปัญหาทางคณิตศาสตร์
นักศึกษาครู

description: วารสารคณิตศาสตร์ โดย สมาคมคณิตศาสตร์แห่งประเทศไทย ในพระบรมราชูปถัมภ์, 66, 704, 26 - 45
Solutions of massive gravity theories in constant scalar invariant geometries
Creators: name: Siampos, K.
name: Spindel, Ph.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We solve massive gravity field equations in the framework of locally homogenous and vanishing scalar invariant (VSI) Lorentzian spacetimes, which in three dimensions are the building blocks of constant scalar invariant (CSI) spacetimes. At first, we provide an exhaustive list of all Lorentzian three-dimensional homogeneous spaces and then we determine the Petrov type of the relevant curvature tensors. Among these geometries we determine for which values of their structure constants they are solutions of the field equations of massive gravity theories with cosmological constant. The homogeneous solutions founded are of all various Petrov types : I_C, I_R, II, III, D_t, D_s, N, O; the VSI geometries which we found are of Petrov type III. The Petrov types II and III are new explicit CSI spacetimes solutions of these types. We also examine the conditions under which the obtained anti-de Sitter solutions are free of tachyonic massive graviton modes.
description: v3: Latex, 42 pages, 4 figures; fixed typos and added sentences
title: On Computer Support of the Course “Fundamentals of Microelectronics” by Specialized Software: the Results of the Pedagogical Experiment
Creators: name: Semenikhina, Olena
name: Drushlyak, Marina
name: Lynnyk, Serhii
name: Kharchenko, Inna
name: Kyryliuk, Hanna
name: Honcharenko, Olena
Publisher: name: TEM Journal
Year: 2020

description: The awareness of the ideas about the work of modern computers is important for the future ITspecialists’ preparation. Processes occurring in the middle of the computing system are based on the work of the physical devices, the modeling of which is advisable to carry out in simulation software. The authors consider the problem of choosing simulation software of physical processes. The experience of teaching microelectronics course allowed to choose two simulation software: Proteus and Multisim. The pedagogical experiment on the choice of the optimal simulation software to support the course of microelectronics, which is studied by future ITspecialists and computer science teachers, was conducted based on Makarenko Sumy State Pedagogical University (Ukraine). The comparative analysis of the individual characteristics of the simulation software prefers Proteus. However, the results of the pedagogical experiment confirm the feasibility of attracting Multisim.
Sonja Dünnebeil (Hg.), Die Protokollbücher des Ordens vom Goldenen Vlies. Teil 4. Der Übergang an das Haus Habsburg (1477 bis 1480), Frankfurt a. M., Bern, Bruxelles u. a. (Peter Lang Edition) 2016
Creators: name: Paviot, Jacques
Publisher: name: Francia-Recensio
Year: 2017

description: Sonja Dünnebeil (Hg.), Die Protokollbücher des Ordens vom Goldenen Vlies. Teil 4. Der Übergang an das Haus Habsburg (1477 bis 1480), Frankfurt a. M., Bern, Bruxelles u. a. (Peter Lang Edition) 2016, 350 S. (Kieler Werkstücke. Reihe D: Beiträge zur europäischen Geschichte des späten Mittelalters, 17), ISBN 978-3-631-66678-4, EUR 64,95.
description: Francia-Recensio, 2017/4
The Doubling of Stellar Black Hole Nuclei
Creators: name: Kazandjian, Mher V.
name: Touma, Jihad R.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: It is strongly believed that Andromeda's double nucleus signals a disk of stars revolving around its central super-massive black hole on eccentric Keplerian orbits with nearly aligned apsides. A self-consistent stellar dynamical origin for such apparently long-lived alignment has so far been lacking, with indications that cluster self-gravity is capable of sustaining such lopsided configurations if and when stimulated by external perturbations. Here, we present results of N-body simulations which show unstable counter-rotating stellar clusters around super-massive black holes saturating into uniformly precessing lopsided nuclei. The double nucleus in our featured experiment decomposes naturally into a thick eccentric disk of apo-apse aligned stars which is embedded in a lighter triaxial cluster. The eccentric disk reproduces key features of Keplerian disk models of Andromeda's double nucleus; the triaxial cluster has a distinctive kinematic signature which is evident in HST observations of Andromeda's double nucleus, and has been difficult to reproduce with Keplerian disks alone. Our simulations demonstrate how the combination of eccentric disk and triaxial cluster arises naturally when a star cluster accreted over a pre-existing and counter-rotating disk of stars, drives disk and cluster into a mutually destabilizing dance. Such accretion events are inherent to standard galaxy formation scenarios. They are here shown to double stellar black hole nuclei as they feed them.
description: 7 pages, 4 figures, Submitted to MNRAS
Matchings of quadratic size extend to long cycles in hypercubes
Creators: name: Dvořák, Tomáš
Publisher: name: arXiv
Year: 2015
Subjects: subject: Discrete Mathematics (cs.DM)
subject: FOS: Computer and information sciences
subject: G.2.2
subject: 05C38, 05C45, 05C70

description: Ruskey and Savage in 1993 asked whether every matching in a hypercube can be extended to a Hamiltonian cycle. A positive answer is known for perfect matchings, but the general case has been resolved only for matchings of linear size. In this paper we show that there is a quadratic function $q(n)$ such that every matching in the $n$-dimensional hypercube of size at most $q(n)$ may be extended to a cycle which covers at least $\frac34$ of the vertices.
Axel Gotthard. Der Dreißigjährige Krieg. Eine Einführung, Köln, Weimar, Wien (Böhlau) 2016
Creators: name: Wilson, Peter H.
Publisher: name: Francia-Recensio
Year: 2017

description: Axel Gotthard. Der Dreißigjährige Krieg. Eine Einführung, Köln, Weimar, Wien (Böhlau) 2016, 390 S., 3 Abb., 4 Kt. (UTB, 4555), ISBN 978-3-8252-4555-9, EUR 24,99
description: Francia-Recensio, 2017/4
Scaling relations of metallicity, stellar mass, and star formation rate in metal-poor starbursts: I. A fundamental plane
Creators: name: Hunt, Leslie
name: Magrini, Laura
name: Galli, Daniele
name: Schneider, Raffaella
name: Bianchi, Simone
name: Maiolino, Roberto
name: Romano, Donatella
name: Tosi, Monica
name: Valiante, Rosa
Publisher: name: arXiv
Year: 2012
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Most galaxies follow well-defined scaling relations of metallicity (O/H), star formation rate (SFR), and stellar mass. However, low-metallicity starbursts, rare in the Local Universe but more common at high redshift, deviate significantly from these scaling relations. On the "main sequence" of star formation, these galaxies have high SFR for a given M*; and on the mass-metallicity relation, they have excess M* for their low metallicity. In this paper, we characterize O/H, M*, and SFR for these deviant "low-metallicity starbursts", selected from a sample of ~1100 galaxies, spanning almost two orders of magnitude in metal abundance, a factor of ~10^6 in SFR, and of ~10^5 in stellar mass. Our sample includes quiescent star-forming galaxies and blue compact dwarfs at redshift 0, luminous compact galaxies at redshift 0.3, and Lyman Break galaxies at redshifts 1-3.4. Applying a Principal Component Analysis (PCA) to the galaxies in our sample with M*<10^{10} Msun gives a Fundamental Plane (FP) of scaling relations; SFR and stellar mass define the plane itself, and O/H its thickness. The dispersion for our sample in the edge-on view of the plane is 0.17 dex, independently of redshift and including the metal-poor starbursts. The same FP is followed by 55100 galaxies selected from the Sloan Digital Sky Survey, with a dispersion of 0.06dex. In a companion paper, we develop multi-phase chemical evolution models that successfully predict the observed scaling relations and the FP; the deviations from the main scaling relations are caused by a different (starburst or "active") mode of star formation. These scaling relations do not truly evolve, but rather are defined by the different galaxy populations dominant at different cosmological epochs.
description: 14 pages, 7 figures, accepted for publication by MNRAS