We define a program size complexity function $H^\infty$ as a variant of the prefix-free Kolmogorov complexity, based on Turing monotone machines performing possibly unending computations. We consider definitions of randomness and triviality for sequences in ${\{0,1\}}^\omega$ relative to the $H^\infty$ complexity. We prove that the classes of Martin-Löf random sequences and $H^\infty$-random sequences coincide and that the $H^\infty$-trivial sequences are exactly the recursive ones. We also study some properties of $H^\infty$ and compare it with other (...) complexity functions. In particular, $H^\infty$ is different from $H^A$, the prefix-free complexity of monotone machines with oracle A. (shrink)

We propose a test based on the theory of algorithmic complexity and an experimental evaluation of Levin's universal distribution to identify evidence in support of or in contravention of the claim that the world is algorithmic in nature. To this end statistical comparisons are undertaken of the frequency distributions of data from physical sources--repositories of information such as images, data stored in a hard drive, computer programs and DNA sequences--and the output frequency distributions generated by purely algorithmic means--by running (...) abstract computing devices such as Turing machines, cellular automata and Post Tag systems. Statistical correlations were found and their significance measured. (shrink)

In this paper we study the Kolmogorov complexity for non-effective computations, that is, either halting or non-halting computations on Turing machines. This complexity function is defined as the length of the shortest input that produce a desired output via a possibly non-halting computation. Clearly this function gives a lower bound of the classical Kolmogorov complexity. In particular, if the machine is allowed to overwrite its output, this complexity coincides with the classical Kolmogorov complexity for halting (...) computations relative to the first jump of the halting problem. However, on machines that cannot erase their output –called monotone machines–, we prove that our complexity for non effective computations and the classical Kolmogorov complexity separate as much as we want. We also consider the prefix-free complexity for possibly infinite computations. We study several properties of the graph of these complexity functions and specially their oscillations with respect to the complexities for effective computations. (shrink)

In 1935/1936 Kurt Gödel wrote three notebooks on the foundations of quantum mechanics, which have now been entirely transcribed for the first time. Whereas a lot of the material is rather technical in character, many of Gödel's remarks have a philosophical background and concentrate on Leibnizian monadology as well as on vitalism. Obviously influenced by the vitalistic writings of Hans Driesch and his ‘proofs’ for the existence of an entelechy in every living organism, Gödel briefly develops the idea of a (...) computing machine which closely resembles Turing's groundbreaking conception. After introducing the notebooks on quantum mechanics, this article describes Gödel's vitalistic Weltbild and the ideas leading to the development of his computing machine. It investigates a notion of lawlike sequence which closely resembles Turing's concept of a computable number and which Gödel himself calls ‘problematic’, and compares it to the opposed concept of randomness, drawing upon the notion of program-size complexity. Finally, Gödel's machine is implemented in a dialect of the Lisp programing language. (shrink)

This paper proposes an extension of Chaitin's halting probability Ω to a measurement operator in an infinite dimensional quantum system. Chaitin's Ω is defined as the probability that the universal self-delimiting Turing machine U halts, and plays a central role in the development of algorithmic information theory. In the theory, there are two equivalent ways to define the program-size complexity H of a given finite binary string s. In the standard way, H is defined as the length (...) of the shortest input string for U to output s. In the other way, the so-called universal probability m is introduced first, and then H is defined as –log2m without reference to the concept of program-size.Mathematically, the statistics of outcomes in a quantum measurement are described by a positive operator-valued measure in the most general setting. Based on the theory of computability structures on a Banach space developed by Pour-El and Richards, we extend the universal probability to an analogue of POVM in an infinite dimensional quantum system, called a universal semi-POVM. We also give another characterization of Chaitin's Ω numbers by universal probabilities. Then, based on this characterization, we propose to define an extension of Ω as a sum of the POVM elements of a universal semi-POVM. The validity of this definition is discussed.In what follows, we introduce an operator version equation image of H in a Hilbert space of infinite dimension using a universal semi-POVM, and study its properties. (shrink)

Planning is a significant process function and counterpoises a very complex,dynamic and specific activity, which means that its subject consists of all forms of socialactivity, activities and life. Planning and programming are equally important to allentities regardless of their size and goals, as they all have experienced painful problemswith their planning efforts. Some emerge from the planning process itself, and somefrom the implementing procedure. Therefore the question arises: „How to help overcomefailures in planning from failures in implementation?” Hence, the (...) management teamhas no choice regarding the question: “Do they want to plan or not?” The sole alternativeis to carry out the planning completely, pragmatically and systematically. Onthe other hand, programming connects planning with budgeting and execution, andcounterpoises a sort of rational assumption to “turn” plans from adopted plans into programs,that is, projects and activities across main accounting categories, in accordancewith the desired capabilities and priorities. The analysis of the entire matter processedin this paper is carried out in a very specific way through the prism of identifying notonly the problems related to planning, programming and budgeting, but also makinga scientific contribution to the foundation of this rather significant conditionality andinterdependence. (shrink)

Hybrid renewable energy system arises regularly in real life. By optimizing the capacity and running status of the microgrid, HRES can decrease the running cost and improve the efficiency. Such an optimization problem is generally a constrained mixed-integer programming problem, which is usually solved by linear programming method. However, as more and more devices are added into MG, the mathematical model of HRES refers to nonlinear, in which the traditional method is incapable to solve. To address this issue, we first (...) proposed the mathematical model of an HRES. Then, a coevolutionary multiobjective optimization algorithm, termed CMOEA-c, is proposed to handle the nonlinear part and the constraints. By considering the constraints and the objective values simultaneously, CMOEA-c can easily jump out of the local optimal solution and obtain satisfactory results. Experimental results show that, compared to other state-of-the-art methods, the proposed algorithm is competitive in solving HRES problems. (shrink)

ObjectivesThis pilot study sought to develop and evaluate a novel online group-based intervention to help breast cancer survivors make healthy lifestyle changes intended to yield not only beneficial physical outcomes but also greater behavioral, and psychosocial well-being.MethodsAn exploratory single-arm, mixed-method triangulation design was employed to evaluate the feasibility and preliminary effectiveness of the HLM-ABC intervention for overweight BCSs. Fourteen women participated in the 10-week intervention and completed quantitative measures of the above-mentioned outcomes at baseline, post-treatment, 6-month, and 12-month follow-up time (...) points. Qualitative data were obtained post-treatment via semi-structured interviews and a treatment satisfaction questionnaire.ResultsParticipants lost an average of 2.83% of their baseline weight by 1-year follow-up, equal to a small effect size. Despite achieving only modest weight loss, participants achieved meaningful gains in the form of increased physical activity, discovery of gratifying movement, more intuitive eating habits, greater bodily and emotional awareness, and positive shifts in beliefs about being able to make healthy choices regarding food and physical activity. Furthermore, they demonstrated a slight improvement in body image and described feeling more self-compassionate, empowered, and acknowledging of variables beyond control that can present barriers to change.ConclusionAfter completing a 10-week online program, participants achieved meaningful and lasting changes on a number of healthful indicators, even when this did not correspond with a significant reduction in weight. Findings highlight the complex, multifaceted nature of “health” and lend support for promotion of healthier lifestyle following cancer treatment that encompasses not only physical weight, but also behavior, psychosocial well-being, and circumstances such as life-preserving hormonal treatments. (shrink)

In this article, a mixed integer linear program model is proposed for the production, lot sizing, and scheduling of automotive plastic components to minimize the setup, inventory, stockout, and backorder costs, by taking into account injection molds as the main index to schedule on parallel flexible injection machines. The proposed MILP considers the minimum and maximum inventory capacities and penalizes stockout. A relevant characteristic of the modeled problem is the dependence between mold setups to produce plastic components. The lot (...) sizing and scheduling problem solution results in the assignment of molds to machines during a specific time period and in the calculation of the number of components to be produced, which is often called lot size, following a sequence-dependent setup time. Depending on the machine on which the mold is setup, the number of units to be produced will be distinct because machines differ from one another. The stock coverage, defined in demand days, is also included in the MILP to avoid backorders, which is highly penalized in the automotive supply chain. Added to this, the proposed model is extended by considering setup common operators to respond to and fulfill the constraints that appear in automotive plastic enterprises. In this regard, the MILP presented solves a lot-sizing and scheduling problem, emerged in a second-tier supplier of a real automotive supply chain. Finally, this article validates the MILP by performing experiments with different sized instances, including small, medium, and large. The large-sized dataset is characterized by replicating the amount of data used in the real enterprise, which is the object of this study. The goodness of the model is evaluated with the computational time and the deviation of the obtained results as regards to the optimal solution. (shrink)

A significant share of the U.S. federal R&D budget is devoted to large-scale, complex technological systems commonly referred to as "big science. " Over the last two decades, these systems have continued to grow in size, complexity, development time, and cost. At the same time, political changes in the United States, particularly the concern over government spending and the federal budget deficit, have made it more difficult for proponents to secure and preserve support for these programs over their (...) lifetimes. Using the U.S. space shuttle and space station programs as examples, the article shows that the political requirements for obtaining approval and funding for large and expensive research and development projects create conditions that reduce the likelihood that they will succeed technologically. The problems of technology-based projects like those of the U.S. space program are in fact deeply rooted in the American political process itself. (shrink)

The aviation industry is one of the most widely used applications in transportation. Due to the limited capacity of aircraft, revenue management in this industry is of high significance. On the other hand, the hub location problem has been considered to facilitate the demands assignment to hubs. This paper presents an integrated p-hub location and revenue management problem under uncertain demand to maximize net revenue and minimize total cost, including hub establishment and transportation costs. A fuzzy programming model and a (...) genetic algorithm are developed to solve the proposed model with different sizes. The mining and petroleum industry is used for case studies. Results show that the proposed algorithm can obtain a suitable solution in a reasonable amount of time. (shrink)

Freivalds defined an acceptable programming system independent criterion for learning programs for functions in which the final programs were required to be both correct and "nearly" minimal size, i.e., within a computable function of being purely minimal size. Kinber showed that this parsimony requirement on final programs limits learning power. However, in scientific inference, parsimony is considered highly desirable. A lim-computablefunction is (by definition) one calculable by a total procedure allowed to change its mind finitely many times about (...) its output. Investigated is the possibility of assuaging somewhat the limitation on learning power resulting from requiring parsimonious final programs by use of criteria which require the final, correct programs to be "not-so-nearly" minimal size, e.g., to be within a lim-computable function of actual minimal size. It is shown that some parsimony in the final program is thereby retained, yet learning power strictly increases. Considered, then, are lim-computable functions as above but for which notations for constructive ordinals are used to bound the number of mind changes allowed regarding the output. This is a variant of an idea introduced by Freivalds and Smith. For this ordinal notation complexity bounded version of lim-computability, the power of the resultant learning criteria form finely graded, infinitely ramifying, infinite hierarchies intermediate between the computable and the lim-computable cases. Some of these hierarchies, for the natural notations determining them, are shown to be optimally tight. (shrink)

One of the most efficient nondestructive methods for pipeline in-line inspection is magnetic flux leakage inspection. Estimating the size of the defect from MFL signal is one of the key problems of MFL inspection. As the inspection signal is usually contaminated by noise, sizing the defect is an ill-posed inverse problem, especially when sizing the depth as a complex shape. An actor-critic structure-based algorithm is proposed in this paper for sizing complex depth profiles. By learning with more information from (...) the depth profile without knowing the corresponding MFL signal, the algorithm proposed saves computational costs and is robust. A pinning strategy is embedded in the reconstruction process, which highly reduces the dimension of action space. The pinning actor-critic structure helps to make the reward for critic network more efficient when reconstructing the depth profiles with high degrees of freedom. A nonlinear FEM model is used to test the effectiveness of algorithm proposed under 20 dB noise. The results show that the algorithm reconstructs the depth profile of defects with good accuracy and is robust against noise. (shrink)

The variety and complexity of the eight papers in this Symposium issue are evidence that immigration is a tough nut to crack both as a matter of policy and application. There is no way that any short summary can do justice to these papers, which take a variety of moral, economic, historical, and empirical approaches to some of the recurrent issues in the field, so it is best in this short issue to try to situate the problem in a (...) general classical liberal context, to show where the pressure points are most likely to appear.The initial way to approach this problem is to start with the simple proposition that the world today is divided into national territories where the practical norm is well-nigh universal: That each sovereign state has exclusive control over its own territory, which, among other things, allows it to decide which individuals are members of that state. These citizens have privileges that may be exercised, no questions asked, on such key matters as entering labor markets, owning property, voting, and otherwise participating in political affairs. All these activities may be denied or granted, at will, to any and all outsiders by the territorial sovereign.No one doubts the need for having some form of territorial control. The need to have some monopoly of force could not be achieved if the entire world, with its infinite diversity of locations and populations, were under a single sovereign. Indeed, in many cases, the divisions within a given country may be so pronounced that separation rather than aggregation is the norm. Thus, at the end of the British Raj, India split into India and Pakistan, and later Pakistan split into Pakistan and Bangladesh. Less dramatically, Czechoslovakia split into two countries, the Czech Republic and Slovakia, while the former Yugoslavia split into five nations, starting from the northwest: Slovenia, Croatia, Bosnia and Herzegovina, Serbia, and Macedonia. Clearly, these ethic differences, be they large or small, are a major obstacle to the expansion of the size of the state. And today, the territorial instinct reasserts itself as the member states of the European Union impose more restrictions on immigration.Yet at the same time, the normative foundations of this system seem elusive. There is the following deep skepticism about the importance of these borders, expressed in these essays by Jeremy Waldron and Ilya Somin, that these national boundary lines should have such a pronounced role in political economy. Michael Blake pursues this theme further by asking the extent to which classical liberals can justify exclusion through the use of violence—or is it force? The inquiry into the dominant role of territoriality can then be expanded, as by Peter Margulies, to examine all sorts of negative externalities that could be created both by easy and strict rules of admission.Taken as a whole, there is no doubt that these national barriers are a serious obstacle to the free trade in goods and services between two individuals, one inside the boundary and one outside. The general view is that these barriers block the gains from trade, which is what drives economic progress, so that ideally all tariffs and quantitative restrictions should give way to a system of free trade in which petty objections by domestic competitors of foreign firms should not dictate local policies.It should, of course, be evident that powerful conflicting forces on free trade and protectionism ebb and flow over time. It should therefore come as no surprise that the stakes are even higher where what is at stake is the movement of people across national boundaries. The loss to any given country from keeping out potential citizens can be enormous, and we see powerful political forces clamp down on open immigration, so many of these gains from trade are lost. The situation can be even more heartbreaking when the ability to leave a country exposes innocent people to imprisonment or death.So what is the explanation for so many nations closing their borders? Much of the explanation comes from old-fashioned protectionism. Your computer programmers will take the jobs of our specialists. There is all sorts of occupational licensing and other barriers to entry within a domestic economy, so there is no reason to expect that these forces will not exert even greater influence against outsiders who do not, after all, have a voice in the local economy and who, therefore, as Alex Nowrasteh, Michael Howard, and Andrew Forrester observe, have little ability to influence domestic policy even after they enter a country. In addition, as Gabriel Chin discusses, strong racial prejudices also lead to exclusions from the domestic economy. Not only are there objections in, say, the United States and much of Western Europe, of exclusion on straight racial grounds, as exemplified by Chinese exclusion acts. The force of these exclusions are also subject to political change. Thus, the Immigration Act of 1924 (the Johnson-Reed Act) was part of a white supremacist program, which gave way two decades later to a very different legal regime with the Immigration Act of 1965, which put an end to the venerable system of national-origin quotas.Yet two other reasons for exclusion are constantly at issue. Immigrants not only bring in their labor but also their families, cultures, and traditions that, in public spaces, may clash with local norms and cultures on such elementary and critical matters as to whether women should dress modestly and wear head coverings. Will freewheeling Danes and Swedes feel comfortable if large numbers of Muslims continue their traditional practices with strong barriers between men and women? There are no obvious market mechanisms that will mitigate these issues, and the situation becomes even more fraught if there are large welfare or educational costs that fall, at least in the short run, on local citizens. These are compounded by the fact that immigrants will typically gain political rights that could easily skew the balance of political power between established and newly arrived ethnic groups by altering the outcome of national and local elections. And letting people in is not just done on a simple open-borders policy. Thus, in many countries, as Lance Pritchett discusses, there is the controversial option of letting foreigners in on short-term labor visas that require them to leave after a certain period. And there are further questions about whether people should be deported if they lied on their entry applications or committed some crime while in the new country, as has occurred in the United States. The numbers of cases can be high and their complexity great, so it is fair to ask, along with Jill Family, whether some self-conscious exceptions to the Administrative Procedure Act of 1946, analogous statutes elsewhere, should be regarded as part of the new normal.It is therefore necessary to deal with the thrust and counterthrust on all these issues. It is also fair to ask whether classical liberalism has a distinctive view on these issues, or whether the combination of private gains and multidirectional externalities gives rise to empirical questions that, as always, require further reflection, even when certain situations—the major influx of illegal immigrants on the US southern border—will generate such powerful emotions that detached intellectual inquiry is ever more difficult. We cannot answer these questions, and thus offer to you a set of essays that take a stab at these difficult topics. (shrink)

In this paper, I will argue that it is a moral obligation for companies, firstly, to accept their moral responsibility with respect to non-discrimination, and secondly, to address the issue with a full-fledged programme, including but not limited to the countering of microsocial discrimination processes through specific policies. On the basis of a broad sketch of how some discrimination mechanisms are actually influencing decisions, that is, causing intended as well as unintended bias in Human Resources Management (HRM), I will argue (...) that the well known tools of legislation and ethical codes are necessary although insufficient to cope with the problem. However, based on empirical evidence, we know which set of measures is likely to diminish discrimination. Taking non-discrimination seriously implies complex and longitudinal policies which include assigning responsibility for a non-discrimination policy within the firm, making managers conscious of implicit stereotypes and helping them to cope with prejudices that no one can totally overcome. Insofar as corporate responsibility with respect to non-discrimination is accepted and strategies that are not prohibitively expensive are known, companies are bound to implement them. Not implementing the best set of measures may be considered at least as a moral shortcoming or, depending on the size of the company, mere lip service to the non-discrimination principle. Although the paper refers to empirical material of diverse backgrounds, its intent is clearly normative. It wishes to spell out what companies ought to do if they are committed to responsible behaviour. The discussion of effective remedies against discrimination is based on a case study of a French company. The retailer Auchan was recently surprised to learn that it was discriminating against ethnic minorities despite strong ethical standards, an ethics committee and ethical leadership. The company dropped its naïve beliefs and set up an ambitious policy cope with the issue. The case illustrates what recent empirical research has revealed about the effectiveness of diversity policies: establishing responsibility for diversity results, firm ethical commitment and support from top management make diversity programs effective. (shrink)

Much human adaptation depends on the gradual accumulation of culturally transmitted knowledge and technology. Recent models of this process predict that large, well-connected populations will have more diverse and complex tool kits than small, isolated populations. While several examples of the loss of technology in small populations are consistent with this prediction, it found no support in two systematic quantitative tests. Both studies were based on data from continental populations in which contact rates were not available, and therefore these studies (...) do not provide a test of the models. Here, we show that in Oceania, around the time of early European contact, islands with small populations had less complicated marine foraging technology. This finding suggests that explanations of existing cultural variation based on optimality models alone are incomplete because demography plays an important role in generating cumulative cultural adaptation. It also indicates that hominin populations with similar cognitive abilities may leave very different archaeological records, a conclusion that has important implications for our understanding of the origin of anatomically modern humans and their evolved psychology. (shrink)

ABSTRACT I argue that this examination and appreciation for the shift to abductive reasoning should be extended to the intersection of neuroscience and novel brain-computer interfaces too. This paper highlights the implications of applying abductive reasoning to personalized implantable neurotechnologies. Then, it explores whether abductive reasoning is sufficient to justify insurance coverage for devices absent widespread clinical trials, which are better applied to one-size-fits-all treatments. INTRODUCTION In contrast to the classic model of randomized-control trials, often with a large number (...) of subjects enrolled, precision medicine attempts to optimize therapeutic outcomes by focusing on the individual.[i] A recent publication highlights the strengths and weakness of both traditional evidence-based medicine and precision medicine.[ii] Plus, it outlines a tension in the shift from evidence-based medicine’s inductive reasoning style (the collection of data to postulate general theories) to precision medicine’s abductive reasoning style (the generation of an idea from the limited data available).[iii] The paper’s main example is the application of precision medicine for the treatment of cancer.[iv] I argue that this examination and appreciation for the shift to abductive reasoning should be extended to the intersection of neuroscience and novel brain-computer interfaces too. As the name suggests, brain-computer interfaces are a significant advancement in neurotechnology that directly connects someone’s brain to external or implanted devices.[v] Among the various kinds of brain-computer interfaces, adaptive deep brain stimulation devices require numerous personalized adjustments to their settings during the implantation and computation stages in order to provide adequate relief to patients with treatment-resistant disorders. What makes these devices unique is how adaptive deep brain stimulation integrates a sensory component to initiate the stimulation. While not commonly at the level of sophistication as self-supervising or generative large language models,[vi] they currently allow for a semi-autonomous form of neuromodulation. This paper highlights the implications of applying abductive reasoning to personalized implantable neurotechnologies. Then, it explores whether abductive reasoning is sufficient to justify insurance coverage for devices absent widespread clinical trials, which are better applied to one-size-fits-all treatments.[vii] ANALYSIS I. The State of Precision Medicine in Oncology and the Epistemological Shift While a thorough overview of precision medicine for the treatment of cancer is beyond the scope of this article, its practice can be roughly summarized as identifying clinically significant characteristics a patient possesses (e.g., genetic traits) to land on a specialized treatment option that, theoretically, should benefit the patient the most.[viii] However, in such a practice of stratification patients fall into smaller and smaller populations and the quality of evidence that can be applied to anyone outside these decreases in turn.[ix] As inductive logic helps to articulate, the greater the number of patients that respond to a particular therapy the higher the probability of its efficacy. By straying from this logical framework, precision medicine opens the treatment of cancer to more uncertainty about the validity of these approaches to the resulting disease subcategories.[x] Thus, while contemporary medical practices explicitly describe some treatments as “personalized”, they ought not be viewed as inherently better founded than other therapies.[xi] A relevant contemporary case of precision medicine out of Norway focuses on the care of a patient with cancer between the ventricles of the heart and esophagus, which had failed to respond to the standard regimen of therapies over four years.[xii] In a last-ditch effort, the patient elected to pay out-of-pocket for an experimental immunotherapy (nivolumab) at a private hospital. He experienced marked improvements and a reduction in the size of the tumor. Understandably, the patient tried to pursue further rounds of nivolumab at a public hospital. However, the hospital initially declined to pay for it given the “lack of evidence from randomised clinical trials for this drug relating to this [patient’s] condition.”[xiii] In rebuttal to this claim, the patient countered that he was actually similar to a subpopulation of patients who responded in “open‐label, single arm, phase 2 studies on another immune therapy drug” (pembrolizumab).[xiv] Given this interpretation of the prior studies and the patient’s response, further rounds of nivolumab were approved. Had the patient not had improvements in the tumor’s size following a round of nivolumab, then pembrolizumab’s prior empirical evidence in isolation would have been insufficient, inductively speaking, to justify his continued use of nivolumab.[xv] The case demonstrates a shift in reasoning from the traditional induction to abduction. The phenomenon of ‘cancer improvement’ is considered causally linked to nivolumab and its underlying physiological mechanisms.[xvi] However, “the weakness of abductions is that there may always be some other better, unknown explanation for an effect. The patient may for example belong to a special subgroup that spontaneously improves, or the change may be a placebo effect. This does not mean, however, that abductive inferences cannot be strong or reasonable, in the sense that they can make a conclusion probable.”[xvii] To demonstrate the limitations of relying on the abductive standard in isolation, commentators have pointed out that side effects in precision medicine are hard to rule out as being related to the initial intervention itself unless trends from a group of patients are taken into consideration.[xviii] As artificial intelligence (AI) assists the development of precision medicine for oncology, this uncertainty ought to be taken into consideration. The implementation of AI has been crucial to the development of precision medicine by providing a way to combine large patient datasets or a single patient with a large number of unique variables with machine learning to recommend matches based on statistics and probability of success upon which practitioners can base medical recommendations.[xix] The AI is usually not establishing a causal relationship[xx] – it is predicting. So, as AI bleeds into medical devices, like brain-computer interfaces, the same cautions about using abductive reasoning alone should be carried over. II. Responsive Neurostimulation, AI, and Personalized Medicine Like precision medicine in cancer treatment, computer-brain interface technology similarly focuses on the individual patient through personalized settings. In order to properly expose the intersection of AI, precision medicine, abductive reasoning, and implantable neurotechnologies, the descriptions of adaptive deep brain stimulation systems need to deepen.[xxi] As a broad summary of adaptive deep brain stimulation, to provide a patient with the therapeutic stimulation, a neural signal, typically referred to as a local field potential,[xxii] must first be detected and then interpreted by the device. The main adaptive deep brain stimulation device with premarket approval, the NeuroPace Responsive Neurostimulation system, is used to treat epilepsy by detecting and storing “programmer-defined phenomena.”[xxiii] Providers can optimize the detection settings of the device to align with the patient’s unique electrographic seizures as well as personalize the reacting stimulation’s parameters.[xxiv] The provider adjusts the technology based on trial and error. One day machine learning algorithms will be able to regularly aid this process in myriad ways, such as by identifying the specific stimulation settings a patient may respond to ahead of time based on their electrophysiological signatures.[xxv] Either way, with AI or programmers, adaptive neurostimulation technologies are individualized and therefore operate in line with precision medicine rather than standard treatments based on large clinical trials. Contemporary neurostimulation devices are not usually sophisticated enough to be prominent in AI discussions where the topics of neural networks, deep learning, generative models, and self-attention dominate the conversation. However, implantable high-density electrocorticography arrays (a much more sensitive version than adaptive deep brain stimulation systems use) have been used in combination with neural networks to help patients with neurologic deficits from a prior stroke “speak” through a virtual avatar.[xxvi] In some experimental situations, algorithms are optimizing stimulation parameters with increasing levels of independence.[xxvii] An example of neurostimulation that is analogous to the use of nivolumab in Norway surrounds a patient in the United States who was experiencing both treatment-resistant OCD and temporal lobe epilepsy.[xxviii]Given the refractory nature of her epilepsy, implantation of an adaptive deep brain stimulation system was indicated. As a form of experimental therapy, her treatment-resistant OCD was also indicated for the off-label use of an adaptive deep brain stimulation set-up. Another deep brain stimulation lead, other than the one implanted for epilepsy, was placed in the patient’s right nucleus accumbens and ventral pallidum region given the correlation these nuclei had with OCD symptoms in prior research. Following this, the patient underwent “1) ambulatory, patient-initiated magnet-swipe storage of data during moments of obsessive thoughts; (2) lab-based, naturalistic provocation of OCD-related distress (naturalistic provocation task); and (3) lab-based, VR [virtual reality] provocation of OCD-related distress (VR provocation task).”[xxix] Such signals were used to identify when to deliver the therapeutic stimulation in order to counter the OCD symptoms. Thankfully, following the procedure and calibration the patient exhibited marked improvements in their OCD symptoms and recently shared her results publicly.[xxx] In both cases, there is a similar level of abductive justification for the efficacy of the delivered therapy. In the case study in which the patient was treated with adaptive deep brain stimulation, they at least had their neural activity tested in various settings to determine the optimum parameters for treatment to avoid them being based on guesswork. Additionally, the adaptive deep brain stimulation lead was already placed before the calibration trials were conducted, meaning that the patient had already taken on the bulk of the procedural risk before the efficacy could be determined. Such an efficacy test could have been replicated in the first patient’s cancer treatment, had it been biopsied and tested against the remaining immunotherapies in vitro. Yet, in the case of cancer with few options, one previous dose of a drug that appeared to work on the patient may justify further doses. However, as the Norwegian case presents, corroboration with known responses to a similar drug (from a clinical trial) could be helpful to validate the treatment strategy. (It should be noted that both patients were resigned to these last resort options regardless of the efficacy of treatment.) There are some elements of inductive logic seen with adaptive deep brain stimulation research in general. For example, abductively the focus could be that patient X’s stimulation parameters are different from patient Y’s and patient Z’s. In contrast, when grouped as subjects who obtained personalized stimulation, patients X, Y, and Z demonstrate an inductive aspect to this approach’s safety and/or efficacy. The OCD case holds plenty of abductive characteristics in line with precision medicine’s approach to treating cancer and as more individuals try the method, there will be additional data. With the gradual integration of AI into brain-computer interfaces in the name of efficacy, this reliance on abduction will continue, if not grow, over time. Moving forward, if a responsive deep brain stimulation treatment is novel and individualized (like the dose of nivolumab) and there is some other suggestion of efficacy (like clinical similarities to other patients in the literature), then it may justify insurance coverage for the investigative intervention, absent other unrelated reasons to deny it. III. Ethical Implications and Next Steps While AI’s use in oncology and neurology is not yet as prominent as its use in other fields (e.g., radiology), it appears to be on the horizon for both.[xxxi] AI can be found in both the functioning of the neurotechnologies as well as the implementation of precision medicine. The increasing use of AI may serve to further individualize both oncologic and neurological therapies. Given these implications and the handful of publications cited in this article, it is important to have a nuanced evaluation of how these treatments, which heavily rely on abductive justification, ought to be managed. The just use an abductive approach may be difficult as AI infused precision medicine is further pursued. At baseline, such technology relies on a level of advanced technology literacy among the general public and could exclude populations who lack access to basic technological infrastructure or know-how from participation.[xxxii] Even among nations with adequate infrastructure, as more patients seek out implantable neurotechnologies, which require robust healthcare resources, the market will favor patient populations that can afford this complex care.[xxxiii] If patients already have the means to pay for an initial dose/use of a precision medicine product out of pocket, should insurance providers be required to cover subsequent treatments?[xxxiv] That is, if a first dose of a cancer drug or a deep brain stimulator over its initial battery life is successful, patients may feel justified in having the costs of further treatments covered. The Norwegian patient’s experience implies there is a precedent for the idea that some public insurance companies ought to cover successful cancer therapies, however, insurance companies may not all see themselves as obligated to cover neurotechnologies that rely on personalized settings or that are based on precision/abductive research more than on clinical trials. CONCLUSION The fact that the cases outlined above rely on abductive style of reasoning implies that there may not be as strong a justification for coverage by insurance, as they are both experimental and individualized, when compared to the more traditional large clinical trials in which groups have the same or a standardized protocol (settings/doses). If a study is examining the efficacy of a treatment with a large cohort of patients or with different experimental groups/phases, insurance companies may conclude that the resulting symptom improvements are more likely to be coming from the devices themselves. A preference for inductive justification may take priority when ruling in favor of funding someone’s continued use of an implantable neurostimulator. There are further nuances to this discussion surrounding the classifications of these interventions as research versus clinical care that warrant future exploration, since such a distinction is more of a scale[xxxv] than binary and could have significant impacts on the “right-to-try” approach to experimental therapies in the United States.[xxxvi] Namely, given the inherent limitations of conducting large cohort trials for deep brain stimulation interventions on patients with neuropsychiatric disorders, surgically innovative frameworks that blend abductive and inductive methodologies, like with sham stimulation phases, have traditionally been used.[xxxvii] Similarly, for adaptive brain-computer interface systems, if there are no large clinical trials and instead only publications that demonstrate that something similar worked for someone else, then, in addition to the evidence that the first treatment/dose worked for the patient in question, the balance of reasoning would be valid and arguably justify insurance coverage. As precision approaches to neurotechnology become more common, frameworks for evaluating efficacy will be crucial both for insurance coverage and for clinical decision making. ACKNOWLEDGEMENT This article was originally written as an assignment for Dr. Francis Shen’s “Bioethics & AI” course at Harvard’s Center for Bioethics. I would like to thank Dr. Shen for his comments as well as my colleagues in the Lázaro-Muñoz Lab for their feedback. - [i] Jonathan Kimmelman and Ian Tannock, “The Paradox of Precision Medicine,” Nature Reviews. Clinical Oncology 15, no. 6 (June 2018): 341–42, https://doi.org/10.1038/s41571-018-0016-0. [ii] Henrik Vogt and Bjørn Hofmann, “How Precision Medicine Changes Medical Epistemology: A Formative Case from Norway,” Journal of Evaluation in Clinical Practice 28, no. 6 (December 2022): 1205–12, https://doi.org/10.1111/jep.13649. [iii] David Barrett and Ahtisham Younas, “Induction, Deduction and Abduction,” Evidence-Based Nursing 27, no. 1 (January 1, 2024): 6–7, https://doi.org/10.1136/ebnurs-2023-103873. [iv] Vogt and Hofmann, “How Precision Medicine Changes Medical Epistemology,” 1208. [v] Wireko Andrew Awuah et al., “Bridging Minds and Machines: The Recent Advances of Brain-Computer Interfaces in Neurological and Neurosurgical Applications,” World Neurosurgery, May 22, 2024, S1878-8750(24)00867-2, https://doi.org/10.1016/j.wneu.2024.05.104. [vi] Mark Riedl, “A Very Gentle Introduction to Large Language Models without the Hype,” Medium (blog), May 25, 2023, https://mark-riedl.medium.com/a-very-gentle-introduction-to-large-language-models-without-the-hype-5 f67941fa59e. [vii] David E. Burdette and Barbara E. Swartz, “Chapter 4 - Responsive Neurostimulation,” in Neurostimulation for Epilepsy, ed. Vikram R. Rao (Academic Press, 2023), 97–132, https://doi.org/10.1016/B978-0-323-91702-5.00002-5. [viii] Kimmelman and Tannock, 2018. [ix] Kimmelman and Tannock, 2018. [x] Simon Lohse, “Mapping Uncertainty in Precision Medicine: A Systematic Scoping Review,” Journal of Evaluation in Clinical Practice 29, no. 3 (April 2023): 554–64, https://doi.org/10.1111/jep.13789. [xi] Kimmelman and Tannock, “The Paradox of Precision Medicine.” [xii] Vogt and Hofmann, 1206. [xiii] Vogt and Hofmann, 1206. [xiv] Vogt and Hofmann, 1206. [xv] Vogt and Hofmann, 1207. [xvi] Vogt and Hofmann, 1207. [xvii] Vogt and Hofmann, 1207. [xviii] Vogt and Hofmann, 1210. [xix] Mehar Sahu et al., “Chapter Three - Artificial Intelligence and Machine Learning in Precision Medicine: A Paradigm Shift in Big Data Analysis,” in Progress in Molecular Biology and Translational Science, ed. David B. Teplow, vol. 190, 1 vols., Precision Medicine (Academic Press, 2022), 57–100, https://doi.org/10.1016/bs.pmbts.2022.03.002. [xx] Stefan Feuerriegel et al., “Causal Machine Learning for Predicting Treatment Outcomes,” Nature Medicine 30, no. 4 (April 2024): 958–68, https://doi.org/10.1038/s41591-024-02902-1. [xxi] Sunderland Baker et al., “Ethical Considerations in Closed Loop Deep Brain Stimulation,” Deep Brain Stimulation 3 (October 1, 2023): 8–15, https://doi.org/10.1016/j.jdbs.2023.11.001. [xxii] David Haslacher et al., “AI for Brain-Computer Interfaces,” 2024, 7, https://doi.org/10.1016/bs.dnb.2024.02.003. [xxiii] Burdette and Swartz, “Chapter 4 - Responsive Neurostimulation,” 103–4; “Premarket Approval (PMA),” https://www.accessdata.fda.gov/scripts/cdrh/cfdocs/cfpma/pma.cfm?id=P100026. [xxiv] Burdette and Swartz, “Chapter 4 - Responsive Neurostimulation,” 104. [xxv] Burdette and Swartz, 126. [xxvi] Sean L. Metzger et al., “A High-Performance Neuroprosthesis for Speech Decoding and Avatar Control,” Nature 620, no. 7976 (August 2023): 1037–46, https://doi.org/10.1038/s41586-023-06443-4. [xxvii] Hao Fang and Yuxiao Yang, “Predictive Neuromodulation of Cingulo-Frontal Neural Dynamics in Major Depressive Disorder Using a Brain-Computer Interface System: A Simulation Study,” Frontiers in Computational Neuroscience 17 (March 6, 2023), https://doi.org/10.3389/fncom.2023.1119685; Mahsa Malekmohammadi et al., “Kinematic Adaptive Deep Brain Stimulation for Resting Tremor in Parkinson’s Disease,” Movement Disorders 31, no. 3 (2016): 426–28, https://doi.org/10.1002/mds.26482. [xxviii] Young-Hoon Nho et al., “Responsive Deep Brain Stimulation Guided by Ventral Striatal Electrophysiology of Obsession Durably Ameliorates Compulsion,” Neuron 0, no. 0 (October 20, 2023), https://doi.org/10.1016/j.neuron.2023.09.034. [xxix] Nho et al. [xxx] Nho et al.; Erik Robinson, “Brain Implant at OHSU Successfully Controls Both Seizures and OCD,” OHSU News, accessed March 3, 2024, https://news.ohsu.edu/2023/10/25/brain-implant-at-ohsu-successfully-controls-both-seizures-and-ocd. [xxxi] Awuah et al., “Bridging Minds and Machines”; Haslacher et al., “AI for Brain-Computer Interfaces.” [xxxii] Awuah et al., “Bridging Minds and Machines.” [xxxiii] Sara Green, Barbara Prainsack, and Maya Sabatello, “The Roots of (in)Equity in Precision Medicine: Gaps in the Discourse,” Personalized Medicine 21, no. 1 (January 2024): 5–9, https://doi.org/10.2217/pme-2023-0097. [xxxiv] Green, Prainsack, and Sabatello, 7. [xxxv] Robyn Bluhm and Kirstin Borgerson, “An Epistemic Argument for Research-Practice Integration in Medicine,” The Journal of Medicine and Philosophy: A Forum for Bioethics and Philosophy of Medicine 43, no. 4 (July 9, 2018): 469–84, https://doi.org/10.1093/jmp/jhy009. [xxxvi] Vijay Mahant, “‘Right-to-Try’ Experimental Drugs: An Overview,” Journal of Translational Medicine 18 (June 23, 2020): 253, https://doi.org/10.1186/s12967-020-02427-4. [xxxvii] Michael S. Okun et al., “Deep Brain Stimulation in the Internal Capsule and Nucleus Accumbens Region: Responses Observed during Active and Sham Programming,” Journal of Neurology, Neurosurgery & Psychiatry 78, no. 3 (March 1, 2007): 310–14, https://doi.org/10.1136/jnnp.2006.095315. (shrink)

Large sets of elements interacting locally and producing specific architectures reliably form a category that transcends the usual dividing line between biological and engineered systems. We propose to call them morphogenetically architected complex systems. While taking the emergence of properties seriously, the notion of MACS enables at the same time the design of operational means that allow controlling and even, paradoxically, programming this emergence. To demonstrate our claim, we first show that among all the self-organized systems studied in the field (...) of Artificial Life, the specificity of MACS essentially lies in the close relation between their emergent properties and functional properties. Second, we argue that to be a MACS a system does not need to display more than weak emergent properties. Third, since the notion of weak emergence is based on the possibility of simulation, whether computational or mechanistic via machines, we see MACS as good candidates to help design artificial self-architected systems but also harness and redesign living ones. (shrink)

This note is a continuation of our former paper ''Complexity of the r-query tautologies in the presence of a generic oracle.'' We give a very short direct proof of the nonexistence of t-generic oracles, a result obtained first by Dowd. We also reconstitute a proof of Dowd's result that the class of all r-generic oracles in his sense has Lebesgue measure one.

Owners of businesses represent an interesting case in the study of the intersection of personal and corporate philanthropic values. Because individuals who own businesses have the means and the ability to act on philanthropic motivations through the medium of their businesses, it is interesting to explore the extent to which their corporate contributions to nonprofits are philanthropic in nature or instrumentally motivated, as in the instance of cause related marketing. The trade-offs between cause related marketing and corporate support of nonprofits (...) are complex. Although larger firms are increasing their investments in cause related marketing, the extent of and motivations for adoption of cause related marketing among privately held businesses is less well understood. This study of 478 businesses which are supporters of arts organizations shows that privately held businesses of medium size (300 to 500 employees) are participating in cause related marketing to a significant degree. The adoption rate of cause related marketing is about 40%, and the primary benefits sought are company image enhancement and product marketing support. Adoption of cause related marketing among privately held and smaller enterprises will grow as CEOs exhibit satisfaction with the results of their program, intend to engage in positive word of mouth about it, and plan to allocate more resources to it. (shrink)

Recent accounting scandals involving the collapse of large corporate firms have brought into question the adequacy of ethics education within accounting programs. This paper investigates the ethical decisions of accountancy students and in particular analyses the effect of group (as opposed to individual) decision-making on ethical decisions. Final year accountancy students (sample size of 165) were randomly allocated into two experimental conditions. The participants were then presented with five (5) ethical vignettes. One experimental condition involved completing the ethical decisions (...) as individuals (60). The other involved completing the ethical decision-making as a group of 3–4 participants (34). A consistent pattern of behaviour was observed in the analysis of individual versus group responses. Individuals displayed stronger tendencies than groups to take the extreme actions of acting either unethically or ethically (whistleblowing), whereas groups displayed stronger tendencies to take the safer (neutral) options. It was concluded that groups reached consensus decisions, in an ethical context, probably as a result of peer pressure. The significant implication of this finding is in relation to the emphasis accounting programs place on group work. Group work may enhance students’ abilities to work as a team. However, as revealed in this study’s results, group work may not be an effective means of producing the optimal decision in all subject matter areas, especially complex areas such as ethical decision-making. (shrink)

Large sets of elements interacting locally and producing specific architectures reliably form a category that transcends the usual dividing line between biological and engineered systems. We propose to call them morphogenetically architected complex systems (MACS). While taking the emergence of properties seriously, the notion of MACS enables at the same time the design (or “meta-design”) of operational means that allow controlling and even, paradoxically, programming this emergence. To demonstrate our claim, we first show that among all the self-organized systems studied (...) in the field of Artificial Life, the specificity of MACS essentially lies in the close relation between their emergent properties and functional properties. Second, we argue that to be a MACS a system does not need to display more than weak emergent properties. Third, since the notion of weak emergence is based on the possibility of simulation, whether computational or mechanistic via machines, we see MACS as good candidates to help design artificial self-architected systems (such as robotic swarms) but also harness and redesign living ones (such as synthetic bacterial films). (shrink)

We introduce _Interleave-Disjunction-Lock parallel multiple context-free grammars_ (IDL-PMCFG), a novel grammar formalism designed to describe the syntax of free word order languages that allow for extensive interleaving of grammatical constituents. Though interleaved constituents, and especially the so-called hyperbaton, are common in several ancient (Classical Latin and Greek, Sanskrit...) and modern (Hungarian, Finnish...) languages, these syntactic structures are often difficult to express in existing formalisms. The IDL-PMCFG formalism combines Seki et al.’s parallel multiple context-free grammars (PMCFG) with Nederhof and Satta’s IDL (...) expressions. We define the semantics of IDL-PMCFGs and study their expressivity, proving that IDL-PMCFG extends both PMCFG and IDL-CFG (context-free grammars equipped with IDL expressions) and that IDL-PMCFG parsing is $\mathrm {NP}$ -hard. We then introduce COMPĀ, a programming language extending Ranta’s Grammatical Framework (GF) and built as a high-level front-end formalism to IDL-PMCFG for practical grammar development. We present a parsing algorithm for IDL-PMCFG inspired by earlier Earley-style PMCFG parsing algorithms and Nederhof and Satta’s IDL graphs and give a worst-case estimate of its complexity as a function of several metrics on IDL expressions, the size of the input and a new notion of the _G_-density of a language. (shrink)

Clinical simulation using standardized patients has become standard in medical education—and is now being incorporated into some graduate programs in bioethics—for both formative and summative evaluation. In most hospitals, though, clinical ethics consultation is done by the ethics committee (or a subset of it). This study is the first, to our knowledge, to examine the effectiveness of standardized patient simulation in training hospital ethics committees to deal with ethically complex and emotionally fraught clinical situations. Following a substantial revision of the (...) institution’s nonbeneficial treatment policy, ethics committee members underwent a simulation to determine whether a specific requested treatment should be withheld on the basis of futility. Pre- and postintervention surveys showed improvement in all domains, although the small sample size limited the power of the study, with only one measure showing a statistically significant difference. An interesting incidental finding was that one-quarter of committee members voted against a determination of futility, even though the case clearly met the definition set forth in the policy. This highlights the emotional challenges in implementing an ethically rigorous, unanimously accepted policy that ultimately determines the timing and manner of a patient’s death. (shrink)

Abstract.Growing interest in the origin of life, the physical foundations of biological theory, and the evolution of animal social systems has led to increasing efforts to understand the processes by which elements or living systems at one level of organizational complexity combine to form stable systems of higher order. J. Bronowski saw the need to extend or reformulate evolutionary theory to deal with the hierarchy problem and to account for the evolution of systems of “stratified stability.” The hierarchy problem (...) has become a matter of great interest also in nonequilibrium thermodynamic theory.An effort is made here to develop an abstract, phenomenological model, based on the laws of thermodynamics, to account for the origin and hierarchical evolution of living systems. It is argued that the principle of minimum entropy production, developed by I. Prigogine, applies generally to all thermodynamic systems and processes and is implicit in an extended and more complete formulation of the second law of thermodynamics. From this are derived a thermodynamic criterion and a principle of thermodynamic selection governing the formation of stable systems of “elements” of various levels of organization. Thermodynamic selection gives rise to the creation of “elements” having increasingly “open” characteristic structures which may combine spontaneously to form “social” or crystalline systems capable of growing and reproducing themselves through processes of fissioning or budding. Such simple, self‐reproducing systems are capable of evolving by natural selection, which is seen to be a special case of the more general process of thermodynamic selection. The principle of natural selection, thus formulated, has the character of a fundamental physical law. Self‐reproducing systems with suitably open hereditary programs may combine to form stable social systems, which may grow and reproduce as a unit. In this way self‐reproducing systems of increasing hierarchical order, size, and organizational complexity may evolve through processes of thermodynamic (natural) selection. Some implications of this open‐ended model and opportunities for testing its empirical and theoretical utility are explored. (shrink)

Most of the biological and earth sciences are concerned with finding the differences between things and the magnitude of those differences, while science is occupied exploring these spaces and changes, religion is looking for a way to establish a unity of the parts. An interesting and valid question can be formulated by synthesizing the dedication to detail of the one with the great encompassing cohesiveness of the other. What is there to be seen if the form, material, structure, function and (...) size of objects and organisms were to be investigated with the overview sought by religion? ;Our world is comprised of a diversity of form; trees, clouds, bicycles, washsinks. These forms have a programmed series of causes and events that lead them to assume their shapes. The separation between the man-made and the natural becomes unimportant in this scheme, but because of complex inter-relations, correlations begin to emerge that relate seemingly diverse elements, dragonfly wings - veins, and sidewalk cracks, seed pods and machines. ;In words and photographs I have examined the primary physical causes of form diversity and similarity. Sometimes totally different objects and organisms appear very similar to one another and take on definite and like patterns as they respond to a spectrum of influences such as structure, the laws governing the subdivisions of space or the legacy of inheritance. In other circumstances the shape of both the living and non-living are made very different by such effects as size and material composition. ;It should be noted that this study is by no means a catalog of all that is possible in the determination of form; the information gathered here is a sampling of some of the simpler aspects of the physical world. Even with this necessary limiting of scope, it can be possible to give insight to that intricate, incredibly complex and beautiful series of interrelationships that exists about us. Those among us who affect the environment to a greater degree---builders, architects, artists and designers---might, with this understanding, approach their work with more compassion and sensitivity. This study is intended to be the outline for a book to be used as a text, but not in the sense that the reader can absorb, memorize and apply a quotient of facts to a given problem. But instead, it is thought that through a few examples the reader will gain the insight for an intuitive and knowing approach to the change of his physical environment. (shrink)

Business Ethics: A European Review, EarlyView.

In lieu of an abstract, here is a brief excerpt of the content:Two Cheers for Blueprints, or, Negative Reasons for Positive UtopianismAntonis Balasopoulos (bio)It is well known that the decline of programmatic or so-called blueprint utopias and utopianism came on the heels of a widespread and concerted attack against them during the first two decades of the Cold War. In the writings of thinkers like Hayek, Popper, Talmon, Kolakowski, and many others, program became synonymous with hubris.1 It was construed (...) as a dangerous effort to regulate the diversity of human subjectivity and the complexity of the social organism, a repressive will-to-order and predictability that tainted utopias by associating them with Totalitarianism. In Popper’s exemplary exposition:The Utopian attempt to realize an ideal state, using a blueprint for society as a whole, is one which demands a strong centralized rule of a few, and which therefore is likely to lead to a dictatorship. [...] [Utopia] claims to plan rationally for the whole of society, although we do not possess anything like the factual knowledge which would be necessary to make good such an ambitious claim.2 [End Page 489]Yet, though this view of how Utopia, to recall Robert C. Elliott, became “a bad word,” is accurate in itself, it also reflects only the negative or destructive side of Cold War anti-utopianism, a trend whose logical inconsistencies and ideological biases have already been ably dissected in the work of Russell Jacoby, Marc Olssen, and Darren Webb, to name but a few.3What one could term the “positive” or “productive” side of anti-utopian denunciations of the dogmatically programmatic character allegedly inherent in utopias went well beyond the exigencies of generating a geopolitical and ideological enemy image. It involved an effort to reconcile western subjects to seismic and highly consequential shifts within postwar, late-capitalist societies themselves. If, as I have argued elsewhere, utopian fictions (and, indeed, nonfictions) before the Cold War period can be read as fictions of organization—of everything from architecture and urban planning, to production, sexuality and biological reproduction, clothing, or diet—it is also the case that in them, “organization” is a response, a reaction to traumatic historical experiences of disorganization, from the decline of the ancient city-state in the case of Platonic utopianism; to the impoverishment and dislocation of rural communities in the era of Thomas More; to the experience of the fracturing of religious community during the religious, civil, and international wars that marked the seventeenth century; to the dramatic impact of early nineteenth-century industrialization on artisanal and agrarian communities, on family cohesion and on the rhythms of the premodern working day.4My argument is, then, that the anti-utopian denunciation of blueprint and program was not simply motivated by the liberal capitalist attack against the planned and highly regulated character of economy and society in the countries of so-called actually existing socialism. It was also motivated by the ideological need to normalize and legitimize the transition, within western capitalist societies themselves, to what Scott Lash and John Urry called “disorganized capitalism.” Lash and Urry’s book, originally published during the decade of the triumphant rise of neoliberalism, in 1987, launches its investigation by tellingly quoting the passage of Marx and Engels’s Communist Manifesto that focuses on the creatively destructive aspects of capitalist social transformation: the bourgeoisie, Lash and Urry observe, is a class “with vested interest in change, crisis and chaos”; the social world over which it presides is one “which swings wildly out of control, menacing and destructive.”5 In their introduction, the authors outline the basic features of the postwar shift from the organized capitalism of the mid-nineteenth and early twentieth centuries to its disarticulated successor formation during the rise of [End Page 490] neoliberal governance. Under the rubric of “disorganization” (which is to say, of a mutation within the western capitalist economic and social order), they include de-industrialization and the decline in the absolute and relative size of the working class in the core capitalist economies; the rise of flexible forms of labor organization in the place of defunct Taylorist principles; the weakening of trade unionist organization; the increasing decoupling of large monopolies from the control and regulation... (shrink)

In this paper we investigate a particular two-stage supply chain network design problem with fixed costs. In order to solve this complex optimization problem, we propose an efficient hybrid algorithm, which was obtained by incorporating a linear programming optimization problem within the framework of a genetic algorithm. In addition, we integrated within our proposed algorithm a powerful local search procedure able to perform a fine tuning of the global search. We evaluate our proposed solution approach on a set of large (...) size instances. The achieved computational results prove the efficiency of our hybrid genetic algorithm in providing high-quality solutions within reasonable running-times and its superiority against other existing methods from the literature. (shrink)

The relevance of the research topic. After the World War II the leaders and intellectuals of the world were forced to look for new principles and methods of management. New theories for analysis of complex systems appeared. The D. Meadows’ group from the Club of Rome and other analysts discovered the fact of the deepening humanity in an irreversible and deadly crisis. Up to now, economists and politicians have not offered a way to guarantee rescue. However, there is a consensus (...) that hopes can be linked to the development of education and science in the world. The phrase “internationalization of higher education ” is used more and more often, and the number of scientific works is growing rapidly. However, in our opinion, the phenomenon of IHE is perceived superficially because of inattention to the latest scientific achievements, which are not followed by humanities scholars. This caused our interest and stimulated the desire to prove that global process of IHE started in accordance with the laws of the evolution of industrial production. The purpose of our study is to apply the theory of analysis of very large systems to the phenomena of kinds and variants internationalization to obtain the most probable scenarios for human progress. The task of the study is seen in the critical analysis of the trend we noted in the process of training the PhD-level professional in space and time and transforming the figure of a young worker from a national to an international “product” of the systems of education and training. The methodology of the research was dictated by the chosen goal and tasks under the pressure of the grandiose object – a complex of educational systems in a globalized planet environment. This is due to the use of the means of many sciences, theories of systemic research and a multidisciplinary approach in the conditions of global evolutionism. The results of the study in their essence, are still based on historical methods, in conjunction with the achievements of young sciences – synergetics, theories of complex systems, and others. An original table was created to match the agrarian, industrial and informational societies – those within which the system of higher education had been developed. The direction of its characterization has proven that the autonomy of universities has been diminished at present, the size of the whole system and its orientation towards political and economic demands have increased. It is indicated at the time when the high school began to lose its national character and to acquire features of internationality. It is noted that this coincided with the growth of the volume and impact of globalization and its study mainly within the humanities. The widespread representation of the interaction in higher education with the influences of globalization and internationalization, the basic definitions and differentiation, etc. is presented. The newest data on internationalization within the universities and far beyond them in state and interstate institutions are presented. The conclusions and recommendations formulated and proved the main hypothesis of our study and its main result. It consists in the fact that the higher school in general began to reproduce the path of industry with its variant of internationalization – a combination of products of many countries. We argue that in higher education the division of time and space of educational programs, institutions, places of internship, etc. began. Instead of ensuring PhD competences within a single state, basic schooling is found to be more profitable in one place, the profile secondary is in the other, the baccalaureate or master’s program in the country “A”, postgraduate study somewhere in “B”, the final professional development in the best world’s centers of MBA or some other training in London or Harvard. From this follows the following conclusion: Ukraine’s resources are already inadequate for the preparation of national personnel of the highest world quality. Such a “product” has already become international. (shrink)

In the world of television-making, the media industry relies on measurements from a people-meter panel in order to find out how many people watch a certain program or commercial on television. A people-meter panel is a special-purpose panel in which the television-watching behavior of household members is measured using a special device attached to television sets. The measuring device can also register the television-watching behavior of guests to the panel homes. The reliability of estimates based on the people-meter panel (...) primarily depends on the sample size. Due to the complexity of the sample design, the effective sample size cannot be determined straightforwardly. This is even more the case when one incorporates the viewing behavior of guests. This paper describes a methodology that determines effective sample sizes by computing design effects and which extends the methodology in such a way that it incorporates ‘guest viewing’. (shrink)

This study highlights a range of perspectives offered by 11 international teachers, participating in a cultural immersion experience, as they reflect on how they saw democracy manifested at their school internships. Teachers from six different countries studied and taught in a rural community in the Southern United States, where a medium-sized research university hosted the teachers as part of a federally-funded program during an academic semester. As a part of a larger qualitative research study analyzing the international teachers’ perception (...) of American schooling, data from intercultural sessions, individual interviews, and assigned reaction papers highlighted multiple contradictions between the teachers’ interpretation of democratic ideals and democratic education as they saw manifested in American schools. These narratives highlight the complex forces that shape individuals’ perceptions of democracy as played out in the everyday life of a cultural immersion experience. The researchers suggest that these transnational perspectives can serve as a mechanism allowing Western educators to listen to the “Other” as they interrogate taken-for-granted assumptions about American schooling. Narratives primarily highlight inconsistencies between the goals of citizenship education and the way in which citizenship is promoted or neglected in K-12 classrooms. (shrink)

In this paper, I address a question in social epistemology about the unity of a scientic community to- wards its inner groups (teams, labs...). I investigate the reasons why these groups might want to \go it alone", working among themselves and hiding their discoveries from other groups. I concentrate on the intermediate results of a longer project, where the first steps can help to achieve a more advanced result. I study to what extent the isolation of research groups might be (...) damaging to the epistemic progress of the whole community. In order to get an idea of the reason why scientists might not share their intermediate results with others, consider for example Schawlow and Townes in the summer of 1958 (the historical material is drawn from Broberg, 1991, chap. 3): together they had just designed the principle of functioning of what would be known as the laser, with the intention of constructing the rst laser, relying on their theoretical ideas. Should they have published their theoretical discovery, or rather taken advantage of their advance on possible oppo- nents and start the experimental work? They chose to publish their theoretical ideas in a scientic journal, and they also led a patent application. On the one hand, it was a valuable choice: the patent was granted and their paper was published, making them soon famous. Further- more, another scientist called Gould was to le a simi- lar patent application a few months later, in March 1959; it was refused, because of the priority of Schawlow and Townes. If the latter had not submitted their idea in 1958, the patent would certainly have been acknowl- edged to Gould. In this sense, publishing their intermediate result was a worthy strategy. On the other hand, history showed that their publication had also some drawbacks for them. Schawlow and Townes' publication triggered a race among many American laboratories for the rst experimental construction of the laser. In addition to bringing them competitors, their publication helped these competitors in crucial ways; so much so that it was another scientist, Maiman, and not Schawlow and Townes, who was able to build the rst working laser, in May 1960, and to publish the result. If Schawlow and Townes had not published their theoretical idea, there are chances that they would have been the first ones to build a laser. Their publication of the first theoretical result certainly prevented them from getting the second experimental one. In short, the best publishing strategy about an intermediate result is no easy question for a scientist. Consider now the whole community, concerned with the results available to all and with the pace of the epistemic progress. Schawlow and Townes' publication enabled the rst laser to be built quicker, as other teams could rely on their theoretical work. More generally, being able to reuse other's works seems to be a rm basis of scientic progress. Thus, for the whole community, it seems that there are only benets if intermediate results are published. As this is not necessarily the best strategy for those who reach these intermediate results, there might be a conflict between the interests of individuals and those of the whole community. The question Schawlow and Townes faced was whether they should make their discovery publicly known, or keep it for themselves to progress alone. This alternative can also arise for an entire lab, when competing with other labs on some long-run project: should it make its discoveries known to its opponents, or only share them internally among its members? At a higher level still, this question arises for what can be called scientic schools, which are groups of labs sharing some particular approach|methodological, experimental or interpre- tational, for example. At each level within the scientic community, there are competitive groups of scientists which may decide to go it alone and to prevent their results from being accessible to others. If they had good reasons for doing so, there would be dramatic consequences for the whole community: other groups would not be able to reuse their results, labour force would be wasted in achieving them again, and the progress of the eld would be slowered. 9 The aim of this paper is to investigate this risk of division: to assess the conditions under which it may oc- cur, its damage for the community, and to draw the limit of an acceptable pluralism. The reasoning with benets and drawbacks which has been sketched for Schawlow and Townes seems to be implicitly an informal economic argument. In order to clarify and to rene such an argument, I will investigate it in a rational decision framework, supposing some utility or preferences for the groups of scientists, and I will propose a formal model, in game theory. In social epistemology of science, formal models have been proposed for various questions (for example, Kitcher 1990, 1993, Goldman 2009, Strevens 2003, 2006, Weisberg and Muldoon, forthcoming, Zollman 2007, 2008, 2009, 2010), but not for the question of the division of the scientic community. I will concentrate on the normative aspect of the question, ignoring the descriptive and historical question of whether groups do go it alone or not. The model I propose is sequential: two groups are competing on a research program, which consists of several results which have to be obtained in order. The groups always carry out some research for the next result, which they reach with some probability per unit of time. When a group, say A, reaches a result, it can either make it public for the other group, or continue its research. After a result is made public, the competitor B can start from it so as to continue its own research. Thus, when A publishes it loses its lead, and its competitor will be able to compete with it in the near future. But it is also recognized as the rst to reach this step. I consider two dierent cases, one in which the number of steps is limited, another where the limit concerns the number of temporal intervals. In both cases, assuming that all steps are equally dicult and equally rewarding, it turns out that the best strategy for a group concerned with its own reward is to make public every step it takes. Thus, there is no risk that groups might separate: a scientist, whatever its group, will publish for all. Finally, I turn to more complex situations, where results have varying size or diculty: there, groups can indeed be better o going it alone. (shrink)

Objective: There is a demonstrated link between the mental health and substance use comorbidities experienced by young adults, however the vast majority of psychological interventions are disorder specific. Novel psychological approaches that adequately acknowledge the psychosocial complexity and transdiagnostic needs of vulnerable young people are urgently needed. A modular skills-based program for emotion regulation and impulse control addresses this gap. The current one armed open trial was designed to evaluate the impact that 12 weeks exposure to ERIC alongside (...) usual care had on young people's ability to regulate emotions, as well as examine potential moderating mechanisms.Methods: Seventy nine young people were enrolled to the 12 week intervention period. Twenty one practitioners from youth and community health services delivered relevant ERIC modules adjunct to usual care. Linear mixed effects regression was used to examine change over time across the primary outcome of emotion dysregulation and secondary outcomes of depression, anxiety, stress, experiential avoidance and mindfulness. Moderation analyses were conducted to test whether the magnitude of change in emotion dysregulation moderated change over time in secondary outcomes.Results: Analyses revealed significant improvement in the primary outcome of emotion dysregulation with a moderate effect size, in addition to decreases in the secondary outcomes of depression, anxiety, stress and experiential avoidance. No improvements in mindfulness were reported. Moderation analyses revealed that the residualised change over time in emotion dysregulation moderated the change over time in symptoms of distress, depression, anxiety, stress, experiential avoidance, and mindfulness.Conclusion: Reductions in the severity of emotion dysregulation, depression, anxiety, stress and experiential avoidance are promising, and were evident despite the complexity of the participants and the diversity of the service setting. The improvements found in each outcome were only observed for those young people whose emotion regulation also improved, providing preliminary evidence for the role of emotion regulation as a key treatment target in this population. (shrink)

Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized eigenvalues problem of sparse matrices, with automatic parallelization of calculations on modern parallel computers with graphics processors. Peculiarities of realization of parallel algorithms for different structures of sparse matrices are presented. The times of solving the problem of stability of composite materialsusing a three-dimensional model of "finite size fibers" on computers of different architectures are given. In mathematical modeling of physical and (...) technical processes in many cases there is a need to solve problems of algebraic problem of eigenvalues with sparse matrices of large volumes. In particular, such problems arise in the analysis of the strength of structures in civil and industrial construction, aircraft construction, electric welding, etc. The solving to these problems is to determine the eigenvalues and eigenvectors of sparse matrices of different structure. The efficiency of solving these problems largely depends on the effectiveness of mathematical modeling of the problem as a whole. Continuous growth of task parameters, calculation of more complete models of objects and processes on computers require an increase in computer productivity. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. Today, this problem is solved by using powerful supercomputers of hybrid architecture, such as computers with multicore processors and graphics processors, which combine MIMD and SIMD architectures. But the potential of high-performance computers can be used to the fullest only with algorithmic software that takes into account both the properties of the task and the features of the hybrid architecture. Complicating the architecture of modern high-performance supercomputers of hybrid architecture, which are actively used for mathematical modeling means a significant complication of efficient use of these resources in creating parallel algorithms and programs. here are problems with the creation of algorithmic software with automatic execution of stages of work, which are associated with the efficient use of computing resources, ways to store and process sparse matrices, analysis of the reliability of computer results. This makes it possible to significantly increase the efficiency of mathematical modeling of practical problems on modern high-performance computers, as well as free users from the problems of parallelization of complex problems. he developed algorithmic software automatically implements all stages of parallel computing and processing of sparse matrices on a hybrid computer. It was used at the Institute of Mechanics named after S.P. Tymoshenko NAS of Ukraine in modeling the strength problems of composite material. A significant improvement in the time characteristics of mathematical modeling was obtained. Problems of mathematical modeling of the properties of composite materials has an important role in designing the processes of deformation and destruction of products in various subject areas. Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized problem of eigen values of sparse matrices of different structure of large orders, with automatic parallelization of calculations on modern parallel computers with graphics processors. The main methodological principles and features of implementation of parallel algorithms for different structures of sparse matrices are presented, which ensure effective implementation of multilevel parallelism of a hybrid system and reduce data exchange time during the computational process. As an example of these approaches, a hybrid algorithm of the iteration method in subspace for tape and block-diagonal matrices with a frame for computers of hybrid architecture is given. Peculiarities of data decomposition for matrices of profile structure at realization of parallel algorithms are considered. The proposed approach provides automatic determination of the required topology of the hybrid computer and the optimal amount of resources for the organization of an efficient computational process. The results of testing the developed algorithmic software for problems from the collection of the University of Florida, as well as the times of solving the problem of stability of composite materials using a three-dimensional model of "finite size fibers" on computers of different architectures. The results show a significant improvement in the time characteristics of solving problems. (shrink)

In the past four decades, the notion of quantum polynomial-time computability has been mathematically modeled by quantum Turing machines as well as quantum circuits. This paper seeks the third model, which is a quantum analogue of the schematic definition of recursive functions. For quantum functions mapping finite-dimensional Hilbert spaces to themselves, we present such a schematic definition, composed of a small set of initial quantum functions and a few construction rules that dictate how to build a new quantum function from (...) the existing ones. We prove that our schematic definition precisely characterizes all functions that can be computable with high success probabilities on well-formed quantum Turing machines in polynomial time, or equivalently uniform families of polynomial-size quantum circuits. Our new, schematic definition is quite simple and intuitive and, more importantly, it avoids the cumbersome introduction of the well-formedness condition imposed on a quantum Turing machine model as well as of the uniformity condition necessary for a quantum circuit model. Our new approach can further open a door to the descriptional complexity of quantum functions, to the theory of higher-type quantum functionals, to the development of new first-order theories for quantum computing, and to the designing of programming languages for real-life quantum computer. (shrink)

We refine the constructions of Ferrante-Rackoff and Solovay on iterated definitions in first-order logic and their expressibility with polynomial size formulas. These constructions introduce additional quantifiers; however, we show that these extra quantifiers range over only finite sets and can be eliminated. We prove optimal upper and lower bounds on the quantifier complexity of polynomial size formulas obtained from the iterated definitions. In the quantifier-free case and in the case of purely existential or universal quantifiers, we show (...) that Ω quantifiers are necessary and sufficient. The last lower bounds are obtained with the aid of the Yao-Håstad switching lemma. (shrink)

Doctoral programs at U.S. universities play a critical role in the development of human resources both in the United States and abroad. This volume reports the results of an extensive study of U.S. research-doctorate programs in five broad fields: physical sciences and mathematics, engineering, social and behavioral sciences, biological sciences, and the humanities. Research-Doctorate Programs in the United States documents changes that have taken place in the size, structure, and quality of doctoral education since the widely used 1982 editions. (...) This update provides selected information on nearly 4,000 doctoral programs in 41 subdisciplines at 274 doctorate-granting institutions. This volume also reports the results of the National Survey of Graduate Faculty, which polled a sample of faculty for their views on the scholarly quality of program faculty and the effectiveness of doctoral programs in preparing research scholars/scientists. This much-anticipated update of such an essential reference will be useful to education administrators, university faculty, and students seeking authoritative information on doctoral programs. (shrink)

This makes his book especially valuable." -- Yuri Gurevich, Professor of Computer Science, University of Michigan Computability and complexity theory should be of central concern to practitioners as well as theorists.

We show that if κ is a weakly compact cardinal then the embeddability relation on trees of size κ is invariantly universal. This means that for every analytic quasi-order R on the generalized Cantor space View the MathML source there is an Lκ+κ-sentence φ such that the embeddability relation on its models of size κ, which are all trees, is Borel bi-reducible to R. In particular, this implies that the relation of embeddability on trees of size κ (...) is complete for analytic quasi-orders on View the MathML source. These facts generalize analogous results for κ=ω obtained in Louveau and Rosendal [17] and Friedman and Motto Ros [6], and it also partially extends a result from Baumgartner [3] concerning the structure of the embeddability relation on linear orders of size κ. (shrink)

Descriptive set theory and computability theory are closely-related fields of logic; both are oriented around a notion of descriptive complexity. However, the two fields typically consider objects of very different sizes; computability theory is principally concerned with subsets of the naturals, while descriptive set theory is interested primarily in subsets of the reals. In this paper, we apply a generalization of computability theory, admissible recursion theory, to consider the relative complexity of notions that are of interest in descriptive (...) set theory. In particular, we examine the perfect set property, determinacy, the Baire property, and Lebesgue measurability. We demonstrate that there is a separation of descriptive complexity between the perfect set property and determinacy for analytic sets of reals; we also show that the Baire property and Lebesgue measurability are both equivalent in complexity to the property of simply being a Borel set, for $\boldsymbol {\Sigma ^{1}_{2}}$ sets of reals. (shrink)

The problem of computational complexity of semantics for some natural language constructions – considered in [M. Mostowski, D. Wojtyniak 2004] – motivates an interest in complexity of Ramsey quantifiers in finite models. In general a sentence with a Ramsey quantifier R of the following form Rx, yH(x, y) is interpreted as ∃A(A is big relatively to the universe ∧A2 ⊆ H). In the paper cited the problem of the complexity of the Hintikka sentence is reduced to the (...) problem of computational complexity of the Ramsey quantifier for which the phrase “A is big relatively to the universe” is interpreted as containing at least one representative of each equivalence class, for some given equvalence relation. In this work we consider quantifiers Rf, for which “A is big relatively to the universe” means “card(A) > f (n), where n is the size of the universe”. Following [Blass, Gurevich 1986] we call R mighty if Rx, yH(x, y) defines N P – complete class of finite models. Similarly we say that Rf is N P –hard if the corresponding class is N P –hard. We prove the following theorems. (shrink)