Arama Sonuçları - "neural network"

Ecuadorian infant mortality linked to socioeconomic factors during the last 30 years Yazar: Natalia Romero-Sandoval, Diego Del Alcázar, Jacob Pastor, Miguel Martín

Connect to this object online.

Evaluation of accurate eye corner detection methods for gaze estimation Yazar: Jose Javier Bengoechea, Juan J. Cerrolaza, Arantxa Villanueva, Rafael Cabeza

Connect to this object online.

Deep learning for predicting synergistic drug combinations: State‐of‐the‐arts and future directions Yazar: Yu Wang, Junjie Wang, Yun Liu

Connect to this object online.

Present and future of artificial intelligence in dentistry Yazar: Divya Tandon, Jyotika Rajawat, Monisha Banerjee

Connect to this object online.

Review on One-Stage Object Detection Based on Deep Learning Yazar: Hang Zhang, Rayan S Cloutier

Connect to this object online.

Ictal hypersalivation as a prominent symptom in a girl with insulo‐opercular epilepsy Yazar: Ke Sun, Dongju Yang, Shuli Liang, Liu Yuan, Guojun Zhang

Connect to this object online.

Surging footprints of mathematical modeling for prediction of transdermal permeability Yazar: Neha Goyal, Purva Thatai, Bharti Sapra

Connect to this object online.

Identifying experts in the field of visual arts using oculomotor signals Yazar: Marcin Kolodziej, Andrzej Majkowski, Piotr Francuz, Remigiusz J. Rak, Paweł Augustynowicz

Connect to this object online.

Application of Artificial Intelligence in Pediatric Dentistry: A Literature Review Yazar: Noura Alessa

Connect to this object online.

Deep learning-based quality control of cultured human-induced pluripotent stem cell-derived cardiomyocytes Yazar: Ken Orita, Kohei Sawada, Ryuta Koyama, Yuji Ikegaya

Connect to this object online.

Optimization of GERD Therapeutic Regimen Based on ANN and Realization of MATLAB Yazar: Wei-Wu Wang, Rui-Qing Ni, Fang-Yan Yu, Guo-Feng Lou, Cai-Dan Zhao

Connect to this object online.

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

İçindekiler: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Stem cells and progenitor cells in ischemic stroke - fashion or future? Yazar: Dirk M. Hermann

DOAB: download the publication
DOAB: description of the publication

Linguistic Pattern-Infused Dual-Channel Bidirectional Long Short-term Memory With Attention for Dengue Case Summary Generation From the Program for Monitoring Emerging Diseases-Mai... Yazar: Yung-Chun Chang, Yu-Wen Chiu, Ting-Wu Chuang

Connect to this object online.

Prediction of Medical Disputes Between Health Care Workers and Patients in Terms of Hospital Legal Construction Using Machine Learning Techniques: Externally Validated Cross-Sectio... Yazar: Min Yi, Yuebin Cao, Lin Wang, Yaowen Gu, Xueqian Zheng, Jiangjun Wang, Wei Chen, Liangyu Wei, Yujin Zhou, Chenyi Shi, Yanlin Cao

Connect to this object online.

COVID-19 Mortality Prediction From Deep Learning in a Large Multistate Electronic Health Record and Laboratory Information System Data Set: Algorithm Development and Validation Yazar: Saranya Sankaranarayanan, Jagadheshwar Balan, Jesse R Walsh, Yanhong Wu, Sara Minnich, Amy Piazza, Collin Osborne, Gavin R Oliver, Jessica Lesko, Kathy L Bates, Kia Khezeli, Darci R Block, Margaret DiGuardo, Justin Kreuter, John C O'Horo, John Kalantari, Eric W Klee, Mohamed E Salama, Benjamin Kipp, William G Morice, Garrett Jenkinson

Connect to this object online.

تقييم أداء محطات معالجة مياه الصرف الصحي باستخدام الشبكات العصبونية الصنعية (ANN) Yazar: رائد جعفر

Connect to this object online.

Predictive Analytics for Care and Management of Patients With Acute Diseases: Deep Learning-Based Method to Predict Crucial Complication Phenotypes Yazar: Sheng, Jessica Qiuhua, Hu, Paul Jen-Hwa, Liu, Xiao, Huang, Ting-Shuo, Chen, Yu Hsien

Connect to this object online.

RANCANGAN DAN IMPLEMENTASI FITUR DENGAN METODE ZONING, HISTOGRAM DAN PENDEKATAN STRUKTURAL UNTUK KLASIFIKASI KARAKTER TULISAN TANGAN AKSARA SUNDA Yazar: Alifia Chinka Rizal Muhammad, -

Link Metadata

SISTEM PENGENALAN WAJAH MENGGUNAKAN ALGORITMA VIOLA-JONES DAN MACHINE LEARNING BERBASIS APLIKASI DESKTOP Yazar: Ariq Rizqullah, -

Link Metadata