Logic programming and artificial neural networks in breast cancer detection

About 90% of breast cancers do not cause or are capable of producing death if detected at an early stage and treated properly. Indeed, it is still not known a specific cause for the illness. It may be not only a beginning, but also a set of associations that will determine the onset of the disease. Undeniably, there are some factors that seem to be associated with the boosted risk of the malady. Pondering the present study, different breast cancer risk assessment models where considered. It is our intention to develop a hybrid decision support system under a formal framework based on Logic Programming for knowledge representation and reasoning, complemented with an approach to computing centered on Artificial Neural Networks, to evaluate the risk of developing breast cancer and the respective Degree-of-Confidence that one has on such a happening.

Towards the design and implementation of aspect-oriented programming for spreadsheets

A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems.Unfortunately,spreadsheetsystemsdonotoffermodular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, differentusers develop,orreuse,aspects withoutaddingintrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

Kinematic constraint equations

This chapter presents a general methodology for the formulation of the kinematic constraint equations at position, velocity and acceleration levels. Also a brief characterization of the different type of constraints is offered, namely the holonomic and nonholonomic constraints. The kinematic constraints described here are formulated using generalized coordinates. The chapter ends with a general approach to deal with the kinematic analysis of multibody systems.

Origen y evolución del magma granítico en el Batolito de Achala: Fundamentos petrológicos, geoquímicos y estructurales para la preconcentración uranífera en el área de Cañada del Puerto. Origin and evolution of the granitic magma in the Achala Batholith: petrological, geochemical and structural constraint for the uranium preconcentration in the Cañada del Puerto area.

El batolito de Achala es uno de los macizos graníticos más grandes de las Sierras Pampeanas, el cual se localiza en las Sierras Grandes de Córdoba. Si bien el batolito de Achala ha sido objeto de diversos estudios geológicos, principalmente debido a sus yacimientos de uranio, el mismo todavía no posee un inequívoco modelo petrogéntico. Tampoco existe, en la actualidad, un inequívoco modelo que explique la preconcentración de uranio en las rocas graníticas portadores de este elemento. Este Proyecto tiene como objetivo general realizar estudios petrológicos y geoquímicos en la región conocida como CAÑADA del PUERTO, un lugar estratégicamente definido debido a la abundancia de granitos equigranulares de grano fino y/o grano medio biotíticos, emplazados durante el desarrollo de cizallas magmáticas tardías, y que constituirían las rocas fuentes de uranio. El objetivo específico requiere estudios detallados de las diferentes facies del batolito de Achala en el área seleccionada, incluyendo investigaciones petrológicas, geoquímicas de roca total, geoquímica de isótopos radiactivos y química mineral, con el fin de definir un MODELO PETROGENÉTICO que permita explicar: (a) el origen del magma padre y el subsiguiente proceso de cristalización de las diferentes facies graníticas aflorantes en el área de estudio, (b) identificar el proceso principal que condujo a la PRECONCENTRACIÓN uranífera de los magmas graníticos canalizados en las cizallas magmáticas tardías. Ambos objetivos se complementan y no son compartimentos estancos, ya que el logro combinado de estos objetivos permitirá comprender de mejor manera el proceso geoquímico que gobernó la distribución y concentración del U. De esta manera, se intentará definir un MODELO de PRECONCENTRACIÓN URANÍFERA EXTRAPOLABLE a otras áreas graníticas enriquecidas en uranio, constituyendo una poderosa herramienta de investigación aplicada a la exploración uranífera. En particular, el conocimiento de los recursos uraníferos es parte de una estrategia nacional con vistas a triplicar antes del 2025 la disponibilidad energética actual, en cuyo caso, el uranio constituye la materia prima de las centrales nucleares que se están planificando y en construcción. Por otro lado, la Argentina adhirió al Protocolo de Kioto y, junto a los países adherentes, deben disminuir de manera progresiva el uso de combustibles fósiles (que producen gases de efecto invernadero), reemplazándola por otras fuentes de energía, entre ellas, la ENERGÍA NUCLEAR. Este Proyecto, si bien NO es un Proyecto de exploración y/o prospección minera, es totalmente consistente con la política energética nacional promocionada desde el Ministerio de Planificación Federal, Inversión Pública y Servicios (v. sitio WEB CNEA), que ha invertido, desde 2006, importantes sumas de dinero, en el marco del Programa de Reactivación de la Actividad Nuclear.Los estudios referidos serán conducidos por los Drs. Dahlquist (CONICET-UNC) y Zarco (CNEA) quienes integrarán sus experiencias desarrolladas en el campo de las Ciencias Básicas con aquel logrado en el campo de las Ciencias Aplicadas, respectivamente. Se pretende, por tanto, aplicar conocimientos académicos-científicos a un problema de geología con potencial significado económico-energético, vinculando las instituciones referidas, esto es, CONICET-UNC y CNEA, con el fin de contribuir a la actividad socioeconómica de la provincia de Córdoba en particular y de Argentina en general.Finalmente, convencidos de que el progreso de la Ciencia y el Desarrollo Tecnológico está íntimamente vinculada con la sólida Formación de Recursos Humanos se pretende que este Proyecto contribuya SIGNIFICATIVAMENTE a las investigaciones de Doctorado que iniciará la Geóloga Carina Bello, actual Becaria de la CNEA.

Convergence and morphological constraint in frogs : variation in postcranial morphology ; a contribution in celebration of the distinguished scholarship of Robert F. Inger on the occasion of his sixty-fifth birthday / Sharon B. Emerson.

n.s. no.43(1988)

Double implementation in a market for indivisible goods with a price constraint

I consider the problem of assigning agents to objects where each agent must pay the price of the object he gets and prices must sum to a given number. The objective is to select an assignment-price pair that is envy-free with respect to the true preferences. I prove that the proposed mechanism will implement both in Nash and strong Nash the set of envy-free allocations. The distinguishing feature of the mechanism is that it treats the announced preferences as the true ones and selects an envy-free allocation with respect to the announced preferences.

Nondictatorial Arrovian Social Welfare Functions: An Integer Programming Approach

In the line opened by Kalai and Muller (1997), we explore new conditions on prefernce domains which make it possible to avoid Arrow's impossibility result. In our main theorem, we provide a complete characterization of the domains admitting nondictorial Arrovian social welfare functions with ties (i.e. including indifference in the range) by introducing a notion of strict decomposability. In the proof, we use integer programming tools, following an approach first applied to social choice theory by Sethuraman, Teo and Vohra ((2003), (2006)). In order to obtain a representation of Arrovian social welfare functions whose range can include indifference, we generalize Sethuraman et al.'s work and specify integer programs in which variables are allowed to assume values in the set {0, 1/2, 1}: indeed, we show that, there exists a one-to-one correspondence between solutions of an integer program defined on this set and the set of all Arrovian social welfare functions - without restrictions on the range.

Integer Programming on Domains Containing Inseparable Ordered Paris

Using the integer programming approach introduced by Sethuraman, Teo, and Vohra (2003), we extend the analysis of the preference domains containing an inseparable ordered pair, initiated by Kalai and Ritz (1978). We show that these domains admit not only Arrovian social welfare functions \without ties," but also Arrovian social welfare functions \with ties," since they satisfy the strictly decomposability condition introduced by Busetto, Codognato, and Tonin (2012). Moreover, we go further in the comparison between Kalai and Ritz (1978)'s inseparability and Arrow (1963)'s single-peak restrictions, showing that the former condition is more \respectable," in the sense of Muller and Satterthwaite (1985).

Picking the Right Budget Constraint for Scotland

This position paper considers the devolution of further fiscal powers to the Scottish Parliament in the context of the objectives and remit of the Smith Commission. The argument builds on our discussion of fiscal decentralization made in our previous published work on this topic. We ask what sort of budget constraint the Scottish Parliament should operate with. A soft budget constraint (SBC) allows the Scottish Parliament to spend without having to consider all of the tax and, therefore, political consequences, of that spending, which is effectively the position at the moment. The incentives to promote economic growth through fiscal policy – on both the tax and spending sides are weak to non-existent. This is what the Scotland Act, 1998, and the continuing use of the Barnett block grant, gave Scotland. Now other budget constraints are being discussed – those of the Calman Commission (2009) and the Scotland Act (2012), as well as the ones offered in 2014 by the various political parties – Scottish Conservatives, Scottish Greens, Scottish Labour, the Scottish Liberal Democrats and the Scottish Government. There is also the budget constraint designed by the Holtham Commission (2010) for Wales that could just as well be used in Scotland. We examine to what extent these offer the hard budget constraint (HBC) that would bring tax policy firmly into the realm of Scottish politics, asking the Scottish electorate and Parliament to consider the costs to them of increasing spending in terms of higher taxes; or the benefits to them of using public spending to grow the tax base and own-sourced taxes? The hardest budget constraint of all is offered by independence but, as is now known, a clear majority of those who voted in the referendum did not vote for this form of budget constraint. Rather they voted for a significant further devolution of fiscal powers while remaining within a political and monetary union with the rest of the UK, with the risk pooling and revenue sharing that this implies. It is not surprising therefore that none of the budget constraints on offer, apart from the SNP’s, come close to the HBC of independence. However, the almost 25% fall in the price of oil since the referendum, a resource stream so central to the SNP’s economic policy making, underscores why there is a need for a trade off between a HBC and risk pooling and revenue sharing. Ranked according to the desirable characteristic of offering something approaching a HBC the least desirable are those of the Calman Commission, the Scotland Act, 2012, and Scottish Labour. In all of these the ‘elasticity’ of the block grant in the face of failure to grow the Scottish tax base is either not defined or is very elastic – meaning that the risk of failure is shuffled off to taxpayers outside of Scotland. The degree of HBC in the Scottish Conservative, Scottish Greens and Scottish Liberal Democrats proposals are much more desirable from an economic growth point of view, the latter even embracing the HBC proposed by the Holtham Commission that combines serious tax policy with welfare support in the long-run. We judge that the budget constraint in the SNP’s proposals is too hard as it does not allow for continuation of the ‘welfare union’ in the UK. We also consider that in the case of a generalized UK economic slow requiring a fiscal stimulus that the Scottish Parliament be allowed increased borrowing to be repaid in the next economic upturn.

Multilayer perceptron with local constraint as an emerging method in spatial data analysis

The use of Geographic Information Systems has revolutionalized the handling and the visualization of geo-referenced data and has underlined the critic role of spatial analysis. The usual tools for such a purpose are geostatistics which are widely used in Earth science. Geostatistics are based upon several hypothesis which are not always verified in practice. On the other hand, Artificial Neural Network (ANN) a priori can be used without special assumptions and are known to be flexible. This paper proposes to discuss the application of ANN in the case of the interpolation of a geo-referenced variable.

Aging and motor programming: differential effects according to the selection of action

There are controversial reports about the effect of aging on movement preparation, and it is unclear to which extent cognitive and/or motor related cerebral processes may be affected. This study examines the age effects on electro-cortical oscillatory patterns during various motor programming tasks, in order to assess potential differences according to the mode of action selection. Twenty elderly (EP, 60-84 years) and 20 young (YP, 20-29 years) participants with normal cognition underwent 3 pre-cued response tasks (S1-S2 paradigm). S1 carried either complete information on response side (Full; stimulus-driven motor preparation), no information (None; general motor alertness), or required free response side selection (Free; internally-driven motor preparation). Electroencephalogram (EEG) was recorded using 64 surface electrodes. Alpha (8-12 Hz) desynchronization (ERD)/synchronization (ERS) and motor-related amplitude asymmetries (MRAA) were analyzed during the S1-S2 interval. Reaction times (RTs) to S2 were slower in EP than YP, and in None than in the other 2 tasks. There was an Age x Task interaction due to increased RTs in Free compared to Full in EP only. Central bilateral and midline activation (alpha ERD) was smaller in EP than YP in None. In Full just before S2, readiness to move was reflected by posterior midline inhibition (alpha ERS) in both groups. In Free, such inhibition was present only in YP. Moreover, MRAA showed motor activity lateralization in both groups in Full, but only in YP in Free. The results indicate reduced recruitment of motor regions for motor alertness in the elderly. They further show less efficient cerebral processes subtending free selection of movement in elders, suggesting reduced capacity for internally-driven action with age.

Differential epipolar constraint in mobile robot egomotion estimation

The estimation of camera egomotion is a well established problem in computer vision. Many approaches have been proposed based on both the discrete and the differential epipolar constraint. The discrete case is mainly used in self-calibrated stereoscopic systems, whereas the differential case deals with a unique moving camera. The article surveys several methods for mobile robot egomotion estimation covering more than 0.5 million samples using synthetic data. Results from real data are also given

A teaching/learning support tool for introductory programming courses

In This work we present a Web-based tool developed with the aim of reinforcing teaching and learning of introductory programming courses. This tool provides support for teaching and learning. From the teacher's perspective the system introduces important gains with respect to the classical teaching methodology. It reinforces lecture and laboratory sessions, makes it possible to give personalized attention to the student, assesses the degree of participation of the students and most importantly, performs a continuous assessment of the student's progress. From the student's perspective it provides a learning framework, consisting in a help environment and a correction environment, which facilitates their personal work. With this tool students are more motivated to do programming

Constraint algorithm for k-presymplectic Hamiltonian systems. Application to singular field theories

The k-symplectic formulation of field theories is especially simple, since only tangent and cotangent bundles are needed in its description. Its defining elements show a close relationship with those in the symplectic formulation of mechanics. It will be shown that this relationship also stands in the presymplectic case. In a natural way,one can mimick the presymplectic constraint algorithm to obtain a constraint algorithmthat can be applied to k-presymplectic field theory, and more particularly to the Lagrangian and Hamiltonian formulations offield theories defined by a singular Lagrangian, as well as to the unified Lagrangian-Hamiltonian formalism (Skinner--Rusk formalism) for k-presymplectic field theory. Two examples of application of the algorithm are also analyzed.