Automated theorem proving theory and practice

CERN Document Server

Newborn, Monty

2001-01-01

As the 21st century begins, the power of our magical new tool and partner, the computer, is increasing at an astonishing rate. Computers that perform billions of operations per second are now commonplace. Multiprocessors with thousands of little computers - relatively little! -can now carry out parallel computations and solve problems in seconds that only a few years ago took days or months. Chess-playing programs are on an even footing with the world's best players. IBM's Deep Blue defeated world champion Garry Kasparov in a match several years ago. Increasingly computers are expected to be more intelligent, to reason, to be able to draw conclusions from given facts, or abstractly, to prove theorems-the subject of this book. Specifically, this book is about two theorem-proving programs, THEO and HERBY. The first four chapters contain introductory material about automated theorem proving and the two programs. This includes material on the language used to express theorems, predicate calculus, and the rules of...

Theorem Proving In Higher Order Logics

Science.gov (United States)

Carreno, Victor A. (Editor); Munoz, Cesar A.; Tahar, Sofiene

2002-01-01

The TPHOLs International Conference serves as a venue for the presentation of work in theorem proving in higher-order logics and related areas in deduction, formal specification, software and hardware verification, and other applications. Fourteen papers were submitted to Track B (Work in Progress), which are included in this volume. Authors of Track B papers gave short introductory talks that were followed by an open poster session. The FCM 2002 Workshop aimed to bring together researchers working on the formalisation of continuous mathematics in theorem proving systems with those needing such libraries for their applications. Many of the major higher order theorem proving systems now have a formalisation of the real numbers and various levels of real analysis support. This work is of interest in a number of application areas, such as formal methods development for hardware and software application and computer supported mathematics. The FCM 2002 consisted of three papers, presented by their authors at the workshop venue, and one invited talk.

Models and Techniques for Proving Data Structure Lower Bounds

DEFF Research Database (Denmark)

Larsen, Kasper Green

In this dissertation, we present a number of new techniques and tools for proving lower bounds on the operational time of data structures. These techniques provide new lines of attack for proving lower bounds in both the cell probe model, the group model, the pointer machine model and the I...... bound of tutq = (lgd􀀀1 n). For ball range searching, we get a lower bound of tutq = (n1􀀀1=d). The highest previous lower bound proved in the group model does not exceed ((lg n= lg lg n)2) on the maximum of tu and tq. Finally, we present a new technique for proving lower bounds....../O-model. In all cases, we push the frontiers further by proving lower bounds higher than what could possibly be proved using previously known techniques. For the cell probe model, our results have the following consequences: The rst (lg n) query time lower bound for linear space static data structures...

Quenching rate for a nonlocal problem arising in the micro-electro mechanical system

Science.gov (United States)

Guo, Jong-Shenq; Hu, Bei

2018-03-01

In this paper, we study the quenching rate of the solution for a nonlocal parabolic problem which arises in the study of the micro-electro mechanical system. This question is equivalent to the stabilization of the solution to the transformed problem in self-similar variables. First, some a priori estimates are provided. In order to construct a Lyapunov function, due to the lack of time monotonicity property, we then derive some very useful and challenging estimates by a delicate analysis. Finally, with this Lyapunov function, we prove that the quenching rate is self-similar which is the same as the problem without the nonlocal term, except the constant limit depends on the solution itself.

Proving termination of logic programs with delay declarations

NARCIS (Netherlands)

E. Marchiori; F. Teusink (Frank)

1996-01-01

textabstractIn this paper we propose a method for proving termination of logic programs with delay declarations. The method is based on the notion of recurrent logic program, which is used to prove programs terminating wrt an arbitrary selection rule. Most importantly, we use the notion of bound

General theory of spontaneous emission near exceptional points.

Science.gov (United States)

Pick, Adi; Zhen, Bo; Miller, Owen D; Hsu, Chia W; Hernandez, Felipe; Rodriguez, Alejandro W; Soljačić, Marin; Johnson, Steven G

2017-05-29

We present a general theory of spontaneous emission at exceptional points (EPs)-exotic degeneracies in non-Hermitian systems. Our theory extends beyond spontaneous emission to any light-matter interaction described by the local density of states (e.g., absorption, thermal emission, and nonlinear frequency conversion). Whereas traditional spontaneous-emission theories imply infinite enhancement factors at EPs, we derive finite bounds on the enhancement, proving maximum enhancement of 4 in passive systems with second-order EPs and significantly larger enhancements (exceeding 400×) in gain-aided and higher-order EP systems. In contrast to non-degenerate resonances, which are typically associated with Lorentzian emission curves in systems with low losses, EPs are associated with non-Lorentzian lineshapes, leading to enhancements that scale nonlinearly with the resonance quality factor. Our theory can be applied to dispersive media, with proper normalization of the resonant modes.

Proving Non-Deterministic Computations in Agda

Directory of Open Access Journals (Sweden)

Sergio Antoy

2017-01-01

Full Text Available We investigate proving properties of Curry programs using Agda. First, we address the functional correctness of Curry functions that, apart from some syntactic and semantic differences, are in the intersection of the two languages. Second, we use Agda to model non-deterministic functions with two distinct and competitive approaches incorporating the non-determinism. The first approach eliminates non-determinism by considering the set of all non-deterministic values produced by an application. The second approach encodes every non-deterministic choice that the application could perform. We consider our initial experiment a success. Although proving properties of programs is a notoriously difficult task, the functional logic paradigm does not seem to add any significant layer of difficulty or complexity to the task.

20 CFR 219.23 - Evidence to prove death.

Science.gov (United States)

2010-04-01

... 20 Employees' Benefits 1 2010-04-01 2010-04-01 false Evidence to prove death. 219.23 Section 219... EVIDENCE REQUIRED FOR PAYMENT Evidence of Age and Death § 219.23 Evidence to prove death. (a) Preferred evidence of death. The best evidence of a person's death is— (1) A certified copy of or extract from the...

MFTF exception handling system

International Nuclear Information System (INIS)

Nowell, D.M.; Bridgeman, G.D.

1979-01-01

In the design of large experimental control systems, a major concern is ensuring that operators are quickly alerted to emergency or other exceptional conditions and that they are provided with sufficient information to respond adequately. This paper describes how the MFTF exception handling system satisfies these requirements. Conceptually exceptions are divided into one of two classes. Those which affect command status by producing an abort or suspend condition and those which fall into a softer notification category of report only or operator acknowledgement requirement. Additionally, an operator may choose to accept an exception condition as operational, or turn off monitoring for sensors determined to be malfunctioning. Control panels and displays used in operator response to exceptions are described

Elliptic curves and primality proving

Science.gov (United States)

Atkin, A. O. L.; Morain, F.

1993-07-01

The aim of this paper is to describe the theory and implementation of the Elliptic Curve Primality Proving algorithm. Problema, numeros primos a compositis dignoscendi, hosque in factores suos primos resolvendi, ad gravissima ac utilissima totius arithmeticae pertinere, et geometrarum tum veterum tum recentiorum industriam ac sagacitatem occupavisse, tam notum est, ut de hac re copiose loqui superfluum foret.

From Ethical Exceptionalism to Ethical Exceptions: The Rule and exception Model and the Changing Meaning of Ethics In German Bioregulation.

Science.gov (United States)

Braun, Kathrin

2017-12-01

Germany is an interesting case with respect to the governance of reprogenetics. It has a strong profile in the technosciences and high aims regarding the global bioeconomy, yet her regulation of human genetics, reproductive medicine and embryo research has for a long time been rather restrictive. German biopolitical exceptionalism has often been explained by reference to Catholicism and the legacy of the Nazi past. The Germans, so goes the common story, have learnt the lessons of history and translated them into unconditional respect for human dignity, which in turn translates into unconditional protection of human life, including the human embryo, and the firm repudiation of any eugenic distinction between 'life worth to live' and 'life not worth to live'. This, however, is not the whole story. Alongside deontological strictness we find another strand of governing body politics and reprogenetics in Germany, the rule-and-exception model, running from the mid-1970s abortion law via the 2002 Stem Cell Act to the 2011 regulation of pre-implantation genetic diagnosis. In contrast to the former, that strongly draws on Kant and his concept of human dignity, the latter bears resemblances to Carl Schmitt's concept of state of exception. The article will show that the rule-and-exception model builds the exception into the rule and transforms the meaning and mandate of ethics, namely from safeguarding ethical standards to deciding about the exception. Given that the exception has now tended to become the rule, the question is whether the lessons of history will govern German reprogenetics for much longer. © 2016 John Wiley & Sons Ltd.

Seismic proving test of PWR reactor containment vessel

International Nuclear Information System (INIS)

Akiyama, H.; Yoshikawa, T.; Tokumaru, Y.

1987-01-01

The seismic reliability proving tests of nuclear power plant facilities are carried out by Nuclear Power Engineering Test Center (NUPEC), using the large-scale, high-performance vibration of Tadotsu Engineering Laboratory, and sponsored by the Ministry of International Trade and Industry (MITI). In 1982, the seismic reliability proving test of PWR containment vessel started using the test component of reduced scale 1/3.7 and the test component proved to have structural soundness against earthquakes. Subsequently, the detailed analysis and evaluation of these test results were carried out, and the analysis methods for evaluating strength against earthquakes were established. Whereupon, the seismic analysis and evaluation on the actual containment vessel were performed by these analysis methods, and the safety and reliability of the PWR reactor containment vessel were confirmed

An Exceptional Memory

Science.gov (United States)

Hunter, Ian M. L.

1977-01-01

An account is given of the exceptional memory of the late Professor A. C. Aitken who was also a distinguished mathematician and mental calculator. Compared with Shereshevskii, another man with exceptional memory, he shows the scholar's reliance on conceptual mapping rather than the mnemonist's reliance on perceptual chaining. (Editor)

Algebraic calculations for spectrum of superintegrable system from exceptional orthogonal polynomials

Science.gov (United States)

Hoque, Md. Fazlul; Marquette, Ian; Post, Sarah; Zhang, Yao-Zhong

2018-04-01

We introduce an extended Kepler-Coulomb quantum model in spherical coordinates. The Schrödinger equation of this Hamiltonian is solved in these coordinates and it is shown that the wave functions of the system can be expressed in terms of Laguerre, Legendre and exceptional Jacobi polynomials (of hypergeometric type). We construct ladder and shift operators based on the corresponding wave functions and obtain their recurrence formulas. These recurrence relations are used to construct higher-order, algebraically independent integrals of motion to prove superintegrability of the Hamiltonian. The integrals form a higher rank polynomial algebra. By constructing the structure functions of the associated deformed oscillator algebras we derive the degeneracy of energy spectrum of the superintegrable system.

Preservice Mathematics Teachers' Metaphorical Perceptions towards Proof and Proving

Science.gov (United States)

Ersen, Zeynep Bahar

2016-01-01

Since mathematical proof and proving are in the center of mathematics; preservice mathematics teachers' perceptions against these concepts have a great importance. Therefore, the study aimed to determine preservice mathematics teachers' perceptions towards proof and proving through metaphors. The participants consisted of 192 preservice…

Proving test on the reliability for nuclear valves

International Nuclear Information System (INIS)

Kajiyama, Yasuo; Tashiro, Hisao; Uga, Takeo; Maeda, Shunichi.

1986-01-01

Since valves are the most common components, they could be the most frequent causes of troubles in nuclear power plants. This proving test, therefore, has an important meaning to examine and verify the reliability of various valves under simulating conditions of abnormal and transient operations of the nuclear power plant. The test was performed mainly for the various types and pressure ratings of valves which were used in the primary and secondary systems in BWR and PWR nuclear power plants and which had major operating or safety related functions in those nuclear power plants. The results of the proving test, confirmed for more than four years, showed relatively favourable performance of the tested valves. It is concluded that performances of valves including operability, seat sealing and structural integrity were proved under the thermal cycling, vibration and pipe reaction load conditions. Operating functions during and after accident such as loss of coolant accident were satisfactory. From these results, it was considered that the purpose of this proving test was satisfactorily fulfilled. Several data accumulated by the test would be useful to get better reliability if it was evaluated with the actually experienced data of valves in the nuclear power plants. (Nogami, K.)

Responsibility for proving and defining in abstract algebra class

Science.gov (United States)

Fukawa-Connelly, Timothy

2016-07-01

There is considerable variety in inquiry-oriented instruction, but what is common is that students assume roles in mathematical activity that in a traditional, lecture-based class are either assumed by the teacher (or text) or are not visible at all in traditional math classrooms. This paper is a case study of the teaching of an inquiry-based undergraduate abstract algebra course. In particular, gives a theoretical account of the defining and proving processes. The study examines the intellectual responsibility for the processes of defining and proving that the professor devolved to the students. While the professor wanted the students to engage in all aspects of defining and proving, he was only successful at devolving responsibility for certain aspects and much more successful at devolving responsibility for proving than conjecturing or defining. This study suggests that even a well-intentioned instructor may not be able to devolve responsibility to students for some aspects of mathematical practice without using a research-based curriculum or further professional development.

Geometric inequalities methods of proving

CERN Document Server

Sedrakyan, Hayk

2017-01-01

This unique collection of new and classical problems provides full coverage of geometric inequalities. Many of the 1,000 exercises are presented with detailed author-prepared-solutions, developing creativity and an arsenal of new approaches for solving mathematical problems. This book can serve teachers, high-school students, and mathematical competitors. It may also be used as supplemental reading, providing readers with new and classical methods for proving geometric inequalities. .

Reasoning and Proving Opportunities in Textbooks: A Comparative Analysis

Science.gov (United States)

Hong, Dae S.; Choi, Kyong Mi

2018-01-01

In this study, we analyzed and compared reasoning and proving opportunities in geometry lessons from American standard-based textbooks and Korean textbooks to understand how these textbooks provide student opportunities to engage in reasoning and proving activities. Overall, around 40% of exercise problems in Core Plus Mathematics Project (CPMP)…

A New Approach for Proving or Generating Combinatorial Identities

Science.gov (United States)

Gonzalez, Luis

2010-01-01

A new method for proving, in an immediate way, many combinatorial identities is presented. The method is based on a simple recursive combinatorial formula involving n + 1 arbitrary real parameters. Moreover, this formula enables one not only to prove, but also generate many different combinatorial identities (not being required to know them "a…

Generic Example Proving Criteria for All

Science.gov (United States)

Yopp, David; Ely, Rob; Johnson­-Leung, Jennifer

2015-01-01

We review literature that discusses generic example proving and highlight ambiguities that pervade our research community's discourse about generic example arguments. We distinguish between pedagogical advice for choosing good examples that can serve as generic examples when teaching and advice for developing generic example arguments. We provide…

SARS – Koch´Postulates proved.

Indian Academy of Sciences (India)

SARS – Koch´Postulates proved. Novel coronavirus identified from fluids of patients. Virus cultured in Vero cell line. Sera of patients have antibodies to virus. Cultured virus produces disease in Macaque monkeys. -produces specific immune response; -isolated virus is SARS CoV; -pathology similar to human.

The Earth is Flat, and I Can Prove It!

Science.gov (United States)

Klinger, Art

1998-01-01

Describes an educational program that asks students to attempt to prove that the earth is spherical and that it rotates. Presents tips to pique student interest and charts related to sensing the spin, nonrotation notions, flat earth fallacies, evidence that the earth is spherical and rotates, and the role of watersheds in proving that the earth…

The effect of herbal formula PROVE 1 and Stevia levels in diets on diet utilization of growing pigs

Directory of Open Access Journals (Sweden)

Kooprasert, S.

2007-05-01

Full Text Available The objective of this experiment was to study the effect of 0.2% antibiotic (ascomix-s®, one kilogram of which contains lincomycin hydrochloride 44 g and sulfamethazine 110 g or 0.25% herbal formulaPROVE 1, combined with five levels of Stevia supplementation in the diets on digestibility of pigs. Two factors; 1 type of drug (0.2% antibiotic and 0.25% herbal formula PROVE 1 and 2 five Stevia levels (0,0.2, 0.4, 0.6 and 0.8% were investigated and 10 dietary treatments were used in this study. Ten related growing crossbred (Large White x Landrace barrow pigs (30±1.5 kg body weight were raised in individualmetabolism cages for three collecting periods (30, 40 and 50 kg body weight, each pig was fed one experimental diet throughout the collecting period.The results showed that pigs fed diet with either 0.2% antibiotic or 0.25% herbal formula PROVE 1 had similar digestibility of diet, crude protein (CP, fiber, ash and nitrogen free extract (NFE (89.01 vs 87.83,94.96 vs 94.23, 60.73 vs 59.03, 61.22 vs 60.44 and 93.28 vs 92.03%, respectively. Negligible differences were observed between 0 and 0.4% Stevia supplementation in diet, but levels showed better digestibility than the other levels of Stevia supplementation, and the diet with 0.4% Stevia supplementation had the highestdigestibility of diet, CP, fiber, ash and NFE (91.04, 96.43, 69.48, 70.47 and 94.07%, respectively. The diet with antibiotic combined with 0.4% Stevia had digestibility of diet, CP, fat and fiber better than the otherlevels of Stevia supplementation, especially digestibility of ash, which was significantly higher than that of diet with 0.2% Stevia, but not significantly different from the other levels of Stevia supplementation. A partof herbal formula PROVE1 combined with 0% Stevia had the highest digestibility of ash (72.90%, significantly higher than the other levels of Stevia supplementation, except the diet with herbal formula PROVE 1combined with 0.4% Stevia supplementation

Delicate balance among three types of T cells in concurrent regulation of tumor immunity

Science.gov (United States)

Izhak, Liat; Ambrosino, Elena; Kato, Shingo; Parish, Stanley T.; O’Konek, Jessica J.; Weber, Hannah; Xia, Zheng; Venzon, David; Berzofsky, Jay A.; Terabe, Masaki

2013-01-01

The nature of the regulatory cell types that dominate in any given tumor is not understood at present. Here we addressed this question for Tregs and type II NKT cells in syngeneic models of colorectal and renal cancer. In mice with both type I and type II NKT cells, or in mice with neither type of NKT cell, Treg depletion was sufficient to protect against tumor outgrowth. Surprisingly, in mice lacking only type I NKT cells, Treg blockade was insufficient for protection. Thus, we hypothesized that type II NKT cells may be neutralized by type I NKT cells, leaving Treg cells as the primary suppressor, whereas in mice lacking type I NKT cells, unopposed type II NKT cells could suppress tumor immunity even when Tregs were blocked. We confirmed this hypothesis in three ways by reconstituting type I NKT cells as well as selectively blocking or activating type II NKT cells with antibody or the agonist sulfatide, respectively. In this manner, we demonstrated that blockade of both type II NKT cells and Tregs is necessary to abrogate suppression of tumor immunity, but a third cell, the type I NKT cell, determines the balance between these regulatory mechanisms. As cancer patients often have deficient type I NKT cell function, managing this delicate balance among three T cell subsets may be critical for the success of immunotherapy of human cancer. PMID:23319803

Trends in Modern Exception Handling

Directory of Open Access Journals (Sweden)

Marcin Kuta

2003-01-01

Full Text Available Exception handling is nowadays a necessary component of error proof information systems. The paper presents overview of techniques and models of exception handling, problems connected with them and potential solutions. The aspects of implementation of propagation mechanisms and exception handling, their effect on semantics and general program efficiency are also taken into account. Presented mechanisms were adopted to modern programming languages. Considering design area, formal methods and formal verification of program properties we can notice exception handling mechanisms are weakly present what makes a field for future research.

8 CFR 258.2 - Exceptions.

Science.gov (United States)

2010-01-01

... longshore work at any United States port under the exceptions provided for in paragraphs (a)(2), (b), or (c... hazardous dry bulk cargo. (i) All tankers qualify for the hazardous cargo exception, including parcel tankers, except for a tanker that has been gas-freed to transport non-hazardous dry bulk commodities. (ii...

Pengembangan Perangkat Pembelajaran Geometri Ruang dengan Model Proving Theorem

Directory of Open Access Journals (Sweden)

Bambang Eko Susilo

2016-03-01

Full Text Available Kemampuan berpikir kritis dan kreatif mahasiswa masih lemah. Hal ini ditemukan pada mahasiswa yang mengambil mata kuliah Geometri Ruang yaitu dalam membuktikan soal-soal pembuktian (problem to proof. Mahasiswa masih menyelesaikan secara algoritmik atau prosedural sehingga diperlukan pengembangan perangkat pembelajaran Geometri Ruang berbasis kompetensi dan konservasi dengan model Proving Theorem. Dalam penelitian ini perangkat perkuliahan yang dikembangkan yaitu Silabus, Satuan Acara Perkuliahan (SAP, Kontrak Perkuliahan, Media Pembelajaran, Bahan Ajar, Tes UTS dan UAS serta Angket Karakter Konservasi telah dilaksanakan dengan baik dengan kriteria (1 validasi perangkat pembelajaran mata kuliah Geometri ruang berbasis kompetensi dan konservasi dengan model proving theorem berkategori baik dan layak digunakan dan (2 keterlaksanaan RPP pada pembelajaran yang dikembangkan secara keseluruhan berkategori baik.Critical and creative thinking abilities of students still weak. It is found in students who take Space Geometry subjects that is in solving problems to to prove. Students still finish in algorithmic or procedural so that the required the development of Space Geometry learning tools based on competency and conservation with Proving Theorem models. This is a research development which refers to the 4-D models that have been modified for the Space Geometry learning tools, second semester academic year 2014/2015. Instruments used include validation sheet, learning tools and character assessment questionnaire. In this research, the learning tools are developed, namely Syllabus, Lesson Plan, Lecture Contract, Learning Media, Teaching Material, Tests, and Character Conservation Questionnaire had been properly implemented with the criteria (1 validation of Space Geometry learning tools based on competency and conservation with Proving Theorem models categorized good and feasible to use, and (2 the implementation of Lesson Plan on learning categorized

42 CFR 423.578 - Exceptions process.

Science.gov (United States)

2010-10-01

... 42 Public Health 3 2010-10-01 2010-10-01 false Exceptions process. 423.578 Section 423.578 Public..., Redeterminations, and Reconsiderations § 423.578 Exceptions process. (a) Requests for exceptions to a plan's tiered... sponsor may design its exception process so that very high cost or unique drugs are not eligible for a...

Overcoming the Obstacle of Poor Knowledge in Proving Geometry Tasks

Directory of Open Access Journals (Sweden)

Zlatan Magajna

2013-12-01

Full Text Available Proving in school geometry is not just about validating the truth of a claim. In the school setting, the main function of the proof is to convince someone that a claim is true by providing an explanation. Students consider proving to be difficult; in fact, they find the very concept of proof demanding. Proving a claim in planar geometry involves several processes, the most salient being visual observation and deductive argumentation. These two processes are interwoven, but often poor observation hinders deductive argumentation. In the present article, we consider the possibility of overcoming the obstacle of a student’s poor observation by making use of computer-aided observation with appropriate software. We present the results of two small-scale research projects, both of which indicate that students are able to work out considerably more deductions if computer-aided observation is used. Not all students use computer-aided observation effectively in proving tasks: some find an exhaustive computer-provided list of properties confusing and are not able to choose the properties that are relevant to the task.

On proving syntactic properties of CPS programs

DEFF Research Database (Denmark)

Danvy, Olivier; Dzafic, Belmina; Pfenning, Frank

1999-01-01

Higher-order program transformations raise new challenges for proving properties of their output, since they resist traditional, first-order proof techniques. In this work, we consider (1) the “one-pass” continuation-passing style (CPS) transformation, which is second-order, and (2) the occurrences...

Delicate balance among three types of T cells in concurrent regulation of tumor immunity.

Science.gov (United States)

Izhak, Liat; Ambrosino, Elena; Kato, Shingo; Parish, Stanley T; O'Konek, Jessica J; Weber, Hannah; Xia, Zheng; Venzon, David; Berzofsky, Jay A; Terabe, Masaki

2013-03-01

The nature of the regulatory cell types that dominate in any given tumor is not understood at present. Here, we addressed this question for regulatory T cells (Treg) and type II natural killer T (NKT) cells in syngeneic models of colorectal and renal cancer. In mice with both type I and II NKT cells, or in mice with neither type of NKT cell, Treg depletion was sufficient to protect against tumor outgrowth. Surprisingly, in mice lacking only type I NKT cells, Treg blockade was insufficient for protection. Thus, we hypothesized that type II NKT cells may be neutralized by type I NKT cells, leaving Tregs as the primary suppressor, whereas in mice lacking type I NKT cells, unopposed type II NKT cells could suppress tumor immunity even when Tregs were blocked. We confirmed this hypothesis in 3 ways by reconstituting type I NKT cells as well as selectively blocking or activating type II NKT cells with antibody or the agonist sulfatide, respectively. In this manner, we showed that blockade of both type II NKT cells and Tregs is necessary to abrogate suppression of tumor immunity, but a third cell, the type I NKT cell, determines the balance between these regulatory mechanisms. As patients with cancer often have deficient type I NKT cell function, managing this delicate balance among 3 T-cell subsets may be critical for the success of immunotherapy for human cancer. ©2012 AACR.

Exceptional phenomenology

DEFF Research Database (Denmark)

Aggerholm, Kenneth; Moltke Martiny, Kristian

Phenomenological research is in traditional terms a matter of going 'back to the things themselves', as Husserl famously stated. But if phenomenology is to renew itself in creative ways and reveal new aspects of human experience it is of value to look for a certain kind of phenomena: exceptions. ...

45 CFR 148.220 - Excepted benefits.

Science.gov (United States)

2010-10-01

... 45 Public Welfare 1 2010-10-01 2010-10-01 false Excepted benefits. 148.220 Section 148.220 Public... FOR THE INDIVIDUAL HEALTH INSURANCE MARKET Preemption; Excepted Benefits § 148.220 Excepted benefits... provision of the benefits described in paragraphs (a) and (b) of this section (or any combination of the...

Proving the correctness of unfold/fold program transformations using bisimulation

DEFF Research Database (Denmark)

Hamilton, Geoff W.; Jones, Neil

2011-01-01

by a labelled transition system whose bisimilarity relation is a congruence that coincides with contextual equivalence. Labelled transition systems are well-suited to represent global program behaviour. On the other hand, unfold/fold program transformations use generalization and folding, and neither is easy......This paper shows that a bisimulation approach can be used to prove the correctness of unfold/fold program transformation algorithms. As an illustration, we show how our approach can be use to prove the correctness of positive supercompilation (due to Sørensen et al). Traditional program equivalence...... to describe contextually, due to use of non-local information. We show that weak bisimulation on labelled transition systems gives an elegant framework to prove contextual equivalence of original and transformed programs. One reason is that folds can be seen in the context of corresponding unfolds....

Delice(Olea europea var. oleaster L.) ile zeytin (Olea europea var.sativa) arasında anatomik ve palinojik ayrıcalıklar (The Anatomic And Palynological Differences Between Olea europea var. oleaster L. AND Olea europea var.sativa)

OpenAIRE

Kaya, Zafer

1991-01-01

Delice(Olea europea var. oleaster L.) ile zeytin (Olea europea var.sativa) arasında anatomik ve palinojik ayrıcalıklar (The Anatomic And Palynological Differences Between Olea europea var. oleaster L. AND Olea europea var.sativa)

48 CFR 9.304 - Exceptions.

Science.gov (United States)

2010-10-01

... 48 Federal Acquisition Regulations System 1 2010-10-01 2010-10-01 false Exceptions. 9.304 Section... CONTRACTOR QUALIFICATIONS First Article Testing and Approval 9.304 Exceptions. Normally, testing and approval is not required in contracts for— (a) Research or development; (b) Products requiring qualification...

Seismic proving test of BWR primary loop recirculation system

International Nuclear Information System (INIS)

Sato, H.; Shigeta, M.; Karasawa, Y.

1987-01-01

The seismic proving test of BWR Primary Loop Recirculation system is the second test to use the large-scale, high-performance vibration table of Tadotsu Engineering Laboratory. The purpose of this test is to prove the seismic reliability of the primary loop recirculation system (PLR), one of the most important safety components in the BWR nuclear plants, and also to confirm the adequacy of seismic analysis method used in the current seismic design. To achieve the purpose, the test was conducted under conditions and scale as near as possible to actual systems. The strength proving test was carried out with the test model mounted on the vibration table in consideration of basic design earthquake ground motions and other conditions to confirm the soundness of structure and the strength against earthquakes. Detailed analysis and analytic evaluation of the data obtained from the test was conducted to confirm the adequacy of the seismic analysis method and earthquake response analysis method used in the current seismic design. Then, on the basis of the results obtained, the seismic safety and reliability of BWR primary loop recirculation of the actual plants was fully evaluated

7 CFR 773.23 - Exception.

Science.gov (United States)

2010-01-01

... SPECIAL PROGRAMS SPECIAL APPLE LOAN PROGRAM § 773.23 Exception. The Agency may grant an exception to the security requirements of this section, if the proposed change is in the best financial interest of the Government and not inconsistent with the authorizing statute or other applicable law. ...

22 CFR 126.3 - Exceptions.

Science.gov (United States)

2010-04-01

... 22 Foreign Relations 1 2010-04-01 2010-04-01 false Exceptions. 126.3 Section 126.3 Foreign Relations DEPARTMENT OF STATE INTERNATIONAL TRAFFIC IN ARMS REGULATIONS GENERAL POLICIES AND PROVISIONS... of the United States Government, the Director, Office of Defense Trade Controls may make an exception...

48 CFR 39.204 - Exceptions.

Science.gov (United States)

2010-10-01

... CONTRACTING ACQUISITION OF INFORMATION TECHNOLOGY Electronic and Information Technology 39.204 Exceptions. The... standards to the maximum extent practicable; (b) Is for a national security system; (c) Is acquired by a... 48 Federal Acquisition Regulations System 1 2010-10-01 2010-10-01 false Exceptions. 39.204 Section...

48 CFR 1503.602 - Exceptions.

Science.gov (United States)

2010-10-01

... BUSINESS PRACTICES AND PERSONAL CONFLICTS OF INTEREST Contracts with Government Employees or Organizations... Resources Management may authorize an exception, in writing, to the policy in FAR 3.601 and 1503.601 for the... shall consult with the Designated Agency Ethics Official before authorizing any exceptions. [60 FR 38505...

48 CFR 1325.103 - Exceptions.

Science.gov (United States)

2010-10-01

... FOREIGN ACQUISITION Buy American Act-Supplies 1325.103 Exceptions. (a) The designee authorized to make a... has an agreement with a foreign government providing a blanket exception to the Buy America Act is set... documentation supporting a determination that nonavailabilty of an article is likely to affect future...

7 CFR 774.24 - Exception.

Science.gov (United States)

2010-01-01

... SPECIAL PROGRAMS EMERGENCY LOAN FOR SEED PRODUCERS PROGRAM § 774.24 Exception. The Agency may grant an exception to any of the requirements of this section, if the proposed change is in the best financial interest of the Government and not inconsistent with the authorizing statute or other applicable law. ...

29 CFR 1905.28 - Exceptions.

Science.gov (United States)

2010-07-01

... OCCUPATIONAL SAFETY AND HEALTH ACT OF 1970 Hearings § 1905.28 Exceptions. Within 20 days after service of a... 29 Labor 5 2010-07-01 2010-07-01 false Exceptions. 1905.28 Section 1905.28 Labor Regulations Relating to Labor (Continued) OCCUPATIONAL SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR RULES OF...

CMS : An exceptional load for an exceptional work site

CERN Multimedia

2001-01-01

Components of the CMS vacuum tank have been delivered to the detector assembly site at Cessy. The complete inner shell was delivered to CERN by special convoy while the outer shell is being assembled in situ. The convoy transporting the inner shell of the CMS vacuum tank took a week to cover the distance between Lons-le-Saunier and Point 5 at Cessy. Left: the convoy making its way down from the Col de la Faucille. With lights flashing, flanked by police outriders and with roads temporarily closed, the exceptional load that passed through the Pays de Gex on Monday 20 May was accorded the same VIP treatment as a leading state dignitary. But this time it was not the identity of the passenger but the exceptional size of the object being transported that made such arrangements necessary. A convoy of two lorries was needed to transport the load, an enormous 13-metre long, 6 metre diameter cylinder weighing 120 tonnes. It took a week to cover the 120 kilometres between Lons-le-Saunier and the assembly site for...

24 CFR 51.105 - Exceptions.

Science.gov (United States)

2010-04-01

... 24 Housing and Urban Development 1 2010-04-01 2010-04-01 false Exceptions. 51.105 Section 51.105... ENVIRONMENTAL CRITERIA AND STANDARDS Noise Abatement and Control § 51.105 Exceptions. (a) Flexibility for non... acceptability standard of 65 decibels, the Acceptable Zone may be shifted to Ldn 70 on a case-by-case basis if...

On proving syntactic properties of CPS programs

DEFF Research Database (Denmark)

Danvy, Olivier; Dzafic, Belmina; Pfenning, Frank

1999-01-01

Higher-order program transformations raise new challenges for proving properties of their output, since they resist traditional, first-order proof techniques. In this work, we consider (1) the “one-pass” continuation-passing style (CPS) transformation, which is second-order, and (2) the occurrences...... of parameters of continuations in its output. To this end, we specify the one-pass CPS transformation relationally and we use the proof technique of logical relations....

Exceptionalism and globalism

Directory of Open Access Journals (Sweden)

John Cairns Jr

2001-03-01

Full Text Available ABSTRACT: Achieving sustainable use of the planet will require ethical judgments in both sciences and environmental politics. The purpose of this editorial is to discuss two paradigms, exceptionalism and globalism, that are important in this regard. Exceptionalism is the insistence that one set of rules or behaviors is acceptable for an individual or country but that a different set should be used for the rest of the world. For example, the disparity in per capita consumption of resources and economic status has increased dramatically in the last century, but the consumers of great amounts of resources do not feel a proportionate responsibility for addressing this issue. Globalism is defined as individual and societal willingness to diminish, postpone or forgo individual natural resource use to protect and enhance the integrity of the global ecological life support system. Increasing affluence and the still increasing human population, coupled with wide dissemination of information and an increasing awareness that humans occupy a finite planet, exacerbate this already difficult situation. Increased interest in sustainable use of the planet makes open discussion of these issues mandatory because individuals cannot function in isolation from the larger society of which they are a part. Similarly, no country can function in isolation from other countries, which collectively form an interactive mosaic. This discussion identifies some of the crucial issues related to exceptionalism and globalism, which must be addressed before sustainable use of the planet can be achieved.

7 CFR 4274.381 - Exception authority.

Science.gov (United States)

2010-01-01

... Program (IRP) § 4274.381 Exception authority. The Administrator may, in individual cases, grant an exception to any requirement or provision of this subpart which is not inconsistent with any applicable law...

28 CFR 73.2 - Exceptions.

Science.gov (United States)

2010-07-01

... 28 Judicial Administration 2 2010-07-01 2010-07-01 false Exceptions. 73.2 Section 73.2 Judicial... GOVERNMENTS § 73.2 Exceptions. (a) The exemption provided in 18 U.S.C. 951(d)(4) for a “legal commercial...-89, 54 FR 46608, Nov. 6, 1989, as amended by Order No. 3018-2008, 73 FR 73182, Dec. 2, 2008] ...

Potential health impacts from range fires at Aberdeen Proving Ground, Maryland

International Nuclear Information System (INIS)

Willians, G.P.; Hermes, A.M.; Policastro, A.J.; Hartmann, H.M.; Tomasko, D.

1998-03-01

This study uses atmospheric dispersion computer models to evaluate the potential for human health impacts from exposure to contaminants that could be dispersed by fires on the testing ranges at Aberdeen Proving Ground, Maryland. It was designed as a screening study and does not estimate actual human health risks. Considered are five contaminants possibly present in the soil and vegetation from past human activities at APG--lead, arsenic, trichloroethylene (TCE), depleted uranium (DU), and dichlorodiphenyltrichloroethane (DDT); and two chemical warfare agents that could be released from unexploded ordnance rounds heated in a range fire--mustard and phosgene. For comparison, dispersion of two naturally occurring compounds that could be released by burning of uncontaminated vegetation--vinyl acetate and 2-furaldehyde--is also examined. Data from previous studies on soil contamination at APG are used in conjunction with conservative estimates about plant uptake of contaminants, atmospheric conditions, and size and frequency of range fires at APG to estimate dispersion and possible human exposure. The results are compared with US Environmental Protection Agency action levels. The comparisons indicate that for all of the anthropogenic contaminants except arsenic and mustard, exposure levels would be at least an order of magnitude lower than the corresponding action levels. Because of the compoundingly conservative nature of the assumptions made, they conclude that the potential for significant human health risks from range fires is low. The authors recommend that future efforts be directed at fire management and control, rather than at conducting additional studies to more accurately estimate actual human health risk from range fires

Potential health impacts from range fires at Aberdeen Proving Ground, Maryland.

Energy Technology Data Exchange (ETDEWEB)

Willians, G.P.; Hermes, A.M.; Policastro, A.J.; Hartmann, H.M.; Tomasko, D.

1998-03-01

This study uses atmospheric dispersion computer models to evaluate the potential for human health impacts from exposure to contaminants that could be dispersed by fires on the testing ranges at Aberdeen Proving Ground, Maryland. It was designed as a screening study and does not estimate actual human health risks. Considered are five contaminants possibly present in the soil and vegetation from past human activities at APG--lead, arsenic, trichloroethylene (TCE), depleted uranium (DU), and dichlorodiphenyltrichloroethane (DDT); and two chemical warfare agents that could be released from unexploded ordnance rounds heated in a range fire--mustard and phosgene. For comparison, dispersion of two naturally occurring compounds that could be released by burning of uncontaminated vegetation--vinyl acetate and 2-furaldehyde--is also examined. Data from previous studies on soil contamination at APG are used in conjunction with conservative estimates about plant uptake of contaminants, atmospheric conditions, and size and frequency of range fires at APG to estimate dispersion and possible human exposure. The results are compared with US Environmental Protection Agency action levels. The comparisons indicate that for all of the anthropogenic contaminants except arsenic and mustard, exposure levels would be at least an order of magnitude lower than the corresponding action levels. Because of the compoundingly conservative nature of the assumptions made, they conclude that the potential for significant human health risks from range fires is low. The authors recommend that future efforts be directed at fire management and control, rather than at conducting additional studies to more accurately estimate actual human health risk from range fires.

Post-exceptionalism in public policy

DEFF Research Database (Denmark)

Daugbjerg, Carsten; Feindt, Peter H.

2017-01-01

Framing the special issue on the transformation of Food and Agricultural Policy, this article introduces the concept of post-exceptionalism in public policies. The analysis of change in agri-food policy serves as a generative example to conceptualize current transformations in sectoral policy...... arrangements in democratic welfare states. Often these arrangements have been characterized by an exceptionalist ideational framework that legitimizes a sector’s special treatment through compartmentalized, exclusive and producer-centered policies and politics. In times of internationalization of policy......-making, increasing interlinkage of policy areas and trends towards self-regulation, liberalization and performance-based policies, policy exceptionalism is under pressure to either transform or give way to (neo-)liberal policy arrangements. Post-exceptionalism denotes a partial transformation of exceptionalist ideas...

7 CFR 3565.13 - Exception authority.

Science.gov (United States)

2010-01-01

... Agency official may request and the Administrator or designee may make an exception to any requirement or... program objectives, and provided that such an exception is not inconsistent with any applicable law or...

7 CFR 4280.104 - Exception authority.

Science.gov (United States)

2010-01-01

... Efficiency Improvements Program § 4280.104 Exception authority. The Administrator may, on a case-by-case basis, make an exception to any requirement or provision of this subpart that is not inconsistent with...

Preparing for Mars: The Evolvable Mars Campaign 'Proving Ground' Approach

Science.gov (United States)

Bobskill, Marianne R.; Lupisella, Mark L.; Mueller, Rob P.; Sibille, Laurent; Vangen, Scott; Williams-Byrd, Julie

2015-01-01

As the National Aeronautics and Space Administration (NASA) prepares to extend human presence beyond Low Earth Orbit, we are in the early stages of planning missions within the framework of an Evolvable Mars Campaign. Initial missions would be conducted in near-Earth cis-lunar space and would eventually culminate in extended duration crewed missions on the surface of Mars. To enable such exploration missions, critical technologies and capabilities must be identified, developed, and tested. NASA has followed a principled approach to identify critical capabilities and a "Proving Ground" approach is emerging to address testing needs. The Proving Ground is a period subsequent to current International Space Station activities wherein exploration-enabling capabilities and technologies are developed and the foundation is laid for sustained human presence in space. The Proving Ground domain essentially includes missions beyond Low Earth Orbit that will provide increasing mission capability while reducing technical risks. Proving Ground missions also provide valuable experience with deep space operations and support the transition from "Earth-dependence" to "Earth-independence" required for sustainable space exploration. A Technology Development Assessment Team identified a suite of critical technologies needed to support the cadence of exploration missions. Discussions among mission planners, vehicle developers, subject-matter-experts, and technologists were used to identify a minimum but sufficient set of required technologies and capabilities. Within System Maturation Teams, known challenges were identified and expressed as specific performance gaps in critical capabilities, which were then refined and activities required to close these critical gaps were identified. Analysis was performed to identify test and demonstration opportunities for critical technical capabilities across the Proving Ground spectrum of missions. This suite of critical capabilities is expected to

Unexploded ordnance issues at Aberdeen Proving Ground: Background information

Energy Technology Data Exchange (ETDEWEB)

Rosenblatt, D.H.

1996-11-01

This document summarizes currently available information about the presence and significance of unexploded ordnance (UXO) in the two main areas of Aberdeen Proving Ground: Aberdeen Area and Edgewood Area. Known UXO in the land ranges of the Aberdeen Area consists entirely of conventional munitions. The Edgewood Area contains, in addition to conventional munitions, a significant quantity of chemical-munition UXO, which is reflected in the presence of chemical agent decomposition products in Edgewood Area ground-water samples. It may be concluded from current information that the UXO at Aberdeen Proving Ground has not adversely affected the environment through release of toxic substances to the public domain, especially not by water pathways, and is not likely to do so in the near future. Nevertheless, modest but periodic monitoring of groundwater and nearby surface waters would be a prudent policy.

44 CFR 17.625 - Exception provision.

Science.gov (United States)

2010-10-01

... 44 Emergency Management and Assistance 1 2010-10-01 2010-10-01 false Exception provision. 17.625 Section 17.625 Emergency Management and Assistance FEDERAL EMERGENCY MANAGEMENT AGENCY, DEPARTMENT OF HOMELAND SECURITY GENERAL GOVERNMENTWIDE REQUIREMENTS FOR DRUG-FREE WORKPLACE (GRANTS) § 17.625 Exception...

Classificació de proves no paramètriques. Com aplicar-les en SPSS

Directory of Open Access Journals (Sweden)

Vanesa Berlanga-Silvente

2012-07-01

Full Text Available Les proves no paramètriques engloben una sèrie de proves estadístiques, que tenen com a denominador comú l'absència de assumpcions sobre la llei de probabilitat que segueix la població de la qual ha estat extreta la mostra. Per aquesta raó és comú referir-s'hi com a proves de distribució lliure. A l'article es descriuen i treballen les proves no paramètriques ressaltant el seu fonament i les indicacions per al seu ús quan es tracta d'una sola mostra (Chi-quadrat, de dues mostres amb dades independents (U de Mann-Whitney, de dues mostres amb dades relacionades (T de Wilcoxon, de diverses mostres amb dades independents (H de Kruskal-Wallis i de diverses mostres amb dades relacionades (Friedman.

Local distortion techniques and unitarity of the S-matrix for the 2-body problem

International Nuclear Information System (INIS)

Babbitt, D.; Balslev, E.

1976-01-01

The two-body S-matrix for an interaction with exponential decay at infinity is defined in a time-independent way and its unitarity is proved directly by local distortion techniques. Complete sets of incoming and outgoing states or delicate resolvent estimates are not needed for the proof

Evaluation of depleted uranium in the environment at Aberdeen Proving Grounds, Maryland and Yuma Proving Grounds, Arizona. Final report

International Nuclear Information System (INIS)

Kennedy, P.L.; Clements, W.H.; Myers, O.B.; Bestgen, H.T.; Jenkins, D.G.

1995-01-01

This report represents an evaluation of depleted uranium (DU) introduced into the environment at the Aberdeen Proving Grounds (APG), Maryland and Yuma Proving Grounds (YPG) Arizona. This was a cooperative project between the Environmental Sciences and Statistical Analyses Groups at LANL and with the Department of Fishery and Wildlife Biology at Colorado State University. The project represents a unique approach to assessing the environmental impact of DU in two dissimilar ecosystems. Ecological exposure models were created for each ecosystem and sensitivity/uncertainty analyses were conducted to identify exposure pathways which were most influential in the fate and transport of DU in the environment. Research included field sampling, field exposure experiment, and laboratory experiments. The first section addresses DU at the APG site. Chapter topics include bioenergetics-based food web model; field exposure experiments; bioconcentration by phytoplankton and the toxicity of U to zooplankton; physical processes governing the desorption of uranium from sediment to water; transfer of uranium from sediment to benthic invertebrates; spead of adsorpion by benthic invertebrates; uptake of uranium by fish. The final section of the report addresses DU at the YPG site. Chapters include the following information: Du transport processes and pathway model; field studies of performance of exposure model; uptake and elimination rates for kangaroo rates; chemical toxicity in kangaroo rat kidneys

Evaluation of depleted uranium in the environment at Aberdeen Proving Grounds, Maryland and Yuma Proving Grounds, Arizona. Final report

Energy Technology Data Exchange (ETDEWEB)

Kennedy, P.L.; Clements, W.H.; Myers, O.B.; Bestgen, H.T.; Jenkins, D.G. [Colorado State Univ., Fort Collins, CO (United States). Dept. of Fishery and Wildlife Biology

1995-01-01

This report represents an evaluation of depleted uranium (DU) introduced into the environment at the Aberdeen Proving Grounds (APG), Maryland and Yuma Proving Grounds (YPG) Arizona. This was a cooperative project between the Environmental Sciences and Statistical Analyses Groups at LANL and with the Department of Fishery and Wildlife Biology at Colorado State University. The project represents a unique approach to assessing the environmental impact of DU in two dissimilar ecosystems. Ecological exposure models were created for each ecosystem and sensitivity/uncertainty analyses were conducted to identify exposure pathways which were most influential in the fate and transport of DU in the environment. Research included field sampling, field exposure experiment, and laboratory experiments. The first section addresses DU at the APG site. Chapter topics include bioenergetics-based food web model; field exposure experiments; bioconcentration by phytoplankton and the toxicity of U to zooplankton; physical processes governing the desorption of uranium from sediment to water; transfer of uranium from sediment to benthic invertebrates; spead of adsorpion by benthic invertebrates; uptake of uranium by fish. The final section of the report addresses DU at the YPG site. Chapters include the following information: Du transport processes and pathway model; field studies of performance of exposure model; uptake and elimination rates for kangaroo rates; chemical toxicity in kangaroo rat kidneys.

Theorem Proving in Intel Hardware Design

Science.gov (United States)

O'Leary, John

2009-01-01

For the past decade, a framework combining model checking (symbolic trajectory evaluation) and higher-order logic theorem proving has been in production use at Intel. Our tools and methodology have been used to formally verify execution cluster functionality (including floating-point operations) for a number of Intel products, including the Pentium(Registered TradeMark)4 and Core(TradeMark)i7 processors. Hardware verification in 2009 is much more challenging than it was in 1999 - today s CPU chip designs contain many processor cores and significant firmware content. This talk will attempt to distill the lessons learned over the past ten years, discuss how they apply to today s problems, outline some future directions.

Exceptions to the Stark law: practical considerations for surgeons.

Science.gov (United States)

Satiani, Bhagwan

2006-03-01

The purpose of this study was to provide an understanding of the applicable legislative exceptions to prohibitions under the Stark law, which governs common legitimate business relationships in surgical practice. Stark I and II prohibits all referrals (and claims) for the provision of designated health services for federal reimbursement if a physician or immediate family member has any financial relationship with the entity. Regardless of intent (unlike the antikickback statute), any financial relationship is illegal unless specifically excepted by statute. These exceptions are relevant to ownership, compensation arrangements, or both. The most important ones relevant to surgeons are as follows: physician service exception (services rendered in an intragroup referral); in-office ancillary services exception (office-based vascular laboratory); the whole hospital exception (ownership interest in a hospital or department); lease exception (conditions that must be met for a lease not to be considered illegal); bona fide employment exception (important to academic medical centers); personal services arrangement exception (vascular laboratory medical directorship); physician incentive plans exception (if volume or value of referrals are an issue); hospital-affiliated group practice exception (physician services billed by a hospital); recruitment arrangement exception (inducements by hospitals to relocate); items/services exception (transcription services purchased from a hospital); fair market value exception (covers services provided to health care entities); indirect compensation arrangements (dealings between a hospital and entity owned by physicians); and academic medical centers exception (new phase II rules broaden the definition of academic medical centers and ease the requirement that practice plans be tax-exempt organizations, among other changes. Although expert legal advice is required for navigation through the maze of Stark laws, it is incumbent on surgeons

Formalizing and proving a typing result for security protocols in Isabelle/HOL

DEFF Research Database (Denmark)

Hess, Andreas Viktor; Modersheim, Sebastian

2017-01-01

or the positive output of a verification tool. However several of these works have used a typed model, where the intruder is restricted to "well-typed" attacks. There also have been several works that show that this is actually not a restriction for a large class of protocols, but all these results so far...... are again pen-and-paper proofs. In this work we present a formalization of such a typing result in Isabelle/HOL. We formalize a constraint-based approach that is used in the proof argument of such typing results, and prove its soundness, completeness and termination. We then formalize and prove the typing...... result itself in Isabelle. Finally, to illustrate the real-world feasibility, we prove that the standard Transport Layer Security (TLS) handshake satisfies the main condition of the typing result....

IHSI [Induction Heating Stress Improvement] proves its worth

International Nuclear Information System (INIS)

Froehlich, C.H.; Cofie, N.G.; Sheffield, J.R.

1988-01-01

Based upon the wealth of experimental test data, extensive and successful in-plant application, and the decreasing cost of applying the process, IHSI is proving itself an important part of overall IGSCC mitigation programmes. Work is ongoing on the development of new temperature sensing systems, more efficient equipment immobilization/demobilization hardware configurations, and craft support management practices to further enhance the cost-effectiveness of IHSI. (author)

Thinking globally and acting locally in Mindanao: Supporting the delicate balance of future sustainability in South-East Asian wilderness as well as rural areas

International Nuclear Information System (INIS)

Richards, C

2014-01-01

Although models of future sustainability often talk about effectively balancing economic, social and environmental imperatives or factors, in practice this typically remains an elusive ideal. This paper explores the exemplary possibilities but also dilemmas of a proposed initiative in the resource-rich but under-developed Filippino island province of Mindanao to achieve such a delicate balance in practice. This initiative by Raintrust Sustainable Ventures' proposes to link foreign investment in agricultural development to both the social advancement of local tribal peoples and the protection of large amounts of remaining wilderness areas. Such a case study provides an exemplary basis for discussing the challenge of achieving social and environmental as well as economic domains of 'future sustainability'. The crucial supporting role of information and geospatial technologies in the Raintrust plan will also be discussed

Exceptional groups from open strings

International Nuclear Information System (INIS)

Gaberdiel, M.R.; Zwiebach, B.

1998-01-01

We consider type IIB theory compactified on a two-sphere in the presence of mutually non-local 7-branes. The BPS states associated with the gauge vectors of exceptional groups are seen to arise from open strings connecting the 7-branes, and multi-pronged open strings capable of ending on more than two 7-branes. These multi-pronged strings are built from open string junctions that arise naturally when strings cross 7-branes. The different string configurations can be multiplied as traditional open strings, and are shown to generate the structure of exceptional groups. (orig.)

Session-based Choreography with Exceptions

DEFF Research Database (Denmark)

Carbone, Marco

2009-01-01

Choreography has recently emerged as a pragmatic and concise way of describing communication-based systems such as web services and financial protocols. Recent studies have investigated the transition from the design stage of a system to its implementation providing an automatic way of mapping...... a choreograhy into executable code. In this work, we focus on an extension of choreography with a communication-based (interactional) exception mechanism by giving its formal semantics. In particular, we discuss through some examples how interactional exceptions at choreography level can be implemented into end...

Detecting and explaining business exceptions for risk assessment

NARCIS (Netherlands)

Liu, L.; Daniëls, H.A.M.; Hofman, W.; Hammoudi, S.; Maciaszek, L.; Cordeiro, J.; Dietz, J.

2013-01-01

Systematic risk analysis can be based on causal analysis of business exceptions. In this paper we describe the concepts of automatic analysis for the exceptional patterns which are hidden in a large set of business data. These exceptions are interesting to be investigated further for their causes

SPoRT's Participation in the GOES-R Proving Ground Activity

Science.gov (United States)

Jedlovec, Gary; Fuell, Kevin; Smith, Matthew; Stano, Geoffrey; Molthan, Andrew

2011-01-01

The next generation geostationary satellite, GOES-R, will carry two new instruments with unique atmospheric and surface observing capabilities, the Advanced Baseline Imager (ABI) and the Geostationary Lightning Mapper (GLM), to study short-term weather processes. The ABI will bring enhanced multispectral observing capabilities with frequent refresh rates for regional and full disk coverage to geostationary orbit to address many existing and new forecast challenges. The GLM will, for the first time, provide the continuous monitoring of total lightning flashes over a hemispherical region from space. NOAA established the GOES-R Proving Ground activity several years ago to demonstrate the new capabilities of these instruments and to prepare forecasters for their day one use. Proving Ground partners work closely with algorithm developers and the end user community to develop and transition proxy data sets representing GOES-R observing capabilities. This close collaboration helps to maximize refine algorithms leading to the delivery of a product that effectively address a forecast challenge. The NASA Short-term Prediction Research and Transition (SPoRT) program has been a participant in the NOAA GOES-R Proving Ground activity by developing and disseminating selected GOES-R proxy products to collaborating WFOs and National Centers. Established in 2002 to demonstrate the weather and forecasting application of real-time EOS measurements, the SPoRT program has grown to be an end-to-end research to operations activity focused on the use of advanced NASA modeling and data assimilation approaches, nowcasting techniques, and unique high-resolution multispectral data from EOS satellites to improve short-term weather forecasts on a regional and local scale. Participation in the Proving Ground activities extends SPoRT s activities and taps its experience and expertise in diagnostic weather analysis, short-term weather forecasting, and the transition of research and experimental

Renewable Energy Opportunties at Dugway Proving Ground, Utah

Energy Technology Data Exchange (ETDEWEB)

Orrell, Alice C.; Kora, Angela R.; Russo, Bryan J.; Horner, Jacob A.; Williamson, Jennifer L.; Weimar, Mark R.; Gorrissen, Willy J.; Nesse, Ronald J.; Dixon, Douglas R.

2010-05-31

This document provides an overview of renewable resource potential at Dugway Proving Ground, based primarily upon analysis of secondary data sources supplemented with limited on-site evaluations. This effort focuses on grid-connected generation of electricity from renewable energy sources and ground source heat pumps (GSHPs). The effort was funded by the U.S. Army Installation Management Command (IMCOM) as follow-on to the 2005 Department of Defense (DoD) Renewables Assessment.

A strongly nonlinear reaction-diffusion model for a deterministic diffusive epidemic

International Nuclear Information System (INIS)

Kirane, M.; Kouachi, S.

1992-10-01

In the present paper the mathematical validity of a model on the spread of an infectious disease is proved. This model was proposed by Bailey. The mathematical validity is proved by means of a positivity, uniqueness and existence theorem. In spite of the apparent simplicity of the problem, the solution requires a delicate set of techniques. It seems very difficult to extend these techniques to a model in more than one dimension without imposing conditions on the diffusivities. (author). 7 refs

Amendments to excepted benefits. Final rules.

Science.gov (United States)

2014-10-01

This document contains final regulations that amend the regulations regarding excepted benefits under the Employee Retirement Income Security Act of 1974, the Internal Revenue Code (the Code), and the Public Health Service Act. Excepted benefits are generally exempt from the health reform requirements that were added to those laws by the Health Insurance Portability and Accountability Act and the Patient Protection and Affordable Care Act. In addition, eligibility for excepted benefits does not preclude an individual from eligibility for a premium tax credit under section 36B of the Code if an individual chooses to enroll in coverage under a Qualified Health Plan through an Affordable Insurance Exchange. These regulations finalize some but not all of the proposed rules with minor modifications; additional guidance on limited wraparound coverage is forthcoming.

28 CFR 66.6 - Additions and exceptions.

Science.gov (United States)

2010-07-01

... 28 Judicial Administration 2 2010-07-01 2010-07-01 false Additions and exceptions. 66.6 Section 66.6 Judicial Administration DEPARTMENT OF JUSTICE (CONTINUED) UNIFORM ADMINISTRATIVE REQUIREMENTS FOR... additional administrative requirements except in codified regulations published in the Federal Register. (b...

Unicorns do exist: a tutorial on "proving" the null hypothesis.

Science.gov (United States)

Streiner, David L

2003-12-01

Introductory statistics classes teach us that we can never prove the null hypothesis; all we can do is reject or fail to reject it. However, there are times when it is necessary to try to prove the nonexistence of a difference between groups. This most often happens within the context of comparing a new treatment against an established one and showing that the new intervention is not inferior to the standard. This article first outlines the logic of "noninferiority" testing by differentiating between the null hypothesis (that which we are trying to nullify) and the "nill" hypothesis (there is no difference), reversing the role of the null and alternate hypotheses, and defining an interval within which groups are said to be equivalent. We then work through an example and show how to calculate sample sizes for noninferiority studies.

Educating Exceptional Children: Current Issue for Educators

Science.gov (United States)

Specht, Jacqueline

2004-01-01

The Oxford dictionary defines exceptionality as "forming an exception; very unusual; outstandingly good." A thesaurus provides the following synonyms: outstanding, excellent, brilliant, antonym of ordinary. In education and psychology textbooks and journals, however, it is often defined in ways that focus on limitations, with synonyms…

Statistical tests to compare motif count exceptionalities

Directory of Open Access Journals (Sweden)

Vandewalle Vincent

2007-03-01

Full Text Available Abstract Background Finding over- or under-represented motifs in biological sequences is now a common task in genomics. Thanks to p-value calculation for motif counts, exceptional motifs are identified and represent candidate functional motifs. The present work addresses the related question of comparing the exceptionality of one motif in two different sequences. Just comparing the motif count p-values in each sequence is indeed not sufficient to decide if this motif is significantly more exceptional in one sequence compared to the other one. A statistical test is required. Results We develop and analyze two statistical tests, an exact binomial one and an asymptotic likelihood ratio test, to decide whether the exceptionality of a given motif is equivalent or significantly different in two sequences of interest. For that purpose, motif occurrences are modeled by Poisson processes, with a special care for overlapping motifs. Both tests can take the sequence compositions into account. As an illustration, we compare the octamer exceptionalities in the Escherichia coli K-12 backbone versus variable strain-specific loops. Conclusion The exact binomial test is particularly adapted for small counts. For large counts, we advise to use the likelihood ratio test which is asymptotic but strongly correlated with the exact binomial test and very simple to use.

On the problem of proving the existence of ''charmed'' particles

International Nuclear Information System (INIS)

Tyapkin, A.A.

1975-01-01

In order to search for ''charmed'' particles a possibility of performing an experiment is discussed in which one could observe a new particle and prove a necessity of introducting for this particle a new quantum number conserved in strong interactions

16 CFR 1101.42 - Imminent hazard exception.

Science.gov (United States)

2010-01-01

... 16 Commercial Practices 2 2010-01-01 2010-01-01 false Imminent hazard exception. 1101.42 Section 1101.42 Commercial Practices CONSUMER PRODUCT SAFETY COMMISSION CONSUMER PRODUCT SAFETY ACT REGULATIONS... court. Once the exception applies, information may be disclosed to the public while the proceeding is...

On the role of Cro in lambda prophage induction

DEFF Research Database (Denmark)

Svenningsen, Sine Lo; Constantino, Nina; Court, Donald L

2005-01-01

The lysogenic state of bacteriophage ¿ is exceptionally stable yet the prophage is readily induced in response to DNA damage. This delicate epigenetic switch is believed to be regulated by two proteins; the lysogenic maintenance promoting protein CI and the early lytic protein Cro. First, we conf...

Une Exception Francaise: Les Grandes Ecoles (A French Exception: The Great Schools).

Science.gov (United States)

Kimmel, Alain

1996-01-01

Examines the role of exceptional schools in France that have produced famous personages such as Charles de Gaulle and Jean-Paul Sartre. The schools reviewed include L'Ecole Nationale d'Administration, L'Ecole Polytechnique, L'Ecole Normale Superieure, L'Ecole des Hautes Etudes Commerciales, Saint-Cyr, and L'Institut d'Etudes Politiques de Paris.…

Valutazione economica dello studio PROVE-IT

Directory of Open Access Journals (Sweden)

Lorenzo G. Mantovani

2007-10-01

Full Text Available Introduction: the PROVE-IT (“Intensive versus moderate lipid lowering with statins after acute coronary syndromes” was a comparison of pravastatin 40 mg/die versus atorvastatin 80 mg/die in patients with an acute coronary syndrome (ACS. Aim: our aim was to investigate the economic consequence of high dose of atorvastatin vs usual-dose of pravastatin in Italian patients with a history of acute coronary syndrome. Methods: the analysis is conducted on the basis of clinical outcomes of the PROVE-IT study. We conducted a cost-effectiveness analysis, comparing high dose of atorvastatin (80 mg/die versus usual-dose of pravastatin (40 mg/die in the perspective of the Italian National Health Service. We identified and quantified medical costs: drug costs according to the Italian National Therapeutic Formulary and hospitalizations were quantified based on the Italian National Health Service tariffs (2006. Effects were measured in terms of mortality and morbidity reduction (number of deaths, life years gained and frequency of hospitalizations. We considered an observation period of 24 months. The costs borne after the first 12 months were discounted using an annual rate of 3%. We conducted one and multi-way sensitivity analyses on unit cost and effectiveness. We also conducted a threshold analysis. Results: the cost of pravastatin or atorvastatin therapy over the 2 years period amounted to approximately 1.3 millions euro and 870,000 euro per 1,000 patients respectively. Atorvastatin was more efficacious compared to pravastatin and the overall cost of care per 1,000 patients over 24 months of follow-up was estimated at 3.2 millions euro in the pravastatin and 2.5 millions euro in the atorvastatin group, resulting into a cost saving of about 700,000 euro that is 27% of total costs occurred in the pravastatin group. Discussion: this study demonstrates that high does atorvastatin treatment leads to a reduction of direct costs for the National Health System

49 CFR 173.3 - Packaging and exceptions.

Science.gov (United States)

2010-10-01

... 49 Transportation 2 2010-10-01 2010-10-01 false Packaging and exceptions. 173.3 Section 173.3... SHIPMENTS AND PACKAGINGS General § 173.3 Packaging and exceptions. (a) The packaging of hazardous materials.... standard packaging must be open to inspection by a representative of the Department. (b) The regulations...

Fully discrete Galerkin schemes for the nonlinear and nonlocal Hartree equation

Directory of Open Access Journals (Sweden)

Walter H. Aschbacher

2009-01-01

Full Text Available We study the time dependent Hartree equation in the continuum, the semidiscrete, and the fully discrete setting. We prove existence-uniqueness, regularity, and approximation properties for the respective schemes, and set the stage for a controlled numerical computation of delicate nonlinear and nonlocal features of the Hartree dynamics in various physical applications.

21 CFR 1302.03 - Symbol required; exceptions.

Science.gov (United States)

2010-04-01

... 21 Food and Drugs 9 2010-04-01 2010-04-01 false Symbol required; exceptions. 1302.03 Section 1302... REQUIREMENTS FOR CONTROLLED SUBSTANCES § 1302.03 Symbol required; exceptions. (a) Each commercial container of... § 1308.31 of this chapter) shall have printed on the label the symbol designating the schedule in which...

Maize and biosecurity in Mexico; debate and practice

NARCIS (Netherlands)

Antal, E.; Baker, L.; Verschoor, G.M.

2007-01-01

Mexico committed to liberalizing its trade under the terms set by NAFTA and the WTO, yet it is also obliged to protect its exceptional biodiversity. This is especially delicate as it is closely linked to cultural diversity and the survival of poor campesino and indigenous groups. The unfortunate

48 CFR 225.103 - Exceptions.

Science.gov (United States)

2010-10-01

... covered by the World Trade Organization Government Procurement Agreement, the Under Secretary of Defense...) In order not to impair integration of the military and commercial industrial base. (B) Except as...

48 CFR 825.202 - Exceptions.

Science.gov (United States)

2010-10-01

... PROGRAMS FOREIGN ACQUISITION Buy American Act-Construction Materials 825.202 Exceptions. (a) When a... HCA believes that the non-availability of an article is likely to affect future acquisitions, include...

Enhanced electrochemical performance of different morphological C/LiMnPO4 nanoparticles from hollow-sphere Li3PO4 precursor via a delicate polyol-assisted hydrothermal method

Science.gov (United States)

Cui, Yu-Ting; Xu, Ning; Kou, Li-Qin; Wu, Meng-Tao; Chen, Li

2014-03-01

With the hollow-sphere Li3PO4 as precursor, a delicate polyol-assisted hydrothermal method is devised to synthesize high-performance LiMnPO4. Orthorhombic shaped, irregular flaky shaped and sphere-like LiMnPO4 are sequentially prepared by decreasing the water-diethylene glycol (DEG) ratio. The capacity, cycling stability and rate performance of all samples prepared by the new synthesis method are improved significantly. And the C/LiMnPO4 with irregular flaky shape exhibits a capacity of 154.1 mA h g-1 at C/20, 147.4 mA h g-1 at C/10 and 102.5 mA h g-1 at 2 C, which is the best performance ever reported for LiMnPO4 active material with similar carbon additives.

45 CFR 670.5 - Exception in extraordinary circumstances.

Science.gov (United States)

2010-10-01

... involving the safety of human life or of ships, aircraft, or equipment or facilities of high value, or the... FOUNDATION CONSERVATION OF ANTARCTIC ANIMALS AND PLANTS Prohibited Acts, Exceptions § 670.5 Exception in...

Searching for fixed point combinators by using automated theorem proving: A preliminary report

International Nuclear Information System (INIS)

Wos, L.; McCune, W.

1988-09-01

In this report, we establish that the use of an automated theorem- proving program to study deep questions from mathematics and logic is indeed an excellent move. Among such problems, we focus mainly on that concerning the construction of fixed point combinators---a problem considered by logicians to be significant and difficult to solve, and often computationally intensive and arduous. To be a fixed point combinator, Θ must satisfy the equation Θx = x(Θx) for all combinators x. The specific questions on which we focus most heavily ask, for each chosen set of combinators, whether a fixed point combinator can be constructed from the members of that set. For answering questions of this type, we present a new, sound, and efficient method, called the kernel method, which can be applied quite easily by hand and very easily by an automated theorem-proving program. For the application of the kernel method by a theorem-proving program, we illustrate the vital role that is played by both paramodulation and demodulation---two of the powerful features frequently offered by an automated theorem-proving program for treating equality as if it is ''understood.'' We also state a conjecture that, if proved, establishes the completeness of the kernel method. From what we can ascertain, this method---which relies on the introduced concepts of kernel and superkernel---offers the first systematic approach for searching for fixed point combinators. We successfully apply the new kernel method to various sets of combinators and, for the set consisting of the combinators B and W, construct an infinite set of fixed point combinators such that no two of the combinators are equal even in the presence of extensionality---a law that asserts that two combinators are equal if they behave the same. 18 refs

Searching for fixed point combinators by using automated theorem proving: A preliminary report

Energy Technology Data Exchange (ETDEWEB)

Wos, L.; McCune, W.

1988-09-01

In this report, we establish that the use of an automated theorem- proving program to study deep questions from mathematics and logic is indeed an excellent move. Among such problems, we focus mainly on that concerning the construction of fixed point combinators---a problem considered by logicians to be significant and difficult to solve, and often computationally intensive and arduous. To be a fixed point combinator, THETA must satisfy the equation THETAx = x(THETAx) for all combinators x. The specific questions on which we focus most heavily ask, for each chosen set of combinators, whether a fixed point combinator can be constructed from the members of that set. For answering questions of this type, we present a new, sound, and efficient method, called the kernel method, which can be applied quite easily by hand and very easily by an automated theorem-proving program. For the application of the kernel method by a theorem-proving program, we illustrate the vital role that is played by both paramodulation and demodulation---two of the powerful features frequently offered by an automated theorem-proving program for treating equality as if it is ''understood.'' We also state a conjecture that, if proved, establishes the completeness of the kernel method. From what we can ascertain, this method---which relies on the introduced concepts of kernel and superkernel---offers the first systematic approach for searching for fixed point combinators. We successfully apply the new kernel method to various sets of combinators and, for the set consisting of the combinators B and W, construct an infinite set of fixed point combinators such that no two of the combinators are equal even in the presence of extensionality---a law that asserts that two combinators are equal if they behave the same. 18 refs.

The in-pile proving test for fuel assembly of Qinshan nuclear power plant

International Nuclear Information System (INIS)

Chen Dianshan; Zhang Shucheng; Kang Rixin; Wang Huarong; Chen Guanghan

1989-10-01

The in-pile proving test for fuel assembly of Qinshan nuclear power plant had been conducted in the experimental loop of HWRR at IAE (Institute of Atomic Energy) in Beijing, China, from January 1985 to December 1986. Average burnup of 27000 MWd/tU and peak burnup of 34000 MWd/tU of fuel rod had already been reached. The basic status of the experiment are described, emphasis is placed on the discussion of proving test parameters and analysis of experiment results

A strongly nonlinear reaction diffusion model for a deterministic diffusive epidemic

International Nuclear Information System (INIS)

Kirane, M.; Kouachi, S.

1993-04-01

In the present paper the mathematical validity of a model on the spread of an infectious disease is proved. This model was proposed by Bailey. The mathematical validity is proved by means of a positivity, uniqueness and existence theorem. Moreover the large time behaviour of the global solutions is analyzed. In spite of the apparent simplicity of the problem, the solution requires a delicate set of techniques. It seems very difficult to extend these techniques to a model in more than one dimension without imposing conditions on the data. (author). 9 refs

Framing charitable donations as exceptional expenses increases giving.

Science.gov (United States)

Sussman, Abigail B; Sharma, Eesha; Alter, Adam L

2015-06-01

Many articles have examined the psychological drivers of charitable giving, but little is known about how people mentally budget for charitable gifts. The present research aims to address this gap by investigating how perceptions of donations as exceptional (uncommon and infrequent) rather than ordinary (common and frequent) expenses might affect budgeting for and giving to charity. We provide the first demonstration that exceptional framing of an identical item can directly influence mental budgeting processes, and yield societal benefits. In 5 lab and field experiments, exceptional framing increased charitable behavior, and diminished the extent to which people considered the effect of the donation on their budgets. The current work extends our understanding of mental accounting and budgeting for charitable gifts, and demonstrates practical techniques that enable fundraisers to enhance the perceived exceptionality of donations. (c) 2015 APA, all rights reserved).

Nothing Exceptional: Against Agamben

Science.gov (United States)

Colatrella, Steven

2011-01-01

Giorgio Agamben's work has become widely influential as a guide to explaining the extra-constitutional powers assumed by governments under the rubric of the War on Terror. His formulations, such as Homo Sacer and State of Exception, have been extended to apply to a wide variety of experiences of repression of liberties or social control, including…

On exceptional instanton strings

NARCIS (Netherlands)

Del Zotto, M.; Lockhart, G.

According to a recent classification of 6d (1, 0) theories within F-theory there are only six “pure” 6d gauge theories which have a UV superconformal fixed point. The corresponding gauge groups are SU(3), SO(8), F4, E6, E7, and E8. These exceptional models have BPS strings which are also instantons

Exceptional points in open quantum systems

International Nuclear Information System (INIS)

Mueller, Markus; Rotter, Ingrid

2008-01-01

Open quantum systems are embedded in the continuum of scattering wavefunctions and are naturally described by non-Hermitian Hamilton operators. In the complex energy plane, exceptional points appear at which two (or more) eigenvalues of the Hamilton operator coalesce. Although they are a countable set of single points in the complex energy plane and therefore of measure zero, they determine decisively the dynamics of open quantum systems. A powerful method for the description of open quantum systems is the Feshbach projection operator formalism. It is used in the present paper as a basic tool for the study of exceptional points and of the role they play for the dynamics of open quantum systems. Among others, the topological structure of the exceptional points, the rigidity of the phases of the eigenfunctions in their vicinity, the enhancement of observable values due to the reduced phase rigidity and the appearance of phase transitions are considered. The results are compared with existing experimental data on microwave cavities. In the last section, some questions being still unsolved, are considered

“Deliberate distortion of facts” and the problem of proving bias:

African Journals Online (AJOL)

user

informed observer would reasonably perceive bias on the part of the officer .... represent an excellent illustration of what an Australian Chief Justice once .... the appellants prove that the Justice of Appeal who had no financial or other.

77 FR 70807 - Advisory Board for Exceptional Children

Science.gov (United States)

2012-11-27

... DEPARTMENT OF THE INTERIOR Bureau of Indian Affairs Advisory Board for Exceptional Children AGENCY... (BIE) is announcing that the Advisory Board for Exceptional Children (Advisory Board) will hold its... with Disabilities Education Act of 2004 (IDEA) for Indian children with disabilities. DATES: The...

76 FR 40929 - Advisory Board for Exceptional Children

Science.gov (United States)

2011-07-12

... DEPARTMENT OF THE INTERIOR Bureau of Indian Affairs Advisory Board for Exceptional Children AGENCY... (BIE) is announcing that the Advisory Board for Exceptional Children (Advisory Board) will hold its... with Disabilities Education Act of 2004 (IDEA) for Indian children with disabilities. DATES: The...

77 FR 47873 - Advisory Board for Exceptional Children

Science.gov (United States)

2012-08-10

... DEPARTMENT OF THE INTERIOR Bureau of Indian Affairs Advisory Board for Exceptional Children AGENCY... (BIE) is announcing that the Advisory Board for Exceptional Children (Advisory Board) will hold its... with Disabilities Education Act of 2004 (IDEA) for Indian children with disabilities. DATES: The...

75 FR 50780 - Advisory Board for Exceptional Children

Science.gov (United States)

2010-08-17

... DEPARTMENT OF THE INTERIOR Bureau of Indian Affairs Advisory Board for Exceptional Children AGENCY... (BIE) is announcing that the Advisory Board for Exceptional Children (Advisory Board) will hold its... with Disabilities Education Act of 2004 (IDEA) for Indian children with disabilities. DATES: The...

Proving test on the performance of a Multiple-Excitation Simulator

International Nuclear Information System (INIS)

Fujita, Katsuhisa; Ito, Tomohiro; Kojima, Nobuyuki; Sasaki, Yoichi; Abe, Hiroshi; Kuroda, Katsuhiko

1995-01-01

Seismic excitation test on large scale piping systems is scheduled to be carried out by the Nuclear power Engineering Corporation (NUPEC) using the large-scale, high-performance vibration table at the Tadotsu Engineering Laboratory, under the sponsorship of the Ministry of International Trade and Industry (MITI). In the test, the piping systems simulate the main steam piping system and the main feed water piping system in the nuclear power plants. In this study, a fundamental test was carried out to prove the performance of the Multiple Excitation Simulator which consists of the hydraulic actuator and the control system. An L-shaped piping system and a hydraulic actuator were installed on the shaking table. Acceleration and displacement generated by the actuator were measured. The performance of the actuator and the control system was discussed comparing the measured values and the target values on the time histories and the response spectrum of the acceleration. As a result, it was proved that the actuator and the control system have good performance and will be applicable to the verification test

Adapting American Policymaking to Overcome American Exceptionalism

Science.gov (United States)

2015-04-13

discomfort at President Bush’s rallying good against evil speeches and the words of the NSS. The President’s us versus them foreign policies...of global leadership, and of concern for the well being of the global community. Classically, American exceptionalism refers to the uniquely free ...longer that force for good, but a force for its own good. Exceptionalism once meant a nation free from tyrannical rule and offering of bountiful

Proving the AGT relation for N f = 0, 1, 2 antifundamentals

Science.gov (United States)

Hadasz, Leszek; Jaskólski, Zbigniew; Suchanek, Paulina

2010-06-01

Using recursive relations satisfied by Nekrasov partition functions and by irregular conformal blocks we prove the AGT correspondence in the case of mathcal{N} = 2 superconformal SU(2) quiver gauge theories with N f = 0, 1, 2 antifundamental hypermultiplets.

Parents vs. Theorists: Dealing with the Exceptionally Gifted.

Science.gov (United States)

Tolan, Stephanie S.

1992-01-01

This paper explores the fundamental rift between parents raising exceptionally gifted children and theorists who dismiss this population as "statistically insignificant." The role of intelligence tests in identifying the highly unusual mind is examined. The paper concludes that exceptionally gifted children are suffering intellectual…

77 FR 16062 - Advisory Board for Exceptional Children

Science.gov (United States)

2012-03-19

... DEPARTMENT OF THE INTERIOR Bureau of Indian Affairs Advisory Board for Exceptional Children AGENCY... (BIE) is announcing that the Advisory Board for Exceptional Children (Advisory Board) will hold its... Individuals with Disabilities Education Act of 2004 (IDEA) for Indian children with disabilities. DATES: The...

77 FR 28897 - Advisory Board for Exceptional Children

Science.gov (United States)

2012-05-16

... DEPARTMENT OF THE INTERIOR Bureau of Indian Affairs Advisory Board for Exceptional Children AGENCY... (BIE) is announcing that the Advisory Board for Exceptional Children (Advisory Board) will hold its... Individuals with Disabilities Education Act of 2004 (IDEA) for Indian children with disabilities. DATES: The...

76 FR 17965 - Advisory Board for Exceptional Children

Science.gov (United States)

2011-03-31

... DEPARTMENT OF THE INTERIOR Bureau of Indian Affairs Advisory Board for Exceptional Children AGENCY... (BIE) is announcing that the Advisory Board for Exceptional Children (Advisory Board) will hold its... Individuals with Disabilities Education Act of 2004 (IDEA) for Indian children with disabilities. DATES: The...

75 FR 82410 - Advisory Board for Exceptional Children

Science.gov (United States)

2010-12-30

... DEPARTMENT OF THE INTERIOR Bureau of Indian Affairs Advisory Board for Exceptional Children AGENCY... (BIE) is announcing that the Advisory Board for Exceptional Children (Advisory Board) will hold its... Individuals with Disabilities Education Act of 2004 (IDEA) for Indian children with disabilities. DATES: The...

75 FR 53334 - Advisory Board for Exceptional Children

Science.gov (United States)

2010-08-31

... DEPARTMENT OF THE INTERIOR Bureau of Indian Affairs Advisory Board for Exceptional Children AGENCY: Bureau of Indian Affairs, Interior. ACTION: Notice of meeting; correction. SUMMARY: The Bureau of Indian... Advisory Board for Exceptional Children (Advisory Board) will hold its next meeting in Washington, DC. The...

14 CFR 399.21 - Charter exemptions (except military).

Science.gov (United States)

2010-01-01

... 14 Aeronautics and Space 4 2010-01-01 2010-01-01 false Charter exemptions (except military). 399.21 Section 399.21 Aeronautics and Space OFFICE OF THE SECRETARY, DEPARTMENT OF TRANSPORTATION... Authority § 399.21 Charter exemptions (except military). In deciding applications for exemptions from...

Lifestyle factors of people with exceptional longevity.

Science.gov (United States)

Rajpathak, Swapnil N; Liu, Yingheng; Ben-David, Orit; Reddy, Saritha; Atzmon, Gil; Crandall, Jill; Barzilai, Nir

2011-08-01

To assess lifestyle factors including physical activity, smoking, alcohol consumption, and dietary habits in men and women with exceptional longevity. Retrospective cohort study. A cohort of community-dwelling Ashkenazi Jewish individuals with exceptional longevity defined as survival and living independently at age 95 and older. Four hundred seventy-seven individuals (mean 97.3 ± 2.8, range 95-109; 74.6% women) and a subset of participants of the National Health and Nutrition Examination Survey (NHANES) I (n = 3,164) representing the same birth cohort as a comparison group. A trained interviewer administrated study questionnaires to collect information on lifestyle factors and collected data on anthropometry. People with exceptional longevity had similar mean body mass index (men, 25.4 ± 2.8 kg/m² vs 25.6 ± 4.0 kg/m² , P=.63; women, 25.0 ± 3.5 kg/m² vs 24.9 ± 5.4 kg/m² ; P = .90) and a similar proportion of daily alcohol consumption (men, 23.9 vs 22.4, P = .77; women, 12.1 vs 11.3, P = .80), of regular physical activity (men: 43.1 vs 57.2; P = .07; women: 47.0 vs 44.1, P = .76), and of a low-calorie diet (men: 20.8 vs 21.1, P=.32; women: 27.3 vs 27.1, P=.14) as the NHANES I population. People with exceptional longevity are not distinct in terms of lifestyle factors from the general population, suggesting that people with exceptional longevity may interact with environmental factors differently than others. This requires further investigation. © 2011, Copyright the Authors. Journal compilation © 2011, The American Geriatrics Society.

78 FR 42105 - Advisory Board for Exceptional Children

Science.gov (United States)

2013-07-15

....97C22214.001] Advisory Board for Exceptional Children AGENCY: Bureau of Indian Affairs, Interior. ACTION... for Exceptional Children (Advisory Board) will hold its next meeting in Albuquerque, New Mexico. The... (IDEA) for Indian children with disabilities. DATES: The Advisory Board will meet on Thursday, July 18...

Exceptional Responders Initial Feasibility Results

Science.gov (United States)

A pilot study evaluating identification of cancer patients who respond to treatment that is ineffective in at least 90 percent of patients found that it was indeed able to confirm a majority of proposed patients as exceptional responders based on clinical

48 CFR 725.403 - Exceptions.

Science.gov (United States)

2010-10-01

... Section 725.403 Federal Acquisition Regulations System AGENCY FOR INTERNATIONAL DEVELOPMENT SOCIOECONOMIC PROGRAMS FOREIGN ACQUISITION Trade Agreements 725.403 Exceptions. FAR 25.4 establishes procedures for purchases under the Trade Agreements Act of 1979 (including GATT's Agreement on Government Procurement) and...

75 FR 23288 - Advisory Board for Exceptional Children

Science.gov (United States)

2010-05-03

... DEPARTMENT OF THE INTERIOR Bureau of Indian Affairs Advisory Board for Exceptional Children AGENCY... Exceptional Children (Advisory Board) will hold its next meeting in Old Town, Maine. The purpose of the... Indian children with disabilities. DATES: The Advisory Board will meet on Monday, May 17, 2010, from 8:30...

Exceptional points enhance sensing in an optical microcavity

Science.gov (United States)

Chen, Weijian; Kaya Özdemir, Şahin; Zhao, Guangming; Wiersig, Jan; Yang, Lan

2017-08-01

Sensors play an important part in many aspects of daily life such as infrared sensors in home security systems, particle sensors for environmental monitoring and motion sensors in mobile phones. High-quality optical microcavities are prime candidates for sensing applications because of their ability to enhance light-matter interactions in a very confined volume. Examples of such devices include mechanical transducers, magnetometers, single-particle absorption spectrometers, and microcavity sensors for sizing single particles and detecting nanometre-scale objects such as single nanoparticles and atomic ions. Traditionally, a very small perturbation near an optical microcavity introduces either a change in the linewidth or a frequency shift or splitting of a resonance that is proportional to the strength of the perturbation. Here we demonstrate an alternative sensing scheme, by which the sensitivity of microcavities can be enhanced when operated at non-Hermitian spectral degeneracies known as exceptional points. In our experiments, we use two nanoscale scatterers to tune a whispering-gallery-mode micro-toroid cavity, in which light propagates along a concave surface by continuous total internal reflection, in a precise and controlled manner to exceptional points. A target nanoscale object that subsequently enters the evanescent field of the cavity perturbs the system from its exceptional point, leading to frequency splitting. Owing to the complex-square-root topology near an exceptional point, this frequency splitting scales as the square root of the perturbation strength and is therefore larger (for sufficiently small perturbations) than the splitting observed in traditional non-exceptional-point sensing schemes. Our demonstration of exceptional-point-enhanced sensitivity paves the way for sensors with unprecedented sensitivity.

Logic for computer science foundations of automatic theorem proving

CERN Document Server

Gallier, Jean H

2015-01-01

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in fir

Exceptional and Spinorial Conformal Windows

DEFF Research Database (Denmark)

Mojaza, Matin; Pica, Claudio; Ryttov, Thomas

2012-01-01

We study the conformal window of gauge theories containing fermionic matter fields, where the gauge group is any of the exceptional groups with the fermions transforming according to the fundamental and adjoint representations and the orthogonal groups where the fermions transform according...

29 CFR 1606.3 - The national security exception.

Science.gov (United States)

2010-07-01

... 29 Labor 4 2010-07-01 2010-07-01 false The national security exception. 1606.3 Section 1606.3... DISCRIMINATION BECAUSE OF NATIONAL ORIGIN § 1606.3 The national security exception. It is not an unlawful employment practice to deny employment opportunities to any individual who does not fulfill the national...

Execution Constraint Verification of Exception Handling on UML Sequence Diagrams

NARCIS (Netherlands)

Ciraci, S.; Sözer, Hasan; Aksit, Mehmet; Havinga, W.K.

2011-01-01

Exception handling alters the control flow of the program. As such, errors introduced in exception handling code may influence the overall program in undesired ways. To detect such errors early and thereby decrease the programming costs, it is worthwhile to consider exception handling at design

E-squared nine do-it-yourself energy experiments that prove your thoughts create your reality

CERN Document Server

Grout, Pam

2013-01-01

E-Squared is a lab manual with simple experiments to prove once and for all that there really is a good, loving, totally hip force in the universe. Rather than take it on faith, you are invited to conduct ten 48-hour experiments to prove each of the principles in this book. Yes, you read that right. It says prove. The experiments, each of which can be conducted with absolutely no money and very little time expenditure, demonstrate that spiritual principles are as dependable as gravity, as consistent as Newton's 2nd law of motion. For years, you've been hoping and praying that spiritual principles are true. Now, you can know.

Using eternity variables to specify and prove a serializable database interface

NARCIS (Netherlands)

Hesselink, Wim H.

Eternity variables are introduced to specify and verify serializability of transactions of a distributed database. Eternity variables are a new kind of auxiliary variables. They do not occur in the implementation but are used in specification and verification. Elsewhere it has been proved that

Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic

DEFF Research Database (Denmark)

Ströder, Thomas; Giesl, Jürgen; Brockschmidt, Marc

2017-01-01

While automated verification of imperative programs has been studied intensively, proving termination of programs with explicit pointer arithmetic fully automatically was still an open problem. To close this gap, we introduce a novel abstract domain that can track allocated memory in detail. We use...

76 FR 53157 - Excepted Service

Science.gov (United States)

2011-08-25

... OFFICE OF PERSONNEL MANAGEMENT Excepted Service AGENCY: U.S. Office of Personnel Management (OPM... Administration. Office of Management. Special Assistant.... DE110117 6/22/2011 Office of the Special Assistant... Directors... Special Assistant.... EB110010 6/9/2011 GENERAL SERVICES ADMINISTRATION... Pacific Rim Region...

48 CFR 825.103 - Exceptions.

Science.gov (United States)

2010-10-01

... article is likely to affect future acquisitions, include a recommendation that a copy of the determination... 48 Federal Acquisition Regulations System 5 2010-10-01 2010-10-01 false Exceptions. 825.103 Section 825.103 Federal Acquisition Regulations System DEPARTMENT OF VETERANS AFFAIRS SOCIOECONOMIC...

Technical report on the Piping Reliability Proving Tests at the Japan Atomic Energy Research Institute

International Nuclear Information System (INIS)

1993-05-01

Japan Atomic Energy Research Institute (JAERI) conducts Piping Reliability Proving Tests from 1975 to 1992 based upon the contracts between JAERI and Science and Technology Agency of Japan (STA) under the auspices of the special account law for electric power development promotion. The purpose of these tests are to prove the structural reliability of the primary cooling piping constituting a part of the pressure boundary in the light water reactor power plants. The tests with large experimental facilities had ended already in 1990. Presently piping reliability analysis by the probabilistic fracture mechanics method is being done. Until now annual reports concerning the proving tests were produced and submitted to STA, whereas this report summarizes the test results done during these 16 years. Objectives of the piping reliability proving tests are to prove that the primary piping of the light water reactor (1) be reliable throughout the service period, (2) have no possibility of rupture, (3) bring no detrimental influence on the surrounding instrumentations or equipments near the break location even if it ruptured suddenly. To attain these objectives (i) pipe fatigue tests, (ii) unstable pipe fracture tests, (iii) pipe rupture tests and also the analyses by computer codes were done. After carrying out these tests, it is verified that the piping is reliable throughout the service period. The authors of this report are T. Isozaki, K. Shibata, S. Ueda, R. Kurihara, K. Onizawa and A. Kohsaka. The parts they wrote are shown in contents. (author)

76 FR 50771 - Submission for Review: RI 25-37, Evidence To Prove Dependency of a Child, 3206-0206

Science.gov (United States)

2011-08-16

... OFFICE OF PERSONNEL MANAGEMENT Submission for Review: RI 25-37, Evidence To Prove Dependency of a...) 3206-0206, Evidence to Prove Dependency of a Child. As required by the Paperwork Reduction Act of 1995... or faxed to (202) 395-6974. SUPPLEMENTARY INFORMATION: Evidence to Prove Dependency of a Child is...

Origin of choriocarcinoma in previous molar pregnancy proved by DNA analysis

International Nuclear Information System (INIS)

Vojtassak, J.; Repiska, V.; Konecna, B.; Zajac, V.; Korbel, M.; Danihel, L.

1996-01-01

A 17-year old woman had in a short time period (seven months) a very exciting reproduction history. Molar pregnancy in December 1993, choriocarcinoma in January 1994 and induced abortion in June 1994. DNA analysis proved the origin of the choriocarcinoma in the previous molar pregnancy. (author)

49 CFR 173.159a - Exceptions for non-spillable batteries.

Science.gov (United States)

2010-10-01

... 49 Transportation 2 2010-10-01 2010-10-01 false Exceptions for non-spillable batteries. 173.159a... Class 1 and Class 7 § 173.159a Exceptions for non-spillable batteries. (a) Exceptions for hazardous...-spillable batteries offered for transportation or transported in accordance with this section are subject to...

Obama’s Dual Discourse on American Exceptionalism

Directory of Open Access Journals (Sweden)

Hrnjaz Miloš

2015-08-01

Full Text Available This paper analyses the highly contested concept of American exceptionalism, as described in the speeches of Barak Obama. The authors of the paper use discourse analysis to show that Obama is using the idea of American exceptionalism on two levels: US foreign policy and the US stance towards international law. Our conclusion is that Obama uses an implicit dual discourse in both these fields. Obama favours active US foreign policy, based on soft power instruments and multilateralism. He insists that American exceptionalism does not mean that the US can exempt itself from the norms of international law, however, he does not think the US should always have a very active foreign policy. He makes room for unilateral acting and the use of hard power instruments in foreign policy. He allows for the use of force even if is not in accordance with the norms of international law, when US national interests are threatened.

15 CFR 1180.7 - Exceptions.

Science.gov (United States)

2010-01-01

... Commerce and Foreign Trade Regulations Relating to Commerce and Foreign Trade (Continued) TECHNOLOGY... INFORMATION TO THE NATIONAL TECHNICAL INFORMATION SERVICE § 1180.7 Exceptions. (a) An agency shall not be...) The product is an agency generated article that is published in a privately produced journal; or (5...

29 CFR 1921.14 - Exceptions.

Science.gov (United States)

2010-07-01

... Relating to Labor (Continued) OCCUPATIONAL SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR (CONTINUED) RULES OF PRACTICE IN ENFORCEMENT PROCEEDINGS UNDER SECTION 41 OF THE LONGSHOREMEN'S AND HARBOR WORKERS' COMPENSATION ACT Decision and Order § 1921.14 Exceptions. Within 20 days after the date of the decision of the...

Learned Helplessness in Exceptional Children.

Science.gov (United States)

Brock, Herman B.; Kowitz, Gerald T.

The research literature on learned helplessness in exceptional children is reviewed and the authors' efforts to identify and retrain learning disabled (LD) children who have characteristics typical of learned helplessness are reported. Twenty-eight elementary aged LD children viewed as "learned helpless" were randomly assigned to one of four…

31 CFR 211.3 - Exceptions.

Science.gov (United States)

2010-07-01

... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Exceptions. 211.3 Section 211.3 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY FINANCIAL MANAGEMENT SERVICE DELIVERY OF CHECKS AND WARRANTS TO ADDRESSES OUTSIDE THE...

7 CFR 4279.15 - Exception authority.

Science.gov (United States)

2010-01-01

... authority. The Administrator may, in individual cases, grant an exception to any requirement or provision of this subpart which is not inconsistent with any applicable law provided, the Administrator determines...

Mathematical Understanding and Proving Abilities: Experiment With Undergraduate Student By Using Modified Moore Learning Approach

Directory of Open Access Journals (Sweden)

Rippi Maya

2011-07-01

Full Text Available This paper reports findings of  a  post test experimental control group design conducted to investigate the role of modified Moore learning approach  on improving students’ mathematical understanding and proving abilities. Subject of study were 56 undergradute students of one state university in Bandung, who took advanced abstract algebra course. Instrument of study were a set test of mathematical understanding ability, a set test of mathematical proving ability, and a set of students’ opinion scale on modified Moore learning approach. Data were analyzed by using two path ANOVA. The study found that proof construction process was more difficult than mathematical understanding  task  for all students, and students still posed some difficulties on constructing mathematical proof task.  The study also found there were not differences  between students’  abilities on mathematical understanding and on proving abilities of  the both classes, and both abilities were classified as mediocre. However, in modified Moore learning approach class there were more students who got above average grades on mathematical understanding than those of conventional class. Moreover, students performed positive  opinion toward  modified Moore learning approach. They  were  active in questioning and solving problems, and in explaining their works in front of class as well, while students of conventional teaching prefered to listen to lecturer’s explanation. The study also found that there was no interaction between learning approach and students’ prior mathematics ability on mathematical understanding and proving abilities,  but  there were  quite strong  association between students’ mathematical understanding and proving abilities.Keywords:  modified Moore learning approach, mathematical understanding ability, mathematical proving ability. DOI: http://dx.doi.org/10.22342/jme.2.2.751.231-250

Managing the financial cost of exception to contracting standards

DEFF Research Database (Denmark)

Henschel, Rene Franz

2008-01-01

In managing financial cost of exception to contracting standards, the first step is to put up an intelligent contract standards exception monitoring system The next step is to maintain tailor-made, fair and transparent contracting standards The third step is to eliminate unnecessary information...... and repetitiveness in contracting standards The fourth step is to enable your organization and the customers or suppliers to handle the necessary exceptions themselves Finally you should consider the use of independent contracting standards and elimination of your own standards as a tool in managing the cost...

The Delicate Cycle

Science.gov (United States)

Galloway, Melinda

2006-01-01

There are two types of parenting styles when it comes to parent involvement in their children's education: the "hovering" type and the "dry cleaner" type. Hovering parents are always on hand for every landmark moment of their children while dry cleaner parents show up only when an emergency is imminent. In this article, the author relates her own…

40 CFR 262.55 - Exception reports.

Science.gov (United States)

2010-07-01

...) STANDARDS APPLICABLE TO GENERATORS OF HAZARDOUS WASTE Exports of Hazardous Waste § 262.55 Exception reports... Protection Agency, 1200 Pennsylvania Avenue, NW., Washington, DC 20460, if any of the following occurs: ...

Proof and Proving: Logic, Impasses, and the Relationship to Problem Solving

Science.gov (United States)

Savic, Milos

2012-01-01

Becoming a skillful prover is critical for success in advanced undergraduate and graduate mathematics courses. In this dissertation, I report my investigations of proof and the proving process in three separate studies. In the first study, I examined the amount of logic used in student-constructed proofs to help in the design of…

Exceptional soft tissues preservation in a mummified frog-eating Eocene salamander

Directory of Open Access Journals (Sweden)

Jérémy Tissier

2017-10-01

Full Text Available Fossils are almost always represented by hard tissues but we present here the exceptional case of a three-dimensionally preserved specimen that was ‘mummified’ (likely between 40 and 34 million years ago in a terrestrial karstic environment. This fossil is the incomplete body of a salamander, Phosphotriton sigei, whose skeleton and external morphology are well preserved, as revealed by phase-contrast synchrotron X-ray microtomography. In addition, internal structures composed of soft tissues preserved in three dimensions are now identified: a lung, the spinal cord, a lumbosacral plexus, the digestive tract, muscles and urogenital organs that may be cloacal glands. These are among the oldest known cases of three-dimensional preservation of these organs in vertebrates and shed light on the ecology of this salamander. Indeed, the digestive tract contains remains of a frog, which represents the only known case of an extinct salamander that fed on a frog, an extremely rare type of predation in extant salamanders. These new data improve our scarce knowledge on soft tissue anatomy of early urodeles and should prove useful for future biologists and palaeontologists working on urodele evolutionary biology. We also suggest that the presence of bat guano and carcasses represented a close source of phosphorus, favouring preservation of soft tissues. Bone microanatomy indicates that P. sigei was likely amphibious or terrestrial, and was probably not neotenic.

Exceptional soft tissues preservation in a mummified frog-eating Eocene salamander.

Science.gov (United States)

Tissier, Jérémy; Rage, Jean-Claude; Laurin, Michel

2017-01-01

Fossils are almost always represented by hard tissues but we present here the exceptional case of a three-dimensionally preserved specimen that was 'mummified' (likely between 40 and 34 million years ago) in a terrestrial karstic environment. This fossil is the incomplete body of a salamander, Phosphotriton sigei , whose skeleton and external morphology are well preserved, as revealed by phase-contrast synchrotron X-ray microtomography. In addition, internal structures composed of soft tissues preserved in three dimensions are now identified: a lung, the spinal cord, a lumbosacral plexus, the digestive tract, muscles and urogenital organs that may be cloacal glands. These are among the oldest known cases of three-dimensional preservation of these organs in vertebrates and shed light on the ecology of this salamander. Indeed, the digestive tract contains remains of a frog, which represents the only known case of an extinct salamander that fed on a frog, an extremely rare type of predation in extant salamanders. These new data improve our scarce knowledge on soft tissue anatomy of early urodeles and should prove useful for future biologists and palaeontologists working on urodele evolutionary biology. We also suggest that the presence of bat guano and carcasses represented a close source of phosphorus, favouring preservation of soft tissues. Bone microanatomy indicates that P. sigei was likely amphibious or terrestrial, and was probably not neotenic.

7 CFR 1780.25 - Exception authority.

Science.gov (United States)

2010-01-01

... authority. The Administrator may, in individual cases, make an exception to any requirement or provision of this part which is not inconsistent with the authorizing statute or other applicable law and is...

7 CFR 1775.68 - Exception authority.

Science.gov (United States)

2010-01-01

... authority. The Administrator may, in individual cases, make an exception to any requirement or provision of this part which is not inconsistent with the authorizing statute or other applicable law and is...

76 FR 22938 - Submission for Review: RI 25-37, Evidence To Prove Dependency of a Child

Science.gov (United States)

2011-04-25

... OFFICE OF PERSONNEL MANAGEMENT Submission for Review: RI 25-37, Evidence To Prove Dependency of a..., Evidence to Prove Dependency of a Child. As required by the Paperwork Reduction Act of 1995 (Pub. L. 104-13... Dependency of a Child, is designed to collect sufficient information for the Office of Personnel Management...

Formal Analysis of Soft Errors using Theorem Proving

Directory of Open Access Journals (Sweden)

Sofiène Tahar

2013-07-01

Full Text Available Modeling and analysis of soft errors in electronic circuits has traditionally been done using computer simulations. Computer simulations cannot guarantee correctness of analysis because they utilize approximate real number representations and pseudo random numbers in the analysis and thus are not well suited for analyzing safety-critical applications. In this paper, we present a higher-order logic theorem proving based method for modeling and analysis of soft errors in electronic circuits. Our developed infrastructure includes formalized continuous random variable pairs, their Cumulative Distribution Function (CDF properties and independent standard uniform and Gaussian random variables. We illustrate the usefulness of our approach by modeling and analyzing soft errors in commonly used dynamic random access memory sense amplifier circuits.

Global Trade issues and Cultural Exception

Directory of Open Access Journals (Sweden)

Vanessa MARSON

2012-01-01

Full Text Available Cultural exception has always been a key element in the French political and cultural field. It isbased on the principle that culture is not like any other merchandise because it goes beyond thecommercial. During the negotiations of the Uruguay Round (1986-1994 the United States offeredto liberalize cultural goods and services. Due to the sensitive nature of the cultural industries, theEuropean Union led by France refused to make an offer of liberalization on these fields. Afterheated debates between the United States and the European Union, cultural exception has finallybecome a global issue since 2005. On 20 October, the UNESCO convention on cultural diversitywas voted by 148 countries to two (The United States and Israel to legally and globally recognizethe specific nature of cultural goods and services in the liberalization process.

A geometric formulation of exceptional field theory

Energy Technology Data Exchange (ETDEWEB)

Bosque, Pascal du [Arnold Sommerfeld Center for Theoretical Physics,Department für Physik, Ludwig-Maximilians-Universität München,Theresienstraße 37, 80333 München (Germany); Max-Planck-Institut für Physik, Werner-Heisenberg-Institut, Föhringer Ring 6, 80805 München (Germany); Hassler, Falk [Department of Physics and Astronomy, University of North Carolina, Phillips Hall, CB #3255, 120 E. Cameron Ave., Chapel Hill, NC 27599-3255 (United States); City University of New York, The Graduate Center, 365 Fifth Avenue, New York, NY 10016 (United States); Department of Physics, Columbia University, Pupin Hall, 550 West 120th St., New York, NY 10027 (United States); Lüst, Dieter [Arnold Sommerfeld Center for Theoretical Physics,Department für Physik, Ludwig-Maximilians-Universität München,Theresienstraße 37, 80333 München (Germany); Max-Planck-Institut für Physik, Werner-Heisenberg-Institut, Föhringer Ring 6, 80805 München (Germany); Malek, Emanuel [Arnold Sommerfeld Center for Theoretical Physics,Department für Physik, Ludwig-Maximilians-Universität München,Theresienstraße 37, 80333 München (Germany)

2017-03-01

We formulate the full bosonic SL(5) exceptional field theory in a coordinate-invariant manner. Thereby we interpret the 10-dimensional extended space as a manifold with SL(5)×ℝ{sup +}-structure. We show that the algebra of generalised diffeomorphisms closes subject to a set of closure constraints which are reminiscent of the quadratic and linear constraints of maximal seven-dimensional gauged supergravities, as well as the section condition. We construct an action for the full bosonic SL(5) exceptional field theory, even when the SL(5)×ℝ{sup +}-structure is not locally flat.

7 CFR 1779.17 - Exception authority.

Science.gov (United States)

2010-01-01

... Administrator may, in individual cases, make an exception to any requirement or provision of this part which is not inconsistent with the authorizing statute or other applicable law and is determined to be in the...

Proving Test on the Reliability for Reactor Containment Vessel

International Nuclear Information System (INIS)

Takumi, K.; Nonaka, A.

1988-01-01

NUPEC (Nuclear Power Engineering Test Center) has started an eight-year project of Proving Test on the Reliability for Reactor Containment Vessel since June 1987. The objective of this project is to confirm the integrity of containment vessels under severe accident conditions. This paper shows the outline of this project. The test Items are (1) Hydrogen mixing and distribution test, (2) Hydrogen burning test, (3) Iodine trapping characteristics test, and (4) Structural behavior test. Based on the test results, computer codes are verified and as the results of analysis and evaluation by the computer codes, containment integrity is to be confirmed

On proving confluence modulo equivalence for Constraint Handling Rules

DEFF Research Database (Denmark)

Christiansen, Henning; Kirkeby, Maja Hanne

2017-01-01

-logical built-in predicates such as var/1 and incomplete ones such as is/2, that are ignored in previous work on confluence. To this end, a new operational semantics for CHR is developed which includes such predicates. In addition, this semantics differs from earlier approaches by its simplicity without loss......Previous results on proving confluence for Constraint Handling Rules are extended in two ways in order to allow a larger and more realistic class of CHR programs to be considered confluent. Firstly, we introduce the relaxed notion of confluence modulo equivalence into the context of CHR: while...

PROVE Land Cover and Leaf Area of Jornada Experimental Range, New Mexico, 1997

Data.gov (United States)

National Aeronautics and Space Administration — ABSTRACT: Field measurement of shrubland ecological properties is important for both site monitoring and validation of remote-sensing information. During the PROVE...

PROVE Land Cover and Leaf Area of Jornada Experimental Range, New Mexico, 1997

Data.gov (United States)

National Aeronautics and Space Administration — Field measurement of shrubland ecological properties is important for both site monitoring and validation of remote-sensing information. During the PROVE exercise on...

Designing Inclusive Learning for Twice Exceptional Students in Minecraft

Science.gov (United States)

O'Sullivan, Muireann; Robb, Nigel; Howell, Stephen; Marshall, Kevin; Goodman, Lizbeth

2017-01-01

Twice exceptional learners are intellectually or creatively gifted yet also experience one or more learning difficulties. These students face a unique set of challenges in educational settings. Recommended strategies for accommodating twice exceptional learners focus on--among other things--(1) providing freedom and variety, so that students can…

Proving termination of graph transformation systems using weighted type graphs over semirings

NARCIS (Netherlands)

Bruggink, H.J.S.; König, B.; Nolte, D.; Zantema, H.; Parisi-Presicce, F.; Westfechtel, B.

2015-01-01

We introduce techniques for proving uniform termination of graph transformation systems, based on matrix interpretations for string rewriting. We generalize this technique by adapting it to graph rewriting instead of string rewriting and by generalizing to ordered semirings. In this way we obtain a

Users manual on database of the Piping Reliability Proving Tests at the Japan Atomic Energy Research Institute

Energy Technology Data Exchange (ETDEWEB)

NONE

1996-09-01

Japan Atomic Energy Research Institute(JAERI) conducted Piping Reliability Proving Tests from 1975 to 1992 based upon the contracts between JAERI and Science and Technology Agency of Japan under the auspices of the special account law for electric power development promotion. The purposes of those tests are to prove the structural reliability of the primary cooling piping constituting a part of the pressure boundary in the water reactor power plants. The tests with large experimental facilities had ended already in 1990. After that piping reliability analysis by the probabilistic method followed until 1992. This report describes the users manual on databases about the test results using the large experimental facilities. Objectives of the piping reliability proving tests are to prove that the primary piping of the water reactor (1) be reliable throughout the service period, (2) have no possibility of rupture, (3) bring no detrimental influence on the surrounding instrumentations or equipments near the break location. The research activities using large scale piping test facilities are described. The present report does the database about the test results pairing the former report. With these two reports, all the feature of Piping Reliability Proving Tests is made clear. Briefings of the tests are described also written in Japanese or English. (author)

Cultural Considerations for Twice-Exceptional Children from Asian Families

Science.gov (United States)

Park, Soeun

2015-01-01

Since the term twice-exceptional has been entered to the field of gifted education, many studies have investigated the population of students who possess both giftedness and disabilities. It has been shown that there are some challenges to recognizing twice-exceptional children due to current screening and identification process. For this reason,…

AMERICAN EXCEPTIONALISM

Directory of Open Access Journals (Sweden)

Oana-Andreea Pirnuta

2017-11-01

Full Text Available In an interconnected world where foreign relations matter not only for resources or military alliances but also for cultural relationships, it is highly important to have a better understanding of the power relations among nations. The information carries certain meanings that have important outcomes thus defining the power of a given nation. Foreign policy is the channel through which global politics is exercised. International politics is a hierarchy of power being determined by important cultural, economic as well as geographical aspects. The reasons and strategies that are used in order to reach the outcomes in global politics represent the focus of the present paper. The United States has been the leader in international politics since the early 20th century due to its vast resources and wealth as well as its cultural output. America’s interest in preserving a democratic and free world has its foundation in the beliefs and values it stands for the aim of this paper is to question whether or not there is a concrete premise for the idea of American exceptionalism.

Case report 486: Spondyloepiphyseal dysplasia tarda (SDT) (presumptively proved)

International Nuclear Information System (INIS)

Brown, D.D.; Childress, M.H.

1988-01-01

A 51 year old man with severe degenerative joint disease, short stature, barrel chest deformity, platyspondyly, a narrow pelvis, small iliac bones, dysplastic femoral heads and necks, notching of the patellae and flattening of the femoral intercondylar notches has been described as an example of Spondyloepiphyseal dysplasia tarda SDT. The entity was discussed in detail. The notching of the patellae has not been reported in association with SDT to the authors' knowledge. Characteristic features of SDT allow it to be differentiated from other arthropathies and dysplasias and these distinctions have been emphasized in the discussion. The diagnosis in this case can only be considered presumptively proved. (orig./MG)

Ecological survey of M-Field, Edgewood Area Aberdeen Proving Ground, Maryland

Energy Technology Data Exchange (ETDEWEB)

Downs, J.L.; Eberhardt, L.E.; Fitzner, R.E.; Rogers, L.E.

1991-12-01

An ecological survey was conducted on M-Field, at the Edgewood Area, Aberdeen Proving Ground, Maryland. M-Field is used routinely to test army smokes and obscurants, including brass flakes, carbon fibers, and fog oils. The field has been used for testing purposes for the past 40 years, but little documented history is available. Under current environmental regulations, the test field must be assessed periodically to document the presence or potential use of the area by threatened and endangered species. The M-Field area is approximately 370 acres and is part of the US Army's Edgewood Area at Aberdeen Proving Ground in Harford County, Maryland. The grass-covered field is primarily lowlands with elevations from about 1.0 to 8 m above sea level, and several buildings and structures are present on the field. The ecological assessment of M-Field was conducted in three stages, beginning with a preliminary site visit in May to assess sampling requirements. Two field site visits were made June 3--7, and August 12--15, 1991, to identify the biota existing on the site. Data were gathered on vegetation, small mammals, invertebrates, birds, large mammals, amphibians, and reptiles.

Ecological survey of M-Field, Edgewood Area Aberdeen Proving Ground, Maryland

Energy Technology Data Exchange (ETDEWEB)

Downs, J.L.; Eberhardt, L.E.; Fitzner, R.E.; Rogers, L.E.

1991-12-01

An ecological survey was conducted on M-Field, at the Edgewood Area, Aberdeen Proving Ground, Maryland. M-Field is used routinely to test army smokes and obscurants, including brass flakes, carbon fibers, and fog oils. The field has been used for testing purposes for the past 40 years, but little documented history is available. Under current environmental regulations, the test field must be assessed periodically to document the presence or potential use of the area by threatened and endangered species. The M-Field area is approximately 370 acres and is part of the US Army`s Edgewood Area at Aberdeen Proving Ground in Harford County, Maryland. The grass-covered field is primarily lowlands with elevations from about 1.0 to 8 m above sea level, and several buildings and structures are present on the field. The ecological assessment of M-Field was conducted in three stages, beginning with a preliminary site visit in May to assess sampling requirements. Two field site visits were made June 3--7, and August 12--15, 1991, to identify the biota existing on the site. Data were gathered on vegetation, small mammals, invertebrates, birds, large mammals, amphibians, and reptiles.

26 CFR 1.79-2 - Exceptions to the rule of inclusion.

Science.gov (United States)

2010-04-01

... 26 Internal Revenue 2 2010-04-01 2010-04-01 false Exceptions to the rule of inclusion. 1.79-2... Exceptions to the rule of inclusion. (a) In general. (1) Section 79(b) provides exceptions for the cost of... he continued in employment) to retire without disability and without the consent of his employer and...

48 CFR 225.7003-3 - Exceptions.

Science.gov (United States)

2010-10-01

... 48 Federal Acquisition Regulations System 3 2010-10-01 2010-10-01 false Exceptions. 225.7003-3 Section 225.7003-3 Federal Acquisition Regulations System DEFENSE ACQUISITION REGULATIONS SYSTEM... the recommendation of the Strategic Materials Protection Board pursuant to 10 U.S.C. 187, determines...

The GOES-R Proving Ground: 2012 Update

Science.gov (United States)

Gurka, J.; Goodman, S. J.; Schmit, T.; Demaria, M.; Mostek, A.; Siewert, C.; Reed, B.

2011-12-01

The Geostationary Operational Environmental Satellite (GOES)-R will provide a great leap forward in observing capabilities, but will also offer a significant challenge to ensure that users are ready to exploit the vast improvements in spatial, spectral, and temporal resolutions. To ensure user readiness, forecasters and other users must have access to prototype advanced products well before launch, and have the opportunity to provide feedback to product developers and computing and communications managers. The operational assessment is critical to ensure that the end products and NOAA's computing and communications systems truly meet their needs in a rapidly evolving environment. The GOES-R Proving Ground (PG) engages the National Weather Service (NWS) forecast, watch and warning community and other agency users in pre-operational demonstrations of select products with GOES-R attributes (enhanced spectral, spatial, and temporal resolution). In the PG, developers and forecasters test and apply algorithms for new GOES-R satellite data and products using proxy and simulated data sets, including observations from current and future satellite instruments (MODIS, AIRS, IASI, SEVIRI, NAST-I, NPP/VIIRS/CrIS, LIS), lightning networks, and computer simulated products. The complete list of products to be evaluated in 2012 will be determined after evaluating results from experiments in 2011 at the NWS' Storm Prediction Center, National Hurricane Center, Aviation Weather Center, Ocean Prediction Center, Hydrometeorological Prediction Center, and from the six NWS regions. In 2012 and beyond, the PG will test and validate data processing and distribution systems and the applications of these products in operational settings. Additionally developers and forecasters will test and apply display techniques and decision aid tools in operational environments. The PG is both a recipient and a source of training. Training materials are developed using various distance training tools in

Exceptional Complex Chromosomal Rearrangements in Three Generations

Directory of Open Access Journals (Sweden)

Hannie Kartapradja

2015-01-01

Full Text Available We report an exceptional complex chromosomal rearrangement (CCR found in three individuals in a family that involves 4 chromosomes with 5 breakpoints. The CCR was ascertained in a phenotypically abnormal newborn with additional chromosomal material on the short arm of chromosome 4. Maternal karyotyping indicated that the mother carried an apparently balanced CCR involving chromosomes 4, 6, 11, and 18. Maternal transmission of the derivative chromosome 4 resulted in partial trisomy for chromosomes 6q and 18q and a partial monosomy of chromosome 4p in the proband. Further family studies found that the maternal grandmother carried the same apparently balanced CCR as the proband’s mother, which was confirmed using the whole chromosome painting (WCP FISH. High resolution whole genome microarray analysis of DNA from the proband’s mother found no evidence for copy number imbalance in the vicinity of the CCR translocation breakpoints, or elsewhere in the genome, providing evidence that the mother’s and grandmother’s CCRs were balanced at a molecular level. This structural rearrangement can be categorized as an exceptional CCR due to its complexity and is a rare example of an exceptional CCR being transmitted in balanced and/or unbalanced form across three generations.

Com aplicar les proves paramètriques bivariades t de Student i ANOVA en SPSS. Cas pràctic

Directory of Open Access Journals (Sweden)

María-José Rubio-Hurtado

2012-07-01

Full Text Available Les proves paramètriques són un tipus de proves de significació estadística que quantifiquen l'associació o independència entre una variable quantitativa i una categòrica. Les proves paramètriques són exigents amb certs requisits previs per a la seva aplicació: la distribució Normal de la variable quantitativa en els grups que es comparen, l'homogeneïtat de variàncies en les poblacions de les quals procedeixen els grups i una n mostral no inferior a 30. El seu no compliment comporta la necessitat de recórrer a proves estadístiques no paramètriques. Les proves paramètriques es classifiquen en dos: prova t (per a una mostra o per a dues mostres relacionades o independents i prova ANOVA (per a més de dues mostres independents.

An Archeological Overview and Management Plan for the Dugway Proving Ground.

Science.gov (United States)

1984-03-29

niches, particulary the lacustrine environment of the Great Basin (Baumhoff and Heizer 1965, Butler 1978, Heizer and Krieger 1956, Heizer and Harper...power that would capture the animals souls, rendering them docile and stupid (Steward 1970:34). Other large game was present, but were not numerous...uni versity. Baum, Bernard. 1947. Dugway Proving Ground. Aberdeen: U.S. Army Chemical Corps.* Bailmhoff, W.A. and R.F. Heizer . 1965. Postglacial

Is India the Exception?

DEFF Research Database (Denmark)

Nielsen, Klaus; Storm, Rasmus K.

2013-01-01

in international sport events a similar impact of extraordinary growth rates has been almost totally absent in the case of India. Is India an exception? Several econometric studies have shown that income per capita is a significant variable explaining elite sport results such as results in the Olympic Games. From...... in the sports of the Olympic Summer Games. The findings show only a very weak correlation, if any at all. However, a detailed analysis of country evidence shows interesting trends and details. The paper concludes with tentative explanations for the findings including the contradictory country evidence....

Exceptional polynomials and SUSY quantum mechanics

Indian Academy of Sciences (India)

Abstract. We show that for the quantum mechanical problem which admit classical Laguerre/. Jacobi polynomials as solutions for the Schrödinger equations (SE), will also admit exceptional. Laguerre/Jacobi polynomials as solutions having the same eigenvalues but with the ground state missing after a modification of the ...

32 CFR 644.86 - Exceptions and reservations.

Science.gov (United States)

2010-07-01

... roads, public highways, public utilities, railroads and pipelines,” and “to the reservations, exceptions... or District Engineer, such as requirement to install the pipeline underground and at a specified...

A Hybrid Approach to Proving Memory Reference Monotonicity

KAUST Repository

Oancea, Cosmin E.

2013-01-01

Array references indexed by non-linear expressions or subscript arrays represent a major obstacle to compiler analysis and to automatic parallelization. Most previous proposed solutions either enhance the static analysis repertoire to recognize more patterns, to infer array-value properties, and to refine the mathematical support, or apply expensive run time analysis of memory reference traces to disambiguate these accesses. This paper presents an automated solution based on static construction of access summaries, in which the reference non-linearity problem can be solved for a large number of reference patterns by extracting arbitrarily-shaped predicates that can (in)validate the reference monotonicity property and thus (dis)prove loop independence. Experiments on six benchmarks show that our general technique for dynamic validation of the monotonicity property can cover a large class of codes, incurs minimal run-time overhead and obtains good speedups. © 2013 Springer-Verlag.

Cognitive function in families with exceptional survival

DEFF Research Database (Denmark)

Barral, Sandra; Cosentino, Stephanie; Costa, Rosann

2012-01-01

members in the offspring generation demonstrate significantly better performance on multiple tasks requiring attention, working memory, and semantic processing when compared with individuals without a family history of exceptional survival, suggesting that cognitive performance may serve as an important......The authors investigated whether cognitive function may be used as an endophenotype for longevity by assessing the cognitive performance of a family-based cohort consisting of 1380 individuals from 283 families recruited for exceptional survival in field centers in Boston, New York, Pittsburgh......, and Denmark. Cognitive performance was assessed in the combined offspring of the Long Life Family Study (LLFS) probands and their LLFS siblings as compared with their spouses' cognitive performance. Our results indicate that the combined offspring of the LLFS probands and their siblings achieve significantly...

Research Objectives for Human Missions in the Proving Ground of Cis-Lunar Space

Science.gov (United States)

Spann, James; Niles, Paul; Eppler, Dean; Kennedy, Kriss; Lewis, Ruthan; Sullivan, Thomas

2016-07-01

Introduction: This talk will introduce the preliminary findings in support of NASA's Future Capabilities Team. In support of the ongoing studies conducted by NASA's Future Capabilities Team, we are tasked with collecting re-search objectives for the Proving Ground activities. The objectives could include but are certainly not limited to: demonstrating crew well being and performance over long duration missions, characterizing lunar volatiles, Earth monitoring, near Earth object search and identification, support of a far-side radio telescope, and measuring impact of deep space environment on biological systems. Beginning in as early as 2023, crewed missions beyond low Earth orbit will be enabled by the new capabilities of the SLS and Orion vehicles. This will initiate the "Proving Ground" phase of human exploration with Mars as an ultimate destination. The primary goal of the Proving Ground is to demonstrate the capability of suitably long dura-tion spaceflight without need of continuous support from Earth, i.e. become Earth Independent. A major component of the Proving Ground phase is to conduct research activities aimed at accomplishing major objectives selected from a wide variety of disciplines including but not limited to: Astronomy, Heliophysics, Fun-damental Physics, Planetary Science, Earth Science, Human Systems, Fundamental Space Biology, Microgravity, and In Situ Resource Utilization. Mapping and prioritizing the most important objectives from these disciplines will provide a strong foundation for establishing the architecture to be utilized in the Proving Ground. Possible Architectures: Activities and objectives will be accomplished during the Proving Ground phase using a deep space habitat. This habitat will potentially be accompanied by a power/propulsion bus capable of moving the habitat to accomplish different objectives within cis-lunar space. This architecture can also potentially support stag-ing of robotic and tele-robotic assets as well as

38 CFR 14.504 - Domestic relations questions, authority and exceptions.

Science.gov (United States)

2010-07-01

... questions, authority and exceptions. 14.504 Section 14.504 Pensions, Bonuses, and Veterans' Relief... relations questions, authority and exceptions. (a) Regional Counsels have the same authority with respect to... reasonably available facilities, and forward two copies thereof directly to the General Counsel for review...

26 CFR 1.306-2 - Exception.

Science.gov (United States)

2010-04-01

... is the avoidance of Federal income tax. [T.D. 6500, 25 FR 11607, Nov. 26, 1960, as amended by T.D... Revenue INTERNAL REVENUE SERVICE, DEPARTMENT OF THE TREASURY (CONTINUED) INCOME TAX (CONTINUED) INCOME TAXES Effects on Recipients § 1.306-2 Exception. (a) If a shareholder terminates his entire stock...

Future School Counselors' Perceptions of Twice-Exceptionality: An Exploratory Study

Science.gov (United States)

Leggett, Debra; Shea, Irene; Leggett, Joanna

2011-01-01

An exploratory survey was given to school counselors-in-training to gather preliminary information about their perceptions regarding students with twice-exceptionalities, their professional roles concerning service provision, and the roles of other helpers in assisting twice-exceptional students in the school setting. Thirty-seven participants…

Stark laws and fair market value exceptions: an introduction.

Science.gov (United States)

Siebrasse, Paul B

2007-01-01

This article will focus on one aspect of complexity in modern healthcare, namely the implications of Stark laws and other fraud and abuse provisions, including anti-kickback statutes and HIPAA. Also, this article explores the prevalence of fair market value as an exception in the Stark laws and discusses the meanings of those exceptions. Finally, the article explores basic approaches to assessing fair market value, including cost, income, and marketing approaches.

Chiral Modes at Exceptional Points in Exciton-Polariton Quantum Fluids

Science.gov (United States)

Gao, T.; Li, G.; Estrecho, E.; Liew, T. C. H.; Comber-Todd, D.; Nalitov, A.; Steger, M.; West, K.; Pfeiffer, L.; Snoke, D. W.; Kavokin, A. V.; Truscott, A. G.; Ostrovskaya, E. A.

2018-02-01

We demonstrate the generation of chiral modes-vortex flows with fixed handedness in exciton-polariton quantum fluids. The chiral modes arise in the vicinity of exceptional points (non-Hermitian spectral degeneracies) in an optically induced resonator for exciton polaritons. In particular, a vortex is generated by driving two dipole modes of the non-Hermitian ring resonator into degeneracy. Transition through the exceptional point in the space of the system's parameters is enabled by precise manipulation of real and imaginary parts of the closed-wall potential forming the resonator. As the system is driven to the vicinity of the exceptional point, we observe the formation of a vortex state with a fixed orbital angular momentum (topological charge). This method can be extended to generate higher-order orbital angular momentum states through coalescence of multiple non-Hermitian spectral degeneracies. Our Letter demonstrates the possibility of exploiting nontrivial and counterintuitive properties of waves near exceptional points in macroscopic quantum systems.

Chiral Modes at Exceptional Points in Exciton-Polariton Quantum Fluids.

Science.gov (United States)

Gao, T; Li, G; Estrecho, E; Liew, T C H; Comber-Todd, D; Nalitov, A; Steger, M; West, K; Pfeiffer, L; Snoke, D W; Kavokin, A V; Truscott, A G; Ostrovskaya, E A

2018-02-09

We demonstrate the generation of chiral modes-vortex flows with fixed handedness in exciton-polariton quantum fluids. The chiral modes arise in the vicinity of exceptional points (non-Hermitian spectral degeneracies) in an optically induced resonator for exciton polaritons. In particular, a vortex is generated by driving two dipole modes of the non-Hermitian ring resonator into degeneracy. Transition through the exceptional point in the space of the system's parameters is enabled by precise manipulation of real and imaginary parts of the closed-wall potential forming the resonator. As the system is driven to the vicinity of the exceptional point, we observe the formation of a vortex state with a fixed orbital angular momentum (topological charge). This method can be extended to generate higher-order orbital angular momentum states through coalescence of multiple non-Hermitian spectral degeneracies. Our Letter demonstrates the possibility of exploiting nontrivial and counterintuitive properties of waves near exceptional points in macroscopic quantum systems.

An Exploitability Analysis Technique for Binary Vulnerability Based on Automatic Exception Suppression

Directory of Open Access Journals (Sweden)

Zhiyuan Jiang

2018-01-01

Full Text Available To quickly verify and fix vulnerabilities, it is necessary to judge the exploitability of the massive crash generated by the automated vulnerability mining tool. While the current manual analysis of the crash process is inefficient and time-consuming, the existing automated tools can only handle execute exceptions and some write exceptions but cannot handle common read exceptions. To address this problem, we propose a method of determining the exploitability based on the exception type suppression. This method enables the program to continue to execute until an exploitable exception is triggered. The method performs a symbolic replay of the crash sample, constructing and reusing data gadget, to bypass the complex exception, thereby improving the efficiency and accuracy of vulnerability exploitability analysis. The testing of typical CGC/RHG binary software shows that this method can automatically convert a crash that cannot be judged by existing analysis tools into a different crash type and judge the exploitability successfully.

A Priceless Playground for Exceptional Children.

Science.gov (United States)

Adkins, Patricia G.

Described are 20 pieces of therapeutic playground equipment constructed by volunteers and fathers of children in the Early Learning Center for Exceptional Children (El Paso, Texas). It is noted that discarded and readily available materials (such as old tires) were used, and that no commercial playground equipment was purchased. Information on the…

12 CFR 717.21 - Affiliate marketing opt-out and exceptions.

Science.gov (United States)

2010-01-01

... 12 Banks and Banking 6 2010-01-01 2010-01-01 false Affiliate marketing opt-out and exceptions. 717.21 Section 717.21 Banks and Banking NATIONAL CREDIT UNION ADMINISTRATION REGULATIONS AFFECTING CREDIT UNIONS FAIR CREDIT REPORTING Affiliate Marketing § 717.21 Affiliate marketing opt-out and exceptions. (a...

Exceptional structures in mathematics and physics and the role of the octonions

Energy Technology Data Exchange (ETDEWEB)

Toppan, Francesco

2003-12-15

There is a growing interest in the logical possibility that exceptional mathematical structures (exceptional Lie and super Lie algebras, the exceptional Jordan algebra, etc.) could be linked to an ultimate 'exceptional' formulation for a Theory Of Everything (TOE). The maximal division algebra of the octonions can be held as the mathematical responsible for the existence of the exceptional structures mentioned above. In this context it is quite motivating to systematically investigate the properties of octonionic spinors and the octonionic realizations of supersymmetry. In particular the M-algebra can be consistently defined for two structures only, a real structure, leading to the standard M-algebra, and an octonionic structure. The octonionic version of the M-algebra admits striking properties induced by octonionic p-forms identities. (author)

Exceptional structures in mathematics and physics and the role of the octonions

International Nuclear Information System (INIS)

Toppan, Francesco

2003-12-01

There is a growing interest in the logical possibility that exceptional mathematical structures (exceptional Lie and super Lie algebras, the exceptional Jordan algebra, etc.) could be linked to an ultimate 'exceptional' formulation for a Theory Of Everything (TOE). The maximal division algebra of the octonions can be held as the mathematical responsible for the existence of the exceptional structures mentioned above. In this context it is quite motivating to systematically investigate the properties of octonionic spinors and the octonionic realizations of supersymmetry. In particular the M-algebra can be consistently defined for two structures only, a real structure, leading to the standard M-algebra, and an octonionic structure. The octonionic version of the M-algebra admits striking properties induced by octonionic p-forms identities. (author)

Reasoning by analogy as an aid to heuristic theorem proving.

Science.gov (United States)

Kling, R. E.

1972-01-01

When heuristic problem-solving programs are faced with large data bases that contain numbers of facts far in excess of those needed to solve any particular problem, their performance rapidly deteriorates. In this paper, the correspondence between a new unsolved problem and a previously solved analogous problem is computed and invoked to tailor large data bases to manageable sizes. This paper outlines the design of an algorithm for generating and exploiting analogies between theorems posed to a resolution-logic system. These algorithms are believed to be the first computationally feasible development of reasoning by analogy to be applied to heuristic theorem proving.

Making operations on standard-library containers strongly exception safe

DEFF Research Database (Denmark)

Katajainen, Jyrki

2007-01-01

-library containers to provide the strong guarantee of exception safety, instead of the default guarantee, without violating the stringent performance requirements specified in the C++ standard. In particular, we show that every strongly exception-safe operation on dynamic arrays and ordered dictionaries is only...... a constant factor slower than the corresponding default-guarantee operation. In terms of the amount of space, the overhead introduced is linear in the number of elements stored....

41 CFR 60-30.19 - Objections; exceptions; offer of proof.

Science.gov (United States)

2010-07-01

... exceptions to the Administrative Law Judge's recommendations and conclusions. (c) Offer of proof. An offer of...; offer of proof. 60-30.19 Section 60-30.19 Public Contracts and Property Management Other Provisions... EXECUTIVE ORDER 11246 Hearings and Related Matters § 60-30.19 Objections; exceptions; offer of proof. (a...

7 CFR 4290.835 - Exceptions to minimum term of Financing.

Science.gov (United States)

2010-01-01

... 7 Agriculture 15 2010-01-01 2010-01-01 false Exceptions to minimum term of Financing. 4290.835... (âRBICâ) PROGRAM Financing of Enterprises by RBICs Structuring Rbic Financing of Eligible Enterprises-Types of Financings § 4290.835 Exceptions to minimum term of Financing. You may make a Financing with a...

16 CFR 680.21 - Affiliate marketing opt-out and exceptions.

Science.gov (United States)

2010-01-01

... marketing purposes to a consumer with whom you have a pre-existing business relationship; (2) To facilitate... 16 Commercial Practices 1 2010-01-01 2010-01-01 false Affiliate marketing opt-out and exceptions... AFFILIATE MARKETING § 680.21 Affiliate marketing opt-out and exceptions. (a) Initial notice and opt-out...

12 CFR 571.21 - Affiliate marketing opt-out and exceptions.

Science.gov (United States)

2010-01-01

... solicitation for marketing purposes to a consumer with whom you have a pre-existing business relationship; (2... 12 Banks and Banking 5 2010-01-01 2010-01-01 false Affiliate marketing opt-out and exceptions. 571... CREDIT REPORTING Affiliate Marketing § 571.21 Affiliate marketing opt-out and exceptions. (a) Initial...

Why HIV/AIDS should be treated as exceptional: arguments from ...

African Journals Online (AJOL)

African Journal of AIDS Research ... The idea that HIV and AIDS gets too much attention and funding emerged in 2008 with a call to end 'AIDS exceptionalism.' This article outlines a short history of AIDS exceptionalism — the idea that HIV and AIDS require a response above and beyond 'normal' health interventions and is ...

New Nordic Exceptionalism

DEFF Research Database (Denmark)

Danbolt, Mathias

2016-01-01

At the 2009 Nordic Culture Forum summit in Berlin that centered on the profiling and branding of the Nordic region in a globalized world, one presenter stood out from the crowd. The lobbyist Annika Sigurdardottir delivered a speech that called for the establishment of “The United Nations of Norden...... that have been central to the debates on the branding of Nordicity over the last decades: on the one hand, the discourse of “Nordic exceptionalism,” that since the 1960s has been central to the promotion of a Nordic political, socio-economic, and internationalist “third way” model, and, on the other hand......, the discourse on the “New Nordic,” that emerged out of the New Nordic Food-movement in the early 2000s, and which has given art and culture a privileged role in the international re-fashioning of the Nordic brand. Through an analysis of Kim and Einhorn’s United Nations of Norden (UNN)-performance, the article...

GOES-R Proving Ground Activities at the NASA Short-Term Prediction Research and Transition (SPoRT) Center

Science.gov (United States)

Molthan, Andrew

2011-01-01

SPoRT is actively involved in GOES-R Proving Ground activities in a number of ways: (1) Applying the paradigm of product development, user training, and interaction to foster interaction with end users at NOAA forecast offices national centers. (2) Providing unique capabilities in collaboration with other GOES-R Proving Ground partners (a) Hybrid GOES-MODIS imagery (b) Pseudo-GLM via regional lightning mapping arrays (c) Developing new RGB imagery from EUMETSAT guidelines

7 CFR 305.17 - Authorized treatments; exceptions.

Science.gov (United States)

2010-01-01

... 7 Agriculture 5 2010-01-01 2010-01-01 false Authorized treatments; exceptions. 305.17 Section 305.17 Agriculture Regulations of the Department of Agriculture (Continued) ANIMAL AND PLANT HEALTH..., Libya, Malta, Macedonia, Morocco, Sardinia, Serbia and Montenegro, Slovenia, Spain, Syria, Tunisia, and...

Event detection and exception handling strategies in the ASDEX Upgrade discharge control system

International Nuclear Information System (INIS)

Treutterer, W.; Neu, G.; Rapson, C.; Raupp, G.; Zasche, D.; Zehetbauer, T.

2013-01-01

Highlights: •Event detection and exception handling is integrated in control system architecture. •Pulse control with local exception handling and pulse supervision with central exception handling are strictly separated. •Local exception handling limits the effect of an exception to a minimal part of the controlled system. •Central Exception Handling solves problems requiring coordinated action of multiple control components. -- Abstract: Thermonuclear plasmas are governed by nonlinear characteristics: plasma operation can be classified into scenarios with pronounced features like L and H-mode, ELMs or MHD activity. Transitions between them may be treated as events. Similarly, technical systems are also subject to events such as failure of measurement sensors, actuator saturation or violation of machine and plant operation limits. Such situations often are handled with a mixture of pulse abortion and iteratively improved pulse schedule reference programming. In case of protection-relevant events, however, the complexity of even a medium-sized device as ASDEX Upgrade requires a sophisticated and coordinated shutdown procedure rather than a simple stop of the pulse. The detection of events and their intelligent handling by the control system has been shown to be valuable also in terms of saving experiment time and cost. This paper outlines how ASDEX Upgrade's discharge control system (DCS) detects events and handles exceptions in two stages: locally and centrally. The goal of local exception handling is to limit the effect of an unexpected or asynchronous event to a minimal part of the controlled system. Thus, local exception handling facilitates robustness to failures but keeps the decision structures lean. A central state machine deals with exceptions requiring coordinated action of multiple control components. DCS implements the state machine by means of pulse schedule segments containing pre-programmed waveforms to define discharge goal and control

Event detection and exception handling strategies in the ASDEX Upgrade discharge control system

Energy Technology Data Exchange (ETDEWEB)

Treutterer, W., E-mail: Wolfgang.Treutterer@ipp.mpg.de; Neu, G.; Rapson, C.; Raupp, G.; Zasche, D.; Zehetbauer, T.

2013-10-15

Highlights: •Event detection and exception handling is integrated in control system architecture. •Pulse control with local exception handling and pulse supervision with central exception handling are strictly separated. •Local exception handling limits the effect of an exception to a minimal part of the controlled system. •Central Exception Handling solves problems requiring coordinated action of multiple control components. -- Abstract: Thermonuclear plasmas are governed by nonlinear characteristics: plasma operation can be classified into scenarios with pronounced features like L and H-mode, ELMs or MHD activity. Transitions between them may be treated as events. Similarly, technical systems are also subject to events such as failure of measurement sensors, actuator saturation or violation of machine and plant operation limits. Such situations often are handled with a mixture of pulse abortion and iteratively improved pulse schedule reference programming. In case of protection-relevant events, however, the complexity of even a medium-sized device as ASDEX Upgrade requires a sophisticated and coordinated shutdown procedure rather than a simple stop of the pulse. The detection of events and their intelligent handling by the control system has been shown to be valuable also in terms of saving experiment time and cost. This paper outlines how ASDEX Upgrade's discharge control system (DCS) detects events and handles exceptions in two stages: locally and centrally. The goal of local exception handling is to limit the effect of an unexpected or asynchronous event to a minimal part of the controlled system. Thus, local exception handling facilitates robustness to failures but keeps the decision structures lean. A central state machine deals with exceptions requiring coordinated action of multiple control components. DCS implements the state machine by means of pulse schedule segments containing pre-programmed waveforms to define discharge goal and control

X exceptionalism in Caenorhabditis speciation.

Science.gov (United States)

Cutter, Asher D

2017-11-13

Speciation genetics research in diverse organisms shows the X-chromosome to be exceptional in how it contributes to "rules" of speciation. Until recently, however, the nematode phylum has been nearly silent on this issue, despite the model organism Caenorhabditis elegans having touched most other topics in biology. Studies of speciation with Caenorhabditis accelerated with the recent discovery of species pairs showing partial interfertility. The resulting genetic analyses of reproductive isolation in nematodes demonstrate key roles for the X-chromosome in hybrid male sterility and inviability, opening up new understanding of the genetic causes of Haldane's rule, Darwin's corollary to Haldane's rule, and enabling tests of the large-X effect hypothesis. Studies to date implicate improper chromatin regulation of the X-chromosome by small RNA pathways as integral to hybrid male dysfunction. Sexual transitions in reproductive mode to self-fertilizing hermaphroditism inject distinctive molecular evolutionary features into the speciation process for some species. Caenorhabditis also provides unique opportunities for analysis in a system with XO sex determination that lacks a Y-chromosome, sex chromosome-dependent sperm competition differences and mechanisms of gametic isolation, exceptional accessibility to the development process and rapid experimental evolution. As genetic analysis of reproductive isolation matures with investigation of multiple pairs of Caenorhabditis species and new species discovery, nematodes will provide a powerful complement to more established study organisms for deciphering the genetic basis of and rules to speciation. © 2017 John Wiley & Sons Ltd.

What Is Nigeria? Unsettling the Myth of Exceptionalism

Directory of Open Access Journals (Sweden)

Aghogho Akpome

2015-01-01

Full Text Available This article explores perceptions and representations of Nigeria and Nigerians in the popular global imaginary. It analyses selected popular media narratives in order to foreground contradictions and paradoxes in the ways in which the country and people of Nigeria are discursively constructed. By doing so, it interrogates stereotypes of corruption and criminality as well as myths of exceptionalism about Nigeria and Nigerians originating from both within and outside the country. The analysis reveals that the generalised portrayal of Nigeria and Nigerians as exceptional social subjects is characterised by contradictions and inaccuracies in dominant representational practices and cannot be justified by the verifiable empirical information available on the country and its people.

Depleted uranium risk assessment at Aberdeen Proving Ground

International Nuclear Information System (INIS)

Ebinger, M.H.; Myers, O.B.; Kennedy, P.L.; Clements, W.H.

1993-01-01

The Environmental Science Group at Los Alamos and the Test and Evaluation Command (TECOM) are assessing the risk of depleted uranium (DU) testing at Aberdeen Proving Ground (APG). Conceptual and mathematical models of DU transfer through the APG ecosystem have been developed in order to show the mechanisms by which DU migrates or remains unavailable to different flora and fauna and to humans. The models incorporate actual rates of DU transfer between different ecosystem components as much as possible. Availability of data on DU transport through different pathways is scarce and constrains some of the transfer rates that can be used. Estimates of transfer rates were derived from literature sources and used in the mass-transfer models when actual transfer rates were unavailable. Objectives for this risk assessment are (1) to assess if DU transports away from impact areas; (2) to estimate how much, if any, DU migrates into Chesapeake Bay; (3) to determine if there are appreciable risks to the ecosystems due to DU testing; (4) to estimate the risk to human health as a result of DU testing

Exceptional circles of radial potentials

International Nuclear Information System (INIS)

Music, M; Perry, P; Siltanen, S

2013-01-01

A nonlinear scattering transform is studied for the two-dimensional Schrödinger equation at zero energy with a radial potential. Explicit examples are presented, both theoretically and computationally, of potentials with nontrivial singularities in the scattering transform. The singularities arise from non-uniqueness of the complex geometric optics solutions that define the scattering transform. The values of the complex spectral parameter at which the singularities appear are called exceptional points. The singularity formation is closely related to the fact that potentials of conductivity type are ‘critical’ in the sense of Murata. (paper)

13 CFR 107.1000 - Licensees without Leverage-exceptions to the regulations.

Science.gov (United States)

2010-01-01

... 13 Business Credit and Assistance 1 2010-01-01 2010-01-01 false Licensees without Leverage-exceptions to the regulations. 107.1000 Section 107.1000 Business Credit and Assistance SMALL BUSINESS ADMINISTRATION SMALL BUSINESS INVESTMENT COMPANIES Non-leveraged Licensees-Exceptions to Regulations § 107.1000...

15 CFR 732.4 - Steps regarding License Exceptions.

Science.gov (United States)

2010-01-01

... General Prohibition Six (Embargo), consult part 746 of the EAR for applicable License Exceptions. (b... export or reexport is subject to General Prohibition Six (Embargo) for embargoed destinations, License...

a Test to Prove Cloud Whitening THEORY!

Science.gov (United States)

Buttram, J. W.

2011-12-01

Climate science researchers believe our planet can possibly tolerate twice the present carbon dioxide levels with no upwards temperature change, IF we could increase the amount of energy reflected back out into space by about 2.0%. (c)Cloudtec basically alters a blend of seawater and applies heat derived from magma to it at a temperature exceeding 2,000 degrees F. The interaction of seawater and magma displaces the oxygen, causing the volume of water to vaporize and expand over 4,000 times - transforming billions of tons of seawater into thousands of cubic miles of white, maritime, stratocumulus clouds to reflect the incident Sun's rays back out into space. A 6 month test to prove Cloud Whitening Theory will cost 6 million dollars. (No profit added.) This study will enable everyone on the planet with a computer the transparency to use satellite imagery and check out for themselves - if and when Cloud Whitening is occurring. If Cloud Whitening Theory is validated, (c)Cloudtec's innovation can strategically create the clouds we need to reflect the Sun's rays back out into space and help neutralize the projected 3.6 degrees F rise in temperature. Based on reasonable calculations of anthropogenic global warming: this one move alone would be comparable to slashing global carbon dioxide emissions by over 60% over the next 40 years.

Public Policy Exceptions in European Private Law : A New Research Project

NARCIS (Netherlands)

Colombi Ciacchi, Aurelia

2014-01-01

Public policy exceptions arguably exist in all fields of private and commerciallaw, not only in private international law but also in substantive law. In substantive private law, the term 'public policy exception' could be used to indicate general illegality rules that make an act of private

19 CFR 134.33 - J-List exceptions.

Science.gov (United States)

2010-04-01

... planed, tongued and grooved T.D.s 49750; 50366(6). Flowers, artificial, except bunches. Flowers, cut... dimensions, shape or form. Monuments. Nails, spikes, and staples. Natural products, such as vegetables...) T.D. 49750. Skins, fur, dressed or dyed. Skins, raw fur. Sponges. Springs, watch. Stamps, postage...

NASA SPoRT GOES-R Proving Ground Activities

Science.gov (United States)

Stano, Geoffrey T.; Fuell, Kevin K.; Jedloec, Gary J.

2010-01-01

The NASA Short-term Prediction Research and Transition (SPoRT) program is a partner with the GOES-R Proving Ground (PG) helping prepare forecasters understand the unique products to come from the GOES-R instrument suite. SPoRT is working collaboratively with other members of the GOES-R PG team and Algorithm Working Group (AWG) scientists to develop and disseminate a suite of proxy products that address specific forecast problems for the WFOs, Regional and National Support Centers, and other NOAA users. These products draw on SPoRT s expertise with the transition and evaluation of products into operations from the MODIS instrument and the North Alabama Lightning Mapping Array (NALMA). The MODIS instrument serves as an excellent proxy for the Advanced Baseline Imager (ABI) that will be aboard GOES-R. SPoRT has transitioned and evaluated several multi-channel MODIS products. The true and false color products are being used in natural hazard detection by several SPoRT partners to provide better observation of land features, such as fires, smoke plumes, and snow cover. Additionally, many of SPoRT s partners are coastal offices and already benefit from the MODIS sea surface temperature composite. This, along with other surface feature observations will be developed into ABI proxy products for diagnostic use in the forecast process as well as assimilation into forecast models. In addition to the MODIS instrument, the NALMA has proven very valuable to WFOs with access to these total lightning data. These data provide situational awareness and enhanced warning decision making to improve lead times for severe thunderstorm and tornado warnings. One effort by SPoRT scientists includes a lightning threat product to create short-term model forecasts of lightning activity. Additionally, SPoRT is working with the AWG to create GLM proxy data from several of the ground based total lightning networks, such as the NALMA. The evaluation will focus on the vastly improved spatial

The Secret Prover : Proving Possession of Arbitrary Files While not Giving Them Away

NARCIS (Netherlands)

Teepe, Wouter

2005-01-01

The Secret Prover is a Java application which allows a user (A) to prove to another user (B), that A possesses a file. If B also possesses this file B will get convinced, and if B does not possess this file B will gain no information on (the contents of) this file. This is the first implementation

Impact of cooking, proving, and baking on the (poly)phenol content of wild blueberry.

Science.gov (United States)

Rodriguez-Mateos, Ana; Cifuentes-Gomez, Tania; George, Trevor W; Spencer, Jeremy P E

2014-05-07

Accumulating evidence suggests that diets rich in (poly)phenols may have positive effects on human health. Currently there is limited information regarding the effects of processing on the (poly)phenolic content of berries, in particular in processes related to the baking industry. This study investigated the impact of cooking, proving, and baking on the anthocyanin, procyanidin, flavonol, and phenolic acid contents of wild blueberry using HPLC with UV and fluorescence detection. Anthocyanin levels decreased during cooking, proving, and baking, whereas no significant changes were observed for total procyanidins. However, lower molecular weight procyanidins increased and high molecular weight oligomers decreased during the process. Quercetin and ferulic and caffeic acid levels remained constant, whereas increases were found for chlorogenic acid. Due to their possible health benefits, a better understanding of the impact of processing is important to maximize the retention of these phytochemicals in berry-containing products.

Conceptualizing reasoning-and-proving opportunities in textbook expositions : Cases from secondary calculus

OpenAIRE

Bergwall, Andreas

2017-01-01

Several recent textbook studies focus on opportunities to learn reasoning-and-proving. They typically investigate the extent to which justifications are general proofs and what opportunities exist for learning important elements of mathematical reasoning. In this paper, I discuss how a particular analytical framework for this might be refined. Based on an in-depth analysis of certain textbook passages in upper secondary calculus textbooks, I make an account for analytical issues encountered d...

The effects of GeoGebra software on pre-service mathematics teachers' attitudes and views toward proof and proving

Science.gov (United States)

Zengin, Yılmaz

2017-11-01

The purpose of this study is to determine the effect of GeoGebra software on pre-service mathematics teachers' attitudes towards proof and proving and to determine pre-service teachers' pre- and post-views regarding proof. The study lasted nine weeks and the participants of the study consisted of 24 pre-service mathematics teachers. The study used the 'Attitude Scale Towards Proof and Proving' and an open-ended questionnaire that were administered before and after the intervention as data collection tools. Paired samples t-test analysis was used for the analysis of quantitative data and content and descriptive analyses were utilized for the analysis of qualitative data. As a result of the data analysis, it was determined that GeoGebra software was an effective tool in increasing pre-service teachers' attitudes towards proof and proving.

The Advocacy Experiences of Parents of Elementary Age, Twice-Exceptional Children

Science.gov (United States)

Besnoy, Kevin D.; Swoszowski, Nicole C.; Newman, Jane L.; Floyd, Amanda; Jones, Parrish; Byrne, Caitlin

2015-01-01

For many parents, successfully advocating for their twice-exceptional child can be intimidating and overwhelming. Using grounded theory, we conducted a study with parents (n = 8) of elementary age, twice-exceptional children to learn about their advocacy experiences. Findings revealed that parents simultaneously advocated for their child's…

5 CFR 316.702 - Excepted positions brought into the competitive service.

Science.gov (United States)

2010-01-01

... 5 Administrative Personnel 1 2010-01-01 2010-01-01 false Excepted positions brought into the competitive service. 316.702 Section 316.702 Administrative Personnel OFFICE OF PERSONNEL MANAGEMENT CIVIL... provisions of § 316.402. (d) An employee who was serving under an excepted appointment with a definite time...

24 CFR 203.41 - Free assumability; exceptions.

Science.gov (United States)

2010-04-01

... otherwise provided in the HOME Investment Partnerships (HOME) and the Homeownership and Opportunity for... limitations applicable in the jurisdiction. (3) Except as otherwise required by the HOME and HOPE programs... that the holder of the right of entry for condition broken also executes the mortgage, and that the...

15 CFR 700.80 - Adjustments or exceptions.

Science.gov (United States)

2010-01-01

...) BUREAU OF INDUSTRY AND SECURITY, DEPARTMENT OF COMMERCE NATIONAL SECURITY INDUSTRIAL BASE REGULATIONS... exceptions. (a) A person may submit a request to the Office of Strategic Industries and Economic Security, U... interim relief is granted in writing by the Office of Strategic Industries and Economic Security. (d) A...

Power-law scaling of extreme dynamics near higher-order exceptional points

Science.gov (United States)

Zhong, Q.; Christodoulides, D. N.; Khajavikhan, M.; Makris, K. G.; El-Ganainy, R.

2018-02-01

We investigate the extreme dynamics of non-Hermitian systems near higher-order exceptional points in photonic networks constructed using the bosonic algebra method. We show that strong power oscillations for certain initial conditions can occur as a result of the peculiar eigenspace geometry and its dimensionality collapse near these singularities. By using complementary numerical and analytical approaches, we show that, in the parity-time (PT ) phase near exceptional points, the logarithm of the maximum optical power amplification scales linearly with the order of the exceptional point. We focus in our discussion on photonic systems, but we note that our results apply to other physical systems as well.

46 CFR 520.13 - Exemptions and exceptions.

Science.gov (United States)

2010-10-01

... AUTOMATED TARIFFS § 520.13 Exemptions and exceptions. (a) General. Exemptions from the requirements of this... for the purpose of sale. (ii) British Columbia and Puget Sound Ports; rail cars—(A) Through rates. Transportation by water of cargo moving in rail cars between British Columbia, Canada and United States ports on...

Working with Navajo Parents of Exceptional Children.

Science.gov (United States)

Jones, Doris; And Others

Undergraduate students at Northern Arizona University interviewed and surveyed 20 staff members at Kayenta Unified School District (KUSD) on the Navajo Reservation and 14 parents of exceptional Navajo children enrolled in KUSD. Both groups were asked to identify challenges affecting the working relationship between parents and school on a rural…

7 CFR 52.1850 - Sizes of raisins with seeds-except layer or cluster.

Science.gov (United States)

2010-01-01

... 7 Agriculture 2 2010-01-01 2010-01-01 false Sizes of raisins with seeds-except layer or cluster... Raisins 1 Type III-Raisins with Seeds § 52.1850 Sizes of raisins with seeds—except layer or cluster. The sizes of Raisins with Seeds—except for Layer or Cluster Raisins with Seeds, are not incorporated in the...

Geophysics: Building E5481 decommissioning, Aberdeen Proving Ground

International Nuclear Information System (INIS)

Thompson, M.D.; McGinnis, M.G.; McGinnis, L.D.; Miller, S.F.

1992-11-01

Building E5481 is one of ten potentially contaminated sites in the Canal Creek and Westwood areas of the Edgewood section of Aberdeen Proving Ground examined by a geophysical team from Argonne National Laboratory in April and May of 1992. Noninvasive geophysical surveys, including magnetics, electrical resistivity, and ground-penetrating radar, were conducted around the perimeter of the building to guide a sampling program prior to decommissioning and dismantling. The building is located on the northern margin of a landfill that was sited in a wetland. The large number of magnetic sources surrounding the building are believed to be contained in construction fill that had been used to raise the grade. The smaller anomalies, for the most part, are not imaged with ground radar or by electrical profiling. A conductive zone trending northwest to southeast across the site is spatially related to an old roadbed. Higher resistivity areas in the northeast and east are probably representive of background values. Three high-amplitude, positive, rectangular magnetic anomalies have unknown sources. The features do not have equivalent electrical signatures, nor are they seen with radar imaging

Geophysics: Building E5375 decommissioning, Aberdeen Proving Ground

International Nuclear Information System (INIS)

McGinnis, M.G.; McGinnis, L.D.; Miller, S.F.; Thompson, M.D.

1992-08-01

Building E5375 was one of ten potentially contaminated sites in the Canal Creek area of the Edgewood section of Aberdeen Proving Ground examined by a geophysical team from Argonne National Laboratory in April and May 1992. Noninvasive geophysical surveys, including magnetics, electrical resistivity, and ground-penetrating radar (GPR), were conducted around the perimeter of the building to guide a sampling program prior to decommissioning and dismantling. Several anomalies wear, noted: (1) An underground storage tank located 25 ft east of Building E5375 was identified with magnetic, resistivity, and GPR profiling. (2) A three-point resistivity anomaly, 12 ft east of the northeast comer of Building E5374 (which borders Building E5375) and 5 ft south of the area surveyed with the magnetometer, may be caused by another underground storage tank. (3) A 2,500-gamma magnetic anomaly near the northeast corner of the site has no equivalent resistivity anomaly, although disruption in GPR reflectors was observed. (4) A one-point magnetic anomaly was located at the northeast comer, but its source cannot be resolved. A chaotic reflective zone to the east represents the radar signature of Building E5375 construction fill

39 CFR 959.24 - Exceptions to initial decision or tentative decision.

Science.gov (United States)

2010-07-01

... failed to file an answer, may appeal to the Judicial Officer by filing exceptions in a brief on appeal... in a proceeding presided over by the Judicial Officer, except one who has failed to file an answer... matter in the order indicated: (1) A subject index of the matters presented, with page references; a...

Voices from the Classroom: Exceptional Teachers Speak.

Science.gov (United States)

Maeroff, Gene I., Ed.

The opinions and experiences reflected in this report are those of exceptional teachers chosen in a national competition, "Thanks to Teachers," sponsored by Apple Computer, Inc., the National Foundation for the Improvement of Education, the National Alliance of Business, and Group W Television. The report is divided into four sections: (1) the…

7 CFR 52.1852 - Grades of raisins with seeds-except layer or cluster.

Science.gov (United States)

2010-01-01

... 7 Agriculture 2 2010-01-01 2010-01-01 false Grades of raisins with seeds-except layer or cluster... Raisins 1 Type III-Raisins with Seeds § 52.1852 Grades of raisins with seeds—except layer or cluster. (a...—Allowances for Defects in Raisins With Seeds—Except Layer or Cluster Defects U.S. Grade A U.S. Grade B U.S...

THE EXCEPTION OF UNCONSTITUTIONALITY RAISED BEFORE AN INTERNATIONAL ARBITRAL TRIBUNAL

OpenAIRE

Eugen HURUBÃ; Luminita GABURA

2014-01-01

The main aim of the paper work is to determine whether the Constitutional Court of Romania could be notified by international tribunals in relation to cases tried under Romanian law. On 5 March 2013 the Constitutional Court of Romania decided, for the first time, on a case concerning an exception of unconstitutionality raised before an international tribunal of commercial arbitration. The exception of unconstitutionality of a Government Emergency Ordinance was raised in an arbitration case pe...

Vendors: Gifts Are the Exception to the Rule.

Science.gov (United States)

Natale, Jo Anna

1992-01-01

Informal interviews with several people working in different industries reveal that, without exception, the vendors say companies do not routinely offer school officials gifts and entertainment to sway purchasing decisions, but that it does happen. (MLF)

Safety objectives for next generation reactors: proving their achievement

International Nuclear Information System (INIS)

Tanguy, P.Y.

1996-01-01

Assuming that there is a consensus between regulatory bodies and nuclear operating organizations on safety objectives for future plants, how are we going to demonstrate that they have been achieved, with a reasonable certainty? Right from the beginning, I would like to underline the importance of convincing the public that high level safety objectives will be effectively achieved in future nuclear power plants. The mere fulfillment of administrative requirements might not be sufficient to obtain public acceptance. One has to take into account the changes that have occurred in the public preception of nuclear risks in the wake of the Chernobyl accident. Today public opinion rules out the possibility not only that such a catastrophic accident could recur, but also that any accident with detrimental health consequences off-site could occur. The nuclear industry has to reflect this concern in its safety demonstration, independently of proving the achievement of technical safety goals. The public opinion issue will be readdressed at the end of this paper. (orig.)

Why prove it again? alternative proofs in mathematical practice

CERN Document Server

Dawson, Jr , John W

2015-01-01

This monograph considers several well-known mathematical theorems and asks the question, “Why prove it again?” while examining alternative proofs.   It  explores the different rationales mathematicians may have for pursuing and presenting new proofs of previously established results, as well as how they judge whether two proofs of a given result are different.  While a number of books have examined alternative proofs of individual theorems, this is the first that presents comparative case studies of other methods for a variety of different theorems. The author begins by laying out the criteria for distinguishing among proofs and enumerates reasons why new proofs have, for so long, played a prominent role in mathematical practice.  He then outlines various purposes that alternative proofs may serve.  Each chapter that follows provides a detailed case study of alternative proofs for particular theorems, including the Pythagorean Theorem, the Fundamental Theorem of Arithmetic, Desargues’ Theorem, the...

Leibniz algebroids, twistings and exceptional generalized geometry

OpenAIRE

Baraglia, David

2011-01-01

We investigate a class of Leibniz algebroids which are invariant under diffeomorphisms and symmetries involving collections of closed forms. Under appropriate assumptions we arrive at a classification which in particular gives a construction starting from graded Lie algebras. In this case the Leibniz bracket is a derived bracket and there are higher derived brackets resulting in an $L_\\infty$-structure. The algebroids can be twisted by a non-abelian cohomology class and we prove that the twis...

Danish Exceptionalism: Explaining the Unique Increase in Social Trust over the Past 30 Years

DEFF Research Database (Denmark)

Sønderskov, Kim Mannemar; Dinesen, Peter Thisted

Given the positive societal consequences of social trust and the exceptional high levels of trust found in the Nordic countries there is a growing interest in the background for Nordic trust exceptionalism. Reflecting the debate about the roots of trust, the question is whether this exceptionalism...

Exceptional quantum geometry and particle physics

Directory of Open Access Journals (Sweden)

Michel Dubois-Violette

2016-11-01

Full Text Available Based on an interpretation of the quark–lepton symmetry in terms of the unimodularity of the color group SU(3 and on the existence of 3 generations, we develop an argumentation suggesting that the “finite quantum space” corresponding to the exceptional real Jordan algebra of dimension 27 (the Euclidean Albert algebra is relevant for the description of internal spaces in the theory of particles. In particular, the triality which corresponds to the 3 off-diagonal octonionic elements of the exceptional algebra is associated to the 3 generations of the Standard Model while the representation of the octonions as a complex 4-dimensional space C⊕C3 is associated to the quark–lepton symmetry (one complex for the lepton and 3 for the corresponding quark. More generally it is suggested that the replacement of the algebra of real functions on spacetime by the algebra of functions on spacetime with values in a finite-dimensional Euclidean Jordan algebra which plays the role of “the algebra of real functions” on the corresponding almost classical quantum spacetime is relevant in particle physics. This leads us to study the theory of Jordan modules and to develop the differential calculus over Jordan algebras (i.e. to introduce the appropriate notion of differential forms. We formulate the corresponding definition of connections on Jordan modules.

Vulnerability of historical masonry buildings under exceptional actions

OpenAIRE

Florio, Gilda

2010-01-01

The topic of this thesis is the vulnerability assessment of historical masonry buildings under exceptional actions. In order to develop the study, the structural performance of masonry aggregates and isolated monumental buildings under extreme loading condition have been investigated.

49 CFR 89.7 - Exceptions to delegated authority.

Science.gov (United States)

2010-10-01

... not apply to any claim: (a) As to which there is an indication of (1) fraud; (2) the presentation of a... the claim; (b) Based on tax statutes; or (c) Arising from an exception made by the General Accounting...

Initial building investigations at Aberdeen Proving Ground, Maryland: Objectives and methodology

Energy Technology Data Exchange (ETDEWEB)

Brubaker, K.L.; Dougherty, J.M.; McGinnis, L.D.

1994-12-01

As part of an environmental-contamination source-definition program at Aberdeen Proving Ground, detailed internal and external inspections of 23 potentially contaminated buildings are being conducted to describe and characterize the state of each building as it currently exists and to identify areas potentially contaminated with toxic or other hazardous substances. In addition, a detailed geophysical investigation is being conducted in the vicinity of each target building to locate and identify subsurface structures, associated with former building operations, that are potential sources of contamination. This report describes the objectives of the initial building inspections, including the geophysical investigations, and discusses the methodology that has been developed to achieve these objectives.

Divide and conquer method for proving gaps of frustration free Hamiltonians

DEFF Research Database (Denmark)

Kastoryano, Michael J.; Lucia, Angelo

2018-01-01

Providing system-size independent lower bounds on the spectral gap of local Hamiltonian is in general a hard problem. For the case of finite-range, frustration free Hamiltonians on a spin lattice of arbitrary dimension, we show that a property of the ground state space is sufficient to obtain...... such a bound. We furthermore show that such a condition is necessary and equivalent to a constant spectral gap. Thanks to this equivalence, we can prove that for gapless models in any dimension, the spectral gap on regions of diameter $n$ is at most $o\\left(\\frac{\\log(n)^{2+\\epsilon}}{n}\\right)$ for any...... positive $\\epsilon$....

An Exception Handling Service for Software Agent Ensembles

National Research Council Canada - National Science Library

Klein, Mark

2004-01-01

... (I) the creation of better contingent contracts between agents (both human and software- based) as well as (2) exception-handling agents that monitor MAS for problem symptoms, diagnose the underlying problems, and intervene as appropriate to avoid or resolve these problems.

Multiply Degenerate Exceptional Points and Quantum Phase Transitions

Czech Academy of Sciences Publication Activity Database

Borisov, D.; Růžička, František; Znojil, Miloslav

2015-01-01

Roč. 54, č. 12 (2015), s. 4293-4305 ISSN 0020-7748 Institutional support: RVO:61389005 Keywords : quantum mechanics * Cryptohermitian observbles * spectra and pseudospectra * real exceptional points * phase transitions Subject RIV: BE - Theoretical Physics Impact factor: 1.041, year: 2015

Exceptional Points and Dynamical Phase Transitions

Directory of Open Access Journals (Sweden)

I. Rotter

2010-01-01

Full Text Available In the framework of non-Hermitian quantum physics, the relation between exceptional points,dynamical phase transitions and the counter intuitive behavior of quantum systems at high level density is considered. The theoretical results obtained for open quantum systems and proven experimentally some years ago on a microwave cavity, may explain environmentally induce deffects (including dynamical phase transitions, which have been observed in various experimental studies. They also agree(qualitatively with the experimental results reported recently in PT symmetric optical lattices.

49 CFR 173.420 - Uranium hexafluoride (fissile, fissile excepted and non-fissile).

Science.gov (United States)

2010-10-01

... 49 Transportation 2 2010-10-01 2010-10-01 false Uranium hexafluoride (fissile, fissile excepted....420 Uranium hexafluoride (fissile, fissile excepted and non-fissile). (a) In addition to any other... non-fissile uranium hexafluoride must be offered for transportation as follows: (1) Before initial...

Is India the Exception?

DEFF Research Database (Denmark)

Nielsen, Klaus; Storm, Rasmus K.

India is still the extreme under-achiever in international sport competitions. Whereas in China high growth rates have been accompanied by a huge improvement in its ranking in international sport events a similar impact of extraordinary growth rates is seemingly totally absent in the case of India....... Is India an exception? Several econometric studies have shown that income per capita is a significant variable explaining elite sport results such as results in the Olympic Games. From this stylized fact follows the hypothesis that 'above/below average' growth rates lead to relative improvements...... between growth in GNP per capita and growth in medal points (no. 1: five points, no. 2: three points, no.3: two points) in Olympic Summer Games. The findings show no correlation and in a few calculations a very weak correlation. Among the countries behaving in accordance with the hypothesis in the most...

Center variation in the use of nonstandardized model for end-stage liver disease exception points.

Science.gov (United States)

Goldberg, David S; Makar, George; Bittermann, Therese; French, Benjamin

2013-12-01

The Model for End-Stage Liver Disease (MELD) score is an imperfect prognosticator of waitlist dropout, so transplant centers may apply for exception points to increase a waitlist candidate's priority on the waitlist. Exception applications are categorized as recognized exceptional diagnoses (REDs; eg, hepatocellular carcinoma) and non-REDs (eg, cholangitis). Although prior work has demonstrated regional variation in the use of exceptions, no work has examined the between-center variability. We analyzed all new waitlist candidates from February 27, 2002 to June 3, 2011 to explore variations in the use of non-REDs, for which no strict exception criteria exist. There were 58,641 new waitlist candidates, and 4356 (7.4%) applied for a non-RED exception. The number of applications increased steadily over time, as did the approval rates for such applications: from variation to ensure the appropriate and equitable use of non-RED exceptions. © 2013 American Association for the Study of Liver Diseases.

Danish Exceptionalism: Explaining the Unique Increase in Social Trust over the Past 30 Years

DEFF Research Database (Denmark)

Sønderskov, Kim Mannemar; Dinesen, Peter Thisted

2014-01-01

Given the positive societal consequences of social trust and the exceptional high levels of trust found in the Nordic countries, there is a growing interest in the background for Nordic trust exceptionalism. Reflecting the debate about the roots of trust, the question is whether this exceptionalism...... has been a permanent feature of these societies, i.e., an enduring cultural trait, or primarily been shaped by more contemporary experiential forces. This article examines the roots of the present Nordic trust exceptionalism by means of analysing the development of trust in Denmark over the past three...

36 CFR 51.42 - Are there exceptions to this compensable interest prohibition?

Science.gov (United States)

2010-07-01

... compensable interest prohibition? 51.42 Section 51.42 Parks, Forests, and Public Property NATIONAL PARK... exceptions to this compensable interest prohibition? Two exceptions to this compensable interest prohibition... owned in fee simple by a concessioner or owned in fee simple by a concessioner's predecessor before the...

48 CFR 227.7009-3 - Additional clauses-contracts except running royalty contracts.

Science.gov (United States)

2010-10-01

...-contracts except running royalty contracts. 227.7009-3 Section 227.7009-3 Federal Acquisition Regulations...—contracts except running royalty contracts. The following clauses are examples for use in patent release and settlement agreements, and license agreements not providing for payment by the Government of a running...

Exceptional suffering? Enumeration and vernacular accounting in the HIV-positive experience.

Science.gov (United States)

Benton, Adia

2012-01-01

Drawing on 17 months of ethnographic fieldwork in Freetown, Sierra Leone, I highlight the recursive relationship between Sierra Leone as an exemplary setting and HIV as an exceptional disease. Through this relationship, I examine how HIV-positive individuals rely on both enumerative knowledge (seroprevalence rates) and vernacular accounting (NGO narratives of vulnerability) to communicate the uniqueness of their experience as HIV sufferers and to demarcate the boundaries of their status. Various observers' enumerative and vernacular accounts of Sierra Leone's decade-long civil conflict, coupled with global health accounts of HIV as exceptional, reveal the calculus of power through which global health projects operate. The contradictions between the exemplary and the exceptional-and the accompanying tension between quantitative and qualitative facts-are mutually constituted in performances and claims made by HIV-positive individuals themselves.

Confinement in F4 Exceptional Gauge Group Using Domain Structures

Science.gov (United States)

Rafibakhsh, Shahnoosh; Shahlaei, Amir

2017-03-01

We calculate the potential between static quarks in the fundamental representation of the F4 exceptional gauge group using domain structures of the thick center vortex model. As non-trivial center elements are absent, the asymptotic string tension is lost while an intermediate linear potential is observed. SU(2) is a subgroup of F4. Investigating the decomposition of the 26 dimensional representation of F4 to the SU(2) representations, might explain what accounts for the intermediate linear potential, in the exceptional groups with no center element.

16 CFR 313.15 - Other exceptions to notice and opt out requirements.

Science.gov (United States)

2010-01-01

... consumer. (2) A consumer may revoke consent by subsequently exercising the right to opt out of future... ACTS OF CONGRESS PRIVACY OF CONSUMER FINANCIAL INFORMATION Exceptions § 313.15 Other exceptions to... at the direction of the consumer, provided that the consumer has not revoked the consent or direction...

Preliminary observations on the reproductive cycle of female Tegu lizards (Tupinambis teguizin)

OpenAIRE

Yanosky, Ángel Alberto; Mercolli, Claudia

1991-01-01

The black tegu lizard, Tupinambis teguixin (Linnaeus 1758) is a common element in the wild all throughout Southamerica except for Chile. This teiid lizard was outstood by earlier travellers such as Sir Charles Waterton who reported for the first time about the delicate food, resembling chicken flesh and frequently consumed by local natives. Despite its relative abundance and both the intense economical and social importance of tegus, as well as its situation in the food web, the reproductive ...

JPSS Preparations at the Satellite Proving Ground for Marine, Precipitation, and Satellite Analysis

Science.gov (United States)

Folmer, Michael J.; Berndt, E.; Clark, J.; Orrison, A.; Kibler, J.; Sienkiewicz, J.; Nelson, J.; Goldberg, M.; Sjoberg, W.

2016-01-01

The ocean prediction center at the national hurricane center's tropical analysis and forecast Branch, the Weather Prediction center and the Satellite analysis branch of NESDIS make up the Satellite Proving Ground for Marine, Precipitation and Satellite Analysis. These centers had early exposure to JPSS products using the S-NPP Satellite that was launched in 2011. Forecasters continue to evaluate new products in anticipation for the launch of JPSS-1 sometime in 2017.

Research in advanced formal theorem-proving techniques. [design and implementation of computer languages

Science.gov (United States)

Raphael, B.; Fikes, R.; Waldinger, R.

1973-01-01

The results are summarised of a project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial intelligence including automatic programming, theorem proving, and robot planning. The principal results of the project were the design and implementation of two complete systems, QA4 and QLISP, and their preliminary experimental use. The various applications of both QA4 and QLISP are given.

46 CFR 53.01-10 - Service restrictions and exceptions (replaces HG-101).

Science.gov (United States)

2010-10-01

... 46 Shipping 2 2010-10-01 2010-10-01 false Service restrictions and exceptions (replaces HG-101... ENGINEERING HEATING BOILERS General Requirements § 53.01-10 Service restrictions and exceptions (replaces HG... lieu of the requirements in HG-101 of section IV of the ASME Boiler and Pressure Vessel Code...

12 CFR 573.15 - Other exceptions to notice and opt out requirements.

Science.gov (United States)

2010-01-01

... consumer. (2) A consumer may revoke consent by subsequently exercising the right to opt out of future... PRIVACY OF CONSUMER FINANCIAL INFORMATION Exceptions § 573.15 Other exceptions to notice and opt out... consumer, provided that the consumer has not revoked the consent or direction; (2)(i) To protect the...

12 CFR 332.15 - Other exceptions to notice and opt out requirements.

Science.gov (United States)

2010-01-01

... insurance to the consumer. (2) A consumer may revoke consent by subsequently exercising the right to opt out... STATEMENTS OF GENERAL POLICY PRIVACY OF CONSUMER FINANCIAL INFORMATION Exceptions § 332.15 Other exceptions... consent or at the direction of the consumer, provided that the consumer has not revoked the consent or...

Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story

Directory of Open Access Journals (Sweden)

David Romero-Hernández

2015-12-01

Full Text Available We have developed a notion of global bisimulation distance between processes which goes somehow beyond the notions of bisimulation distance already existing in the literature, mainly based on bisimulation games. Our proposal is based on the cost of transformations: how much we need to modify one of the compared processes to obtain the other. Our original definition only covered finite processes, but a coinductive approach allows us to extend it to cover infinite but finitary trees. After having shown many interesting properties of our distance, it was our intention to prove continuity with respect to projections, but unfortunately the issue remains open. Nonetheless, we have obtained several partial results that are presented in this paper.

16 CFR Appendix G5 to Part 305 - Boilers-Gas (Except Steam)

Science.gov (United States)

2010-01-01

... 16 Commercial Practices 1 2010-01-01 2010-01-01 false Boilers-Gas (Except Steam) G5 Appendix G5 to Part 305 Commercial Practices FEDERAL TRADE COMMISSION REGULATIONS UNDER SPECIFIC ACTS OF CONGRESS RULE... Appendix G5 to Part 305—Boilers—Gas (Except Steam) Manufacturer's rated heating capacities (Btu's/hr...

2000 GUIDELINES FOR ADVANCEMENT AND EXCEPTIONAL PERFORMANCE AWARDS

CERN Document Server

2000-01-01

1. GeneralAs indicated in last year's guidelines, studies on CERN's career structures are continuing in the context of the work of the Tripartite Forum on Employment Conditions (TREF) and should be completed during this year's 5-Yearly Remuneration Review for the application of any changes in 2001. In the meantime, the 2000 annual advancement exercise will be conducted on similar basic lines to those of previous years, i.e. within the procedures of the Administrative Circular N° 26 (Rev. 2), thus promoting the aspect of individual merit in advancement.The present guidelines continue to aim at the best possible degree of flexibility of application for each division within the present Staff Rules and Regulations in order to take full account of both the different levels of individual performance and also the different staff profiles.All advancement must be justified on the grounds of correctly judged merit: exceptional advancement (i.e. second step or entering the exceptional advancement grade) for par...

Geophysics: Building E5476 decommissiong, Aberdeen Proving Ground

International Nuclear Information System (INIS)

Miller, S.F.; Thompson, M.D.; McGinnis, M.G.; McGinnis, L.D.

1992-11-01

Building E5476 was one of ten potentially contaminated sites in the Canal Creek and Westwood areas of the Edgewood section of Aberdeen Proving Ground examined by a geophysical team from Argonne National Laboratory in April and May of 1992. Noninvasive geophysical surveys, including magnetics, electrical resistivity, and ground-penetrating radar, were conducted around the perimeter of the building to guide a sampling program prior to decommissioning and dismantling. The large number of magnetic sources surrounding the building are believed to be contained in construction fill. The smaller anomalies, for the most part, were not imaged with ground radar or by electrical profiling. Large magnetic anomalies near the southwest comer of the building are due to aboveground standpipes and steel-reinforced concrete. Two high-resistivity areas, one projecting northeast from the building and another south of the original structure, may indicate the presence of organic pore fluids in the subsurface. A conductive lineament protruding from the south wall that is enclosed by the southem, high-resistivity feature is not associated with an equivalent magnetic anomaly. Magnetic and electrical anomalies south of the old landfill boundary are probably not associated with the building. The boundary is marked by a band of magnetic anomalies and a conductive zone trending northwest to southeast. The cause of high resistivities in a semicircular area in the southwest comer, within the landfill area, is unexplained

12 CFR 716.15 - Other exceptions to notice and opt out requirements.

Science.gov (United States)

2010-01-01

... insurance to the consumer. (2) A consumer may revoke consent by subsequently exercising the right to opt out... AFFECTING CREDIT UNIONS PRIVACY OF CONSUMER FINANCIAL INFORMATION Exceptions § 716.15 Other exceptions to... notice to consumers in § 716.4(a)(2), the opt out in §§ 716.7 and 716.10 and service providers and joint...

Technology and Media for Exceptional Learners: Looking Ahead

Science.gov (United States)

Lance, Wayne D.

1977-01-01

The author points out the need for greater application of technology in educational programs for exceptional children and suggests ways in which new developments (such as computer applications, video, sensory compensation devices, and communication satellite technology) can be used to implement some of the requirements of Public Law 94-142. (IM)

MEK/ERK and p38 MAPK regulate chondrogenesis of rat bone marrow mesenchymal stem cells through delicate interaction with TGF-beta1/Smads pathway.

Science.gov (United States)

Li, J; Zhao, Z; Liu, J; Huang, N; Long, D; Wang, J; Li, X; Liu, Y

2010-08-01

This study was carried out to reveal functions and mechanisms of MEK/ERK and p38 pathways in chondrogenesis of rat bone marrow mesenchymal stem cells (BMSCs), and to investigate further any interactions between the mitogen-activated protein kinase (MAPK) and transforming growth factor-beta1 (TGF-beta1)/Smads pathway in the process. Chondrogenic differentiation of rat BMSCs was initiated in micromass culture, in the presence of TGF-beta1, for 2 weeks. ERK1/2 and p38 kinase activities were investigated by Western Blot analysis. Specific MAPK inhibitors PD98059 and SB20350 were employed to investigate regulatory effects of MEK/ERK and p38 signals on gene expression of chondrocyte-specific markers, and TGF-beta1 downstream pathways of Smad2/3. ERK1/2 was phosphorylated in a rapid but transient manner, whereas p38 was activated in a slow and sustained way. The two MAPK subtypes played opposing roles in mediating transcription of cartilage-specific genes for Col2alpha and aggrecan. TGF-beta1-stimulated gene expression of chondrogenic regulators, Sox9, Runx2 and Ihh, was also affected by activity of PD98059 and SB203580, to different degrees. However, influences of MAPK inhibitors on gene expression were relatively minor when not treated with TGF-beta1. In addition, gene transcription of Smad2/3 was significantly upregulated by TGF-beta1, but was regulated more subtly by treatment with MAPK inhibitors. MAPK subtypes seemed to regulate chondrogenesis with a delicate balance, interacting with the TGF-beta1/Smads signalling pathway.

20 CFR 416.1603 - How to prove you are a resident of the United States.

Science.gov (United States)

2010-04-01

... 20 Employees' Benefits 2 2010-04-01 2010-04-01 false How to prove you are a resident of the United States. 416.1603 Section 416.1603 Employees' Benefits SOCIAL SECURITY ADMINISTRATION SUPPLEMENTAL... as— (1) Property, income, or other tax forms or receipts; (2) Utility bills, leases or rent payment...

Exceptional confinement in G(2) gauge theory

International Nuclear Information System (INIS)

Holland, K.; Minkowski, P.; Pepe, M.; Wiese, U.-J.

2003-01-01

We study theories with the exceptional gauge group G(2). The 14 adjoint 'gluons' of a G(2) gauge theory transform as {3}, {3-bar} and {8} under the subgroup SU(3), and hence have the color quantum numbers of ordinary quarks, anti-quarks and gluons in QCD. Since G(2) has a trivial center, a 'quark' in the {7} representation of G(2) can be screened by 'gluons'. As a result, in G(2) Yang-Mills theory the string between a pair of static 'quarks' can break. In G(2) QCD there is a hybrid consisting of one 'quark' and three 'gluons'. In supersymmetric G(2) Yang-Mills theory with a {14} Majorana 'gluino' the chiral symmetry is Z(4) χ . Chiral symmetry breaking gives rise to distinct confined phases separated by confined-confined domain walls. A scalar Higgs field in the {7} representation breaks G(2) to SU(3) and allows us to interpolate between theories with exceptional and ordinary confinement. We also present strong coupling lattice calculations that reveal basic features of G(2) confinement. Just as in QCD, where dynamical quarks break the Z(3) symmetry explicitly, G(2) gauge theories confine even without a center. However, there is not necessarily a deconfinement phase transition at finite temperature

The Dilemma of Democracy: Collusion and the State of Exception

Directory of Open Access Journals (Sweden)

Mark McGovern

2011-12-01

Full Text Available In what sense might the authoritarian practices and suspension of legal norms as means to combat the supposed threat of “terrorism,” within and by contemporary western democratic states, be understood as a problem of and not for democracy? That question lies at the heart of this article. It will be explored through the theoretical frame offered in the work of Giorgio Agamben on the state of exception and the example of British state collusion in non-state violence in the North of Ireland. The North of Ireland provides a particularly illuminating case study to explore how the state of exception—the suspension of law and of legal norms and the exercise of arbitrary decision—has increasingly become a paradigm of contemporary governance. In so doing it brings into question not only the traditional conceptualization of the “democratic dilemma” of liberal democratic states “confronting terrorism” but also challenge dominant paradigms of transitional justice that generally fail to problematize the liberal democratic order. After outlining Agamben’s understanding of the state of exception the article will chart the development of “exceptional measures” and the creation of a permanent state of emergency in the North, before critically exploring the role of collusion as an aspect of counter-insurgency during the recent conflict. The paper will argue that the normalization of exceptional measures, combined with the need to delimit the explicitness of constitutional provision for the same, provided a context for the emergence of collusion as a paradigm case for the increasing replication of colonial practices into the core activity of the contemporary democratic state.

Using aetnanova to formally prove that the Davis-Putnam satisfiability test is correct

Directory of Open Access Journals (Sweden)

Eugenio G. Omodeo

2008-05-01

Full Text Available This paper reports on using the ÆtnaNova/Referee proof-verification system to formalize issues regarding the satisfiability of CNF-formulae of propositional logic. We specify an “archetype” version of the Davis-Putnam-Logemann-Loveland algorithm through the THEORY of recursive functions based on a well-founded relation, and prove it to be correct.Within the same framework, and by resorting to the Zorn lemma, we develop a straightforward proof of the compactness theorem.

Brazil's Exception to the World-Class University Movement

Science.gov (United States)

Alperin, Juan Pablo

2013-01-01

The continued importance of university rankings has only served to fuel the growth of the "world-class" university movement. There is a growing impression that, in a globalised and interconnected world, no country can do without a world-class university. No country, that is, except Brazil. While Brazil has the resources necessary to…

Control of exceptional points in photonic crystal slabs

DEFF Research Database (Denmark)

Kaminski, Piotr Marek; Taghizadeh, Alireza; Breinbjerg, Olav

2017-01-01

Various ways of controlling the extent of the ring of exceptional points in photonic crystal slabs are investigated. The extent of the ring in photonic crystal slabs is found to vary with the thickness of the slab. This enables recovery of Dirac cones in open, non-Hermitian systems, such as a pho...

26 CFR 1.461-5 - Recurring item exception.

Science.gov (United States)

2010-04-01

... general. Except as otherwise provided in paragraph (c) of this section, a taxpayer using an accrual method... method of accounting for one or more types of recurring items incurred by the taxpayer. In the case of... basis in the future. (4) Materiality requirement. For purposes of this paragraph (b): (i) In determining...

46 CFR 111.103-1 - Power ventilation systems except machinery space ventilation systems.

Science.gov (United States)

2010-10-01

... 46 Shipping 4 2010-10-01 2010-10-01 false Power ventilation systems except machinery space ventilation systems. 111.103-1 Section 111.103-1 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY... Power ventilation systems except machinery space ventilation systems. Each power ventilation system must...

Pair of Exceptional Points in a Microdisk Cavity under an Extremely Weak Deformation

Science.gov (United States)

Yi, Chang-Hwan; Kullig, Julius; Wiersig, Jan

2018-03-01

One of the interesting features of open quantum and wave systems is the non-Hermitian degeneracy called an exceptional point, where not only energy levels but also the corresponding eigenstates coalesce. We demonstrate that such a degeneracy can appear in optical microdisk cavities by deforming the boundary extremely weakly. This surprising finding is explained by a semiclassical theory of dynamical tunneling. It is shown that the exceptional points come in nearly degenerated pairs, originating from the different symmetry classes of modes. A spatially local chirality of modes at the exceptional point is related to vortex structures of the Poynting vector.

Potential Cislunar and Interplanetary Proving Ground Excursion Trajectory Concepts

Science.gov (United States)

McGuire, Melissa L.; Strange, Nathan J.; Burke, Laura M.; MacDonald, Mark A.; McElrath, Timothy P.; Landau, Damon F.; Lantoine, Gregory; Hack, Kurt J.; Lopez, Pedro

2016-01-01

NASA has been investigating potential translunar excursion concepts to take place in the 2020s that would be used to test and demonstrate long duration life support and other systems needed for eventual Mars missions in the 2030s. These potential trajectory concepts could be conducted in the proving ground, a region of cislunar and near-Earth interplanetary space where international space agencies could cooperate to develop the technologies needed for interplanetary spaceflight. Enabled by high power Solar Electric Propulsion (SEP) technologies, the excursion trajectory concepts studied are grouped into three classes of increasing distance from the Earth and increasing technical difficulty: the first class of excursion trajectory concepts would represent a 90-120 day round trip trajectory with abort to Earth options throughout the entire length, the second class would be a 180-210 day round trip trajectory with periods in which aborts would not be available, and the third would be a 300-400 day round trip trajectory without aborts for most of the length of the trip. This paper provides a top-level summary of the trajectory and mission design of representative example missions of these three classes of excursion trajectory concepts.

Exceptional composite dark matter

Energy Technology Data Exchange (ETDEWEB)

Ballesteros, Guillermo [Universite Paris Saclay, CEA, CNRS, Institut de Physique Theorique, Gif-sur-Yvette (France); Carmona, Adrian [CERN, Theoretical Physics Department, Geneva (Switzerland); Chala, Mikael [Universitat de Valencia y IFIC, Universitat de Valencia-CSIC, Departament de Fisica Teorica, Burjassot, Valencia (Spain)

2017-07-15

We study the dark matter phenomenology of non-minimal composite Higgs models with SO(7) broken to the exceptional group G{sub 2}. In addition to the Higgs, three pseudo-Nambu-Goldstone bosons arise, one of which is electrically neutral. A parity symmetry is enough to ensure this resonance is stable. In fact, if the breaking of the Goldstone symmetry is driven by the fermion sector, this Z{sub 2} symmetry is automatically unbroken in the electroweak phase. In this case, the relic density, as well as the expected indirect, direct and collider signals are then uniquely determined by the value of the compositeness scale, f. Current experimental bounds allow one to account for a large fraction of the dark matter of the Universe if the dark matter particle is part of an electroweak triplet. The totality of the relic abundance can be accommodated if instead this particle is a composite singlet. In both cases, the scale f and the dark matter mass are of the order of a few TeV. (orig.)

Consistent Kaluza-Klein truncations via exceptional field theory

Energy Technology Data Exchange (ETDEWEB)

Hohm, Olaf [Center for Theoretical Physics, Massachusetts Institute of Technology,Cambridge, MA 02139 (United States); Samtleben, Henning [Université de Lyon, Laboratoire de Physique, UMR 5672, CNRS,École Normale Supérieure de Lyon, 46, allée d’Italie, F-69364 Lyon cedex 07 (France)

2015-01-26

We present the generalized Scherk-Schwarz reduction ansatz for the full supersymmetric exceptional field theory in terms of group valued twist matrices subject to consistency equations. With this ansatz the field equations precisely reduce to those of lower-dimensional gauged supergravity parametrized by an embedding tensor. We explicitly construct a family of twist matrices as solutions of the consistency equations. They induce gauged supergravities with gauge groups SO(p,q) and CSO(p,q,r). Geometrically, they describe compactifications on internal spaces given by spheres and (warped) hyperboloides H{sup p,q}, thus extending the applicability of generalized Scherk-Schwarz reductions beyond homogeneous spaces. Together with the dictionary that relates exceptional field theory to D=11 and IIB supergravity, respectively, the construction defines an entire new family of consistent truncations of the original theories. These include not only compactifications on spheres of different dimensions (such as AdS{sub 5}×S{sup 5}), but also various hyperboloid compactifications giving rise to a higher-dimensional embedding of supergravities with non-compact and non-semisimple gauge groups.

Looking for exceptions on knowledge rules induced from HIV cleavage data set

Directory of Open Access Journals (Sweden)

Ronaldo Cristiano Prati

2004-01-01

Full Text Available The aim of data mining is to find useful knowledge inout of databases. In order to extract such knowledge, several methods can be used, among them machine learning (ML algorithms. In this work we focus on ML algorithms that express the extracted knowledge in a symbolic form, such as rules. This representation may allow us to ''explain'' the data. Rule learning algorithms are mainly designed to induce classification rules that can predict new cases with high accuracy. However, these sorts of rules generally express common sense knowledge, resulting in many interesting and useful rules not being discovered. Furthermore, the domain independent biases, especially those related to the language used to express the induced knowledge, could induce rules that are difficult to understand. Exceptions might be used in order to overcome these drawbacks. Exceptions are defined as rules that contradict common believebeliefs. This kind of rules can play an important role in the process of understanding the underlying data as well as in making critical decisions. By contradicting the user's common beliefves, exceptions are bound to be interesting. This work proposes a method to find exceptions. In order to illustrate the potential of our approach, we apply the method in a real world data set to discover rules and exceptions in the HIV virus protein cleavage process. A good understanding of the process that generates this data plays an important role oin the research of cleavage inhibitors. We consider believe that the proposed approach may help the domain expert to further understand this process.

22 CFR 210.515 - Are there any provisions for exceptions to those actions?

Science.gov (United States)

2010-04-01

... 22 Foreign Relations 1 2010-04-01 2010-04-01 false Are there any provisions for exceptions to those actions? 210.515 Section 210.515 Foreign Relations AGENCY FOR INTERNATIONAL DEVELOPMENT... or designee determines that such a waiver would be in the public interest. This exception authority...

Investigating the Factors of Resiliency among Exceptional Youth Living in Rural Underserved Communities

Science.gov (United States)

Curtin, Kevin A.; Schweitzer, Ashley; Tuxbury, Kristen; D'Aoust, Janelle A.

2016-01-01

Resilience is an important social justice concept that has important implications for educators working with exceptional youth in rural underserved communities who may suffer from the consequences associated with economic hardships. This multi-school qualitative study examined resilience among exceptional youth living in rural poverty through the…

Fractal geometry as a new approach for proving nanosimilarity: a reflection note.

Science.gov (United States)

Demetzos, Costas; Pippa, Natassa

2015-04-10

Nanosimilars are considered as new medicinal outcomes combining the generic drugs and the nanocarrier as an innovative excipient, in order to evaluate them as final products. They belong to the grey area - concerning the evaluation process - between generic drugs and biosimilar medicinal products. Generic drugs are well documented and a huge number of them are in market, replacing effectively the off-patent drugs. The scientific approach for releasing them to the market is based on bioequivalence studies, which are well documented and accepted by the regulatory agencies. On the other hand, the structural complexity of biological/biotechnology-derived products demands a new approach for the approval process taking into consideration that bioequivalence studies are not considered as sufficient as in generic drugs, and new clinical trials are needed to support their approval process of the product to the market. In proportion, due to technological complexity of nanomedicines, the approaches for proving the statistical identity or the similarity for generic and biosimilar products, respectively, with those of prototypes, are not considered as effective for nanosimilar products. The aim of this note is to propose a complementary approach which can provide realistic evidences concerning the nanosimilarity, based on fractal analysis. This approach is well fit with the structural complexity of nanomedicines and smooths the difficulties for proving the similarity between off-patent and nanosimilar products. Fractal analysis could be considered as the approach that completely characterizes the physicochemical/morphological characteristics of nanosimilar products and could be proposed as a start point for a deep discussion on nanosimilarity. Copyright © 2015 Elsevier B.V. All rights reserved.

Real-time exception handling—Use cases and response requirements

International Nuclear Information System (INIS)

Raupp, G.; Mertens, V.; Neu, G.; Treutterer, W.; Zasche, D.; Zehetbauer, Th.

2012-01-01

Adequate real-time event detection and exception handling for machine protection and plasma optimization are important for safe and efficient operation of fusion devices. Within the scope of a layered protection hierarchy, the exception handling goals of the real-time control system are to optimize control performance, switch to alternate investigations, terminate the discharge in a controlled way, or alarm the interlock system when control is lost. Analysis of these goals shows that they can be implemented with two methods: the modification of the reference values to respond to degradation of sensors, actuators or controllers, and the replacement of schedules to perform other investigations, which includes controlled termination and interlock alarm cases. In support of these methods the sensor and evaluated data quality and the time-varying actuator characteristics and capacity must be communicated to users of those information to avoid failure propagation.

Minimal unitary realizations of exceptional U-duality groups and their subgroups as quasiconformal groups

International Nuclear Information System (INIS)

Gunaydin, Murat; Pavlyk, Oleksandr

2005-01-01

We study the minimal unitary representations of noncompact exceptional groups that arise as U-duality groups in extended supergravity theories. First we give the unitary realizations of the exceptional group E 8(-24) in SU*(8) as well as SU(6,2) covariant bases. E 8(-24) has E 7 x SU(2) as its maximal compact subgroup and is the U-duality group of the exceptional supergravity theory in d=3. For the corresponding U-duality group E 8(8) of the maximal supergravity theory the minimal realization was given. The minimal unitary realizations of all the lower rank noncompact exceptional groups can be obtained by truncation of those of E 8(-24) and E 8(8) . By further truncation one can obtain the minimal unitary realizations of all the groups of the 'Magic Triangle'. We give explicitly the minimal unitary realizations of the exceptional subgroups of E 8(-24) as well as other physically interesting subgroups. These minimal unitary realizations correspond, in general, to the quantization of their geometric actions as quasi-conformal groups. (author)

The Acceptance of Exceptionality: A Three Dimensional Model.

Science.gov (United States)

Martin, Larry L.; Nivens, Maryruth K.

A model extrapolates from E. Kubler-Ross' conception of the stages of grief to apply to parent and family reactions when an exceptionality is identified. A chart lists possible parent feelings and reactions, possible school reactions to the parent in grief, and the child's reactions during each of five stages: denial, rage and anger, bargaining,…

26 CFR 1.1245-4 - Exceptions and limitations.

Science.gov (United States)

2010-04-01

... of the property in the hands of the son is $110,000. (b) Exception for transfers at death—(1) General... property which, upon Smith's death, is inherited by his son. Since the property is described in section..., and after B's death to distribute the property to C. If the basis of the property to the fiduciary and...

Seismic proving test of ultimate piping strength (current status of preliminary tests)

International Nuclear Information System (INIS)

Suzuki, K.; Namita, Y.; Abe, H.; Ichihashi, I.; Suzuki, K.; Ishiwata, M.; Fujiwaka, T.; Yokota, H.

2001-01-01

In 1998 Fiscal Year, the 6 year program of piping tests was initiated with the following objectives: i) to clarify the elasto-plastic response and ultimate strength of nuclear piping, ii) to ascertain the seismic safety margin of the current seismic design code for piping, and iii) to assess new allowable stress rules. In order to resolve extensive technical issues before proceeding on to the seismic proving test of a large-scale piping system, a series of preliminary tests of materials, piping components and simplified piping systems is intended. In this paper, the current status of the material tests and the piping component tests is reported. (author)

Non-Trade Concerns in Interpreting General Exception Clauses of ...

African Journals Online (AJOL)

eliasn

Primarily, the objective of the measure must fall within the scope of any of the ... Balancing the Toothless Tiger and the Undermining Mole”, Journal of ..... listed in the exception clauses, there is a significant risk for abuse if they are left.

An exceptional collision tumor: gastric calcified stromal tumor and ...

African Journals Online (AJOL)

The authors report an exceptional case of collision tumor comprised of a gastric calcified stromal tumor and a pancreatic adenocarcinoma. The pancreatic tumor was detected fortuitously on the histological exam of resection specimen. Key words: Collision tumor, stromal tumor, adenocarcinoma ...

Fingerprints of exceptional points in the survival probability of resonances in atomic spectra

International Nuclear Information System (INIS)

Cartarius, Holger; Moiseyev, Nimrod

2011-01-01

The unique time signature of the survival probability exactly at the exceptional point parameters is studied here for the hydrogen atom in strong static magnetic and electric fields. We show that indeed the survival probability S(t)=| | 2 decays exactly as |1-at| 2 e -Γ EP t/(ℎ/2π) , where Γ EP is associated with the decay rate at the exceptional point and a is a complex constant depending solely on the initial wave packet that populates exclusively the two almost degenerate states of the non-Hermitian Hamiltonian. This may open the possibility for a first experimental detection of exceptional points in a quantum system.

Fingerprints of exceptional points in the survival probability of resonances in atomic spectra

Science.gov (United States)

Cartarius, Holger; Moiseyev, Nimrod

2011-07-01

The unique time signature of the survival probability exactly at the exceptional point parameters is studied here for the hydrogen atom in strong static magnetic and electric fields. We show that indeed the survival probability S(t)=||2 decays exactly as |1-at|2e-ΓEPt/ℏ, where ΓEP is associated with the decay rate at the exceptional point and a is a complex constant depending solely on the initial wave packet that populates exclusively the two almost degenerate states of the non-Hermitian Hamiltonian. This may open the possibility for a first experimental detection of exceptional points in a quantum system.

An Exceptional Adenocarcinoma in a Girl

Directory of Open Access Journals (Sweden)

Bangaly Traore

2018-01-01

Full Text Available Anal adenocarcinoma is very rare and usually occurs in the elderly. We present a case of a 12-year-old girl with an anal margin painful tumor infiltrating the lower rectum, with perineal and vulvar permeation nodules and bilateral fixed inguinal and iliac lymph nodes. Histology showed anal adenocarcinoma with mucosecreting component and independent cells. She had no extra pelvic metastasis on CT scan. She underwent a colostomy and palliative care. This exceptional case challenges us on the diversity of forms of anal cancers that require a multidisciplinary approach. The precarious social context and the age of onset make it difficult to manage this rare cancer.

Exceptional Drought and Unconventional Energy Production

Directory of Open Access Journals (Sweden)

Reid B. Stevens

2018-04-01

Full Text Available The hydraulic fracturing boom in Texas required massive water flows. Beginning in the summer of 2011, water became scarce as a prolonged heat wave and subsequent severe drought spread across the state. Oil and gas producers working in drought areas needed to purchase expensive local water or transport water from a non-drought county far from the drill site. In response to decreased water availability in drought areas, these producers completed fewer wells and completed wells that used less water. This decrease in well-level water use had a measurable effect on the amount of oil and gas produced by wells completed during exceptional conditions.

The physics of exceptional points

International Nuclear Information System (INIS)

Heiss, W D

2012-01-01

A short résumé is given about the nature of exceptional points (EPs) followed by discussions about their ubiquitous occurrence in a great variety of physical problems. EPs feature in classical as well as in quantum mechanical problems. They are associated with symmetry breaking for PT-symmetric Hamiltonians, where a great number of experiments has been performed, in particular in optics, and to an increasing extent in atomic and molecular physics. EPs are involved in quantum phase transition and quantum chaos; they produce dramatic effects in multichannel scattering, specific time dependence and more. In nuclear physics, they are associated with instabilities and continuum problems. Being spectral singularities they also affect approximation schemes. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to ‘Quantum physics with non-Hermitian operators’. (paper)

Wind tunnel experiments to prove a hydraulic passive torque control concept for variable speed wind turbines

NARCIS (Netherlands)

Diepeveen, N.F.B.; Jarquin-Laguna, A.

2014-01-01

In this paper the results are presented of experiments to prove an innovative concept for passive torque control of variable speed wind turbines using fluid power technology. It is demonstrated that by correctly configuring the hydraulic drive train, the wind turbine rotor operates at or near

9 CFR 85.6 - Interstate movement of pseudorabies vaccinate swine, except swine from qualified negative gene...

Science.gov (United States)

2010-01-01

... vaccinate swine, except swine from qualified negative gene-altered vaccinated herds, not known to be..., except swine from qualified negative gene-altered vaccinated herds, not known to be infected with or exposed to pseudorabies. Pseudorabies vaccinate swine, except swine from qualified negative gene-altered...

20 CFR 1002.33 - Does the employee have to prove that the employer discriminated against him or her in order to be...

Science.gov (United States)

2010-04-01

... employer discriminated against him or her in order to be eligible for reemployment? 1002.33 Section 1002.33... have to prove that the employer discriminated against him or her in order to be eligible for reemployment? No. The employee is not required to prove that the employer discriminated against him or her...

38 CFR 4.86 - Exceptional patterns of hearing impairment.

Science.gov (United States)

2010-07-01

... hearing impairment. 4.86 Section 4.86 Pensions, Bonuses, and Veterans' Relief DEPARTMENT OF VETERANS AFFAIRS SCHEDULE FOR RATING DISABILITIES Disability Ratings Impairment of Auditory Acuity § 4.86 Exceptional patterns of hearing impairment. (a) When the puretone threshold at each of the four specified...

Avian Influenza Virus Infection of Immortalized Human Respiratory Epithelial Cells Depends upon a Delicate Balance between Hemagglutinin Acid Stability and Endosomal pH.

Science.gov (United States)

Daidoji, Tomo; Watanabe, Yohei; Ibrahim, Madiha S; Yasugi, Mayo; Maruyama, Hisataka; Masuda, Taisuke; Arai, Fumihito; Ohba, Tomoyuki; Honda, Ayae; Ikuta, Kazuyoshi; Nakaya, Takaaki

2015-04-24

The highly pathogenic avian influenza (AI) virus, H5N1, is a serious threat to public health worldwide. Both the currently circulating H5N1 and previously circulating AI viruses recognize avian-type receptors; however, only the H5N1 is highly infectious and virulent in humans. The mechanism(s) underlying this difference in infectivity remains unclear. The aim of this study was to clarify the mechanisms responsible for the difference in infectivity between the current and previously circulating strains. Primary human small airway epithelial cells (SAECs) were transformed with the SV40 large T-antigen to establish a series of clones (SAEC-Ts). These clones were then used to test the infectivity of AI strains. Human SAEC-Ts could be broadly categorized into two different types based on their susceptibility (high or low) to the viruses. SAEC-T clones were poorly susceptible to previously circulating AI but were completely susceptible to the currently circulating H5N1. The hemagglutinin (HA) of the current H5N1 virus showed greater membrane fusion activity at higher pH levels than that of previous AI viruses, resulting in broader cell tropism. Moreover, the endosomal pH was lower in high susceptibility SAEC-T clones than that in low susceptibility SAEC-T clones. Taken together, the results of this study suggest that the infectivity of AI viruses, including H5N1, depends upon a delicate balance between the acid sensitivity of the viral HA and the pH within the endosomes of the target cell. Thus, one of the mechanisms underlying H5N1 pathogenesis in humans relies on its ability to fuse efficiently with the endosomes in human airway epithelial cells. © 2015 by The American Society for Biochemistry and Molecular Biology, Inc.

Exceptional points and quantum correlations in precise measurements

International Nuclear Information System (INIS)

Thilagam, A

2012-01-01

We examine the physical manifestations of exceptional points and passage times in a two-level system which is subjected to quantum measurements and which admits a non-Hermitian description. Using an effective Hamiltonian acting in the two-dimensional space spanned by the evolving initial and final states, the effects of highly precise quantum measurements in which the monitoring device interferes significantly with the evolution dynamics of the monitored two-level system is analyzed. The dynamics of a multipartite system consisting of the two-level system, a source of external potential and the measurement device is examined using correlation measures such as entanglement and non-classical quantum correlations. Results show that the quantum correlations between the monitored (monitoring) systems is considerably decreased (increased) as the measurement precision nears the exceptional point, at which the passage time is half of the measurement duration. The results indicate that the underlying mechanism by which the non-classical correlations of quantum systems are transferred from one subsystem to another may be better revealed via use of geometric approaches. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to ‘Quantum physics with non-Hermitian operators’. (paper)

Exceptional Ground Accelerations and Velocities Caused by Earthquakes

Energy Technology Data Exchange (ETDEWEB)

Anderson, John

2008-01-17

This project aims to understand the characteristics of the free-field strong-motion records that have yielded the 100 largest peak accelerations and the 100 largest peak velocities recorded to date. The peak is defined as the maximum magnitude of the acceleration or velocity vector during the strong shaking. This compilation includes 35 records with peak acceleration greater than gravity, and 41 records with peak velocities greater than 100 cm/s. The results represent an estimated 150,000 instrument-years of strong-motion recordings. The mean horizontal acceleration or velocity, as used for the NGA ground motion models, is typically 0.76 times the magnitude of this vector peak. Accelerations in the top 100 come from earthquakes as small as magnitude 5, while velocities in the top 100 all come from earthquakes with magnitude 6 or larger. Records are dominated by crustal earthquakes with thrust, oblique-thrust, or strike-slip mechanisms. Normal faulting mechanisms in crustal earthquakes constitute under 5% of the records in the databases searched, and an even smaller percentage of the exceptional records. All NEHRP site categories have contributed exceptional records, in proportions similar to the extent that they are represented in the larger database.

Algebraic equations for the exceptional eigenspectrum of the generalized Rabi model

International Nuclear Information System (INIS)

Li, Zi-Min; Batchelor, Murray T

2015-01-01

We obtain the exceptional part of the eigenspectrum of the generalized Rabi model, also known as the driven Rabi model, in terms of the roots of a set of algebraic equations. This approach provides a product form for the wavefunction components and allows an explicit connection with recent results obtained for the wavefunction in terms of truncated confluent Heun functions. Other approaches are also compared. For particular parameter values the exceptional part of the eigenspectrum consists of doubly degenerate crossing points. We give a proof for the number of roots of the constraint polynomials and discuss the number of crossing points. (paper)

Generalized Fano lineshapes reveal exceptional points in photonic molecules

NARCIS (Netherlands)

Caselli, N.; Intonti, F.; La China, Federico; Biccari, F.; Riboli, F.; Gerardino, A.; Li, L.; Linfield, E.H.; Pagliano, F.; Fiore, A.; Gurioli, M.

2018-01-01

The optical behavior of coupled systems, in which the breaking of parity and time-reversal symmetry occurs, is drawing increasing attention to address the physics of the exceptional point singularity, i.e., when the real and imaginary parts of the normal-mode eigenfrequencies coincide. At this

Exceptional Lie groups, E-infinity theory and Higgs Boson

International Nuclear Information System (INIS)

El-Okaby, Ayman A.

2008-01-01

In this paper we study the correlation between El-Naschie's exceptional Lie groups hierarchies and his transfinite E-infinity space-time theory. Subsequently this correlation is used to calculate the number of elementary particles in the standard model, mass of the Higgs Bosons and some coupling constants

31 CFR 206.5 - Collection and deposit procedure exceptions.

Science.gov (United States)

2010-07-01

... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Collection and deposit procedure exceptions. 206.5 Section 206.5 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY FINANCIAL MANAGEMENT SERVICE MANAGEMENT OF FEDERAL...

Learn, see, practice, prove, do, maintain: an evidence-based pedagogical framework for procedural skill training in medicine.

Science.gov (United States)

Sawyer, Taylor; White, Marjorie; Zaveri, Pavan; Chang, Todd; Ades, Anne; French, Heather; Anderson, JoDee; Auerbach, Marc; Johnston, Lindsay; Kessler, David

2015-08-01

Acquisition of competency in procedural skills is a fundamental goal of medical training. In this Perspective, the authors propose an evidence-based pedagogical framework for procedural skill training. The framework was developed based on a review of the literature using a critical synthesis approach and builds on earlier models of procedural skill training in medicine. The authors begin by describing the fundamentals of procedural skill development. Then, a six-step pedagogical framework for procedural skills training is presented: Learn, See, Practice, Prove, Do, and Maintain. In this framework, procedural skill training begins with the learner acquiring requisite cognitive knowledge through didactic education (Learn) and observation of the procedure (See). The learner then progresses to the stage of psychomotor skill acquisition and is allowed to deliberately practice the procedure on a simulator (Practice). Simulation-based mastery learning is employed to allow the trainee to prove competency prior to performing the procedure on a patient (Prove). Once competency is demonstrated on a simulator, the trainee is allowed to perform the procedure on patients with direct supervision, until he or she can be entrusted to perform the procedure independently (Do). Maintenance of the skill is ensured through continued clinical practice, supplemented by simulation-based training as needed (Maintain). Evidence in support of each component of the framework is presented. Implementation of the proposed framework presents a paradigm shift in procedural skill training. However, the authors believe that adoption of the framework will improve procedural skill training and patient safety.

Seismic proving tests on the reliability for large components and equipment of nuclear power plants

International Nuclear Information System (INIS)

Ohno, Tokue; Tanaka, Nagatoshi

1988-01-01

Since Japan has destructive earthquakes frequently, the structural reliability for large components and equipment of nuclear power plants are rigorously required. They are designed using sophisticated seismic analyses and have not yet encountered a destructive earthquake. When nuclear power plants are planned, it is very important that the general public understand the structural reliability during and after an earthquake. Seismic Proving Tests have been planned by Ministry of International Trade and Industry (Miti) to comply with public requirement in Japan. A large-scale high-performance vibration table was constructed at Tasted Engineering Laboratory of Nuclear Power Engineering Test Center (NU PEC), in order to prove the structural reliability by vibrating the test model (of full scale or close to the actual size) in the condition of a destructive earthquake. As for the test models, the following four items were selected out of large components and equipment important to the safety: Reactor Containment Vessel; Primary Coolant Loop or Primary Loop Recirculation System; Reactor Pressure Vessel; and Reactor Core Internals. Here is described a brief of the vibration table, the test method and the results of the tests on PWR Reactor Containment Vessel and BWR Primary Loop Recirculation System (author)

49 CFR 173.12 - Exceptions for shipment of waste materials.

Science.gov (United States)

2010-10-01

... blocked and braced in such a manner that they are separated from incompatible materials by a minimum... pallet with shrink-wrap or stretch-wrap except that labels representative of each Hazard Class or...

Computer Use and Behavior Problems in Twice-Exceptional Students

Science.gov (United States)

Alloway, Tracy Packiam; Elsworth, Miquela; Miley, Neal; Seckinger, Sean

2016-01-01

This pilot study investigated how engagement with computer games and TV exposure may affect behaviors of gifted students. We also compared behavioral and cognitive profiles of twice-exceptional students and children with Attention Deficit/Hyperactivity Disorder (ADHD). Gifted students were divided into those with behavioral problems and those…

40 CFR 82.66 - Nonessential Class I products and exceptions.

Science.gov (United States)

2010-07-01

... cleaning fluids used for aircraft maintenance, which contain CFC-11 or CFC-113 as a solvent, but which... liquid packaging, solvent wipes, solvent sprays, and gas sprays; and (2) Except for those sold or...

Scandinavian exceptionalism in anti-doping within sport

DEFF Research Database (Denmark)

Tangen, Jan Ove; Møller, Verner

2017-01-01

Why are Scandinavian countries so committed to the cause of antidoping? In this paper, we propose that the Scandinavian mentality, formed by paternalistic welfare models, is a useful framework for understanding anti-doping. We focus on anti-doping policy and work in Norway and Denmark. We start w......: the Norwegian self-image and its impact on politics, and Danish amateurism and corrupt idealism. We conclude that Nordic antidoping is pursued with rigour and determination, and suggest this is rooted in the Nordic countries’ exceptional social-welfare ideology and strong paternalism....

Generalized IIB supergravity from exceptional field theory

Energy Technology Data Exchange (ETDEWEB)

Baguet, Arnaud; Magro, Marc; Samtleben, Henning [Laboratoire de Physique, Université Claude Bernard Lyon 1, Ens de Lyon, CNRS,F-69342 Lyon (France)

2017-03-20

The background underlying the η-deformed AdS{sub 5}×S{sup 5} sigma-model is known to satisfy a generalization of the IIB supergravity equations. Their solutions are related by T-duality to solutions of type IIA supergravity with non-isometric linear dilaton. We show how the generalized IIB supergravity equations can be naturally obtained from exceptional field theory. Within this manifestly duality covariant formulation of maximal supergravity, the generalized IIB supergravity equations emerge upon imposing on the fields a simple Scherk-Schwarz ansatz which respects the section constraint.

Waveguides with Absorbing Boundaries: Nonlinearity Controlled by an Exceptional Point and Solitons

Science.gov (United States)

Midya, Bikashkali; Konotop, Vladimir V.

2017-07-01

We reveal the existence of continuous families of guided single-mode solitons in planar waveguides with weakly nonlinear active core and absorbing boundaries. Stable propagation of TE and TM-polarized solitons is accompanied by attenuation of all other modes, i.e., the waveguide features properties of conservative and dissipative systems. If the linear spectrum of the waveguide possesses exceptional points, which occurs in the case of TM polarization, an originally focusing (defocusing) material nonlinearity may become effectively defocusing (focusing). This occurs due to the geometric phase of the carried eigenmode when the surface impedance encircles the exceptional point. In its turn, the change of the effective nonlinearity ensures the existence of dark (bright) solitons in spite of focusing (defocusing) Kerr nonlinearity of the core. The existence of an exceptional point can also result in anomalous enhancement of the effective nonlinearity. In terms of practical applications, the nonlinearity of the reported waveguide can be manipulated by controlling the properties of the absorbing cladding.

26 CFR 301.7701(b)-2 - Closer connection exception.

Science.gov (United States)

2010-04-01

...) Duration and nature of tax home. The tax home maintained by the alien individual must be in existence for... exception. (a) In general. An alien individual who meets the substantial presence test may nevertheless be considered a nonresident alien for the current year if the following conditions are satisfied— (1) The...

SUBSTANTIAL EXCEPTIONS AND (DELIMITATIONS OF THE POWERS OF THE JUDGES ON CIVIL PROCEDURAL LAW

Directory of Open Access Journals (Sweden)

Igor Raatz

2017-08-01

Full Text Available This essay aims to unveil the role of the substantial exceptions on delimiting the powers of the judges on civil procedural law, especially regarding the ex officio judicial activity. This way, under a phenomenological method and based on a vision of guarantee of rights on procedural law, the article offers a brief explanation of the question concerning the content of the object under litigation and its role of (delimiting the powers of the judges. The work hypothesis is the addition of the substantial exceptions among the content of the object under litigation, along with the claim itself and the cause of action. The results lie on the premise that, by the substantial exceptions, the defendant extends the object under litigation – which is formed dynamically on civil procedure. The conclusion points towards the idea that the substantial exceptions act in a way of limiting the ex officio judicial activity on civil procedural law

Quantum models with energy-dependent potentials solvable in terms of exceptional orthogonal polynomials

International Nuclear Information System (INIS)

Schulze-Halberg, Axel; Roy, Pinaki

2017-01-01

We construct energy-dependent potentials for which the Schrödinger equations admit solutions in terms of exceptional orthogonal polynomials. Our method of construction is based on certain point transformations, applied to the equations of exceptional Hermite, Jacobi and Laguerre polynomials. We present several examples of boundary-value problems with energy-dependent potentials that admit a discrete spectrum and the corresponding normalizable solutions in closed form.

Quantum models with energy-dependent potentials solvable in terms of exceptional orthogonal polynomials

Energy Technology Data Exchange (ETDEWEB)

Schulze-Halberg, Axel, E-mail: axgeschu@iun.edu [Department of Mathematics and Actuarial Science, Indiana University Northwest, 3400 Broadway, Gary IN 46408 (United States); Department of Physics, Indiana University Northwest, 3400 Broadway, Gary IN 46408 (United States); Roy, Pinaki, E-mail: pinaki@isical.ac.in [Physics and Applied Mathematics Unit, Indian Statistical Institute, Kolkata 700108 (India)

2017-03-15

We construct energy-dependent potentials for which the Schrödinger equations admit solutions in terms of exceptional orthogonal polynomials. Our method of construction is based on certain point transformations, applied to the equations of exceptional Hermite, Jacobi and Laguerre polynomials. We present several examples of boundary-value problems with energy-dependent potentials that admit a discrete spectrum and the corresponding normalizable solutions in closed form.

How cytogenetical methods help victims prove radiation exposure and claim right for social support: NCERM experience

International Nuclear Information System (INIS)

Aleksanin, S.; Slozina, N.; Neronova, E.; Smoliakov, E.

2011-01-01

Russian citizens who were irradiated because of radiation disasters, nuclear weapons testing and some other sources have a right to some social support and financial compensation. In order to get this compensation people have to prove that they were irradiated. As it is, not all victims for a variety of reasons have formal documents. Thus they apply for cytogenetic investigation to prove irradiation months, years and even decades after irradiation. Since 1992 the cytogenetic investigations related to radiation exposure were performed in NRCERM for more than 700 people. At the beginning of this investigation FISH method was not certified as a biodosimenty test in Russia. Only dicentric analysis was approved as a proof of irradiation. It is known that the rate of dicentrics decrease in time, but the residual level of cytogenetical markers could be revealed a long time after a radiation accident. Thus the dicentric analysis was performed for the people who applied for biological indication of radiation exposure at that time. Rates of dicentrics exceeding control levels were revealed in half the people who applied for radiation conformation. Now FISH method is certified in Russia and both cytogenetic tests of biodosimetry (dicentrics and FISH) are available for all comers. Increased levels of translocations were found in 8 cases (the dose rate from 0.16 to 0.64 Gy). On the basis of the results of cytogenetic tests official documents were supplied to these people and they were entitled to apply for radiation exposure compensation. Thus cytogenetic tests are very effective and in some cases the only possible way for the victims to prove irradiation exposure and to apply for radiation exposure compensation a long time after an accident.

How cytogenetical methods help victims prove radiation exposure and claim right for social support: NCERM experience

Energy Technology Data Exchange (ETDEWEB)

Aleksanin, S., E-mail: Aleksanin@arcerm.spb.ru [Nikiforov Russian Center of Emergency and Radiation Medicine EMERCOM of Russia, (NRCERM) ul. Akademika Lebedeva 4/2, 194044 St. Petersburg (Russian Federation); Slozina, N., E-mail: NataliaSlozina@peterlink.ru [Nikiforov Russian Center of Emergency and Radiation Medicine EMERCOM of Russia, (NRCERM) ul. Akademika Lebedeva 4/2, 194044 St. Petersburg (Russian Federation); Neronova, E.; Smoliakov, E. [Nikiforov Russian Center of Emergency and Radiation Medicine EMERCOM of Russia, (NRCERM) ul. Akademika Lebedeva 4/2, 194044 St. Petersburg (Russian Federation)

2011-09-15

Russian citizens who were irradiated because of radiation disasters, nuclear weapons testing and some other sources have a right to some social support and financial compensation. In order to get this compensation people have to prove that they were irradiated. As it is, not all victims for a variety of reasons have formal documents. Thus they apply for cytogenetic investigation to prove irradiation months, years and even decades after irradiation. Since 1992 the cytogenetic investigations related to radiation exposure were performed in NRCERM for more than 700 people. At the beginning of this investigation FISH method was not certified as a biodosimenty test in Russia. Only dicentric analysis was approved as a proof of irradiation. It is known that the rate of dicentrics decrease in time, but the residual level of cytogenetical markers could be revealed a long time after a radiation accident. Thus the dicentric analysis was performed for the people who applied for biological indication of radiation exposure at that time. Rates of dicentrics exceeding control levels were revealed in half the people who applied for radiation conformation. Now FISH method is certified in Russia and both cytogenetic tests of biodosimetry (dicentrics and FISH) are available for all comers. Increased levels of translocations were found in 8 cases (the dose rate from 0.16 to 0.64 Gy). On the basis of the results of cytogenetic tests official documents were supplied to these people and they were entitled to apply for radiation exposure compensation. Thus cytogenetic tests are very effective and in some cases the only possible way for the victims to prove irradiation exposure and to apply for radiation exposure compensation a long time after an accident.

Depleted uranium risk assessment for Jefferson Proving Ground using data from environmental monitoring and site characterization. Final report

International Nuclear Information System (INIS)

Ebinger, M.H.; Hansen, W.R.

1996-10-01

This report documents the third risk assessment completed for the depleted uranium (DU) munitions testing range at Jefferson Proving Ground (JPG), Indiana, for the U.S. Army Test and Evaluation command. Jefferson Proving Ground was closed in 1995 under the Base Realignment and Closure Act and the testing mission was moved to Yuma Proving Ground. As part of the closure of JPG, assessments of potential adverse health effects to humans and the ecosystem were conducted. This report integrates recent information obtained from site characterization surveys at JPG with environmental monitoring data collected from 1983 through 1994 during DU testing. Three exposure scenarios were evaluated for potential adverse effects to human health: an occasional use scenario and two farming scenarios. Human exposure was minimal from occasional use, but significant risk were predicted from the farming scenarios when contaminated groundwater was used by site occupants. The human health risk assessments do not consider the significant risk posed by accidents with unexploded ordnance. Exposures of white-tailed deer to DU were also estimated in this study, and exposure rates result in no significant increase in either toxicological or radiological risks. The results of this study indicate that remediation of the DU impact area would not substantially reduce already low risks to humans and the ecosystem, and that managed access to JPG is a reasonable model for future land use options

27 CFR 28.295 - Exception for export of beer.

Science.gov (United States)

2010-04-01

... beer. 28.295 Section 28.295 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE... Alternate Procedures § 28.295 Exception for export of beer. The provisions of this subpart do not apply in the case of beer when the exporter or claimant obtains proof of exportation other than certification...

26 CFR 31.3221-4 - Exception from supplemental tax.

Science.gov (United States)

2010-04-01

... 26 Internal Revenue 15 2010-04-01 2010-04-01 false Exception from supplemental tax. 31.3221-4...) EMPLOYMENT TAXES AND COLLECTION OF INCOME TAX AT SOURCE EMPLOYMENT TAXES AND COLLECTION OF INCOME TAX AT SOURCE Railroad Retirement Tax Act (Chapter 22, Internal Revenue Code of 1954) Tax on Employers § 31.3221...

Exceptional longevity and exceptionally high metabolic rates in anthropoid primates are linked to a major modification of the ubiquinone reduction site of cytochrome b.

Science.gov (United States)

Rottenberg, Hagai

2014-10-01

The maximal lifespan of Anthropoid primates (monkeys, apes and humans) exceed the lifespan of most other mammals of equal body mass. Unexpectedly, their exceptional longevity is associated with exceptionally high metabolic rates, in apparent contradiction to the Free Radical Theory of Aging. It was therefore suggested that in anthropoid primates (and several other taxa of mammals and birds) the mitochondrial electron transport complexes evolved to modify the relationship between basal electron transport and superoxide generation to allow for the evolution of exceptional longevity. Cytochrome b, the core protein of the bc1 complex is a major source of superoxide. The amino-acid sequence of cytochrome b evolved much faster in anthropoid than in prosimian primates, and most other mammals, resulting in a large change in the amino-acids composition of the protein. As a result of these changes cytochrome b in anthropoid primates is significantly less hydrophobic and contains more polar residues than other primates and most other mammals. Most of these changes are clustered around the reduction site of uboiquinone. In particular a key positively charged residue, arginine 313, that interacts with propionate D of heme bH, and thus raises its redox potential, is substituted in anthropoid primates with the neutral residue glutamine, most likely resulting in a lower redox potential of heme bH and faster reduction of ubiquinone at high proton motive force. It is suggested that these changes contribute to the observed increased rates of basal metabolism and reduce the rates of superoxide production, thus allowing for increased lifespan.

Seeing a Colleague Encourage a Student to Make an Assumption while Proving: What Teachers Put in Play when Casting an Episode of Instruction

Science.gov (United States)

Nachlieli, Talli; Herbst, Patricio

2009-01-01

This article reports on an investigation of how teachers of geometry perceived an episode of instruction presented to them as a case of engaging students in proving. Confirming what was hypothesized, participants found it remarkable that a teacher would allow a student to make an assumption while proving. But they perceived this episode in various…

Seismic test facilities at the ENEA Casaccia Research Center; Prove sismiche con le tavole vibranti al centro ricerche Enea Casaccia

Energy Technology Data Exchange (ETDEWEB)

De Canio, G. [ENEA, Divisione Servizi Tecnologici, Centro Ricerche Casaccia, Rome (Italy)

2000-07-01

The main experimental facilities for seismic tests at the ENEA C.R. Casaccia laboratories consist of two high performance shake table for three axial seismic tests of structures up to 10 ton mass and 3g acceleration applied at the Center of Gravity at 1m from the base table. The activities are principally devoted to the dynamic characterization and vibration tests for mechanical and aero spatial structures, and the experimental analysis of innovative systems for the seismic isolation and retrofitting of civil, industrial, and historical buildings; together with the seismic tests of sub-structures and scaled mock-ups, in order to evaluate the isolation/dissipation performance of the anti-seismic devices, and the failure modes of the structural parts of the building. [Italian] Le principali attrezzature per le prove sismiche presso i laboratori del C.R. Casaccia consistono di due tavole vibranti triassali per prove su strutture fino a 10t di peso con una accelerazione di 3g applicata al centro di gravita' posto ad 1 m di altezza dal piano della tavola. Le principali attivita' riguardano: (a) test di caratterizzazione dinamica e prove di vibrazioni per strutture meccaniche ed aerospaziali; (b) l'analisi sperimentale di sistemi innovativi per l'isolamento sismico ed il consolidamento di strutture civili, industriali e storico monumentali, e le prove sismiche di elementi strutturali e di modelli in scala per la valutazione della capacita' di dissipazione dei dispositivi antisismici e le modalita' di formazione delle fratture.

42 CFR 137.22 - May the Secretary consider uncorrected significant and material audit exceptions identified...

Science.gov (United States)

2010-10-01

... and material audit exceptions identified regarding centralized financial and administrative functions... Tribes for Participation in Self-Governance Planning Phase § 137.22 May the Secretary consider uncorrected significant and material audit exceptions identified regarding centralized financial and...

Exceptional bone metastasis of basal cell carcinoma in Gorlin-Goltz syndrome.

Science.gov (United States)

Lamon, Tatiana; Gerard, Stephane; Meyer, Nicolas; Losfeld, Benjamin; Abellan van Kan, Gabor; Balardy, Laurent; Vellas, Bruno

2010-01-01

Basal cell carcinoma (BCC), the most prevalent form of cancer worldwide, is a malignant skin neoplasm. It is locally invasive, with an exceptional incidence of reported metastasis. It can also be part of the Gorlin-Goltz syndrome, an autosomal dominant genetic disorder with high penetrance and variable expressivity, which is principally characterized by cutaneous BCC, odontogenic keratocysts, palmar and/or plantar pits, and falx cerebri calcification. We report the exceptional clinical observation of a 54-year-old man presenting bone metastasis from BCC in Gorlin-Goltz syndrome. Less than 300 cases of metastatic BCC have been reported in the literature. The present case is the second associated with Gorlin-Goltz syndrome. Copyright 2009 S. Karger AG, Basel.

The Exception of Non-performance and its Role in Debt Assignments

Directory of Open Access Journals (Sweden)

Maria Căzănel

2016-01-01

Full Text Available Debt assignments have the effect of assigning a new creditor in the legal position of the creditorassignor, i.e. the right to claim, with all its accessories and warranties, in the same legalconditions, enforceable against all exceptions of the assignor, even the personal ones. Thus, theassignee is entitled to invoke the exception of breach of contract/non-performance, where the ratioof obligations originally derived from a mutually binding contract and the contractual partnerrefuses to fulfill the performance that was required. Invocation of exceptio non adimpleticontractus does not result in termination of the legal relationship of obligations, but only to itssuspension as a means to compel the debtor to fulfill the obligation assumed.

Remedial investigation report for J-Field, Aberdeen Proving Ground, Maryland. Volume 3: Ecological risk assessment

Energy Technology Data Exchange (ETDEWEB)

Hlohowskyj, I.; Hayse, J.; Kuperman, R.; Van Lonkhuyzen, R.

2000-02-25

The Environmental Management Division of the U.S. Army Aberdeen Proving Ground (APG), Maryland, is conducting a remedial investigation (RI) and feasibility study (FS) of the J-Field area at APG, pursuant to the Comprehensive Environmental Response, Compensation, and Liability Act (CERCLA), as amended. As part of that activity, Argonne National Laboratory (ANL) conducted an ecological risk assessment (ERA) of the J-Field site. This report presents the results of that assessment.

Remedial investigation report for J-Field, Aberdeen Proving Ground, Maryland. Volume 3: Ecological risk assessment

International Nuclear Information System (INIS)

Hlohowskyj, I.; Hayse, J.; Kuperman, R.; Van Lonkhuyzen, R.

2000-01-01

The Environmental Management Division of the U.S. Army Aberdeen Proving Ground (APG), Maryland, is conducting a remedial investigation (RI) and feasibility study (FS) of the J-Field area at APG, pursuant to the Comprehensive Environmental Response, Compensation, and Liability Act (CERCLA), as amended. As part of that activity, Argonne National Laboratory (ANL) conducted an ecological risk assessment (ERA) of the J-Field site. This report presents the results of that assessment

The Nuclear Installations (Excepted Matter) Regulations 1978 (Statutory Instrument No. 1779, 4 December 1978)

International Nuclear Information System (INIS)

1979-01-01

These Regulations prescribe, for the purposes of the definition of 'excepted matter' in the Nuclear Installations Act 1965, certain specified quantities and forms of nuclear matter, and supersede the Nuclear Installations (excepted Matter) Regulations 1965. They bring the definition of excepted matter in those Regulations into line with the decisions of 27 October 1977 of the OECD Nuclear Energy Agency's Steering Committee excluding certain kinds and quantities of nuclear substances from the scope of the Paris Convention on Third Party Liability in the Field of Nuclear Energy. Compared with the 1965 Regulations, the principal changes in relation to consignments are that activity limits and packing requirements now take account of the most recent IAEA Regulations. (NEA) [fr

Baroque Poetics and the Logic of Hispanic Exceptionalism

OpenAIRE

Young, Allen

2012-01-01

Baroque Poetics and the Logic of Hispanic Exceptionalismby Allen YoungIn this dissertation I study the how the baroque is used to understand aesthetic modernity in twentieth-century Spain and Latin America. My argument is that the baroque, in contemporary Hispanic and Latin American studies, functions as a myth of cultural exceptionalism, letting critics recast avant-garde and postmodern innovation as fidelity to a timeless essence or identity. That is, by viewing much contemporary Spanish-la...

Microaspiration for high-pressure freezing: a new method for ultrastructural preservation of fragile and sparse tissues for TEM and electron tomography

Energy Technology Data Exchange (ETDEWEB)

Auer, Manfred; Triffo, W.J.; Palsdottir, H.; McDonald, K.L.; Inman, J.L.; Bissell, M.J.; Raphael, R.M.; Auer, M.; Lee, J.K.

2008-02-13

High-pressure freezing is the preferred method to prepare thick biological specimens for ultrastructural studies. However, the advantages obtained by this method often prove unattainable for samples that are difficult to handle during the freezing and substitution protocols. Delicate and sparse samples are difficult to manipulate and maintain intact throughout the sequence of freezing, infiltration, embedding, and final orientation for sectioning and subsequent TEM imaging. An established approach to surmount these difficulties is the use of cellulose microdialysis tubing to transport the sample. With an inner diameter of 200 micrometers, the tubing protects small and fragile samples within the thickness constraints of high-pressure freezing, and the tube ends can be sealed to avoid loss of sample. Importantly, the transparency of the tubing allows optical study of the specimen at different steps in the process. Here, we describe the use of a micromanipulator and microinjection apparatus to handle and position delicate specimens within the tubing. We report two biologically significant examples that benefit from this approach, 3D cultures of mammary epithelial cells and cochlear outer hair cells. We illustrate the potential for correlative light and electron microscopy as well as electron tomography.

Fake News: A Technological Approach to Proving the Origins of Content, Using Blockchains.

Science.gov (United States)

Huckle, Steve; White, Martin

2017-12-01

In this article, we introduce a prototype of an innovative technology for proving the origins of captured digital media. In an era of fake news, when someone shows us a video or picture of some event, how can we trust its authenticity? It seems that the public no longer believe that traditional media is a reliable reference of fact, perhaps due, in part, to the onset of many diverse sources of conflicting information, via social media. Indeed, the issue of "fake" reached a crescendo during the 2016 U.S. Presidential Election, when the winner, Donald Trump, claimed that The New York Times was trying to discredit him by pushing disinformation. Current research into overcoming the problem of fake news does not focus on establishing the ownership of media resources used in such stories-the blockchain-based application introduced in this article is technology that is capable of indicating the authenticity of digital media. Put simply, using the trust mechanisms of blockchain technology, the tool can show, beyond doubt, the provenance of any source of digital media, including images used out of context in attempts to mislead. Although the application is an early prototype and its capability to find fake resources is somewhat limited, we outline future improvements that would overcome such limitations. Furthermore, we believe that our application (and its use of blockchain technology and standardized metadata) introduces a novel approach to overcoming falsities in news reporting and the provenance of media resources used therein. However, while our application has the potential to be able to verify the originality of media resources, we believe that technology is only capable of providing a partial solution to fake news. That is because it is incapable of proving the authenticity of a news story as a whole. We believe that takes human skills.

17 CFR 248.13 - Exception to opt out requirements for service providers and joint marketing.

Science.gov (United States)

2010-04-01

... include marketing of your own products or services or marketing of financial products or services offered... requirements for service providers and joint marketing. 248.13 Section 248.13 Commodity and Securities... Consumer Financial Information and Safeguarding Personal Information Exceptions § 248.13 Exception to opt...

77 FR 17456 - Buy American Exception Under the American Recovery and Reinvestment Act of 2009

Science.gov (United States)

2012-03-26

...-2138-01] Buy American Exception Under the American Recovery and Reinvestment Act of 2009 AGENCY... exception to the Buy American Provisions of the American Recovery and Reinvestment Act of 2009 (ARRA or... future years on electricity. The contract specifications required that all exterior photovoltaic...

Alaska exceptionality hypothesis: Is Alaska wilderness really different?

Science.gov (United States)

Gregory Brown

2002-01-01

The common idiom of Alaska as “The Last Frontier” suggests that the relative remoteness and unsettled character of Alaska create a unique Alaskan identity, one that is both a “frontier” and the “last” of its kind. The frontier idiom portrays the place and people of Alaska as exceptional or different from the places and people who reside in the Lower Forty- Eight States...

Democracy, justice and state of exception: past present

Directory of Open Access Journals (Sweden)

Tásso Araújo Brito

2017-06-01

Full Text Available Violence against portions of society, disbelief in democratic institutions and agents of the state who inflict torture against those who are in their custody are elements that corrode the Brazilian democracy. Between the past of the military-civilian dictatorship and the current moment we realize how practices that have been considered exceptions have become rules that affect the life of many Brazilian citizens. The present paper investigates these political experiences to ask which democracy have we been living in.

Seismic proving test of process computer systems with a seismic floor isolation system

International Nuclear Information System (INIS)

Fujimoto, S.; Niwa, H.; Kondo, H.

1995-01-01

The authors have carried out seismic proving tests for process computer systems as a Nuclear Power Engineering Corporation (NUPEC) project sponsored by the Ministry of International Trade and Industry (MITI). This paper presents the seismic test results for evaluating functional capabilities of process computer systems with a seismic floor isolation system. The seismic floor isolation system to isolate the horizontal motion was composed of a floor frame (13 m x 13 m), ball bearing units, and spring-damper units. A series of seismic excitation tests was carried out using a large-scale shaking table of NUPEC. From the test results, the functional capabilities during large earthquakes of computer systems with a seismic floor isolation system were verified

76 FR 67363 - Extending Religious and Family Member FICA and FUTA Exceptions to Disregarded Entities

Science.gov (United States)

2011-11-01

... unless the requisite family relationship exists between the employee and each of the partners comprising... the exceptions from employment that apply because of the existence of a family relationship between...(c). The inability of these entities to benefit from the exceptions for family employees and members...

12 CFR 716.13 - Exception to opt out requirements for service providers and joint marketing.

Science.gov (United States)

2010-01-01

... section may include marketing of your own products or services or marketing of financial products or... providers and joint marketing. 716.13 Section 716.13 Banks and Banking NATIONAL CREDIT UNION ADMINISTRATION REGULATIONS AFFECTING CREDIT UNIONS PRIVACY OF CONSUMER FINANCIAL INFORMATION Exceptions § 716.13 Exception to...

The heritability of aptitude and exceptional talent across different domains in adolescents and young adults

NARCIS (Netherlands)

Vinkhuyzen, A.A.E.; van der Sluis, S.; Posthuma, D.; Boomsma, D.I.

2009-01-01

The origin of individual differences in aptitude, defined as a domain-specific skill within the normal ability range, and talent, defined as a domain specific skill of exceptional quality, is under debate. The nature of the variation in aptitudes and exceptional talents across different domains was

Sound Control-Flow Graph Extraction for Java Programs with Exceptions

NARCIS (Netherlands)

Amighi, A.; de Carvalho Gomes, Pedro; Gurov, Dilian; Huisman, Marieke; Eleftherakis, George; Hinchey, Mike; Holcombe, Mike

2012-01-01

We present an algorithm to extract control-flow graphs from Java bytecode, considering exceptional flows. We then establish its correctness: the behavior of the extracted graphs is shown to be a sound over-approximation of the behavior of the original programs. Thus, any temporal safety property

76 FR 70975 - Petition Requesting Exception From Lead Content Limits

Science.gov (United States)

2011-11-16

... information provided, to http://www.regulations.gov . Do not submit confidential business information, trade... of divisions: Scale Models and Dyersville Die Cast (``petitioner''), submitted a petition requesting an exception from the lead content limit of 100 ppm under section 101(b) of the CPSIA for its die...

Feeling Abnormal: Simulation of Deviancy in Abnormal and Exceptionality Courses.

Science.gov (United States)

Fernald, Charles D.

1980-01-01

Describes activity in which student in abnormal psychology and psychology of exceptional children classes personally experience being judged abnormal. The experience allows the students to remember relevant research, become sensitized to the feelings of individuals classified as deviant, and use caution in classifying individuals as abnormal.…

Soft-Bodied Fossils Are Not Simply Rotten Carcasses - Toward a Holistic Understanding of Exceptional Fossil Preservation: Exceptional Fossil Preservation Is Complex and Involves the Interplay of Numerous Biological and Geological Processes.

Science.gov (United States)

Parry, Luke A; Smithwick, Fiann; Nordén, Klara K; Saitta, Evan T; Lozano-Fernandez, Jesus; Tanner, Alastair R; Caron, Jean-Bernard; Edgecombe, Gregory D; Briggs, Derek E G; Vinther, Jakob

2018-01-01

Exceptionally preserved fossils are the product of complex interplays of biological and geological processes including burial, autolysis and microbial decay, authigenic mineralization, diagenesis, metamorphism, and finally weathering and exhumation. Determining which tissues are preserved and how biases affect their preservation pathways is important for interpreting fossils in phylogenetic, ecological, and evolutionary frameworks. Although laboratory decay experiments reveal important aspects of fossilization, applying the results directly to the interpretation of exceptionally preserved fossils may overlook the impact of other key processes that remove or preserve morphological information. Investigations of fossils preserving non-biomineralized tissues suggest that certain structures that are decay resistant (e.g., the notochord) are rarely preserved (even where carbonaceous components survive), and decay-prone structures (e.g., nervous systems) can fossilize, albeit rarely. As we review here, decay resistance is an imperfect indicator of fossilization potential, and a suite of biological and geological processes account for the features preserved in exceptional fossils. © 2017 The Authors. BioEssays Published by WILEY Periodicals, Inc.

Unveiling Exception Handling Bug Hazards in Android Based on GitHub and Google Code Issues

NARCIS (Netherlands)

Coelho, R.; Almeida, L.; Gousios, G.; Van Deursen, A.

2015-01-01

This paper reports on a study mining the exception stack traces included in 159,048 issues reported on Android projects hosted in GitHub (482 projects) and Google Code (157 projects). The goal of this study is to investigate whether stack trace information can reveal bug hazards related to exception

Meeting on Solute/Solvent Interactions Held in Aberdeen Proving Ground, Maryland on May 29-30, 1991

Science.gov (United States)

1992-01-01

the magnitudes of the nuclear charges and therefore cannot be assumed to indicate relative reactivities toward nucleophiles. There is accordingly no...APPENDIX 3 ORGANIZATIONS OF AUTHORS IN THESE PROCEEDINGS Central Michigan University 49 Instituto de Quimica Fisica 33 La Sierra University, Riverside 71...Aberdeen Proving Gd, MD Joxe-Luis Abbud Christopher Cramer Instituto de Quimica Fisica SMCCR-RSP-C "Rocasolano" U.S. Army Chemical RD&E Center Conajo

Environmental geophysics at J-Field, Aberdeen Proving Ground, Maryland

Energy Technology Data Exchange (ETDEWEB)

Daudt, C.R.; McGinnis, L.D.; Miller, S.F.; Thompson, M.D.

1994-11-01

Geophysical data collected at J-Field, Aberdeen Proving Ground, Maryland, were used in the characterization of the natural hydrogeologic framework of the J-Field area and in the identification of buried disturbances (trenches and other evidences of contamination). Seismic refraction and reflection data and electrical resistivity data have aided in the characterization of the leaky confining unit at the base of the surficial aquifer (designated Unit B of the Tertiary Talbot Formation). Excellent reflectors have been observed for both upper and lower surfaces of Unit B that correspond to stratigraphic units observed in boreholes and on gamma logs. Elevation maps of both surfaces and an isopach map of Unit B, created from reflection data at the toxic burning pits site, show a thickening of Unit B to the east. Abnormally low seismic compressional-wave velocities suggest that Unit B consists of gassy sediments whose gases are not being flushed by upward or downward moving groundwater. The presence of gases suggests that Unit B serves as an efficient aquitard that should not be penetrated by drilling or other activities. Electromagnetic, total-intensity magnetic, and ground-penetrating radar surveys have aided in delineating the limits of two buried trenches, the VX burning pit and the liquid smoke disposal pit, both located at the toxic burning pits site. The techniques have also aided in determining the extent of several other disturbed areas where soils and materials were pushed out of disposal pits during trenching activities. Surveys conducted from the Prototype Building west to the Gunpowder River did not reveal any buried trenches.

Leading Change: How Boards and Presidents Build Exceptional Academic Institutions

Science.gov (United States)

MacTaggart, Terrence

2011-01-01

In a time of transformation in higher education, "Leading Change: How Boards and Presidents Build Exceptional Institutions" fills a significant void in leadership literature and focuses on the changing level of board engagement. This book examines 18 institutions, across the spectrum of higher education, at which the board played a…

Numerical evaluation of one-loop diagrams near exceptional momentum configurations

International Nuclear Information System (INIS)

Giele, Walter T.; Zanderighi, Giulia; Glover, E.W.N.

2004-01-01

One problem which plagues the numerical evaluation of one-loop Feynman diagrams using recursive integration by part relations is a numerical instability near exceptional momentum configurations. In this contribution we will discuss a generic solution to this problem. As an example we consider the case of forward light-by-light scattering

12 CFR 222.21 - Affiliate marketing opt-out and exceptions.

Science.gov (United States)

2010-01-01

... solicitation for marketing purposes to a consumer with whom you have a pre-existing business relationship; (2... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Affiliate marketing opt-out and exceptions. 222... FEDERAL RESERVE SYSTEM FAIR CREDIT REPORTING (REGULATION V) Affiliate Marketing § 222.21 Affiliate...

Three Justifications for Effectively Teaching Exceptional Babies to Third Grade with Respect to Their Characteristics, an Effective Curricula, and an Exceptional-Research Data Base

Science.gov (United States)

Jaramillo, James Anthony Montrose

2013-01-01

Both Pre-K and K-3rd grade exceptional or talented children/students not only want but need more of an "accommodative" ambiance where their senses are given novel multiple-intelligences data so that they can continue to intellectually grow with respect to Piaget, Erickson, and Vygotsky's developmental schemes. Thus, to do this requires us to…

Exceptional longevity in female Rottweiler dogs is not encumbered by investment in reproduction.

Science.gov (United States)

Kengeri, S S; Maras, A H; Suckow, C L; Chiang, E C; Waters, D J

2013-12-01

To better understand the potential trade-off between female reproductive investment and longevity in an emerging model of human healthspan, we studied pet dogs to determine whether intensity of reproduction (total number of offspring) encumbered the likelihood of exceptional longevity. This hypothesis was tested by collecting and analyzing lifetime medical histories, including complete reproductive histories, for a cohort of canine "centenarians"--exceptionally long-lived Rottweiler dogs that lived more than 30% longer than the breed's average life expectancy. Reproductive intensity (number of litters, total number of pups) and tempo of reproductive effort (age at first reproduction, mean interbirth interval, age at last reproduction) in 78 exceptionally long-lived female Rottweilers (>13 years old) were compared to a cohort of 97 female Rottweilers that had usual longevity (age at death 8.0-10.75 years). We found no evidence that a mother's physiological investment in offspring was associated with disadvantaged longevity. Instead, similar to some studies in women, our data showed an inverted U-shaped trend, suggesting that moderate investment in reproduction may promote longevity. Late reproductive success, a much-studied surrogate of maternal fitness in women, was not a strong predictor of longevity in this canine cohort. Instead, independent of reproductive investment, the duration of lifetime ovary exposure was significantly associated with highly successful aging. Our results from exceptionally long-lived pet dogs provide rationale for further investigative efforts to understand the ovary-sensitive biological factors that promote healthy longevity in women and pet dogs.

Break-glass handling exceptional situations in access control

CERN Document Server

Petritsch, Helmut

2014-01-01

Helmut Petritsch describes the first holistic approach to Break-Glass which covers the whole life-cycle: from access control modeling (pre-access), to logging the security-relevant system state during Break-Glass accesses (at-access), and the automated analysis of Break-Glass accesses (post-access). Break-Glass allows users to override security restrictions in exceptional situations. While several Break-Glass models specific to given access control models have already been discussed in research (e.g., extending RBAC with Break-Glass), the author introduces a generic Break-Glass model. The pres

12 CFR 334.21 - Affiliate marketing opt-out and exceptions.

Science.gov (United States)

2010-01-01

... solicitation for marketing purposes to a consumer with whom you have a pre-existing business relationship; (2... 12 Banks and Banking 4 2010-01-01 2010-01-01 false Affiliate marketing opt-out and exceptions. 334... OF GENERAL POLICY FAIR CREDIT REPORTING Affiliate Marketing § 334.21 Affiliate marketing opt-out and...

Automated Theorem Proving in High-Quality Software Design

Science.gov (United States)

Schumann, Johann; Swanson, Keith (Technical Monitor)

2001-01-01

The amount and complexity of software developed during the last few years has increased tremendously. In particular, programs are being used more and more in embedded systems (from car-brakes to plant-control). Many of these applications are safety-relevant, i.e. a malfunction of hardware or software can cause severe damage or loss. Tremendous risks are typically present in the area of aviation, (nuclear) power plants or (chemical) plant control. Here, even small problems can lead to thousands of casualties and huge financial losses. Large financial risks also exist when computer systems are used in the area of telecommunication (telephone, electronic commerce) or space exploration. Computer applications in this area are not only subject to safety considerations, but also security issues are important. All these systems must be designed and developed to guarantee high quality with respect to safety and security. Even in an industrial setting which is (or at least should be) aware of the high requirements in Software Engineering, many incidents occur. For example, the Warshaw Airbus crash, was caused by an incomplete requirements specification. Uncontrolled reuse of an Ariane 4 software module was the reason for the Ariane 5 disaster. Some recent incidents in the telecommunication area, like illegal "cloning" of smart-cards of D2GSM handies, or the extraction of (secret) passwords from German T-online users show that also in this area serious flaws can happen. Due to the inherent complexity of computer systems, most authors claim that only a rigorous application of formal methods in all stages of the software life cycle can ensure high quality of the software and lead to real safe and secure systems. In this paper, we will have a look, in how far automated theorem proving can contribute to a more widespread application of formal methods and their tools, and what automated theorem provers (ATPs) must provide in order to be useful.

Exceptional quantum subgroups for the rank two Lie algebras B2 and G2

CERN Document Server

Coquereaux, R.; Tahri, E.H.

2010-01-01

Exceptional modular invariants for the Lie algebras B2 (at levels 2,3,7,12) and G2 (at levels 3,4) can be obtained from conformal embeddings. We determine the associated alge bras of quantum symmetries and discover or recover, as a by-product, the graphs describing exceptional quantum subgroups of type B2 or G2 which encode their module structure over the associated fusion category. Global dimensions are given.

Architecting Fault Tolerance with Exception Handling: Verification and Validation

Institute of Scientific and Technical Information of China (English)

Patrick H. S. Brito; Rogério de Lemos; Cecília M. F. Rubira; Eliane Martins

2009-01-01

When building dependable systems by integrating untrusted software components that were not originally designed to interact with each other, it is likely the occurrence of architectural mismatches related to assumptions in their failure behaviour. These mismatches, if not prevented during system design, have to be tolerated during runtime. This paper presents an architectural abstraction based on exception handling for structuring fault-tolerant software systems.This abstraction comprises several components and connectors that promote an existing untrusted software element into an idealised fault-tolerant architectural element. Moreover, it is considered in the context of a rigorous software development approach based on formal methods for representing the structure and behaviour of the software architecture. The proposed approach relies on a formal specification and verification for analysing exception propagation, and verifying important dependability properties, such as deadlock freedom, and scenarios of architectural reconfiguration. The formal models are automatically generated using model transformation from UML diagrams: component diagram representing the system structure, and sequence diagrams representing the system behaviour. Finally, the formal models are also used for generating unit and integration test cases that are used for assessing the correctness of the source code. The feasibility of the proposed architectural approach was evaluated on an embedded critical case study.

Characterizing interactions in online social networks during exceptional events

Science.gov (United States)

Omodei, Elisa; De Domenico, Manlio; Arenas, Alex

2015-08-01

Nowadays, millions of people interact on a daily basis on online social media like Facebook and Twitter, where they share and discuss information about a wide variety of topics. In this paper, we focus on a specific online social network, Twitter, and we analyze multiple datasets each one consisting of individuals' online activity before, during and after an exceptional event in terms of volume of the communications registered. We consider important events that occurred in different arenas that range from policy to culture or science. For each dataset, the users' online activities are modeled by a multilayer network in which each layer conveys a different kind of interaction, specifically: retweeting, mentioning and replying. This representation allows us to unveil that these distinct types of interaction produce networks with different statistical properties, in particular concerning the degree distribution and the clustering structure. These results suggests that models of online activity cannot discard the information carried by this multilayer representation of the system, and should account for the different processes generated by the different kinds of interactions. Secondly, our analysis unveils the presence of statistical regularities among the different events, suggesting that the non-trivial topological patterns that we observe may represent universal features of the social dynamics on online social networks during exceptional events.

Confrontation Between Judicial Activism and State of Exception

Directory of Open Access Journals (Sweden)

Alexandre Pedro Moura D’Almeida

2017-01-01

Full Text Available The judiciary has excelled in the international and national scene, reaching role of great importance, thus creating opposition to the legislative and executive powers. The center of gravity of the sovereign power of the state moves toward the judiciary, that happens to have a more active role and controlling of the others powers, but also appears as a great defender of social and fundamental rights causes, seeking to make an effective constitution. Its great public notoriety has attracted great distrust of various sectors of society, especially by the two powers that have an increasing interference. Arises, therefore, a speech that the judiciary would be reversing into a big and uncontrollable power, increasing the suspicion that now it would be living in a real dictatorship of the judiciary through judicial activism. There is a growing concern with the expansion of activism and the role of the judiciary. The purpose of this work is to conceptualize and approach the judicial activism and the state of exception to search and reveal if there is any similarity, to then draw up a possible answer to the concern of forming a dictatorship of the judiciary. The state of exception is one of the rule of law paradoxes, while activism is a political manifestation of the judiciary. The similarity between the institutes appears as appalling in a dynamic expansion of political power of a state institution exercising judicial function, putting in check who would be the sovereign in a rule of law and democratic state.

A dynamic network model of expertise and exceptional performance in sports

NARCIS (Netherlands)

den Hartigh, Ruud; van Geert, Paul

2014-01-01

Introduction The study of expertise and exceptional performance covers a range from “beginner” to world-class performance. While developing sport expertise a variety of interacting internal and external performance factors are involved, which may differ between athletes (Phillips et al., 2010). The

Suppressing decoherence by preparing the environment

International Nuclear Information System (INIS)

Landon-Cardinal, Olivier; MacKenzie, Richard

2013-01-01

To protect a quantum system from decoherence due to interaction with its environment, we investigate the existence of initial states of the environment allowing for decoherence-free evolution of the system. For a class of models in which a two-state system and a dynamical environment interact through a Hamiltonian restricted to be a tensor product, we prove that such states exist if and only if the interaction and self-evolution Hamiltonians of the environment share an eigenstate. If decoherence by state preparation is not possible, we show that initial states minimizing decoherence result from a delicate compromise between the environment and interaction dynamics

Time-Dependent Mean-Field Games with Logarithmic Nonlinearities

KAUST Repository

Gomes, Diogo A.

2015-10-06

In this paper, we prove the existence of classical solutions for time-dependent mean-field games with a logarithmic nonlinearity and subquadratic Hamiltonians. Because the logarithm is unbounded from below, this nonlinearity poses substantial mathematical challenges that have not been addressed in the literature. Our result is proven by recurring to a delicate argument which combines Lipschitz regularity for the Hamilton-Jacobi equation with estimates for the nonlinearity in suitable Lebesgue spaces. Lipschitz estimates follow from an application of the nonlinear adjoint method. These are then combined with a priori bounds for solutions of the Fokker-Planck equation and a concavity argument for the nonlinearity.

Time-Dependent Mean-Field Games with Logarithmic Nonlinearities

KAUST Repository

Gomes, Diogo A.; Pimentel, Edgard

2015-01-01

In this paper, we prove the existence of classical solutions for time-dependent mean-field games with a logarithmic nonlinearity and subquadratic Hamiltonians. Because the logarithm is unbounded from below, this nonlinearity poses substantial mathematical challenges that have not been addressed in the literature. Our result is proven by recurring to a delicate argument which combines Lipschitz regularity for the Hamilton-Jacobi equation with estimates for the nonlinearity in suitable Lebesgue spaces. Lipschitz estimates follow from an application of the nonlinear adjoint method. These are then combined with a priori bounds for solutions of the Fokker-Planck equation and a concavity argument for the nonlinearity.

Aid and AIDS: a delicate cocktail

NARCIS (Netherlands)

van Dalen, H.P.; Reuser, M.

2008-01-01

Development assistance targeting health overwhelmingly concentrates on HIV/AIDS. This column argues that that focus neglects critical demographic issues and degrades health infrastructure, particularly in Sub-Saharan Africa. The prime rule for AIDS aid should be “First, do no harm”.

A Delicate Balance of Different Dependencies

DEFF Research Database (Denmark)

Brincker, Benedikte

, the region holds promises of an abundance of natural resources and the prospect of new international trade routes. This draws attention to one particular country: Greenland. Greenland is part of the Kingdom of Denmark – but it has for many years witnessed moves towards national independence. These calls...... of balancing different dependencies. In this perspective, Greenland is the case in extremis. The prospect of Greenland seceding from the Kingdom of Denmark relies upon it becoming embedded in the “international community of sovereign nation states” thus balancing different dependencies ‐ while also...

Shock jewel cases for delicate transports

International Nuclear Information System (INIS)

Anon.

2004-01-01

The French atomic energy commission (CEA) has become a reference specialist in the transportation of toxic, flammable, explosive or fragile materials or objects. Initially developed for its own activities, the Direction of military applications (DAM) of the CEA offers also its competences in containers testing and transportation scenarios to other industrial companies. Short article reprinted from CEA Technologies no. 69. (J.S.)

The existence of propagated sensation along the meridian proved by neuroelectrophysiology

Science.gov (United States)

Xu, Jinsen; Zheng, Shuxia; Pan, Xiaohua; Zhu, Xiaoxiang; Hu, Xianglong

2013-01-01

Propagated sensation along the meridian can occur when acupoints are stimulated by acupuncture or electrical impulses. In this study, participants with notable propagated sensation along the dian were given electro-acupuncture at the Jianyu (LI15) acupoint of the large intestine meridian. When participants stated that the sensation reached the back of their hand, regular nervous system action discharge was examined using a physiological recording electrode placed on the superficial branch of the radial nerve. The topographical maps of brain-evoked potential in the primary cortical somatosensory area were also detected. When Guangming (GB37) acupoint in the lower limb and Hegu (LI4) acupoint in the upper limb were stimulated, subjects without propagated sensation along the meridian exhibited a high potential reaction in the corresponding area of the brain cortical so-matosensory area. For subjects with a notable propagated sensation along the meridian, the tion area was larger and extended into the face representative area. These electrophysiological measures directly prove the existence of propagated sensation along the meridian, and the pheral stimulated site is consistent with the corresponding primary cortical somatosensory area, which presents a high potential reaction. PMID:25206574

Exemption, exception and other criteria for transport criticality safety

International Nuclear Information System (INIS)

Mennerdahl, D.

2004-01-01

Many strange concepts, requirements and specifications related to criticality safety are present in the Regulations. Some earlier problems have been corrected but, going back to 1961 and the first edition of the Regulations, it seems as many changes have been to the worse. Fissile material was defined correctly as a material that could consist of or contain fissile nuclides. Materials consisting of pure fissile nuclides don't exist but are important in package designs. 238 Pu was included as a fissile nuclide only as an emergency, because there was no alternative, but this caused some people to think that all nuclides supporting criticality are fissile. Neutron interaction between different (non-identical) packages had to be evaluated, making the transport index or allowable number of packages a credible safety control. That is not true anymore. The 15 gram exception limit for fissile nuclides was combined with a transport mode limit, similar to but more restrictive than the current consignment limit. The confinement system was introduced to help with formulation of a single requirement for safety of the containment system but is becoming something very different. Controls before the first use of a packaging have become controls of the first use of a package, supporting multiple shipments of the same package. The lack of exemption limits for fissile material essentially makes all radioactive materials fissile (all radioactive material contains some fissile atoms). Radioactive material seems to be defined without consideration of the criticality hazard of the material. LSA materials are defined with consideration of criticality, but only relates to quantities in fissile exceptions when other properties can be equally or more important. In July 2004, a number of proposals to IAEA have been submitted by Sweden to improve and expand the criticality safety control of the Regulations. Essential is the introduction of the fissionable nuclide and material concepts in

Exemption, exception and other criteria for transport criticality safety

Energy Technology Data Exchange (ETDEWEB)

Mennerdahl, D. [E Mennerdahl Systems, Taeby (Sweden)

2004-07-01

Many strange concepts, requirements and specifications related to criticality safety are present in the Regulations. Some earlier problems have been corrected but, going back to 1961 and the first edition of the Regulations, it seems as many changes have been to the worse. Fissile material was defined correctly as a material that could consist of or contain fissile nuclides. Materials consisting of pure fissile nuclides don't exist but are important in package designs. {sup 238}Pu was included as a fissile nuclide only as an emergency, because there was no alternative, but this caused some people to think that all nuclides supporting criticality are fissile. Neutron interaction between different (non-identical) packages had to be evaluated, making the transport index or allowable number of packages a credible safety control. That is not true anymore. The 15 gram exception limit for fissile nuclides was combined with a transport mode limit, similar to but more restrictive than the current consignment limit. The confinement system was introduced to help with formulation of a single requirement for safety of the containment system but is becoming something very different. Controls before the first use of a packaging have become controls of the first use of a package, supporting multiple shipments of the same package. The lack of exemption limits for fissile material essentially makes all radioactive materials fissile (all radioactive material contains some fissile atoms). Radioactive material seems to be defined without consideration of the criticality hazard of the material. LSA materials are defined with consideration of criticality, but only relates to quantities in fissile exceptions when other properties can be equally or more important. In July 2004, a number of proposals to IAEA have been submitted by Sweden to improve and expand the criticality safety control of the Regulations. Essential is the introduction of the fissionable nuclide and material

13 CFR 107.835 - Exceptions to minimum duration/term of Financing.

Science.gov (United States)

2010-01-01

.../term of Financing. 107.835 Section 107.835 Business Credit and Assistance SMALL BUSINESS ADMINISTRATION SMALL BUSINESS INVESTMENT COMPANIES Financing of Small Businesses by Licensees Structuring Licensee's Financing of An Eligible Small Business: Terms and Conditions of Financing § 107.835 Exceptions to minimum...

Between Law and the Exception: The UN 1267 Ombudsperson as a Hybrid Model of Legal Expertise

NARCIS (Netherlands)

Sullivan, G.; de Goede, M.

2013-01-01

Security measures taken in the name of the ‘war on terror’ have frequently been understood to operate through a domain of exception, defined as an extra-legal space of intervention where normal rules of juridical protection and due process are suspended. Yet whilst most analyses of the exception are

'Uninterested in anything except food': the work of nurses feeding the liberated inmates of Bergen-Belsen.

Science.gov (United States)

Brooks, Jane

2012-10-01

The aim of this article is to explore the work of nurses feeding and helping liberate the inmates of Bergen-Belsen concentration camp in the spring of 1945. A considerable amount has been published on the relief of Belsen, but the majority of the research has focused on the medical staff and the army in general. The exception to this is an article published by Ellen Ben-Sefer, but its analysis of the actual work of the nurses is limited. The data are explored through the medium of nurses' work, especially feeding work and its place in the historiography. This article will offer an analysis of archival material, including official reports and personal testimony and published primary sources. Nurses were very much hidden from the liberation picture, partly through government policy, partly because of gendered ideologies and partly because of the desire of many to hide their memories. However, the data identify the pivotal role of nurses in the saving of lives and rehabilitation of inmates. This article demonstrates this role through the work of feeding. The nurses had to continually negotiate and renegotiate their place in the liberation. As women, their place at Belsen was problematic and often thwarted by the ideologies of the day. Nevertheless, the services of registered nurses during the war had proved indispensible. The Allied governments and Royal Army Medical Corps were ultimately to rely on their professional expertise. The nurses' work in the feeding of starving inmates demonstrates their value. This article demonstrates the importance of nurses' feeding work and their role in the caring of people's humanity. © 2012 Blackwell Publishing Ltd.

26 CFR 1.148-7 - Spending exceptions to the rebate requirement.

Science.gov (United States)

2010-04-01

... issue to be a refunding issue. (4) De minimis rule. Any failure to satisfy the final spending... to land, such as buildings or other inherently permanent structures, including interests in real.... Except as otherwise provided, construction expenditures means capital expenditures (as defined in § 1.150...

Is There Muslim Exceptionalism in Democracy Research?

DEFF Research Database (Denmark)

Hariri, Jacob Gerner

to and between the 16th and 18th centuries are relatively less democratic today. The negative effect of early statehood on current levels of democracy is mediated by European colonization and settlement: Europeans were less likely to colonize and settle in territories with more developed state institutions......, also, to alternative theories of the causes and correlates of democracy. This paper presents evidence against the notion of Muslim exceptionalism in democracy research. Thus, outside the European continent, territories that were governed earlier and more consistently by state organizations up...... and were therefore less likely to bring nascent legalistic and representative institutions to these territories. When we remove the autocratic legacy of early statehood and the influence of European settlement, there is nothing signicantly negative about the degree of democracy in Muslim-majority countries....

Transporting "exceptional cargo" on the CERN sites

CERN Multimedia

EN Department

2012-01-01

When the Transport Service is managing "exceptional cargo", the driver and the escort are often in charge of an operation involving equipment worth many hundred thousand francs. Equipment that may well be irreplaceable for a facility or an experiment.   The members of the Transport Service who carry out these tasks are very professional and are – needless to say – highly concentrated on the job. They count on your understanding and support in the traffic on site. Their convoys are – for good reasons – moving slowly. Kindly do not overtake, do not cut in in front of them and do not drive too closely. Respect the escort and do not position yourself between the truck and the escort vehicles. The EN department counts on your courtesy on the road.  

13 CFR 147.515 - Are there any exceptions to those actions?

Science.gov (United States)

2010-01-01

... 13 Business Credit and Assistance 1 2010-01-01 2010-01-01 false Are there any exceptions to those actions? 147.515 Section 147.515 Business Credit and Assistance SMALL BUSINESS ADMINISTRATION... particular award, in writing, a suspension of payments under an award, suspension or termination of an award...

Finding Exception For Association Rules Via SQL Queries

Directory of Open Access Journals (Sweden)

Luminita DUMITRIU

2000-12-01

Full Text Available Finding association rules is mainly based on generating larger and larger frequent set candidates, starting from frequent attributes in the database. The frequent sets can be organised as a part of a lattice of concepts according to the Formal Concept Analysis approach. Since the lattice construction is database contents-dependent, the pseudo-intents (see Formal Concept Analysis are avoided. Association rules between concept intents (closed sets A=>B are partial implication rules, meaning that there is some data supporting A and (not B; fully explaining the data requires finding exceptions for the association rules. The approach applies to Oracle databases, via SQL queries.

Comparison of Emotional Maturity in Boys adolescents with Down Syndrome(Research in Normal and Exceptional Schools

Directory of Open Access Journals (Sweden)

sahel Hemmati

2014-03-01

Full Text Available Objective: This research is compromised emotional maturity in boys’ adolescents with Down syndrome (12-18 years that study in formal and exceptional schools. Materials & Methods: At first 15 boy’s students with DS that study in formal school matched with 15 students in Exceptional school (IQ, , age, family education and socioeconomic state were same . Then EMS (Emotional Maturity Scale was tested by researchers. Results: Adolescents with DS in formal schools are significantly different and have better scale in emotional maturity and their fields. (P<0.001 Conclusion: Emotional maturity in adolescents with DS in formal schools is positive and better than peers in Exceptional classs This result is helpful for improvement integrated education system. .

Correlation of Fault Size, Moment Magnitude, and Tsunami Height to Proved Paleo-tsunami Data in Sulawesi Indonesia

Science.gov (United States)

Julius, A. M.; Pribadi, S.

2016-02-01

Sulawesi (Indonesia) island is located in the meeting of three large plates i.e. Indo-Australia, Pacific, and Eurasia. This configuration surely make high risk on tsunami by earthquake and by sea floor landslide. NOAA and Russia Tsunami Laboratory show more than 20 tsunami data recorded in Sulawesi since 1820. Based on this data, determine of correlation between all tsunami parameter need to be done to proved all event in the past. Complete data of magnitudes, fault sizes and tsunami heights in this study sourced from NOAA and Russia Tsunami database and completed with Pacific Tsunami Warning Center (PTWC) catalog. This study aims to find correlation between fault area, moment magnitude, and tsunami height by simple regression in Sulawesi. The step of this research are data collect, processing, and regression analysis. Result shows very good correlation, each moment magnitude, tsunami heights, and fault parameter i.e. long, wide, and slip are correlate linier. In increasing of fault area, the tsunami height and moment magnitude value also increase. In increasing of moment magnitude, tsunami height also increase. This analysis is enough to proved all Sulawesi tsunami parameter catalog in NOAA, Russia Tsunami Laboratory and PTWC are correct. Keyword: tsunami, magnitude, height, fault

Control of the rings of exceptional points in photonic crystal slabs

DEFF Research Database (Denmark)

Kaminski, Piotr Marek; Breinbjerg, Olav; Mørk, Jesper

2017-01-01

shown that when the system becomes non-Hermitian, e.g. it is an open system exhibiting radiation losses, Dirac cones can be deformed spawning rings of exceptional points [2]. Within the ring, the dispersion follows the two-dimensional flat band which provides a high density of states and therefore high...

75 FR 80747 - End-User Exception to Mandatory Clearing of Swaps

Science.gov (United States)

2010-12-23

..., via its Comments Online process: http://comments.cftc.gov . Follow the instructions for submitting... predominantly engaged in activities that are in the business of banking or financial in nature, as defined in... regarding use of the end-user clearing exception to be made through SDRs? What are the advantages or...

The Council for Exceptional Children's Position on Special Education Teacher Evaluation

Science.gov (United States)

TEACHING Exceptional Children, 2013

2013-01-01

The Council for Exceptional Children (CEC) recognizes the importance of special education teachers in the education of all children and youth. Special educators have always believed that children's individual learning needs should drive instruction; indeed, pedagogy is the heart of special education practice. One way to judge a special education…

Comparative Study of Unconscionability Exception to the Principle of Autonomy in Law of Letter of Credits

Directory of Open Access Journals (Sweden)

Hamed Alavi

2016-08-01

Full Text Available This paper touches upon legal nature and scope of unconscionability as an exception to autonomy principle of documentary letters of credit (LC and bank guarantees. Complicated process of international trade is known as the main reason behind development of new exceptions to globally appreciated principle of autonomy in process of LC transaction. Apart from fraud which has been recognized in international business society and various jurisdictions, other exceptions including unconscionability, nullity, illegality and recklessness have received different treatments in different national laws. Unconscionability is applied to situations where beneficiary’s demand to draw under the LC is not fraudulent but affected with bad faith in a way that court prevents bank from honouring the credit. While UCP leaves the problem of fraud and other exceptions to autonomy principle to be solved by national laws, among common law countries, unconscionability defence has been recognized in Australia and Singapore but others do not show welcoming attitude towards it. Current paper tries to find reasons behind different attitudes of common law jurisdictions to unconscionability defence in letter of credit process by answering following questions: What is the nature of unconscionability? How different common law jurisdictions have received it as an exception to principle of autonomy in documentary letters of credit and bank guarantees? And last but not the least, what are arguments in favour and against its universal recognition as a defence for payment under letter of credit and bank guarantee system?

The written mathematical communication profile of prospective math teacher in mathematical proving

Science.gov (United States)

Pantaleon, K. V.; Juniati, D.; Lukito, A.; Mandur, K.

2018-01-01

Written mathematical communication is the process of expressing mathematical ideas and understanding in writing. It is one of the important aspects that must be mastered by the prospective math teacher as tool of knowledge transfer. This research was a qualitative research that aimed to describe the mathematical communication profile of the prospective mathematics teacher in mathematical proving. This research involved 48 students of Mathematics Education Study Program; one of them with moderate math skills was chosen as the main subject. Data were collected through tests, assignments, and task-based interviews. The results of this study point out that in the proof of geometry, the subject explains what is understood, presents the idea in the form of drawing and symbols, and explains the content/meaning of a representation accurately and clearly, but the subject can not convey the argument systematically and logically. Whereas in the proof of algebra, the subject describes what is understood, explains the method used, and describes the content/meaning of a symbolic representation accurately, systematically, logically, but the argument presented is not clear because it is insufficient detailed and complete.

Non-linear quenching of current fluctuations in a self-exciting homopolar dynamo, proved by feedback system theory

OpenAIRE

A. M. de Paor

1998-01-01

International audience; Hide (Nonlinear Processes in Geophysics, 1998) has produced a new mathematical model of a self-exciting homopolar dynamo driving a series- wound motor, as a continuing contribution to the theory of the geomagnetic field. By a process of exact perturbation analysis, followed by combination and partial solution of differential equations, the complete nonlinear quenching of current fluctuations reported by Hide in the case that a parameter ? has the value 1 is proved via ...

The Return of the Cultural Exception and its Impact on International Agreements

Directory of Open Access Journals (Sweden)

Marlen Bartsch

2014-07-01

Full Text Available This essay examines the influence of the French concept of the “cultural exception” on European media policy and international agreements. After briefly reviewing the historical background of the cultural exception in France, the essay describes how demands for the cultural exception and those for diversity affect inter-/transnational agreements within the European Union and around the world. Special focus is placed on the current secret EU/US Transatlantic Trade and Investment Partnership Agreement (TTIP negotiations that nearly failed because of France’s insistence that media and culture be exempted. The author argues that the concept of the “cultural exception” has been revived in recent years. However, due to the dual character of media (which is both a cultural and economic good, and the lack of a global media policy, the culture and trade debate will continue.

Understanding the failure of health-care exceptionalism in the Supreme Court's Obamacare decision.

Science.gov (United States)

Moncrieff, Abigail R

2012-09-01

On June 28, 2012, a mere century after the first presidential proposal for national health insurance, the Supreme Court issued a resounding victory for President Obama and for health-care reform generally, upholding the Patient Protection and Affordable Care Act against a serious constitutional challenge. Nevertheless, the Court also struck a potential blow to future health-care reform efforts in refusing to accept the solicitor general's argument that health care is a unique market with unique regulatory needs that justify special constitutional treatment. The failure of health-care exceptionalism in the Court's opinion might render future reform efforts more difficult than they would have been if the solicitor general's argument had carried the day. This commentary seeks to shed light on the Court's hesitation to recognize the uniqueness of health insurance and health care, noting that market-based exceptionalism in constitutional law has a long, dark history that the Court was understandably loath to repeat. Although the result of Chief Justice John Roberts' one-size-fits-all approach to constitutional analysis in this case is an odd holding that elides some genuine uniqueness of American health care, the alternative of health-care exceptionalism might have been much worse for our overall constitutional system.

Exceptional Lithium Storage in a Co(OH) ₂ Anode: Hydride Formation

Energy Technology Data Exchange (ETDEWEB)

Kim, Hyunchul; Choi, Woon Ih [Samsung Advanced Institute of Technology, Samsung Electronics, 130 Samsung-ro, Suwon 16678, South Korea; Jang, Yoonjung; Balasubramanian, Mahalingam [Advanced Photon Source, Argonne National Laboratory, Argonne, Illinois 60439, United States; Lee, Wontae; Park, Gwi Ok; Park, Su Bin; Yoo, Jaeseung; Hong, Jin Seok [Samsung Advanced Institute of Technology, Samsung Electronics, 130 Samsung-ro, Suwon 16678, South Korea; Choi, Youn-Suk [Samsung Advanced Institute of Technology, Samsung Electronics, 130 Samsung-ro, Suwon 16678, South Korea; Lee, Hyo Sug [Samsung Advanced Institute of Technology, Samsung Electronics, 130 Samsung-ro, Suwon 16678, South Korea; Bae, In Tae; Kim, Ji Man; Yoon, Won-Sub

2018-02-26

Current lithium ion battery technology is tied in with conventional reaction mechanisms such as insertion, conversion, and alloying reactions even though most future applications like EVs demand much higher energy densities than current ones. Exploring the exceptional reaction mechanism and related electrode materials can be critical for pushing current battery technology to a next level. Here, we introduce an exceptional reaction with a Co(OH)(2) material which exhibits an initial charge capacity of 1112 mAh g(-1), about twice its theoretical value based on known conventional conversion reaction, and retains its first cycle capacity after 30 cycles. The combined results of synchrotron X-ray diffraction and X-ray absorption spectroscopy indicate that nanosized Co metal particles and LiOH are generated by conversion reaction at high voltages, and CoxHy, Li2O, and LiH are subsequently formed by hydride reaction between Co metal, LiOH, and other lithium species at low voltages, resulting in a anomalously high capacity beyond the theoretical capacity of Co(OH)(2). This is further corroborated by AIMD simulations, localized STEM, and XPS. These findings will provide not only further understanding of exceptional lithium storage of recent nanostructured materials but also valuable guidance to develop advanced electrode materials with high energy density for next-generation batteries.

3 CFR 13488 - Executive Order 13488 of January 16, 2009. Granting Reciprocity on Excepted Service and Federal...

Science.gov (United States)

2010-01-01

... 3 The President 1 2010-01-01 2010-01-01 false Executive Order 13488 of January 16, 2009. Granting Reciprocity on Excepted Service and Federal Contractor Employee Fitness and Reinvestigating Individuals in... January 16, 2009 EO 13488 Granting Reciprocity on Excepted Service and Federal Contractor Employee Fitness...

Application of proving-ring technology to measure thermally induced displacements in large boreholes in rock

International Nuclear Information System (INIS)

Patrick, W.C.; Reactor, N.L.; Butkovich, T.R.

1984-03-01

A strain-gauged proving-ring transducer was designed and deployed to measure small diametral displacements in 0.61-m diameter boreholes in rock. The rock surrounding the boreholes was previously heated by storage of spent nuclear fuel assemblies and measurements during post-retrieval cooling of the rock were made. To accomplish this, a transducer was designed to measure displacements in the range of 10 to 100 μm, to function in a time-varying temperature regime of 30 0 to 60 0 C at a relative humidity of 100%, to be of low stiffness, and to be easily and quickly installed. 7 references, 6 figures, 1 table

Moral absolutism and the double-effect exception: reflections on Joseph Boyle's Who is entitled to double effect?

Science.gov (United States)

Donagan, A

1991-10-01

Joseph Boyle raises important questions about the place of the double-effect exception in absolutist moral theories. His own absolutist theory (held by many, but not all, Catholic moralists), which derives from the principles that fundamental human goods may not be intentionally violated, cannot dispense with such exceptions, although he rightly rejects some widely held views about what they are. By contrast, Kantian absolutist theory, which derives from the principle that lawful freedom must not be violated, has a corollary--that it is a duty, where possible, to coerce those who try to violate lawful freedom--which makes superfluous many of the double-effect exceptions Boyle allows. Other implications of the two theories are contrasted. Inter alia, it is argued that, in Boyle's theory, that a violation of a fundamental human good can be viewed as a cost proportionate to a benefit obtained, cannot yield a double-effect exception to the prohibition of intentionally violating that good, because paying a cost cannot be unintentional.

A Short-Range Distance Sensor with Exceptional Linearity

Science.gov (United States)

Simmons, Steven; Youngquist, Robert

2013-01-01

A sensor has been demonstrated that can measure distance over a total range of about 300 microns to an accuracy of about 0.1 nm (resolution of about 0.01 nm). This represents an exceptionally large dynamic range of operation - over 1,000,000. The sensor is optical in nature, and requires the attachment of a mirror to the object whose distance is being measured. This work resulted from actively developing a white light interferometric system to be used to measure the depths of defects in the Space Shuttle Orbiter windows. The concept was then applied to measuring distance. The concept later expanded to include spectrometer calibration. In summary, broadband (i.e., white) light is launched into a Michelson interferometer, one mirror of which is fixed and one of which is attached to the object whose distance is to be measured. The light emerging from the interferometer has traveled one of two distances: either the distance to the fixed mirror and back, or the distance to the moving mirror and back. These two light beams mix and produce an interference pattern where some wavelengths interfere constructively and some destructively. Sending this light into a spectrometer allows this interference pattern to be analyzed, yielding the net distance difference between the two paths. The unique feature of this distance sensor is its ability to measure accurately distance over a dynamic range of more than one million, the ratio of its range (about 300 microns) to its accuracy (about 0.1 nanometer). Such a large linear operating range is rare and arises here because both amplitude and phase-matching algorithms contribute to the performance. The sensor is limited by the need to attach a mirror of some kind to the object being tracked, and by the fairly small total range, but the exceptional dynamic range should make it of interest.

Bringing Anomie Back In: Exceptional Events and Excess Suicide

Directory of Open Access Journals (Sweden)

Mark Anthony Hoffman

2015-04-01

Full Text Available In this article we show that imitation is not the mechanism behind the observed increase in suicides subsequent to highly publicized celebrity suicides. Instead, we show that most celebrity suicides are exceptional events and because of that have similar effects on the daily suicide rate as other exciting events. This finding suggests that Durkheim was right in rejecting the Tardean hypothesis that imitation is an operative mechanism and provides substantial support for the competing hypothesis that disruptive and/or exciting events (whether favorable or unfavorable induce anomie and with it suicide.

The exceptional generalised geometry of supersymmetric AdS flux backgrounds

Energy Technology Data Exchange (ETDEWEB)

Ashmore, Anthony [Merton College, University of Oxford,Merton Street, Oxford, OX1 4JD (United Kingdom); Mathematical Institute, University of Oxford, Andrew Wiles Building,Woodstock Road, Oxford, OX2 6GG (United Kingdom); Petrini, Michela [Sorbonne Université, UPMC Paris 06, UMR 7589,LPTHE, 75005 Paris (France); Waldram, Daniel [Department of Physics, Imperial College London,Prince Consort Road, London, SW7 2AZ (United Kingdom)

2016-12-29

We analyse generic AdS flux backgrounds preserving eight supercharges in D=4 and D=5 dimensions using exceptional generalised geometry. We show that they are described by a pair of globally defined, generalised structures, identical to those that appear for flat flux backgrounds but with different integrability conditions. We give a number of explicit examples of such “exceptional Sasaki-Einstein” backgrounds in type IIB supergravity and M-theory. In particular, we give the complete analysis of the generic AdS{sub 5} M-theory backgrounds. We also briefly discuss the structure of the moduli space of solutions. In all cases, one structure defines a “generalised Reeb vector” that generates a Killing symmetry of the background corresponding to the R-symmetry of the dual field theory, and in addition encodes the generic contact structures that appear in the D=4 M-theory and D=5 type IIB cases. Finally, we investigate the relation between generalised structures and quantities in the dual field theory, showing that the central charge and R-charge of BPS wrapped-brane states are both encoded by the generalised Reeb vector, as well as discussing how volume minimisation (the dual of a- and F-maximisation) is encoded.

Exceptionally high levels of recombination across the honey bee genome.

Science.gov (United States)

Beye, Martin; Gattermeier, Irene; Hasselmann, Martin; Gempe, Tanja; Schioett, Morten; Baines, John F; Schlipalius, David; Mougel, Florence; Emore, Christine; Rueppell, Olav; Sirviö, Anu; Guzmán-Novoa, Ernesto; Hunt, Greg; Solignac, Michel; Page, Robert E

2006-11-01

The first draft of the honey bee genome sequence and improved genetic maps are utilized to analyze a genome displaying 10 times higher levels of recombination (19 cM/Mb) than previously analyzed genomes of higher eukaryotes. The exceptionally high recombination rate is distributed genome-wide, but varies by two orders of magnitude. Analysis of chromosome, sequence, and gene parameters with respect to recombination showed that local recombination rate is associated with distance to the telomere, GC content, and the number of simple repeats as described for low-recombining genomes. Recombination rate does not decrease with chromosome size. On average 5.7 recombination events per chromosome pair per meiosis are found in the honey bee genome. This contrasts with a wide range of taxa that have a uniform recombination frequency of about 1.6 per chromosome pair. The excess of recombination activity does not support a mechanistic role of recombination in stabilizing pairs of homologous chromosome during chromosome pairing. Recombination rate is associated with gene size, suggesting that introns are larger in regions of low recombination and may improve the efficacy of selection in these regions. Very few transposons and no retrotransposons are present in the high-recombining genome. We propose evolutionary explanations for the exceptionally high genome-wide recombination rate.

TRANSPORT CONTRACT - EXCEPTION TO THE RELATIVITY EFFECTS OF LEGAL DOCUMENT

Directory of Open Access Journals (Sweden)

Adriana Elena Belu

2016-11-01

Full Text Available The parts to the contract are the shipper freight and the carrier. But the beneficiary of the contract is the conignee, although he doesn’t take part to the signing of the contract, he is (if he is adhering to the contract acquirer of rights and obligations which result from the contract of carriage. The contract of carriage is considered an exception to the principle of relativity effects of the legal act and it is considered by some authors in the literature as a stipulation for another with certain features. Stipulation for another is the contract whereby one part (stipulate provide that the other side (promisor to give, to do or not to do something for the benefit of a third person (beneficiary who do not participate, and he doesn’t take part to the conclusion of the contract. It is considered the only real exception of the principle of relativity. Called contract for another's benefit, stipulation for another creates for the beneficiary third-part right, directly and immediately created in his benefit since the conclusion of the contract between the promisor and the stipulate. The right is created from the time of signing the contract, in the patrimony of beneficiary, regardless of beneficiary’s accepting or waivering this right.

F4 , E6 and G2 exceptional gauge groups in the vacuum domain structure model

Science.gov (United States)

Shahlaei, Amir; Rafibakhsh, Shahnoosh

2018-03-01

Using a vacuum domain structure model, we calculate trivial static potentials in various representations of F4 , E6, and G2 exceptional groups by means of the unit center element. Due to the absence of the nontrivial center elements, the potential of every representation is screened at far distances. However, the linear part is observed at intermediate quark separations and is investigated by the decomposition of the exceptional group to its maximal subgroups. Comparing the group factor of the supergroup with the corresponding one obtained from the nontrivial center elements of S U (3 ) subgroup shows that S U (3 ) is not the direct cause of temporary confinement in any of the exceptional groups. However, the trivial potential obtained from the group decomposition into the S U (3 ) subgroup is the same as the potential of the supergroup itself. In addition, any regular or singular decomposition into the S U (2 ) subgroup that produces the Cartan generator with the same elements as h1, in any exceptional group, leads to the linear intermediate potential of the exceptional gauge groups. The other S U (2 ) decompositions with the Cartan generator different from h1 are still able to describe the linear potential if the number of S U (2 ) nontrivial center elements that emerge in the decompositions is the same. As a result, it is the center vortices quantized in terms of nontrivial center elements of the S U (2 ) subgroup that give rise to the intermediate confinement in the static potentials.

76 FR 35275 - Export Control Reform Initiative: Strategic Trade Authorization License Exception

Science.gov (United States)

2011-06-16

... (c)(2) destinations are: Albania, Hong Kong, India, Israel, Malta, Singapore, South Africa, and... Exception Strategic Trade Authorization (STA) authorizes, with conditions, the export, reexport and transfer... BIS's workload and, without adequate preparation, could result in backlogs and delays. BIS is working...

19 CFR 12.48 - Importation prohibited; exceptions to prohibition of importation; procedure.

Science.gov (United States)

2010-04-01

..., historical, or newsworthy purposes in articles, books, journals, newspapers, or albums (but not for advertising purposes, except illustrations of stamps and paper money in philatelic or numismatic advertising... numismatic articles, books, journals, newspapers, or albums) of black and white illustrations of canceled and...

Particulate Air Pollution, Exceptional Aging, and Rates of Centenarians: A Nationwide Analysis of the United States, 1980-2010.

Science.gov (United States)

Baccarelli, Andrea A; Hales, Nick; Burnett, Richard T; Jerrett, Michael; Mix, Carter; Dockery, Douglas W; Pope, C Arden

2016-11-01

Exceptional aging, defined as reaching age 85 years, shows geographic inequalities that may depend on local environmental conditions. Links between particulate pollution-a well-recognized environmental risk factor-and exceptional aging have not been investigated. We conducted a nationwide analysis of ~28 million adults in 3,034 United States counties to determine whether local PM2.5 levels (particulate matter migration variables. On average, 2,295 and 71.4 per 10,000 of the 55- to 64- and 70- to 74-year-olds in 1980, respectively, remained in the 85- to 94- and 100- to 104-year-old population in 2010. An interquartile range (4.19 μg/m3) increase in PM2.5 was associated with 93.7 fewer 85- to 94-year-olds (p national standard. Exceptional aging was strongly associated with smoking, with an interquartile range (4.77%) increase in population who smoked associated with 181.9 fewer 85- to 94-year-olds (p income. Communities with the most exceptional aging have low ambient air pollution and low rates of smoking, poverty, and obesity. Improvements in these determinants may contribute to increasing exceptional aging. Citation: Baccarelli AA, Hales N, Burnett RT, Jerrett M, Mix C, Dockery DW, Pope CA III. 2016. Particulate air pollution, exceptional aging, and rates of centenarians: a nationwide analysis of the United States, 1980-2010. Environ Health Perspect 124:1744-1750; http://dx.doi.org/10.1289/EHP197.

JPSS Proving Ground Activities with NASA's Short-term Prediction Research and Transition (SPoRT) Center

Science.gov (United States)

Schultz, L. A.; Smith, M. R.; Fuell, K.; Stano, G. T.; LeRoy, A.; Berndt, E.

2015-12-01

Instruments aboard the Joint Polar Satellite System (JPSS) series of satellites will provide imagery and other data sets relevant to operational weather forecasts. To prepare current and future weather forecasters in application of these data sets, Proving Ground activities have been established that demonstrate future JPSS capabilities through use of similar sensors aboard NASA's Terra and Aqua satellites, and the S-NPP mission. As part of these efforts, NASA's Short-term Prediction Research and Transition (SPoRT) Center in Huntsville, Alabama partners with near real-time providers of S-NPP products (e.g., NASA, UW/CIMSS, UAF/GINA, etc.) to demonstrate future capabilities of JPSS. This includes training materials and product distribution of multi-spectral false color composites of the visible, near-infrared, and infrared bands of MODIS and VIIRS. These are designed to highlight phenomena of interest to help forecasters digest the multispectral data provided by the VIIRS sensor. In addition, forecasters have been trained on the use of the VIIRS day-night band, which provides imagery of moonlit clouds, surface, and lights emitted by human activities. Hyperspectral information from the S-NPP/CrIS instrument provides thermodynamic profiles that aid in the detection of extremely cold air aloft, helping to map specific aviation hazards at high latitudes. Hyperspectral data also support the estimation of ozone concentration, which can highlight the presence of much drier stratospheric air, and map its interaction with mid-latitude or tropical cyclones to improve predictions of their strengthening or decay. Proving Ground activities are reviewed, including training materials and methods that have been provided to forecasters, and forecaster feedback on these products that has been acquired through formal, detailed assessment of their applicability to a given forecast threat or task. Future opportunities for collaborations around the delivery of training are proposed

The Exceptional Lie symmetry groups hierarchy and the expected number of Higgs bosons

International Nuclear Information System (INIS)

El Naschie, M.S.

2008-01-01

New insights into the structure of various exceptional Lie symmetry groups hierarchies are utilized to shed light on various problems pertinent to the standard model of high energy physics and the Higgs

29 CFR 471.3 - What exceptions apply and what exemptions are available?

Science.gov (United States)

2010-07-01

..., DEPARTMENT OF LABOR NOTIFICATION OF EMPLOYEE RIGHTS UNDER FEDERAL LABOR LAWS OBLIGATIONS OF FEDERAL CONTRACTORS AND SUBCONTRACTORS; NOTIFICATION OF EMPLOYEE RIGHTS UNDER FEDERAL LABOR LAWS Definitions... 29 Labor 2 2010-07-01 2010-07-01 false What exceptions apply and what exemptions are available...

The Effects of GeoGebra Software on Pre-Service Mathematics Teachers' Attitudes and Views toward Proof and Proving

Science.gov (United States)

Zengin, Yilmaz

2017-01-01

The purpose of this study is to determine the effect of GeoGebra software on pre-service mathematics teachers' attitudes towards proof and proving and to determine pre-service teachers' pre- and post-views regarding proof. The study lasted nine weeks and the participants of the study consisted of 24 pre-service mathematics teachers. The study used…

Non-linear quenching of current fluctuations in a self-exciting homopolar dynamo, proved by feedback system theory

Science.gov (United States)

de Paor, A. M.

Hide (Nonlinear Processes in Geophysics, 1998) has produced a new mathematical model of a self-exciting homopolar dynamo driving a series- wound motor, as a continuing contribution to the theory of the geomagnetic field. By a process of exact perturbation analysis, followed by combination and partial solution of differential equations, the complete nonlinear quenching of current fluctuations reported by Hide in the case that a parameter ɛ has the value 1 is proved via the Popov theorem from feedback system stability theory.

The Bangladesh paradox: exceptional health achievement despite economic poverty.

Science.gov (United States)

Chowdhury, A Mushtaque R; Bhuiya, Abbas; Chowdhury, Mahbub Elahi; Rasheed, Sabrina; Hussain, Zakir; Chen, Lincoln C

2013-11-23

Bangladesh, the eighth most populous country in the world with about 153 million people, has recently been applauded as an exceptional health performer. In the first paper in this Series, we present evidence to show that Bangladesh has achieved substantial health advances, but the country's success cannot be captured simplistically because health in Bangladesh has the paradox of steep and sustained reductions in birth rate and mortality alongside continued burdens of morbidity. Exceptional performance might be attributed to a pluralistic health system that has many stakeholders pursuing women-centred, gender-equity-oriented, highly focused health programmes in family planning, immunisation, oral rehydration therapy, maternal and child health, tuberculosis, vitamin A supplementation, and other activities, through the work of widely deployed community health workers reaching all households. Government and non-governmental organisations have pioneered many innovations that have been scaled up nationally. However, these remarkable achievements in equity and coverage are counterbalanced by the persistence of child and maternal malnutrition and the low use of maternity-related services. The Bangladesh paradox shows the net outcome of successful direct health action in both positive and negative social determinants of health--ie, positives such as women's empowerment, widespread education, and mitigation of the effect of natural disasters; and negatives such as low gross domestic product, pervasive poverty, and the persistence of income inequality. Bangladesh offers lessons such as how gender equity can improve health outcomes, how health innovations can be scaled up, and how direct health interventions can partly overcome socioeconomic constraints. Copyright © 2013 Elsevier Ltd. All rights reserved.

How to prove the Earth's daily and annual direction of its spinning

Directory of Open Access Journals (Sweden)

Drago Špoljarić

2014-12-01

Full Text Available Every day, we can observe the Sun's apparent motion around the sky. It rises in the east, gets to its highest point above the horizon at noon, and sets in the west. The stars appear to be fixed on the sky and move around apparently together with the Sun. We have daytime1 and night. The apparent annual motion of the Sun results in seasons when we can see different stars. These directly visible daily and annual changes result from real Earth’s motions – the Earth’s daily and annual spinning (rotation and revolution and they are not easily explainable without understanding the Earth’s motions. In order to understand the apparent daily and annual motions and motion direction of the Sun and stars (night sky, it is very important to know where we are on the Earth, what is our geographic position, i.e. to know the cardinal points. At the same time, one should take into consideration also the direction of the Earth’s rotation and revolution. What is the Earth’s daily or annual direction of spinning as related to the direction of clock hands, and how do we prove it?

Environmental Licensing: an Instrument of Command and Control by Exception?

OpenAIRE

Sleman Chams, Juliette; Gestión Ambiental de la Corporación Autónoma Regional del Atlántico-CRA, autoridad ambiental del Departamento del Atlántico,; Velásquez Muñoz, Carlos Javier; Universidad del Norte (Barranquilla)

2016-01-01

This article analyzes the situation of the most important instrument of command and control existing in the Colombian environmental legislation: the environmental license. Since its first formal regulation, on behalf of Decree 1753 of August 3, 1994, has received several modifications which, apparently, have made, in spite of its importance, in an instrument of command and control by exception. The article revises on the scope of each of the modifications and the justifications put forward by...

Cigar Lake, an original method for an exceptional deposit

International Nuclear Information System (INIS)

Caleix, C.

1997-01-01

In 1976, the discovery of the high grade Deposit at Cluff Lake in the north of the province of Saskatchewan (Canada) opened new prospects in uranium deposits, which in turn quickly led to the discovery of exceptional deposits both in terms of grade (up 10 % in metal uranium) and tonnage (150, 000 tons of metal per deposit and more). Among these deposits are Key Lake, Cigar Lake, Midwest, MacClean, and more recently, Mac Arthur. These discoveries as well as future ones make the north of Saskatchewan the world's greatest and most interesting uranium-producing province. (authors)

The savant syndrome: intellectual impairment and exceptional skill.

Science.gov (United States)

Miller, L K

1999-01-01

Occasionally, people with developmental disability display skills at a level inconsistent with their general intellectual functioning, so-called "savant" behavior. Studies of savant behavior are reviewed to determine their relevance to notions about the importance of general intellective functions in the development of exceptional skill. It is concluded that (a) the skill exhibited by savants shares many characteristics with that in people without disability, (b) the skill is usually accompanied by normative levels of performance on at least some subtests of standardized measures of cognitive achievement, and (c) it is unclear whether savants have distinctive cognitive strengths or motivational dispositions, though their relative prevalence among people with certain kinds of disability suggests predisposing constraints. The author proposes that these skills typically reflect highly elaborated preconceptual representational systems.

Special Experiences for Exceptional Students: Integrating Virtual Reality into Special Education Classrooms.

Science.gov (United States)

Miller, Erez Cedric

This paper discusses some of the potential benefits and hazards that virtual reality holds for exceptional children in the special education system. Topics addressed include (1) applications of virtual reality, including developing academic skills via cyberspace, vocational training, and social learning in cyberspace; (2) telepresence and distance…

Infinite families of (non)-Hermitian Hamiltonians associated with exceptional Xm Jacobi polynomials

International Nuclear Information System (INIS)

Midya, Bikashkali; Roy, Barnana

2013-01-01

Using an appropriate change of variable, the Schrödinger equation is transformed into a second-order differential equation satisfied by recently discovered Jacobi-type X m exceptional orthogonal polynomials. This facilitates the derivation of infinite families of exactly solvable Hermitian as well as non-Hermitian trigonometric Scarf potentials and a finite number of Hermitian and an infinite number of non-Hermitian PT-symmetric hyperbolic Scarf potentials. The bound state solutions of all these potentials are associated with the aforesaid exceptional orthogonal polynomials. These infinite families of potentials are shown to be extensions of the conventional trigonometric and hyperbolic Scarf potentials by the addition of some rational terms characterized by the presence of classical Jacobi polynomials. All the members of a particular family of these ‘rationally extended polynomial-dependent’ potentials have the same energy spectrum and possess translational shape-invariant symmetry. The obtained non-Hermitian trigonometric Scarf potentials are shown to be quasi-Hermitian in nature ensuring the reality of the associated energy spectra. (paper)

Unidirectional reflectionless light propagation at exceptional points

Directory of Open Access Journals (Sweden)

Huang Yin

2017-05-01

Full Text Available In this paper, we provide a comprehensive review of unidirectional reflectionless light propagation in photonic devices at exceptional points (EPs. EPs, which are branch point singularities of the spectrum, associated with the coalescence of both eigenvalues and corresponding eigenstates, lead to interesting phenomena, such as level repulsion and crossing, bifurcation, chaos, and phase transitions in open quantum systems described by non-Hermitian Hamiltonians. Recently, it was shown that judiciously designed photonic synthetic matters could mimic the complex non-Hermitian Hamiltonians in quantum mechanics and realize unidirectional reflection at optical EPs. Unidirectional reflectionlessness is of great interest for optical invisibility. Achieving unidirectional reflectionless light propagation could also be potentially important for developing optical devices, such as optical network analyzers. Here, we discuss unidirectional reflectionlessness at EPs in both parity-time (PT-symmetric and non-PT-symmetric optical systems. We also provide an outlook on possible future directions in this field.

Stem cell policy exceptionalism: proceed with caution.

Science.gov (United States)

Lomax, Geoffrey P; Peckman, Steven R

2012-06-01

The term "stem cell exceptionalism" has been used to characterize the policy response to controversies surrounding human embryonic stem cell research. For example, governments and funding agencies have adopted policies governing the derivation and use of human embryonic stem cell lines. These policies have effectively served to fill gaps in existing guidelines and regulations and signal that scientists are committed to a responsible framework for the conduct of research involving human embryos. Recent publications discuss whether ethical and policy issues associated with induced pluripotent cells (iPSCs) from non-embryonic sources create a need for further policy intervention. We suggest many of the issues identified by commentators may be addressed through the application of established policy frameworks governing the use of tissue, human stem cells, and research participation by human research subjects. To the extent, iPSC research intersects with hESC research (e.g. the creation of human gametes and/or embryos), the policy framework governing hESC appears sufficiently robust at this time.

Non-linear quenching of current fluctuations in a self-exciting homopolar dynamo, proved by feedback system theory

Directory of Open Access Journals (Sweden)

A. M. de Paor

1998-01-01

Full Text Available Hide (Nonlinear Processes in Geophysics, 1998 has produced a new mathematical model of a self-exciting homopolar dynamo driving a series- wound motor, as a continuing contribution to the theory of the geomagnetic field. By a process of exact perturbation analysis, followed by combination and partial solution of differential equations, the complete nonlinear quenching of current fluctuations reported by Hide in the case that a parameter ε has the value 1 is proved via the Popov theorem from feedback system stability theory.

Aurally Handicapped -- Research; A Selective Bibliography. Exceptional Child Bibliography Series No. 625.

Science.gov (United States)

Council for Exceptional Children, Reston, VA. Information Center on Exceptional Children.

The selected bibliography of research on aurally handicapped children contains approximately 95 abstracts with indexing information explained to be drawn from the computer file of abstracts representing the Council for Exceptional Children Information Center's complete holdings as of August, 1972. Abstracts are said to be chosen using the criteria…

12 CFR 723.17 - Are there any exceptions to the aggregate loan limit?

Science.gov (United States)

2010-01-01

.... Loans that are excepted from the definition of member business loans are not counted for the purpose of... automobile loans, 20% credit card loans, and 13% total other real estate loans, then the credit union meets...

17 CFR 247.776 - Exemption from the definition of “broker” for banks effecting certain excepted or exempted...

Science.gov (United States)

2010-04-01

... 17 Commodity and Securities Exchanges 3 2010-04-01 2010-04-01 false Exemption from the definition of âbrokerâ for banks effecting certain excepted or exempted transactions in a company's securities... AND EXCHANGE COMMISSION (CONTINUED) REGULATION R-EXEMPTIONS AND DEFINITIONS RELATED TO THE EXCEPTIONS...

17 CFR 247.775 - Exemption from the definition of “broker” for banks effecting certain excepted or exempted...

Science.gov (United States)

2010-04-01

... 17 Commodity and Securities Exchanges 3 2010-04-01 2010-04-01 false Exemption from the definition of âbrokerâ for banks effecting certain excepted or exempted transactions in investment company... (CONTINUED) REGULATION R-EXEMPTIONS AND DEFINITIONS RELATED TO THE EXCEPTIONS FOR BANKS FROM THE DEFINITION...

78 FR 62650 - Request for Nominees to Serve on the Bureau of Indian Education Advisory Board for Exceptional...

Science.gov (United States)

2013-10-22

... Exceptional Children AGENCY: Bureau of Indian Affairs, Interior. ACTION: Notice. SUMMARY: The Bureau of Indian... DEPARTMENT OF THE INTERIOR Bureau of Indian Affairs [124A2100RM. AADD003200. A087C222. 999900. AR... for Exceptional Children (Advisory Board). There are six positions available. BIE will consider...

12 CFR 216.15 - Other exceptions to notice and opt out requirements.

Science.gov (United States)

2010-01-01

... insurance to the consumer. (2) A consumer may revoke consent by subsequently exercising the right to opt out... RESERVE SYSTEM PRIVACY OF CONSUMER FINANCIAL INFORMATION (REGULATION P) Exceptions § 216.15 Other... consent or at the direction of the consumer, provided that the consumer has not revoked the consent or...

Predicting the Resiliency in Parents with Exceptional Children Based on Their Mindfulness

Science.gov (United States)

Jabbari, Sosan; Firoozabadi, Somayeh Sadati; Rostami, Sedighe

2016-01-01

The purpose of the present study was to predict the resiliency in parents with exceptional children based on their mindfulness. This descriptive correlational study was performed on 260 parents of student (105 male and 159 female) that were selected by cluster sampling method. Family resiliency questionnaire (Sickby, 2005) and five aspect…

Labelling and Self-Esteem: Does Labelling Exceptional Students Impact Their Self-Esteem?

Science.gov (United States)

Thomson, Margareta Maria

2012-01-01

The purpose of this investigation was to explore the existing relationships between main concepts associated with labelling exceptional students and impact on their self-esteem. The aim was to examine how these concepts are presented in the existing research literature, and what the implications are for educational practice of labelling…

Selection of exception limits for all actinide nuclides based on revised criteria for safe international transport

International Nuclear Information System (INIS)

Lavarenne, C.; Rouyer, V.; Sert, G.; Mennerdahl, D.; Dean, C.; Barton, N.; Jean, F.

2003-01-01

Since 1998, there have been some speculations about future transport of significant quantities and concentrations of other actinide nuclides than the four currently listed in the regulation for the safe transport of the radioactive material. Therefore, it raised a need to specify exception limits for such actinides. Additionally, the total fissile nuclide mass per consignment of excepted packages was limited in the 1996 edition of the regulations (a conveyance limit is preliminary supported in the 2003 revision). The proposed changes of the rules have to take this new control into account. The European Community (DGTREN) decided to fund a project related to this subject. In order to define credible exception limits, it was necessary to have reasonably accurate data for all actinide nuclides. Then the authors of the study decided to perform calculations with different codes (MONK, MCNP, CRISTAL, SCALE) and different cross-section libraries (JEF2.2, ENDFB, JENDL, etc.). This article presents the work achieved and gives propositions of modification for the IAEA requirements for the Safe Transport of Radioactive Material related to, firstly, the list of the fissile materials, and secondly, the rule to determine the quantities of actinide nuclides that can be excepted from the requirements for the packages containing fissile materials. The participants acknowledge the DGTREN who made this work possible due to its support. (author)

12 CFR 218.775 - Exemption from the definition of “broker” for banks effecting certain excepted or exempted...

Science.gov (United States)

2010-01-01

... 12 Banks and Banking 2 2010-01-01 2010-01-01 false Exemption from the definition of âbrokerâ for banks effecting certain excepted or exempted transactions in investment company securities. 218.775... EXCEPTIONS FOR BANKS FROM THE DEFINITION OF BROKER IN THE SECURITIES EXCHANGE ACT OF 1934 (REGULATION R...

12 CFR 218.776 - Exemption from the definition of “broker” for banks effecting certain excepted or exempted...

Science.gov (United States)

2010-01-01

... 12 Banks and Banking 2 2010-01-01 2010-01-01 false Exemption from the definition of âbrokerâ for banks effecting certain excepted or exempted transactions in a company's securities for its employee... FEDERAL RESERVE SYSTEM EXCEPTIONS FOR BANKS FROM THE DEFINITION OF BROKER IN THE SECURITIES EXCHANGE ACT...

Bronchoscopic diagnostic procedures and microbiological examinations in proving endobronchial tuberculosis

Directory of Open Access Journals (Sweden)

Abdullah Şimşek

Full Text Available ABSTRACT Objective: To determine the proportional distribution of endobronchial tuberculosis (EBTB subtypes and to evaluate the types of bronchoscopic diagnostic procedures that can prove granulomatous inflammation. Methods: This was a retrospective study of 18 HIV-negative patients with biopsy-proven EBTB treated between 2010 and 2014. Results: The most common EBTB subtypes, as classified by the bronchoscopic features, were tumorous and granular (in 22.2% for both. Sputum smear microscopy was performed in 11 patients and was positive for AFB in 4 (36.3%. Sputum culture was also performed in 11 patients and was positive for Mycobacterium tuberculosis in 10 (90.9%. Smear microscopy of BAL fluid (BALF was performed in 16 patients and was positive for AFB in 10 (62.5%. Culture of BALF was also performed in 16 patients and was positive for M. tuberculosis in 15 (93.7%. Culture of BALF was positive for M. tuberculosis in 93.7% of the 16 patients tested. Among the 18 patients with EBTB, granulomatous inflammation was proven by the following bronchoscopic diagnostic procedures: bronchial mucosal biopsy, in 8 (44.4%; bronchial brushing, in 7 (38.8%; fine-needle aspiration biopsy, in 2 (11.1%; and BAL, in 2 (11.1%. Bronchial anthracofibrosis was observed in 5 (27.7% of the 18 cases evaluated. Conclusions: In our sample of EBTB patients, the most common subtypes were the tumorous and granular subtypes. We recommend that sputum samples and BALF samples be evaluated by smear microscopy for AFB and by culture for M. tuberculosis, which could increase the rates of early diagnosis of EBTB. We also recommend that bronchial brushing be employed together with other bronchoscopic diagnostic procedures in patients suspected of having EBTB.

Contamination source review for Building E2370, Edgewood Area, Aberdeen Proving Ground, Maryland

Energy Technology Data Exchange (ETDEWEB)

O`Reilly, D.P.; Glennon, M.A.; Draugelis, A.K.; Rueda, J.; Zimmerman, R.E.

1995-09-01

The US Army Aberdeen Proving Ground (APG) commissioned Argonne National Laboratory (ANL) to conduct a contamination source review to identify and define areas of toxic or hazardous contaminants and to assess the physical condition and accessibility of APG buildings. The information obtained from this review may be used to assist the US Army in planning for the future use or disposition of the buildings. The contamination source review consisted of the following tasks: historical records search, physical inspection, photographic documentation, and geophysical investigation. This report provides the results of the contamination source review for Building E2370. Many of the APG facilities constructed between 1917 and the 1960s are no longer used because of obsolescence and their poor state of repair. Because many of these buildings were used for research, development, testing, and/or pilot-scale production of chemical warfare agents and other military substances, the potential exists for portions of the buildings to be contaminated with these substances, their degradation products, and other laboratory or industrial chemicals. These buildings and associated structures or appurtenances may contribute to environmental concerns at APG.

Darboux partners of pseudoscalar Dirac potentials associated with exceptional orthogonal polynomials

International Nuclear Information System (INIS)

Schulze-Halberg, Axel; Roy, Barnana

2014-01-01

We introduce a method for constructing Darboux (or supersymmetric) pairs of pseudoscalar and scalar Dirac potentials that are associated with exceptional orthogonal polynomials. Properties of the transformed potentials and regularity conditions are discussed. As an application, we consider a pseudoscalar Dirac potential related to the Schrödinger model for the rationally extended radial oscillator. The pseudoscalar partner potentials are constructed under the first- and second-order Darboux transformations

Darboux partners of pseudoscalar Dirac potentials associated with exceptional orthogonal polynomials

Energy Technology Data Exchange (ETDEWEB)

Schulze-Halberg, Axel, E-mail: xbataxel@gmail.com [Department of Mathematics and Actuarial Science, Indiana University Northwest, 3400 Broadway, Gary, IN 46408 (United States); Department of Physics, Indiana University Northwest, 3400 Broadway, Gary, IN 46408 (United States); Roy, Barnana, E-mail: barnana@isical.ac.in [Physics and Applied Mathematics Unit, Indian Statistical Institute, Kolkata 700108 (India)

2014-10-15

We introduce a method for constructing Darboux (or supersymmetric) pairs of pseudoscalar and scalar Dirac potentials that are associated with exceptional orthogonal polynomials. Properties of the transformed potentials and regularity conditions are discussed. As an application, we consider a pseudoscalar Dirac potential related to the Schrödinger model for the rationally extended radial oscillator. The pseudoscalar partner potentials are constructed under the first- and second-order Darboux transformations.

Environmental geophysics at the Southern Bush River Peninsula, Aberdeen Proving Ground, Maryland

Energy Technology Data Exchange (ETDEWEB)

Davies, B.E.; Miller, S.F.; McGinnis, L.D. [and others

1995-05-01

Geophysical studies have been conducted at five sites in the southern Bush River Peninsula in the Edgewood Area of Aberdeen Proving Ground, Maryland. The goals of the studies were to identify areas containing buried metallic objects and to provide diagnostic signatures of the hydrogeologic framework of the site. These studies indicate that, during the Pleistocene Epoch, alternating stands of high and low sea level resulted in a complex pattern of channel-fill deposits. Paleochannels of various sizes and orientations have been mapped throughout the study area by means of ground-penetrating radar and EM-31 techniques. The EM-31 paleochannel signatures are represented onshore either by conductivity highs or lows, depending on the depths and facies of the fill sequences. A companion study shows the features as conductivity highs where they extend offshore. This erosional and depositional system is environmentally significant because of the role it plays in the shallow groundwater flow regime beneath the site. Magnetic and electromagnetic anomalies outline surficial and buried debris throughout the areas surveyed. On the basis of geophysical measurements, large-scale (i.e., tens of feet) landfilling has not been found in the southern Bush River Peninsula, though smaller-scale dumping of metallic debris and/or munitions cannot be ruled out.

Military Personnel: Medical, Family Support, and Educational Services Are Available for Exceptional Family Members

National Research Council Canada - National Science Library

Crosse, Marcia

2007-01-01

The Department of Defense's (DOD) Exceptional Family Member Program (EFMP) is a mandatory enrollment program for active duty servicemembers who have family members with special medical needs. The Ronald W...

A qualitative study of institutional review board members' experience reviewing research proposals using emergency exception from informed consent.

Science.gov (United States)

McClure, Katie B; Delorio, Nicole M; Schmidt, Terri A; Chiodo, Gary; Gorman, Paul

2007-05-01

Emergency exception to informed consent regulation was introduced to provide a venue to perform research on subjects in emergency situations before obtaining informed consent. For a study to proceed, institutional review boards (IRBs) need to determine if the regulations have been met. To determine IRB members' experience reviewing research protocols using emergency exception to informed consent. This qualitative research used semistructured telephone interviews of 10 selected IRB members from around the US in the fall of 2003. IRB members were chosen as little is known about their views of exception to consent, and part of their mandate is the protection of human subjects in research. Interview questions focused on the length of review process, ethical and legal considerations, training provided to IRB members on the regulations, and experience using community consultation and notification. Content analysis was performed on the transcripts of interviews. To ensure validity, data analysis was performed by individuals with varying backgrounds: three emergency physicians, an IRB member and a layperson. Respondents noted that: (1) emergency exception to informed consent studies require lengthy review; (2) community consultation and notification regulations are vague and hard to implement; (3) current regulations, if applied correctly, protect human subjects; (4) legal counsel is an important aspect of reviewing exception to informed-consent protocols; and (5) IRB members have had little or no formal training in these regulations, but are able to access materials needed to review such protocols. This preliminary study suggests that IRB members find emergency exception to informed consent studies take longer to review than other protocols, and that community consultation and community notification are the most difficult aspect of the regulations with which to comply but that they adequately protect human subjects.

12 CFR 218.700 - Defined terms relating to the networking exception from the definition of “broker.”

Science.gov (United States)

2010-01-01

... the average of the minimum and maximum hourly wage established by the bank for the current or prior... exception from the definition of âbroker.â 218.700 Section 218.700 Banks and Banking FEDERAL RESERVE SYSTEM BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM EXCEPTIONS FOR BANKS FROM THE DEFINITION OF BROKER IN...

Il Servizio Nazionale di Valutazione e le prove Invalsi. Stato dell’arte e proposte per una valutazione come agente di cambiamento

Directory of Open Access Journals (Sweden)

Roberto Trinchero

2014-12-01

Full Text Available Qual è la funzione del Servizio Nazionale di Valutazione formativa degli istituti scolastici? A cosa servono davvero le prove Invalsi? Le critiche che spesso vengono mosse a queste prove sono veramente fondate? Come può la valutazione dell’offerta formativa scolastica costituire davvero un agente di miglioramento? Il presente articolo intende fornire alcune risposte a queste domande, partendo dalle istanze che hanno ispirato l’autonomia scolastica e offrendo spunti per un utilizzo non fazioso della valutazione. La valutazione può essere davvero agente di cambiamento a patto che: i sia attribuito ai dati il corretto significato; ii la scuola sia in grado di comprendere i potenziali suggerimenti che la valutazione può dare e si apra al cambiamento positivo. La valutazione applicata ad una “scuola che si difende” non può che provocare inutili esiti di facciata. La valutazione applicata ad una “scuola che apprende” può davvero aiutarla ad esplicare appieno tutte le proprie potenzialità.

Complement activation and inhibition: a delicate balance

DEFF Research Database (Denmark)

Sjöberg, A P; Trouw, L A; Blom, A M

2009-01-01

proteins, pentraxins, amyloid deposits, prions and DNA, all bind the complement activator C1q, but also interact with complement inhibitors C4b-binding protein and factor H. This contrasts to the interaction between C1q and immune complexes, in which case no inhibitors bind, resulting in full complement...

Implementation and the delicate question of context

DEFF Research Database (Denmark)

Vohnsen, Nina Holm

This paper argues against classic views that portray implementation-gone-wrong as resulting from bad planning, resistance amongst front-staff ultimately charged with implementation, miscommunication, or stake-holder resistance. Rather it places the source of distortion inside the organization whe...... a competing frame of goals and values....... marked by various other projects, efforts, and goals that compete for implementers’ attention. The paper therefore argues that the main reason policies fail are the policy-makers’ tendency to project their sites of intervention as blank slates or ‘ground zeros’ on which they can ‘build’ from scratch...... wish nothing more than to implement it but that implementers are usually placed in complex bureaucratic set-ups which are already bursting with goals (such as other legislation, local directives, other projects, result-contracts, etc.) all of which rely on their compliance to be fulfilled...

Blood clotting and platelets: a delicate balance

International Nuclear Information System (INIS)

Heyns, A. du P.; Loetter, M.G.; Badenhorst, P.N.

1988-01-01

The Medical Research Council Blood Platelet Research Unit has studied many of the facets of platelets. The research highlights of the Unit include the following: the identification of ADPase, an enzyme found in the blood vessel wall, which breaks down adenosine diphospate (ADP) to adenosine, and which inhibits platelet aggregation; the determination of the relationship between the biochemical activity of the vessel wall with the development of atherosclerosis; the development of a method to label platelets with the compound In-111-oxine; the use of labelled platelets to study platelets in the spleen: an investigation of the life-span of platelets, which revealed how aged platelets are removed from circulation, and recently a study of methods to demonstrate in vivo activation of platelets. 1 fig

The art of negotiation. A delicate balance.

Science.gov (United States)

Rehberg, C; Sullivan, G

1997-01-01

Successful negotiation is the art of gentle persuasion, not a "winner-take-all" showdown. Accordingly, it is essential to begin the process with a positive outlook and with the goal of reaching an agreement that is acceptable to all parties involved. Although the term "opponent" is used in this article to describe the person or group with whom you are negotiating, it is not used in the adversarial context. It is important to maintain a non-adversarial relationship, to the extent possible.

Freedom and security: a sometimes delicate balance

CERN Multimedia

2015-01-01

Like any academic institution, CERN celebrates freedom: freedom of expression, freedom of thought and freedom of movement. Occasionally, however, circumstances beyond our control oblige us to impose certain restrictions.   Friday, 26 June was just such an occasion. On that day, terrorists chose to commit unfathomable atrocities in France, near Lyon, as well as in Kuwait and Tunisia. The brutality exhibited in all three attacks is beyond comprehension, and I am sure that we all feel for the victims and all those touched by these hideous acts. At times such as this, and on the basis of information that I receive from external agencies, it is my responsibility as Director-General to decide whether measures are needed at CERN, and to apply them at an appropriate level if I deem it necessary. On Friday, based on the information I had at my disposal, I decided that the situation merited extra vigilance at the entrances to CERN for the sake of ensuring the safety and security of everyone on site. I...

Reproductive Health Aid : A Delicate Balancing Act

NARCIS (Netherlands)

van Dalen, H.P.; Micevska Scharf, M.

2011-01-01

In this contribution the authors show that development assistance targeting reproductive health overwhelmingly concentrates on HIV/AIDS at the expense of family planning elements. Data on financial contributions disbursed by governments and private foundations are used as collected by the Resource

Phase diagrams of exceptional and supersymmetric lattice gauge theories

Energy Technology Data Exchange (ETDEWEB)

Wellegehausen, Bjoern-Hendrik

2012-07-10

In this work different strongly-coupled gauge theories with and without fundamental matter have been studied on the lattice with an emphasis on the confinement problem and the QCD phase diagram at nonvanishing net baryon density as well as on possible supersymmetric extensions of the standard model of particle physics. In gauge theories with a non-trivial centre symmetry, as for instance SU(3)-Yang-Mills theory, confinement is intimately related to the centre of the gauge group, and the Polyakov loop serves as an order parameter for confinement. In QCD, this centre symmetry is explicitly broken by quarks in the fundamental representation of the gauge group. But still quarks and gluons are confined in mesons, baryons and glueballs at low temperatures and small densities, suggesting that centre symmetry is not responsible for the phenomenon of confinement. Therefore it is interesting to study pure gauge theories without centre symmetry. In this work this has been done by replacing the gauge group SU(3) of the strong interaction with the exceptional Lie group G{sub 2}, that has a trivial centre. To investigate G{sub 2} gauge theory on the lattice, a new and highly efficient update algorithm has been developed, based on a local HMC algorithm. Employing this algorithm, the proposed and already investigated first order phase transition from a confined to a deconfined phase has been confirmed, showing that indeed a first order phase transition without symmetry breaking or an order parameter is possible. In this context, also the deconfinement phase transition of the exceptional Lie groups F4 and E6 in three spacetime dimensions has been studied. It has been shown that both theories also possess a first order phase transition.

Phase diagrams of exceptional and supersymmetric lattice gauge theories

International Nuclear Information System (INIS)

Wellegehausen, Bjoern-Hendrik

2012-01-01

In this work different strongly-coupled gauge theories with and without fundamental matter have been studied on the lattice with an emphasis on the confinement problem and the QCD phase diagram at nonvanishing net baryon density as well as on possible supersymmetric extensions of the standard model of particle physics. In gauge theories with a non-trivial centre symmetry, as for instance SU(3)-Yang-Mills theory, confinement is intimately related to the centre of the gauge group, and the Polyakov loop serves as an order parameter for confinement. In QCD, this centre symmetry is explicitly broken by quarks in the fundamental representation of the gauge group. But still quarks and gluons are confined in mesons, baryons and glueballs at low temperatures and small densities, suggesting that centre symmetry is not responsible for the phenomenon of confinement. Therefore it is interesting to study pure gauge theories without centre symmetry. In this work this has been done by replacing the gauge group SU(3) of the strong interaction with the exceptional Lie group G 2 , that has a trivial centre. To investigate G 2 gauge theory on the lattice, a new and highly efficient update algorithm has been developed, based on a local HMC algorithm. Employing this algorithm, the proposed and already investigated first order phase transition from a confined to a deconfined phase has been confirmed, showing that indeed a first order phase transition without symmetry breaking or an order parameter is possible. In this context, also the deconfinement phase transition of the exceptional Lie groups F4 and E6 in three spacetime dimensions has been studied. It has been shown that both theories also possess a first order phase transition.

"Try to Understand Us":Aboriginal Elders’ Views on Exceptionality

Directory of Open Access Journals (Sweden)

Ron Phillips

2010-07-01

Full Text Available Normal 0 false false false EN-US X-NONE X-NONE MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} This article provides an analysis of the views of four Elders at the “A Window to Seeing the World Differently, National Symposium on Aboriginal Special Education” that was held in October 2005 at First Nations University of Canada in Regina.  The symposium was an opportunity to provide educators, students, parents, and community members with information on Aboriginal views on special education.  Concern had been expressed over the high numbers of Aboriginal students being identified as “special needs” attending schools on reserves throughout Canada.  There was also concern over difficulties with the current special education system, e.g., funding, assessment, and service issues.  It was believed that the Aboriginal worldview of students with special needs as having special gifts from the Creator was not integrated into the curriculum or into teaching practices.  The article concludes with suggestions for educators on how to address exceptionalities in Aboriginal communities. Keywords: Aboriginal education, Elders, exceptionality, special education, Aboriginal special   education.

Quality factor enhancement in photonic crystal slabs by manipulation of the ring of exceptional points

DEFF Research Database (Denmark)

Kaminski, Piotr Marek; Taghizadeh, Alireza; Breinbjerg, Olav

2017-01-01

Presently, we investigate the influence of the extent of a ring of exceptional points on the Q-factor of three-dimensional photonic crystal slabs. By changing the thickness of the slab, the extent of the ring of exceptional points is varied, allowing us to recover the Dirac cones in open, non......-Hermitian systems. In this case, three bound states in the continuum are exhibited close to the Gamma-point. For an optimized thickness of the slab, the associated Q-factors are found to grow rapidly with the size of the slab. The present results may lead to novel, small area and high Q-factor photonic crystal...

76 FR 14588 - Defense Federal Acquisition Regulation Supplement; Nonavailability Exception for Procurement of...

Science.gov (United States)

2011-03-17

... Federal Acquisition Regulation Supplement; Nonavailability Exception for Procurement of Hand or Measuring... Subjects in 48 CFR Part 225 Government procurement. Ynette R. Shelkin, Editor, Defense Acquisition... requirement at 10 U.S.C. 2533a (Berry Amendment) to acquire only domestic hand or measuring tools. DATES...

Memory effect triggered by exceptional event: the Rio Cordon study case

Science.gov (United States)

Rainato, Riccardo; Mao, Luca; Picco, Lorenzo; Garcia-Rama, Adriana; Aristide Lenzi, Mario

2016-04-01

In the mountain environment, the steep channels play a key-role in the drainage networks. Notably, the sediment transport processes that here occur, can affect aspects as the geomorphic changes, channel evolution, reservoir management, infrastructure design and hazard assessment. Due to the complex and changeable hydraulic and morphological features that characterize the mountain environment, the steep channels can exhibit fluvial and/or debris-flow transport with magnitude of sediment delivery that, in the same basin, may strongly vary from event to event. In the light of these challenging conditions, appears clear as an accurate monitoring and investigation of sediment dynamics is of critical importance in the steep mountain channels. Such monitoring has even more significance if it is maintained over long-period, enabling to investigate even the role of high magnitude/low frequency events. Using a dataset 29 years-wide, this work aims to investigate the temporal trend of sediment dynamic in the Rio Cordon (Eastern Italian Alps). The Rio Cordon is a steep mountain channel (mean slope = 13%) characterized by step-pool and riffle-pool morphology. The basin (5 km2)exhibits a prevalent nivo-pluvial runoff regime. Since 1986, the catchment is equipped with a monitoring station, that continuously records water discharge, bedload and suspended load (at 1 hr intervals, and 5 min intervals during floods). In September 1994 an exceptional event (RI > 100 years) occurred in the study site, mobilizing about 4000 tons of material. Currently, the structure is managed by ARPA Veneto - Regional Department for Land Safety. In terms of magnitude, the 31 floods recorded by the monitoring station show a wide range of hydraulic forcing (i.e. peak discharge and effective runoff) and amount transported. Specifically, Qpeak ranges within one order of magnitude (1.02 - 10.42 m3 s-1), while the amount of bedload and suspended load varies by more than 3 orders (i.e. 0.9 t transported by

49 CFR 173.426 - Excepted packages for articles containing natural uranium or thorium.

Science.gov (United States)

2010-10-01

... outer surface of the uranium or thorium is enclosed in an inactive sheath made of metal or other durable... uranium or thorium. 173.426 Section 173.426 Transportation Other Regulations Relating to Transportation....426 Excepted packages for articles containing natural uranium or thorium. A manufactured article in...

Study of a proportional chamber for the detection of muons in the CELLO experiment

International Nuclear Information System (INIS)

Durand, Alain.

1978-01-01

The physics of e + e - interactions that the CELLO experiment is proposing to do requires good μ detection. For this, the prototype of a wire type proportional chamber with integrated logical system read-out is under study. The various phenomena that govern the working of a wire type proportional chamber are recalled first of all. Section II deals with the various working and read-out modes. Section III is devoted to the description of the method chosen and its advantages. In Sections IV and V, the two more specifically studied read-out methods are presented and it is shown that the read-out method by delay line proves to be much more delicate to use than the integrated electronic method finally selected [fr

24 CFR 1000.36 - How long must a recipient retain records regarding exceptions made to the conflict of interest...

Science.gov (United States)

2010-04-01

... 24 Housing and Urban Development 4 2010-04-01 2010-04-01 false How long must a recipient retain records regarding exceptions made to the conflict of interest provisions? 1000.36 Section 1000.36 Housing... AMERICAN HOUSING ACTIVITIES General § 1000.36 How long must a recipient retain records regarding exceptions...

Contamination source review for Building E3236, Edgewood Area, Aberdeen Proving Ground, Maryland

Energy Technology Data Exchange (ETDEWEB)

Zellmer, S.D.; Smits, M.P.; Draugelis, A.K.; Glennon, M.A.; Rueda, J.; Zimmerman, R.E.

1995-09-01

The US Army Aberdeen Proving Ground (APG) commissioned Argonne National Laboratory (ANL) to conduct a contamination source review to identify and define areas of toxic or hazardous contaminants and to assess the physical condition and accessibility of APG buildings. The information obtained from the review may be used to assist the US Army in planning for the future use or disposition of the buildings. The contamination source review consisted of the following tasks: historical records search, physical inspection, photographic documentation, geophysical investigation, and review of available records regarding underground storage tanks associated with each building. This report provides the results of the contamination source review for Building E3236. Many of the APG facilities constructed between 1917 and the 1960s are no longer used because of obsolescence and their poor state of repair. Because many of these buildings were used for research, development, testing, and/or pilot- scale production of chemical warfare agents and other military substances, the potential exists for portions of the buildings to be contaminated with these substances, their degradation products, and other laboratory or industrial chemicals. These buildings and associated structures or appurtenances may contribute to environmental concerns at APG.

Election and Exceptions – The Danish Fine Count

DEFF Research Database (Denmark)

Vadgård, Anne Kathrine Pihl

In this paper I explore the role of the Danish election law in the conduct of elections. Based on 9 months of ethnographic fieldwork in an election office in a Danish municipality, I focus on the conflicting relation between the legal framework and deviating election practices. I argue that handl......In this paper I explore the role of the Danish election law in the conduct of elections. Based on 9 months of ethnographic fieldwork in an election office in a Danish municipality, I focus on the conflicting relation between the legal framework and deviating election practices. I argue...... that handling of such election practices requires thoughtful and vigorous bureaucratic work. Thus the election law may be said to act as a navigational tool throughout the complex bureaucratic practices of planning an election. Yet exceptions to the law inevitably occur on Election Day, requiring bending...

The exceptional ethics of the investigator-subject relationship.

Science.gov (United States)

Sachs, Benjamin

2010-02-01

This article concerns the validity of six canonical rules that institutional review boards use to constrain the behavior of investigators. These rules require investigators to design their studies in a scientifically valid way, not pay their subjects to take risks, minimize risks to their subjects, secure for their subjects access to effective interventions post-trial, not pay their subjects too much and allow their subjects to withdraw from the study unconditionally. Enforcement of these rules is problematic because there are other relationships that seem to be like the investigator-subject relationship in all ethically relevant respects, such as the employer-employee and volunteer organizer-volunteer relationships, to which we would not dream of applying these same rules. Applying these rules in one context but not the others is a violation of ethical consistency I label "exceptionalism." We should conclude that it is time to reexamine the validity of the six rules.

SIMPLE MODELS OF THREE COUPLED PT -SYMMETRIC WAVE GUIDES ALLOWING FOR THIRD-ORDER EXCEPTIONAL POINTS

Directory of Open Access Journals (Sweden)

Jan Schnabel

2017-12-01

Full Text Available We study theoretical models of three coupled wave guides with a PT-symmetric distribution of gain and loss. A realistic matrix model is developed in terms of a three-mode expansion. By comparing with a previously postulated matrix model it is shown how parameter ranges with good prospects of finding a third-order exceptional point (EP3 in an experimentally feasible arrangement of semiconductors can be determined. In addition it is demonstrated that continuous distributions of exceptional points, which render the discovery of the EP3 difficult, are not only a feature of extended wave guides but appear also in an idealised model of infinitely thin guides shaped by delta functions.

Construction of codimension 1 immersions of spacetime: the exceptional case

International Nuclear Information System (INIS)

Edelen, Dominic G B

2005-01-01

The Frobenius theorem was used in Edelen (2003 Class. Quantum Grav. 20 3661) to obtain a general body of results for the immersion of spacetime in flat spaces of higher dimension. This addendum completes those results for the exceptional case of immersions of codimension 1 where the Frobenius theorem need not be applied. Local actions of the Poincare groups SO(2, 3)--T(5) or SO(1, 4) -- T(5) are used to obtain immersions of spacetime of codimension 1 that involve six arbitrary functions of the four immersion parameters and an arbitrary constant. Explicit calculations are given for several cases. (addendum)

Understanding the formation process of exceptionally long fullerene-based nanowires

DEFF Research Database (Denmark)

Solov'yov, Ilia; Geng, Junfeng; Solov'yov, Andrey V.

2009-01-01

solution of C$_60$. We have performed a thorough theoretical analysis, aiming at gaining an in-depth understanding of the exceptionally large aspect ratio of C$_60$-based nanowires. By accounting for different interactions in the system we have calculated the structures of the unit cell and determined...... the role of the fullerene and of the solvent molecules in the crystallization process of the nanowires. We have calculated the adhesion energy of C$_60$ molecules to the nanowire surface, and on the basis of this explained the growth anisotropy of the crystal. To get a more profound understanding...

Science, truth, and forensic cultures: the exceptional legal status of DNA evidence.

Science.gov (United States)

Lynch, Michael

2013-03-01

Many epistemological terms, such as investigation, inquiry, argument, evidence, and fact were established in law well before being associated with science. However, while legal proof remained qualified by standards of 'moral certainty', scientific proof attained a reputation for objectivity. Although most forms of legal evidence (including expert evidence) continue to be treated as fallible 'opinions' rather than objective 'facts', forensic DNA evidence increasingly is being granted an exceptional factual status. It did not always enjoy such status. Two decades ago, the scientific status of forensic DNA evidence was challenged in the scientific literature and in courts of law, but by the late 1990s it was being granted exceptional legal status. This paper reviews the ascendancy of DNA profiling, and argues that its widely-heralded objective status is bound up with systems of administrative accountability. The 'administrative objectivity' of DNA evidence rests upon observable and reportable bureaucratic rules, records, recording devices, protocols, and architectural arrangements. By highlighting administrative sources of objectivity, this paper suggests that DNA evidence remains bound within the context of ordinary organisational and practical routines, and is not a transcendent source of 'truth' in the criminal justice system. Copyright © 2012. Published by Elsevier Ltd.

Bounds on the number of possible Higgs particles using grand unification and exceptional Lie groups

International Nuclear Information System (INIS)

El Naschie, M.S.

2008-01-01

The total sum of dimensions of a magnum exceptional Lie symmetry groups hierarchy is 4α-bar o =(4)(137+k o )≅548. Dividing this value among the various quantum fields leads to the possibility of an eight degrees of freedom Higgs field. However analyzing the same situation using sub groups of the largest exceptional Lie group leads to the conclusion that we are likely to find three Higgs particles only at the energy scale of the standard model. Consequently five of the eight degrees of freedom are unlikely to materialize as particles at this particular energy scale. This conclusion is reinforced by an entirely different approach based on grand unification analysis which excludes any grand unification using 4HD, i.e. four Higgs doublets. This leaves us with one, two and three Higgs doublets. Noting that a super symmetric standard model with two Higgs doublets gives almost perfect grand unification and that the result agrees with our exceptional Lie symmetry groups analysis, we exclude everything else. The final result is that we expect to find at least three more Higgs particles leading to a total of 66 elementary particles while at a somewhat higher energy, the expected number of 69 particles found using E-infinity theory is obtained

Polymer:Nonfullerene Bulk Heterojunction Solar Cells with Exceptionally Low Recombination Rates

KAUST Repository

Gasparini, Nicola; Salvador, Michael; Heumueller, Thomas; Richter, Moses; Classen, Andrej; Shrestha, Shreetu; Matt, Gebhard J.; Holliday, Sarah; Strohm, Sebastian; Egelhaaf, Hans-Joachim; Wadsworth, Andrew; Baran, Derya; McCulloch, Iain; Brabec, Christoph J.

2017-01-01

Organic semiconductors are in general known to have an inherently lower charge carrier mobility compared to their inorganic counterparts. Bimolecular recombination of holes and electrons is an important loss mechanism and can often be described by the Langevin recombination model. Here, the device physics of bulk heterojunction solar cells based on a nonfullerene acceptor (IDTBR) in combination with poly(3-hexylthiophene) (P3HT) are elucidated, showing an unprecedentedly low bimolecular recombination rate. The high fill factor observed (above 65%) is attributed to non-Langevin behavior with a Langevin prefactor (β/βL) of 1.9 × 10−4. The absence of parasitic recombination and high charge carrier lifetimes in P3HT:IDTBR solar cells inform an almost ideal bimolecular recombination behavior. This exceptional recombination behavior is explored to fabricate devices with layer thicknesses up to 450 nm without significant performance losses. The determination of the photoexcited carrier mobility by time-of-flight measurements reveals a long-lived and nonthermalized carrier transport as the origin for the exceptional transport physics. The crystalline microstructure arrangement of both components is suggested to be decisive for this slow recombination dynamics. Further, the thickness-independent power conversion efficiency is of utmost technological relevance for upscaling production and reiterates the importance of understanding material design in the context of low bimolecular recombination.

Polymer:Nonfullerene Bulk Heterojunction Solar Cells with Exceptionally Low Recombination Rates

KAUST Repository

Gasparini, Nicola

2017-09-01

Organic semiconductors are in general known to have an inherently lower charge carrier mobility compared to their inorganic counterparts. Bimolecular recombination of holes and electrons is an important loss mechanism and can often be described by the Langevin recombination model. Here, the device physics of bulk heterojunction solar cells based on a nonfullerene acceptor (IDTBR) in combination with poly(3-hexylthiophene) (P3HT) are elucidated, showing an unprecedentedly low bimolecular recombination rate. The high fill factor observed (above 65%) is attributed to non-Langevin behavior with a Langevin prefactor (β/βL) of 1.9 × 10−4. The absence of parasitic recombination and high charge carrier lifetimes in P3HT:IDTBR solar cells inform an almost ideal bimolecular recombination behavior. This exceptional recombination behavior is explored to fabricate devices with layer thicknesses up to 450 nm without significant performance losses. The determination of the photoexcited carrier mobility by time-of-flight measurements reveals a long-lived and nonthermalized carrier transport as the origin for the exceptional transport physics. The crystalline microstructure arrangement of both components is suggested to be decisive for this slow recombination dynamics. Further, the thickness-independent power conversion efficiency is of utmost technological relevance for upscaling production and reiterates the importance of understanding material design in the context of low bimolecular recombination.

Depleted uranium human health risk assessment, Jefferson Proving Ground, Indiana

International Nuclear Information System (INIS)

Ebinger, M.H.; Hansen, W.R.

1994-01-01

The risk to human health from fragments of depleted uranium (DU) at Jefferson Proving Ground (JPG) was estimated using two types of ecosystem pathway models. A steady-state, model of the JPG area was developed to examine the effects of DU in soils, water, and vegetation on deer that were hunted and consumed by humans. The RESRAD code was also used to estimate the effects of farming the impact area and consuming the products derived from the farm. The steady-state model showed that minimal doses to humans are expected from consumption of deer that inhabit the impact area. Median values for doses to humans range from about 1 mrem (±2.4) to 0.04 mrem (±0.13) and translate to less than 1 x 10 -6 detriments (excess cancers) in the population. Monte Carlo simulation of the steady-state model was used to derive the probability distributions from which the median values were drawn. Sensitivity analyses of the steady-state model showed that the amount of DU in airborne dust and, therefore, the amount of DU on the vegetation surface, controlled the amount of DU ingested by deer and by humans. Human doses from the RESRAD estimates ranged from less than 1 mrem/y to about 6.5 mrem/y in a hunting scenario and subsistence fanning scenario, respectively. The human doses exceeded the 100 mrem/y dose limit when drinking water for the farming scenario was obtained from the on-site aquifer that was presumably contaminated with DU. The two farming scenarios were unrealistic land uses because the additional risk to humans due to unexploded ordnance in the impact area was not figured into the risk estimate. The doses estimated with RESRAD translated to less than 1 x 10 -6 detriments to about 1 x 10 -3 detriments. The higher risks were associated only with the farming scenario in which drinking water was obtained on-site

Exceptional memory performance in the Long Life Family Study

DEFF Research Database (Denmark)

Barral, Sandra; Cosentino, Stephanie; Costa, Rosann

2013-01-01

Research to understand variability at the highest end of the cognitive performance distribution has been scarce. Our aim was to define a cognitive endophenotype based on exceptional episodic memory (EM) performance and to investigate familial aggregation of EM in families from the Long Life Family...... Study (LLFS). Using a sample of 1911 nondemented offspring of long-lived probands, we created a quantitative phenotype, EM (memory z ≥ 1.5), and classified LLFS families as EM and non-EM families based on the number of EM offspring. We then assessed differences in memory performance between LLFS...... = 1.4 × 10(-4)). We demonstrated that there is a familial correlation of the EM endophenotype, suggesting that genetic variants might influence memory performance in long-lived families....

Timber resource statistics for all forest land, except national forests, in eastern Oregon.

Science.gov (United States)

Donald R. Gedney; Patricia M. Bassett; Mary A. Mei

1989-01-01

This report summarizes a 1987 timber resource inventory of all forest land, except National Forests, in the 17 counties (Baker, Crook, Deschutes, Gilliam, Grant, Harney, Jefferson, Klamath, Lake, Malheur, Morrow, Sherman, Umatilla, Union, Wallowa, Wasco, and Wheeler Counties) in eastern Oregon. Detailed tables of forest area, timber volume, growth, mortality, and...

9 CFR 325.11 - Inedible articles: denaturing and other means of identification; exceptions.

Science.gov (United States)

2010-01-01

... other means of identification; exceptions. 325.11 Section 325.11 Animals and Animal Products FOOD SAFETY... for use solely by the consignee for manufacturing articles not for human food. Such products may not... the carcasses of livestock, or other meat food product, that has not been inspected and passed at an...

Extremely broadband, on-chip optical nonreciprocity enabled by mimicking nonlinear anti-adiabatic quantum jumps near exceptional points.

Science.gov (United States)

Choi, Youngsun; Hahn, Choloong; Yoon, Jae Woong; Song, Seok Ho; Berini, Pierre

2017-01-20

Time-asymmetric state-evolution properties while encircling an exceptional point are presently of great interest in search of new principles for controlling atomic and optical systems. Here, we show that encircling-an-exceptional-point interactions that are essentially reciprocal in the linear interaction regime make a plausible nonlinear integrated optical device architecture highly nonreciprocal over an extremely broad spectrum. In the proposed strategy, we describe an experimentally realizable coupled-waveguide structure that supports an encircling-an-exceptional-point parametric evolution under the influence of a gain saturation nonlinearity. Using an intuitive time-dependent Hamiltonian and rigorous numerical computations, we demonstrate strictly nonreciprocal optical transmission with a forward-to-backward transmission ratio exceeding 10 dB and high forward transmission efficiency (∼100%) persisting over an extremely broad bandwidth approaching 100 THz. This predicted performance strongly encourages experimental realization of the proposed concept to establish a practical on-chip optical nonreciprocal element for ultra-short laser pulses and broadband high-density optical signal processing.

24 CFR 1000.34 - What factors must be considered in making an exception to the conflict of interest provisions?

Science.gov (United States)

2010-04-01

... 24 Housing and Urban Development 4 2010-04-01 2010-04-01 false What factors must be considered in making an exception to the conflict of interest provisions? 1000.34 Section 1000.34 Housing and Urban... ACTIVITIES General § 1000.34 What factors must be considered in making an exception to the conflict of...

20 CFR 230.5 - Exception concerning service to a local lodge or division.

Science.gov (United States)

2010-04-01

... 20 Employees' Benefits 1 2010-04-01 2010-04-01 false Exception concerning service to a local lodge... to a local lodge or division. In determining whether an annuity is subject to the provisions of this... lodge or division of a railway-labor-organization employer if the compensation for such service is...

12 CFR 220.117 - Exception to 90-day rule in special cash account.

Science.gov (United States)

2010-01-01

... profit. On Day 8 customer delivered his check for the cost of the purchase to the creditor (member firm... any check or draft drawn on a bank which in the ordinary course of business is payable on presentation...(f), if controlling, would permit the exception to undermine, to some extent, the effectiveness of...

EXCEPTIONAL POINTS IN OPEN AND PT-SYMMETRIC SYSTEMS

Directory of Open Access Journals (Sweden)

Hichem Eleuch

2014-04-01

Full Text Available Exceptional points (EPs determine the dynamics of open quantum systems and cause also PT symmetry breaking in PT symmetric systems. From a mathematical point of view, this is caused by the fact that the phases of the wavefunctions (eigenfunctions of a non-Hermitian Hamiltonian relative to one another are not rigid when an EP is approached. The system is therefore able to align with the environment to which it is coupled and, consequently, rigorous changes of the system properties may occur. We compare analytically as well as numerically the eigenvalues and eigenfunctions of a 2 × 2 matrix that is characteristic either of open quantum systems at high level density or of PT symmetric optical lattices. In both cases, the results show clearly the influence of the environment on the system in the neighborhood of EPs. Although the systems are very different from one another, the eigenvalues and eigenfunctions indicate the same characteristic features.

Infrared and ultraviolet behaviour of effective scalar field theory

CERN Document Server

Ball, R D

1995-01-01

We consider the infrared and ultraviolet behaviour of the effective quantum field theory of a single Z_2 symmetric scalar field. In a previous paper we proved to all orders in perturbation theory the renormalizability of massive effective scalar field theory using Wilson's exact renormalization group equation. Here we show that away from exceptional momenta the massless theory is similarly renormalizable, and we prove detailed bounds on Green's functions as arbitrary combinations of exceptional Euclidean momenta are approached. As a corollary we also prove Weinberg's Theorem for the massive effective theory, in the form of bounds on Green's functions at Euclidean momenta much greater than the particle mass but below the naturalness scale of the theory.

Solving peg-in-hole tasks by human demonstration and exception strategies

DEFF Research Database (Denmark)

Abu-Dakka, Fares; Nemec, Bojan; Kramberger, Aljaz

2014-01-01

that the proposed approach combined with exception strategies outperforms traditional approaches for robot-based assembly. Experimental evaluation was carried out on Cranfield Benchmark, which constitutes a standardized assembly task in robotics. This paper also performed statistical evaluation based on experiments...... available robot controller. Originality/value – This paper proposes a new approach to the robot assembly based on the Learning by Demonstration (LbD) paradigm. The proposed framework enables to quickly program new assembly tasks without the need for detailed analysis of the geometric and dynamic...

A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction

Directory of Open Access Journals (Sweden)

Rajaa Filali

2014-01-01

Full Text Available The Session Initiation Protocol (SIP is an application layer signaling protocol used to create, manage, and terminate sessions in an IP based network. SIP is considered as a transactional protocol. There are two main SIP transactions, the INVITE transaction and the non-INVITE transaction. The SIP INVITE transaction specification is described in an informal way in Request for Comments (RFC 3261 and modified in RFC 6026. In this paper we focus on the INVITE transaction of SIP, over reliable and unreliable transport mediums, which is used to initiate a session. In order to ensure the correctness of SIP, the INVITE transaction is modeled and verified using event-B method and its Rodin platform. The Event-B refinement concept allows an incremental development by defining the studied system at different levels of abstraction, and Rodin discharges almost all proof obligations at each level. This interaction between modeling and proving reduces the complexity and helps in assuring that the INVITE transaction SIP specification is correct, unambiguous, and easy to understand.

P-Adic analysis and the transfinite E8 exceptional Lie symmetry group unification

Energy Technology Data Exchange (ETDEWEB)

El Naschie, M.S. [King Abdullah Institute for Nano and Advanced Technology, KSU, Riyadh (Saudi Arabia)], E-mail: Chaossf@aol.com

2008-11-15

In P-Adic analysis like in a fractal Cantorian space there is no absolute scale. P-Adic analysis with its prime numbers base is the mathematical quarks of the exceptional E8 and E-infinity. The P-Adic space permits the use of Weyl original spacetime gauge theory which is the rationale behind E-infinity.

P-Adic analysis and the transfinite E8 exceptional Lie symmetry group unification

International Nuclear Information System (INIS)

El Naschie, M.S.

2008-01-01

In P-Adic analysis like in a fractal Cantorian space there is no absolute scale. P-Adic analysis with its prime numbers base is the mathematical quarks of the exceptional E8 and E-infinity. The P-Adic space permits the use of Weyl original spacetime gauge theory which is the rationale behind E-infinity

SUB-SAHARAN IRREGULAR MIGRANTS IN MOROCCO & THE EXCEPTIONAL REGULARISATION PROGRAMME IN 2014

OpenAIRE

Naama, Mbarek

2017-01-01

Naama, Mbarek. Sub-Saharan Irregular Migrants in Morocco and the Exceptional Regularisation Programme in 2014. Diak South Helsinki Finland. Spring 2017. 43 Pages. Language: English. Diaconia University of Applied Sciences, Degree Programme in Social Services, Option in Community Development, Bachelor of Social Services (UAS). After decades of ignoring irregular migration and refusing to acknowledge that Morocco is no longer just a transit but also a host country for increasing complex mig...

Growing old, yet staying young: The role of telomeres in bats' exceptional longevity.

Science.gov (United States)

Foley, Nicole M; Hughes, Graham M; Huang, Zixia; Clarke, Michael; Jebb, David; Whelan, Conor V; Petit, Eric J; Touzalin, Frédéric; Farcy, Olivier; Jones, Gareth; Ransome, Roger D; Kacprzyk, Joanna; O'Connell, Mary J; Kerth, Gerald; Rebelo, Hugo; Rodrigues, Luísa; Puechmaille, Sébastien J; Teeling, Emma C

2018-02-01

Understanding aging is a grand challenge in biology. Exceptionally long-lived animals have mechanisms that underpin extreme longevity. Telomeres are protective nucleotide repeats on chromosome tips that shorten with cell division, potentially limiting life span. Bats are the longest-lived mammals for their size, but it is unknown whether their telomeres shorten. Using >60 years of cumulative mark-recapture field data, we show that telomeres shorten with age in Rhinolophus ferrumequinum and Miniopterus schreibersii , but not in the bat genus with greatest longevity, Myotis . As in humans, telomerase is not expressed in Myotis myotis blood or fibroblasts. Selection tests on telomere maintenance genes show that ATM and SETX , which repair and prevent DNA damage, potentially mediate telomere dynamics in Myotis bats. Twenty-one telomere maintenance genes are differentially expressed in Myotis , of which 14 are enriched for DNA repair, and 5 for alternative telomere-lengthening mechanisms. We demonstrate how telomeres, telomerase, and DNA repair genes have contributed to the evolution of exceptional longevity in Myotis bats, advancing our understanding of healthy aging.

Exceptional points near first- and second-order quantum phase transitions.

Science.gov (United States)

Stránský, Pavel; Dvořák, Martin; Cejnar, Pavel

2018-01-01

We study the impact of quantum phase transitions (QPTs) on the distribution of exceptional points (EPs) of the Hamiltonian in the complex-extended parameter domain. Analyzing first- and second-order QPTs in the Lipkin-Meshkov-Glick model we find an exponentially and polynomially close approach of EPs to the respective critical point with increasing size of the system. If the critical Hamiltonian is subject to random perturbations of various kinds, the averaged distribution of EPs close to the critical point still carries decisive information on the QPT type. We therefore claim that properties of the EP distribution represent a parametrization-independent signature of criticality in quantum systems.

Exceptionally diverse morphotypes and genomes of crenarchaeal hyperthermophilic viruses

DEFF Research Database (Denmark)

Prangishvili, D; Garrett, R A

2004-01-01

and Rudiviridae. They all have double-stranded DNA genomes and infect hyperthermophilic crenarchaea of the orders Sulfolobales and Thermoproteales. Representatives of the different viral families share a few homologous ORFs (open reading frames). However, about 90% of all ORFs in the seven sequenced genomes show...... no significant matches to sequences in public databases. This suggests that these hyperthermophilic viruses have exceptional biochemical solutions for biological functions. Specific features of genome organization, as well as strategies for DNA replication, suggest that phylogenetic relationships exist between...... crenarchaeal rudiviruses and the large eukaryal DNA viruses: poxviruses, the African swine fever virus and Chlorella viruses. Sequence patterns at the ends of the linear genome of the lipothrixvirus AFV1 are reminiscent of the telomeric ends of linear eukaryal chromosomes and suggest that a primitive telomeric...

Determinants of Household Savings in Turkey Except for Income

Directory of Open Access Journals (Sweden)

Mehmet ŞENGÜR

2016-01-01

Full Text Available Household has an extremely important place in the division of income for the economies. It plays a decisive role in personal consumption, investment, and savings. This study aims to identify the determinants of household savings except for income. In this study, "Household Budget Survey" conducted by Turkish Statistical Institute for the years 2002-2013 is used. Survey data has been analyzed by logistic regression models. The results of the study show that house ownership, having an extra house, having annual disposable income of over 10.000 ₺, education level also have a positive effect on household savings. On the other hand, the number of family members, car ownership, temporary or seasonal employment, and living in rural areas affect household savings in a negative way.

49 CFR 173.477 - Approval of packagings containing greater than 0.1 kg of non-fissile or fissile-excepted uranium...

Science.gov (United States)

2010-10-01

... kg of non-fissile or fissile-excepted uranium hexafluoride. 173.477 Section 173.477 Transportation... non-fissile or fissile-excepted uranium hexafluoride. (a) Each offeror of a package containing more than 0.1 kg of uranium hexafluoride must maintain on file for at least one year after the latest...