Publications related to Problem of induction

The impact of different methods of increasing the intensity of compassion in engineering ethics cases

Despite the growing interest in emotions in engineering education, empirical research on incorporating them into engineering ethics education is limited. Therefore, we designed this experimental study to assess how different methods for integrating compass ...

2024

Partial Information Sharing Over Social Learning Networks

Ali H. Sayed, Virginia Bordignon

This work addresses the problem of sharing partial information within social learning strategies. In social learning, agents solve a distributed multiple hypothesis testing problem by performing two operations at each instant: first, agents incorporate inf ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

Space Oddity? A Statistical Formulation of Conjunction Assessment

Anthony Christopher Davison, Soumaya Elkantassi

Satellite conjunctions involving "near misses" of space objects are becoming increasingly likely. One approach to risk analysis for them involves the computation of the collision probability, but this has been regarded as having some counterintuitive prope ...

AMER INST AERONAUTICS ASTRONAUTICS2022

A Bayesian Model of Individual Differences and Flexibility in Inductive Reasoning for Categorization of Examples

Pierre Dillenbourg, Jennifer Kaitlyn Olsen, Louis Pierre Faucon

Inductive reasoning is an important educational practice but can be difficult for teachers to support in the classroom due to the high level of preparation and classroom time needed to choose the teaching materials that challenge students' current views. I ...

ASSOC COMPUTING MACHINERY2020

Energy management in manufacturing: From literature review to a conceptual framework

Dimitrios Kyritsis, Gökan May

The literature on energy management in manufacturing is rapidly growing. Since the literature is also quite fragmented, we believe that the time has come to delve into current knowledge in the research field to provide directions for policy makers and guid ...

Elsevier2017

Induction for SMT Solvers

Viktor Kuncak, Andrew Joseph Reynolds

Satisfiability modulo theory solvers are increasingly being used to solve quantified formulas over structures such as integers and term algebras. Quantifier instantiation combined with ground decision procedure alone is insufficient to prove many formulas ...

Springer-Verlag2015

Shifting Network Tomography Toward A Practical Goal

Patrick Thiran, Aikaterini Argyraki, Denisa Gabriela Ghita, Can Karakus

Boolean Inference makes it possible to observe the congestion status of end-to-end paths and infer, from that, the congestion status of individual network links. In principle, this can be a powerful monitoring tool, in scenarios where we want to monitor a ...

2011

Energy Harvesting and Remote Powering for Implantable Biosensors

Giovanni De Micheli, Sandro Carrara, Jacopo Olivo

The paper reviews some popular techniques to harvest energy for implantable biosensors. For each technique, the advantages and drawbacks are discussed. Emphasis is placed to the inductive links, able to deliver power wirelessly through the biological tissu ...

Institute of Electrical and Electronics Engineers2011

How the mind constitutes itself through perceptual learning

Michael Herzog

Most theories of perception assume a rigid relationship between objects of the physical world and the corresponding mental representations. We show by a priori reasoning that this assumption is not fulfilled. We claim instead that all object-representation ...

2009