Concept

Syllogism

Related publications (10)

Nanomechanical Modeling of the Bending Response of Silicon Nanowires

Yusuf Leblebici, Zuhal Tasdemir, Mohammad Nasr Esfahani, Mustafa Yilmaz

Understanding the mechanical behavior of silicon nanowiresis essentialfor the implementation of advanced nanoscale devices. Although bendingtests are predominantly used for this purpose, their findings shouldbe properly interpreted through modeling. Variou ...

AMER CHEMICAL SOC2023

A Toolbox for Barriers on Interactive Oracle Proofs

Alessandro Chiesa

Interactive oracle proofs (IOPs) are a proof system model that combines features of interactive proofs (IPs) and probabilistically checkable proofs (PCPs). IOPs have prominent applications in complexity theory and cryptography, most notably to constructing ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

A system design for elastically scaling transaction processing engines in virtualized servers

Anastasia Ailamaki, Angelos Christos Anadiotis, Raja Appuswamy, Hillel Avni

Online Transaction Processing (OLTP) deployments are migrating from on-premise to cloud settings in order to exploit the elasticity of cloud infrastructure which allows them to adapt to workload variations. However, cloud adaptation comes at the cost of re ...

ASSOC COMPUTING MACHINERY2020

The Advent of Practice Theories in Research on Sustainable Consumption: Past, Current and Future Directions of the Field

Franziska Meinherz, Rafael Laurenti

The application of practice theories in the domain of sustainability research in consumer studies is increasingly advocated based on the premise that this allows to analyse consumption as a social phenomenon. Consequently, the applications of social practi ...

2019

Substitution of metals in times of potential supply limitations: what are the mitigation options and limitations?

Global production rates of metals vary from iron at 1.4 billion ton per year to platinum with 200 ton per year. Resource scarcity starts to manifest itself in rising prices and supply limitations, and metal substitution has been a major argument among econ ...

A World Resources Forum Production, PSI2017

A Sound and Complete Axiomatization of Majority-n Logic

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù, Anupam Chattopadhyay

Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on majority operators enables superior results as compared to traditional logic systems. Also, the B ...

Institute of Electrical and Electronics Engineers2016

Building Marshall Plan in Turkey: The formation of workers' housing question, 1946-1962

Sila Karatas

This thesis aims to analyze the formation of workers’ housing question at manpower, topographical, morphological and habitual scales with regard to the ideological, political, economical, cultural and institutional programming of Americanization in Turkey ...

Middle East Technical University2015

Decision Procedures for Program Synthesis and Verification

Ruzica Piskac

Decision procedures are widely used in software development and verification. The goal of this dissertation is to increase the scope of properties that can be verified using decision procedures. To achieve this goal, we identify three improvements over the ...

EPFL2011

Containing the Nanometer “Pandora-Box”: Cross-Layer Design Techniques for Variation Aware Low Power Systems

Georgios Karakonstantis

The demand for richer multimedia services, multifunctional portable devices and high data rates can only been visioned due to the improvement in semiconductor technology. Unfortunately, sub-90 nm process nodes uncover the nanometer Pandora-box exposing the ...

2011

On inconsistent entities. A reply to Colyvan

Francesco Piazza

In a recent article M. Colyvan has argued that Quinean forms of scientific realism are faced with an unexpected upshot. Realism concerning a given class of entities, along with this route to realism, can be vindicated by running an indispensability argumen ...

2010

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.