Violent Crimes Compensation Board: Claims, FY 2004–FY 2014

This fact sheet presents data from the Alaska Violent Crimes Compensation Board (VCCB) on claims made and compensation granted to victims of violent crime for fiscal years 2004–2014. The report presents data on new claims filed, types of crime and types of expenses for which compensation was claimed, and compensation totals. On average, the five most common violent crimes resulting in applications for compensation over the eleven-year period were sexual abuse of a minor, domestic violence, assault, sexual assault of adults, and homicide.Bureau of Justice Statistics, U.S. Department of JusticeClaims / Compensable Crimes / Compensable Expenses / Compensation / Summary / Note

The Current Status of Historical Preservation Law in Regularory Takings Jurisprudence: Has the Lucas Missile Dismantled Preservation Programs?

This paper describes our NIHRIO system for SemEval-2018 Task 3 "Irony detection in English tweets". We propose to use a simple neural network architecture of Multilayer Perceptron with various types of input features including: lexical, syntactic, semantic and polarity features.  Our system achieves very high performance in both subtasks of binary and multi-class irony detection in tweets. In particular, we rank at fifth in terms of the accuracy metric and the F1 metric. Our code is available at: https://github.com/NIHRIO/IronyDetectionInTwitte

Extending and Relating Semantic Models of Compensating CSP

Business transactions involve multiple partners coordinating and interacting with each other. These transactions have hierarchies of activities which need to be orchestrated. Usual database approaches (e.g.,checkpoint, rollback) are not applicable to handle faults in a long running transaction due to interaction with multiple partners. The compensation mechanism handles faults that can arise in a long running transaction. Based on the framework of Hoare's CSP process algebra, Butler et al introduced Compensating CSP (cCSP), a language to model long-running transactions. The language introduces a method to declare a transaction as a process and it has constructs for orchestration of compensation. Butler et al also defines a trace semantics for cCSP. In this thesis, the semantic models of compensating CSP are extended by defining an operational semantics, describing how the state of a program changes during its execution. The semantics is encoded into Prolog to animate the specification. The semantic models are further extended to define the synchronisation of processes. The notion of partial behaviour is defined to model the behaviour of deadlock that arises during process synchronisation. A correspondence relationship is then defined between the semantic models and proved by using structural induction. Proving the correspondence means that any of the presentation can be accepted as a primary definition of the meaning of the language and each definition can be used correctly at different times, and for different purposes. The semantic models and their relationships are mechanised by using the theorem prover PVS. The semantic models are embedded in PVS by using Shallow embedding. The relationships between semantic models are proved by mutual structural induction. The mechanisation overcomes the problems in hand proofs and improves the scalability of the approach

Can the United States Afford a “No-Fault” System of Compensation for Medical Injury?

One of the key issues separating US critics of a no-fault alternative to the tort system for compensating victims of medical injury from supporters is its anticipated cost. Results from a study are presented that estimate the costs of a no-fault system, one that is similar to the system now in operation in Sweden, within the context of the US health care system