Results 131 to 140 of about 235,564 (296)
New Procedure for Treatment of Atrial Fibrillation in Patients with Valvular Heart Disease
Acta Medica Iranica, 2010 Patients with valvular heart disease suffer from atrial fibrillation for more than 12 months after valve surgery and have a low probability of remaining in sinus rhythm. We performed an intra-operative procedure similar to surgical maze ІІІ procedure for
Naser Safaie +5 more
doaj
National Journal of Physiology, Pharmacy and PharmacologyBackground: Hematuria is defined by the presence of an increased number of red blood cells (RBCs) in the urine. It can be visible or apparent only on microscopic analysis of urine which many times is an incidental finding.
Shermin Nasreen Abdul Jaleel
doaj +1 more source
An Overview of Backtrack Search Satisfiability Algorithms
, 2003 Propositional Satisfiability (SAT) is often used as the underlying model for a ...
João P. Marques-silva +3 more
core
Benchmark Petri Net Models Used for the Evaluation of B-I-Sat
, 2016 Collection and documentation of the benchmark Petri net models used for the evaluation of the B-I-Sat ...
Darvas, Dániel (5253601) +1 more
core +1 more source
Comparing the paths of Hedgehog release in artificial and natural settings
FEBS Letters, EarlyView.Hh morphogens require solubilization factors to overcome their tight association with the plasma membrane and signal to distant cells, but the precise functions of these factors are controversial. Here, we use published in vivo observations as the most relevant evidence to test their suggested functions and discuss contradictions and gaps between in ...
Janna Puschmann, Kay Grobe
wiley +1 more source
Jurnal Mercatoria, 2013 Masyarakat saat ini kian menuntut penerapan prinsip tata kelola pemerintahan yang baik (good governance), barangkali tidak berlebihan bila pertanyaan tersebut dikemukakan.
Abdul Hakim, Tan Kamelo
doaj
Antichain with SAT and Tries [PDF]
We introduce a SAT-enabled version of an antichain algorithm for checking language emptiness of alternating finite automata (AFA) with complex transition relations encoded as compact logical formulae. The SAT solver is used to compute predecessors of AFA
Holík, Lukáš, Vargovčík, Pavol
core +1 more source
How structural disorder and polyelectrolyte properties of prothymosin α enable its large interactome
FEBS Letters, EarlyView.In this review, complexes of the fully disordered and highly negatively charged prothymosin α are collected, described, and discussed. Linked to its poly‐electrostatic character, prothymosin α engages a large interactome through multiple different binding modes ranging from fully disordered complexes to short linear motif (SLiM)‐driven interactions ...
Ketty C. Tamburrini +3 more
wiley +1 more source
BMC PsychologyThe rapid integration of artificial intelligence (AI) in education has transformed teacher education programs. This study examined the effects of incorporating AI tools into a Project Preparation in Education course for pre-service teachers, focusing on ...
Mustafa Sat
doaj +1 more source
Gender differences in SAT scores : analysis by race and socioeconomic level
, 1995 Gender differences on Scholastic Aptitude Test (SAT) scores were analyzed by racial and socioeconomic groupings. Differences in SAT-Math scores, in SAT-Verbal scores, and in the difference between SAT-Math and SAT-Verbal scores were studied using four ...
Haigh, Charles Frederick
core