This paper examines the distribution of thematic infinitive endings in early Greek epic in the context of the long-standing debate about the transmission and development of Homeric epic diction. There are no aorist infinitives in - in Homer which would scan as -before a consonant or caesura (for example *). It is argued that this artificially ending - should be viewed as an actual analogical innovation of the poetic language, resulting from a proportional analogy to the futures. The total absence (...) of aoristic - in Hesiod is unlikely to be coincidental: the analogical form must have been the product of a specifically East Ionic Kunstsprache, and so could have been simply unknown in some other Ionian school of epic poetry where Hesiod was trained. Finally, the striking avoidance of anapaestic aorist infinitives in - is argued to be explained better under the approach to the Aeolic elements in Homeric diction than under the theory. (shrink)

dicar, qua uiolens obstrepit Aufiduset qua pauper aquae Daunus agrestiumregnauit populorum ex humili potensprinceps Aeolium carmen ad Italos 13deduxisse modos. Surely there is something puzzling about 13–14? What Horace was the first to do was to write Latin poetry using the metrical schemes of the Greek lyricists, principally Alcaeus and Sappho, who wrote in the Aeolic dialect of Lesbos. There can be no reasonable doubt that Aeolium carmen refers in the first instance to Horace's adoption of Aeolic metre. (...) For deduxisse there are two possibilities, and conceivably Horace meant both to operate. The first involves motion, bringing something or someone home or into port. So Horace took Greek metres and moved them in one way or another to Italy. Secondarily deducere might mean ‘to produce ’, a usage found at Sat. 2.1.2-4 similisque meorum mille die uersus deduci posse. (shrink)

Die Homerische Odyssee in der ursprünglichen Sprachform wiederhergestellt von August Fick. Göttingen, 1883.Die Homerische Ilias nach ihrer Entstehung betrachtet wad in der ursprünglichen Sprach-form wiederliergestellt von August Fick. Göttingen, 1885–1886.Philologus, xliii. 1. Dr. K. Sittl, ‘Die Äolismen der Hornerischen Sprache.’ ‘Herr Dr. Karl Sittl und die Hornerischen Äolismen’ von DR. Gustav Hinrichs. Berlin, 1884.Bezzenberger's Beiträge zur Kunde der Indogerm. Sprachen. Vol. xi. ‘Die Sprachform der altionischen und altattischen Lyrik.’ A. Fick.

Die Homerische Odyssee in der ursprünglichen Sprachform wiederhergestellt von August Fick. Göttingen, 1883.Die Homerische Ilias nach ihrer Entstehung betrachtet wad in der ursprünglichen Sprach-form wiederliergestellt von August Fick. Göttingen, 1885–1886.Philologus, xliii. 1. Dr. K. Sittl, ‘Die Äolismen der Hornerischen Sprache.’ ‘Herr Dr. Karl Sittl und die Hornerischen Äolismen’ von DR. Gustav Hinrichs. Berlin, 1884.Bezzenberger's Beiträge zur Kunde der Indogerm. Sprachen. Vol. xi. ‘Die Sprachform der altionischen und altattischen Lyrik.’ A. Fick.

Theocritus' four known Aeolic poems, 28–31, are all in metres used by Sappho and Alcaeus. 28, 30, and apparently 31, are in greater Asclepiads, and 29 is in Sapphic fourteen-syllable lines. Neither of these metres was in common use, and Theocritus is likely to have based his metrical practice, like his dialect, on the Lesbian models.

The following fragment of a papyrus-roll, written in a hand which may be assigned to the second or third century a.d., was bought by Professor O. Guéraud from the antiquary Nahman on behalf of the Société Fouad de Papyrologie . With singular generosity Professor Guéraud has resigned to us the right to publish the text, which we now present with the help of photographs and a transcript, with notes, made by Professor Guéraud. We gratefully acknowledge an obligation to Mr. D. (...) S. Crawford also for assistance in obtaining the photographs. (shrink)

Most models of response time (RT) in elementary cognitive tasks implicitly assume that the speed-accuracy trade-off is continuous: When payoffs or instructions gradually increase the level of speed stress, people are assumed to gradually sacrifice response accuracy in exchange for gradual increases in response speed. This trade-off presumably operates over the entire range from accurate but slow responding to fast but chance-level responding (i.e., guessing). In this article, we challenge the assumption of continuity and propose a phase transition model (...) for RTs and accuracy. Analogous to the fast guess model (Ollman, 1966), our model postulates two modes of processing: a guess mode and a stimulus-controlled mode. From catastrophe theory, we derive two important predictions that allow us to test our model against the fast guess model and against the popular class of sequential sampling models. The first prediction—hysteresis in the transitions between guessing and stimulus-controlled behavior—was confirmed in an experiment that gradually changed the reward for speed versus accuracy. The second prediction—bimodal RT distributions—was confirmed in an experiment that required participants to respond in a way that is intermediate between guessing and accurate responding. (shrink)

Membranous organelles allow sub‐compartmentalization of biological processes. However, additional subcellular structures create dynamic reaction spaces without the need for membranes. Such membrane‐less organelles (MLOs) are physiologically relevant and impact development, gene expression regulation, and cellular stress responses. The phenomenon resulting in the formation of MLOs is called liquid–liquid phase separation (LLPS), and is primarily governed by the interactions of multi‐domain proteins or proteins harboring intrinsically disordered regions as well as RNA‐binding domains. Although the presence of RNAs affects the formation (...) and dissolution of MLOs, it remains unclear how the properties of RNAs exactly contribute to these effects. Here, the authors review this emerging field, and explore how particular RNA properties can affect LLPS and the behavior of MLOs. It is suggested that post‐transcriptional RNA modification systems could be contributors for dynamically modulating the assembly and dissolution of MLOs. (shrink)

Written at an undergraduate mathematical level, this book provides the essential theoretical tools and foundations required to develop basic models to explain collective phase transitions for a wide variety of ecosystems.

Physician‐investigators face the daunting task of enrolling desperate patients into Phase I cancer trials that are not meant to be therapeutic. Patients doggedly regard the trials as therapeutic, and researchers tend to collaborate in their confusion by glossing the trials’ true purposes and noting the occasional benefit that subjects accidentally receive. The disparity between hope and fact must be redressed by degrees, from many angles at once.

Some theories of personal identity allow some variation in what it takes for a person to survive from context to context; and sometimes this is determined by the desires of person-stages or the practices of communities.This leads to problems for decision making in contexts where what is chosen will affect personal identity.‘Temporal Phase Pluralism’ solves such problems by allowing that there can be a plurality of persons constituted by a sequence of person stages. This illuminates difficult decision making problems (...) when persons have to choose between different life-altering choices. (shrink)

Exploratory experiments are widely characterized as experiments that do not test hypotheses. Experiments that do test hypotheses are characterized as confirmatory experiments. Philosophers have pointed out that research programmes can be both confirmatory and exploratory. However, these definitions preclude single experiments being characterized as both exploratory and confirmatory; how can an experiment test and not test a hypothesis? Given the intuition that some experiments are exploratory, some are confirmatory, and some are both, a recharacterization of the relationship between exploratory and (...) confirmatory experimentation is needed. I discuss ‘phase IV’ trials to show what this recharacterization could look like. Phase IV trials can be exploratory and confirmatory insofar as they concurrently test hypotheses and explore for unforeseen phenomena. Even if it is uncontroversial that a single experiment can have multiple aims, the recharacterization of the relationship between exploratory and confirmatory experimentation is still required for these aims to be held together coherently. I offer an alternative characterization of the relationship between exploratory and confirmatory experimentation where the former remains a distinct kind of experimentation but is not characterized as non-hypothesis-testing. (shrink)

I analyze the extent to which classical phase transitions, both first order and continuous, pose a challenge for intertheoretic reduction. My contention is that phase transitions are compatible with a notion of reduction that combines Nagelian reduction and what Thomas Nickles called Reduction2. I also argue that, even if the same approach to reduction applies to both types of phase transitions, there is a crucial difference in their physical treatment: in addition to the thermodynamic limit, in continuous (...) phase transitions there is a second infinite limit involved, which marks an important difference in the reduction of first-order and continuous phase transitions. (shrink)

When the COVID-19 surge hit New York City hospitals, the Division of Medical Ethics at Weill Cornell Medical College, and our affiliated ethics consultation services, faced waves of ethical issues sweeping forward with intensity and urgency. In this article, we describe our experience over an eight-week period (16 March through 10 May 2020), and describe three types of services: clinical ethics consultation (CEC); service practice communications/interventions (SPCI); and organizational ethics advisement (OEA). We tell this narrative through the prism of time, (...) describing the evolution of ethical issues and trends as the pandemic unfolded. We delineate three phases: anticipation and preparation, crisis management, and reflection and adjustment. The first phase focused predominantly on ways to address impending resource shortages and to plan for remote ethics consultation, and CECs focused on code status discussions with surrogates. The second phase was characterized by the dramatic convergence of a rapid increase in the number of critically ill patients, a growing scarcity of resources, and the reassignment/ redeployment of staff outside their specialty areas. The third phase was characterized by the recognition that while the worst of the crisis was waning, its medium- and long-term consequences continued to pose immense challenges. We note that there were times during the crisis that serving in the role of clinical ethics consultant created a sense of dis-ease as novel as the coronavirus itself. In retrospect we learned that our activities far exceeded the familiar terrain of clinical ethics consultation and extended into other spheres of organizational life in novel ways that were unanticipated before this pandemic. To that end, we defined and categorized a middle level of ethics consultation, which we have termed service practice communication intervention (SPCI). This is an underappreciated dimension of the work that ethics consult services are capable of in times of crisis. We believe that the pandemic has revealed the many enduring ways that ethics consultation services can more robustly contribute to the ethical life of their institutions moving forward. (shrink)

Ethical concerns have been raised about the quality of informed consent by participants in phase 1 oncology trials. Interview surveys indicate that substantial proportions of trial participants do not understand the purpose of these trials—evaluating toxicity and dosing for subsequent efficacy studies—and overestimate the prospect of therapeutic benefit that they offer. In this article we argue that although these data suggest the desirability of enhancing the process of information disclosure and assessment of comprehension of the implications of study participation, (...) they do not necessarily invalidate consent by phase 1 trial participants. (shrink)

One of the most widely recognised intuitions about knowledge is that knowing precludes believing truly as a matter of luck. On Pritchard’s highly influential modal account of epistemic luck, luckily true beliefs are, roughly, those for which there are many close possible worlds in which the same belief formed in the same way is false. My aim is to introduce a new challenge to this account. Starting from the observation—as documented by a number of recent EEG studies—that our capacity to (...) detect visual stimuli fluctuates with the phase of our neural oscillations, I argue that there can be very close possible worlds in which an actual-world detectable stimulus is undetectable. However, this doesn’t diminish our willingness to attribute knowledge in the case that the stimulus is detectable, even when undetectability would result in the same belief formed in the same way being false. As I will argue at length, the modal account appears unable to accommodate this result. (shrink)

Wansing’s extended intuitionistic linear logic with strong negation, called WILL, is regarded as a resource-conscious refinment of Nelson’s constructive logics with strong negation. In this paper, (1) the completeness theorem with respect to phase semantics is proved for WILL using a method that simultaneously derives the cut-elimination theorem, (2) a simple correspondence between the class of Petri nets with inhibitor arcs and a fragment of WILL is obtained using a Kripke semantics, (3) a cut-free sequent calculus for WILL, called (...) twist calculus, is presented, (4) a strongly normalizable typed λ-calculus is obtained for a fragment of WILL, and (5) new applications of WILL in medical diagnosis and electric circuit theory are proposed. Strong negation in WILL is found to be expressible as a resource-conscious refutability, and is shown to correspond to inhibitor arcs in Petri net theory. (shrink)

In many cases, the “therapeutic misconception” may be an unavoidable part of the imperfect process of recruitment and consent in medical researchPaul Appelbaum, Loren Roth, and Charles Lidz coined the term “therapeutic misconception” in 1982.1 They described it as the misconception that participating in research is the same as receiving individualised treatment from a physician. It referred to the research subject’s failure to appreciate that the aim of research is to obtain scientific knowledge, and that any benefit to the subject (...) is a by-product of that knowledge. More recent studies by Appelbaum and Lidz have shown that this phenomenon is just as pervasive now as it was twenty four years ago.2 The problem pertains not to any duty of care for researchers but to participants’ unfounded belief in the therapeutic potential of research.3 It is especially acute in phase I oncology trials, which aim to test the toxicity and highest tolerable dose of anticancer drugs.To remedy this situation, many have argued that both clinicians and researchers need to do more in explaining to subjects the differences between experimental research and standard care. Clinicians and researchers recruiting potential subjects for research must present information about the expected risks and benefits of participation in research in a more realistic and straightforward way.4 In one recent examination of consent forms for phase I oncology trials, Sam Horng et al found that, in the section on “benefit”, only one of 272 forms stated that the subjects were expected to benefit. They also found that 11 consent forms stated clearly that subjects would not benefit, 25 forms communicated uncertainty about benefit, and 5 forms said nothing about the chance of benefit. Interestingly, 139 forms alluded to the …. (shrink)

We classify the phase transition thresholds from provability to unprovability for certain Friedman-style miniaturizations of Kruskal's Theorem and Higman's Lemma. In addition we prove a new and unexpected phase transition result for ε0. Motivated by renormalization and universality issues from statistical physics we finally state a universality hypothesis.

Despite their crucial role in the translation of pre-clinical research into new clinical applications, phase 1 trials involving patients continue to prompt ethical debate. At the heart of the controversy is the question of whether risks of administering experimental drugs are therapeutically justified. We suggest that prior attempts to address this question have been muddled, in part because it cannot be answered adequately without first attending to the way labor is divided in managing risk in clinical trials. In what (...) follows, we approach the question of therapeutic justification for phase 1 trials from the viewpoint of five different stakeholders: the drug regulatory authority, the IRB, the clinical investigator, the referring physician, and the patient. Our analysis shows that the question of therapeutic justification actually raises multiple questions corresponding to the roles and responsibilities of the different stakeholders involved. By attending to these contextual differences, we provide more coherent guidance for the ethical negotiation of risk in phase 1 trials involving patients. We close by discussing the implications of our argument for various perennial controversies in phase 1 trial practice. (shrink)

We elaborate Weiermann-style phase transitions for well-partial-orderings (wpo) determined by iterated finite sequences under Higman-Friedman style embedding with Gordeev’s symmetric gap condition. For every d-times iterated wpo \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}\right)}$$\end{document} in question, d > 1, we fix a natural extension of Peano Arithmetic, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${T \supseteq \sf{PA}}$$\end{document}, that proves the corresponding second-order sentence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$${\sf{WPO}\left({\rm S}{\textsc{eq}}^{d}, \trianglelefteq _{d}\right) }$$\end{document}. Having this we consider the following parametrized first-order slow well-partial-ordering sentence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}, r\right):}$$\end{document}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\left( \forall K > 0 \right) \left( \exists M > 0\right) \left( \forall x_{0},\ldots,x_{M}\in {\rm S}\text{\textsc{eq}}^{d}\right)$$\end{document}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\left( \left( \forall i\leq M\right) \left( \left| x_{i}\right| 1}$$\end{document} then \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d},r \right) }$$\end{document} is not provable in T.Moreover, by the well-known proof theoretic equivalences we can just as well replace T by PA or ACA0 and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta _{1}^{1}\sf{CA}}$$\end{document}, if d = 2 and d = 3, respectively.In the limit case d → ∞ we replaceEFA-provably computable reals r by EFA-provably computable functions \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${f: \mathbb{N} \rightarrow \mathbb{R}_{+}}$$\end{document} and prove analogous theorems. (In the sequel we denote by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{R}_{+}}$$\end{document} the set of EFA-provably computable positive reals). In the basic case T = PA we strengthen the basic phase transition result by adding the following static threshold clause\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2}, 1\right)}$$\end{document} is still provable in T = PA (actually in EFA). Furthermore we prove the following dynamic threshold clauses which, loosely speaking are obtained by replacing the static threshold t by slowly growing functions 1α given by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${1_{\alpha }\left( i\right)\,{:=}\,1+\frac{1}{H_{\alpha }^{-1}\left(i\right) }, H_{\alpha}}$$\end{document} being the familiar fast growing Hardy function and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${H_{\alpha }^{-1}\left( i\right)\,{:=}\,\rm min \left\{ j \mid H_{\alpha } \left ( j\right) \geq i \right\}}$$\end{document} the corresponding slowly growing inversion. If \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\alpha < \varepsilon _{0}}$$\end{document}, then \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2}, 1_{\alpha}\right)}$$\end{document} is provable in T = PA. \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left( {\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2},1_{\varepsilon _{0}}\right)}$$\end{document} is not provable in T = PA. We conjecture that this pattern is characteristic for all \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${T\supseteq \sf{PA}}$$\end{document} under consideration and their proof-theoretical ordinals o (T ), instead of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varepsilon _{0}}$$\end{document}. (shrink)

A predictive model applicable in both neurophysiological and decision-making studies is proposed, bridging the gap between psychological/behavioral and neurophysiological studies. Supposing the electromagnetic waves are carriers of decision-making, and electromagnetic waves with the same frequency, individual amplitude and constant phase triggered by conditions interfere with each other and the resultant intensity determines the probability of the decision. Accordingly, brainwave-interference decision-making model is built mathematically and empirically test with neurophysiological and behavioral data. Event-related potential data confirmed the stability of the (...) phase differences in a given decision context. Behavioral data analysis shows that phase stability exists across categorization-decision, two-stage gambling, and prisoner’s dilemma decisions. Irrational decisions occurring in those experiments are actually rational as their phases could be quantitatively derived from the phases of the riskiest and safest choices. Model fitting result reveals that the root-mean-square deviations between the fitted and actual phases of irrational decisions are less than 10°, and the mean absolute percentage errors of the fitted probabilities are less than 0.06. The proposed model is similar in mathematical form compared with the quantum modeling approach, but endowed with physiological/psychological connection and predictive ability, and promising in the integration of neurophysiological and behavioral research to explore the origin of the decision. (shrink)

In this paper, I analyze the extent to which classical phase transitions, especially continuous phase transitions, impose a challenge for reduction- ism. My main contention is that classical phase transitions are compatible with reduction, at least with the notion of limiting reduction, which re- lates the behavior of physical quantities in different theories under certain limiting conditions. I argue that this conclusion follows even after rec- ognizing the existence of two infinite limits involved in the treatment of (...) continuous phase transitions. (shrink)

The European Corporate Sustainability Framework (ECSF) is, among other concepts, based on a phase-wise development approach as described by Clare Graves' Levels of Existence Theory. As much as corporate sustainability has a sequence of adequate interpretations, aligned with each development level, also the notion of business excellence can be defined at multiple levels, as this paper demonstrates. Furthermore, the authors analyze the current EFQM Excellence Model for particular biases towards various development levels and suggest a new and innovative two-step (...) approach to assessing organizational performance with respect to organizational excellence (OE) and corporate sustainability. According to the organization's ambition, the assessment is either limited to a shareholder approach, mainly focusing at optimal usage of resources, or it also includes an additional assessment format based on the stakeholder approach, with specific reference to the organization's performance on the financial, social and ecological bottom line. This paper demonstrates the need and feasibility of an EFQM-Based assessment tool with a combined focus on corporate sustainability and OE. (shrink)

We study the notion of logical relation in the coherence space semantics of multiplicative-additive linear logic . We show that, when the ground-type logical relation is “closed under restrictions”, the logical relation associated to any type can be seen as a map associating facts of a phase space to families of points of the web of the corresponding coherence space. We introduce a sequent calculus extension of whose formulae denote these families of points. This logic admits a truth-value semantics (...) in the previously mentioned phase space, and this truth-value semantics faithfully describes the logical relation model we started from. Then we generalize this notion of phase space, we prove a truth-value completeness result for and we derive from any phase model of a denotational model for . Using the truth-value completeness result, we obtain a weak denotational completeness result based on this new denotational semantics. (shrink)

Joshua Crites and Eric Kodish focuses on unrealistic optimism as a significant factor in parental decisions when consenting for their child to participate in a phase I study.1 They define unrealistic optimism as ‘when people perceive their own personal outcomes as being more positive than those of other people in similar circumstances’. Faced with the dire circumstances of relapsed malignant disease with a fatal outcome, most parents are confronted with the dilemma of either accepting the inevitable death of their (...) child or clinging to straws of hope. When approached by an investigator who suggests that there is still something that can be done in the ‘fight against the disease’ there is an opportunity to retain a glimmer of hope. No matter how impartial and accurate …. (shrink)

We classify a sharp phase transition threshold for Friedman’s finite adjacent Ramsey theorem. We extend the method for showing this result to two previous classifications involving Ramsey theorem variants: the Paris–Harrington theorem and the Kanamori–McAloon theorem. We also provide tools to remove ad hoc arguments from the proofs of phase transition results as much as currently possible.

Gödel’s first incompleteness result from 1931 states that there are true assertions about the natural numbers which do not follow from the Peano axioms. Since 1931 many researchers have been looking for natural examples of such assertions and breakthroughs were obtained in the seventies by Jeff Paris [Some independence results for Peano arithmetic. J. Symbolic Logic 43 725–731] , Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977] and Laurie Kirby [L. Kirby, Jeff Paris, Accessible independence results for Peano Arithmetic, Bull. of (...) the LMS 14 285–293]) and Harvey Friedman [S.G. Simpson, Non-provability of certain combinatorial properties of finite trees, in: Harvey Friedman’s Research on the Foundations of Mathematics, North-Holland, Amsterdam, 1985, pp. 87–117; R. Smith, The consistency strength of some finite forms of the Higman and Kruskal theorems, in: Harvey Friedman’s Research on the Foundations of Mathematics, North-Holland, Amsterdam, 1985, pp. 119–136] who produced the first mathematically interesting independence results in Ramsey theory and well-order and well-quasi-order theory .In this article we investigate Friedman-style principles of combinatorial well-foundedness for the ordinals below ε0. These principles state that there is a uniform bound on the length of decreasing sequences of ordinals which satisfy an elementary recursive growth rate condition with respect to their Gödel numbers.For these independence principles we classify their phase transitions, i.e. we classify exactly the bounding conditions which lead from provability to unprovability in the induced combinatorial well-foundedness principles.As Gödel numbering for ordinals we choose the one which is induced naturally from Gödel’s coding of finite sequences from his classical 1931 paper on his incompleteness results.This choice makes the investigation highly non-trivial but rewarding and we succeed in our objectives by using an intricate and surprising interplay between analytic combinatorics and the theory of descent recursive functions. For obtaining the required bounds on count functions for ordinals we use a classical 1961 Tauberian theorem of Parameswaran which apparently is far remote from Gödel’s theorem. (shrink)

The European Corporate Sustainability Framework (ECSF) is, among other concepts, based on a phase-wise development approach as described by Clare Graves' Levels of Existence Theory. As much as corporate sustainability has a sequence of adequate interpretations, aligned with each development level, also the notion of business excellence can be defined at multiple levels, as this paper demonstrates. Furthermore, the authors analyze the current EFQM Excellence Model for particular biases towards various development levels and suggest a new and innovative two-step (...) approach to assessing organizational performance with respect to organizational excellence (OE) and corporate sustainability. According to the organization's ambition, the assessment is either limited to a shareholder approach, mainly focusing at optimal usage of resources, or it also includes an additional assessment format based on the stakeholder approach, with specific reference to the organization's performance on the financial, social and ecological bottom line. This paper demonstrates the need and feasibility of an EFQM-Based assessment tool with a combined focus on corporate sustainability and OE. (shrink)

Vincent Ardourel discusses the eliminability of infinite limits in the explanations of phase transitions—an important point in the debate on the reducibility of thermodynamics to statistical mechanics. To this end, he examines alternative physical theories that deal with phase transitions in finite systems.

Schwinger’s algebra of microscopic measurement, with the associated complex field of transformation functions, is shown to provide the foundation for a discrete quantum phase space of known type, equipped with a Wigner function and a star product. Discrete position and momentum variables label points in the phase space, each taking \(N\) distinct values, where \(N\) is any chosen prime number. Because of the direct physical interpretation of the measurement symbols, the phase space structure is thereby related to (...) definite experimental configurations. (shrink)

The Aeolic dimeter and trimeter constitute so considerable a part of Greek lyric and dramatic poetry that the correct apprehension of their form is a matter of great moment. The Greek metricians comprehended this rightly, in the main, but in the first half of the nineteenth century the doctrine of these learned men was supplanted by a new theory that attempted to apply the principles that underlie modern poetry to the explanation of the undoubtedly complex rhythm of these clauses. (...) Many scholars persistently maintain this theory. It is not difficult to discover why it was invented and why it remains attractive. That the quantitative rhythms and metres of Greek poetry should seem complicated to men whose language is accentual is inevitable, whereas modern metres and rhythms are notoriously simple. The limitations imposed upon poetic form by accentual speech are extreme. No modern poet, for example, has attempted Ionic or Cretic measures. Again Greek music was simple, and both music and dance were under the control of the singers, but modern music is a complex art, and casts language in an iron mould. Nevertheless musical expression must be the basis of comparison, so far as we allow ourselves to institute it, between ancient and modern rhythms. The attempt to conform Greek lyrics to the elementary—and uncertain—rhythms of modern poetry that is merely read or recited implies a fundamental misconception of relations. Greek lyrics were melic. Agathon, in the Thesmophoriazusae, sings as he composes. These Greek songs were never intended to be read by anybody, Greek or barbarian. (shrink)

In 1885, during initial discussions of J. C. Maxwell's celebrated thermodynamic demon, Whiting (1) observed that the demon-like velocity selection of molecules can occur in a gravitationally bound gas. Recently, a gravitational Maxwell demon has been proposed which makes use of this observation [D. P. Sheehan, J. Glick, and J. D. Means, Found. Phys. 30, 1227 (2000)]. Here we report on numerical simulations that detail its microscopic phase space structure. Results verify the previously hypothesized mechanism of its paradoxical behavior. (...) This system appears to be the only example of a fully classical mechanical Maxwell demon that has not been resolved in favor of the second law of thermodynamics. (shrink)

The Phaselis decree is our chief piece of evidence for the manner in which the Athenians regulated civil-suits arising between themselves and the allies in the mid-fifth century. It reads as follows.

Robertson's earlier work, The New Renaissance projected the likely future impact of computers in changing our culture. Phase Change builds on and deepens his assessment of the role of the computer as a tool driving profound change by examining the role of computers in changing the face of the sciences and mathematics. He shows that paradigm shifts in understanding in science have generally been triggered by the availability of new tools, allowing the investigator a new way of seeing into (...) questions that had not earlier been amenable to scientific probing. (shrink)

It is proposed that the multiple enhancer elements associated with locus control regions and super‐enhancers recruit RNA polymerase II and efficiently assemble elongation competent transcription complexes that are transferred to target genes by transcription termination and transient looping mechanisms. It is well established that transcription complexes are recruited not only to promoters but also to enhancers, where they generate enhancer RNAs. Transcription at enhancers is unstable and frequently aborted. Furthermore, the Integrator and WD‐domain containing protein 82 mediate transcription termination at (...) enhancers. Abortion and termination of transcription at the multiple enhancers of locus control regions and super‐enhancers provide a large pool of elongation competent transcription complexes. These are efficiently captured by strong basal promoter elements at target genes during transient looping interactions. -/- . (shrink)

We extend to the exponential connectives of linear logic the study initiated in Bucciarelli and Ehrhard 247). We define an indexed version of propositional linear logic and provide a sequent calculus for this system. To a formula A of indexed linear logic, we associate an underlying formula of linear logic, and a family A of elements of , the interpretation of in the category of sets and relations. Then A is provable in indexed linear logic iff the family A is (...) contained in the interpretation of some proof of . We extend to this setting the product phase semantics of indexed multiplicative additive linear logic introduced in Bucciarelli and Ehrhard , defining the symmetric product phase spaces. We prove a soundness result for this truth-value semantics and show how a denotational model of linear logic can be associated to any symmetric product phase space. Considering a particular symmetric product phase space, we obtain a new coherence space model of linear logic, which is non-uniform in the sense that the interpretation of a proof of !A−B contains informations about the behavior of this proof when applied to “chimeric” arguments of type A . In this coherence semantics, an element of a web can be strictly coherent with itself, or two distinct elements can be “neutral”. (shrink)

This paper is devoted to the study of the notion of the phase-space representation of quantum theory in both the nonrelativisitic and the relativisitic cases. Then, as a derived concept, the stochastic phase space is introduced and its connections with fuzzy set theory and probabilistic topological (in particular, metric) spaces are discussed.

The four phases of Internet regulation are the "open Internet" period, from the network's birth through about 2000; "access denied," through about 2005; "access controlled," through the present day ; and "access contested," the phase into which we are entering.