Verifying Harder's Conjecture for Classical and Siegel Modular Forms

A conjecture by Harder shows a surprising congruence between the coefficients of “classical” modular forms and the Hecke eigenvalues of corresponding Siegel modular forms, contigent upon “large primes” dividing the critical values of the given classical modular form. Harder’s Conjecture has already been verified for one-dimensional spaces of classical and Siegel modular forms (along with some two-dimensional cases), and for primes p 37. We verify the conjecture for higher-dimensional spaces, and up to a comparable prime p.

The Darién Region, Connecting Road of the Americas, among the expressions of hydric wealth, land vocation and the extractive exploration on its violated forms

Colombia has oceanic waters, catchment areas, like lakes, cienagas and swamps, water flows, like rivers, gorges and streams, small rivers and groundwater. The oceanic waters are the Caribbean Sea-1600 km and the Pacific Ocean-1300 km that comprise the north and west continental territory, respectively. Actually the Region of Darién, geographically bounded by the Carribean Sea to the north is becoming to be focused by studies due to use conflicts and disputes about water and a forest reserve on its territories. Considering its location, strategic at northwestern Colombia, frontier region with Central America, several dynamics are imposed. One of them is the implantation of a road system entitled Connecting Road of the Americas. This fact means the construction of an infra-structure that will cross a special zone formed by swamps and jungle known as The Darién Gap. Evidences of such interests are revealed by projects like the constructions of Turbo's Port in the Atlantic Ocean, Department of Antioquia and Tribugá's Port in the Pacific Ocean, Department of Choco, the mountain road and the coastal conection Colombia-Venezuela attending to the main intentions of the central region of the department (Metropolitan Area of Aburrá Valley-AMVA). Human settlements form a productive system, based on small and medium familiar agriculture's production, corresponding to the western portion and piedmont of Abibe's mountain at its antioquian portion, alluvial plan that forms the rivers on this area, the littoral zone that delimits the Carribean Sea, the Darién and Baudó Mountains and the gulf that receives, among other waters, the ones from Atrato and León, as well as the exodus process constitutes a forced exit resulting from actions of several armed groups. It can be identified intense historical, cultural, political and environmental relations, specially the last one associated with strategic ecosystems that are fundamental for the hydric regulation of the region, as well as food safety of the local inhabitants. Results from two researches (UPB, 2007 y 2010) reveals this quick transformation in the spatial re-configuration, demographical and economical indicators and the exacerbated fight for resources, damaging the extractive vocation in the Region. Path to commerce of illegalities (drugs, guns) and to implementation of the agroindustrial project for biofuel production, cooperation program that involves Venezuela, Brazil and Colombia. Appropriation modes allow the existence of strategies since global interests revealing a development logic that privileges the conception of an artificialized nature. Since the smallest portion of rural areas, specific modes of resources exploration are linked to imposed interests of transnational corporations. Disparate consequences are going deeper evidenced by social, technical and nature transformations, envisioning risks for the habitability's condition

The Darién Region, Connecting Road of the Americas, among the expressions of hydric wealth, land vocation and the extractive exploration on its violated forms

Colombia has oceanic waters, catchment areas, like lakes, cienagas and swamps, water flows, like rivers, gorges and streams, small rivers and groundwater. The oceanic waters are the Caribbean Sea-1600 km and the Pacific Ocean-1300 km that comprise the north and west continental territory, respectively. Actually the Region of Darién, geographically bounded by the Carribean Sea to the north is becoming to be focused by studies due to use conflicts and disputes about water and a forest reserve on its territories. Considering its location, strategic at northwestern Colombia, frontier region with Central America, several dynamics are imposed. One of them is the implantation of a road system entitled Connecting Road of the Americas. This fact means the construction of an infra-structure that will cross a special zone formed by swamps and jungle known as The Darién Gap. Evidences of such interests are revealed by projects like the constructions of Turbo's Port in the Atlantic Ocean, Department of Antioquia and Tribugá's Port in the Pacific Ocean, Department of Choco, the mountain road and the coastal conection Colombia-Venezuela attending to the main intentions of the central region of the department (Metropolitan Area of Aburrá Valley-AMVA). Human settlements form a productive system, based on small and medium familiar agriculture's production, corresponding to the western portion and piedmont of Abibe's mountain at its antioquian portion, alluvial plan that forms the rivers on this area, the littoral zone that delimits the Carribean Sea, the Darién and Baudó Mountains and the gulf that receives, among other waters, the ones from Atrato and León, as well as the exodus process constitutes a forced exit resulting from actions of several armed groups. It can be identified intense historical, cultural, political and environmental relations, specially the last one associated with strategic ecosystems that are fundamental for the hydric regulation of the region, as well as food safety of the local inhabitants. Results from two researches (UPB, 2007 y 2010) reveals this quick transformation in the spatial re-configuration, demographical and economical indicators and the exacerbated fight for resources, damaging the extractive vocation in the Region. Path to commerce of illegalities (drugs, guns) and to implementation of the agroindustrial project for biofuel production, cooperation program that involves Venezuela, Brazil and Colombia. Appropriation modes allow the existence of strategies since global interests revealing a development logic that privileges the conception of an artificialized nature. Since the smallest portion of rural areas, specific modes of resources exploration are linked to imposed interests of transnational corporations. Disparate consequences are going deeper evidenced by social, technical and nature transformations, envisioning risks for the habitability's condition

The Darién Region, Connecting Road of the Americas, among the expressions of hydric wealth, land vocation and the extractive exploration on its violated forms

Colombia has oceanic waters, catchment areas, like lakes, cienagas and swamps, water flows, like rivers, gorges and streams, small rivers and groundwater. The oceanic waters are the Caribbean Sea-1600 km and the Pacific Ocean-1300 km that comprise the north and west continental territory, respectively. Actually the Region of Darién, geographically bounded by the Carribean Sea to the north is becoming to be focused by studies due to use conflicts and disputes about water and a forest reserve on its territories. Considering its location, strategic at northwestern Colombia, frontier region with Central America, several dynamics are imposed. One of them is the implantation of a road system entitled Connecting Road of the Americas. This fact means the construction of an infra-structure that will cross a special zone formed by swamps and jungle known as The Darién Gap. Evidences of such interests are revealed by projects like the constructions of Turbo's Port in the Atlantic Ocean, Department of Antioquia and Tribugá's Port in the Pacific Ocean, Department of Choco, the mountain road and the coastal conection Colombia-Venezuela attending to the main intentions of the central region of the department (Metropolitan Area of Aburrá Valley-AMVA). Human settlements form a productive system, based on small and medium familiar agriculture's production, corresponding to the western portion and piedmont of Abibe's mountain at its antioquian portion, alluvial plan that forms the rivers on this area, the littoral zone that delimits the Carribean Sea, the Darién and Baudó Mountains and the gulf that receives, among other waters, the ones from Atrato and León, as well as the exodus process constitutes a forced exit resulting from actions of several armed groups. It can be identified intense historical, cultural, political and environmental relations, specially the last one associated with strategic ecosystems that are fundamental for the hydric regulation of the region, as well as food safety of the local inhabitants. Results from two researches (UPB, 2007 y 2010) reveals this quick transformation in the spatial re-configuration, demographical and economical indicators and the exacerbated fight for resources, damaging the extractive vocation in the Region. Path to commerce of illegalities (drugs, guns) and to implementation of the agroindustrial project for biofuel production, cooperation program that involves Venezuela, Brazil and Colombia. Appropriation modes allow the existence of strategies since global interests revealing a development logic that privileges the conception of an artificialized nature. Since the smallest portion of rural areas, specific modes of resources exploration are linked to imposed interests of transnational corporations. Disparate consequences are going deeper evidenced by social, technical and nature transformations, envisioning risks for the habitability's condition

Relating data—parallelism and (and—) parallelism in logic programs

Much work has been done in the áreas of and-parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types of parallelism offer advantages and disadvantages. Traditional (and-) parallel models offer generality, being able to exploit parallelism in a large class of programs (including that exploited by data parallelism techniques). Data parallelism techniques on the other hand offer increased performance for a restricted class of programs. The thesis of this paper is that these two forms of parallelism are not fundamentally different and that relating them opens the possibility of obtaining the advantages of both within the same system. Some relevant issues are discussed and solutions proposed. The discussion is illustrated through visualizations of actual parallel executions implementing the ideas proposed.

WWW Programming using computational logic systems (and the PiLLoW/Ciao library)

We discuss from a practical point of view a number of issues involved in writing Internet and WWW applications using LP/CLP systems. We describe Pd_l_oW, a public-domain Internet and WWW programming library for LP/CLP systems which we argüe significantly simplifies the process of writing such applications. Pd_l_oW provides facilities for generating HTML structured documents, producing HTML forms, writing form handlers, accessing and parsing WWW documents, and accessing code posted at HTTP addresses. We also describe the architecture of some application classes, using a high-level model of client-server interaction, active modules. We then propose an architecture for automatic LP/CLP code downloading for local execution, using generic browsers. Finally, we also provide an overview of related work on the topic. The PiLLoW library has been developed in the context of the &- Prolog and CIAO systems, but it has been adapted to a number of popular LP/CLP systems, supporting most of its functionality.

The PiLLoW/Ciao library for INTERNET/WWW programming using computational logic systems

We discuss from a practical point of view a number of issues involved in writing Internet and WWW applications using LP/CLP systems. We describe PiLLoW, an Internet and WWW programming library for LP/CLP systems which we argüe significantly simplifies the process of writing such applications. PiLLoW provides facilities for generating HTML structured documents, producing HTML forms, writing form handlers, accessing and parsing WWW documents, and accessing code posted at HTTP addresses. We also describe the architecture of some application classes, using a high-level model of client-server interaction, active modules. Finally we describe an architecture for automatic LP/CLP code downloading for local execution, using generic browsers. The PiLLoW library has been developed in the context of the &-Prolog and CIAO systems, but it has been adapted to a number of popular LP/CLP systems, supporting most of its functionality.

Beyond a logic of effectiveness: Horizontal coordination, democratic legitimacy and accountability

Horizontal coordination, where actors join together to accomplish a common task, has been applauded for its output legitimacy. However, such processes often face challenges due to opposition from local actors who raise concerns about democratic legitimacy and accountability. Moving beyond a logic of effectiveness, we aim to show how and why other forms of legitimacy such as input and throughput dimensions also affect horizontal coordination, in addition to output criteria. Beyond the assumed positive relationship between coordination and effectiveness, we additionally expect horizontal coordination to be (a) impeded by local actors' fear of losing democratic legitimacy; and (b) fostered by accountability in terms of the steering capacity of the state. A comparative case study analysis of water supply structures at the regional level in Switzerland shows, in contrast to our expectation, that effectiveness has mixed impacts on horizontal coordination. Rather than being solely a positive factor for horizontal coordination, certain output criteria such as financial redistribution are found to be a key hindrance. We also find that democratic legitimacy may, indeed, impede horizontal coordination whereas increased accountability positively affects such coordination.

Program manual for the programs ILLOD-MINSUM-CBS, ILLOD-MINSUM-CBSA, ILLOD-MINSUM-CBG, and ILLOD-MINSUM-CBGM, to derive minimal sums or irredundant disjunctive forms for switching functions /

"UILU-ENG 78 1719."

Logic Based Pattern Recognition - Ontology Content (1)

* The research is supported partly by INTAS: 04-77-7173 project, http://www.intas.be

Applications of Nonclassical Logic Methods for Purposes of Knowledge Discovery and Data Mining

* The work is partially supported by Grant no. NIP917 of the Ministry of Science and Education – Republic of Bulgaria.

Neoliberal Capitalism, Social Reproduction Crisis, Gender Implications and Forms of Resistance: The case of Greece

Neoliberal capitalism and its accompanied austerity measures has had a profound effect on social reproduction throughout Europe. Social reproduction, ie, the process that makes it possible for individuals, families, and society to reproduce itself – is in crisis. The concept of social reproduction utilized in this presentation is framed within the feminist and Marxist tradition. Historically, social reproduction was met through both waged and unwaged work with women playing a predominant role either as waged, predominantly public sector, workers (social workers, teachers, carers, nurses, etc) or as unpaid workers (unpaid carers: mothers, wives, etc.) but now both forms of work are destabilized and undermined. Thus, the crisis in social reproduction. Within this crisis women’s unequal position is further undermined but at the same time progressive women and men are organizing to present alternatives forms of social reproduction. This presentation by utilizing the case of Greece will first outline the neoliberal processes that have caused the crisis in social reproduction. Second, it will present the consequences of social reproduction by highlighting the gender implications. Third, it will discuss the reorganization of social reproduction which is taking place outside the logic of capitalist society and is manifested through the creation of solidarity health clinics and pharmacies, communal kitchens, creation of various forms of bartering etc. This presentation will argue that these forms present glimpses of another society , a society based on principles of solidarity and cooperation. A society worth fighting for. And finally the presentation will conclude by discussing at which level can this crisis be resolved and the role of the social work profession.

Applying fuzzy logic to comparative distribution modelling: a case study with two sympatric amphibians.

We modelled the distributions of two toads (Bufo bufo and Epidalea calamita) in the Iberian Peninsula using the favourability function, which makes predictions directly comparable for different species and allows fuzzy logic operations to relate different models. The fuzzy intersection between individual models, representing favourability for the presence of both species simultaneously, was compared with another favourability model built on the presences shared by both species. The fuzzy union between individual models, representing favourability for the presence of any of the two species, was compared with another favourabilitymodel based on the presences of either or both of them. The fuzzy intersections between favourability for each species and the complementary of favourability for the other (corresponding to the logical operation “A and not B”) were compared with models of exclusive presence of one species versus the exclusive presence of the other. The results of modelling combined species data were highly similar to those of fuzzy logic operations between individual models, proving fuzzy logic and the favourability function valuable for comparative distribution modelling. We highlight several advantages of fuzzy logic over other forms of combining distribution models, including the possibility to combine multiple species models for management and conservation planning.