Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. In this paper, we develop a clausal resolution method for the monodic fragment of first-order temporal logic over expanding domains. We first define a normal form for monodic formulae and then introduce novel resolution calculi that can be applied to formulae in this normal form. We state correctness and completeness results for the method. We illustrate the method on a comprehensive example. The method is based on classical first-order resolution and can, thus, be efficiently implemented.

Case studies for contract-based systems

Of the ways in which agent behaviour can be regulated in a multiagent system, electronic contracting – based on explicit representation of different parties' responsibilities, and the agreement of all parties to them – has significant potential for modern industrial applications. Based on this assumption, the CONTRACT project aims to develop and apply electronic contracting and contract-based monitoring and verification techniques in real world applications. This paper presents results from the initial phase of the project, which focused on requirements solicitation and analysis. Specifically, we survey four use cases from diverse industrial applications, examine how they can benefit from an agent-based electronic contracting infrastructure and outline the technical requirements that would be placed on such an infrastructure. We present the designed CONTRACT architecture and describe how it may fulfil these requirements. In addition to motivating our work on the contract-based infrastructure, the paper aims to provide a much needed community resource in terms of use case themselves and to provide a clear commercial context for the development of work on contract-based system.

Ecommerce as internationalization strategy: an exploratory study based on premium fashion brazilian brands: case study of farfetch

As stated by Hoffmann and Coste-Manière (2012) “The web is a mass medium that contrast completely with the traditional codes of exclusivity associated with the luxury industry, and has long been simply rejected by the luxury industry for being an illegitimate distribution channel.” Meanwhile this market presents an incomparable pace of growth and is gradually changing the existing retailing business model and companies must be aware of this change and capable to adapt to it. The internet and cross-border sales already changed the competition throughout retailing and it will increase even more, so companies must be ready to face it. Internet has shown its great opportunity for all markets, although luxury/premium market is not yet taking the proper advantage of its potential, but the necessity to be an omnichannel business strategy is growing. This paper presents an exploratory research based on a case study of how premium fashion Brazilian brands are using Farfetch, e-commerce, as an entry market strategy and how this affects them. The research question of this study is: How is Farfetch helping on the internationalization of Brazilian premium fashion brands?, and in order to answer it was conducted an in-depth interview with the Brazilian head of business development of Farfetch, apart an extensive secondary data research. As expected the study found a list of trade-offs of using an e-commerce, luxury specialized, with a marketplace approach to the brands willing to internationalize. As stated by Altagamma and McKinsey (2015) study “[...] luxury brands have no choice but to embrace the digital era and become truly omnichannel. This will require them a radical rethinking of both their customer experience of their consumer engagement strategy.” Looking either from the Farfetch point of view, trying to understand why they offer this opportunity to the brands, or also from the brand side if this is a manageable approach. This study presents a contribution for both sides, trying to give tools to the brands on understanding the internationalization reasons and approach, as well as explaining Farfetch business model, and the advantages it can bring to them, at the same time of a general market trend analysis for Farfecth.

Coastal Marine Mapping as an Ecosystem Based Management - the case study of the Baixada Santista Region - São Paulo, Brazil

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

The first case study of a thunderstorm in South Africa based on dual- Doppler radar observations

On 27 March 1991, an isolated thunderstorm passed between the two CSIR Doppler radars, spaced about 45km apart. Both radars simultaneously recorded Doppler data of the storm, and a detailed case study during an 11-min period is presented. Air motions synthesized from these data provide the first three-dimensional display of Doppler-derived wind fields within a multicell storm on the Transvaal Highveld. Regions of high divergence values (10 -2s -1) at low levels were found mostly in close proximity to reflectivity maxima (45-51 dBZ), which is consistent with findings from North America, that gravitational loading by the precipitation plays a key role in the initiation and maintenance of downdraughts. -from Authors

Conditional reasoning: A key to assessing computer-based knowledge-building communication processes

This article describes a methodological approach to conditional reasoning in online asynchronous learning environments such as Virtual-U VGroups, developed by SFU, BC, Canada, consistent with the notion of meaning implication: If part of a meaning C is embedded in B and a part of a meaning B is embedded in A, then A implies C in terms of meaning [Piaget 91]. A new transcript analysis technique was developed to assess the flows of conditional meaning implications and to identify the occurrence of hypotheses and connections among them in two human science graduate mixed-mode online courses offered in the summer/spring session of 1997 by SFU. Flows of conditional meaning implications were confronted with Virtual-U VGroups threads and results of the two courses were compared. Findings suggest that Virtual-U VGroups is a knowledge-building environment although the tree-like Virtual-U VGroups threads should be transformed into neuronal-like threads. Findings also suggest that formulating hypotheses together triggers a collaboratively problem-solving process that scaffolds knowledge-building in asynchronous learning environments: A pedagogical technique and an built-in tool for formulating hypotheses together are proposed. © Springer Pub. Co.

A gender-based approach to the urban informal sector: the case of Mexico

Includes bibliography

Composition and interrelationships of a large Neotropical freshwater fish group, the subfamily Cheirodontinae (Characiformes: Characidae): A case study based on mitochondrial and nuclear DNA sequences

•Relationships of Cheirodontinae based on a broad taxonomic sample.•Results reject the monophyly of Cheirodontinae as previously conceived.•Exclusion of Amazonspinther and Spintherobolus from the subfamily Cheirodontinae.•The removal of Leptagoniates pi of the genus Leptagoniates and inclusion in Cheirodontinae.•Division of Cheirodontinae in three newly defined monophyletic tribes. Characidae is the most species-rich family of freshwater fishes in the order Characiformes, with more than 1000 valid species that correspond to approximately 55% of the order. Few hypotheses about the composition and internal relationships within this family are available and most fail to reach an agreement. Among Characidae, Cheirodontinae is an emblematic group that includes 18 genera (1 fossil) and approximately 60 described species distributed throughout the Neotropical region. The taxonomic and systematic history of Cheirodontinae is complex, and only two hypotheses about the internal relationships in this subfamily have been reported to date. In the present study, we test the composition and relationships of fishes assigned to Cheirodontinae based on a broad taxonomic sample that also includes some characid incertae sedis taxa that were previously considered to be part of Cheirodontinae. We present phylogenetic analyses of a large molecular dataset of mitochondrial and nuclear DNA sequences. Our results reject the monophyly of Cheirodontinae as previously conceived, as well as the tribes Cheirodontini and Compsurini, and the genera Cheirodon, Compsura, Leptagoniates, Macropsobrycon, Odontostilbe, and Serrapinnus. On the basis of these results we propose: (1) the exclusion of Amazonspinther and Spintherobolus from the subfamily Cheirodontinae since they are the sister-group of all remaining Characidae; (2) the removal of Macropsobrycon xinguensis of the genus Macropsobrycon; (3) the removal of Leptagoniates pi of the genus Leptagoniates; (4) the inclusion of Leptagoniates pi in the subfamily Cheirodontinae; (5) the removal of Cheirodon stenodon of the genus Cheirodon and its inclusion in the subfamily Cheirodontinae under a new genus name; (6) the need to revise the polyphyletic genera Compsura, Odontostilbe, and Serrapinnus; and (7) the division of Cheirodontinae in three newly defined monophyletic tribes: Cheirodontini, Compsurini, and Pseudocheirodontini. Our results suggest that our knowledge about the largest Neotropical fish family, Characidae, still is incipient. © 2013 Elsevier Inc..

Algunos aspectos de salud mental en relación al fenómeno de urbanización = Psychological and mental health problems of urbanization based on case studies in Peru

Los documentos del Seminario fueron publicados por UNESCO en 1961 con el título: La urbanización en América Latina/Urbanization in Latin America

New strategies for planning and performance evaluation of wireless networks: case studies based on the cross-layer approach

The use of wireless local area networks, called WLANs, as well as the proliferation of the use of multimedia applications have grown rapidly in recent years. Some factors affect the quality of service (QoS) received by the user and interference is one of them. This work presents strategies for planning and performance evaluation through an empirical study of the QoS parameters of a voice over Internet Protocol (VoIP) application in an interference network, as well as the relevance in the design of wireless networks to determine the coverage area of an access point, taking into account several parameters such as power, jitter, packet loss, delay, and PMOS. Another strategy is based on a hybrid approach that considers measuring and Bayesian inference applied to wireless networks, taking into consideration QoS parameters. The models take into account a cross layer vision of networks, correlating aspects of the physical environment, on the signal propagation (power or distance) with aspects of VoIP applications (e.g., jitter and packet loss). Case studies were carried out for two indoor environments and two outdoor environments, one of them displaying main characteristics of the Amazon region (e.g., densely arboreous environments). This last test bed was carried out in a real system because the Government of the State of Pará has a digital inclusion program called NAVEGAPARÁ.

A new calcium silicate-based material (Biodentine) for filling radicular perforation in an endodontic-periodontal lesion: a case report

This case report presents an apical radicular perforation management using new calcium silicate-based cement (Biodentine) in a combined endodontic-periodontal lesion. The presence of apical radicular perforation may interfere in the endodontic treatment prognosis. Radicular perforation filling with bioactive cement through endodontic surgery is a possible treatment. This study presents an apical radicular perforation with periodontal involvement, due to alveolar bone loss on the buccal radicular surface from an incorrect intracanal preparation for the fiber post placing. The chosen alternative was a periapical surgery, the perforation was filled with a silicate and calcium chloride bioactive cement (Biodentine; Septodont, Saint-Maur-des-Fosses Cedex, France), and the radicular surface was etched with citric acid, because the access from root canal was impossible. The follow-up was for 8 months, through clinical and radiographic analysis. At the end of the follow-up, radiographic analyses showed the bone healing, and no clinical changes in periodontal probing depth, gingival recession, and the height of the interproximal mesial and distal papillae were observed. The root perforation treatment has a difficult management, especially when the dental root has a simultaneous periodontal commitment. The Biodentine proves to be a promising material for use in these situations.

Multistep taphonomic alterations in fluvial mollusk shells: a case study in the touro passo formation (pleistocene–holocene), Southern Brazil

Accurate paleoenvironmental reconstruction relies on the correct interpretation of the postmortem history of skeletal remains in shelly assemblages. In contrast to marine settings, actualistic taphonomic studies are lacking for shell-rich concentrations in freshwater riverine systems. In particular, the taphonomic pathways and the origins of taphonomic signatures that are recorded in bioclasts from fluvial settings are poorly known. In this study, we addressed this issue by comparing the taphonomic signatures and shell-damage profiles among shells of freshwater mollusks recorded both in death and in fossil assemblages from the same fluvial environment. Our data indicated that dissolution was the most pervasive taphonomic process leading to the destruction of the shells. The loss of taphonomic information extended beyond shell dissolution in the riverbed, or the early diagenesis in the sedimentary record. The loss of biological information from the living community through the death assemblage, until the incorporation of shells as fossils, mainly occurred during the time the shells were in the sediment-water interface. Though this destruction affected primarily dead shells, reworked fossils also became vulnerable because they were carried out into the river load again by channel avulsion. A model that included the main taphonomic pathways followed by the molluscan shells in the fluvial Touro Passo Formation (Pleistocene-Holocene) is discussed. In this model, two main destructive domains were recognized, which were the biological, physical, and chemical processes operating at the taphonomically active zone (= TAZ domain) and the pedogenetic domain.