Concept
Syllogisme
Publications associées (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 SOC2023A Toolbox for Barriers on Interactive Oracle Proofs
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 AG2022A 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 MACHINERY2020The 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 ...
2019Substitution 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, PSI2017A 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 Engineers2016Building Marshall Plan in Turkey: The formation of workers' housing question, 1946-1962
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 University2015Decision Procedures for Program Synthesis and Verification
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 ...
EPFL2011Containing the Nanometer “Pandora-Box”: Cross-Layer Design Techniques for Variation Aware Low Power Systems
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 ...
2011On inconsistent entities. A reply to Colyvan
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