Results 101 to 110 of about 1,240,536 (266)
Instructional strategies in explicating the discovery function of proof for lower secondary school students [PDF]
, 2009 In this paper, we report on the analysis of teaching episodes selected from our pedagogical and cognitive research on geometry teaching that illustrate how carefully-chosen instructional strategies can guide Grade 8 students to see and appreciate the ...
Ding, Liping, Jones, Keith
core
, 2020 A biased, incomplete high-level survey of progress in proof complexity over the last two decades. The start of a conversation about where to go next.Non UBCUnreviewedAuthor affiliation: University of ...
Beame, Paul
core
Observer‐Based Adaptive Event‐Triggered Tracking Control for Fuzzy TS Systems With Premise Mismatch
International Journal of Adaptive Control and Signal Processing, EarlyView.This paper presents an adaptive logistic event‐triggered observer‐based tracking controller for Takagi‐Sugeno fuzzy systems under constrained inputs and network delays. Leveraging a hybrid LMI and Secretary Bird Optimization approach, this strategy significantly minimizes communication overhead and computational burden while ensuring optimal reference ...
Oussama Djadane +3 more
wiley +1 more source
Maximal Domain for Strategy-Proof Rules in Allotment Economies [PDF]
We consider the problem of allocating an amount of a perfectly divisible good among a group of n agents. We study how large a preference domain can be to allow for the existence of strategy-proof, symmetric, and efficient allocation rules when the amount
Hideyuki Mizobuchi, Shigehiro Serizawa
core
Strategy-proof allocation mechanisms for economies with public goods [PDF]
, 1994 This paper provides a characterization of the class of incentive compatible (i.e., strategy-proof) allocation mechanisms for decision problems associated with classical economic environments.
Moreno, Diego
core
Combining Proofs to form Different Proofs [PDF]
, 2011 Different Automated Theorem Proving (ATP) systems solve different parts of different problems in different ways. Given a set of proofs produced by ATP systems based on adequately common principles, it is possible to create new proofs by combining proof components extracted from the proofs in the set.
Geoff Sutcliffe +5 more
openaire +1 more source
Advanced Engineering Materials, EarlyView.In this review, the current state of light‐assisted 3D printing as it pertains to engineering musculoskeletal tissues including bone, cartilage, skeletal muscle, tendon, and ligaments is summarized. Common printing techniques, photoreactive materials, and study design choices are compiled and reviewed.
Meagan Morgan, Bin Zhang, Roger Narayan
wiley +1 more source
Karl Popper and the Mechanisms of Hydrogen Embrittlement
Advanced Engineering Materials, EarlyView.Representation of the beginning of loss of ductility rather than embrittlement. Small concentrations of hydrogen in a diffusible form within iron are well‐established to harm the mechanical integrity of steels. There are theories that attempt to explain the pernicious role of hydrogen.
H. K. D. H. Bhadeshia
wiley +1 more source
Bipolar Proof Nets for MALL [PDF]
, 2012 In this work we present a computation paradigm based on a concurrent and incremental construction of proof nets (de-sequentialized or graphical proofs) of the pure multiplicative and additive fragment of Linear Logic, a resources conscious refinement of ...
MAIELI, ROBERTO
core
Influence of Test Temperature and Test Frequency on Fatigue Life of Aluminum Alloy EN AW‐2618A
Advanced Engineering Materials, EarlyView.The influence of test temperature and test frequency on the fatigue life of EN AW‐2618A is investigated. High‐cycle fatigue tests are performed at different test temperatures and frequencies on the 1000 h/230°C overaged state. Both test parameters reduce fatigue life due to time‐dependent damage mechanisms.
Ying Han +5 more
wiley +1 more source