Results 111 to 120 of about 1,138,309 (354)

Programming Paradigms in Computer Science Education [PDF]

, 2005
Main styles, or paradigms of programming – imperative, functional, logic, and object-oriented – are shortly described and compared, and corresponding programming techniques are outlined.
Bolshakova, Elena
core  

Engineering CAR‐T Therapeutics for Enhanced Solid Tumor Targeting

Advanced Materials, EarlyView.
CART cell therapy has proven effective for blood cancers but struggles with solid tumors due to diverse antigens and complex environments. Recent efforts focus on improving CAR design and validation platforms. Advances in protein engineering, machine learning, and organoid systems aim to enhance CAR‐T therapy against solid tumors.
Danqing Zhu, Won Joon Kim, Hyunjin Lee, Xiaoping Bao, Pilnam Kim   +4 more
wiley   +1 more source

Verification of functional models of chemical manufacturing

Тонкие химические технологии, 2019
A generalized algorithm for the verification of functional models and the rules for the verification of diagrams related by levels of detail were developed in this paper.
E. V. Burlyaeva, V. V. Burlyaev, V. V. Kononenko, V. S. Tsekhanovich   +3 more
doaj   +1 more source

Loop checks for logic programs with functions

Theoretical Computer Science, 2001
AbstractTwo complete loop checking mechanisms have been presented in the literature for logic programs with functions: OS-check and EVA-check. OS-check is computationally efficient but quite unreliable in that it often mis-identifies infinite loops, whereas EVA-check is reliable for a majority of cases but quite expensive.
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
openaire   +2 more sources

Single‐Layer Spin‐Orbit‐Torque Magnetization Switching Due to Spin Berry Curvature Generated by Minute Spontaneous Atomic Displacement in a Weyl Oxide

Advanced Materials, EarlyView.
Single‐layer magnetization switching with a small critical current density of ≈106 A cm−2 is demonstrated. The strong intrinsic spin Hall effect, causing the switching, is induced by the synergy of the inherent spin‐orbit coupling and the spontaneous oxygen octahedral rotation in SrRuO3.The findings highlight the immense potential for realizing ...
Hiroto Horiuchi, Yasufumi Araki, Yuki K. Wakabayashi, Jun'ichi Ieda, Michihiko Yamanouchi, Yukio Sato, Shingo Kaneta‐Takada, Yoshitaka Taniyasu, Hideki Yamamoto, Yoshiharu Krockenberger, Masaaki Tanaka, Shinobu Ohya   +11 more
wiley   +1 more source

A Multimodal Humidity Adaptive Optical Neuron Based on a MoWS2/VOx Heterojunction for Vision and Respiratory Functions

Advanced Materials, EarlyView.
A multifunctional memristor is demonstrated for in‐memory sensing and computing, leveraging a MoWS₂/VOx heterojunction to enable high ON/OFF ratio up to 10⁸ with ultralow operating voltages of ±0.2 V. This bio‐inspired multimodal design exhibits tunable synaptic behavior across electrical, optical, and humidity stimuli, enabling in situ modulation of ...
Abdul Momin Syed, Dhananjay D. Kumbhar, Hanrui Li, Manoj Kumar Rajbhar, Dayanand Kumar, Pratibha Pal, Nimer Wehbe, Mohamed ben Hassine, Nazek El‐Atab   +8 more
wiley   +1 more source

Knowledge Discovery in Variant Databases Using Inductive Logic Programming

Bioinformatics and Biology Insights, 2013
Understanding the effects of genetic variation on the phenotype of an individual is a major goal of biomedical research, especially for the development of diagnostics and effective therapeutic solutions.
Hoan Nguyen, Tien-Dao Luu, Olivier Poch, Julie D. Thompson   +3 more
doaj   +1 more source

Combining Static and Dynamic Contract Checking for Curry

, 2017
Static type systems are usually not sufficient to express all requirements on function calls. Hence, contracts with pre- and postconditions can be used to express more complex constraints on operations. Contracts can be checked at run time to ensure that
A Serrano, A Stump, B Braßel, E Albert, J Dios Castro de, JC González-Moreno, L Moura de, M Fähndrich, M Hanus, M Hanus, O Chitil, P Wadler, R Milner, S Antoy, S Antoy, S Antoy, S Antoy, S Antoy   +17 more
core   +1 more source

DNA‑Directed Assembly of Photonic Nanomaterials for Diagnostic and Therapeutic Applications

Advanced Materials, EarlyView.
DNA‐directed assembly offers a powerful strategy for constructing structured photonic nanomaterials with precise spatial control. This review provides a comprehensive overview of recent advancements in DNA‐assembled photonic nanomaterials for diagnostics and therapeutics, highlighting key design principles, functionalization strategies, and optical ...
Longjiang Ding, Bing Liu, Andreas Peil, Sisi Fan, Jie Chao, Na Liu   +5 more
wiley   +1 more source

Is Life Unique?

Life, 2011
Is life physicochemically unique? No. Is life unique? Yes. Life manifests innumerable formalisms that cannot be generated or explained by physicodynamics alone.
David L. Abel
doaj   +1 more source