bluuebunny/crossref_metadata_2025_split huggingface dataset:
Logic–based decision support for strategic environmental assessment
Authors: GAVANELLI MARCO , RIGUZZI FABRIZIO , MILANO MICHELA , CAGNOLI PAOLO 
Published: July 2010

AbstractStrategic Environmental Assessment is a procedure aimed at introducing systematic assessment of the environmental effects of plans and programs. This procedure is based on the so-called coaxial matrices that define dependencies between plan activities (infrastructures, plants, resource extractions, buildings, etc.) and positive and negative environmental impacts, and dependencies between these impacts and environmental receptors. Up to now, this procedure is manually implemented by environmental experts for checking the environmental effects of a given plan or program, but it is never applied during the plan/program construction. A decision support system, based on a clear logic semantics, would be an invaluable tool not only in assessing a single, already defined plan, but also during the planning process in order to produce an optimized, environmentally assessed plan and to study possible alternative scenarios. We propose two logic-based approaches to the problem, one based on Constraint Logic Programming and one on Probabilistic Logic Programming that could be, in the future, conveniently merged to exploit the advantages of both. We test the proposed approaches on a real energy plan and we discuss their limitations and advantages.
Test case generation for object-oriented imperative languages in CLP
Authors: GÓMEZ-ZAMALLOA MIGUEL , ALBERT ELVIRA , PUEBLA GERMÁN 
Published: July 2010

AbstractTesting is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to a system under test. White-box TCG is usually performed by means of symbolic execution, i.e., instead of executing the program on normal values (e.g., numbers), the program is executed on symbolic values representing arbitrary values. When dealing with an object-oriented (OO) imperative language, symbolic execution becomes challenging as, among other things, it must be able to backtrack, complex heap-allocated data structures should be created during the TCG process and features like inheritance, virtual invocations and exceptions have to be taken into account. Due to its inherent symbolic execution mechanism, we pursue in this paper that Constraint Logic Programming (CLP) has a promising application field in tcg. We will support our claim by developing a fully CLP-based framework to TCG of an OO imperative language, and by assessing it on a corresponding implementation on a set of challenging Java programs.
Applying Prolog to develop distributed systems
Authors: LOPES NUNO P. , NAVARRO JUAN A. , RYBALCHENKO ANDREY , SINGH ATUL 
Published: July 2010

AbstractDevelopment of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. While Datalog-based languages have been actively explored for programming distributed systems, Prolog received relatively little attention in this application area so far. In this paper we present a Prolog-based programming system, called DAHL, for the declarative development of distributed systems. DAHL extends Prolog with an event-driven control mechanism and built-in networking procedures. Our experimental evaluation using a distributed hash-table data structure, a protocol for achieving Byzantine fault tolerance, and a distributed software model checker—all implemented in DAHL—indicates the viability of the approach.
CLP-based protein fragment assembly
Authors: DAL PALÙ ALESSANDRO , DOVIER AGOSTINO , FOGOLARI FEDERICO , PONTELLI ENRICO 
Published: July 2010

AbstractThe paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments are extracted by a preprocessor—also developed for this work—from a database of known protein structures that clusters and classifies the fragments according to similarity and frequency. The problem of assembling fragments into a complete conformation is mapped to a constraint solving problem and solved using CLP. The constraint-based model uses a medium discretization degree Cα-side chain centroid protein model that offers efficiency and a good approximation for space filling. The approach and adapts existing energy models to the protein representation used and applies a large neighboring search strategy. The results shows the feasibility and efficiency of the method. The declarative nature of the solution allows to include future extensions, e.g., different size fragments for better accuracy.
Emplacement and assembly of shallow intrusions from multiple magma pulses, Henry Mountains, Utah
Authors: Horsman Eric , Morgan Sven , de Saint-Blanquat Michel , Habert Guillaume , Nugent Andrew , Hunter Robert A. , Tikoff Basil 
Published: July 2010

ABSTRACTThis paper describes three mid-Tertiary intrusions from the Henry Mountains (Utah, USA) that were assembled from amalgamation of multiple horizontal sheet-like magma pulses in the absence of regional deformation. The three-dimensional intrusion geometries are exceptionally well preserved and include: (1) a highly lobate sill; (2) a laccolith; and (3) a bysmalith (a cylindrical, fault-bounded, piston-like laccolith). Individual intrusive sheets are recognised on the margins of the bodies by stacked lobate contacts, and within the intrusions by both intercalated sedimentary wallrock and formation of solid-state fabrics. Finally, conduits feeding these intrusions were mostly sub-horizontal and pipe-like, as determined by both direct observation and modelling of geophysical data.%The intrusion geometries, in aggregate, are interpreted to reflect the time evolution of an idealised upper crustal pluton. These intrusions initiate as sills, evolve into laccoliths, and eventually become piston-like bysmaliths. The emplacement of multiple magma sheets was rapid and pulsed; the largest intrusion was assembled in less than 100 years. The magmatic fabrics are interpreted as recording the internal flow of the sheets preserved by fast cooling rates in the upper crust. Because there are multiple magma sheets, fabrics may vary vertically as different sheets are traversed. These bodies provide unambiguous evidence that some intrusions are emplaced in multiple pulses, and that igneous assembly can be highly heterogeneous in both space and time. The features diagnostic of pulsed assembly observed in these small intrusions can be easily destroyed in larger plutons, particularly in tectonically active regions.
Zoning and resorption of plagioclase in a layered gabbro, as a petrographic indicator of magmatic differentiation
Authors: Hoshide Takashi , Obata Masaaki 
Published: July 2010

ABSTRACTThe Murotomisaki Gabbroic Intrusion is a sill-like layered gabbro emplaced in sedimentary strata of Tertiary age in southwest Japan. The zoning (including resorption structures) and the compositional variations of plagioclase from throughout the intrusion were studied, and it was found that the zoning pattern may be classified into four types, which may well correlated with the hosting rock types, the mode of occurrences and their stratigraphic positions in the intrusion. The plagioclase zoning was successfully decoded, and the sequence of events that took place during the magmatic differentiation was deduced and further interpreted in the context of a stratified basal boundary layer slowly ascending in a solidifying magma body. It was shown that various layered structures – modal layering, podiform gabbroic pegmatites and anorthositic layers – observed in the Murotomisaki Gabbro were formed within the moving basal boundary layer by flushing of H2O-rich fluid and fractionated silicate melts from below. By the fluxing of hydrous fluids, plagioclase crystals preferentially dissolved and then melt fraction increased in the basal boundary layer. Under these circumstances, plagioclase-rich fractionated melts diapirically segregated from the crystal pile. Calcic plagioclases, which are out of equilibrium in the central part of the intrusion, may have originated from the basal boundary layer in this manner.
The sanukitoid series: magmatism at the Archaean–Proterozoic transition
Authors: Martin Hervé , Moyen Jean-François , Rapp Robert 
Published: July 2010

ABSTRACTA specific type of granitoid, referred to as sanukitoid (Shirey & Hanson 1984), was emplaced mainly across the Archaean–Proterozoic transition. The major and trace element composition of sanukitoids is intermediate between typical Archaean TTG and modern arc granitoids. However, among sanukitoids, two groups can be distinguished on the basis of the Ti content of the less differentiated rocks of the suite: high- and low-Ti sanukitoids. Melting experiments and petrogenetic modelling show that they may have formed by either (1) melting of mantle peridotite previously metasomatised by felsic melts of TTG composition, or (2) by reaction between TTG melts and mantle peridotite (assimilation). Rocks of the sanukitoid suite were emplaced at the Archaean–Proterozoic boundary, possibly marking the time when TTG-dominated granitoid magmatism changed to a more modern-style, arc-dominated magmatism. Consequently, the intermediate character of sanukitoids is not only compositional but chronological. The succession of granitoid magmatism with time is integrated in a plate tectonic model where it is linked to the thermal evolution of subduction zones, reflecting the progressive cooling of Earth: (1) the Archaean Earth’s heat production was high enough to allow the production of large amounts of TTG granitoids formed by partial melting of recycled basaltic crust (‘slab melting’); (2) at the end of the Archaean, due to the progressive cooling of the Earth, the extent of slab melting was reduced, resulting in lower melt:rock ratios. In such conditions the slab melts can be strongly contaminated by assimilation of mantle peridotite, thus giving rise to low-Ti sanukitoids. It is also possible that the slab melts were totally consumed in reactions with mantle peridotite, subsequent melting of this ‘melt-metasomatised mantle’ producing the high-Ti sanukitoid magmas; (3) after 2·5 Ga, Earth heat production was too low to allow slab melting, except in relatively rare geodynamic circumstances, and most modern arc magmas are produced by melting of the mantle wedge peridotite metasomatised by fluids from dehydration of the subducted slab. Of course, such changes did not take place exactly at the same time all over the world. The Archaean mechanisms coexisted with new processes over a relatively long time period, even if they were subordinate to the more modern processes.
The geochemistry of Archaean plagioclase-rich granites as a marker of source enrichment and depth of melting
Authors: Moyen J.-F. , Champion D. , Smithies R. H. 
Published: July 2010

ABSTRACTIn geochemical diagrams, granitoids define ‘trends’ that reflect increasing differentiation or melting degree. The position of an individual sample in such a trend, whilst linked to the temperature of equilibration, is difficult to interpret. On the other hand, the positions of the trends within the geochemical space (and not the position of a sample within a trend) carry important genetic information, as they reflect the nature of the source (degree of enrichment) and the depth of melting. This paper discusses the interpretation of geochemical trends, to extract information relating to the sources of granitoid magmas and the depth of melting.%Applying this approach to mid-Archaean granitoids from both the Barberton granite–greenstone terrane (South Africa) and the Pilbara Craton (Australia) reveals two features. The first is the diversity of the group generally referred to as ‘TTGs’ (tonalites, trondhjemites and granodiorites). These appear to be composed of at least three distinct sub-series, one resulting from deep melting of relatively depleted sources, the second from shallower melting of depleted sources, and the third from shallow melting of enriched sources. The second feature is the contrast between the (spatial as well as temporal) distributions and associations of the granites in both cratons.
The evolution of late-Hercynian granites and rhyolites documented by quartz – a review
Authors: Müller Axel , van den Kerkhof Alfons M. , Behr Hans-Jürgen , Kronz Andreas , Koch-Müller Monika 
Published: July 2010

ABSTRACTThe potential of igneous quartz for providing a better understanding of magmatic processes is demonstrated by studying late-Hercynian rhyolites and granites from central and western Europe. Cathodoluminescence (CL) reveals growth patterns and alteration structures within igneous quartz reflecting the magma crystallisation history. The relatively stable and blue-dominant CL of zoned phenocrysts is principally related to variations in the Ti concentration, which is a function of the crystallisation temperature. The Al/Ti ratio of igneous quartz increases with progressive magma differentiation, as Ti is more compatible, compared to Al, Li, K, Ge, B, Fe, P during magma evolution. The red-dominant CL of the anhedral groundmass quartz in granite is unstable during electron bombardment and associated with OH- and H2O-bearing lattice defects. Thus, CL properties of quartz are different for rocks formed from H2O-poor and H2O-rich melts. Both groundmass and phenocrysts in granites are rich in alteration structures as a result of interaction with deuteric fluids during cooling, whereas phenocrysts in extrusive rocks do not usually contain such structures. The combined study of trace elements along with the analysis of quartz textures and melt inclusion inventories may reveal detailed PTX-paths of granite magmas. This study shows that quartz is a sensitive indicator for physico-chemical changes during the evolution of silicarich magmas. Common growth textures show a wide variety in quartz phenocrysts in rhyolites and some granites. This paper presents a classification of textures, which formed as a result of heterogeneous intra-granular lattice defects and impurities. The alternation of growth and resorption microtextures reflects stepwise adiabatic and non-adiabatic magma ascent, temporary storage of magma in reservoirs and mixing with more mafic, hotter magma. The anhedral groundmass quartz overgrowing early-magmatic phenocrysts in granites is free of growth zoning.
Crustal melt granites and migmatites along the Himalaya: melt source, segregation, transport and granite emplacement mechanisms
Authors: Searle M. P. , Cottle J. M. , Streule M. J. , Waters D. J. 
Published: July 2010

ABSTRACTIndia–Asia collision resulted in crustal thickening and shortening, metamorphism and partial melting along the 2200 km-long Himalayan range. In the core of the Greater Himalaya, widespread in situ partial melting in sillimanite+K-feldspar gneisses resulted in formation of migmatites and Ms+Bt+Grt+Tur±Crd±Sil leucogranites, mainly by muscovite dehydration melting. Melting occurred at shallow depths (4–6 kbar; 15–20 km depth) in the middle crust, but not in the lower crust. 87Sr/86Sr ratios of leucogranites are very high (0·74–0·79) and heterogeneous, indicating a 100 crustal protolith. Melts were sourced from fertile muscovite-bearing pelites and quartzo-feldspathic gneisses of the Neo-Proterozoic Haimanta–Cheka Formations. Melting was induced through a combination of thermal relaxation due to crustal thickening and from high internal heat production rates within the Proterozoic source rocks in the middle crust. Himalayan granites have highly radiogenic Pb isotopes and extremely high uranium concentrations. Little or no heat was derived either from the mantle or from shear heating along thrust faults. Mid-crustal melting triggered southward ductile extrusion (channel flow) of a mid-crustal layer bounded by a crustal-scale thrust fault and shear zone (Main Central Thrust; MCT) along the base, and a low-angle ductile shear zone and normal fault (South Tibetan Detachment; STD) along the top. Multi-system thermochronology (U–Pb, Sm–Nd, 40Ar–39Ar and fission track dating) show that partial melting spanned ̃24–15 Ma and triggered mid-crustal flow between the simultaneously active shear zones of the MCT and STD. Granite melting was restricted in both time (Early Miocene) and space (middle crust) along the entire length of the Himalaya. Melts were channelled up via hydraulic fracturing into sheeted sill complexes from the underthrust Indian plate source beneath southern Tibet, and intruded for up to 100 km parallel to the foliation in the host sillimanite gneisses. Crystallisation of the leucogranites was immediately followed by rapid exhumation, cooling and enhanced erosion during the Early–Middle Miocene.
Experimental fisheries for black scabbardfish (Aphanopus carbo) in the Azores, Northeast Atlantic
Authors: Machete Miguel , Morato Telmo , Menezes Gui 
Published: July 2010

Abstract
Machete, M., Morato, T., and Menezes, G. 2011. Experimental fisheries for black scabbardfish (Aphanopus carbo) in the Azores, Northeast Atlantic – ICES Journal of Marine Science, 68: 302–308. In this study, we used fisheries observers' data to analyse and describe the experimental fishing of black scabbardfish in the Azores in terms of type of gear, fishing operation, catch per unit effort (cpue), and fish size compositions. Standardized catch in numbers per 1000 hooks varied from 103 to 210 fish with an overall average of 132 fish per 1000 hooks. Recorded cpue values were similar to those recorded for Madeira and mainland Portugal in early 2000 but were higher than those observed in mainland Portugal for recent years. Bycatch was similar to that observed for other longline fisheries but much lower than in the North Atlantic deep-water trawl fishery. Fish size composition showed differences between locations in the Azores. Fish in Pico and São Jorge/Graciosa were consistently smaller than in other areas sampled and this may reflect the occurrence of an additional species, Aphanopus intermedius, in this area as proposed by gene analyses. Black scabbardfish (of possibly two species) may be considered an alternative resource for Azorean fisheries. Based on experience from other scabbardfish fisheries, however, it is suggested that fishing mortality should be maintained at a low level, traditional fishing methods should be encouraged, and bycatch should be closely monitored. Future studies of biology and distribution, stock assessments, and fisheries management advice should take into account the probable occurrence of two very similar species in the area. This study also highlights the importance of maintaining the fishery monitoring programme for the black scabbardfish fisheries in the Azores.
Treatment of opioid dependence in adolescents and young adults with extended release naltrexone: preliminary case‐series and feasibility
Authors: Fishman Marc J. , Winstanley Erin L. , Curran Erin , Garrett Shannon , Subramaniam Geetha 
Published: July 2010

ABSTRACTBackground  Opioid dependence is an increasing problem among adolescents and young adults, but in contrast to the standard in the adult population, adoption of pharmacotherapies has been slow. Extended‐release naltrexone (XR‐NTX) is a promising treatment that has been receiving increasing interest for adult opioid dependence. Clinical chart abstractions were performed on a convenience sample of 16 serial adolescent and young adult cases (mean age 18.5 years) treated for opioid dependence with XR‐NTX who attended at least one out‐patient clinical follow‐up visit.Case descriptions  Of these 16 cases, 10 of 16 (63%) were retained in treatment for at least 4 months and nine of 16 (56%) had a ‘good’ outcome defined as having substantially decreased opioid use, improvement in at least one psychosocial domain and no new problems due to substance use.Conclusions  These descriptive results suggest that XR‐NTX in the treatment of adolescents and young adults with opioid dependence is well tolerated over a period of 4 months and feasible in a community‐based treatment setting, and associated with good outcomes in a preliminary, small non‐controlled case‐series. This probably reflects an overall trend towards greater adoption of medication treatments for this population.
Effects of a 5‐HT3 antagonist, ondansetron, on fasting and postprandial small bowel water content assessed by magnetic resonance imaging
Authors: Marciani L. , Wright J. , Foley S. , Hoad C. L. , Totman J. J. , Bush D. , Hartley C. , Armstrong A. , Manby P. , Blackshaw E. , Perkins A. C. , Gowland P. A. , Spiller R. C. 
Published: July 2010

Aliment Pharmacol Ther 2010; 32: 655–663SummaryBackground  5‐HT3 antagonists have been shown to be effective in relieving the symptoms of irritable bowel syndrome with diarrhoea (IBS‐D). Using a recently validated magnetic resonance imaging (MRI) method, we have demonstrated reduced fasting small bowel water content (SBWC) in IBS‐D associated with accelerated small bowel transit. We hypothesized that slowing of transit with ondansetron would lead to an increase in SBWC by inhibiting fasting motility.Aim  To assess the effects of ondansetron compared with placebo in healthy volunteers on SBWC and motility in two different groups of subjects, one studied using MRI and another using manometry.Methods  Healthy volunteers were given either a placebo or ondansetron on the day prior to and on the study day. Sixteen volunteers underwent baseline fasting and postprandial MRI scans for 270 min. In a second study, a separate group of n = 18 volunteers were intubated and overnight migrating motor complex (MMC) recorded. Baseline MRI scans were carried out after the tube was removed.Results  Fasting SBWC was markedly increased by ondansetron (P < 0.0007). Ondansetron reduced the overall antroduodenal Motility Index (P < 0.04). The subjects who were intubated had significantly lower fasting SBWC (P < 0.0002) compared with the group of subjects who were not intubated.Conclusions  The 5‐HT3 receptor antagonism increased fasting small bowel water. This was associated with reduced fasting antroduodenal Motility Index which may explain the clinical benefit of such drugs.
Advanced glycation end‐products and the kidney
Authors: Busch Martin , Franke Sybille , Rüster Christiane , Wolf Gunter 
Published: July 2010

Eur J Clin Invest 2010; 40 (8): 742–755AbstractBackground Advanced glycation end‐products (AGEs) are increased in situations with hyperglycemia and oxidative stress such as diabetes mellitus. They are products of nonenzymatic glycation and oxidation of proteins and lipids. The kidney plays an important role in clearance and metabolism of AGEs.Methods Medline©and other relevant databases were searched. In addition, key review articles were scanned for relevant original publication. Finally, original data from our research group were also included.Results Kidney podocytes and endothelial cells express specific receptors for AGEs. Their activation leads to multiple pathophysiological effects including hypertrophy with cell cycle arrest and apoptosis, altered migration, and generation of proinflammatory cytokines. AGEs have been primarily implicated in the pathophysiology of diabetic nephropathy and diabetic microvascular complications. AGEs are also involved in other primary renal diseases as well as in the development and progression of atherosclerosis. However, serum or plasma concentrations of AGEs do not correlate well with cardiovascular events in patients with chronic kidney disease (CKD). This is likely due to the fact that serum concentrations failed to correlate with AGEs deposited in target tissues. Several inhibitors of the AGE‐RAGE axis are currently tested for various indications.Conclusion AGEs and their receptors are involved in the pathogenesis of vascular and kidney disease. The role of circulating AGEs as biomarkers for cardiovascular risk estimation is questionable. Whether putative inhibitors of AGEs will get the maturity for its therapeutic use in the future remains open.