Results 111 to 120 of about 436,355 (315)
Ultrathin, flexible neural probes are developed with an innovative, biomimetic design incorporating brain tissue‐compatible materials. The material system employs biomolecule‐based encapsulation agents to mitigate inflammatory responses, as demonstrated through comprehensive in vitro and in vivo studies.
Jeonghwa Jeong+7 more
wiley +1 more source
Unconstrained inverse quadratic programming problem [PDF]
The paper covers a formulation of the inverse quadratic programming problem in terms of unconstrained optimization where it is required to find the unknown parameters (the matrix of the quadratic form and the vector of the quasi-linear part of the quadratic form) provided that approximate estimates of the optimal solution of the direct problem and ...
arxiv
Wearable Haptic Feedback Interfaces for Augmenting Human Touch
The wearable haptic feedback interfaces enhance user experience in gaming, social media, biomedical instrumentation, and robotics by generating tactile sensations. This review discusses and categorizes current haptic feedback interfaces into force, thermal, and electrotactile stimulation‐based haptic feedback interfaces, elucidating their current ...
Shubham Patel+3 more
wiley +1 more source
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back [PDF]
We lay out novel foundations for the computer-aided verification of guaranteed bounds on expected outcomes of imperative probabilistic programs featuring (i) general loops, (ii) continuous distributions, and (iii) conditioning. To handle loops we rely on user-provided quantitative invariants, as is well established.
arxiv
Blazes: Coordination Analysis for Distributed Programs [PDF]
Distributed consistency is perhaps the most discussed topic in distributed systems today. Coordination protocols can ensure consistency, but in practice they cause undesirable performance unless used judiciously. Scalable distributed architectures avoid coordination whenever possible, but under-coordinated systems can exhibit behavioral anomalies under
arxiv
The seed pod valves of Australian Banksia attenuata plants are not simply bi‐layers which bend when dry. These experiments and models reveal complex mechanics, which allow seed release only after several steps of seed pod opening. Stiffness gradients prevent delamination of the valves during loading, and a shape‐memory function protects the seeds ...
Friedrich Reppe+7 more
wiley +1 more source
Refuting conjectures in extremal combinatorics via linear programming [PDF]
We apply simple linear programming methods and an LP solver to refute a number of open conjectures in extremal combinatorics.
arxiv
Bridging the Gap Between Research and Practice: The Agile Research Network [PDF]
We report an action research-oriented approach to investigating agile project management methods which aims to bridge the gap between academic research and agile practice.
Gregory, Peggy+3 more
core
Mesenchymal stem cell‐derived nanoghosts (MSC‐NGs) mimic naturally secreted extracellular vesicles (MSC‐EVs) in structure and physicochemical properties but can be synthesized at more translatable yields. As osteogenic agents, MSC‐NGs demonstrate superior outcomes compared to MSC‐EVs.
Antoine Karoichan+4 more
wiley +1 more source
Practical Algorithms for Finding Extremal Sets [PDF]
The minimal sets within a collection of sets are defined as the ones which do not have a proper subset within the collection, and the maximal sets are the ones which do not have a proper superset within the collection. Identifying extremal sets is a fundamental problem with a wide-range of applications in SAT solvers, data-mining and social network ...
arxiv