956 resultados para Semi-infinite and infinite programming


Relevância:

100.00% 100.00%

Publicador:

Resumo:

The main objective of this study is to reveal the housing patterns in Cairo as one of the most rapidly urbanizing city in the developing world. The study outlines the evolution of the housing problem and its influencing factors in Egypt generally and in Cairo specifically. The study takes into account the political transition from the national state economy to the open door policy, the neo-liberal period and finally to the housing situation after the January 2011 Revolution. The resulting housing patterns in Cairo Governorate were identified as (1) squatter settlements, (2) semi-informal settlements, (3) deteriorated inner pockets, and (4) formal settlements. rnThe study concluded that the housing patterns in Cairo are reflecting a multifaceted problem resulting in: (1) the imbalance between the high demand for affordable housing units for low-income families and the oversupply of upper-income housing, (2) the vast expansion of informal areas both on agricultural and desert lands, (3) the deterioration of the old parts of Cairo without upgrading or appropriate replacement of the housing structure, and (4) the high vacancy rate of newly constructed apartmentsrnThe evolution and development of the current housing problem were attributed to a number of factors. These factors are demographic factors represented in the rapid growth of the population associated with urbanization under the dictates of poverty, and the progressive increase of the prices of both buildable land and building materials. The study underlined that the current pattern of population density in Cairo Governorate is a direct result of the current housing problems. Around the depopulation core of the city, a ring of relatively stable areas in terms of population density has developed. Population densification, at the expense of the depopulation core, is characterizing the peripheries of the city. The population density in relation to the built-up area was examined using Landsat-7 ETM+ image (176/039). The image was acquired on 24 August 2006 and considered as an ideal source for land cover classification in Cairo since it is compatible with the population census 2006.rnConsidering that the socio-economic setting is a driving force of change of housing demand and that it is an outcome of the accumulated housing problems, the socio-economic deprivations of the inhabitants of Cairo Governorate are analyzed. Small administrative units in Cairo are categorized into four classes based on the Socio-Economic Opportunity Index (SEOI). This index is developed by using multiple domains focusing on the economic, educational and health situation of the residential population. The results show four levels of deprivation which are consistent with the existing housing patterns. Informal areas on state owned land are included in the first category, namely, the “severely deprived” level. Ex-formal areas or deteriorated inner pockets are characterized as “deprived” urban quarters. Semi-informal areas on agricultural land concentrate in the third category of “medium deprived” settlements. Formal or planned areas are included mostly in the fourth category of the “less deprived” parts of Cairo Governorate. rnFor a better understanding of the differences and similarities among the various housing patterns, four areas based on the smallest administrative units of shiakhat were selected for a detailed study. These areas are: (1) El-Ma’desa is representing a severely deprived squatter settlement, (2) Ain el-Sira is an example for an ex-formal deprived area, (3) El-Marg el-Qibliya was selected as a typical semi-informal and medium deprived settlement, and (4) El-Nozha is representing a formal and less deprived area.rnThe analysis at shiakhat level reveals how the socio-economic characteristics and the unregulated urban growth are greatly reflected in the morphological characteristics of the housing patterns in terms of street network and types of residential buildings as well as types of housing tenure. It is also reflected in the functional characteristics in terms of land use mix and its degree of compatibility. It is concluded that the provision and accessibility to public services represents a performance measure of the dysfunctional structure dominating squatter and semi-informal settlements on one hand and ample public services and accessibility in formal areas on the other hand.rn

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Classic group recommender systems focus on providing suggestions for a fixed group of people. Our work tries to give an inside look at design- ing a new recommender system that is capable of making suggestions for a sequence of activities, dividing people in subgroups, in order to boost over- all group satisfaction. However, this idea increases problem complexity in more dimensions and creates great challenge to the algorithm’s performance. To understand the e↵ectiveness, due to the enhanced complexity and pre- cise problem solving, we implemented an experimental system from data collected from a variety of web services concerning the city of Paris. The sys- tem recommends activities to a group of users from two di↵erent approaches: Local Search and Constraint Programming. The general results show that the number of subgroups can significantly influence the Constraint Program- ming Approaches’s computational time and e�cacy. Generally, Local Search can find results much quicker than Constraint Programming. Over a lengthy period of time, Local Search performs better than Constraint Programming, with similar final results.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Background: Aspirin resistance is considered to be an enigma and the data available on aspirin resistance is scarce. This study was initiated to prospectively evaluate the prevalence of aspirin resistance in patients with stable coronary artery disease by using an established method of optical platelet aggregation. Methods and Results: We studied 50 patients who were on 150 mg of aspirin for the previous 7 days. Fasting blood samples were assessed using optical platelet aggregation (Chronolog Corp, USA). The mean platelet aggregation with 10 μm of adenosine diphosphate in our patient group was 49.42 ± 23.29% and with 0.5 mg/ ml of arachidonic acid it was 13.58 ± 21.40%. Aspirin resistance was defined as a mean aggregation of ≥70% with 10 μm of adenosine diphosphate and a mean aggregation of ≥ 20% with 0.5 mg/ml of arachidonic acid. Aspirin semi responders were defined as those meeting only one of the criteria. Based on these criteria, 2.08% patients were found to be aspirin-resistant, 39.58% were aspirin semi responders and 58.33% were aspirin responders. Females tended to be more aspirin semi responsive (p = 0.08). All other parameters tested, namely, age, smoking, diabetes mellitus, hypertension, obesity, lipids, hemoglobin, platelet count, ejection fraction and drug intake did not show any statistically significant difference among the groups. Thus, in our group 41.66% patients showed inadequate response to aspirin. Conclusions: This study shows that aspirin resistance and aspirin semi responsiveness do occur in the Indian patients and there are no reliable clinical predictors for this condition. The diagnosis therefore relies primarily on laboratory tests.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

BACKGROUND Two varieties exist in the Chinese crested dog breed, namely hairless Chinese crested dogs presenting with hypotrichosis and dentition abnormalities, and the coated powderpuffs. Hairless Chinese crested dogs are obligate heterozygotes for a FOXI3 mutation, and this phenotype is classified as a form of canine ectodermal dysplasia. OBJECTIVES We provide a detailed histological description of hair follicles and their density for the three subphenotypes (true hairless, semi-coated and powderpuffs) of Chinese crested dogs. Apocrine and exocrine glands of the skin and other tissues were compared with findings reported from dogs with X-linked ectodermal dysplasia. ANIMALS Skin biopsies were collected from 22 Chinese crested dogs. Additionally, the glands of the skin and other tissues were examined from another two dogs available for postmortem examination. METHODS Skin biopsies and tissues were processed, stained and evaluated in a blinded fashion. RESULTS Hair follicular anomalies decreased with increasing number of hairs in the different phenotypes. The FOXI3 mutants had only simple primary hair follicles, whereas the nonmutant powderpuffs had compound follicles identical to other dog breeds. All Chinese crested dogs had an anagen-dominated hair cycle. Furthermore, apocrine glands in the skin and respiratory mucous glands of the mutant Chinese crested dogs were present and normal. CONCLUSIONS AND CLINICAL IMPORTANCE We have identified striking histopathological differences between the three subphenotypes of Chinese crested dogs. We clearly demonstrated distinct differences between the canine ectodermal dysplasia in Chinese crested dogs and dogs with X-linked ectodermal dysplasia.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

OBJECTIVES The protozoan parasite Giardia lamblia causes giardiasis, a persistent diarrhoea. Nitro drugs such as the nitroimidazole metronidazole and the nitrothiazolide nitazoxanide are used for the treatment of giardiasis. Nitroreductases may play a role in activating these drugs. G. lamblia contains two nitroreductases, GlNR1 and GlNR2. The aim of this work was to elucidate the role of GlNR2. METHODS Expression of GlNR2 was analysed by reverse transcription PCR. Recombinant GlNR2 was overexpressed in G. lamblia and drug susceptibility was analysed. Recombinant GlNR2 was subjected to functional assays. Escherichia coli expressing full-length or truncated GlNR1 and GlNR2 were grown in the presence of nitro compounds. Using E. coli reporter strains for nitric oxide and DNA damage responses, we analysed whether GlNR1 and GlNR2 elicited the respective responses in the presence, or absence, of the drugs. RESULTS G. lamblia trophozoites overexpressing GlNR2 were less susceptible to both nitro drugs as compared with control trophozoites. GlNR2 was a functional nitroreductase when expressed in E. coli. E. coli expressing GlNR1 was more susceptible to metronidazole under aerobic and semi-aerobic and to nitazoxanide under semi-aerobic growth conditions. E. coli expressing GlNR2 was not susceptible to either drug. In reporter strains, GlNR1, but not GlNR2, elicited nitric oxide and DNA repair responses, even in the absence of nitro drugs. CONCLUSIONS These findings suggest that GlNR2 is an active nitroreductase with a mode of action different from that of GlNR1. Thus, susceptibility to nitro drugs may depend not only on activation, but also on inactivation of the drugs by specific nitroreductases.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Four different literature parameterizations for the formation and evolution of urban secondary organic aerosol (SOA) frequently used in 3-D models are evaluated using a 0-D box model representing the Los Angeles metropolitan region during the California Research at the Nexus of Air Quality and Climate Change (CalNex) 2010 campaign. We constrain the model predictions with measurements from several platforms and compare predictions with particle- and gas-phase observations from the CalNex Pasadena ground site. That site provides a unique opportunity to study aerosol formation close to anthropogenic emission sources with limited recirculation. The model SOA that formed only from the oxidation of VOCs (V-SOA) is insufficient to explain the observed SOA concentrations, even when using SOA parameterizations with multi-generation oxidation that produce much higher yields than have been observed in chamber experiments, or when increasing yields to their upper limit estimates accounting for recently reported losses of vapors to chamber walls. The Community Multiscale Air Quality (WRF-CMAQ) model (version 5.0.1) provides excellent predictions of secondary inorganic particle species but underestimates the observed SOA mass by a factor of 25 when an older VOC-only parameterization is used, which is consistent with many previous model–measurement comparisons for pre-2007 anthropogenic SOA modules in urban areas. Including SOA from primary semi-volatile and intermediate-volatility organic compounds (P-S/IVOCs) following the parameterizations of Robinson et al. (2007), Grieshop et al. (2009), or Pye and Seinfeld (2010) improves model–measurement agreement for mass concentration. The results from the three parameterizations show large differences (e.g., a factor of 3 in SOA mass) and are not well constrained, underscoring the current uncertainties in this area. Our results strongly suggest that other precursors besides VOCs, such as P-S/IVOCs, are needed to explain the observed SOA concentrations in Pasadena. All the recent parameterizations overpredict urban SOA formation at long photochemical ages (3 days) compared to observations from multiple sites, which can lead to problems in regional and especially global modeling. However, reducing IVOC emissions by one-half in the model to better match recent IVOC measurements improves SOA predictions at these long photochemical ages. Among the explicitly modeled VOCs, the precursor compounds that contribute the greatest SOA mass are methylbenzenes. Measured polycyclic aromatic hydrocarbons (naphthalenes) contribute 0.7% of the modeled SOA mass. The amounts of SOA mass from diesel vehicles, gasoline vehicles, and cooking emissions are estimated to be 16–27, 35–61, and 19–35 %, respectively, depending on the parameterization used, which is consistent with the observed fossil fraction of urban SOA, 71(+-3) %. The relative contribution of each source is uncertain by almost a factor of 2 depending on the parameterization used. In-basin biogenic VOCs are predicted to contribute only a few percent to SOA. A regional SOA background of approximately 2.1 μgm-3 is also present due to the long-distance transport of highly aged OA, likely with a substantial contribution from regional biogenic SOA. The percentage of SOA from diesel vehicle emissions is the same, within the estimated uncertainty, as reported in previous work that analyzed the weekly cycles in OA concentrations (Bahreini et al., 2012; Hayes et al., 2013). However, the modeling work presented here suggests a strong anthropogenic source of modern carbon in SOA, due to cooking emissions, which was not accounted for in those previous studies and which is higher on weekends. Lastly, this work adapts a simple two-parameter model to predict SOA concentration and O/C from urban emissions. This model successfully predicts SOA concentration, and the optimal parameter combination is very similar to that found for Mexico City. This approach provides a computationally inexpensive method for predicting urban SOA in global and climate models. We estimate pollution SOA to account for 26 Tg yr-1 of SOA globally, or 17% of global SOA, one third of which is likely to be non-fossil.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We examined near-surface, late Holocene deep-sea sediments at nine sites on a north-south transect from the Congo Fan (4°S) to the Cape Basin (30°S) along the Southwest African continental margin. Contents, distribution patterns and molecular stable carbon isotope signatures of long-chain n-alkanes (C27-C33) and n-alkanols (C22-C32) are indicators of land plant vegetation of different biosynthetic types, which can be correlated with concentrations and distributions of pollen taxa in the same sediments. Calculated clusters of wind trajectories and satellite Aerosol Index imagery afford information on the source areas for the lipids and pollen on land and their transport pathways to the ocean sites. This multidisciplinary approach on an almost continental scale provides clear evidence of latitudinal differences in lipid and pollen composition paralleling the major phytogeographic zonations on the adjacent continent. Dust and smoke aerosols are mainly derived from the western and central South African hinterland dominated by deserts, semi-deserts and savannah regions rich in C4 and CAM plants. The northern sites (Congo Fan area and northern Angola Basin), which get most of their terrestrial material from the Congo Basin and the Angolan highlands, may also receive some material from the Chad region. Very little aerosol from the African continent is transported to the most southerly sites in the Cape Basin. As can be expected from the present position of the phytogeographic zones, the carbon isotopic signatures of the n-alkanes and n-alkanols both become isotopically more enriched in 13C from north to south. The results of the study suggest that this combination of pollen data and compound-specific isotope geochemical proxies can be effectively applied in the reconstruction of past continental phytogeographic developments.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A number of data description languages initially designed as standards for trie WWW are currently being used to implement user interfaces to programs. This is done independently of whether such programs are executed in the same or a different host as trie one running the user interface itself. The advantage of this approach is that it provides a portable, standardized, and easy to use solution for the application programmer, and a familiar behavior for the user, typically well versed in the use of WWW browsers. Among the proposed standard description languages, VRML is a aimed at representing three dimensional scenes including hyperlink capabilities. VRML is already used as an import/export format in many 3-D packages and tools, and has been shown effective in displaying complex objects and scenarios. We propose and describe a Prolog library which allows parsing and checking VRML code, transforming it, and writing it out as VRML again. The library converts such code to an internal representation based on first order terms which can then be arbitrarily manipulated. We also present as an example application the use of this library to implement a novel 3-D visualization for examining and understanding certain aspects of the behavior of CLP(FD) programs.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We present a concurrent semantics (i.e. a semantics where concurrency is explicitely represented) for CC programs with atomic tells. This allows to derive concurrency, dependency, and nondeterminism information for such languages. The ability to treat failure information puts CLP programs also in the range of applicability of our semantics: although such programs are not concurrent, the concurrency information derived in the semantics may be interpreted as possible parallelism, thus allowing to safely parallelize those computation steps which appear to be concurrent in the net. Dually, the dependency information may also be interpreted as necessary sequentialization, thus possibly exploiting it to schedule CC programs. The fact that the semantical structure contains dependency information suggests a new tell operation, which checks for consistency only the constraints it depends on, achieving a reasonable trade-off between efficiency and atomicity.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We present a parallel graph narrowing machine, which is used to implement a functional logic language on a shared memory multiprocessor. It is an extensión of an abstract machine for a purely functional language. The result is a programmed graph reduction machine which integrates the mechanisms of unification, backtracking, and independent and-parallelism. In the machine, the subexpressions of an expression can run in parallel. In the case of backtracking, the structure of an expression is used to avoid the reevaluation of subexpressions as far as possible. Deterministic computations are detected. Their results are maintained and need not be reevaluated after backtracking.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper presents a technique for achieving a class of optimizations related to the reduction of checks within cycles. The technique uses both Program Transformation and Abstract Interpretation. After a ñrst pass of an abstract interpreter which detects simple invariants, program transformation is used to build a hypothetical situation that simpliñes some predicates that should be executed within the cycle. This transformation implements the heuristic hypothesis that once conditional tests hold they may continué doing so recursively. Specialized versions of predicates are generated to detect and exploit those cases in which the invariance may hold. Abstract interpretation is then used again to verify the truth of such hypotheses and conñrm the proposed simpliñcation. This allows optimizations that go beyond those possible with only one pass of the abstract interpreter over the original program, as is normally the case. It also allows selective program specialization using a standard abstract interpreter not speciñcally designed for this purpose, thus simplifying the design of this already complex module of the compiler. In the paper, a class of programs amenable to such optimization is presented, along with some examples and an evaluation of the proposed techniques in some application áreas such as floundering detection and reducing run-time tests in automatic logic program parallelization. The analysis of the examples presented has been performed automatically by an implementation of the technique using existing abstract interpretation and program transformation tools.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Most implementations of parallel logic programming rely on complex low-level machinery which is arguably difflcult to implement and modify. We explore an alternative approach aimed at taming that complexity by raising core parts of the implementation to the source language level for the particular case of and-parallelism. Therefore, we handle a signiflcant portion of the parallel implementation mechanism at the Prolog level with the help of a comparatively small number of concurrency-related primitives which take care of lower-level tasks such as locking, thread management, stack set management, etc. The approach does not eliminate altogether modiflcations to the abstract machine, but it does greatly simplify them and it also facilitates experimenting with different alternatives. We show how this approach allows implementing both restricted and unrestricted (i.e., non fork-join) parallelism. Preliminary experiments show that the amount of performance sacriflced is reasonable, although granularity control is required in some cases. Also, we observe that the availability of unrestricted parallelism contributes to better observed speedups.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We describe the current status of and provide preliminary performance results for a compiler of Prolog to C. The compiler is novel in that it is designed to accept different kinds of high-level information (typically obtained via an analysis of the initial Prolog program and expressed in a standardized language of assertions) and use this information to optimize the resulting C code, which is then further processed by an off-the-shelf C compiler. The basic translation process used essentially mimics an unfolding of a C-coded bytecode emúlator with respect to the particular bytecode corresponding to the Prolog program. Optimizations are then applied to this unfolded program. This is facilitated by a more flexible design of the bytecode instructions and their lower-level components. This approach allows reusing a sizable amount of the machinery of the bytecode emulator: ancillary pieces of C code, data definitions, memory management routines and áreas, etc., as well as mixing bytecode emulated code with natively compiled code in a relatively straightforward way We report on the performance of programs compiled by the current versión of the system, both with and without analysis information.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

CIAO is an advanced programming environment supporting Logic and Constraint programming. It offers a simple concurrent kernel on top of which declarative and non-declarative extensions are added via librarles. Librarles are available for supporting the ISOProlog standard, several constraint domains, functional and higher order programming, concurrent and distributed programming, internet programming, and others. The source language allows declaring properties of predicates via assertions, including types and modes. Such properties are checked at compile-time or at run-time. The compiler and system architecture are designed to natively support modular global analysis, with the two objectives of proving properties in assertions and performing program optimizations, including transparently exploiting parallelism in programs. The purpose of this paper is to report on recent progress made in the context of the CIAO system, with special emphasis on the capabilities of the compiler, the techniques used for supporting such capabilities, and the results in the áreas of program analysis and transformation already obtained with the system.