Results 81 to 90 of about 1,698,061 (303)

A parallel search algorithm for the SAT

Journal of Computer Science and Technology, 2005
In order to be able to perform multimedia searches (like sounds, videos, images, etc.) we have to use data structures like the Spatial Approximation Tree (SAT).
Graciela Verónica Gil Costa, Alicia Marcela Printista, Nora Susana Reyes, Juan Mauricio Marin Cahiuan   +3 more
doaj  

Prescriptive stereotypes, negative attitudes toward older adults, and social participation: surveys on younger and older Japanese

Cogent Gerontology
Promoting the active engagement of older individuals within society carries significant importance. Nevertheless, negative attitudes toward older adults can act as a hindrance.
Yuho Shimizu, Masashi Suzuki, Yukako Hata, Toshiro Sakaki   +3 more
doaj   +1 more source

Measuring Transit Oriented Development of Existing Urban Areas around Metro Stations in Faridabad City

International Journal of Built Environment and Sustainability, 2018
Urban population in Indian cities is encouraging auto reliance and having unsafe economic, social and environmental consequences. Land-use-change patterns are the outcome of the complex relations between the human and the physical surroundings.
Sat Pal
doaj   +1 more source

Supervisees' and supervisors' experiences of group climate in group supervision in psychotherapy. Effects of admission procedure [PDF]

, 2006
The purpose of this study was to evaluate the effects of two different admission procedures (high school grades/scholastic aptitude test (SAT) versus high school grades/SAT + interview) to a program in professional psychology on students' and supervisors'
Ogren, M, Sundin, EC
core  

SAT Race 2015

Artificial Intelligence, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Tomáš Balyo, Armin Biere, Markus Iser, Carsten Sinz   +3 more
openaire   +3 more sources

Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation

FEBS Letters, EarlyView.
Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe, Tanmay Kumar Mohanty, Rashna Bhandari, Dorothea Fiedler   +3 more
wiley   +1 more source

Epizootiološko istraživanje slinavke i šapa u Sudanu: stanje nakon dva desetljeća [PDF]

, 2010
In order to update information on the situation regarding foot and mouth disease (FMD) in the Sudan, a serosurvey and disease survey were conducted. Recently collected data on FMD in the Sudan showed that FMD is a major constraint to animal production in
Mohammed A. G. Alamin, Mohammed Habiela, Yahia H. Ali, Yazeed A. Raouf   +3 more
core   +2 more sources

Tarmo: A Framework for Parallelized Bounded Model Checking

, 2009
This paper investigates approaches to parallelizing Bounded Model Checking (BMC) for shared memory environments as well as for clusters of workstations. We present a generic framework for parallelized BMC named Tarmo.
Alessandro Cimatti, Antti E. J. Hyvärinen, Antti Eero Johannes Hyvärinen, Armin Biere, Armin Biere, Armin Biere, Daniel Le Berre, Dimosthenis Mpekas, Erika Ábrahám, Hantao Zhang, Jaco van de Pol, Keijo Heljanko, Keijo Heljanko, Lubos Brim, Martin Davis, Matthew W. Moskewicz, Matti Niemenmaa, Niklas Eén, Niklas Eén, Siert Wieringa, Tobias Schubert, William Gropp, Youssef Hamadi   +22 more
core   +3 more sources

The role of histone modifications in transcription regulation upon DNA damage

FEBS Letters, EarlyView.
This review discusses the critical role of histone modifications in regulating gene expression during the DNA damage response (DDR). By modulating chromatin structure and recruiting repair factors, these post‐translational modifications fine‐tune transcriptional programmes to maintain genomic stability.
Angelina Job Kolady, Siyao Wang
wiley   +1 more source

SAT-IT: The Interactive SAT Tracer

, 2023
In this work we present the Interactive SAT Tracer (SAT-IT), a visual and interactive tool to monitor and illustrate the basic algorithms for solving the Boolean Satisfiability Problem (SAT). We consider three algorithms with progressively increasing sophistication: simple backtracking, its extension with unit-propagation, so called Davis-Putnam ...
Cané, Marc, Coll, Jordi, Rojo, Marc, Villaret, Mateu   +3 more
openaire   +1 more source