Results 91 to 100 of about 143,456 (334)

An Extensible Ad Hoc Interface between Lean and Mathematica

open access: yes, 2017
We implement a user-extensible ad hoc connection between the Lean proof assistant and the computer algebra system Mathematica. By reflecting the syntax of each system in the other and providing a flexible interface for extending translation, our ...
Lewis, Robert Y.
core   +1 more source

Meniscus Pixel Printing for Contact‐Lens Vision Sensing and Robotic Control

open access: yesAdvanced Functional Materials, EarlyView.
A visual‐sensing contact lens is enabled by meniscus pixel printing (MPP), which rapidly patterns a 200 µm perovskite photodetector pixel in 1 s without masks, vacuum processing, or bulky equipment. A deep‐learning‐based super‐resolution reconstructs sparse on‐lens signals into 80 × 80 high‐resolution visual information, while AI‐driven eye‐tracking ...
Byung‐Hoon Gong   +7 more
wiley   +1 more source

The Medicare Physician Group Practice Demonstration: Lessons Learned on Improving Quality and Efficiency in Health Care [PDF]

open access: yes, 2008
Discusses the experiences of ten large practices earning performance payments for improving the quality and cost-efficiency of health care delivered to Medicare fee-for-service ...
Gregory Pope   +4 more
core  

Halide‐Dependent Photoluminescence and Heavy‐Atom Effects in Low‐Melting Organic–Inorganic Manganese Halides

open access: yesAdvanced Functional Materials, EarlyView.
Two pyridinium‐based ionic liquid templated hybrid manganese halides, (C4Py)2[MnCl4] and (C4Py)2[MnBr4], display similar bulk structures but show significantly different photoluminescence behaviors due to the bromine heavy‐atom effect. Their stable local Mn environments remain intact even in the molten state, allowing applications such as luminescence ...
Biswajit Bhattacharyya   +22 more
wiley   +1 more source

Participatory design and use of a simplified landscape in a simulation model for mitigating land use conflict in Northern Thailand highlands [PDF]

open access: yes, 2009
Landscape modelling integrating spatial information in Geographic Information Systems has been widely used to represent knowledge and support decision-making in the field of natural resource management.
Dumrongrojwatthana, P.   +3 more
core  

Curvature‐Tuned Friction at Electrified Ionic Liquid Interfaces

open access: yesAdvanced Functional Materials, EarlyView.
Graphene curvature plays a key role in friction electrotunability at single‐asperity contacts lubricated by ionic liquids. A 9 nm radius yields stronger tunability than larger radii, with distinct friction coefficients at low and high loads indicating a shift in the slippage plane.
Wei Song   +6 more
wiley   +1 more source

Engaging virtual agents [PDF]

open access: yes, 2006
Embodied virtual assistants normally don’t engage the user emotionally. They fulfil their functions, e.g. as shopping assistants or virtual teachers, factually and emotionless.
Iurgel, Ido A., Marcos, Adérito
core  

Design Strategies and Emerging Applications of High‐Performance Flexible Piezoresistive Pressure Sensors

open access: yesAdvanced Functional Materials, EarlyView.
Flexible piezoresistive pressure sensors underpin wearable and soft electronics. This review links sensing physics, including contact resistance modulation, quantum tunneling and percolation, to unified materials/structure design. We highlight composite and graded architectures, interfacial/porous engineering, and microstructured 3D conductive networks
Feng Luo   +2 more
wiley   +1 more source

Innovate Magazine / Annual Review 2010-2011 [PDF]

open access: yes, 2011
https://scholarworks.sjsu.edu/innovate/1001/thumbnail ...
San Jose State University
core   +1 more source

Home - About - Disclaimer - Privacy