61,198 research outputs found
Seismic data reveal eastern Black Sea Basin structure
No full textRifted continental margins are formed by progressive extension of the lithosphere. The development of these margins plays an integral role in the plate tectonic cycle, and an understanding of the extensional process underpins much hydrocarbon exploration. A key issue is whether the lithosphere extends uniformly, or whether extension varies\ud
with depth. Crustal extension may be determined using seismic techniques. Lithospheric extension may be inferred from the waterloaded subsidence history, determined from\ud
the pattern of sedimentation during and after rifting. Unfortunately, however, many rifted margins are sediment-starved, so the subsidence history is poorly known.\ud
To test whether extension varies between the crust and the mantle, a major seismic experiment was conducted in February–March 2005 in the eastern Black Sea Basin (Figure 1), a deep basin where the subsidence history is recorded\ud
by a thick, post-rift sedimentary sequence. The seismic data from the experiment indicate the presence of a thick, low-velocity zone, possibly representing overpressured sediments. They also indicate that the basement and\ud
Moho in the center of the basin are both several kilometers shallower than previously inferred. These initial observations may have considerable impact on thermal models of the petroleum system in the basin. Understanding\ud
the thermal history of potential source rocks is key to reducing hydrocarbon exploration risk. The experiment, which involved collaboration between university groups in the United Kingdom, Ireland, and Turkey, and BP and\ud
Turkish Petroleum (TPAO), formed part of a larger project that also is using deep seismic reflection and other geophysical data held by the industry partners to determine the subsidence history and hence the strain evolution of\ud
the basin
Report and recommendations from the Klamath Basin Task Force to Senators Wyden and Merkley, Congressman Walden, and Governor Kitzhaber
No full textReport -- Appendix A (Federal authorities memorandum and table) -- Appendix B (Klamath Basin Task Force Members).This archived document is maintained by the Oregon State Library as part of the Oregon Documents Depository Program. It is for informational purposes and may not be suitable for legal purposes.Title from PDF caption (viewed on April 8, 2015).Mode of access: Internet from the Oregon Government Publications Collection.Text in English
Willamette Basin review
No full textThis archived document is maintained by the Oregon State Library as part of the Oregon Documents Depository Program. It is for informational purposes and may not be suitable for legal purposes.Title from cover"May 1966.""Willamette basin review. Appendix D. Fish and wildlife. Section 2. Present status."Mode of access: Internet from the Oregon Government Publications Collection
Review of integrated approaches to river basin, planning, development and management
No full textPiecemeal approaches to river basin development and management may not fully recognize the interactions and interdependence among components of a river basin system. River basin management that focuses on a single water use, on a single sector, or on the supply to particular segment of the basin population may inadvertently disrupt other sectors of the economy (in time or space). Hence, advocating for a systems approach to river basin development - for models that could help account for a river basin's key components and help address various objectives. The authors review the literature on such economic models, including models that deal with issues of water quality and quantity or with environmental considerations, recreational demand, countrywide planning, and multiple objective planning. Their review may serve as a source of references for those who need to consider whether they can use a model. Readers can evaluate the suitability, advantages, and disadvantages of particular modeling approaches for specific objectives.Water Conservation,River Basin Management,Water and Industry,Environmental Economics&Policies,Decentralization,Environmental Economics&Policies,Water Conservation,Water Supply and Sanitation Governance and Institutions,Water and Industry,Town Water Supply and Sanitation
Labelled Deduction
No full textPreface - D. Basin, M. D'Agostino, D. M. Gabbay, S. Matthews, L. Viganò.
Labelled Proof Systems for Intuitionistic Provability - V. Balat, D. Galmiche.
Normal Multimodal Logics with Interaction Axioms - M. Baldoni.
The SAT Problem of Signed CNF Formulas - B. Beckert, R. Hähnle, F. Manyà.
Discipline as Logic: Treating Labels as First Class Citizens - P. Blackburn.
Labelled Abduction (I) - K. Broda, D.M. Gabbay.
Labelled Tableaux for Propositional Linear Time Logic over Finite Frames - S. Cerrito, M. Cialdea Mayer.
Fibred Modal Tableaux - D.M. Gabbay, G. Governatori.
Labelled Deduction for the Guarded Fragment - M. Marx, S. Mikulás, S. Schlobach.
Semantics for Temporal Annotated Constraint Logic Programming - A. Raffaetà, T. Frühwirth.
The Logic of Reusable Propositional Output with the Fulfilment Constraint - L. van der Torre
Willamette River Basin, water and related land resources, a federal-state water resource development study, roster
No full textThis archived document is maintained by the Oregon State Library as part of the Oregon Documents Depository Program. It is for informational purposes and may not be suitable for legal purposes.Mode of access: Internet from the Oregon Government Publications Collection.Text in English
River basin trajectories: societies, environments and development
No full textRiver basin management / River basin development / Hydrology / Water governance / Water use / History / Water allocation / Water transfer / Water quality / Irrigation management / Groundwater management / Surface irrigation / Water lifting / Pumping / Middle East / Jordan / South Africa / Mexico / Tunisia / Tanzania / Iran / India / China / USA / Australia / Lower Jordan River Basin / Olifants River Basin / Lerma-Chapala River Basin / Mediterranean River Basin / Great Ruaha River / Zayandeh Rud River Basin / Krishna River Basin / Bhavani River Basin / Yellow River Basin / Colorado River Basin / Murray Darling River Basin / Merguellil Basin
Modal Specifications of Trace-Based Security Properties
No full textWe introduce a multi-modal logic that combines complementary features of authentication logics and trace-based approaches. Our logic contains two kinds of modalities: implicit belief, which formalizes the view of an external agent reasoning about interleaved protocol executions, and explicit belief, which uses awareness to model the resource-bounded reasoning of the agents involved in the executions. We employ these modalities to formalize extensional and intensional specifications of protocols and their properties, and use these formalizations to characterize and reason about attacks. As an example, we consider the Needham-Schroeder Public Key protocol and use our logic to demonstrate the existence of the well-known man-in-the-middle attack, and also show the equivalence of our modal specification to one based on an interleaved trace semantics
A Recipe for the Complexity Analysis of Non-Classical Logics
No full textIn previous work, we introduced a framework for the uniform formalization of families of non-classical logics with Kripke semantics, such as modal and relevance logics. Here we show how to use this framework to analyze the complexity of the decision problem for these logics, also in a uniform way. The result is a recipe: the user contributes bounds on structural reasoning and the accessibility relation associated with the Kripke semantics and the result is a decision procedure with bounded space requirements. As examples, we give PSPACE decision procedures for the modal logics K4 and S4, and for a positive fragment of the relevance logic B
The Basin Bulletin: Newsletter for Stakeholders of the Raritan Basin Watershed, Issue #19, Spring 2009
No full textThis newsletter of Raritan Basin Watershed Management Project keeps readers up to date on the Raritan Basin Project and has news from the South Branch Watershed Association and other projects around the Raritan Basin. It also has news about the Raritan Basin Watershed Alliance, a new public-private-nonprofit coalition that is focusing on implementation of the Raritan Plan. Articles in this issue feature: The Raritan Plan, NJ Water Supply Master Plan Update; NJ American Water Co. & NJ Water Supply Authority Certified as River-Friendly Business; Americorps Watershed Ambassador Service Trip; Central Jersey Invasive Species Strike Team; North Jersey RC&D Land Restoration Project; River-Friendly Farm Certifications; Prioritizing Agricultural Lands for buffer Implementation; and Raritan -Piedmont Wildlife Habitat Partnership Accomplishments.Issue # 19, Spring 2009Purpose: Newsletter for Stakeholders of the Raritan Basin Watershe
- …
