A proof of ‘correctness’ for a mathematical algorithm cannot be relevant to executions of a program based on that algorithm because both the algorithm and the proof are based on assumptions that do not hold for computations carried out by real-world computers. Thus, proving the ‘correctness’ of an algorithm cannot establish the trustworthiness of programs based on that algorithm. Despite the (deceptive) sameness of the notations used to represent them, the transformation of an algorithm into an executable (...) class='Hi'>program is a wrenching metamorphosis that changes a mathematical abstraction into a prescription for concrete actions to be taken by real computers. Therefore, it is verification of program executions (processes) that is needed, not of program texts that are merely the scripts for those processes. In this view, verification is the empirical investigation of: (a) the behavior that programs invoke in a computer system and (b) the larger context in which that behavior occurs. Here, deduction can play no more, and no less, a role than it does in the empirical sciences. (shrink)

In the present meta-analysis, we examined the effect of cognitive training on the Executive Function (EF) of preschool children (age range: 3-6 years). We selected a final set of 32 studies from 27 papers with a total sample of 123 effect sizes. We found an overall effect of cognitive training for improving EF (g =.352; k = 123; p <.001), without significant difference between near and far transfer effects on executive domains. No significant additional outcome effects were found for behavioral- (...) and learning-related outcomes. Cognitive training programs for preschoolers are significantly more effective for developmentally at-risk children (ADHD or low socio-economic status) than for children with typical development and without risks. Other significant moderators were computerized versus non-computerized training, individual versus group sessions, and length of training. The number of sessions was not a significant moderator. This is the first demonstration of cognitive training far transfer effects among different executive processes. We discuss this result in relationship with the lower level of modularization of EFs in younger children. (shrink)

Individuals with autistic spectrum disorder (ASD) display diverse deficits in social, cognitive and behavioral functioning. To date, there has been mixed findings on the profile of executive function deficits for high-functioning adults (IQ >70) with ASD. A conceptual distinction is commonly made between “cold” and “hot” executive functions. Cold executive functions refer to mechanistic higher-order cognitive operations (e.g., working memory), whereas hot executive functions entail cognitive abilities supported by emotional awareness and social perception (e.g., social cognition). This study aimed to (...) determine the independence of deficits in hot and cold executive functions for high-functioning adults with ASD. Forty-two adults with ASD (64% male, aged 18-66 years) and 40 age and gender matched controls were administered The Awareness of Social Inference Test (TASIT; emotion recognition and social inference), Letter Number Sequencing (working memory) and Hayling Sentence Completion Test (response initiation and suppression). Between-group analyses identified that the ASD group performed significantly worse than matched controls on all measures of cold and hot executive functions (d =.54-1.5). Hierarchical multiple regression analyses revealed that the ASD sample performed more poorly on emotion recognition and social inference tasks than matched controls after controlling for cold executive functions and employment status. The findings also indicated that the ability to recognise emotions and make social inferences was supported by working memory and response initiation and suppression processes. Overall, this study supports the distinction between hot and cold executive function impairments for adults with ASD. Moreover, it advances understanding of higher-order impairments underlying social interaction difficulties for this population which, in turn, may assist with diagnosis and inform intervention programs. (shrink)

This article describes the pilot projectShadows&Light Within: Untold Stories—a two-phase, multi-partner community-based project that explores the hypothesis that Autobiographical Therapeutic Performance can help traumatized individuals to improve executive functioning. A group of 10 individuals ranging in age from 32 to 69, with lived experiences at the intersection of trauma, mental health, and the court system, were paired with theater mentor-coaches for a 10-month creative group process, in which they shaped their stories into autobiographical performance pieces, through movement, improvisation, story-telling, and (...) self-discovery. In the second phase of the project, their stories were merged into a theater production, weaving movement, song, and voice, and performed by an ensemble of experienced actors from the community. Pre- and post-interviews and self-report standardized measures of executive functioning were used to assist in establishing criteria and direction for future research. The results suggest that the individuals involved in this pilot may have improved executive functioning and acquired more ability to engage in human service programs designed to increase job readiness and enhance adaptive living skills. (shrink)

Decision-making is a complex action requiring efficient information processing. Specifically, in movement in which performance efficiency depends on reaction time, e.g., open-loop controlled movements, these processes may play a crucial role. Information processing includes three distinct stages, stimulus identification, response selection, and response programming. Mainly, response selection may play a substantial contribution to the reaction time and appropriate decision making. The duration of this stage depends on the number of possible choices an individual has to “screen” to make a (...) proper decision. Given that reaction time is crucial in many sports, the possibilities of reducing it through practice are very tempting. The information processing and its relationship to the manner an individual is practicing are discussed. Especially the variability of practice issues will be explored. In variable practice conditions, an individual has to react to one or more stimuli and has to produce one of the many variations of the same movement or different movements they learned. One has to identify a stimulus appropriately and has to select a response optimally, i.e., choosing from as few choices as possible to reduce the reaction time. On the other hand, in constant practice conditions, an individual can be exposed to one or many stimuli. Still, there is only one variation of the movement that can be executed in the presence of a learned stimulus. Based on the information processing theory and the results of the research focusing on variability of practice, I discuss how the practice conditions may affect reaction time and, as a result, the decision-making process. I conceptually frame the possible implications of practice conditions on decision making related to information processing. In this review, a possible mechanism and relationship between practice conditions and decision-making are presented. Future research directions are presented. (shrink)

Intelligent problem-solving depends on consciously applied methods of thinking as well as inborn or trained skills. The latter are like resident programs which control processes of the kind called (in Unix) daemons. Such a computational process is a fitting reaction to situations (defined in the program in question) which is executed without any command of a computer user (or without any intention of the conscious subject). The study of intelligence should involve methods of recognizing those beliefs whose existence (...) is due to daemons. Once having been aware of so produced belief, one can assess it critically and, if possible and necessary, make it more rational. Eg, beliefs concerning properties of time are produced by a daemon-like intuition, likewise the Euclidean properties of space. The merit of getting aware of such daemon's activities, and so transforming implicit beliefs into explicit ones, lies mainly in the axiomatic characterization of the properties involved. That makes possible to improve a daemon-like conceptual equipment (producing beliefs) by suitable modifications of the axioms, or postulates. Such postulate sets can also define artificial daemons to either emulate or improve natural intelligence. (shrink)

We summarize several experiments indicating that the saccadic system is capable of simultaneously programming two movements toward different goals. This concurrent processing of saccades can lead to the execution of two saccades separated by an extremely short intersaccadic interval. This supports the idea of target competition proposed in Findlay & Walker's article, but suggests a greater degree of parallel processing. We provide evidence that concurrent processing of two saccades is not limited to higher-level planning subsystems; rather, it also involves both (...) regions close enough to the motor output that it can systematically affect saccade trajectory. (shrink)

In this paper we describe and explore a management tool called the Caux Round Table Self-Assessment and Improvement Process (SAIP). Based upon the Caux Round Table Principles for Business — a stakeholder-based, transcultural statement of business values — the SAIP assists executives with the task of shaping their firm’s conscience through an organizational self-appraisal process. This process is modeled after the self-assessment methodology pioneered by the Malcolm Baldrige National Quality Award Program. After briefly describing the SAIP, we address three (...) topics. First, we examine similarities and differences between the Baldrige approach to corporate self-assessment and the self-assessment process utilized within the SAIP. Second, we report initial findings from two beta tests of the tool. These illustrate both the SAIP’s ability to help organizations strengthen their commitment to ethically responsible conduct, and some of the tool’s limitations. Third, we briefly analyze various dimensions of the business scandals of 2001–2002 (Enron, WorldCom, Tyco, etc.) in light of the ethical requirements articulated with the SAIP. This analysis suggests that the SAIP can help link the current concerns of stakeholders — for example, investors and the general public — to organizational practice, by providing companies with a practical way to incorporate critical lessons from these unfortunate events. (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)

The purpose of this paper is to set forth a sense in which programs can and do explain behavior, and to distinguish from this a number of senses in which they do not. Once we are tolerably clear concerning the sort of explanatory strategy being employed, two rather interesting facts emerge; (1) though it is true that programs are "internally represented," this fact has no explanatory interest beyond the mere fact that the program is executed; (2) programs which are (...) couched in information processing terms may have an explanatory interest for a given range of behavior which is independent of physiological explanations of the same range of behavior. (shrink)

ObjectivesThe aim of the pilot study was to check the influence of the training process on the Special Aviation Gymnastics Instruments on the improvement of the psychomotor skills, expressed as an increase in the percentage of ability to perform all tasks and the number of reels on a loop.Materials and methodsCadets - second year pilots, male, mean age 20.8 years old, studying at the faculty of a pilot. Cadets were carrying out a 40-h special pilot training program on SAGI. (...) They were subjected to two exercise tests, before and after the period of special training. Exercise tests were performed with the use of a diagnostic and training device used to assess psychomotor skills. During two tests, heart rate and blood pressure were measured. The obtained results were analysed statistically.ResultsThere was a statistically significant increase in the percentage of ability to perform all tasks and a statistically insignificant increase in the number of reels forward on looping, in test II in relation to test I. A significant increase was found in the correct execution of arithmetic operations in test II in relation to test I. In the remaining tests, an increase in results in test II was noted, but it was not statistically significant. There was a significant correlation between the percentage ability to perform all tasks and the number of completed reels in test I and insignificant in test II. In test II, a statistically insignificant higher level of heart rate and blood pressure before and after the effort was noted, compared to test I.ConclusionIt was found that the training process on SAGI increased the psychomotority level by increasing the percentage of ability to perform all tasks and the number of reels, in test II in relation to test I. (shrink)

The first aim of simulation in virtual environment is to help biologists to have a better understanding of the simulated system. The cost of such simulation is significantly reduced compared to that of in vivo simulation. However, the inherent complexity of biological system makes it hard to simulate these systems on non-parallel architectures: models might be made of sub-models and take several scales into account; the number of simulated entities may be quite large. Today, graphics cards are used for general (...) purpose computing which has been made easier thanks to frameworks like CUDA or OpenCL. Parallelization of models may however not be easy: parallel computer programing skills are often required; several hardware architectures may be used to execute models. In this paper, we present the software architecture we built in order to implement various models able to simulate multi-cellular system. This architecture is modular and it implements data structures adapted for graphics processing units architectures. It allows efficient simulation of biological mechanisms. (shrink)

The debate on whether and how to teach business ethics in graduate business programs continues. The authors of this article suggest specific content and processes for a course aimed at giving MBA candidates the awareness, tools, and mental processes necessary to recognize and address ethical issues in decision making. The inclusion of labor law, discrimination issues, consumer protection legislation, securities laws, and an overview of the U.S. Constitution and the Bill of Rights coupled with the development of utilitarian, (...) deontological, and egalitarian analysis of ethical issues provides the tools and processes necessary for ethical decision making. These tools and processes are applied in several class experiences using cases, moral audits, and the development of a code of ethics to help students acquire the knowledge, skills, and values needed in ethical decision making. (shrink)

We de ne an executable process interpretation for dynamic rst order logic and show that it is a faithful approximation of a dynamic interpre tation procedure for rst order formulas familiar from natural language semantics extended with constructs for bounded choice and bounded it eration This new interpretation of extended dynamic FOL is inspired by an executable interpretation for standard FOL proposed by Apt and Bezem The relation to the Apt Bezem style execution process and the advantages of taking dynamic (...) FOL rather than standard FOL as one s point of reference are discussed at some length Our results relate computational interpretation of FOL to a research tra dition from natural language semantics We discuss some example pro grams in Dynamo a simple language for dynamic logic programming based on the executable process interpretation for dynamic FOL.. (shrink)

Our target article discussed how emerging knowledge of the physiological processes involved in the control of saccadic eye movements provided the basis for a functional framework in which to understand the programming of such movements. The commentators raised many interesting issues in their varied responses that ranged from detailed discussion of the physiological substrate through issues of saccade control in reading. New evidence at the physiological level demonstrates that some elaborations are needed to the framework we proposed. Most clearly, (...) the spatial selection process operates in a manner different from our suggestion of an increase in activity in the salience map. Some commentators make the interesting and welcome proposal that the functional processes we outline may in fact be implemented with an even more unified physiological substrate (continuity between collicular fixation and build-up cells) than we envisaged. Extensions to the framework are discussed involving the planning of sequential saccades, saccades made in crossmodal situations, the influences of learning and memory, and binocular saccades. We consider carefully the commentaries proposing explicit attentional and/or executive processes in the programming of saccades. We integrate the comments of researchers investigating saccade control in neurological and neuropsychiatric patients and finally discuss whether the framework can account for saccades made in the course of reading. (shrink)

This paper proposes new semantics for propositional dynamic logic (PDL), replacing the standard relational semantics. Under these new semantics, program execution is represented as fundamentally deterministic (i.e., functional), while nondeterminism emerges as an epistemic relationship between the agent and the system: intuitively, the nondeterministic outcomes of a given process are precisely those that cannot be ruled out in advance. We formalize these notions using topology and the framework of dynamic topological logic (DTL) (Kremer and Mints in Ann Pure Appl (...) Logic 131:133–158, 2005). We show that DTL can be used to interpret the language of PDL in a manner that captures the intuition above, and moreover that continuous functions in this setting correspond exactly to deterministic processes. We also prove that certain axiomatizations of PDL remain sound and complete with respect to the corresponding classes of dynamic topological models. Finally, we extend the framework to incorporate knowledge using the machinery of subset space logic (Dabrowski et al. in Ann Pure Appl Logic 78:73–110, 1996), and show that the topological interpretation of public announcements as given in Bjorndahl (in: van Ditmarsch and Sandu (eds) Jaakko Hintikka on knowledge and game theoretical semantics, outstanding contributions to Logic, vol 12, Springer, 2018) coincides exactly with a natural interpretation of test programs. (shrink)

Electronic machinic phenomena yield fascinating links with biological processes. Either in the macro-micro-structure of binary encoded information ‐ bytes on media ‐ to the processual flow programs execute on hardware while operating it. Observing micro-electronic worlds akin to living entities: electronic voltages running throughout electronic architectures pipelining data to memory registers; operating systems executing programs on electronic substrates; data flows taking place in machines and in communications protocols within networks. Static art-sci constructs explore and visualize these observations as 2D (...) drawings (Neon Paleolitikos Drawings, 2017‐present) or 3D sculptures (Binary and Biological Sculpture Series, 2018‐present), creatively exposing their inherent rhythmic organization of information, while dynamic installations (Phoenix.Wolfanddotcom.info, Wolfanddotcom, Half-Plant, 2017, Ant Ennae Labyrinths, 2019‐present) propose immersive interference mechanisms that attempt user entanglement in non-human environments. Seven aesthetic case examples are introduced and explored, observing and seeking resonances between micro-granular electronic, biological and hybrid data as source synthesis. This research proposes a look at bio-electronic aggregates on Neon Paleolitikos strata. After the Anthropocene, Neon Paleolitikos is an imaginary epoch dating since the decline of mankind until the zenith of bio-electronic life forms: operational symbioses combined among ruins of silica, transistors, algorithms, cells, plants, animals and electricity. (shrink)

The program of research now known as the heuristics and biases approach began with a study of the statistical intuitions of experts, who were found to be excessively confident in the replicability of results from small samples. The persistence of such systematic errors in the intuitions of experts implied that their intuitive judgments may be governed by fundamentally different processes than the slower, more deliberate computations they had been trained to execute. The ancient idea that cognitive processes (...) can be partitioned into two main families--traditionally called intuition and reason--is now widely embraced under the general label of dual-process theories. Dual-process models come in many flavors, but all distinguish cognitive operations that are quick and associative from others that are slow and governed by rules. To represent intuitive and deliberate reasoning, we borrow the terms "system 1" and "system 2" from Stanovich and West. In the following section, we present an attribute-substitution model of heuristic judgment, which assumes that difficult questions are often answered by substituting an answer to an easier one. Following sections introduce a research design for studying attribute substitution, as well as discuss the controversy over the representativeness heuristic in the context of a dual-system view that we endorse. The final section situates representativeness within a broad family of prototype heuristics, in which properties of a prototypical exemplar dominate global judgments concerning an entire set. (shrink)

A broad sketch for a model of speech production is outlined which describes developmental aspects of its cognitive-linguistic and sensorimotor components. A description of the emergence of phonological knowledge is a central point in our model sketch. It will be shown that the phonological form level emerges during speech acquisition and becomes an important representation at the interface between cognitive-linguistic and sensorimotor processes. Motor planning as well as motor programming are defined as separate processes in our model sketch (...) and it will be shown that both processes revert to the phonological information. Two computational simulation experiments based on quantitative implementations are undertaken to show proof of principle of key ideas of the model sketch: the emergence of phonological information over developmental stages, the adaptation process for generating new motor programs, and the importance of various forms of phonological representation in that process. Based on the ideas developed within our sketch of a production model and its quantitative spell-out within the simulation models, motor planning can be defined here as the process of identifying a succession of executable chunks from a currently activated phoneme sequence and of coding them as raw gesture scores. Motor programming can be defined as the process of building up the complete set of motor commands by specifying all gestures in detail. This full specification of gesture scores is achieved in our model by adapting motor information from phonologically similar syllables or by assembling motor programs from sub-syllabic units. (shrink)

One most common problem in reinforcement learning systems (e.g. Q-learning) is to reduce the number of trials to converge to an optimal policy. As one of the solution to the problem, k-certainty exploration method was proposed. Miyazaki reported that this method could determine an optimal policy faster than Q-learning in Markov decision processes (MDPs). This method is very efficient learning method. But, we propose an improvement plan that makes this method more efficient. In k-certainty exploration method, in case there (...) is no k-uncertainty rule (rules which aren’t selected more than k times) in current state, an agent sometimes walks randomly until it finds a state where it can select a k-uncertainty rule. We think that this behavior is not efficient. To reduce this useless behavior, we propose combining k-certainty exploration method with Dynamic programming (DP). Miyazaki’s system uses DP after all rules are executed at least k times. But, our method uses k-certainty exploration method along with DP during learning. Our method, takes two pattern actions. In case an agent can select k-uncertainty rules, one of these rules is selected at random as k-certainty exploration method. In another case there is no k-uncertainty rule, behavior of agent is different from the behavior of k-certainty exploration method. In that case, our method uses DP to compute an optimal policy for moving from a current state to a state in which some k-uncertainty rules remain. The model for DP is constructed by using only known states. The outline will be described below. First, an agent makes a map constructed by using only known states. In the map, goals are states in which there are k-uncertainty rules and arbitrary state values are set in these states. Point to which attention should be paid is that the map is not given from outside. It is made from only experience. Next, each state values of states in which there are only k-certainty rules in the map are computed by DP (we used Policy Iteration). Finally, an agent continues to select greedy action until it arrives at a state in which it can select a k-uncertainty rule. By this improvement, we expect it can determine an optimal policy faster than k-certainty exploration method. And we have verified that our exploration method can determine an optimal policy faster than k-certainty exploration method by computer simulation. (shrink)

This study presents a process model of very long‐term episodic memory. The process presented is a reconstructive process. The process involves application of three kinds of reconstructive strategies—component‐to‐context instantiation strategies, component‐instantiation strategies, and context‐to‐context instantiation strategies. The first is used to direct search to appropriate conceptual categories in memory. The other two are used to direct search within the chosen conceptual category. A fourth type of strategy, called executive search strategies, guide search for concepts related to the one targeted for (...) retrieval.A conceptual memory organization implied by human reconstructive memory is presented along with examples which motivate it. A basic retrieval algorithm is presented for traversing that stucture. Retrieval strategies arise from failures in that algorithm. The memory organization and retrieval processes are implemented in a computer program called CYRUS which stores events in the lives of former Secretaries of State Cyrus Vance and Edmund Muskie and answers questions posed in English concerning that information. Examples which motivate the process model are drawn from protocols of human memory search. Examples of CYRUS's behavior demonstrate the implemented process model. Conclusions are drawn concerning retrieval failures and the relationship of episodic and semantic memory. (shrink)

Using the methodology called epiconography, this study examines the use and meaning of colors in Roman mosaics executed during the twelfth-century Church Reform. The analysis discovers the rhetorical arrangement of visual speech in the mosaics of San Clemente and Santa Maria in Trastevere. Taken from techniques of manuscript preparation, colors served in the mosaics to articulate and add emphasis to the visual narrative. Considering images and inscriptions together, the observer could “read” the mosaics and discern their meanings. This dual process (...) enabled the mosaics’ patrons and promoters belonging to the Reformed Church hierarchy to supervise the artistic program with particular attention to visual messages. (shrink)

In computer science, an algorithm is an unambiguous specification of how to solve a class of problems. Algorithms can perform calculation, data processing and automated reasoning tasks. As an effective method, an algorithm can be expressed within a finite amount of space and time and in a well-defined formal language for calculating a function. Starting from an initial state and initial input (perhaps empty), the instructions describe a computation that, when executed, proceeds through a finite number of well-defined successive states, (...) eventually producing "output" and terminating at a final ending state. The transition from one state to the next is not necessarily deterministic; some algorithms, known as randomized algorithms, incorporate random input. This book introduces a set of concepts in solving problems computationally such as Growth of Functions; Backtracking; Divide and Conquer; Greedy Algorithms; Dynamic Programming; Elementary Graph Algorithms; Minimal Spanning Tree; Single-Source Shortest Paths; All Pairs Shortest Paths; Flow Networks; Polynomial Multiplication, to ways of solving NP-Complete Problems, supported with comprehensive, and detailed problems and solutions, making it an ideal resource to those studying computer science, computer engineering and information technology. (shrink)

The Belgian political system is of ten qualified as a particracy, this is a variation of the classical parliamentary democracy, in which political parties dominate the political decision-making process more than the other subsystems, such as parliament, the government, the public administration, the judiciary power, the broadcasting institutions, the written press etc. This preponderancy is achieved by the partypolitisation of the positions in and the functio ning of these subsystems.Partyleaders exert nowadays a major influence on the constellation of a new (...) government and the designation of its ministers. Through the governmental program and special extraparliamentary pacts they map out more and more government's future policies. The ministerial cabinets execute the control over the public administration on behalf of the parties of the majority and aften take over some of its peculiar functions. The recruitment of public servants and their promotion depend highly upon the institutionalized patronage of the governmental parties.The power to select the candidates for the general elections has shifted away from the rank-and-file member to the local and national partyleaders.Partydiscipline is one of the major causes of the shift of the government making function, the legislative and controlling functions of parliament to the party headquaters.The recruitment and the promotions of magistrates was already before World War II largely politicized.Although the structural integration between the newspapers and parties has decreased since 1945, the political parties have strengthened their control over the designation of the diree:tors and administrators of the Belgian broadcasting institutions. (shrink)

This study analyzes the marketing ethics decision-making process of Thai managers. In particular, it examines the relative influences of ethical perceptions, religiosity, personal moral philosophies, and corporate ethical values on ethical intentions of managers in Thailand. Managers enrolled in executive MBA or special MBA programs from public and private universities throughout Thailand were selected as target respondents. The survey results generally indicate that both dimensions of moral philosophies, idealism and relativism, are significant predictors of a Thai manager''s ethical intention, as (...) hypothesized. The results also reveal that perceived ethical problem is a positive factor of a Thai manager''s ethical intention. The results generally support our hypothesis regarding the influence of corporate ethical values, that Thai managers in organizations with higher levels of ethical values tend to have a more ethical intention than the managers in organizations with lower levels of ethical values. The survey results regarding the influences of religiosity, however, are mixed. (shrink)

The concept of information has acquired a strikingly prominent role in contemporary biology. This trend is especially marked within genetics, but it has also become important in other areas, such as evolutionary theory and developmental biology, particularly where these fields border on genetics. The most distinctive biological role for informational concepts, and the one that has generated the most discussion, is in the description of the relations between genes and the various structures and processes that genes play a role (...) in causing. For many biologists, the causal role of genes should be understood in terms of their carrying information about their various products. That information might require the cooperation of various environmental factors before it can be "expressed," but the same can be said of other kinds of message. An initial response might be to think that this mode of description is entirely anchored in a set of well-established facts about the role of DNA and RNA within protein synthesis, summarized in the familiar chart representing the "genetic code," mapping DNA base triplets to amino acids. However, informational enthusiasm in biology predates even a rudimentary understanding of these mechanisms (Schrodinger 1944). And more importantly, current applications of informational concepts extend far beyond anything that can receive an obvious justification in terms of the familiar facts about the specification of protein molecules by DNA. This includes: 1 (i) The description of whole-organism phenotypic traits (including complex behavioral traits) as specified or coded for by information contained in the genes, (ii) The treatment of many causal processes within cells, and perhaps of the wholeorganism developmental sequence, in terms of the execution of a program stored in the genes, (iii) The idea that genes themselves, for the purpose of evolutionary theorizing, should be seen as, in some sense, "made" of information.. (shrink)

The journal of Cognitive Computation is defined in part by the notion that biologically inspired computational accounts are at the heart of cognitive processes in both natural and artificial systems. Many studies of various important aspects of cognition (memory, observational learning, decision making, reward prediction learning, attention control, etc.) have been made by modelling the various experimental results using ever-more sophisticated computer programs. In this manner progressive inroads have been made into gaining a better understanding of the many components (...) of cognition. Concomitantly in both science and science fiction the hope is periodically re-ignited that a manmade system can be engineered to be fully cognitive and conscious purely in virtue of its execution of an appropriate computer program. However, whilst the usefulness of the computational metaphor in many areas of psychology and neuroscience is clear, it has not gone unchallenged and in this article I will review a group of philosophical arguments that suggest either such unequivocal optimism in computationalism is misplaced—computation is neither necessary nor sufficient for cognition—or panpsychism (the belief that the physical universe is fundamentally composed of elements each of which is conscious) is true. I conclude by highlighting an alternative metaphor for cognitive processes based on communication and interaction. (shrink)

Cases have been employed across multiple disciplines, including ethics education, as effective pedagogical tools. However, the benefit of case-based learning in the ethics domain varies across cases, suggesting that not all cases are equal in terms of pedagogical value. Indeed, case content appears to influence the extent to which cases promote learning and transfer. Consistent with this argument, the current study explored the influences of contextual and personal factors embedded in case content on ethical decision-making. Cases were manipulated to include (...) a clear description of the social context and the goals of the characters involved. Results indicated that social context, specifically the description of an autonomy-supportive environment, facilitated execution of sensemaking processes and resulted in greater decision ethicality. Implications for designing optimal cases and case-based training programs are discussed. (shrink)

Abramsky, S., Domain theory in logical form, Annals of Pure and Applied Logic 51 1–77. The mathematical framework of Stone duality is used to synthesise a number of hitherto separate developments in theoretical computer science.• Domain theory, the mathematical theory of computation introduced by Scott as a foundation for detonational semantics• The theory of concurrency and systems behaviour developed by Milner, Hennesy based on operational semantics.• Logics of programsStone duality provides a junction between semantics and logics . Moreover, the underlying (...) logic is geometric, which can be computationally interpreted as the logic of observable properties—i.e., properties which can be determined to hold of a process on the basis of a finite amount of information about its execution.These ideas lead to the following programme. A metalanguage is introduced, comprising• types = universes of discourse for various computational situations;• terms = PROGRAMS = syntactic intensions for models or points. A standard denotational interpretation of the metalanguage is given, assigning domains to types and domain elements to terms. The metalanguage is also given a logical interpretation, in which types are interpreted as propositional theories and terms are interpreted via a program logic, which axiomatises the properties they satisfy. The two interpretations are related by showing that they are Stone duals of each other. Hence, semantics and logic are guaranteed to be in harmony with each other, and in fact each determines the other up to isomorphism. This opens the way to a whole range of applications. Given a denotational description of a computational situation in our metalanguage, we can turn the handle to obtain a logic for that situation. (shrink)

A significant amount of discussion in the bioethics community has been devoted to the question of whether individuals performing ethics consultations in healthcare institutions have any special expertise. In addition, articles in the lay press have questioned the “added value” that bioethicists bring to ethical dilemmas. Those at the forefront of the bioethics community have argued repeatedly that those doing ethics consults cannot simply be well-intentioned individuals, that some training in bioethics, group process, and facilitation is necessary to competently execute (...) a consult. As one bioethicist commented:if you approach any endeavor as an amateur activity, you will get, in the end, an amateurish version of the activity. Without a sufficient commitment of personnel, time, support, and financial resources, a healthcare organization will get the ‘ethics’ program … it set out to create: an inept, unskilled, inefficient, and highly risky ‘program’ in healthcare ethics and bioethics. (shrink)

In a world that is overflowing with journals and other outlets for scientific publication, the appearance of any new periodical requires some justification. There are already more journals than we can read and more conferences than we can attend. In the case of applied Ontology, we believe that the creation of anew journal not only is completely justifiable, it is downright exciting. For too long, workers in computer science have assumed that content comes for free. “Theory” in computer science has (...) always meant the theory of processes and of computation. We measure the complexity of computer programs in terms of how long it takes machines to execute them, not in terms of how long it takes people to understand and to represent the data on which those programs might operate. We typically describe computer code in terms of algorithms that operate on formal parameters, often without pausing to discuss where the data that might satisfy those parameters come from. This journal was founded on the premise that workers in computer science, informatics, and information science are overdue in paying as much attention to contents as they do to algorithms. (shrink)

We hypothesize that effective collaboration is facilitated when individuals and environmental components form a synergy where they work together and regulate one another to produce stable patterns of behavior, or regularity, as well as adaptively reorganize to form new behaviors, or irregularity. We tested this hypothesis in a study with 32 triads who collaboratively solved a challenging visual computer programming task for 20 min following an introductory warm‐up phase. Multidimensional recurrence quantification analysis was used to examine fine‐grained (i.e., every 10 (...) s) collective patterns of regularity across team members' speech rate, body movement, and team interaction with the shared user interface. We found that teams exhibited significant patterns of regularity as compared to shuffled baselines, but there were no systematic trends in regularity across time. We also found that periods of regularity were associated with a reduction in overall behavior. Notably, the production of irregular behavior predicted expert‐coded metrics of collaborative activity, such as teams' ability to construct shared knowledge and effectively negotiate and coordinate execution of solutions, net of overall behavioral production and behavioral self‐similarity. Our findings support the theory that groups can interact to form interpersonal synergies and indicate that information about system‐level dynamics is a viable way to understand and predict effective collaborative processes. (shrink)

The article explores the concepts of individualism and collectivism through the lens of fundamental transformations occurring within the individual as a subject of social action. The author introduces an original framework conceptualizing social action as a dichotomous unity of freedom and algorithm, or free and algorithmized action. Within this paradigm, the subject of social action is understood as a synthesis of actor (acting subject) and agent (subject-function). The unfolding and resolution of this contradiction manifest differently in Western and Russian contexts, (...) which are analyzed as two distinct versions of modernity, differentiated by the degree of market relation development. It is demonstrated that technological development within market conditions engenders a technological system that colonizes society holistically, including its cultural sphere. Free action is replaced by algorithmized action, leading to the displacement of the actor by the subject-function. Consequently, the individual is reduced to a functional element of the technological system, transformed into an atomized unit capable of equally executing programs of individualism or collectivism. In contrast, Russian (Soviet) modernity, characterized by a limited market, exhibits a reverse colonization, or symbiosis, between culture and system, which preserves a space for free action and the actor. Under these circumstances, the dialectic of individualism and collectivism becomes a nuanced process, potentially encompassing individualists oriented toward the common good. Collectivist orientations emphasize alignment with a “good collective” and the value of friendship. Contemporary trends are marked by contradictions, as the expansion of the technological system coexists with the persistence of individualism and collectivism rooted in Russian (Soviet) modernity. The article concludes by suggesting that the Russian experience of modernization offers valuable insights into achieving a balance between individualism and collectivism, algorithm and freedom, technological development and the preservation of human individuality under current conditions of global transformations. (shrink)

Despite the spectacular contributions to knowledge made by molecular biology during the last half century, cancer research has not delivered an agreed explanation of how malignant tumours originate. The models assiduously investigated in molecular terms largely reflect waves of fashion, and time has revealed their inadequacy: cancer is (1) not caused by the direct action of oncogenes, (2) not fully explained by the impairment of tumour suppressor genes, (3) not set in motion by mutations controlling the cell cycle, (4) not (...) governed by the dependence of malignant tumours on an adequate blood supply and (5) not triggered by a failure of programmed cell death. But there is now strong evidence that cancers may have their origin in mutations that block the execution of critical steps in the process of normal differentiation. Cancer, thus seen, is not initially a disease of cell multiplication, but a disease of differentiation. The evidence for this point of view should now be explored. BioEssays 27:833–838, 2005. © 2005 Wiley Periodicals, Inc. (shrink)

School choice is most often viewed through the lens of provision: most of the debate on the issue searches for desirable ways to offer vouchers, scholarships or other tools that provides choice as a way to achieve equality and/or freedom. This paper focuses on the consumer side of school choice, and utilises behavioural economics as well as ethnographic and network studies to consider ways to structure choice which respond to actual cognitive and social processes of choice. These empirical studies (...) give scholars and policy-makers who grapple with school choice a perspective that should affect the principled design of these programs as well as their execution. The paper considers the ways in which actual choice processes should affect current visions of school choice. It concludes with recommendations concerning the design of choice sets and the accessibility of information regarding choice, which together can assist school choice policies in better fulfilling their promise of equality and freedom. (shrink)

Il est parfois fécond, en philosophie des sciences, de chercher si les concepts techniques relèvent d’une nécessité de structure plutôt que des seuls hasards de l’invention. En essayant de fonder de la sorte les concepts fondamentaux des systèmes d’exploitation que sont les notions de processus et de fichier, on s’aperçoit qu’ils sont, depuis Unix, les pendants des notions ontologiques abstraites d’acte et d’objet, et qu’ils satisfont toutes les propriétés que la théorie des catégories peut en attendre. La programmation peut dès (...) lors être vue comme une thématisation, c’est-à-dire la transformation de l’acte qu’est le processus en l’objet qu’est le fichier ; mais on découvre également que l’exécution de programmes joue le rôle d’une « antithématisation », transformation d’objets en actes dont l’histoire récente des mathématiques fournit également des exemples. Par ses concepts comme par ses procédés, la pratique informatique est pour la philosophie un objet aussi pur que les mathématiques. (shrink)

Regular dynamic logic is extended by the program construct, meaning and executed in parallel. In a semantics due to Peleg, each command is interpreted as a set of pairs (s,T), withT being the set of states reachable froms by a single execution of, possibly involving several processes acting in parallel. The modalities ] are given the interpretations>A is true ats iff there existsT withsRT andA true throughoutT, and.

The psychological factors influencing a return to sport has gained increased research attention. In the current investigation, we explored professional basketball players’ perceptions of the psychological factors facilitating a return to performance equal to or exceeding previous performance standards. We also sought to describe athletes’ experiences – both positive and negative – of returning to sport following injury recovery. Ten Italian professional male basketball players (age range 22-36 years), were retrospectively interviewed in relation to three time-periods: (1) from the commencement (...) of rehabilitation to their first official competition, (2) the first official competition, and (3) the six-months following the initial competition. Hierarchical content analysis of the data revealed numerous themes across the three time periods. In regards to Period 1, participants indicated that social support, investment in rehabilitation and training programs, coping skills and motivation were fundamental in reaching pre-injury performance levels. During their first official game (i.e. Period 2), athletes reported that realistic performance expectations, focusing on the performance, positive emotions, motivation, arousal and social support facilitated their return to sport. Athletes however, also described a predominance of factors that hindered their return to pre- injury levels (i.e., low confidence in personal abilities, decrements in skill execution and dysfunctional physical sensations). Moreover, participants typically described a substandard level of performance during their first competition back following injury. In recounting experiences during the six months following their first official game, basketballers reported improvements in skill execution and highlighted the importance of coping skills, motivation and social support. The process of restoring self-confidence in one’s ability to successfully perform was perceived as crucial in enabling participants to move beyond a mere return to sport to a return to high performance ─ that is, to reach a level of proficiency equal to or exceeding previous performance standards. Findings support the relevance of cognitive, emotional and behavioral responses highlighted in the Integrated Model and suggest the importance of addressing psychological factors throughout the return-to-sport process. Finally, results from the present study hold a number of practical implications for athletes’ aiming to achieve a return to pre-injury levels. (shrink)

This article proposes an innovative methodology for enhancing the technical validation, legal alignment and interdisciplinarity of attempts to encode legislation. In the context of an experiment that examines how different legally trained participants convert select provisions of the Australian Copyright Act 1968 (Cth) into machine-executable code, we find that a combination of manual and automated methods for coding validation, which focus on formal adherence to programming languages and conventions, can significantly increase the similarity of encoded rules between coders. Participants nonetheless (...) encountered various interpretive difficulties, including syntactic ambiguity, and intra- and intertextuality, which necessitated legal evaluation, as distinct from and in addition to coding validation. Many of these difficulties can be resolved through what we call a process of ‘legal alignment’ that aims to enhance the congruence between encoded provisions and the true meaning of a statute as determined by the courts. However, some difficulties cannot be overcome in advance, such as factual indeterminacy. Given the inherently interdisciplinary nature of encoding legislation, we argue that it is desirable for ‘rules as code’ (‘RaC’) initiatives to have, at a minimum, legal subject matter, statutory interpretation and technical programming expertise. Overall, we contend that technical validation, legal alignment and interdisciplinary teamwork are integral to the success of attempts to encode legislation. While legal alignment processes will vary depending on jurisdictionally-specific principles and practices of statutory interpretation, the technical and interdisciplinary components of our methodology are transferable across regulatory contexts, bodies of law and Commonwealth and other jurisdictions. (shrink)

Software testing is a very important technique to design the faultless software and takes approximately 60% of resources for the software development. It is the process of executing a program or application to detect the software bugs. In software development life cycle, the testing phase takes around 60% of cost and time. Test case generation is a method to identify the test data and satisfy the software testing criteria. Test case generation is a vital concept used in software testing, (...) that can be derived from the user requirements specification. An automatic test case technique determines automatically where the test cases or test data generates utilizing search based optimization method. In this paper, Cuckoo Search and Bee Colony Algorithm (CSBCA) method is used for optimization of test cases and generation of path convergence within minimal execution time. The performance of the proposed CSBCA was compared with the performance of existing methods such as Particle Swarm Optimization (PSO), Cuckoo Search (CS), Bee Colony Algorithm (BCA), and Firefly Algorithm (FA). (shrink)

Several studies have illuminated how processing manual action verbs (MaVs) affects the programming or execution of concurrent hand movements. Here, to circumvent key confounds in extant designs, we conducted the first assessment of motor–language integration during handwriting—a task in which linguistic and motoric processes are co‐substantiated. Participants copied MaVs, non‐manual action verbs, and non‐action verbs as we collected measures of motor programming and motor execution. Programming latencies were similar across conditions, but execution was faster for MaVs than for the (...) other categories, regardless of whether word meanings were accessed implicitly or explicitly. In line with the Hand‐Action‐Network Dynamic Language Embodiment (HANDLE) model, such findings suggest that effector‐congruent verbs can prime manual movements even during highly automatized tasks in which motoric and verbal processes are naturally intertwined. Our paradigm opens new avenues for fine‐grained explorations of embodied language processes. (shrink)

I examine whether it is possible for content relevant to a computer''s behavior to be carried without an explicit internal representation. I consider three approaches. First, an example of a chess playing computer carrying emergent content is offered from Dennett. Next I examine Cummins response to this example. Cummins says Dennett''s computer executes a rule which is inexplicitly represented. Cummins describes a process wherein a computer interprets explicit rules in its program, implements them to form a chess-playing device, then (...) this device executes the rules in a way that exhibits them inexplicitly. Though this approach is intriguing, I argue that the chess-playing device cannot exist as imagined. The processes of interpretation and implementation produce explicit representations of the content claimed to be inexplicit. Finally, the Chinese Room argument is examined and shown not to save the notion of inexplicit information. This means the strategy of attributing inexplicit content to a computer which is executing a rule, fails. (shrink)

Joaquin Segura. Untitled (fig. 40) . 2007 continent. 1.2 (2011): 117-124. The interview that follows is a dialogue between artist and gallerist with the intent of unearthing the artist’s working strategies for a general public. Joaquin Segura is at once an anomaly in Mexico’s contemporary art scene at the same time as he is one of the most emblematic representatives of a larger shift toward a post-national identity among its youngest generation of artists. If Mexico looks increasingly like a foreclosed (...) home burning to the ground, Segura could likely be the one walking away, charred matchstick between thumb and forefinger and shit-eating grin on his face. His corrosive attacks on institutions, ideologies, and power reflect a deep general distrust of authority, increasingly evident within the work of younger Mexican artists. It is perhaps most directly the result of President Calderon’s deeply unpopular war against the cartels but no doubt equally the product of decades upon decades of rampant corruption and errant policy within Mexico. Brett W Schultz (BWS): A recurring—if not dominant—theme within your current work and investigation explores ideological extremism in reaction to some perceived political and economic disenfranchisement, especially that espoused and practiced by right-wing groups in United States. That's exactly why I thought of you when I was approached to contribute a piece to an issue on the subject of the moraine—taken metaphorically here to signify a certain set of beliefs that have resurfaced within mainstream American culture in the wake of a probably over-exaggerated political sea-change, marked by Obama's election. You're a Mexican artist who now lives and works in Guadalajara, far from the border cities where such concerns would seem more likely to be relevant to a contemporary artist; of course, you're even farther from the culture that birthed this nature of extremism. What interests you so intensely about this movement, if we can call it that? Joaquin Segura (JS): I think there are several seminal points that you touch on in this particular question. There's a very specific set of interests that make me address the socio-political issues I've been dissecting through my practice in the last few years. First of all, I don't really consider myself a 'mexican' artist. As I've made clear in the past, I don't really believe in the notion of 'identity' or the idea of 'nation', which I find totally laughable and heartwarmingly passé. I'm convinced that these are totally outdated models of understanding our differences and similarities, expanding our already immense and irreconcilable cultural abysses instead of bringing them together, thus resulting in their total dispersion among the complex and extremely arbitrary weaving of contemporary social nucleii. Pretty much a frankly bad joke, if I may say so. The fact that I live and work in Mexico is a completely random geographical and temporal factor, which of course affects what I think and what I do, but I've chosen not to be limited by this specific circumstance. In the past, while working abroad, I've taken advantage of this preconception of Mexico—to be more exact, pretty much all of Latin America—as one of the last barbaric bastions of western civilization. Totally amusing, if you ask me about it. I consider my practice to be, among other things, a gonzo strategy of deceit: there are quite a few roles you can adopt in this approach that may actually reveal themselves to be a privileged vantage point. In my experience, the gentle savage is one of the most effective ones to establish my standing position. Thus, I'm a mexican artist if I need it to prove my point. If it's not necessary in a specific circumstance, I'm not. Quite simple, I think. Said in other words, it's just an ace I can play to win a particular match. It has worked so far, at least for me. L: Hey, America… , 2009. R: The Inaugural Address , 2009. I am interested in the nature of power and the rise and fall of totalitarian ideological and political apparatuses nowadays. But I guess, going even further, I'm essentially fascinated by the fissures and contradictions that have made these structures spectacularly crumble to the ground. I do believe extreme ideologies have played a crucial role in the globalization of socio-political crisis. In the end, our world is nothing more than a fading monument to all things gone wrong—the inspiring triumph of failure, in every sense. I see this as an exciting parable. And of course, it is an undeniable fact that the US, through their influence in world economy, international policies and general attitude towards the rest of the planet is the largest structure waiting to collapse. I think we are all secretly awaiting that moment of splendor, even americans. It'll be disastrous and as nasty as it can get, but it will also be liberating and incredibly inspirational. Not just because it’s the US but because it'll prove that absolutely everything is susceptible to fall. And not only that, most importantly, it would confirm that radical change may actually be possible and not just one more of the unfulfilled promises modernity has left us to struggle with on our own. BWS: I want to talk first about two of your works in particular: Hey, America... and The Inaugural Address . I feel like your more recent work has a subtle —or even hidden—sinisterness, but these two works are perfect examples of how brutally confrontational your earlier work has been. When we showed Hey, America... at Mexico City's Zona Maco art fair in 2010, there were at least a couple visitors to our stand who were absolutely ready to punch me in my gringo face for having done so. Certainly the shock value of these works is crucial to their central ideas, but can you tell me more about your intentions and how these works relate to your general oeuvre? JS: So funny. Perhaps we do deserve to be punched in the face. I think that's what I'm sometimes looking for, but I hardly ever get it. I do think of such works as some sort of logical trap, a somewhat perverse ambush waiting for someone to walk into head-on. I think what I tried to do with those two specific works, as well as some other past projects, is just emphasize issues or themes that do disturb or make me uneasy and restless. I consider my essential intention a need to make clear that we do not have to look the other way, ignore or forget. We must address, understand and solve these manifestations of senseless violence and absurdity because if we don't confront them this way, they'll end up consuming us. In other words, I do consider these works as a personal need of coming to terms with the nonsense of the world we all are living in. I don't particularly consider myself to be someone with a clear set of beliefs. Perhaps my only certainty would be that everything is there to be denied, demolished and obliterated—even my supposed unquestionability of that particular 'dogma.' My practice is a reflection of that paradox, and I do think that's how these two pieces relate to a wider body of work. Every democratic system and so-called developed contemporary society is deeply flawed on the inside, and that is because each has swept things under the rug. Of course, there's tolerance, good will and eagerness to make a difference but there's also hatred, pain and fear lingering all around. We must learn to relate to both sides of the spectrum. In a way, I approach the themes behind these particular works in what I think to be a non-biased, somewhat 'neutral' way. I do think there's an encryption process going on in the way I work, some sort of formal refinement of this somewhat outrageous content. A digest of infamy, if we can refer to it that way. It is up to the individual experiencing the work to decide which way these pieces lean. They can easily be seen from both positions and I'm ok with that. If you look closely at these works, there's nothing that establishes an unrelenting position—neither support nor rejection. I don't want my personal political views to directly set an agenda for the spectator as that’s essentially propaganda, which is one of the things I absolutely despise. To sum it up, I strive for the spectator to complete the piece in that sense. The work then becomes a reflection of his or her own contradictions, a playground of the mind. I'm interested in achieving a deadpan and deadlock state in the observer. So, in a way, those visitors threatening to beat the shit out of you unconsciously became that particular issue the work is alluding to. Just blind and senseless reaction to god knows what people feel must be defended, the overwhelming virtue of ambiguity. Beautiful. Perhaps you can also think of my practice as a uber-sophisticated and snobbish version of Punk'd. And you wouldn't be far from what I'm trying to convey. Untitled (Disturbance Scenarios #2) . 2010. BWS: To me, an important transitional marker in the overall trajectory of your work is the series, Disturbance Scenarios , which evokes a similar generalized state of panic, paranoia, and impending doom through its incorporation of sensationalist newspaper headlines, yet also suggests this slyly mysterious meta-narrative via the context in which the newspaper itself is placed. How did you arrive at this series and why did you choose photorealistic painting as the medium for it? JS: I consider this series to be a by-product of the process I follow when making work. I spend an important part of my time just doing research, going through documentation and accumulating visual or historical references for the themes or episodes I'm interested in, in that particular moment. These are, of course, valuable assets that connect among themselves in a mysterious and almost undetectable manner, sometimes a few years between one and the other. I've employed similar production strategies in the past, in ongoing series like Random Moments of Urban Decay , in which I document what I consider to be physical traces of ethnic, religious or ideological violence in the form of text graffiti, invisibly scattered in different cities of the world, mostly in the US. Disturbance Scenarios was started in early 2010, following a particularly intense period of traveling here and there that lasted for most of the year. I've always felt compelled by text, as I find quite intriguing the idea of how words can create equally intense evocations of what I call a mental panorama of uneasiness than those produced by aesthetically-charged imagery; of course, if handled right. I have a close relationship to print media—due both to my academic background and to my attraction to its ubiquity and almost unlimited influence, which in the end, is nothing else but power—so I found myself with a growing archive of newspaper headlines snapshots from cities like Melbourne, Auckland, London, and LA. Going through them, I noticed that they had in common a very specific thematic slant: they were all about some sort of conflict: energy crisis, political unrest, local episodes of domestic violence, you name it. So as you very well put it, I felt they all connected through this feeling of anxiety and anguish and I decided to start thinking of them as a body of work. Basically, I felt an interest in creating what I think of as my personal fragmented prefigurements of the end of civilization. There were few elements on the shots that could give away its actual location, geographically speaking, and I liked that. I find this sensation of vagueness and uncertainty quite alluring. The more subtle, the more perverse. The formal resolution of the series—as photo-realistic painting—is linked to my intention of creating distance between me as the artist and the themes I work with. I rarely execute my own work, and that is more a personal choice as I'm more interested in the ideas I mingle with than in the actual outcome of that process, understood as an "art-object" with certain market value. I did some tests with light-jet prints of those snapshots and I found them devoid of that nightmarish, disturbing indistinctness that I felt was so important for them to be able to project the turmoil I experienced upon encountering them and in conceiving of them as a series. So I thought that photorealistic painting would be an interesting resource to play with, as I hardly had worked with that medium before because of my lenient animosity toward painters and their craft. So they were executed like that and I think it turned out to be just right. Homemade (Napalm #2) . 2010. BWS: Though Disturbance Scenarios remains ongoing, it's an interesting contrast to another series of yours, Homemade, which are these beautifully banal photographs of the ingredients used to make improvised explosives. Whereas Disturbance Scenarios still confronts the viewer aggressively with its visual emphasis on loaded texts, in Homemade , you've dropped the surface-level bravado entirely. They're pieces that require explanation to someone not already versed in the fine art of amateur explosive-making. You weren't known for subtlety in your past work; why this change in direction? JS: I'm personally convinced that these are just two angles of the same conceptual preoccupation. I mentioned before my obsession with the idea of encryption. I'm quite enticed by how these processes of translation can politically and semantically alter and deviate purportedly subversive materials such as the ones these works allude to. I do think subversion is futile. I was really troubled by that thought for some time, but I think now I understand that it's not really that important. What is really significant is to elaborate on these alternate views, to envision and refine possible escape routes. It doesn't really matter if they go nowhere, but that is because nothing really matters. A "mute" artwork is a notion that captivates me. When you look at the works you mention, you know there's something off, but it's not fully clear how and why that is. I rely on that insecurity—on that moment of hesitation. And that can also be achieved through an approach like the one I'm now interested in. Let's just call it a smoke screen, a surrogate ruse to get to the same point: to talk about impotence and defeat in contemporary life. The notion that readily accessible information is actually a weapon is a double-edged fallacy: sure, you can make use of whatever resources you can lay your hands on, but that doesn't set you free because freedom is impossible. Still, that doesn't mean you can't blow up stuff during the process, metaphorically or not. I didn't understand the nature of subtlety before. I used to think that you needed to be loud and manifest anger and unconformity in the most aggressive manner possible. Then I finally realized that you can actually permeate and rarify a battleground—because after all, this is low-intensity war—if you actually aim at silently building up the contradictions and making the symbolic value of ideas and acts clash within themselves. Or perhaps it is that I am just getting old. I guess I used to be an angry kid until recently. Now I think of myself as a disenchanted post-teenager, and of course that reflects in my work and my approach to art-making. Kind of a rite of passage and I laugh at it because, overall, it has been overwhelmingly fun. And that doesn't mean that I'm not ready to stick it in someone or something's face again if I feel like it. BWS: You're now taking the subtlety of the Homemade series even further with your newest series, Definitive Reader For a Botched Revolution , in which you photograph a series of politically-charged books side-on, negating their content entirely—essentially reducing them to purely aesthetic objects in which the subject matter is only revealed in the title of the work. Can you talk about the ideas behind this series? Furthermore, is your recent interest in this idea of the "botched revolution" an indication of a general attitudinal or philosophical shift you've since adopted? JS: This new series of works is the logical outcome of a brief period I went through. Probably the last couple years, in which due to a number of circumstances that don't really have to do with my art-making, I was forced to renegotiate my ideas, my beliefs and practically everything that surrounds me. It was quite distressful and turbulent, but in the end, I think it was also almost epiphanic. I came to terms with myself and now I'm calm and serene. That is, of course, my personal take on it but I mention it because I do think it's important to address this shift you mention. The idea of an artwork as a container for latent revelations enthralls me quite a bit. That's how I see these particular works: art as an incendiary agent. It's up to the artist and the spectator to do whatever they please with it. I think the detachment and almost surgical cleanliness from the Definitive Reader series is also my take at poking fun of the way some art is totally innocuous and uncompromising. These images may be pleasing to the eye, but there's something twisted and rotten within them, well hidden beneath. You'll either see it or not, but without a doubt, it will not cancel its presence. This series is intrinsically linked to Homemade . I'm pretty much horsing around with similar ideas and statements here. And well, yes, I do think any revolution is a botched one. There's nothing too heavy about their own downfall. Decay and breakdown are here and will not go away. Perhaps we must learn to embrace them in one way or another, for our own sake. L: Untitled (T.A.Z.). R: Untitled (United States Marine Guidebook of Essential Subjects) . 2011. BWS: Finally, let's discuss the near future. You've got an upcoming solo show at the Sala de Arte Público Siqueiros [SAPS] in Mexico City this summer. What can we expect from that? What else do you have planned? JS: I'll go and get seafood as soon as I'm done with this interview. It's pretty good here in Guadalajara. That's my top priority at this very moment. About my solo project at SAPS, it's due to open in late July. I'm quite looking forward to it. I'm still closely working with the curator on the general feel for the show but I can say that it'll be more of a revision of past works that have not been shown in Mexico City except for a couple pieces. It definitely won't be a showcase for new projects, although we may include one or two previously unseen works. What you can expect is a rereading of what I've been working on during the past few years. In a way, that's exciting to me because for some reason I don't really care about, I'm not that active in Mexico City even though that's where I lived and work for years. I've hardly shown there after my solo project at Yautepec in February of 2010. It'll be nice to see how it all comes together and I'm more thrilled about it because I totally love the space and I think they're doing an excellent job with their programming and its direction. And in a certain way it feels like going back home. About everything else, I need a period to reflect and fully understand what I've been thinking and working on. I've got a few group shows here and there: New York, San Francisco, and Melbourne are the ones happening soon. I will present my censored project Untitled ( Gringo Loco ) as part of the programming of the Museo de Arte de Zapopan in Guadalajara, two years after being escorted at gunpoint from the installation site by police sent by the extreme right-wing mayor of the city, which I found pretty amusing for an otherwise typical Saturday afternoon. I'm also involved in a couple "curatorial" projects. In my case, "curatorial" means that I help put together stuff I like and I'm interested in. One of them will open in late September of 2011 at Arena Mexico Arte Contemporaneo, and I will work with three of whom I consider to be some of the best artists in a lively and active scene such as the one here in Guadalajara. But most importantly, I've been doing heavy research so there are also a number of projects that I've yet to finalize. That'll be my main focus during the rest of the year, even though I really enjoy procrastination. There'll be time for that later. Or maybe not. We'll see. About Joaquin Segura The action, installation, intervention and photographic work of Joaquin Segura (b. Mexico City, 1980) has been shown in solo and group exhibitions in Mexico, the United States, Europe, and Asia. Some spaces that have featured his work include La Panaderia, Museo de Arte Carrillo Gil, Centro de la Imagen and Ex-Teresa Arte Actual in Mexico City; El Museo del Barrio and apexart, New York, NY; Museo Nacional Centro de Arte Reina Sofia in Madrid, Spain; National Center for Contemporary Art, Moscow, Russia; and Palace Adria in Prague, Czech Republic. In 2008 and 2009, Segura was an artist-in-residence at the International Studio and Curatorial Program, New York, NY and at the 18th Street Arts Center, Santa Monica, CA. He is represented YAUTEPEC in Mexico City and by Arena Mexico Arte Contemporáneo in Guadalajara. Further Reading Joaquin Segura’s website YAUTEPEC artist page for Joaquin Segura Capps, Kriston. “ID-ENTITY: Washington, DC.” ART PAPERS . 2009. (shrink)

The Resolution of the Seimas of the Republic of Lithuania on the Approval of the State Sports Development Strategy for 2011-2020 states that it is important to create and develop a horizontal structure of public administration of sport, which includes many state administration areas and municipal institutions, which would allow to develop cooperation with non-governmental sports organizations and private sector of sports activities. To create legal and economic conditions for the fast development of active and healthy lifestyle and universal sports (...) clubs as primary subjects of the national sport system; to promote their contribution to non-formal sports education and employment of children and young people, development of various sports, interaction between amateur and professional sports. In this respect, the tasks have been set to create a multi-tier system of strategic cooperation with non-governmental sport organizations with public administration structures, to expand cooperation between municipal institutions in the field of sport, authorized by the Government of the Republic of Lithuania so that these resolutions include the National Sport for All Development Program implementation, enhancing the vitality of communities through sport, ensuring healthy lifestyle conditions and developing sports infrastructure through territorial planning documents and investment programs; to create and develop a system of partnerships in the field of sport between public and private sectors; to develop cooperation between institutions of all fields of management by developing and implementing physical activity, healthy lifestyles and work ability, social cohesion through sport, leisure employment and social prevention and other interinstitutional programs, accordingly reorganizing and expanding functions of the institution authorized by the Government, strengthening its administrative capacity. The implementation of the strategy is particularly relevant, as is the case at the level of municipal administrations and councils, to which functions are delegated to implement the priority functions of sport policy. Problems in the implementation of sport policy are analyzed by scientists as well as representatives of sports policy legislators. The aim of the research is to analyze how the sports policy of the Republic of Lithuania is formulated and implemented in the activities of municipal administrations and councils. Research methods -analysis of scientific literature, analysis of laws, analysis of sports management system. Research results and conclusions. The real role of municipalities and the priority to develop community sport, to promote the vitality of communities has not been realized yet. The role of private business for private investment in sports infrastructure for the development of sports movement and cooperation with socially responsible business representatives, the independent role of clubs and non-governmental organizations as a priority have also not been understood and finally not implemented. In the functional division of activities in the sport policy process, all chains of interaction between organizations, acting within the competence, must strive to implement laws and strategic goals of sports policy. In order to achieve these objectives, the activities of the institutions depend on the political decisions adopted jointly by the central government, public programs and projects. It is important that the executive structures are delegated the same kind of functions, so that the implementation of the policy is carried out consistently in all areas of the republic.Improvement of the process of implementing sports policy and the search for the improvement, trying to achieve the efficiency of activities of municipal administrations and councils must be the main goal of all institutions involved in it. The whole system of institutions involved in the development and implementation of sport policy is too centralized. Institutional differences in the management of interdependence and in the resolution of structural problems between national organizations and municipal organizations are very pronounced. This has a negative impact on the status of municipal territorial sports divisions, when grants are distributed from the state budget, selecting sportsmen, performing medical technological examination of promising sportsmen, setting up sports bases, and so on. (shrink)

Untill recently the primary emphasis of the budget of the Belgian State was on formal controls of spending. The detailed classification of objects of expenditure was the main control mechanism. The growing needs for managerial control on the proliferation of public organisations turned intrest of the government executive to concerns with the efficient performance of government activities. Program budgeting was introduced as a technical solution for the public management. Legislative action resulting in an expenditure change has become more and (...) more exceptional and shows how extraordinaly skillful must be those who wish to penetrate this budgetary system from outside the executive.Parliament thus remained silent in this debate. However, when linked with the definition of social objectives, budgeting by outputs could be a vehicle for restoring the active role of the legislature in the budgetary process.The general idea is to gain control on budgetary decisions by focusing on the end products of public organisations and on governemental objectives instead of on inputs as personnel, equipment or maintenance. By effective goalsetting, the Belgian Parliament could restore its budgetary authority. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Feminist Studies 41, no. 3. © 2015 by Feminist Studies, Inc. 689 Susannah Bartlow White Fear in Universities: The Story of an Assata Shakur Mural No one is going to give you the education you need to overthrow them. No one will teach you your true history, teach you your true heroes if they know that knowledge will set you free. Theory without practice is just as incomplete as (...) practice without theory. The two have to go together. —Assata Shakur, quoted on a mural at Marquette University What does it mean to whitewash? To terminate? I have been tasting and retasting these words on my tongue after a mural of Assata Shakur at Marquette University was whitewashed, and I was fired—terminated —for having supported the mural, ending a fourteen-year career in feminist academia. As the founding director of the Gender and Sexuality Resource Center (GSRC), my job was to build an academic support office for women’s, gender, and LGBTQ+ education and empowerment. In the center’s third year, Amanda Smith (a Marquette senior) and Jeanette Martín (a community artist and program assistant at the center) envisioned, planned, and executed the Assata Shakur mural project as a way to invite greater community interest. In my role as director of the center, I supported the project, communicated it to senior leaders, and spread the word about the community-painting day in late March 2015. The mural was on display for six weeks at the GSRC before a storm of  Students fill in detail of the Assata Shakur mural at Marquette University’s Gender and Sexuality Resource Center. Photograph by Amanda T. Smith. News and Views 691 media coverage in mid-May prompted the university to cover the mural in white paint and fire me for my support of the project. My experience of this process was as rapid as it sounds: I received a few phone calls alerting me that the whitewashing of the mural was imminent and that there was a formal review of my leadership decisions, and I was fired twenty-four hours later. The idiomatic usage of “whitewash” tells us that something is shameful and that it has been, or ought to be, covered up. Whose cover-up was it—and whose shame? Over the six weeks it was on display at the center, the mural invited people into a quiet space off a hallway, and it had sparked discussion among staff, faculty, and students who used the space. The mural was one of very few images of a black woman anywhere on Marquette’s campus, and it contributed to a sense among many students of color that the GSRC was a space in which they were welcomed and safe and where they could be comfortable. Yet in the distortions of white supremacy, the mural looked like a threat, rather than an intellectual and community representation central to the university itself. Other recent cases of faculty repression, from Steven Salaita to Saida Grundy and Zandria Robinson, demonstrate how concerns about liability, finances, and public perception guide administrators ’ decisions about representation on campuses. Far from being liberal utopias, or even spaces that respect speech, universities remain testing grounds when students’ or educators’ actions present direct antiracist critique. What more clear or direct example of antiracist critique than the quotes we chose for the mural: Assata Shakur’s own words asserting the importance of street smarts and intellectual prowess, naming the power invested in knowledge systems and the importance of claiming that power for ourselves? Universities are, in our time, particularly responsive to pressure from the right. Private, nonprofit, advocacy organizations troll university websites looking for evidence of liberal bias; conservative media outlets publish student bloggers who feed the fantasy that the facts of United States history, presented without whitewashing, do not belong in classrooms. In particular, those who study the lives and knowledges of historically marginalized populations are in the crosshairs of right-wing attacks. In the case of the mural—and in each of the other cases cited above— it was either a right-wing news source or a powerful donor or decision 692 News and Views maker who raised concerns about leftist bias, civility, or... (shrink)

Introduction: Despite being considered as a contravention under some countries’ legislation, the therapeutic use of Cannabis sativa has been growing in Brazil, due to the promising results observed in many pathologies. Such a scenario has fostered the need to deepen discussions on the subject and possibly revise legislation governing the substance use and access. Objectives: Identify the types of stigma related to the therapeutic use of Cannabis and describe the strategies people use to overcome stigma. Methods: This integrative review was (...) carried out in the databases PubMed, Scopus, CINAHL, MEDLINE, PsycINFO, Web of Science, and Cochrane Library, with 565 articles being retrieved. Triads’ cross-check were done, first maintaining the “cannabis” and “therapeutic use” pair, added by “stigma,” “bioethics,” “ethics,” “social consequences,” and “legal consequences.” The final selection resulted in six articles. Ethical Consideration: However, the ethical issues that pervade and regulate decisions on this subject must be considered. Results: Different dimensions and types of stigma related to the therapeutic use of Cannabis have been identified. The bioethical principle of autonomy was an expression of citizenship and human rights, mitigating internal conflicts related to self-stigma and the effects of external stigma on the person’s life. Conclusion: It was possible to identify the types of stigma related to the therapeutic use of Cannabis is an internal dimension represented (self-stigma) and an external dimension, represented (social and structural stigmas) and to identify strategies adopted to face this stigma: skills training group for users, elaboration of laws and specific programs to clarify the therapeutic use of Cannabis with a greater social scope, and support for family members. Thus, contributing to the building of people’s autonomy in a broader context of decision-making autonomy and executive autonomy will provide the development of people’s capacity to perform complex tasks of self-management and, consequently, to continue promoting and preserving their decision-making process and their capacity to plan and perform tasks associated with managing their lives and their treatments. (shrink)

Nowadays, football goalkeepers play an important role in the team's organization, namely, considering the offensive and defensive processes. The purpose of our investigation focuses on the notational and T-pattern analysis of the offensive and defensive actions of elite young football GKs. The participating GKs presented 8 years of experience in the specific position, were internationally selected for the national team of Portugal, and competed in the national U-17 championship of Portugal. Thirty football matches were observed. The observational sample consisted (...) of defensive actions and offensive actions. Two observational instruments were used to codify the actions: the observation system of defensive technical-tactical actions of GKs and the observation system of offensive technical-tactical actions of GKs. Both instruments underwent a validation process, and inter- and intra-observer reliability was tested. The codification of the actions was performed with the LINCE program, and later the data were exported to Microsoft Excel and THEME 5.0. The notational data were analyzed in SPSS, and T-pattern detection analysis was performed in THEME 5.0. The predominant actions of young observed GKs were fundamentally goal defense and participation in the team's offensive process construction through actions performed with the foot and hand. The analysis of T-patterns allowed to identify T-pattern actions in the defensive actions of goal defense and exit of the goal, as well as related to the defensive set pieces. In the offensive process, the analysis of T-patterns reinforced the participation of the GK in the team's first phase of construction and in the execution of goal kicks and actions that start as a result of the actions of the opponent. The GK's defensive actions are mostly focused on the objective of goal defense and offensive actions with the hands and feet are important for their participation in positional attack construction. Our study contributes to a better knowledge of the GK's actions in the competition and is relevant to be considered by the specific position coaches in the training process organization. (shrink)

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery (...) of semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (shrink)

The paper examines the role of public property in economic development of the country. It looks into economic scientists' views of the 'property' category. There are innovative approaches to improvement of the efficiency of public property administration outlined, specifically: 1) identification of priority branches for privatization and branches to be left in the state ownership; 2) development of individual programs for preparation of branches for privatization and implementation of the latter; adoption of a new State Program for Privatization for (...) 2015 and the ensuing years; 3) introduction of amendments into land legislation as to simplification of the privatization process of properties with plots of land; 4) transition to a management system of state companies through Boards of Directors, which are to comprise independent directors; 5) staffing executive managerial bodies of state companies with professional managers on a competitive basis; 6) clear split of government assets privatization and administration functions on the level of central executive authorities in the context of their optimization; 7) increase of authorized capitals of joint-stock companies owing to the cost of the land plots where they are accommodated, including those which have been privatized and corporatized; 8) optimizing the administration of state corporate rights and prevention of dilution of state corporate rights in authorized capitals of business entities; 9) revision of legislation and introduction of amendments in order to prevent the assignment of assets directly by state undertakings which can be individual privatization targets; 10) monitoring of effective administration of facilities owned by the state, increasing managers' responsibility for ineffective administration of state property; 11) development of a legal framework for reprivatization of property; 12) detailed regulation of public property administration processes. (shrink)