Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Articles

Discipline
Institution
Keyword
Publication Year
Publication Type
File Type

Articles 11701 - 11730 of 20102

Full-Text Articles in Entire DC Network

Deconstructing Duff And Phelps, M. Todd Henderson Jan 2008

Deconstructing Duff And Phelps, M. Todd Henderson

Articles

No abstract provided.


The Intent-To-Benefit: Individually Enforceable Rights Under International Treaties, Sital Kalantry Jan 2008

The Intent-To-Benefit: Individually Enforceable Rights Under International Treaties, Sital Kalantry

Articles

Citizens of foreign countries are increasingly using international treaties to assert claims against Federal and state governments. As a result, U.S. courts are being asked to determine whether treaties provide litigants with individually enforceable rights. Although courts have no consistent approach to determining whether a treaty gives rise to individually enforceable rights, they often apply the textualist methodology derived from statutory interpretation. However, instead of using textual theories of statutory interpretation, I argue that courts should use intentionalist theories developed from contract interpretation in determining individually enforceable rights under treaties. Two positive arguments and one negative argument support my approach. …


Constitutional Courts In East Asia: Understanding Variation, Tom Ginsburg Jan 2008

Constitutional Courts In East Asia: Understanding Variation, Tom Ginsburg

Articles

No abstract provided.


Denotational Style Correctness Of A Cps-Transform Based Compiler, Arthur Nunes-Harwitt Jan 2008

Denotational Style Correctness Of A Cps-Transform Based Compiler, Arthur Nunes-Harwitt

Articles

RIT department of computer science technical report. Correctness is a crucial property for compilers; programmers rely on it when writing code. Ideally, correctness should be proved. Work on compiler correctness has focused on direct translation strategies. However, in practice, the continuation passing style (CPS) transform (or a variant) is often used in the translation process. Here a simple source language and its CPS-transform based compiler are introduced. A tractable proof for this compiler is presented, including a denotational proof of the correctness of a CPS-transform. The benefits of the proof are discussed.


An Object-Oriented Natural Language Expert System, Kenneth Staffan, Henry Etlinger Jan 2008

An Object-Oriented Natural Language Expert System, Kenneth Staffan, Henry Etlinger

Articles

This paper highlights the design and implementation of a prototype object-oriented Intelligent Tutoring System (ITS). There were two main goals for the prototype. One was to create a small tutoring system which fit into the niche of current commercially available systems, while exhibiting some of the more intelligent features found in larger custom systems. The other was to experiment with an object-oriented model, design approach, and implementation for such a system. A masking technique for pattern matching is one of the key paradigms driving the intelligent diagnosis. The prototype provides a means for practicing sentence construction, by checking a student's …


Towards Flow Cytometry Data Clustering On Graphics Processing Units, Jeremy Espenshade, Doug Roberts, James Cavenaugh Jan 2008

Towards Flow Cytometry Data Clustering On Graphics Processing Units, Jeremy Espenshade, Doug Roberts, James Cavenaugh

Articles

Like many modern techniques for scientific analysis, flow cytometry produces massive amounts of data that must be analyzed and clustered intelligently to be useful. Current manual binning techniques are cumbersome and limited in both the quality and quantity of analyses produced. To address the quality of results, a new framework applying two different sets of clustering algorithms and inference methods are implemented. The two methods investigated are fuzzy c-means and minimum description length inference and k-medoids with BIC. These approaches lend themselves to large scale parallel processing. To address the computational demands, the Nvidia CUDA framework and Tesla architecture are …


Radial Velocities Of Stars In The Galactic Center, Qingfeng Zhu, Rolf P. Kudritzki, Donald F. Figer, Francisco Najarro, David Merritt Jan 2008

Radial Velocities Of Stars In The Galactic Center, Qingfeng Zhu, Rolf P. Kudritzki, Donald F. Figer, Francisco Najarro, David Merritt

Articles

We present results from K band slit scan observations of a ∼20′′×20′′ region of the Galactic center (GC) in two separate epochs more than five years apart. The high resolution (R = ≥14, 000) observations allow the most accurate radial velocity and acceleration measurements of the stars in the central parsec of the Galaxy. Detected stars can be divided into three groups based on the CO absorption band heads at ∼2.2935 μm and the He I lines at ∼2.0581 μm and ∼2.112, 2.113 μm: cool, narrow-line hot and broad-line hot. The radial velocities of the cool, late-type stars have approximately …


Monadic Parsing Using Javascript, Axel-Tobias Schreiner Jan 2008

Monadic Parsing Using Javascript, Axel-Tobias Schreiner

Articles

Pdf of an interactive website created from: http://www.cs.rit.edu/~ats/projects/jsm/paper.xml Monad is a class in Haskell which is fundamental to encapsulating side effects. A monadic type can be used, e.g., to maintain and manipulate state alongside another computation or to bypass sequential execution and recover from failure. A significant problem domain is parsing: support for monadic parsers exists for Haskell, Python, and other languages. This web page describes monadic LL(n) parsing with JavaScript, complete with a base class for monadic classes which wrap state functions, a notation to embed monadic computations in JavaScript (i.e., an equivalent to the do notation in Haskell), …


Breaking The Paypal Hip: A Comparison Of Classifiers, Kurt Alfred Kluever Jan 2008

Breaking The Paypal Hip: A Comparison Of Classifiers, Kurt Alfred Kluever

Articles

Human Interactive Proofs (HIPs) are a method used to differentiate between humans and machines on the internet. Providers of online services such as PayPal.com use HIPs to prevent automated signups and abuse of their services. In this experiment, a three step algorithm has been developed to break the PayPal.com HIP. The image is preprocessed to remove noise using thresholding and a simple cleaning technique, and then segmented using vertical projections and candidate split positions. Four classification methods have been implemented: pixel counting, vertical projections, horizontal projections and template correlations. The system was trained on a sample of twenty PayPal.com HIPs …


Bounds Onsome Ramsey Numbers Involving Quadrilateral, Xiaodong Xu, Zehui Shao, Stanislaw Radziszowski Jan 2008

Bounds Onsome Ramsey Numbers Involving Quadrilateral, Xiaodong Xu, Zehui Shao, Stanislaw Radziszowski

Articles

For graphs G_1,G_2,...,G_m the Ramsey number R(G_1,G_2,...,G_m) is defined to be the smallest integer n such that any m-coloring of the edges of the complete graph K_n must include a monochromatic G_i in color i, for some i. In this note we establish several lower and upper bounds for some Ramsey numbers involving quadrilateral C_4, including R(C_4,K_9) < = 32, 19 < = R(C_4,C_4,K_4) < = 22, 31 < = R(C_4,C_4,C_4,K_4) < = 50, 52 < = R(C_4,K_4,K_4) < = 72, 42 < = R(C_4,C_4,K_3,K_4) < = 76, and 87 < = (C_4,C_4,K_4,K_4) < = 179.


High Performance Zno Varistors Prepared From Nanocrystalline Precursors For Miniaturised Electronic Devices, Suresh Pillai, Declan Mccormack, John Kelly, Raghavendra Ramesh Jan 2008

High Performance Zno Varistors Prepared From Nanocrystalline Precursors For Miniaturised Electronic Devices, Suresh Pillai, Declan Mccormack, John Kelly, Raghavendra Ramesh

Articles

An industrially viable solution-based processing route using minimal amounts of solvent has been used to prepare bulk quantity nanopowders (average particle size 15.3 nm) for the fabrication of ZnO varistors. The xerogels, calcined powders and sintered materials were fully characterised. The preparation of varistors from nanopowders has been optimised by studying the effect of temperature on grain growth, densification and breakdown voltage. The varistors are prepared by sintering at 1050 C for 2 hours, a temperature that is significantly lower than that used in the current industrial process. Highly dense varistor discs prepared from the sintered material produce devices, with …


The Infrared Luminescence Technique For Document Examination And Forgery Analysis, Andrew Davidhazy Jan 2008

The Infrared Luminescence Technique For Document Examination And Forgery Analysis, Andrew Davidhazy

Articles

Infrared photography is nothing new and in the reflected infrared mode its property of seeing thorough certain materials is well known. However a a seldom seen and used application allows the trained investigator to visualize information that has been washed out of documents and is undetectable to the unaided eye. This is facilitated by new infrared sensitive digital cameras such as the Fuji IS-1. Added here in February 2008.


Deriving A Taxonomy Of Its Transition Costs, Zhi Tang, Delmonize Smith, Joanne Hale Jan 2008

Deriving A Taxonomy Of Its Transition Costs, Zhi Tang, Delmonize Smith, Joanne Hale

Articles

Those charged with implementing information technology often face the daunting task of assessing the total organizational costs of such initiatives. Our study posits evaluating such expenditures as IT transition costs - organizational resource expenditures stemming from a positive IT investment decision. A content analytic review of academic, IT-related articles yielded 57 cases germane to the construct. Data produced a meaningful and comprehensive taxonomy that distinguished IT transition costs by two dimensions: goal (prescriptive, evaluative, adaptive, corrective) and target (human, structure, process, technology). The significance of the taxonomy as a useful guide to both practitioners and future research is discussed.


What Influences Salary: A Study Of Mis Faculty Job Offers, M. Pamela Neely, Thomas Tribunella, Zhi Tang, Clyde Eiríkur Hull Jan 2008

What Influences Salary: A Study Of Mis Faculty Job Offers, M. Pamela Neely, Thomas Tribunella, Zhi Tang, Clyde Eiríkur Hull

Articles

What matters when you’re negotiating a job offer? We address this and other questions using data from the Association for Information Systems (AIS) Salary Surveys on compensation, rank, publication data, and similar data associated with MIS Faculty job offers. Our study has three primary findings. First, school and individual factors influence the position and salary offered, but individual factors have a stronger impact. Second, we find the position (i.e., associate/assistant professor and teaching load) offered by schools partially mediates the relationship between school and individual factors and the starting salary. Third, the direct impact of individual factors is also influenced …


Chinese American Librarians In The 21st Century: Profile Update, Ruan Lian, Jian Anna Xiong Jan 2008

Chinese American Librarians In The 21st Century: Profile Update, Ruan Lian, Jian Anna Xiong

Articles

There is an increasing need to understand the role of Chinese American librarians as one of the largest ethnic librarian groups in American library communities and a renewed interest to demonstrate and prove a critical role they play in the Library and Information Science profession. With first-hand insights, this study reports the current status of Chinese American librarians. It helps develop our knowledge about the Chinese American librarians in the 21st Century. A sequel study in a separate paper reports the findings of career development of Chinese American librarians and documents strategies they adapted to meet challenges and barriers facing …


The Standard Of Care For Health Providers In Idaho, Monique C. Lillard Jan 2008

The Standard Of Care For Health Providers In Idaho, Monique C. Lillard

Articles

No abstract provided.


Domestic Surveillance For International Terrorists: Presidential Power And Fourth Amendment Limits, Richard Henry Seamon Jan 2008

Domestic Surveillance For International Terrorists: Presidential Power And Fourth Amendment Limits, Richard Henry Seamon

Articles

No abstract provided.


Hon. Larry M. Boyle Retires As Chief Magistrate Judge For The United States District Court For The District Of Idaho, Katie Ball Jan 2008

Hon. Larry M. Boyle Retires As Chief Magistrate Judge For The United States District Court For The District Of Idaho, Katie Ball

Articles

No abstract provided.


Farmers, Fish, Tribal Power, And Poker: Reallocating Water In The Truckee River Basin, Nevada And California, Part Two, Barbara Cosens Jan 2008

Farmers, Fish, Tribal Power, And Poker: Reallocating Water In The Truckee River Basin, Nevada And California, Part Two, Barbara Cosens

Articles

No abstract provided.


Rankings, Diversity, And Excellence: A European Policy Challenge?, Ellen Hazelkorn Jan 2008

Rankings, Diversity, And Excellence: A European Policy Challenge?, Ellen Hazelkorn

Articles

No abstract provided.


Panama City Reflections: Growing The City In The Time Of Sustainable Development, Ileana Porras Jan 2008

Panama City Reflections: Growing The City In The Time Of Sustainable Development, Ileana Porras

Articles

No abstract provided.


The Reformed Cfius Regulatory Framework: Mediating Between Continued Openness To Foreign Investment And National Security, George S. Georgiev Jan 2008

The Reformed Cfius Regulatory Framework: Mediating Between Continued Openness To Foreign Investment And National Security, George S. Georgiev

Articles

No abstract provided.


Property And Probable Cause: The Fourth Amendment's Principled Protection Of Privacy, Ricardo J. Bascuas Jan 2008

Property And Probable Cause: The Fourth Amendment's Principled Protection Of Privacy, Ricardo J. Bascuas

Articles

No abstract provided.


Constitutional Patriotism, Citizenship, And Belonging, David Abraham Jan 2008

Constitutional Patriotism, Citizenship, And Belonging, David Abraham

Articles

No abstract provided.


Prosecuting The Jena Six, Anthony V. Alfieri Jan 2008

Prosecuting The Jena Six, Anthony V. Alfieri

Articles

No abstract provided.


Proving Causation: The Holism Of Warrant And The Atomism Of Daubert, Susan Haack Jan 2008

Proving Causation: The Holism Of Warrant And The Atomism Of Daubert, Susan Haack

Articles

No abstract provided.


"Latinas/Os" And The Politics Of Knowledge Production: Latcrit Scholarship And Academic Activism As Social Justice Action, Margaret E. Montoya, Francisco Valdes Jan 2008

"Latinas/Os" And The Politics Of Knowledge Production: Latcrit Scholarship And Academic Activism As Social Justice Action, Margaret E. Montoya, Francisco Valdes

Articles

No abstract provided.


Chairman Kevin Martin On Indecency: Enhancing Agency Power, Lili Levi Jan 2008

Chairman Kevin Martin On Indecency: Enhancing Agency Power, Lili Levi

Articles

No abstract provided.


Runaway Grand Jury: Activists Attempt To Redefine Obscenity Law In Kansas, Jill Barton Jan 2008

Runaway Grand Jury: Activists Attempt To Redefine Obscenity Law In Kansas, Jill Barton

Articles

No abstract provided.


Jessica Gonzales V. United States: An Emerging Model For Domestic Violence & Human Rights Advocacy In The United States, Caroline Bettinger-López Jan 2008

Jessica Gonzales V. United States: An Emerging Model For Domestic Violence & Human Rights Advocacy In The United States, Caroline Bettinger-López

Articles

No abstract provided.