Movatterモバイル変換

We have synthesized a 582,970-base pair Mycoplasma genitalium genome. This synthetic genome, named M. genitalium JCVI-1.0, contains all the genes of wild-type M. genitalium G37 except MG408, which was disrupted by an antibiotic marker to block pathogenicity and to allow for selection. To identify the genome as synthetic, we inserted "watermarks" at intergenic sites known to tolerate transposon insertions. Overlapping "cassettes" of 5 to 7 kilobases (kb), assembled from chemically synthesized oligonucleotides, were joined by in vitro recombination to produce intermediate (...) assemblies of approximately 24 kb, 72 kb ("1/8 genome"), and 144 kb ("1/4 genome"), which were all cloned as bacterial artificial chromosomes in Escherichia coli. Most of these intermediate clones were sequenced, and clones of all four 1/4 genomes with the correct sequence were identified. The complete synthetic genome was assembled by transformation-associated recombination cloning in the yeast Saccharomyces cerevisiae, then isolated and sequenced. A clone with the correct sequence was identified. The methods described here will be generally useful for constructing large DNA molecules from chemically synthesized pieces and also from combinations of natural and synthetic DNA segments. 10.1126/science.1151721. (shrink)

Export citation   Bookmark   31 citations  

No categories

Export citation   Bookmark  

Gentzen’s sequent calculi LK and LJ are landmark proof systems. They identify the structural rules of weakening and contraction as notable inference rules, and they allow for an elegant statement and proof of both cut elimination and consistency for classical and intuitionistic logics. Among the undesirable features of those sequent calculi is that their inferences rules are low-level and frequently permute over each other. As a result, large-scale structures within sequent calculus proofs are hard to identify. In this paper, we (...) present a different approach to designing a sequent calculus for classical logic. Starting with Gentzen’s LK proof system, we examine the proof search meaning of his inference rules and classify those rules as involving either don’t care nondeterminism or don’t know nondeterminism. Based on that classification, we design the focused proof system LKF in which inference rules belong to one of two phases of proof construction depending on which flavor of nondeterminism they involve. We then prove that the cut rule and the general form of the initial rule are admissible in LKF. Finally, by showing that the inference rules for LK are all admissible in LKF, we can give a relative completeness proof for LKF provability with respect to LK provability. We shall also apply these properties of the LKF proof system to establish other meta-theoretic properties of classical logic, including Herbrand’s theorem. (shrink)

Direct download   Export citation   Bookmark   3 citations  

Chuck Chakrapani ABSTRACT: Stoic Minimalism may be described as ‘just enough Stoicism.’ Just enough for what? Just enough to lead the good life. Just enough to cope with the stress of modern life. Just enough to not be rattled by the constant changes that characterize the times we live in. Just enough to be resilient ….

No categories

Direct download   Export citation   Bookmark  

CLIMATE EDUCATION FOR WOMEN AND YOUTH Around the world, people still lack basic awareness and understanding of the drivers and impact of climate change, as well as options for reducing carbon emissions and adapting to the climate change impacts. In addition, climate change impacts are not equally distributed. Gender inequalities and development gaps increase the impacts of climate change for women and young people. Driving climate action through educating and empowering women and youth could lead to building resilience within communities. (...) Thus, education and training are crucial to building capacity and enhance their ability to tackle climate change, especially as most of them have no access to information and resources related to climate action. Despite the evidence that education has a strong role to play in both climate adaptation and mitigation, the global education community has done little to advance wide-scale education efforts. Solid, coherent policies and plans are the bedrock on which to build sustainable education systems, achieve educational development goals and contribute effectively to lifelong learning. At a time of growing inequality, closing the gaps in access to quality education requires a long-term vision, engagement, and effective collaboration between various stakeholders. To do that, it’s critical to develop climate educational guides for developing countries that include the most important elements about formal and informal education for women and young people, as well as relevant learning materials and tools. Establishing a climate education coalition provides a forum for expert discussion and unlocks the potential of collaborative work. Embedding climate topics into formal and non-formal education is another priority area for action that could contribute to increasing climate awareness among youth. Community-level climate education projects and initiatives could be a powerful tool for educating and empowering women. Thus, governments and local authorities should ensure funds and provide resources for these projects and initiatives. (shrink)

Direct download   Export citation   Bookmark  

Export citation   Bookmark  

No categories

Direct download(2 more)   Export citation   Bookmark  

Export citation   Bookmark   1 citation  

Is it possible to pay attention to that context? To exclude nothing from your awareness? Hillig explores that context and this possibility in this conversational little book.

No categories

Direct download   Export citation   Bookmark  

Direct download(2 more)   Export citation   Bookmark  

No categories

Direct download(6 more)   Export citation   Bookmark  

No categories

Direct download(3 more)   Export citation   Bookmark  

Direct download(2 more)   Export citation   Bookmark  

Evolutionary explanations of psychological phenomena have become widespread. This paper examines a recent attempt by Nichols and Grantham (2000) to circumvent the problem of epiphenomenalism in establishing the selective status of consciousness. Nichols and Grantham (2000) argue that a case can be made for the view that consciousness is an adaptation based on its complexity. I set out this argument and argue that it fails to establish that phenomenal consciousness is a complex system. It is suggested that the goal of (...) establishing consciousness as an adaptation may be better served by rejecting the distinction between access consciousness and phenomenal consciousness. (shrink)

Direct download(6 more)   Export citation   Bookmark  

Although Newman felt that the conferral of the cardinalate lifted the cloud of suspicion forever, soon after his death his reputation came under another cloud: Modernism. This essay shows how Modernist concerns about the philosophical grounding of faith, Biblical interpretation, and the nature of dogmatic statements as presented by Pierre Batiffol and Marcel Hébert counter-pointed Newman’s idea of the development of doctrine.

No categories

Direct download(2 more)   Export citation   Bookmark  

PurposeThe purpose of this paper is to present a four component model of ethical behavior (PRIMES) that integrates literature in moral psychology, computing ethics, and virtue ethics as informed by research on moral exemplars in computing. This is part 1 of a two‐part contribution.Design/methodology/approachThis psychologically based and philosophically informed model argues that moral action is: grounded in relatively stable PeRsonality characteristics (PR); guided by integration of morality into the self‐system; shaped by the context of the surrounding moral ecology; and facilitated (...) by morally relevant skills and knowledge (S).FindingsThe model seeks to explain the daily successful (and unsuccessful) performance of moral action by computing professionals and to provide groundwork for a pedagogy that emphasizes ethically effective performance.Practical implicationsThe model has significant implications for how ethical action might be taught to computer professionals and other design professionals. It also makes recommendations about what is needed to measure to construct a complete picture of sustained ethical action in a profession.Originality/valueMost accepted models of ethical behavior are unidimensional, emphasizing either principled reasoning or a simplistic model of integrity/character. This model brings together a variety of disparate literatures in the light of its emphasis on sustained moral action in the profession. It thereby provides researchers and educators with a picture of what is needed to construct a complete understanding of moral action in the profession. (shrink)

Direct download(5 more)   Export citation   Bookmark   9 citations  

The accumulation of potentially toxic elements (PTEs) has raised public awareness due to harmful contamination to both human and marine creatures. This study was designed to determine the concentration of copper (Cu), zinc (Zn), cadmium (Cd), and nickel (Ni) in the intestine, kidney, muscle, gill, and liver tissues of local commercial edible fish, fourfinger threadfin (Eleutheronema tetradactylum), and black pomfret (Parastromateus niger) collected from Morib (M) and Kuala Selangor (KS). Among the studied PTEs, Cu and Zn were essential elements to (...) regulate body metabolism with certain dosages required while Cd and Ni were considered as non-essential elements that posed chronic and carcinogenic risk. The concentration of PTEs in fish tissue samples was analyzed using flame atomic absorption spectrometry (F-AAS). By comparing the concentration of PTEs in fish tissues as a bioindicator, the environmental risk of Morib was more serious than Kuala Selangor because both fish species collected from Morib resulted in a higher PTEs concentration. For an average 62 kg adult with a fish ingestion rate (FIR) of 0.16 kg/person/day in Malaysia, the estimated weekly intake (EWI) of Cd from the consumption of E. tetradactylum (M: 0.0135 mg/kg; KS: 0.0134 mg/kg) and P. niger (M: 0.0140 mg/kg; KS: 0.0132 mg/kg) had exceeded the provisional tolerable weekly intake (Cd: 0.007 mg/kg) established by the Joint FAO/WHO Expert Committee on Food Additives (JECFA) and oral reference dose (ORD) values of Cd (0.001 mg/kg/day) as provided by the United States Environmental Protection Agency (USEPA) regional screening level, thus it posed chronic risks for daily basis consumption. Besides, the value of the carcinogenic risk of Cd (0.7−3 to 0.8−3) and Ni (0.5−3 to 0.6−3) were in between the acceptable range (10−6 to 10−4) of the health index that indicates a relatively low possibility cancer occurrence to the consumers in both Morib and Kuala Selangor. This study recommended FIR to be 0.80 kg/person/day to reduce the possibility of posing chronic and carcinogenic risks while at the same time obtaining the essential nutrients from the fish. (shrink)

No categories

Direct download   Export citation   Bookmark   1 citation  

Export citation   Bookmark   1 citation  

Direct download(4 more)   Export citation   Bookmark  

This is the simple account of how and why you have been imagining yourself to be only a separate and limited being.

No categories

Direct download   Export citation   Bookmark  

Down the rabbit hole -- Something to consider -- (W)hole in the all -- Now playing -- Collapsing polarities -- An allegory for our time -- Living as the void -- A cosmic conversation -- An awakening?

Direct download   Export citation   Bookmark  

No categories

Direct download   Export citation   Bookmark  

The following hypothetical case study was developed for bioengineering students and is concerned with choosing between two devices used for development of a pediatric tissue engineered heart valve (TEHV). This case is intended to elicit assessment of the devices, possible future outcomes, and ramifications of the decision making. It is framed in light of two predominant ethical theories: utilitarianism and rights of persons. After the case was presented to bioengineering graduate students, they voted on which device should be released. The (...) results revealed that these bioengineering students preferred the more reliable (and substantially more expensive) design, though this choice precludes the majority of the world from having access to this technology. This case is intended to examine and explore where the balance lies between design, cost, and adequate distribution of biomedical devices. (shrink)

Direct download(3 more)   Export citation   Bookmark  

The joint effort by the U.S. government and the political elite of Puerto Rico to industrialize the island created increased demand for female labor and a decline in the number of jobs traditionally held by men. The authors examine whether women's labor force participation in the formal sector responds to improving opportunities for women, declining opportunities for men, or the household's changing opportunity structures. Specifically, they examine a woman's return to work after the birth of her first child as the (...) initial point of conflict between productive and reproductive work. The data used in these analyses are from the 1982 Puerto Rican Fertility and Family Planning Assessment, an islandwide, representative sample of never-married and ever-married women between the ages of fifteen and forty-nine. The authors estimate a series of nested logistic regression models to evaluate the influence of occupational expansion or contraction on the timing of return to work after the first birth. Their findings offer selective support for the idea that women's lives are affected primarily by the occurrence of growing labor demand for women's labor. (shrink)

No categories

Direct download   Export citation   Bookmark  

It is a common assumption amongst theorists that the phenomenon of animal emotion supports the affect program theory of emotion. I argue that this assumption is mistaken by exploring two cases of animal emotion from studies in ethology: aggression in chimpanzees and fear in piping plovers. While the affect program theory fails to account for the cognitive complexity involved in each case, I do not argue for a cognitive theory of emotion. Instead, I suggest that paying attention to animal emotions (...) helps the emotion theorist avoid the dichotomy between the extreme versions of the affect program theory and cognitive theories. ‡My thanks to Bart Moffatt, Ben Schulz, Jessica Slind, Katie Plasiance, Ken Waters, Mark Borrello, Susan Hawthorne, and Toben Lafrancois for helpful comments on earlier drafts of this paper. †To contact the author, please write to: Department of Philosophy, University of Minnesota, Minneapolis, MN 55455; e-mail:[email protected]. (shrink)

Direct download(7 more)   Export citation   Bookmark   1 citation  

Export citation   Bookmark  

Direct download(2 more)   Export citation   Bookmark  

The second season of True Detective bears many marks of a classic urban‐noir crime drama. The city is a central character of the narrative. And the relationship between the detectives and the city is one of the crucial elements of the story. This is most obvious in the case of Vinci Detective Ray Velcoro, and apparent to a lesser degree in the cases of Ani Bezzerides and Paul Woodrugh. This chapter examines the philosophical aspect of the relationship between the detective (...) and the city, comparing it to a classical view of the relationship between philosophy and the city, presented by Plato over two millennia ago in his dialogues Apology and The Republic. The Apology tells the story of Socrates on trial. There are some parallels between Socrates and the noir detective on this score, but there are some stark differences as well. (shrink)

No categories

Direct download   Export citation   Bookmark  

PurposeThe purpose of this paper is to present a four component model of ethical behavior that integrates literature in moral psychology, computing ethics, and virtue ethics as informed by research on moral exemplars in computing. This is part 2 of a two part contribution, part 1 having appeared in Vol. 6 No. 3.Design/methodology/approachThis psychologically based and philosophically informed model argues that moral action is grounded in relatively stable personality characteristics, guided by integration of morality into the self‐system, shaped by the (...) context of the surrounding moral ecology, and facilitated by morally relevant skills and knowledge.FindingsThe model seeks to explain the daily successful (and unsuccessful) performance of moral action by computing professionals and to provide groundwork for a pedagogy that emphasizes ethically effective performance.Practical implicationsThe model has significant implications for how ethical action to computer professionals and other design professionals might be taught. It also makes recommendations about what need to be measured to construct a complete picture of sustained ethical action in a profession.Originality/valueMost accepted models of ethical behavior are unidimensional, emphasizing either principled reasoning or a simplistic model of integrity/character. This model brings together a variety of disparate literatures in the light of its emphasis on sustained moral action in the profession. It thereby provides researchers and educators with a picture of what is needed to construct a complete understanding of moral action in the profession. (shrink)

Direct download(5 more)   Export citation   Bookmark   7 citations  

Si on analyse les stratégies publicitaires de la plateforme Netflix il devient possible de mieux comprendre le modèle de spectateur que celles-ci façonnent. En étudiant la comparaison avec la chaine câblée HBO mais aussi le matériel de la campagne promotionnelle TV Got Better, nous observons les promesses que Netflix adresse à son public potentiel (plénitude, participation, prestige et personnalisation) ainsi que son encouragement des pratiques de visionnement « en rafale ».

No categories

Direct download(4 more)   Export citation   Bookmark   2 citations  

Most phyto-remediation studies have been conducted merely on a single type of contaminant element without consideration of the influence of other co-existent contaminants. In this study, Vetiveria zizanioides (Linn.) Nash was evaluated in both single and mixed heavy metal (Cd, Pb, Cu and Zn) spiked contaminated soil. The plant growth, metal accumulation and overall efficiency of metal uptake by different plant parts (lower root, upper root, lower tiller and upper tiller) were investigated in detail. The relative growth performance, metal tolerance (...) and phyto-assessment of heavy metal in roots and tillers of Vetiver grass were assessed. Metals in plants were measured using the flame atomic absorption spectrometry (F-AAS) after acid digestion. The root-tiller (R/T) ratio, tolerance index (TI), translocation factor (TF), biological concentration factor (BCF), biological accumulation coefficient (BAC) and metal uptake efficacy were estimated to examine the ability of metal accumulation and translocation in Vetiver grass. No significant difference (p > 0.05) of plant height was observed among all single and mixed heavy metal spiked soils compared with the control. However, significantly higher (p < 0.05) heavy metal (Cd, Pb, Cu and Zn) accumulations were found in roots, tillers and overall total accumulation of the individual spiked metal as compared with other treatments. Vetiver grass grown in the mixed Cd + Pb + Cu + Zn spiked soils accumulated the highest Zn (3322 ± 21.6 mg/kg) followed by Cu (430 ± 11.4 mg/kg), Pb (197 ± 13.5 mg/kg) and Cd (100 ± 0.7 mg/kg). Vetiver grass grown in mixed Cd + Pb, Cu + Zn and Cd + Pb + Cu + Zn spiked soils accumulated higher heavy metal concentrations than from the single spiked soil with the following order of metals: Zn > > Cu > Pb > Cd. Moreover, lower roots and lower tillers of Vetiver grass revealed a strong tendency for greater uptake and accumulation of all four heavy metals in both single and/or mixed spiked contaminated soils. -/- . (shrink)

Direct download   Export citation   Bookmark   1 citation  

No categories

Export citation   Bookmark   1 citation  

Direct download(3 more)   Export citation   Bookmark   9 citations  

Export citation   Bookmark  

Over the years, ethylene-diamine-tetra-acetate (EDTA) has been widely used for many purposes. However, there are inadequate phytoassessment studies conducted using EDTA in Vetiver grass. Hence, this study evaluates the phytoassessment (growth performance, accumulation trends, and proficiency of metal uptake) of Vetiver grass, Vetiveria zizanioides (Linn.) Nash in both single and mixed heavy metal (Cd, Pb, Cu, and Zn)—disodium EDTA-enhanced contaminated soil. The plant growth, metal accumulation, and overall efficiency of metal uptake by different plant parts (lower root, upper root, lower (...) tiller, and upper tiller) were thoroughly examined. The relative growth performance, metal tolerance, and phytoassessment of heavy metal in roots and tillers of Vetiver grass were examined. Metals in plants were measured using the flame atomic absorption spectrometry (F-AAS) after acid digestion. The root-tiller (R/T) ratio, biological concentration factor (BCF), biological accumulation coefficient (BAC), tolerance index (TI), translocation factor (TF), and metal uptake efficacy were used to estimate the potential of metal accumulation and translocation in Vetiver grass. All accumulation of heavy metals were significantly higher (p < 0.05) in both lower and upper roots and tillers of Vetiver grass for Cd + Pb + Cu + Zn + EDTA treatments as compared with the control. The single Zn + EDTA treatment accumulated the highest overall total amount of Zn (8068 ± 407 mg/kg) while the highest accumulation for Cu (1977 ± 293 mg/kg) and Pb (1096 ± 75 mg/kg) were recorded in the mixed Cd + Pb + Cu + Zn + EDTA treatment, respectively. Generally, the overall heavy metal accumulation trends of Vetiver grass were in the order of Zn >>> Cu > Pb >> Cd for all treatments. Furthermore, both upper roots and tillers of Vetiver grass recorded high tendency of accumulation for appreciably greater amounts of all heavy metals, regardless of single and/or mixed metal treatments. Thus, Vetiver grass can be recommended as a potential phytoextractor for all types of heavy metals, whereby its tillers will act as the sink for heavy metal accumulation in the presence of EDTA for all treatments. (shrink)

Direct download(2 more)   Export citation   Bookmark  

Online science and engineering ethics (SEE) education can support appropriate goals for SEE and the highly interactive pedagogy that attains those goals. Recent work in moral psychology suggests pedagogical goals for SEE education that are surprisingly similar to goals enunciated by several panels in SEE. Classroom-based interactive study of SEE cases is a suitable method to achieve these goals. Well-designed cases, with appropriate goals and structure can be easily adapted to courses that have online components. It is less clear that (...) exclusively online methods can support the wide range of goals necessary to good moral pedagogy in SEE, though there seems no a priori reason to rule this out. Only careful, goal-based assessment of online case study SEE teaching can resolve this question. (shrink)

Direct download(3 more)   Export citation   Bookmark   23 citations  

Direct download(4 more)   Export citation   Bookmark  

Direct download(3 more)   Export citation   Bookmark  

Direct download(4 more)   Export citation   Bookmark   1 citation  

Tropical grasses are fast growing and often used for phytoremediation. Three different types of tropical grasses: Vetiver (V. zizanoides), Imperata (I. cylindrical) and Pennisetum (P. purpureum) tested in different growth media of spiked heavy metal contents under the glasshouse environment of RimbaIlmu for 60-day. The growth performance, metals tolerance and phyto-assessment of cadmium (Cd), lead (Pb), zinc (Zn) and copper (Cu) in shoots and roots were assessed using flame atomic absorption spectrometry (FAAS).Tolerance index (TI), translocation factor (TF), biological accumulation coefficient (...) (BAC), biological concentration factor (BCF), and uptake efficacy was applied to evaluate the metal translocation ability among all three grasses. All three grasses showed significantly higher (p<0.05) accumulation of the total heavy metals in the spiked metal treatment compared with other tested treatments. Vetiver accumulated remarkably higher total concentration of Cd (93.08 ± 3.81 mg/kg) and Zn (1284.00 ± 234.83 mg/kg) than both Imperata and Pennisetum. The overall trend of heavy metals accumulation for all three grasses followed the order of Zn>Pb>Cd>Cu. The results of study suggested that both Imperata and Pennisetum are commendable and potential phytoextractors for Zn as well as phytostabilizers for Cd, Pb and Cu, respectively. (shrink)

Direct download(2 more)   Export citation   Bookmark   2 citations  

We present a compact sequent calculus LKU for classical logic organized around the concept of polarization. Focused sequent calculi for classical, intuitionistic, and multiplicative–additive linear logics are derived as fragments of the host system by varying the sensitivity of specialized structural rules to polarity information. We identify a general set of criteria under which cut-elimination holds in such fragments. From cut-elimination we derive a unified proof of the completeness of focusing. Furthermore, each sublogic can interact with other fragments through cut. (...) We examine certain circumstances, for example, in which a classical lemma can be used in an intuitionistic proof while preserving intuitionistic provability. We also examine the possibility of defining classical–linear hybrid logics. (shrink)

Direct download(6 more)   Export citation   Bookmark   4 citations  

The growth response, metal tolerance and phytoaccumulation properties of water spinach (Ipomoea aquatica) and okra (Abelmoschus esculentus) were assessed under different contaminated spiked metals: control, 50 mg Pb/kg soil, 50 mg Zn/kg soil and 50 mg Cu/kg soil. The availability of Pb, Zn and Cu metals in both soil and plants were detected using flame atomic absorption spectrometry. The concentration and accumulation of heavy metals from soil to roots and shoots (edible parts) were evaluated in terms of translocation factor, accumulation (...) factor and tolerance index. Okra recorded the highest accumulation of Pb (80.20 mg/kg) in its root followed by Zn in roots (35.70 mg/kg) and shoots (34.80 mg/kg) of water spinach, respectively. Different accumulation trends were observed with, Pb > Zn > Cu in okra and Zn > Pb > Cu in water spinach. Significant differences (p < 0.01) of Pb, Zn and Cu accumulation were found in both water spinach and okra cultivated among tested treatments. However, only the accumulation of Pb metal in the shoots of water spinach and okra exceeded the maximum permissible levels of the national Malaysian Food Act 1983 and Food Regulations 1985 ([2006]) as well as the international Codex Alimentarius Commission limits. This study has shown that both water spinach and okra have good potential as Pb and Zn phytoremediators. (shrink)

Direct download(2 more)   Export citation   Bookmark   2 citations  

Three different types of low cost soil amendments, namely, EDTA, elemental S and N-fertilizer, were investigated with Vetiver grass, Vetiveria zizanioides (Linn.) Nash growing under highly mixed Cd–Pb contamination conditions. A significant increase (p < 0.05) in Cd and Pb accumulation were recorded in the shoots of all EDTA and N-fertilizer assisted treatments. The accumulation of Cd in 25 mmol EDTA/kg soil and 300 mmol N/kg soil showed relatively higher translocation factor (1.72 and 2.15) and percentage metal efficacy (63.25 % (...) and 68.22 %), respectively, compared to other treatments. However, it was observed that the increased application of elemental S may inhibit the availability of Pb translocation from soil-to-root and root-to-shoot. The study suggests that viable application of 25 mmol EDTA/kg, 300 mmol N/kg and 20 mmol S/kg soil have the potential to be used for soil amendment with Vetiver grass growing under contaminated mixed Cd–Pb soil conditions. (shrink)

Direct download(2 more)   Export citation   Bookmark   2 citations  

Direct download(2 more)   Export citation   Bookmark   3 citations  

Silent gesture is not considered to be linguistic, on par with spoken and sign languages. It is claimed that silent gestures, unlike language, represent events holistically, without compositional structure. However, recent research has demonstrated that gesturers use consistent strategies when representing objects and events, and that there are behavioral and clinically relevant limits on what form a gesture may take to effect a particular meaning. This systematicity challenges a holistic interpretation of silent gesture, which predicts that there should be no (...) stable form‐meaning correspondence across event representations. Here, we demonstrate to the contrary that untrained gesturers systematically manipulate the form of their gestures when representing events with and without a theme (e.g., Someone popped the balloon vs. Someone walked), that is, transitive and intransitive events. We elicited silent gestures and annotated them for manual features active in coding transitivity distinctions in sign languages. We trained linear support vector machines to make item‐by‐item transitivity predictions based on these features. Prediction accuracy was good across the entire dataset, thus demonstrating that systematicity in silent gesture can be explained with recourse to subunits. We argue that handshape features are constructs co‐opted from cognitive systems subserving manual action production and comprehension for communicative purposes, which may integrate into the linguistic system of emerging sign languages. We further suggest that nonsigners tend to map event participants to each hand, a strategy found across genetically and geographically distinct sign languages, suggesting the strategy's cognitive foundation. (shrink)

Direct download(2 more)   Export citation   Bookmark  

Purpose This viewpoint aims to highlight the necessarily technical nature of ethics in software development, propose a label for ethical analysis that does not lead to ethical action and introduce a philosophical foundation for technical analysis that leads to ethical software development. Design/methodology/approach The methodological approach is one of technical analysis that is aware of social science and philosophical knowledge bases. Findings The findings establish a clear technical foundation that is crucial to ethical analysis that will actually inform software development. (...) Research limitations/implications The idea that beginning with technical expertise is the best way to begin ethical reflection on a technical implementation has been often suggested, but not really empircally tested. Research using cases or other qualitative approaches would need to be done to add credibility to the claim. Practical implications This approach suggests that collaboration between technically informed ethicists and ethically informed technical experts should begin with the exploration of the technical questions rather than with ethical speculation. Social implications A common approach to ethical education is to concentrate on ethical theory and its application in technical contexts. This approach suggests that this may lead to ethical bypassing by the student, the avoidance of the making technical decisions by extensive ethical reflection. Originality/value This paper introduces a new term, ethical bypassing, to the literature on the ethics of software development. (shrink)

No categories

Direct download(2 more)   Export citation   Bookmark  

We combine intuitionistic logic and classical logic into a new, first-order logic called polarized intuitionistic logic. This logic is based on a distinction between two dual polarities which we call red and green to distinguish them from other forms of polarization. The meaning of these polarities is defined model-theoretically by a Kripke-style semantics for the logic. Two proof systems are also formulated. The first system extends Gentzenʼs intuitionistic sequent calculus LJ. In addition, this system also bears essential similarities to Girardʼs (...) LC proof system for classical logic. The second proof system is based on a semantic tableau and extends Dragalinʼs multiple-conclusion version of intuitionistic sequent calculus. We show that soundness and completeness hold for these notions of semantics and proofs, from which it follows that cut is admissible in the proof systems and that the propositional fragment of the logic is decidable. (shrink)

Direct download(5 more)   Export citation   Bookmark   2 citations  

Direct download(3 more)   Export citation   Bookmark   2 citations  

The global production of radioactive wastes is expected to increase in the coming years as more countries have resorted to adopting nuclear power to decrease their reliance on fossil-fuel-generated energy. Discoveries of remediation methods that can remove radionuclides from radioactive wastes, including those discharged to the environment, are therefore vital to reduce risks-upon-exposure radionuclides posed to humans and wildlife. Among various remediation approaches available, microbe-mediated radionuclide remediation have limited reviews regarding their advances. This review provides an overview of the sources (...) and existing classification of radioactive wastes, followed by a brief introduction to existing radionuclide remediation (physical, chemical, and electrochemical) approaches. Microbe-mediated radionuclide remediation (bacterial, myco-, and phycoremediation) is then extensively discussed. Bacterial remediation involves biological processes like bioreduction, biosorption, and bioprecipitation. Bioreduction involves the reduction of water-soluble, mobile radionuclides to water-insoluble, immobile lower oxidation states by ferric iron-reducing, sulfate-reducing, and certain extremophilic bacteria, and in situ remediation has become possible by adding electron donors to contaminated waters to enrich indigenous iron- and sulfate-reducing bacteria populations. In biosorption, radionuclides are associated with functional groups on the microbial cell surface, followed by getting reduced to immobilized forms or precipitated intracellularly or extracellularly. Myco- and phycoremediation often involve processes like biosorption and bioaccumulation, where the former is influenced by pH and cell concentration. A Strengths, Weaknesses, Opportunities, and Threats (SWOT) analysis on microbial remediation is also performed. It is suggested that two research directions: genetic engineering of radiation-resistant microorganisms and co-application of microbe-mediated remediation with other remediation methods could potentially result in the discovery of in situ or ex situ microbe-involving radioactive waste remediation applications with high practicability. Finally, a comparison between the strengths and weaknesses of each approach is provided. (shrink)

Direct download(2 more)   Export citation   Bookmark  

The central dogma of female reproductive biology has long held that oogenesis ceases prior to birth in mammals. During the first half of the last century, there was much debate about whether this was the case or whether oogenesis continued in the postnatal ovary. A report in 1951 effectively put an end to this debate and laid the foundation for the dogma. A new paper by Johnson et al. (2004)1 resurrects the debate over whether postnatal oogenesis occurs in the mammalian (...) ovary. If confirmed, this would have tremendous impact on issues related to female fertility and reproductive longevity. BioEssays 26:829–832, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

Direct download(2 more)   Export citation   Bookmark