Results 311 to 320 of about 567,077 (336)

Advancements in Machine Learning for Microrobotics in Biomedicine

Advanced Intelligent Systems, EarlyView.
Microrobotics is an innovative technology with great potential for noninvasive medical interventions. However, controlling and imaging microrobots pose significant challenges in complex environments and in living organisms. This review explores how machine learning algorithms can address these issues, offering solutions for adaptive motion control and ...
Amar Salehi, Soleiman Hosseinpour, Nasrollah Tabatabaei, Mahmoud Soltani Firouz, Niloufar Zadebana, Richard Nauber, Mariana Medina‐Sánchez   +6 more
wiley   +1 more source

An <i>Intranet</i> of Things approach for adaptable control of behavioral and navigation-based experiments. [PDF]

Elife
Bowler JC, Zakka G, Yong HC, Li W, Rao B, Liao Z, Priestley JB, Losonczy A.   +7 more
europepmc   +1 more source

Vcfexpress: flexible, rapid user-expressions to filter and format VCFs. [PDF]

Bioinformatics
Pedersen BS, Quinlan AR.
europepmc   +1 more source

Optimizing hospital length of stay and bed allocation using a fuzzy stochastic transportation problem framework with lomax distribution^. [PDF]

MethodsX
Kalpanapriya DD, Bhavana P.
europepmc   +1 more source

Advanced computational approaches for predicting sunflower yield: Insights from ANN, ANFIS, and GEP in normal and salinity stress environments. [PDF]

PLoS One
Khalifani S, Darvishzadeh R, Montaseri M, Zaman Zad Ghavidel S, Hatami Maleki H, Kordrostami M.   +5 more
europepmc   +1 more source

Reconfigurable Sequential-Logic-in-Memory Implementation Utilizing Ferroelectric Field-Effect Transistors. [PDF]

ACS Nano
Niu J, Kim D, Li J, Lyu J, Lee Y, Lee S.
europepmc   +1 more source

Cross-Platform Ecological Momentary Assessment App (JTrack-EMA+): Development and Usability Study.

J Med Internet Res
Sahandi Far M, Fischer JM, Senge S, Rathmakers R, Meissner T, Schneble D, Narava M, Eickhoff SB, Dukart J.   +8 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Logic Programming

2020
International ...
Lallouet, Arnaud, Moinard, Yves, Nicolas, Pascal, Stephan, Igor   +3 more
openaire   +4 more sources

Logic programs as types for logic programs

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, 2002
Optimistic type systems for logic programs are considered. In such systems types are conservative approximations to the success set of the program predicates. The use of logic programs to describe types is proposed. It is argued that this approach unifies the denotational and operational approaches to descriptive type systems and is simpler and more ...
Thom Frühwirth, Eyal Yardeni, Ehud Shapiro, Moshe Y. Vardi   +3 more
openaire   +2 more sources