Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Springer Science and Business Media LLC ; 2012
    In:  Nutrient Cycling in Agroecosystems Vol. 93, No. 1 ( 2012-5), p. 75-88
    In: Nutrient Cycling in Agroecosystems, Springer Science and Business Media LLC, Vol. 93, No. 1 ( 2012-5), p. 75-88
    Type of Medium: Online Resource
    ISSN: 1385-1314 , 1573-0867
    Language: English
    Publisher: Springer Science and Business Media LLC
    Publication Date: 2012
    detail.hit.zdb_id: 1478384-8
    SSG: 12
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    Springer Science and Business Media LLC ; 2021
    In:  Formal Methods in System Design Vol. 59, No. 1-3 ( 2021-12), p. 136-169
    In: Formal Methods in System Design, Springer Science and Business Media LLC, Vol. 59, No. 1-3 ( 2021-12), p. 136-169
    Abstract: We present algorithms and techniques for the repair of timed system models, given as networks of timed automata (NTA). The repair is based on an analysis of timed diagnostic traces (TDTs) that are computed by real-time model checking tools, such as UPPAAL, when they detect the violation of a timed safety property. We present an encoding of TDTs in linear real arithmetic and use the MaxSMT capabilities of the SMT solver Z3 to suggest a minimal number of possible syntactic repairs of the analyzed model. The suggested repairs include modified values for clock bounds in location invariants and transition guards, adding or removing clock resets, etc. We then present an admissibility criterion, called functional equivalence, which ensures that the proposed repair preserves the functional behavior of the considered NTA. We discuss a proof-of-concept tool called TarTar that we have developed, implementing the repair and admissibility analysis, and give insights into its design and architecture. We evaluate the proposed repair technique on faulty mutations generated from a diverse suite of case studies taken from the literature. We show that TarTar can admissibly repair for 69– $$88\%$$ 88 % of the seeded errors in the considered system models.
    Type of Medium: Online Resource
    ISSN: 0925-9856 , 1572-8102
    Language: English
    Publisher: Springer Science and Business Media LLC
    Publication Date: 2021
    detail.hit.zdb_id: 1479899-2
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    In: Journal of Psychosomatic Research, Elsevier BV, Vol. 121 ( 2019-06), p. 111-112
    Type of Medium: Online Resource
    ISSN: 0022-3999
    RVK:
    Language: English
    Publisher: Elsevier BV
    Publication Date: 2019
    detail.hit.zdb_id: 1500642-6
    SSG: 5,2
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Online Resource
    Online Resource
    Elsevier BV ; 2019
    In:  CATENA Vol. 182 ( 2019-11), p. 104140-
    In: CATENA, Elsevier BV, Vol. 182 ( 2019-11), p. 104140-
    Type of Medium: Online Resource
    ISSN: 0341-8162
    RVK:
    Language: English
    Publisher: Elsevier BV
    Publication Date: 2019
    detail.hit.zdb_id: 1492500-X
    detail.hit.zdb_id: 519608-5
    SSG: 13
    SSG: 14
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    In: Vadose Zone Journal, Wiley, Vol. 19, No. 1 ( 2020-01)
    Abstract: Macropores are hotspots for biogeochemical and exchange processes in soils. Quantification of OC content and CEC along macropore surfaces in soil cores. Combination of XRCT‐based macropore surfaces morphologies with OC and CEC data. Macropore surface volumes (4–6 %) account for one‐third of the OC content and CEC. Macropore–matrix properties are crucial for modeling preferential transport.
    Type of Medium: Online Resource
    ISSN: 1539-1663 , 1539-1663
    URL: Issue
    Language: English
    Publisher: Wiley
    Publication Date: 2020
    detail.hit.zdb_id: 2088189-7
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    Online Resource
    Online Resource
    Wiley ; 2015
    In:  Journal of Plant Nutrition and Soil Science Vol. 178, No. 2 ( 2015-04), p. 250-260
    In: Journal of Plant Nutrition and Soil Science, Wiley, Vol. 178, No. 2 ( 2015-04), p. 250-260
    Abstract: The organic matter (OM) in biopore walls and aggregate coatings may be important for sorption of reactive solutes and water as well as for solute mass exchange between the soil matrix and the preferential flow (PF) domains in structured soil. Structural surfaces are coated by illuvial clay‐organic material and by OM of different origin, e.g. , earthworm casts and root residues. The objectives were to verify the effect of OM on wettability and infiltration of intact structural surfaces in clay‐illuvial horizons (Bt) of Luvisols and to investigate the relevance of the mm‐scale distribution of OM composition on the water and solute transfer. Intact aggregate surfaces and biopore walls were prepared from Bt horizons of Luvisols developed from Loess and glacial till. The mm‐scale spatial distribution of OM composition was scanned using diffuse reflectance infrared Fourier transform (DRIFT) spectroscopy. The ratio between alkyl and carboxyl functional groups in OM was used as potential wettability index (PWI) of the OM. The infiltration dynamics of water and ethanol droplets were determined measuring contact angles (CA) and water drop penetration times (WDPT). At intact surfaces of earthworm burrows and coated cracks of the Loess‐Bt, the potential wettability of the OM was significantly reduced compared to the uncoated matrix. These data corresponded to increased WDPT, indicating a mm‐scaled sub‐critical water repellency. The relation was highly linear for earthworm burrows and crack coatings from the Loess‐Bt with WDPT 〉  2.5 s. Other surfaces of the Loess‐Bt and most surfaces of the till‐derived Bt were not found to be repellent. At these surfaces, no relations between the potential wettability of the OM and the actual wettability of the surface were found. The results suggest that water absorption at intact surface structures, i.e. , mass exchange between PF paths and soil matrix, can be locally affected by a mm‐scale OM distribution if OM is of increased content and is enriched in alkyl functional groups. For such surfaces, the relation between potential and actual wettability provides the possibility to evaluate the mm‐scale spatial distribution of wettability and sorption and mass exchange from DRIFT spectroscopic scanning.
    Type of Medium: Online Resource
    ISSN: 1436-8730 , 1522-2624
    URL: Issue
    RVK:
    Language: English
    Publisher: Wiley
    Publication Date: 2015
    detail.hit.zdb_id: 1481142-X
    detail.hit.zdb_id: 1470765-2
    detail.hit.zdb_id: 200063-5
    SSG: 12
    SSG: 13
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Online Resource
    Online Resource
    Wiley ; 2016
    In:  Journal of Plant Nutrition and Soil Science Vol. 179, No. 1 ( 2016-02), p. 29-38
    In: Journal of Plant Nutrition and Soil Science, Wiley, Vol. 179, No. 1 ( 2016-02), p. 29-38
    Abstract: The surfaces of macropores or aggregates can act as hot spots for biogeochemical processes and solute transport during preferential flow. For the characterization of organic matter (OM) at macropore surfaces non‐destructive methods have been applied such as diffuse reflectance infrared Fourier transform spectroscopy (DRIFT). However, effects of organic components on DRIFT signal intensities are often difficult to distinguish from those of mineral components. Here, DRIFT spectra from intact earthworm burrow walls and coated cracks were re‐evaluated to improve the interpretation of C–H and C=O bands. We compared DRIFT and transmission Fourier transform infrared (FTIR) spectra of entire samples that were from the same pedogenetic soil horizon (Bt) but different in mineral composition and texture ( i.e. , glacial till vs. loess). Spectra of incinerated samples were subtracted from the original spectra. Transmission FTIR and DRIFT spectra were almost identical for entire soil samples. However, the DRIFT spectra were affected by the bulk mode bands ( i.e. , wavenumbers 2000 to 1700 cm −1 ). These bands affected spectral resolution and reproducibility. The ratios between C–H and C=O band intensities as indicator for OM quality obtained with DRIFT were smaller than those obtained from transmission FTIR. The results demonstrated that DRIFT and transmission FTIR data required separate interpretations. DRIFT spectroscopy as a non‐destructive method for analyzing OM composition at intact surfaces in structured soils could be calibrated with information obtained with the more detailed transmission FTIR and complementary methods. Spectral subtraction procedure was found useful to reduce effects of mineral absorption bands. The improved DRIFT data may be related to other soil properties ( e.g. , cation exchange capacity) of hot spots in structured soils.
    Type of Medium: Online Resource
    ISSN: 1436-8730 , 1522-2624
    URL: Issue
    RVK:
    Language: English
    Publisher: Wiley
    Publication Date: 2016
    detail.hit.zdb_id: 1481142-X
    detail.hit.zdb_id: 1470765-2
    detail.hit.zdb_id: 200063-5
    SSG: 12
    SSG: 13
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Online Resource
    Online Resource
    Wiley ; 2011
    In:  Soil Science Society of America Journal Vol. 75, No. 5 ( 2011-09), p. 1626-1639
    In: Soil Science Society of America Journal, Wiley, Vol. 75, No. 5 ( 2011-09), p. 1626-1639
    Type of Medium: Online Resource
    ISSN: 0361-5995
    RVK:
    Language: English
    Publisher: Wiley
    Publication Date: 2011
    detail.hit.zdb_id: 241415-6
    detail.hit.zdb_id: 2239747-4
    detail.hit.zdb_id: 196788-5
    detail.hit.zdb_id: 1481691-X
    SSG: 13
    SSG: 21
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    In: Vadose Zone Journal, Wiley, Vol. 18, No. 1 ( 2019-01), p. 1-13
    Abstract: For preferential flow modeling, different macropore types must be considered. A method was developed for separating biopores and cracks in 3D images from XRCT. The method enabled a more objective determination of structuring element sizes. The voxel‐based approach was found useful for quantification of macropore types. In structured soils, earthworm burrows, root channels, shrinkage cracks, and interaggregate spaces form complex macropore networks. Depending on the type and morphological properties, each macropore surface type is coated with specific organo‐mineral compounds, differently affecting sorption and mass exchange during preferential flow and turnover processes. For a quantitative, macropore type–specific analysis using X‐ray computed tomography (XRCT) with subsequent three‐dimensional (3D) image analysis, a discrimination of biopores from cracks and interaggregate spaces is necessary. We developed a method that allows separating biopores from other larger macropores in 3D images from XRCT of intact soil cores. An image‐processing workflow using the MAVI (Modular Algorithms for Volume Images) software framework ToolIP (Tool for Image Processing) was created to handle XRCT 3D images. Masking steps enabled to retain the surface roughness in the resulting two images of separated biopores and cracks. As a key point, the sizes of the structuring elements used in the spherical opening and dilation were objectively determined. For this purpose, maximum differences in the pore shapes between the 3D images of cylindrical biopores vs. more flat cracks and unregularly interaggregate spaces were focused. At the given resolution of 231‐μm voxel edge length, an optimum size of 2.5 voxels was found for both processing steps. The voxel‐based approach is applicable to XRCT 3D images of different spatial resolution and appears useful for the quantification of physicochemical surface properties of different macropore types for soil volumes, enabling a more precise description of preferential flow and transport.
    Type of Medium: Online Resource
    ISSN: 1539-1663 , 1539-1663
    Language: English
    Publisher: Wiley
    Publication Date: 2019
    detail.hit.zdb_id: 2088189-7
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Online Resource
    Online Resource
    Walter de Gruyter GmbH ; 2016
    In:  Journal of Hydrology and Hydromechanics Vol. 64, No. 2 ( 2016-6-1), p. 111-120
    In: Journal of Hydrology and Hydromechanics, Walter de Gruyter GmbH, Vol. 64, No. 2 ( 2016-6-1), p. 111-120
    Abstract: The organo-mineral coatings of soil aggregates, cracks, and biopores control sorption and macropore-matrix exchange during preferential flow, in particular in the clay-illuvial Bt-horizon of Luvisols. The soil organic matter (SOM) composition has been hypothesized to explain temporal changes in the hydraulic properties of aggregate surfaces. The objective of this research was to find relations between the temporal change in wettability, in terms of droplet infiltration dynamics, and the SOM composition of coated and uncoated aggregate surfaces. We used 20 to 40 mm sized soil aggregates from the Bt2 horizon of a Haplic Luvisol from loess that were (i) coated, (ii) not coated (both intact), and (iii) aggregates from which coatings were removed (cut). The SOM composition of the aggregate surfaces was characterized by infrared spectroscopy in the diffuse reflection mode (DRIFT). A potential wettability index (PWI) was calculated from the ratio of hydrophobic and hydrophilic functional groups in SOM. The water drop penetration times (WDPT) and contact angles (CA) during droplet infiltration experiments were determined on dry and moist aggregate samples of the three types. The decrease in the CA with time was described using the power function (CA( t ) = at −b ). For dry aggregates, the WDPT values were larger for coated as compared to uncoated regions on the aggregate surfaces, and increased with increasing PWI value ( R 2 = 0.75). The a parameter was significantly related to the WDPT ( R 2 = 0.84) and to the PWI ( R 2 = 0.64). The relations between the b parameter and the WDPT ( R 2 = 0.61) and the PWI ( R 2 = 0.53) were also significant. The WDPT values of wet soil aggregates were higher than those of dry aggregates due to high water contents, which limited the droplet infiltration potential. At the wet aggregate surfaces, the WDPT values increased with the PWI of the SOM ( R 2 = 0.64). In contrast to dry samples, no significant relationships were found between parameters a or b of CA( t ) and WDPT or PWI for wet aggregate surfaces. The results suggest that the effect of the SOM composition of coatings on surface wettability decreases with increasing soil moisture. In addition to the dominant impact of SOM, the wettability of aggregate surfaces could be affected by different mineralogical compositions of clay in coatings and interiors of aggregates. Particularly, wettability of coatings could be decreased by illite which was the dominant clay type in coatings. However, the influence of different clay mineral fractions on surface wettability was not due to small number of measurements (2 and 1 samples from coatings and interiors, respectively) quantified.
    Type of Medium: Online Resource
    ISSN: 0042-790X
    Language: English
    Publisher: Walter de Gruyter GmbH
    Publication Date: 2016
    detail.hit.zdb_id: 2503779-1
    SSG: 14
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages