Results 61 to 70 of about 70,767 (216)
The notion of computability closure has been introduced for proving the termination of the combination of higher-order rewriting and beta-reduction. It is also used for strengthening the higher-order recursive path ordering.
Blanqui, Frédéric
core +3 more sources
Closed-loop estimation of retinal network sensitivity reveals signature of efficient coding
According to the theory of efficient coding, sensory systems are adapted to represent natural scenes with high fidelity and at minimal metabolic cost. Testing this hypothesis for sensory structures performing non-linear computations on high dimensional ...
Ferrari, Ulisse +3 more
core +1 more source
ABSTRACT Migration is individually and collectively a challenging but also a transformative praxis and process. In my proposal, I present these in the context of transnational migration of two multigenerational families whose pioneers originally migrated from Turkey to Germany.
Halil Can
wiley +1 more source
Taha Toros Arşivi, Dosya No: 19-İsmail Hami Danişment, Nazan Danişment. Not: Gazetenin "Makale" köşesinde yayımlanmıştır.İstanbul Kalkınma Ajansı (TR10/14/YEN/0033) İstanbul Development Agency (TR10/14/YEN ...
Danişmend, İsmail Hami
core
Insects use sensilla to detect chemical and physical stimuli, mediating behaviours such as mate finding, foraging and mechanosensory responses. The distribution and density of sensilla can be examined using scanning electron microscopy. Investigating these structures can help elucidate rarely observed behaviours (e.g. mate finding and foraging).
L. Grey +3 more
wiley +1 more source
From “Olympic City” to “Olympic State” [PDF]
Olimpiyatlar, 1896 yılından sonra tekrar ulus devletlerin ilgi gösterdiği büyük olaylar haline gelmiştir ve ulus devletler olimpiyatlara ev sahipliği yapmak için birbiriyle yarış içine girmişlerdir.
Şahin, Yusuf
core
ABSTRACT Objective To assess whether the hemoglobin–albumin–lymphocyte–platelet (HALP) score distinguishes fetal growth restriction (FGR) from small for gestational age (SGA) and its association with composite adverse perinatal outcome (CAPO). Method This retrospective study included 444 singleton pregnancies (214 FGR; 230 SGA) at a tertiary center ...
Murat İbrahim Toplu +6 more
wiley +1 more source
An Elementary Fragment of Second-Order Lambda Calculus
A fragment of second-order lambda calculus (System F) is defined that characterizes the elementary recursive functions. Type quantification is restricted to be non-interleaved and stratified, i.e., the types are assigned levels, and a quantified variable
Aehlig, Klaus, Johannsen, Jan
core +3 more sources
Abstract Sleep problems in early childhood are common and may be shaped by maternal psychological factors. This study, performed in Turkey, explored the association between mothers' early maladaptive schemas (EMS) and sleep difficulties in children aged 12–36 months.
Nursah Yilmaz +2 more
wiley +1 more source
Acalolepta aesthetica is a non‐native cerambycid established on the Island of Hawaiʻi. We show its preferred hosts are woody species that are highly valued for agricultural, horticultural and cultural uses. We used a resource selection function to estimate host preferences and found that kukui (Aleurites moluccanus), the state tree, was preferred ...
Helen R. Sofaer +6 more
wiley +1 more source

