Non-stationary stochastic inventory lot-sizing with emission and service level constraints in a carbon cap-and-trade system

Firms worldwide are taking major initiatives to reduce the carbon footprint of their supply chains in response to the growing governmental and consumer pressures. In real life, these supply chains face stochastic and non-stationary demand but most of the studies on inventory lot-sizing problem with emission concerns consider deterministic demand. In this paper, we study the inventory lot-sizing problem under non-stationary stochastic demand condition with emission and cycle service level constraints considering carbon cap-and-trade regulatory mechanism. Using a mixed integer linear programming model, this paper aims to investigate the effects of emission parameters, product- and system-related features on the supply chain performance through extensive computational experiments to cover general type business settings and not a specific scenario. Results show that cycle service level and demand coefficient of variation have significant impacts on total cost and emission irrespective of level of demand variability while the impact of product's demand pattern is significant only at lower level of demand variability. Finally, results also show that increasing value of carbon price reduces total cost, total emission and total inventory and the scope of emission reduction by increasing carbon price is greater at higher levels of cycle service level and demand coefficient of variation. The analysis of results helps supply chain managers to take right decision in different demand and service level situations.

Dynamic decision-making based on NFR for managing software variability and configuration selection

Due to dynamic variability, identifying the specific conditions under which non-functional requirements (NFRs) are satisfied may be only possible at runtime. Therefore, it is necessary to consider the dynamic treatment of relevant information during the requirements specifications. The associated data can be gathered by monitoring the execution of the application and its underlying environment to support reasoning about how the current application configuration is fulfilling the established requirements. This paper presents a dynamic decision-making infrastructure to support both NFRs representation and monitoring, and to reason about the degree of satisfaction of NFRs during runtime. The infrastructure is composed of: (i) an extended feature model aligned with a domain-specific language for representing NFRs to be monitored at runtime; (ii) a monitoring infrastructure to continuously assess NFRs at runtime; and (iii) a exible decision-making process to select the best available configuration based on the satisfaction degree of the NRFs. The evaluation of the approach has shown that it is able to choose application configurations that well fit user NFRs based on runtime information. The evaluation also revealed that the proposed infrastructure provided consistent indicators regarding the best application configurations that fit user NFRs. Finally, a benefit of our approach is that it allows us to quantify the level of satisfaction with respect to NFRs specification.

Departmental elections and the changing landscape of French politics

The departmental elections of March 2015 redrew the French political landscape, setting the new terms of electoral competition in advance of the regional elections of December 2015 and, more critically, the presidential election of April–May 2017. These elections saw the far-right National Front (FN) come top in both rounds only to be outmanoeuvred by the mainstream parties and prevented from winning a single department. As a case study in vote–seat distortion, the elections highlighted a voting system effective in keeping the FN out of executive power but deficient in terms of democratic representation and inadequate as a response to the new tripartite realities of France's changing political landscape.

Modelling and linking transformations in EPCIS governing supply chain business processes

Supply chains comprise of complex processes spanning across multiple trading partners. The various operations involved generate large number of events that need to be integrated in order to enable internal and external traceability. Further, provenance of artifacts and agents involved in the supply chain operations is now a key traceability requirement. In this paper we propose a Semantic web/Linked data powered framework for the event based representation and analysis of supply chain activities governed by the EPCIS specification. We specifically show how a new EPCIS event type called "Transformation Event" can be semantically annotated using EEM - The EPCIS Event Model to generate linked data, that can be exploited for internal event based traceability in supply chains involving transformation of products. For integrating provenance with traceability, we propose a mapping from EEM to PROV-O. We exemplify our approach on an abstraction of the production processes that are part of the wine supply chain.

Consistency and accuracy in memory: Effects of schema-typicality, retention interval and question-format

This study examined the effect of schemas on consistency and accuracy of memory across interviews, providing theoretical hypotheses explaining why inconsistencies may occur. The design manipulated schema-typicality of items (schema-typical and atypical), question format (free-recall, cued-recall and recognition) and retention interval (immediate/2 week and 2 week/4 week). Consistency, accuracy and experiential quality of memory were measured. ^ All independent variables affected accuracy and experiential quality of memory while question format was the only variable affecting consistency. These results challenge the commonly held notion in the legal arena that consistency is a proxy for accuracy. The study also demonstrates that other variables, such as item-typicality and retention interval have different effects on consistency and accuracy in memory. ^

Authority and stratification in the Bahamas: The quest for legitimacy

This longitudinal study provides a detailed description of the transition in the Bahamas from British colony to independent country. It analyzes the ongoing process of legitimation and delegitimation of Bahamian political parties and of the transfer of authority from the white minority to the black majority. It is a story of social and political struggles that take place within the quarter century following World War II. These struggles are analyzed within a theoretical framework which focuses on the meaning of symbols used to support claims to authority, and/or which function to delegitimize alternative claims. Specifically, this study looks at the delegitimization of the institutions of colonialism and the concurrent profession of symbols to support both independence and a fully enfranchised democracy in the Bahamas. ^ The research methodology includes an extensive analysis of official British colonial documents, private governmental dispatches, and contemporaneous newspaper articles. The sources were primarily the Public Records Office of Great Britain; the Archives of the Bahamas; and the Institute for Social and Economic Research, University of the West Indies. Secondary literature on civil rights, political science, religion, Black Nationalism, corruption, social theory, and popular culture was studied. Two hundred days of participant observation, spread over seven years of study, resulted in notes from which information was gleaned. During that time, seventeen open-ended interviews with a cross section of Bahamians (male and female, black and white) who lived through this period were recorded, information from which was also incorporated. ^ A detailed description of the socio-historical process, and an analysis of data, demonstrates how the black majority's desire for political representation, and future independence, pressured Great Britain to come into line with the desires of the majority of Bahamians. The symbolic universe that had historically divided white from black now urged dramatic social and political change. ^ The documents and testimonials studied demonstrate how symbols and symbolic events supported and/or undercut the claims to legitimacy proffered by different groups in the Bahamas in their respective attempts to solidify their social and political position within the society. ^

Knowledge assisted data management and retrieval in multimedia database systems

With the proliferation of multimedia data and ever-growing requests for multimedia applications, there is an increasing need for efficient and effective indexing, storage and retrieval of multimedia data, such as graphics, images, animation, video, audio and text. Due to the special characteristics of the multimedia data, the Multimedia Database management Systems (MMDBMSs) have emerged and attracted great research attention in recent years. Though much research effort has been devoted to this area, it is still far from maturity and there exist many open issues. In this dissertation, with the focus of addressing three of the essential challenges in developing the MMDBMS, namely, semantic gap, perception subjectivity and data organization, a systematic and integrated framework is proposed with video database and image database serving as the testbed. In particular, the framework addresses these challenges separately yet coherently from three main aspects of a MMDBMS: multimedia data representation, indexing and retrieval. In terms of multimedia data representation, the key to address the semantic gap issue is to intelligently and automatically model the mid-level representation and/or semi-semantic descriptors besides the extraction of the low-level media features. The data organization challenge is mainly addressed by the aspect of media indexing where various levels of indexing are required to support the diverse query requirements. In particular, the focus of this study is to facilitate the high-level video indexing by proposing a multimodal event mining framework associated with temporal knowledge discovery approaches. With respect to the perception subjectivity issue, advanced techniques are proposed to support users' interaction and to effectively model users' perception from the feedback at both the image-level and object-level.

A nested Petri net framework for modeling and analyzing multi-agent systems

In the past two decades, multi-agent systems (MAS) have emerged as a new paradigm for conceptualizing large and complex distributed software systems. A multi-agent system view provides a natural abstraction for both the structure and the behavior of modern-day software systems. Although there were many conceptual frameworks for using multi-agent systems, there was no well established and widely accepted method for modeling multi-agent systems. This dissertation research addressed the representation and analysis of multi-agent systems based on model-oriented formal methods. The objective was to provide a systematic approach for studying MAS at an early stage of system development to ensure the quality of design. ^ Given that there was no well-defined formal model directly supporting agent-oriented modeling, this study was centered on three main topics: (1) adapting a well-known formal model, predicate transition nets (PrT nets), to support MAS modeling; (2) formulating a modeling methodology to ease the construction of formal MAS models; and (3) developing a technique to support machine analysis of formal MAS models using model checking technology. PrT nets were extended to include the notions of dynamic structure, agent communication and coordination to support agent-oriented modeling. An aspect-oriented technique was developed to address the modularity of agent models and compositionality of incremental analysis. A set of translation rules were defined to systematically translate formal MAS models to concrete models that can be verified through the model checker SPIN (Simple Promela Interpreter). ^ This dissertation presents the framework developed for modeling and analyzing MAS, including a well-defined process model based on nested PrT nets, and a comprehensive methodology to guide the construction and analysis of formal MAS models.^

Innovating from the War Economy: Formal, Informal, and Illicit Economic Activities of the Military in Colombia

Over the last decade, the Colombian military has successfully rolled back insurgent groups, cleared and secured conflict zones, and enabled the extraction of oil and other key commodity exports. As a result, official policies of both the Uribe and Santos governments have promoted the armed forces to participate to an unprecedented extent in economic activities intended to consolidate the gains of the 2000s. These include formal involvement in the economy, streamlined in a consortium of military enterprises and social foundations that are intended to put the Colombian defense sector “on the map” nationally and internationally, and informal involvement expanded mainly through new civic action development projects intended to consolidate the security gains of the 2000s. However, failure to roll back paramilitary groups other than through the voluntary amnesty program of 2005 has facilitated the persistence of illicit collusion by military forces with reconstituted “neoparamilitary” drug trafficking groups. It is therefore crucially important to enhance oversight mechanisms and create substantial penalties for collusion with illegal armed groups. This is particularly important if Colombia intends to continue its new practice of exporting its security model to other countries in the region. The Santos government has initiated several promising reforms to enhance state capacity, institutional transparence, and accountability of public officials to the rule of law, which are crucial to locking in security gains and revitalizing democratic politics. Efforts to diminish opportunities for illicit association between the armed forces and criminal groups should complement that agenda, including the following: Champion breaking existing ties between the military and paramilitary successor groups through creative policies involving a mixture of punishments and rewards directed at the military; Investigation and extradition proceedings of drug traffickers, probe all possible ties, including as a matter of course the possibility of Colombian military collaboration. Doing so rigorously may have an important effect deterring military collusion with criminal groups. Establish and enforce zero-tolerance policies at all military ranks regarding collusion with criminal groups; Reward military units that are effective and also avoid corruption and criminal ties by providing them with enhanced resources and recognition; Rely on the military for civic action and development assistance as minimally as possible in order to build long-term civilian public sector capacity and to reduce opportunities for routine exposure of military forces to criminal groups circulating in local populations.

XML storage and retrieval using the semantic binary object -oriented database system (SEM-ODB)

Over the past five years, XML has been embraced by both the research and industrial community due to its promising prospects as a new data representation and exchange format on the Internet. The widespread popularity of XML creates an increasing need to store XML data in persistent storage systems and to enable sophisticated XML queries over the data. The currently available approaches to addressing the XML storage and retrieval issue have the limitations of either being not mature enough (e.g. native approaches) or causing inflexibility, a lot of fragmentation and excessive join operations (e.g. non-native approaches such as the relational database approach). ^ In this dissertation, I studied the issue of storing and retrieving XML data using the Semantic Binary Object-Oriented Database System (Sem-ODB) to leverage the advanced Sem-ODB technology with the emerging XML data model. First, a meta-schema based approach was implemented to address the data model mismatch issue that is inherent in the non-native approaches. The meta-schema based approach captures the meta-data of both Document Type Definitions (DTDs) and Sem-ODB Semantic Schemas, thus enables a dynamic and flexible mapping scheme. Second, a formal framework was presented to ensure precise and concise mappings. In this framework, both schemas and the conversions between them are formally defined and described. Third, after major features of an XML query language, XQuery, were analyzed, a high-level XQuery to Semantic SQL (Sem-SQL) query translation scheme was described. This translation scheme takes advantage of the navigation-oriented query paradigm of the Sem-SQL, thus avoids the excessive join problem of relational approaches. Finally, the modeling capability of the Semantic Binary Object-Oriented Data Model (Sem-ODM) was explored from the perspective of conceptually modeling an XML Schema using a Semantic Schema. ^ It was revealed that the advanced features of the Sem-ODB, such as multi-valued attributes, surrogates, the navigation-oriented query paradigm, among others, are indeed beneficial in coping with the XML storage and retrieval issue using a non-XML approach. Furthermore, extensions to the Sem-ODB to make it work more effectively with XML data were also proposed. ^

Rethinking the national question: Anti-statist discourses within the Kurdish national movement

Why and under what conditions have the Kurds become agents of change in the Middle East in terms of democratization? Why did the Kurds' role as democratic agents become particularly visible in the 1990s? How does the Kurdish movement's turn to democratic discourse affect the political systems of Turkey, Iran, Iraq and Syria? What are the implications of the Kurds' adoption of "democratic discourse" for the transnational aspect of the Kurdish movement? Since the early 1990s, Kurdish national movements in Turkey, Iran, Iraq and Syria have undergone important political and ideological transformations. As a result of the Kurds' growing role in shaping the debates on human rights and democratization in these four countries, the Kurdish national movement has acquired a dual character: an ethno-cultural struggle for the recognition of Kurdish identity, and a democratization movement that seeks to redefine the concepts of governance and citizenship in Turkey, Iran, Iraq and Syria. The process transformation has affected relations between the Kurdish movements and their respective central governments in significant ways. On the basis of face-to-face interviews and archival research conducted in Turkey, Iraq and parts of Europe, the present work challenges the current narrative of Kurdish nationalism, which is predominantly drawn from a statist interpretation of Kurdish nationalist goals, and argues instead that the Kurdish question is no longer a problem of statelessness but a problem of democracy in Turkey, Iran, Iraq and Syria. The main contributions of this work are three fold. First, the research unfolds the reasons behind the growing emphasis of the Kurdish movement on the concepts of democracy, human rights, and political participation, which started in the early 1990s. Second, the findings challenge the existing scholarship that explains Kurdish nationalism as a problem of statelessness and shifts the focus to the transformative potentials of the Kurdish national movement in Turkey, Iran, Iraq and Syria through a comparative lens. Third, this work explores the complex transnational coordination and negotiations between the Kurdish movements across borders and explains the regional repercussions of this process.

Nico Assumpção and jazz bass improvisation

The purpose of this thesis was to investigate Nico Assumpção. He has not received the interest and recognition of the American jazz audience, despite having recorded and performed with some of the greatest jazz musicians in the world. Four works were transcribed and analyzed in detail with respect to the following issues and elements: rhythmic conception, bass techniques and melodic and harmonic characteristics. Observations were made and trends examined in his music as well as his improvisational style, which illustrates his stylistic significance. Results show that Nico Assumpção is indeed representative of the Jazz Fusion and Latin Jazz styles, despite his low profile in jazz literature. This is seen in his electric bass playing through his use of Brazilian and other Latin elements in conjunction with a jazz vocabulary. This is exemplified through the transcriptions and analysis of his works.

Results of analysis and model simulation of the bed profiles

Bedforms such as dunes and ripples are ubiquitous in rivers and coastal seas, and commonly described as triangular shapes from which height and length are calculated to estimate hydrodynamic and sediment dynamic parameters. Natural bedforms, however, present a far more complicated morphology; the difference between natural bedform shape and the often assumed triangular shape is usually neglected, and how this may affect the flow is unknown. This study investigates the shapes of natural bedforms and how they influence flow and shear stress, based on four datasets extracted from earlier studies on two rivers (the Rio Paraná in Argentina, and the Lower Rhine in The Netherlands). The most commonly occurring morphological elements are a sinusoidal stoss side made of one segment and a lee side made of two segments, a gently sloping upper lee side and a relatively steep (6 to 21°) slip face. A non-hydrostatic numerical model, set up using Delft3D, served to simulate the flow over fixed bedforms with various morphologies derived from the identified morphological elements. Both shear stress and turbulence increase with increasing slip face angle and are only marginally affected by the dimensions and positions of the upper and lower lee side. The average slip face angle determined from the bed profiles is 14°, over which there is no permanent flow separation. Shear stress and turbulence above natural bedforms are higher than above a flat bed but much lower than over the often assumed 30° lee side angle.

Deliberação e participação: dinâmica e efetividade do conselho de saúde de Mossoró/RN – 2009/2012

The social participation in Brazil takes a new impetus with the (re)democratization process of the Brazilian society and is strengthened by the resurgence of the civil society and the 1988 Constitution. In this context, the study is conducted with the scope to verify the effectiveness of deliberative Municipal Health Council of Mossoro (CMSM), with theoretical and methodological support based on the following models: the participatory normativity, which measures the degree of institutionalization, democratization and council representation; and the effectiveness of deliberative that, from the calling capacity and agenda of the participants, from the kinds of manifestation, from the decisions and the council’s office, that measures the degree of effectiveness of the deliberative council. It appears, thus, that the council has an average degree of effectiveness deliberative, standing out as means an institution that practice, despite the existence of obstacles and challenges, the role of control over municipal health policies, due, among other factors, the conservative political context, the asymmetry of resources between the counselors, the little substantive participation of the actors who attend its meetings, either counselor or not, and in particular, the reduced influence of the members in its decision-making process. In public management of Mossoro, social participation, especially social control over public actions, face, today, great number of difficulties to be held. The study recognizes that, in such circumstances, the council partially fulfills the role for which it was created, what does not impede, however, be characterized as an important deliberative space, since it allows the participation of representatives of the various segments of the state, society, their demands and intentions. Overcoming such obstacles moves through the interest of civil society to wake up and fight for the spaces in these institutions.

Uma leitura de gênero nos contos "Prelúdio", "Na baía" e "A casa de bonecas", de Katherine Mansfield

This work aims to analyze the short stories “Prelude”, “At the Bay” and “The Doll’s House”, by Katherine Mansfield under the prism of the gender studies (mainly on the works of Joan Scott and Elisabeth Badinter). To reach such objective, and based on the feminist criticism works (especially those of Elaine Showalter and Toril Moi), we analyzed the three stories, which are from the writer’s so-called “family phase”. The present work contains a bibliographical contextualization of Mansfield’s modernist work under three main aspects: modernism, the short story and women’s writing/writings on women. From the analysis of the three short stories, we observed that questions of gender, representation and identity were depicted by means of the preponderance of female characters from all ages, marital statuses and classes. At the end it was possible to verify how Mansfield works contributed to a reflection about places and roles occupied by women in turn of the XIX and XX Centuries, whereas how this author was also in search for her own identity as a woman and as a writer, exactly in a context when women writers and women’s writings started to become more visible face to a predominantly masculine literary canon.