Concept
Liste de concepts logiques
Publications associées (69)
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 MACHINERY2020Stoic: 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 ...
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 ...
2019Damage mitigation of a near-full-scale deployable tensegrity structure through behavior biomimetics
Ian Smith, Ann Christine Sychterz
Current infrastructure is designed and built such that it must simultaneously comply with all possible loads. This leads to overdesigned structures that are inefficient in terms energy and cost. A structure that can self-identify damage, adapt, and learn f ...
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 Machinery2017Query 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