Electronic Invoice Presentment and Payment (EIPP) can assist corporate treasurers in cash management and can be integrated with e-marketplaces and other B2B financial settlement activities. Its interactive approach to dispute resolution and robust payment options are critical if corporate financiers are to secure the advantages of B2B marketplaces and straight through processing (STP). Cash man...

Strongly influenced by a Quinean naturalism, I have presented two arguments against the a priori: first, I claim to undermine the motivation for the a priori; second, I claim to demonstrate the obscurity of the a priori (1996, 1998, 2002, 2005a,b, 2011, 2012). 1 Carrie Jenkins (this volume) is critical of both arguments. Drawing to some extent on her interesting book Grounding Concepts: An Empi...

We postulate that regulatory compliance pressures that have forced information security out of obscurity and into the corporate boardroom provide economic justification for information security firms to innovate. We aim to establish the link between regulations and innovation through the intermediary of demand for information security products and services. First, we show from the results of a ...

Program obfuscation is a widely employed approach for software intellectual property protection. However, general obfuscation methods (e.g., lexical obfuscation, control obfuscation) implemented in mainstream obfuscation tools are heuristic and have little security guarantee. Recently in 2013, Garg et al. have achieved a breakthrough in secure program obfuscation with a graded encoding mechanis...

Center for Integrated Nanotechnologies (CINT), Los Alamos National Laboratory (LANL), Los Alamos, NM 87545, United States Dept. of Materials Science & Engineering, Seoul National University (SNU), Republic of Korea PKG Development Group, R&D Division, Hynix Semiconductor Inc., Republic of Korea Advanced Light Source (ALS), Lawrence Berkeley National Laboratory (LBNL), Berkeley, CA 94720, United...

Varlo.s s.bstitlUmU f«T~ add~d onto starch by m~ans of ~surification or ~th~rification so that thtir ~fftct on rtllCtifJity of starch 'With isocyanatts in a nonpolar solvtnt could bt studi~d. Ma:rim.m rtacti~t, 0/ tht moJifitd starchts 'Was achitf)~d 'When tht dtgrtt of substitution (DS.) 'Was I.bo.t 0.7. C.,td .rtthl.M plastics madt from formulations containing 20 'I, of tht starch dtrl'Pl.t:v...

Schizophrenia involves profound but enigmatic disturbances of affective or emotional life. The affective responses as well as expression of many patients in the schizophrenia spectrum can seem odd, incongruent, inadequate, or otherwise off-the-mark. Such patients are, in fact, often described in rather contradictory terms: as being prone both to exaggerated and to diminished levels of emotional...

This paper examines the ambivalence of “destination”—namely the ambivalence of the user’s interpellation—as one of the key features of augmented reality (AR) art. It calls attention to the special status of the spectator whose participation is at once a requirement and an uncertainty, a prediction and an anxiety, a principle of localization and a questioning of the very capacity to localize. Th...

In this paper we solve the following open problem: we prove that equivalence in the logic of Temporal Here-and-There (THT) is not only a sufficient, but also a necessary condition for strong equivalence of two Temporal Equilibrium Logic (TEL) theories. This result has allowed constructing a tool, ABSTEM, that can be used to check different types of equivalence between two arbitrary temporal the...