957 resultados para adjudication, expert witness, natural justice, security of payment legislation.
Resumo:
The photophysical properties of the complex Sm(PM)(3)(TP)(2) [PM = 1-phenyl-3-methyl-4-isobutyryl-5-pyrazolone, TP = triphenyl phosphine oxide] are determined in crystal state, and energy transfer process is modeled for ligands to center Sm(III) ion. The characteristic luminescence of Sm(III) is sensitized by PM and TP, and most of transitions from excited state (4)G(5/2) of Sm3+ are detected.
Resumo:
in this communication, a novel Er3+ complex Er(PT)(3)TPPO [PT = 1-phenyl-3-methyl-4-tert-butylbenzoyl-5-pyrazolone, TPPO = triphenyl phosphine oxide] is successfully synthesized and characterized by elemental analysis and single-crystal X-ray diffraction. Its optical properties and the energy transfer process from the ligand PT to the Er3+ ion are investigated, the typical near-infrared (NIR) luminescence (centered at around 1530 nm) is attributed to the I-4(13/2) -> I-4(15/2) transition of Er3+ ion which results from the efficient energy transfer from PT to Er3+ ion (an antenna effect). The wider full width at half maximum (78 nm) peaked at 1530 nm in the emission spectrum and the Judd-Ofelt theory calculation on the radiative properties suggest that Er(PT)(3)TPPO should be a promising candidate for tunable lasers and planar optical amplifiers.
Resumo:
An expert system for solvent extraction of rare earths has been developed using LISP. The goal of this project was to mimic the chemists' inferential abilities to assist in the process of solvent extraction of rare earths. The system includes frequently used extractants, separation of specific rare earths, recommendation of procedures for the separation of mixtures of rare earths using (2-ethylhexyl)phosphonic acid 2-ethylhexyl monoester, selection of parameters for counter-current extraction and methods for evaluation of the technique, and the economics of the processing. The expert system runs on an IBM-PC/XT.
Resumo:
The radiative lifetimes of eight excited levels of thulium have been measured with the method of stepwise excitation from the 4f13(F-degrees-7/2)6s2(1S0)\7/2\ ground state to the states studied using two pulsed dye lasers. Optical transients were recorded through observing fluorescences and evaluated with regard to the decay time. The accuracy of the measured lifetime values is about 10%.
Resumo:
The paper reviews the provisions of the White Book on National Security of the Republic of Poland. It states that the issue of health security is not given adequate significance there. The accessibility of health services is considered, in general, solely in terms of their availability. The assumptions concerning the concept of providing the number of beds required in a state of threat to national security and in time of war do not take into account the current socio-economic conditions and need to be reviewed. The conclusions emphasize the dilemmas that emerge as a result of the unilateral promotion of a single category of national security, that is military security, in the context of ensuring health security.
Resumo:
The TCP/IP architecture was originally designed without taking security measures into consideration. Over the years, it has been subjected to many attacks, which has led to many patches to counter them. Our investigations into the fundamental principles of networking have shown that carefully following an abstract model of Interprocess Communication (IPC) addresses many problems [1]. Guided by this IPC principle, we designed a clean-slate Recursive INternet Architecture (RINA) [2]. In this paper, we show how, without the aid of cryptographic techniques, the bare-bones architecture of RINA can resist most of the security attacks faced by TCP/IP. We also show how hard it is for an intruder to compromise RINA. Then, we show how RINA inherently supports security policies in a more manageable, on-demand basis, in contrast to the rigid, piecemeal approach of TCP/IP.
Resumo:
In research areas involving mathematical rigor, there are numerous benefits to adopting a formal representation of models and arguments: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, accessibility has not been a priority in the design of formal verification tools that can provide these benefits. In earlier work [30] we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. In this report we evaluate our proposed design criteria by utilizing within the context of novel research a formal reasoning system that is designed according to these criteria. In particular, we consider how the design and capabilities of the formal reasoning system that we employ influence, aid, or hinder our ability to accomplish a formal reasoning task – the assembly of a machine-verifiable proof pertaining to the NetSketch formalism. NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch is conceived to assist system integrators in two types of activities: modeling and design. It provides capabilities for compositional analysis based on a strongly-typed domain-specific language (DSL) for describing and reasoning about constrained-flow networks and invariants that need to be enforced thereupon. In a companion paper [13] we overview NetSketch, highlight its salient features, and illustrate how it could be used in actual applications. In this paper, we define using a machine-readable syntax major parts of the formal system underlying the operation of NetSketch, along with its semantics and a corresponding notion of validity. We then provide a proof of soundness for the formalism that can be partially verified using a lightweight formal reasoning system that simulates natural contexts. A traditional presentation of these definitions and arguments can be found in the full report on the NetSketch formalism [12].
Resumo:
The past two decades has seen a dramatic upheaval in the international world order: the end of the Cold War, the 9/11 attacks and the subsequent 'War on Terror', increased Jihadist activities, the accelerated pace of globalization, climate change and the 2008 global financial crisis have contributed to fear, uncertainty, poverty, conflict, massive displacements of populations of asylum seekers and refugees globally and a proliferation of Protracted Refugee Situations (PRS), defined as situations in which refugees have been in exile 'for 5 years or more after their initial displacement, without immediate prospects for implementation of durable solutions. In the past two decades there has been a huge proliferation of these with more than 7.2 million refugees now trapped in these PRS, with a further 16 million internally displaced persons (IDPs) trapped in camps within their own countries. The Dadaab refugee complex in Kenya, which of as March 2012, holds over 463,000 refugees, is the most significant and extreme example in recent times of a PRS. It was established in 1991 following the collapse of the Somali Government of Dictator Siad Barre, and the disintegration of Somalia into the chaos that still exists today. PRS such as Dadaab raise particular issues about humanitarianism in terms of aid, protection, security, human rights and the actions (or inaction) of the various stakeholders on an international, national and local level. This thesis investigates these issues by the use of a case study methodology on Dadaab as a PRS, framed in the context of humanitarianism and in particular the issues that arise in terms of how the international community, the UN system and individual states provide assistance and protection to vulnerable populations. Although the refugee camps have been in existence (as of 2012) for over 20 years, there has never been such a detailed study of Dadaab (or any other PRS) undertaken to date and would be of interest to academics in the areas of international relations, refugee/migration studies and global Governance as well as practitioners in both humanitarian response and development
Resumo:
Nations around the world are considering strategies to mitigate the severe impacts of climate change predicted to occur in the twenty-first century. Many countries, however, lack the wealth, technology, and government institutions to effectively cope with climate change. This study investigates the varying degrees to which developing and developed nations will be exposed to changes in three key variables: temperature, precipitation, and runoff. We use Geographic Information Systems (GIS) analysis to compare current and future climate model predictions on a country level. We then compare our calculations of climate change exposure for each nation to several metrics of political and economic well-being. Our results indicate that the impacts of changes in precipitation and runoff are distributed relatively equally between developed and developing nations. In contrast, we confirm research suggesting that developing nations will be affected far more severely by changes in temperature than developed nations. Our results also suggest that this unequal impact will persist throughout the twenty-first century. Our analysis further indicates that the most significant temperature changes will occur in politically unstable countries, creating an additional motivation for developed countries to actively engage with developing nations on climate mitigation strategies. © 2011, Mary Ann Liebert, Inc.
Resumo:
In large parts of the Southern Ocean, primary production is limited due to shortage of iron (Fe). We measured vertical Fe profiles in the western Weddell Sea, Weddell-Scotia Confluence, and Antarctic Circumpolar Current (ACC), showing that Fe is derived from benthic Fe diffusion and sediment resuspension in areas characterized by high turbulence due to rugged bottom topography. Our data together with literature data reveal an exponential decrease of dissolved Fe (DFe) concentrations with increasing distance from the continental shelves of the Antarctic Peninsula and the western Weddell Sea. This decrease can be observed 3500 km eastward of the Antarctic Peninsula area, downstream the ACC. We estimated DFe summer fluxes into the upper mixed layer of the Atlantic sector of the Southern Ocean and found that horizontal advection dominates DFe supply, representing 54 ± 15% of the total flux, with significant vertical advection second most important at 29 ± 13%. Horizontal and vertical diffusion are weak with 1 ± 2% and 1 ± 1%, respectively. The atmospheric contribution is insignificant close to the Antarctic continent but increases to 15 ± 10% in the remotest waters (>1500 km offshore) of the ACC. Translating Southern Ocean carbon fixation by primary producers into biogenic Fe fixation shows a twofold excess of new DFe input close to the Antarctic continent and a one-third shortage in the open ocean. Fe recycling, with an estimated “fe” ratio of 0.59, is the likely pathway to balance new DFe supply and Fe fixation.