Results 71 to 80 of about 24,485 (301)
The 'Most Important and Fundamental' Distinction in Logic
Informal Logic, 2001 In this paper I argue that the debate over the purported distinction between deductive and inductive arguments can be bypassed because making the distinction is unnecessary for successfully evaluating arguments.
G.C. Goddu
doaj +1 more source
Inductive Diagrams for Causal Reasoning
Proceedings of the ACM on Programming LanguagesThe Lamport diagram is a pervasive and intuitive tool for informal reasoning about “happens-before” relationships in a concurrent system. However, traditional axiomatic formalizations of Lamport diagrams can be painful to work with in a mechanized setting like Agda.
Jonathan Castello +2 more
openaire +2 more sources
Large‐Area Printed PEDOT:PSS Shielding and Frequency Selective Surface (FSS) on Textiles
Advanced Materials Interfaces, EarlyView.An all‐polymer e‐textile frequency selective surface (FSS) can present controlled shielding, presenting a competitive alternative to metal‐based inks. The results show how PEDOT: PSS‐based e‐textiles could be applied in RF devices for future wearable applications.
Benjamin King, Mahmoud Wagih
wiley +1 more source
Induction with Generalization in Superposition Reasoning [PDF]
, 2020 We describe an extension of automating induction in superposition-based reasoning by strengthening inductive properties and generalizing terms over which induction should be applied. We implemented our approach in the first-order theorem prover Vampire and evaluated our work against state-of-the-art reasoners automating induction.
Hajdú, Márton +4 more
openaire +1 more source
Advanced Materials Technologies, EarlyView.We introduce an additively manufactured bioreactor with a perfusion flow system and integrated temperature and pH sensors for skeletal muscle tissue biofabrication. The bioreactor's performance was evaluated by assessing the viability, spreading of the myoblast cells in a printed scaffold, and contraction of the isolated murine musculi interossei ...
Lys Sprenger +9 more
wiley +1 more source
Hybrid knowledge reasoning over knowledge hypergraph: Inductive, deductive, and abductive
Journal of Electronic Science and TechnologyTraditional knowledge reasoning methods, which are predominantly reliant on static rules and structured data, often struggle to adapt to the ambiguity and dynamic evolution of real-world scenarios.
Tian Ling +5 more
doaj +1 more source
Edumatic, 2020 Inductive-reasoning is a step to draw general conclusions from individual matters. IR can be measured using the Intelligent Structure (IST) sub-ZR using a number pattern and using an Inductive Reasoning Test (IRT), which is an image pattern.
Wenda Novayani, Heri Sasmita
doaj +1 more source
Fault locator of an allyl chloride plant [PDF]
Hemijska Industrija, 2004 Process safety analysis, which includes qualitative fault event identification, the relative frequency and event probability functions, as well as consequence analysis, was performed on an allye chloride plant.
Savković-Stevanović Jelenka B.
doaj +1 more source
Advanced Materials Technologies, EarlyView.Anodic aluminum oxide (AAO) membranes have traditionally served as structural supports in osmotic energy systems. Here, blind‐hole AAO membranes are demonstrated as active ion‐selective platforms with tunable nanopore structures. By balancing membrane resistance, ion selectivity, and flux, enhanced performance is achieved, delivering a maximum power ...
Khanh Nhien Vu +6 more
wiley +1 more source
Using Measures of Situation Awareness to Characterize Mental Models in Inductive Reasoning Tasks [PDF]
, 2009 Mental models have been proposed in both the cognitive psychology and human factors literature. However, they have been applied for a variety of related but distinct representations.
Zhang, Tao
core