Results 111 to 120 of about 66,342 (310)
As Principais Causas da Não Formalização das Empresas na Cidade de Guarapari/ES
This article is a descriptive research with quantitative character, whose purpose is to verify the main causes of the lack of formalization of enterprises in the city of Guarapari / ES, or, the article come help new entrepreneurs, government, society and
Máyra Vidal Nascimento +2 more
doaj
From Artificial to Embodied and Physical Intelligence in Smart Manufacturing
Smart manufacturing is reframed through complementary artificial, embodied, and physical intelligence, spanning computational reasoning, perception‐action coupling, and material‐level adaptation. Their integration across design, fabrication, operation, and maintenance reveals how intelligence can be co‐designed across algorithms, embodied agents, and ...
Kang Wang +9 more
wiley +1 more source
Formalization of Banking Supervision 19th-20th Centuries
Intro -- Preface -- Acknowledgments -- Contents -- About the Authors -- List of Figures -- List of Tables -- 1 Motivation and Framework -- 1.1 Introduction -- 1.2 Concepts and Definition -- 1.3 Theory of Banking Supervision -- 1.4 Scope -- 1.5 Previous ...
Hotori, Eiji. +2 more
core
Engineered heart tissues (EHTs) derived from human iPSCs replicate mechanisms of ventricular tachycardia at the tissue level. Acquired Long‐QT conditions cause early afterdepolarizations, wavebreak, and transient rotors; in contrast, focal cryoinjury forms a stable substrate that supports ongoing reentry.
Matthew Fiedler +4 more
wiley +1 more source
Formalization of Software Development: Problems and Solutions
The current paper gives an insight in the problem domain of formalization of software development, highlighting the potential advantages of usage of formal methods.
Alksnis, Gundars +3 more
core
Intelligent Polymer Electrolytes for Next‐Generation Zinc‐Based Energy Storage Devices
Intelligent polymer electrolytes are organized into a three‐level hierarchy that advances zinc‐based energy storage from passive ion conduction toward active, adaptive, and intelligent operation. Molecular regulation of Zn+ coordination, water activity, desolvation, ion flux, and interfaces underpins adaptive self‐healing, anti‐freezing, adhesion, and ...
Sanath Kumar +4 more
wiley +1 more source
The formalization of Message Sequence Charts
We discuss the state of affairs with respect to the formalization of Message Sequence Charts (MSC) and identify which parts of the definition of MSC are still candidate for formalization. Further, we give a tutorial on the formal semantics of MSC.
Mauw, S., S. Mauw
core +1 more source
Membrane‐Targeted Nanoparticles for Neuronal Photomodulation
Immobilizing gold nanoparticles on the neural interface using a bioorthogonal approach generates localized heat upon exposure to near‐infrared light, temporarily inhibiting primary neuronal activity without damaging the cells. This precise placement and retention of nanoparticles at the cell membrane expand the strategies for non‐invasive neural ...
Ane Escobar +9 more
wiley +1 more source
A Dual‐Branch Flux‐Based Extended Memristor Model With Machine‐Learning‐Assisted Calibration
Multilayer oxide memristors integrated in crossbar arrays are described through a dual‐branch, flux‐controlled compact model. A three‐stage calibration workflow combining Latin hypercube sampling, Bayesian optimization, and gradient‐based refinement extracts device parameters from experimental data.
Davide Rossetti +6 more
wiley +1 more source
Formal Description of Trusted Bebavior Oriented Security System for Big Data
Usually the process of storing and analyzing with big data is under the framework of Hadoop within the environment of cloud computing while the risks of big data application on cloud derive from cloud service providers and remote users who access data ...
Zhi Yan, Jing Zhan
doaj

