Results 101 to 110 of about 49,509 (302)

Designing Physical Unclonable Functions From Optically Active Materials

Advanced Materials, EarlyView.
Assigning unforgeable “fingerprints” to manufactured goods is a key strategy to fight global counterfeiting. Optical physical unclonable functions (PUFs) are chemically generated random patterns of optically active materials serving as unique authenticators.
Maxime Klausen, Junfang Zhang, Molly M. Stevens   +2 more
wiley   +1 more source

A Novel Conflict Deduction Algorithm Based on Contradiction Separation Inference Rule

International Journal of Computational Intelligence Systems
Automated reasoning, a significant field within artificial intelligence, has attracted increased attention in recent years due to the rising demand for trustworthy AI.
Hailin Guo, Feng Cao, Jianbing Yi, Guanfeng Wu, Weicai Li   +4 more
doaj   +1 more source

Extended Resolution as Certificates for Propositional Logic

EPiC Series in Computing, 2018
When checking answers coming from automatic provers, or when skeptically integrating them into proof assistants, a major problem is the wide variety of formats of certificates, which forces to write lots of different checkers. In this paper, we propose to use the extended resolution as a common format for every propositional prover.
openaire   +3 more sources

A Resolution-Based Calculus For Temporal Logics [PDF]

, 1995
Das ständig wachsende Interesse an Temporallogiken in zahlreichen Gebieten der Informatik verlangt nach Methoden, mit deren Hilfe effizient und schnell Schlussfolgerungen in diesen Logiken gezogen werden können. Üblicherweise geschieht dies durch die Entwicklung eines implementierten Kalküls, und tatsächlich wurden in den vergangenen Jahren ...
openaire   +1 more source

Unperceivable Designs of Wearable Electronics

Advanced Materials, EarlyView.
Unperceivable wearable technologies seamlessly integrate into everyone's daily life, for healthcare and Internet‐of‐Things applications. By remaining completely unnoticed both visually and tactilely, by the user and others, they ensure medical privacy and allow natural social interactions.
Yijun Liu, Séverine De Mulatier, Naoji Matsuhisa   +2 more
wiley   +1 more source

Gradients of Aliveness and Engineering: A Taxonomy of Fungal Engineered Living Materials

Advanced Materials, EarlyView.
This paper explores the potential of fungal engineered living materials (ELMs), examining fungal biology and growth mechanisms, which underpin their development. It presents a classification framework based on aliveness, scaffold composition, and engineering degree. Unique properties such as self‐healing, biosensing, and bioremediation are highlighted,
Elise Elsacker, Jara Saluena Martin, Annah‐Ololade Sangosanya, Anouk Verstuyft, Aurélie Van Wylick, Eveline Peeters   +5 more
wiley   +1 more source

Programmable Continuous Electrowetting of Liquid Metal for Reconfigurable Electronics

Advanced Materials, EarlyView.
This work introduces a programmable continuous electrowetting (CEW) approach for the dynamic manipulation of liquid metal (LM), enabling directional control via electrochemical modulation. By leveraging laser‐induced graphene (LIG) substrates, a wide range of utilities is demonstrated, including fluidic “valves,” logic gates, and reconfigurable ...
Wedyan Babatain, Christine Park, Deiaa M. Harraz, Ozgun Kilic Afsar, Cedric Honnet, Sarah Lov, Jean‐Baptiste Labrune, Michael D. Dickey, Hiroshi Ishii   +8 more
wiley   +1 more source

Linear Resolution for Fuzzy Logic Program

, 1994
Hiroaki Kikuchi, Masao Mukaidono
openalex   +2 more sources

Probiotic‐Based Materials as Living Therapeutics

Advanced Materials, EarlyView.
Recent advances in Engineered Living Materials are highlighted, integrating synthetic biology and advanced materials, with a focus on probiotic‐based therapeutics. Probiotic Living Materials hold great potential for biosensing, infection treatment, osteogenesis, wound healing, vaginal and gastrointestinal disorders, and cancer therapy. breakthroughs in
Laura Sabio, Graham J. Day, Manuel Salmeron‐Sanchez   +2 more
wiley   +1 more source

Molecular logic gates based on programmable self-assembly of DNA origami triangles for the detection of nucleic acid molecules

Scientific Reports
The development of programmable DNA origami architectures with combinatorial complexity remains a critical challenge in molecular nanotechnology. This study develops a programmable nucleic acid detection platform by integrating DNA origami nanostructures
Si Sun, Jin-Da Wen, Qian-Ru Xiao, Xiao-Li Qiang, Xiao-Long Shi   +4 more
doaj   +1 more source