Results 111 to 120 of about 16,571,812 (297)
Jurnal Penelitian dan Evaluasi Pendidikan, 2016 Tujuan penelitian ini adalah mendeskripsikan kemampuan berpikir tingkat tinggi (Higher Order Thinking Skills/HOTS) siswa dalam menyelesaikan soal PISA berdasarkan indikator yang telah disusun.
Dian Kurniati +2 more
doaj +1 more source
Higher-order representation of substructural logics [PDF]
ACM SIGPLAN Notices, 2010 We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Framework, without any linear or modal extensions. Using this encoding, metatheoretic proofs about such logics can easily be developed in the Twelf proof assistant.
openaire +1 more source
Higher-order + Polymorphic = Reusable [PDF]
This paper explores how certain ideas in object oriented languages have their correspondents in functional languages. In particular we look at the analogue of the iterators of the C++ standard template library.
Thompson, Simon
core +1 more source
Advanced Functional Materials, EarlyView.Balancing the spatially separated p‐ and n‐type transport pathways in heterojunction‐bilayer OTFTs enables symmetric inverter switching (VM ≈ 0.5VDD), whereas discrete integration of unipolar OTFTs gives polarity‐dependent and resistive responses. ABSTRACT High inverter performance in ambipolar organic electronics requires balanced channel strengths ...
Sohyun Choi +3 more
wiley +1 more source
La metafísica de orden superior: el caso del realismo fregeano
Síntesis. Revista de FilosofíaHigher-order metaphysics is an emerging research program that aims to account for metaphysical problems using the tools of higher-order logic. This critical study shows some of the relevant antecedents that led to this paradigm shift that is occurring in
Felipe Esteban Carrasco Figueroa
doaj +1 more source
Making the Case for Organ‐on‐Chip Platforms in Long‐Acting Therapeutics Development
Advanced Healthcare Materials, EarlyView.LATs release drug from a tissue‐resident depot over weeks to months, improving adherence, but their development is hampered by preclinical models that cannot reproduce the coupled tissue processes, sustained release, local microenvironment change, interstitial transport, immune and foreign‐body responses, and clearance that govern depot performance in ...
Charlie Gowans +7 more
wiley +1 more source
A Cell Sizing Technique for Mitigating Logic Soft Errors in Gate-level Designs
Advances in Electrical and Computer Engineering, 2013 The effect of logic soft errors on the degradation of the reliability becomes more crucial in the case of nano-meter semiconductor designs. Several hardening techniques have been reported from the transistor- to system-level.
KIM, J. T., PARK, J. K.
doaj +1 more source
Application of a Novel AＲCP Circuit in UPS
Journal of Harbin University of Science and Technology, 2017 In order to reduce the loss of the power switching device and improve the efficiency of the UP system，the AＲCP soft switching technology can be used.
MA Jun-jie +3 more
doaj +1 more source
Advanced Healthcare Materials, EarlyView.Magnetically responsive nanoparticles enable remote control over biomaterials, cells, and engineered tissues. This review summarizes material design, biological safety, fabrication and actuation strategies, computational validation, and translational pathways that support the development of magnetic tissue‐engineering platforms and future magnetically ...
Konstantinos Ioannidis +8 more
wiley +1 more source
A Robust Class of Context-Sensitive Languages
, 2007 We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolean operations.
MADHUSUDAN P +8 more
core +1 more source