Casting the first stone: Who can, and who can't condemn the terrorists?

Traducido por Carlos Lema Añón y Silvina Ribotta de la Universidad Carlos III de Madrid.El artículo plantea una reflexión ética sobre el terrorismo, especialmente sobre la cuestión de quién puede condenar el terrorismo en términos morales. Expone la discusión reflexionando sobre el conflicto israelí-palestino, aunque algunas de sus conclusiones son aplicables a otros conflictos en los que el terrorismo y las condenas del mismo son temas centrales. El autor sostiene que no hay incoherencia en pensar que el terrorismo es injustificable pero a la vez considerar repugnantes ciertas condenas del terrorismo. La razón es que existe una diferencia entre la expresión de una opinión moral y la expresión de una condena. De este modo, podría ser a la vez verdadero que el terrorismo ha de ser condenado y que algunas personas en particular no están en posición de hacerlo. Habría para Cohen dos formas de impugnar el derecho de alguien a condenar, que aquí se agrupan con las denominaciones de “¡Mira quién habla!” (o Tu quoque) y “Tú también estás implicado”

Freedom and money

My principal contention, one that contradicts very influential things that Isaiah wrote, is that lack of money, poverty, carries with it lack of freedom. I regard that as an overwhelmingly obvious truth one that is worth defending only because it has been so influentially denied. Lack of money, poverty, is not, of course, the only circumstance that restricts a person’s freedom, but it is, in my view, one of them, and one of the most important of them. To put the point more precisely – there are lots of things that, because they are poor, poor people are not free to do, things that non-poor people, are, by contrast, indeed free to do

Formal design specification of a Processor Interface Unit

This report describes work to formally specify the requirements and design of a processor interface unit (PIU), a single-chip subsystem providing memory-interface bus-interface, and additional support services for a commercial microprocessor within a fault-tolerant computer system. This system, the Fault-Tolerant Embedded Processor (FTEP), is targeted towards applications in avionics and space requiring extremely high levels of mission reliability, extended maintenance-free operation, or both. The need for high-quality design assurance in such applications is an undisputed fact, given the disastrous consequences that even a single design flaw can produce. Thus, the further development and application of formal methods to fault-tolerant systems is of critical importance as these systems see increasing use in modern society

Underlying construct of empathy, optimism, and burnout in medical students.

OBJECTIVE: This study was designed to explore the underlying construct of measures of empathy, optimism, and burnout in medical students. METHODS: Three instruments for measuring empathy (Jefferson Scale of Empathy, JSE); Optimism (the Life Orientation Test-Revised, LOT-R); and burnout (the Maslach Burnout Inventory, MBI, which includes three scales of Emotional Exhaustion, Depersonalization, and Personal Accomplishment) were administered to 265 third-year students at Sidney Kimmel (formerly Jefferson) Medical College at Thomas Jefferson University. Data were subjected to factor analysis to examine relationships among measures of empathy, optimism, and burnout in a multivariate statistical model. RESULTS: Factor analysis (principal component with oblique rotation) resulted in two underlying constructs, each with an eigenvalue greater than one. The first factor involved positive personality attributes (factor coefficients greater than .58 for measures of empathy, optimism, and personal accomplishment). The second factor involved negative personality attributes (factor coefficients greater than .78 for measures of emotional exhaustion, and depersonalization). CONCLUSIONS: Results confirmed that an association exists between empathy in the context of patient care and personality characteristics that are conducive to relationship building, and considered to be positive personality attributes, as opposed to personality characteristics that are considered as negative personality attributes that are detrimental to interpersonal relationships. Implications for the professional development of physicians-in-training and in-practice are discussed

Creep Evaluation of (Orthotic) Cast Materials During Simulated Clubfoot Correction

The Ponseti method is a widely accepted and highly successful conservative treatment of pediatric clubfoot that relies on weekly manipulations and cast applications. However, the material behavior of the cast in the Ponseti technique has not been investigated. The current study sought to characterize the ability of two standard casting materials to maintain the Ponseti corrected foot position by evaluating creep response. A dynamic cast testing device (DCTD) was built to simulate a typical pediatric clubfoot. Semi-rigid fiberglass and rigid fiberglass casting materials were applied to the device, and the rotational creep was measured at various constant torques. The movement was measured using a 3D motion capture system. A 2-way ANOVA was performed on the creep displacement data at a significance level of 0.05. Among cast materials, the rotational creep displacement was found to be significantly different (p-values ≪ 0.001). The most creep displacement occurs in the semi-rigid fiberglass (approximately 1.0 degrees), then the rigid fiberglass (approximately 0.4 degrees). There was no effect of torque magnitude on the creep displacement. All materials maintained the corrected position with minimal change in position over time

Interpreter composition issues in the formal verification of a processor-memory module

This report describes interpreter composition techniques suitable for the formal specification and verification of a processor-memory module using the HOL theorem proving system. The processor-memory module is a multichip subsystem within a fault-tolerant embedded system under development within the Boeing Defense and Space Group. Modeling and verification methods were developed that permit provably secure composition at the transaction-level of specification, significantly reducing the complexity of the hierarchical verification of the system

Origin of the Term \u27Dude\u27

The book (261 pages, soft-covered) is intended as a scholarly study and therefore contains more detail than would appear in a book intended for a broad readership

Graph Partitioning Induced Phase Transitions

We study the percolation properties of graph partitioning on random regular graphs with N vertices of degree $k$. Optimal graph partitioning is directly related to optimal attack and immunization of complex networks. We find that for any partitioning process (even if non-optimal) that partitions the graph into equal sized connected components (clusters), the system undergoes a percolation phase transition at $f=f_c=1-2/k$ where $f$ is the fraction of edges removed to partition the graph. For optimal partitioning, at the percolation threshold, we find $S \sim N^{0.4}$ where $S$ is the size of the clusters and $\ell\sim N^{0.25}$ where $\ell$ is their diameter. Additionally, we find that $S$ undergoes multiple non-percolation transitions for $f<f_c$

Towards the formal verification of the requirements and design of a processor interface unit

The formal verification of the design and partial requirements for a Processor Interface Unit (PIU) using the Higher Order Logic (HOL) theorem-proving system is described. The processor interface unit is a single-chip subsystem within a fault-tolerant embedded system under development within the Boeing Defense and Space Group. It provides the opportunity to investigate the specification and verification of a real-world subsystem within a commercially-developed fault-tolerant computer. An overview of the PIU verification effort is given. The actual HOL listing from the verification effort are documented in a companion NASA contractor report entitled 'Towards the Formal Verification of the Requirements and Design of a Processor Interface Unit - HOL Listings' including the general-purpose HOL theories and definitions that support the PIU verification as well as tactics used in the proofs