Results 61 to 70 of about 109,474 (252)

Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

, 2010
This paper extends our Real-Time Maude formalization of the semantics of flat Ptolemy II discrete-event (DE) models to hierarchical models, including modal models.
A. Al-Nayeem, A. Boronat, C. Brooks, C. P. Cheng, E. A. Lee, E. A. Lee, H. Ding, J. E. Rivera, J. Eker, J. Meseguer, K. Bae, K. Bae, Kyungmin Bae, M. AlTurki, M. AlTurki, M. Clavel, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, Peter Csaba Ölveczky, Peter Csaba Ölveczky, S. Edwards, SAE AADL Team, Sz. Gyapay, T. Denton   +25 more
core   +2 more sources

Real‐Time 3D Ultrasound Imaging with an Ultra‐Sparse, Low Power Architecture

Advanced Healthcare Materials, EarlyView.
This article presents a novel, ultra‐sparse ultrasound architecture that paves the way for wearable real‐time 3D imaging. By integrating a unique convolutional array with chirped data acquisition, the system achieves high‐resolution volumetric scans at a fraction of the power and hardware complexity.
Colin Marcus, Md Osman Goni Nayeem, Aastha Shah, Jason Hou, Shrihari Viswanath, Maya Eusebio, David Sadat, Anantha P. Chandrakasan, Tolga Ozmen, Canan Dagdeviren   +9 more
wiley   +1 more source

All Properties are Divine or God exists [PDF]

, 2018
A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to hold of an ...
Bjørdal, Frode
core  

Transistor‐Level Activation Functions via Two‐Gate Designs: From Analog Sigmoid and Gaussian Control to Real‐Time Hardware Demonstrations

Advanced Materials, EarlyView.
Screen gate‐based transistors are presented, enabling tunable analog sigmoid and Gaussian activations. The SA‐transistor improves MRI classification accuracy, while the GA‐transistor supports precise Gaussian kernel tuning for forecasting. Both functions are implemented in a single device, offering compact, energy‐efficient analog AI processing ...
Junhyung Cho, Youngmin Han, Won Woo Lee, Youngwoo Yoo, Kannan Udaya Mohanan, Chang‐Hyun Kim, Junhwan Choi, Young‐Joon Kim, Wonjun Shin, Hocheon Yoo   +9 more
wiley   +1 more source

Reply to Rosanna Keefe’s ‘Modelling higher-order vagueness: columns, borderlines and boundaries’ [PDF]

, 2016
This paper is an expanded written version of my reply to Rosanna Keefe’s paper ‘Modelling higher-order vagueness: columns, borderlines and boundaries’ (Keefe 2015), which in turn is a reply to my paper ‘Columnar higher-order vagueness, or Vagueness is ...
Bobzien, Susanne
core  

3D Anodic Alumina Nanoarchitectures: A Decade of Progress from Foundational Science to Functional Metamaterials

Advanced Materials, EarlyView.
Ordered three‐dimensional anodic aluminum oxide (3D‐AAO) nanoarchitectures with longitudinal and transverse pores enable architecture‐driven metamaterials. The review maps fabrication advances, including hybrid pulse anodization, and shows how 3D‐AAO templates tailor properties across magnetism, energy, catalysis, and sensing.
Marisol Martín‐González
wiley   +1 more source

Ion‐Reconfigurable “N”‐Shaped Antiambipolar Behavior in Organic Electrochemical Transistors

Advanced Materials, EarlyView.
A unique N‐shaped negative differential transconductance (NDT) characteristics is demonstrated in single‐polymer organic electrochemical transistors through a sequential doping–redox–doping process driven by iodide ions. This redox‐driven mechanism enables low‐voltage, ion‐controlled reconfigurability and tunable current modulation, allowing seamless ...
Debdatta Panigrahi, Daniele Zucchelli, Zeinab Hamid, Christina Kousseff, Arup Sarkar, Aristea Pavlou, Zhitian Ling, Somayeh Kashani, Iain McCulloch, Paul W. M. Blom, Fabrizio Torricelli, Paschalis Gkoupidenis   +11 more
wiley   +1 more source

Light‐Induced Entropy for Secure Vision

Advanced Materials, EarlyView.
This work realized a ternary true random number generator by exploiting stochastic traps emerging within multiple junction interfaces, and quantitatively validated the generation of high‐quality random numbers. Furthermore, it successfully demonstrated diverse applications, including AI‐resilient image security, thereby providing a valuable guide for ...
Juhyung Seo, Seungme Kang, Chaehyun Kim, Taehyun Park, Youngwoo Yoo, Yeong Kwon Kim, Wonjun Shin, Byung Chul Jang, Young‐Joon Kim, Hocheon Yoo   +9 more
wiley   +1 more source

Two‐Photon 3D Printing of Functional Microstructures Inside Living Cells

Advanced Materials, EarlyView.
This study demonstrates 3D printing inside living cells by using two‐photon photo‐lithography. A bio‐compatible photoresist is injected into cells and selectively polymerized with a femtosecond laser, creating custom‐shaped intracellular structures with submicron resolution.
Maruša Mur, Aljaž Kavčič, Uroš Jagodič, Rok Podlipec, Matjaž Humar   +4 more
wiley   +1 more source

Ontology of sentential moods [PDF]

, 2016
In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ...
Žarnić, Berislav
core