Results 81 to 90 of about 1,342,285 (288)

A Novice-Friendly and Accessible Networked Educational Robotics Simulation Platform

Education Sciences
Despite its potential for STEM education, educational robotics remains out of reach for many classrooms due to upfront purchase costs, maintenance requirements, storage space, and numerous other barriers to entry.
Gordon Stein, Devin Jean, Saman Kittani, Menton Deweese, Ákos Lédeczi   +4 more
doaj   +1 more source

Survey Paper on Emotion Recognition [PDF]

, 2016
Facial expressions give important information about emotions of a person. Understanding facial expressions accurately is one of the challenging tasks for interpersonal relationships. Automatic emotion detection using facial expressions recognition is now
Patil, S. (Sandeep), Shukla, P. (Prachi)
core  

Reciprocal control of viral infection and phosphoinositide dynamics

FEBS Letters, EarlyView.
Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
wiley   +1 more source

Solving the boolean satisfiability problem using multilevel techniques [PDF]

, 2011
There are many complex problems in computer science that occur in knowledge-representation (artificial thinking), artificial learning, Very Large Scale Integration (VLSI) design, security protocols and other areas.
Salih, Sirar, Song, Yujie
core  

Spatiotemporal and quantitative analyses of phosphoinositides – fluorescent probe—and mass spectrometry‐based approaches

FEBS Letters, EarlyView.
Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho, Shin Morioka, Junko Sasaki, Takehiko Sasaki   +3 more
wiley   +1 more source

Non-polynomial Worst-Case Analysis of Recursive Programs

, 2017
We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of nonrecursive programs.
A Chakarov, A Podelski, A Schrijver, A Schrijver, AR Bradley, B Cook, B Cook, BS Gulavani, C Alias, C Urban, CS Lee, D Handelman, E Albert, E Albert, E Albert, J Farkas, J Hoffmann, J Hoffmann, J Hoffmann, J Hoffmann, K Chatterjee, L Shen, L Yang, M Brockschmidt, M Hofmann, M Hofmann, M Sinn, MA Colón, MA Colón, O Bournez, O Shkaravska, P Cousot, P Flajolet, R Alur, R Wilhelm, RG Bartle, RW Floyd, S Gulwani, S Jost, T Kuwahara, TH Cormen, W Chin, WH Hesselink   +42 more
core   +1 more source

By dawn or dusk—how circadian timing rewrites bacterial infection outcomes

FEBS Letters, EarlyView.
The circadian clock shapes immune function, yet its influence on infection outcomes is only beginning to be understood. This review highlights how circadian timing alters host responses to the bacterial pathogens Salmonella enterica, Listeria monocytogenes, and Streptococcus pneumoniae revealing that the effectiveness of immune defense depends not only
Devons Mo, Catherine S. Palmer, Jacqueline M. Kimmey   +2 more
wiley   +1 more source

Automatic Probabilistic Program Verification through Random Variable Abstraction

, 2010
The weakest pre-expectation calculus has been proved to be a mature theory to analyze quantitative properties of probabilistic and nondeterministic programs.
Barsotti, Damián, Wolovick, Nicolás
core   +2 more sources

Paraneoplastic Lupus Nephritis in a Child With Neuroblastoma Recurrence

Pediatric Blood &Cancer, EarlyView.
Gabriele Mortari, Caterina Costagliola, Marta Nebiolo, Francesca Parisi, Martina Morini, Katia Mazzocco, Gabriele Gaggero, Stefano Volpi, Stefania Sorrentino, Virginia Livellara   +9 more
wiley   +1 more source

Phosphatidylinositol 4‐kinase as a target of pathogens—friend or foe?

FEBS Letters, EarlyView.
This graphical summary illustrates the roles of phosphatidylinositol 4‐kinases (PI4Ks). PI4Ks regulate key cellular processes and can be hijacked by pathogens, such as viruses, bacteria and parasites, to support their intracellular replication. Their dual role as essential host enzymes and pathogen cofactors makes them promising drug targets.
Ana C. Mendes, Guilherme M. Azevedo, Amanda P. Barcellos, Diana Bahia   +3 more
wiley   +1 more source