Works matching DE "BOOLEAN searching"

Results: 204

Computing with planar toppling domino arrangements.

Published in:

Natural Computing, 2012, v. 11, n. 4, p. 665, doi. 10.1007/s11047-012-9341-x

By:

Stevens, William

Publication type:

Article

Haifa verification conference 2007.

Published in:

2009

By:

Yorav, Karen

Publication type:

Editorial

An abstraction-based decision procedure for bit-vector arithmetic.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 2, p. 95, doi. 10.1007/s10009-009-0101-x

By:

Bryant, Randal;
Kroening, Daniel;
Ouaknine, Joël;
Seshia, Sanjit;
Strichman, Ofer;
Brady, Bryan

Publication type:

Article

The value of prior knowledge in machine learning of complex network systems.

Published in:

Bioinformatics, 2017, v. 33, n. 22, p. 3610, doi. 10.1093/bioinformatics/btx438

By:

Ferranti, Dana;
Krane, David;
Craft, David

Publication type:

Article

PyBoolNet: a python package for the generation, analysis and visualization of boolean networks.

Published in:

Bioinformatics, 2017, v. 33, n. 5, p. 770, doi. 10.1093/bioinformatics/btw682

By:

Klarner, Hannes;
Streck, Adam;
Siebert, Heike

Publication type:

Article

ASP-G: an ASP-based method for finding attractors in genetic regulatory networks.

Published in:

Bioinformatics, 2014, v. 30, n. 21, p. 3086, doi. 10.1093/bioinformatics/btu481

By:

Mushthofa, Mushthofa;
Torres, Gustavo;
Van de Peer, Yves;
Marchal, Kathleen;
De Cock, Martine

Publication type:

Article

BooleSim: an interactive Boolean network simulator.

Published in:

Bioinformatics, 2014, v. 30, n. 1, p. 131, doi. 10.1093/bioinformatics/btt568

By:

Bock, Matthias;
Scharp, Till;
Talnikar, Chaitanya;
Klipp, Edda

Publication type:

Article

PIE the search: searching PubMed literature for protein interaction information.

Published in:

Bioinformatics, 2012, v. 28, n. 4, p. 597, doi. 10.1093/bioinformatics/btr702

By:

Kim, Sun;
Kwon, Dongseop;
Shin, Soo-Yong;
Wilbur, W. John

Publication type:

Article

DATA CENTER RESOURCE MANAGEMENT FOR SAAS.

Published in:

Technical Transactions / Czasopismo Techniczne, 2016, v. 3-E, p. 229, doi. 10.4467/2353737XCT.16.279.6078

By:

TELENYK, SERGII;
BUKASOV, MAKSYM

Publication type:

Article

Use of Large Language Models to Assess the Likelihood of Epidemics From the Content of Tweets: Infodemiology Study.

Published in:

Journal of Medical Internet Research, 2024, v. 26, p. 1, doi. 10.2196/49139

By:

Deiner, Michael S;
Deiner, Natalie A;
Hristidis, Vagelis;
McLeod, Stephen D;
Doan, Thuy;
Lietman, Thomas M;
Porco, Travis C

Publication type:

Article

Web-Based STI/HIV Testing Services Available for Access in Australia: Systematic Search and Analysis.

Published in:

Journal of Medical Internet Research, 2023, v. 25, n. 1, p. 1, doi. 10.2196/45695

By:

Cardwell, Ethan Trey;
Ludwick, Teralynn;
Fairley, Christopher;
Bourne, Christopher;
Chang, Shanton;
Hocking, Jane S;
Kong, Fabian Y S

Publication type:

Article

Development and Evaluation of eHealth Services Regarding Accessibility: Scoping Literature Review.

Published in:

Journal of Medical Internet Research, 2023, v. 25, n. 1, p. 1, doi. 10.2196/45118

By:

Jonsson, Marika;
Johansson, Stefan;
Hussain, Dena;
Gulliksen, Jan;
Gustavsson, Catharina

Publication type:

Article

Health Chatbots in Africa: Scoping Review.

Published in:

Journal of Medical Internet Research, 2023, v. 25, n. 1, p. 1, doi. 10.2196/35573

By:

Phiri, Millie;
Munoriyarwa, Allen

Publication type:

Article

NESTED SIBLING TREE AUTOMATA.

Published in:

RAIRO - Theoretical Informatics & Applications, 2009, v. 43, n. 2, p. 379, doi. 10.1051/ita/2009006

By:

Gire, Françoise;
Talbot, Jean-Marc

Publication type:

Article

Dental Caries and Its Management.

Published in:

International Journal of Dentistry, 2023, p. 1, doi. 10.1155/2023/9365845

By:

Warreth, Abdulhadi

Publication type:

Article

Surgical treatments of peri-implantitis.

Published in:

2012

By:

Mombelli, Andrea;
Moëne, Raphaël;
Décaillet, Fabien

Publication type:

Case Study

Haplotype inference from unphased SNP data in heterozygous polyploids based on SAT.

Published in:

BMC Genomics, 2008, v. 9, p. 1, doi. 10.1186/1471-2164-9-356

By:

Neigenfind, Jost;
Gyetvai, Gabor;
Basekow, Rico;
Diehl, Svenja;
Achenbach, Ute;
Gebhardt, Christiane;
Selbig, Joachim;
Kersten, Birgit

Publication type:

Article

A Novel Test Point Selection Method for Analog Fault Dictionary Techniques.

Published in:

Journal of Electronic Testing, 2010, v. 26, n. 5, p. 523, doi. 10.1007/s10836-010-5169-4

By:

Yang, ChengLin;
Tian, ShuLin;
Long, Bing;
Chen, Fang

Publication type:

Article

Obstacles in the implementation of evidence-based practice (EBP) in nursing: an integrative review.

Published in:

Diversitas Journal, 2022, v. 7, n. 1, p. 238, doi. 10.48017/dj.v7i1.1982

By:

Alves dos SANTOS, Kleviton Leandro;
da Silva MIRANDA, Renata;
Luisa ALVES, Cacicleide;
Ivo da SILVA, Núbia;
de Souza XAVIER, Tamiris;
Gondim MAGALHÃES, Aruska Kelly

Publication type:

Article

Expressões de busca e o uso de diferentes operadores avançados de pesquisa em um mecanismo de busca.

Published in:

Texto Livre / Texto Livre: Linguagem e Tecnologia, 2023, v. 16, p. 1, doi. 10.1590/1983-3652.2023.47531

By:

Carlos Picalho, Antonio;
Maria Fadel, Luciane;
Leopoldo Gonçalves, Alexandre

Publication type:

Article

Análisis bibliométrico de la investigación sobre innovación empresarial.

Published in:

Ad-gnosis, 2023, v. 12, n. 12, p. 1, doi. 10.21803/adgnosis.12.12.614

By:

Valdo Acosta-Tzin, José;
Vicente Raudales-García, Elí;
Alcides Aguilar-Hernández, Pablo

Publication type:

Article

Heparin-Induced Hyperkalemia Assessment Utilizing the Naranjo Adverse Drug Reaction Probability Scale: A 40-Year Systematic Review.

Published in:

Pharmacy, 2025, v. 13, n. 2, p. 55, doi. 10.3390/pharmacy13020055

By:

Singh, Divita;
Mesalhy, Omnia A. E. A.;
Cawley, Michael J.

Publication type:

Article

Uncovering transcriptomic biomarkers for enhanced diagnosis of methamphetamine use disorder: a comprehensive review.

Published in:

Frontiers in Psychiatry, 2024, p. 1, doi. 10.3389/fpsyt.2023.1302994

By:

Won-Jun Jang;
Sooyeun Lee;
Chul-Ho Jeong

Publication type:

Article

Constructive Solving of Raven's IQ Tests with Analogical Proportions.

Published in:

International Journal of Intelligent Systems, 2016, v. 31, n. 11, p. 1072, doi. 10.1002/int.21817

By:

Beltran, William Correa;
Prade, Henri;
Richard, Gilles

Publication type:

Article

Skills Assessment Criteria for Aircraft Maintenance Technician in the Context of Industrial Revolution 4.0.

Published in:

Journal of Aerospace Technology & Management, 2022, v. 14, n. 1, p. 1, doi. 10.1590/jatm.v14.1286

By:

Thulasy, T. Nanthakumaran;
Nohuddin, Puteri Nor Ellyza;
Nusyirwan, Istas Fahrurrazi;
Rahim, Noorlizawati Abd;
Amrin, Astuty;
Chua, Stephanie

Publication type:

Article

Using Index Table to Query Optimization: B-Tree Index, Bitmap Index and Function-Based Index.

Published in:

International Journal of Advanced Research in Computer Science, 2012, v. 3, n. 3, p. 13

By:

Chanchai Supaartagorn

Publication type:

Article

Controlling Systems And Scheme With Icy Wold.

Published in:

International Journal of Advanced Research in Computer Science, 2011, v. 2, n. 3, p. 309

By:

Subbarao, D.;
prasad, kantipudi m. v. v;
Kumar, M. Arun

Publication type:

Article

ACTIVE AUTHENTICATION: THE PANACEA OF ACCESS CONTROL.

Published in:

Journal of Information System Security, 2015, v. 11, n. 3, p. 185

By:

Clark, Nathan;
Fudong Li

Publication type:

Article

Influenza-Like Illness Surveillance on Twitter through Automated Learning of Naïve Language.

Published in:

PLoS ONE, 2013, v. 8, n. 12, p. 1, doi. 10.1371/journal.pone.0082489

By:

Gesualdo, Francesco;
Stilo, Giovanni;
Agricola, Eleonora;
Gonfiantini, Michaela V.;
Pandolfi, Elisabetta;
Velardi, Paola;
Tozzi, Alberto E.

Publication type:

Article

Analysis and Practical Guideline of Constraint-Based Boolean Method in Genetic Network Inference.

Published in:

PLoS ONE, 2012, v. 7, n. 1, p. 1, doi. 10.1371/journal.pone.0030232

By:

Saithong, Treenut;
Bumee, Somkid;
Liamwirat, Chalothorn;
Meechai, Asawin

Publication type:

Article

In Silico Generation of Alternative Hypotheses UsingCausal Mapping (CMAP).

Published in:

PLoS ONE, 2009, v. 4, n. 4, p. 1, doi. 10.1371/journal.pone.0005378

By:

Weinreb, Gabriel E.;
Kapustina, Maryna T.;
Jacobson, Ken;
Elston, Timothy C.

Publication type:

Article

Evaluating and certifying QBFs: A comparison of state-of-the-art tools.

Published in:

AI Communications, 2009, v. 22, n. 4, p. 191, doi. 10.3233/AIC-2009-0468

By:

Narizzano, Massimo;
Peschiera, Claudia;
Pulina, Luca;
Tacchella, Armando

Publication type:

Article

Epidemiology and Reporting Characteristics of Systematic Reviews of Biomedical Research: A Cross-Sectional Study.

Published in:

2016

By:

Page, Matthew J.;
Shamseer, Larissa;
Altman, Douglas G.;
Tetzlaff, Jennifer;
Sampson, Margaret;
Tricco, Andrea C.;
Catalá-López, Ferrán;
Li, Lun;
Reid, Emma K.;
Sarkis-Onofre, Rafael;
Moher, David

Publication type:

journal article

Query evaluation over probabilistic XML.

Published in:

VLDB Journal International Journal on Very Large Data Bases, 2009, v. 18, n. 5, p. 1117, doi. 10.1007/s00778-009-0150-5

By:

Benny Kimelfeld;
Yuri Kosharovsky;
Yehoshua Sagiv

Publication type:

Article

Privacy preserving weighted similarity search scheme for encrypted data.

Published in:

IET Information Security (Wiley-Blackwell), 2019, v. 13, n. 1, p. 61, doi. 10.1049/iet-ifs.2018.5187

By:

Guo, Cheng;
Tian, Pengxu;
Chang, Chin‐Chen

Publication type:

Article

Beware of Gabapentin and Opioids in Geriatric Patients.

Published in:

Senior Care Pharmacist, 2024, v. 39, n. 12, p. 472

By:

Alhafez, Ghada R.;
Alshawa, Rama;
Fawaz, Mina;
Bartlett, Donna

Publication type:

Article

Path planning optimization in unmanned aerial vehicles using meta-heuristic algorithms: a systematic review.

Published in:

Environmental Monitoring & Assessment, 2023, v. 195, n. 1, p. 1, doi. 10.1007/s10661-022-10590-y

By:

Yahia, Hazha Saeed;
Mohammed, Amin Salih

Publication type:

Article

Environmental life cycle of fentanyl: From the cradle to an unknown grave.

Published in:

Journal of Environmental Quality, 2025, v. 54, n. 3, p. 513, doi. 10.1002/jeq2.70016

By:

Reid, Deseree J.;
Patel, Kaizad F.;
Melville, Angela M.;
Bailey, Vanessa L.;
Omberg, Kristin M.;
Lamoureux, Loreen R.

Publication type:

Article

Mechanism of Anti-Diabetic Activity from Sweet Potato (Ipomoea batatas): A Systematic Review.

Published in:

Foods, 2023, v. 12, n. 14, p. 2810, doi. 10.3390/foods12142810

By:

Arisanti, Cokorda Istri Sri;
Wirasuta, I. Made Agus Gelgel;
Musfiroh, Ida;
Ikram, Emmy Hainida Khairul;
Muchtaridi, Muchtaridi

Publication type:

Article

PESSOAS COM DEFICIÊNCIA NA PRISÃO: ANOTAÇÕES SOBRE UMA INVISIBILIDADE.

Published in:

Espaço Jurídico: Journal of Law, 2024, v. 25, n. 1, p. 95, doi. 10.18593/eiil.34647

By:

Bauer Luiz, Moisés;
Rolim, Marcos

Publication type:

Article

SEMANTIC SEARCH TECHNIQUES FOR LEARNING SMALLER BOOLEAN EXPRESSION TREES IN GENETIC PROGRAMMING.

Published in:

International Journal of Computational Intelligence & Applications, 2014, v. 13, n. 3, p. -1, doi. 10.1142/S1469026814500187

By:

MILLER, NICHOLAS C.;
CHAN, PHILIP K.

Publication type:

Article

Orthodontic Toothbrush Versus Conventional, Which One is More Effective for Fixed Orthodontic Patients: Systematic Review.

Published in:

Malaysian Journal of Medicine & Health Sciences, 2023, v. 19, p. 81

By:

Damaryanti, Endah;
Amalia, Tita

Publication type:

Article

Ada 2012 Language Standard Approved by ISO.

Published in:: Ada User Journal, 2013, v. 34, n. 1, p. 35
Publication type:: Article

Dynamic knowledge mapping guided by data mining: Application on Healthcare.

Published in:

Journal of Information Processing Systems, 2013, v. 9, n. 1, p. 1, doi. 10.3745/JIPS.2013.9.1.001

By:

Brahami, Menaouer;
Atmani, Baghdad;
Matta, Nada

Publication type:

Article

Using a Cellular Automaton to Extract Medical Information from Clinical Reports.

Published in:

Journal of Information Processing Systems, 2012, v. 8, n. 1, p. 67, doi. 10.3745/jips.2012.8.1.067

By:

Barigou, Fatiha;
Atmani, Baghdad;
Beldjilali, Bouziane

Publication type:

Article

Bidirectional Citation Searching to Completion: An Exploration of Literature Searching Methods.

Published in:

PharmacoEconomics, 2015, v. 33, n. 1, p. 5, doi. 10.1007/s40273-014-0205-3

By:

Hinde, Sebastian;
Spackman, Eldon

Publication type:

Article

Toward replication in grids for digital libraries with freshness and correctness guarantees.

Published in:

Concurrency & Computation: Practice & Experience, 2008, v. 20, n. 17, p. 1981, doi. 10.1002/cpe.1298

By:

Akal, Fuat;
Schuldt, Heiko;
Schek, Hans-Jörg

Publication type:

Article

Security in distributed metadata catalogues.

Published in:

Concurrency & Computation: Practice & Experience, 2008, v. 20, n. 17, p. 1995, doi. 10.1002/cpe.1299

By:

Santos, Nuno;
Koblitz, Birger

Publication type:

Article

A metadata management framework for dynamic information integration.

Published in:

Concurrency & Computation: Practice & Experience, 2008, v. 20, n. 17, p. 2009, doi. 10.1002/cpe.1300

By:

Göres, Jürgen;
Dessloch, Stefan

Publication type:

Article

Ranirestat Improves Electrophysiologic but not Clinical Measures of Diabetic Polyneuropathy: A Meta‑Analysis.

Published in:

Indian Journal of Endocrinology & Metabolism, 2022, v. 26, n. 5, p. 399, doi. 10.4103/ijem.ijem_242_22

By:

Dutta, Deep;
Mohindra, Ritin;
Kumar, Manoj;
Kumar, Ashok;
Sharma, Meha

Publication type:

Article