English
Related papers

Related papers: Forensic Statistics and Justice: the Leiden Consen…

200 papers

In this study, we focus on two main tasks, the first for detecting legal violations within unstructured textual data, and the second for associating these violations with potentially affected individuals. We constructed two datasets using…

Computation and Language · Computer Science 2024-02-08 Dor Bernsohn , Gil Semo , Yaron Vazana , Gila Hayat , Ben Hagag , Joel Niklaus , Rohit Saha , Kyryl Truskovskyi

A press release from the National Institute of Standards and Technology (NIST)could potentially impede progress toward improving the analysis of forensic evidence and the presentation of forensic analysis results in courts in the United…

Applications · Statistics 2017-10-17 Geoffrey Stewart Morrison

This paper describes the submissions of the Natural Language Processing (NLP) team from the Australian Research Council Industrial Transformation Training Centre (ITTC) for Cognitive Computing in Medical Technologies to the TREC 2021…

This volume is the proceedings of the 2nd workshop on Cognitive Architectures for Social Human-Robot Interaction, held at the ACM/IEEE HRI 2016 conference, which took place on Monday 7th March 2016, in Christchurch, New Zealand. Organised…

Robotics · Computer Science 2016-02-08 Paul Baxter , J. Gregory Trafton , Severin Lemaignan

Artificial intelligence is being utilized in many domains as of late, and the legal system is no exception. However, as it stands now, the number of well-annotated datasets pertaining to legal documents from the Supreme Court of the United…

Computation and Language · Computer Science 2021-12-08 Mohammad Alali , Shaayan Syed , Mohammed Alsayed , Smit Patel , Hemanth Bodala

Open data promotes transparency and accountability as everyone can analyse it. Law enforcement and the judiciary are increasingly making data available, to increase trust and confidence in the criminal justice system. Due to privacy…

Computers and Society · Computer Science 2021-04-12 Pieter Hartel , Rolf van Wegberg , Mark van Staalduinen

This article summarizes motivations, organization, and activities of the Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE5.1) held in Manchester, UK in September 2017. The WSSSPE series promotes sustainable…

Software Engineering · Computer Science 2019-09-13 Daniel S. Katz , Stephan Druskat , Robert Haines , Caroline Jay , Alexander Struck

Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in…

Logic in Computer Science · Computer Science 2024-07-09 Florian Rabe , Claudio Sacerdoti Coen

This volume contains the papers presented at LINEARITY 2014, the Third International Workshop on Linearity, held on July 13, 2014 in Vienna, Austria. The workshop was a one-day satellite event of FLoC 2014, the sixth Federated Logic…

Logic in Computer Science · Computer Science 2015-02-17 Sandra Alves , Iliano Cervesato

The Workshop on Nuclear Data Needs and Capabilities for Applications (NDNCA) was held at Lawrence Berkeley National Laboratory (LBNL) on 27-29 May 2015. The goals of NDNCA were compile nuclear data needs across a wide spectrum of applied…

Technology is increasingly used in Nature Reserves and National Parks around the world to support conservation efforts. Endangered species, such as the Eurasian Lynx (Lynx lynx), are monitored by a network of automatic photo traps. Yet,…

We give here the contents pages for the Proceedings of the Lattice 2001 conference (19th International Symposium on Lattice Field Theory) that took place in August 2001 in Berlin, Germany. The contents are in HTML form with clickable links…

High Energy Physics - Lattice · Physics 2009-09-10 M. Mueller-Preussker , W. Bietenholz , K. Jansen , F. Jegerlehner , I. Montvay , G. Schierholz , R. Sommer , U. Wolff

These are the revised versions of the papers presented at CICLOPS 2011, a workshop colocated with ICLP 2011.

Programming Languages · Computer Science 2011-12-22 Salvador Abreu , Vitor Santos Costa

This document contains the proceedings of the Seventh International Workshop on Logical and Semantic Frameworks, with Applications, which was held on September 29 and 30, 2012, in Rio de Janeiro, Brazil. It contains 11 regular papers (9…

Logic in Computer Science · Computer Science 2013-03-29 Delia Kesner , Petrucio Viana

The Leiden Ranking 2011/2012 is a ranking of universities based on bibliometric indicators of publication output, citation impact, and scientific collaboration. The ranking includes 500 major universities from 41 different countries. This…

The Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST) dataset will dramatically alter our understanding of the Universe, from the origins of the Solar System to the nature of dark matter and dark energy. Much of this research…

Instrumentation and Methods for Astrophysics · Physics 2022-08-05 Katelyn Breivik , Andrew J. Connolly , K. E. Saavik Ford , Mario Jurić , Rachel Mandelbaum , Adam A. Miller , Dara Norman , Knut Olsen , William O'Mullane , Adrian Price-Whelan , Timothy Sacco , J. L. Sokoloski , Ashley Villar , Viviana Acquaviva , Tomas Ahumada , Yusra AlSayyad , Catarina S. Alves , Igor Andreoni , Timo Anguita , Henry J. Best , Federica B. Bianco , Rosaria Bonito , Andrew Bradshaw , Colin J. Burke , Andresa Rodrigues de Campos , Matteo Cantiello , Neven Caplar , Colin Orion Chandler , James Chan , Luiz Nicolaci da Costa , Shany Danieli , James R. A. Davenport , Giulio Fabbian , Joshua Fagin , Alexander Gagliano , Christa Gall , Nicolás Garavito Camargo , Eric Gawiser , Suvi Gezari , Andreja Gomboc , Alma X. Gonzalez-Morales , Matthew J. Graham , Julia Gschwend , Leanne P. Guy , Matthew J. Holman , Henry H. Hsieh , Markus Hundertmark , Dragana Ilić , Emille E. O. Ishida , Tomislav Jurkić , Arun Kannawadi , Alekzander Kosakowski , Andjelka B. Kovačević , Jeremy Kubica , François Lanusse , Ilin Lazar , W. Garrett Levine , Xiaolong Li , Jing Lu , Gerardo Juan Manuel Luna , Ashish A. Mahabal , Alex I. Malz , Yao-Yuan Mao , Ilija Medan , Joachim Moeyens , Mladen Nikolić , Robert Nikutta , Matt O'Dowd , Charlotte Olsen , Sarah Pearson , Ilhuiyolitzin Villicana Pedraza , Mark Popinchalk , Luka C. Popović , Tyler A. Pritchard , Bruno C. Quint , Viktor Radović , Fabio Ragosta , Gabriele Riccio , Alexander H. Riley , Agata Rożek , Paula Sánchez-Sáez , Luis M. Sarro , Clare Saunders , Đorđe V. Savić , Samuel Schmidt , Adam Scott , Raphael Shirley , Hayden R. Smotherman , Steven Stetzler , Kate Storey-Fisher , Rachel A. Street , David E. Trilling , Yiannis Tsapras , Sabina Ustamujic , Sjoert van Velzen , José Antonio Vázquez-Mata , Laura Venuti , Samuel Wyatt , Weixiang Yu , Ann Zabludoff

Methods for Modalities is a series aimed at bringing together researchers interested in developing proof methods, verification methods, algorithms and tools based on modal logic. Here the term "modal logics" is conceived broadly, including…

Logic in Computer Science · Computer Science 2017-03-14 Sujata Ghosh , R. Ramanujam

This volume contains the proceedings of ICE'23, the 16th Interaction and Concurrency Experience, which was held at the NOVA University in Lisbon, Portugal, as a satellite event of DisCoTec'22. The ICE workshop series features a…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-08-21 Clément Aubert , Cinzia Di Giusto , Simon Fowler , Larisa Safina

The International Workshop on Locational Analysis and Related Problems will take place during January 30-February 1, 2019 in C\'adiz (Spain). It is organized by the Spanish Location Network and Location Group GELOCA (SEIO). GELOCA is a…

This paper presents our system description and error analysis of our entry for NLLP 2024 shared task on Legal Natural Language Inference (L-NLI) \citep{hagag2024legallenssharedtask2024}. The task required classifying these relationships as…

Computation and Language · Computer Science 2024-10-22 Ram Mohan Rao Kadiyala , Siddartha Pullakhandam , Kanwal Mehreen , Subhasya Tippareddy , Ashay Srivastava
‹ Prev 1 4 5 6 7 8 10 Next ›