Concept
Logical reasoning
Related publications (69)
Towards a pragmatist dealing with algorithmic bias in medical machine learning
Machine Learning (ML) is on the rise in medicine, promising improved diagnostic, therapeutic and prognostic clinical tools. While these technological innovations are bound to transform health care, they also bring new ethical concerns to the forefront. One ...
2021Stoic: Towards Disciplined Capabilities
Martin Odersky, Nada Amin, Fengyun Liu, Sandro Stucki, Paolo Giosuè Giarrusso
Capabilities are widely used in the design of software systems to ensure security. A system of capabilities can become a mess in the presence of objects and functions: objects may leak capabilities and functions may capture capabilities. They make reasonin ...
2020Contextual semantic interpretability
Devis Tuia, Sylvain Lobry, Nicolas Courty
Convolutional neural networks (CNN) are known to learn an image representation that captures concepts relevant to the task, but do so in an implicit way that hampers model interpretability. However, one could argue that such a representation is hidden in t ...
LNCS2020Corrections to “Experimental Details of a Steep-Slope Ferroelectric InGaAs Tunnel-FET With High-Quality PZT and Modeling Insights in the Transient Polarization”
Mihai Adrian Ionescu, Igor Stolichnov, Ali Saeidi, Hiroshi Iwai
This correspondence highlights that the Gibbs free energy description of a ferroelectric capacitor in series with a paraelectric capacitor, depends on the initial charge on the plates of the ferroelectric capacitor. An incomplete Gibbs free energy descript ...
2020Electricity supply in West Africa: between bilateral agreements and a single regional market
It is necessary to specify that this study is an academic work carried out by a student as part of his master's project. The hypotheses and reasoning made by the student are at the origin of the results obtained. Energy has a crucial role in the economic d ...
2019Miniphases: Compilation using Modular and Efficient Tree Transformations
Martin Odersky, Dmytro Petrashko, Ondrej Lhoták
Production compilers commonly perform dozens of transformations on an intermediate representation. Running those transformations in separate passes harms performance. One approach to recover performance is to combine transformations by hand in order to red ...
Assoc Computing Machinery2017STEP-NC compliant process planning of additive manufacturing: remanufacturing
Ian Anthony Stroud, Jumyung Um
Additive manufacturing is becoming one of the key methods for reproducing repair sections in remanufacturing processes. The major advantage of using additive processes is to minimize production time and waste. However, the surface quality and shape accurac ...
Springer London Ltd2017Query Rewriting in RDF Stream Processing
Querying and reasoning over RDF streams are two increasingly relevant areas in the broader scope of processing structured data on the Web. While RDF Stream Processing (RSP) has focused so far on extending SPARQL for continuous query and event processing, s ...
Springer2016