11,002 Hits in 6.3 sec

CSI: New Evidence – A Progress Report [chapter]

Julian Nagele, Bertram Felgenhauer, Aart Middeldorp
2017 Lecture Notes in Computer Science  
CSI is a strong automated confluence prover for rewrite systems which has been in development since 2010. In this paper we report on recent extensions that make CSI more powerful, secure, and useful.  ...  We also report on CSIˆho, a tool built on the same framework and similar ideas as CSI that automatically checks confluence of higher-order rewrite systems. * S/AC ← t for all s ≈ t ∈ CP AC (S e , S e )  ...  Hence Theorem 2 does not apply and CSI correctly reports that the system is not confluent. Surprisingly, CoLL-Saigawa wrongly reports the opposite.  ... 
doi:10.1007/978-3-319-63046-5_24 fatcat:xwi747skvzgddgfxq4xsigkywm


Terry Horgan
2010 The Southern Journal of Philosophy  
In this paper I set forth the core claims of transvaluationism in a way that acknowledges and explicitly addresses a challenging critique by Timothy Williamson of my prior attempts to articulate and defend  ...  And I revisit the idea, which played a key role in my earlier articulations of transvaluationism, that moral conflicts provide an illuminating model for understanding vagueness.  ...  A sorites sequence is a progression of statements, or of states of affairs (actual or possible), that generate a sorites-paradoxical argument.  ... 
doi:10.1111/j.2041-6962.2010.01006.x fatcat:23g3ampva5aelcu7ho5z2jwmpe

CSI Asia-Pacific

Michaeleen Wallig
2018 Journal of Structural Heart Disease  
A 34-year-old male, who underwent Aortic Valve replacement with mitral valve repair for rheumatic heart disease (RHD), Severe AR with moderate MR in 2007.  ...  There were 3 times of device migration before detachment which required to retrieve and deploy a new one.  ...  We report a case of transcatheter ASD closure for multiple ASDs using FFOs.  ... 
doi:10.12945/j.jshd.2018.006.18 fatcat:j75wnglrjveplmlyzqtp74ofy4

CSI-COP Societal Impact 1

Huma Shah
2022 Zenodo  
CSI-COP's first societal impact report presents the initial impact on society that the project has had.  ...  Nonetheless the CSI-COP partners' efforts have realised a free informal education course 'Your Right to Privacy Online' which has already begun delivery across the partner countries in local languages,  ...  If so, what was the result of the analysis (for example, if you used a tool to analyse, or conducted an analysis without a tool), please provide screenshots for evidence. Yes, see the main report.  ... 
doi:10.5281/zenodo.6641595 fatcat:wein4fiwfndghayaunwfu3znnq

Pending abstracts from CSI 2013

2014 Indian Heart Journal  
In a preliminary study, we reported Treg cells (defined as CD4 þ CD25 þ cells) are decreased in RHD.  ...  e A case report Janardhana Rao Babburi, Robert, Jyothsna, Murali, Vijay Apollo Heart Institutes, Apollo Hospitals, Hyderabad, Andhra Pradesh, India i n d i a n h e a r t j o u r n a l 6 6 ( 2 0 1  ... 
doi:10.1016/j.ihj.2014.02.014 fatcat:agzia6ynkzfdli4eascs4z7c6m

CSI 2016 Frankfurt, Germany Scientific Abstracts

Ziyad M. Hijazi
2016 Journal of Structural Heart Disease  
A4 Coarctoplasty in a case of interrupted aortic arch with peripheral CTO technique 10 A5 Closure of very large PDA with pulmonary hypertension: initial clinical case series with the new Occlutec ® PDA  ...  Comparison of device selection for left atrial appendage occlusion using three-dimensional printing and conventional multi-slice computed tomography 173 E33 Optical coherence tomography in children offers new  ...  Unfortunately, over the next few days she developed systemic venous congestion with progressive renal and liver failure. A new pansystolic murmur was auscultated.  ... 
doi:10.12945/j.jshd.2016.008.16 fatcat:kbmgek27ibhrxakw6bkj25xvnq

CSI-COP Framework for Engaging Citizen Scientists

O. Stepankova, H. Shah, D. Özdemir, R.L. Pierce, Y. Gialelis, M. Hinsenkamp, D Rigler, U. Celentano, M. Zhitomirsky-Geffet, J. Vallverdú, K. Lantavou, M. Evram (+1 others)
2020 Zenodo  
Following a dynamic recruitment drive, a diverse community of citizen scientists will gain new knowledge and practical skills through informal education provided in workshops and a MOOC (massive open online  ...  A series of activities, validating the outcomes of CSI-COP's citizen scientists, will be essential to ensure the accuracy of the exploration and findings of cookies embedded in websites and in mobile device  ...  Citizen scientists progressing from the workshops will liaise with their local CSI-COP partner (the organiser of the local CSI-COP workshop), or with Coventry University if they progressed from the MOOC  ... 
doi:10.5281/zenodo.4066514 fatcat:gq6kpkhlcrdxpfj26ewzyc767a

Public report on current methods in CS Engagement CSI-COP EU H2020 project (Report D2.1, CSI-COP)

Ignat Tiberius, Stepankova Olga, Shah Huma, Celentano Ulrico, Zhitormsky-Geffet Maayan, Gialelis Yiannis, Pierce Robin, Vallverdú Jordi, Bal Damla, Persic Sanja, Bencze Julia, Wyler Daniel (+1 others)
2020 Zenodo  
CSI-COP deliverable D2.1 is a public research report realised from the exhaustive literature review conducted for Task 2.1 by the involved partners in the research phase of the EU Horizon2020 science with  ...  With the report produced from the next T2.2 research task, deliverable D2.2 (due M06), D2.1 will lead to the development of CSI-COP project's framework for best practices in inclusive citizen science recruitment  ...  New observations were made, and citizens gave the new aurora form a name.  ... 
doi:10.5281/zenodo.3899477 fatcat:pnbrdotl6vcsroa4ptnf56isby

CSI Culture: The Evolution and Influences of Forensic Science

Lerah Sutton
2017 Foresic Research & Criminology International Journal  
This has lead to the development of what is called The CSI Effect which is defined within the legal community as "a phenomenon reported by prosecutors who claim that television shows based on scientific  ...  A major hindrance to the progression of the forensic sciences came about in the "Dark Ages" where scientific advances and intellect generally declined.  ... 
doi:10.15406/frcij.2017.04.00112 fatcat:mvawcjfgzbflpimnznt37axvhm

Producing Absolute Truth: CSI Science as Wishful Thinking

Corinna Kruse
2010 American Anthropologist  
’ work progresses.  ...  new evidence (e.g., ep. 8).  ... 
doi:10.1111/j.1548-1433.2009.01198.x fatcat:4mnrlqv4qfatlgyqrhi4ummqoi

Digital forensic research: current state of the art

Sriram Raghavan
2012 CSI Transactions on ICT  
Digital forensics has also witnessed many innovative approaches that have been explored to acquire and analyze digital evidence from diverse sources.  ...  The past decade has witnessed significant technological advancements to aid during a digital investigation.  ...  When the analysis of primary evidence results in secondary evidence, a new evidence bag is created into which the details are stored.  ... 
doi:10.1007/s40012-012-0008-7 fatcat:e5ssjebgrnfn7ozlbppf7rxmai

Beyond the CSI effect: Keys for good forensic genetics communication

Ángel Carracedo, Lourdes Prieto
2018 Mètode Science Studies Journal: Annual Review  
In recent decades, new techniques have shown the potential of DNA as a profiling system.  ...  In the collective imagination, nourished by TV series such as CSI, forensic evidence is presented as one hundred percent certain, when reality is different.  ...  In recent decades new techniques have shown the potential of DNA as a profiling system.  ... 
doi:10.7203/metode.9.10628 fatcat:zdrz3i7qebgmvjoqoxhl52fvca

CSI Mississippi: The Cautionary Tale of Mississippi's Medico-Legal History

K. C. Meckfessel Taylor, Marielle Elisabet Dirkx, William McIntosh, William Tucker Carrington
2013 Social Science Research Network  
We live in a world that now expects CSI efficiency, and we are giving them the Wild West and Gunsmoke.  ...  First, if a prosecutor learns of "new, credible and material" evidence that creates a "reasonable likelihood" that a convicted defendant did not commit the crime, the prosecutor must promptly inform the  ... 
doi:10.2139/ssrn.2269446 fatcat:3ya3urx5bvbmpnapft66x77acm

CSI Microbiology: Emerging Pathogens and a Staged Strategy for Detection and Discovery

Anne Moscona
2007 Journal of Infectious Diseases  
Emerging pathogens that cause has been substantial progress in applying novirus New York” was the first new new diseases (e.g., severe acute respira-  ...  EDITORIAL COMMENTARY CSI Microbiology: Emerging Pathogens and a Staged Strategy for Detection and Discovery  ... 
doi:10.1086/524313 pmid:18190250 fatcat:oicvu64kyjf63muhib4efxprgm

A Software Ecosystem Reshaped by a Paradigm Shift: the CSI-Piemonte Case [article]

Federico Tomassetti, Marco Torchiano, Mauro Antonaci, Paolo Arvati, Maurizio Morisio
2018 arXiv   pre-print
Results: A report of the ecosystem evolution from an idiographic perspective is reported.  ...  As such, they can be used by researchers to evaluate existing in-progress case studies, and by practitioners as a set of guidelines.  ...  In particular Claudio Parodi and Marco Boz offered important insights which helped to complete and clarify our report.  ... 
arXiv:1812.07440v1 fatcat:ubqire64ife2rlmtxszwvbuyla
« Previous Showing results 1 — 15 out of 11,002 results