Results 41 to 50 of about 7,504 (166)
The hidden arrow in the FedEx logo: Do we really unconsciously “see” it?
Cognitive Research, 2023 The FedEx logo makes clever use of figure-ground ambiguity to create an “invisible” arrow in the background space between “E” and “x”. Most designers believe the hidden arrow can convey an unconscious impression of speed and precision about the FedEx ...
Shih-Chiang Ke +4 more
doaj +1 more source
Small Proofs from Congruence Closure
, 2022 Satisfiability Modulo Theory (SMT) solvers and equality saturation engines must generate proof certificates from e-graph-based congruence closure procedures to enable verification and conflict clause generation.
Flatt, Oliver +4 more
core
, 2022 Consumers’ decision process when buying food products can be affected by the colour of the packaging. Previous research has focused on cross-modal associations regarding the linkage of colours and flavours.
Groten Steenwelle, J.F.C.
core
Effects of cooling and internal wave motions on gas transfer coefficients in a boreal lake [PDF]
Tellus: Series B, Chemical and Physical Meteorology, 2014 Lakes and other inland waters contribute significantly to regional and global carbon budgets. Emissions from lakes are often computed as the product of a gas transfer coefficient, k 600 , and the difference in concentration across the
Jouni J. Heiskanen +6 more
doaj +1 more source
ERP evidence of semantic processing in children with ASD
Developmental Cognitive Neuroscience, 2019 25% of children with autism spectrum disorder (ASD) remain minimally verbal (MV), despite intervention. Electroencephalography can reveal neural mechanisms underlying language impairment in ASD, potentially improving our ability to predict language ...
Charlotte DiStefano +2 more
doaj +1 more source
, 2020 Consumers often associate packaging colours with a certain product flavour. . Little is known about the role culture plays in regard to cross-modal correspondences for culture specific product-colour associations, and the potential roles attitudes to ...
Snyders, E.M.D.
core
BMC Evolutionary Biology, 2010 Background Usual methods for inferring species boundaries from molecular sequence data rely either on gene trees or on population genetic analyses.
Flot Jean-François +2 more
doaj +1 more source
How Precise Is Dental Volumetric Tomography in the Prediction of Bone Density?
International Journal of Dentistry, 2012 Objectives. The aim of this study was to review the bone density assessment techniques and evaluate the macroscopic structure of bone specimens scored by Hounsfield Units (HUs) and decide if they are always in congruence. Methods.
Hakan Bilhan, Selda Arat, Onur Geckili
doaj +1 more source
Frequency Dynamic Characteristic Analysis of Ultra-Low Frequency Oscillation and Multi-Machine GPSS Parameter Tuning Method [PDF]
Dianli jianshe[Objective] The growing concern over frequency stability is attributed to the decreasing overall inertia of power systems. To improve the analysis of frequency stability and performance of modern power systems， a frequency dynamic characteristic analysis
ZENG Pijiang, XU Hao, YE Pengju, ZHENG Chao, SAI Xiangyu, CHEN Gang, ZHAO Yong, JIANG Chuyang, GAN Deqiang
doaj +1 more source
COWS: A Timed Service-Oriented Calculus
, 2007 COWS (Calculus for Orchestration of Web Services) is a foundational language for Service Oriented Computing that combines in an original way a number of ingredients borrowed from well-known process calculi, e.g.
R. Pugliese +7 more
core +1 more source