Results 31 to 40 of about 10,648 (267)

Visual programming environment for multidimensional fuzzy interval-logic regulators

Научно-технический вестник информационных технологий, механики и оптики
The approach to synthesis and development of multidimensional fuzzy interval-logic regulators in the created visual programming environment that generates the program code of regulators for Simatic S7-300 and S7-400 controllers is considered ...
A. F. Antipin, E. V. Antipina
doaj   +1 more source

NFDI MatWerk Ontology (MWO): A BFO‐Compliant Ontology for Research Data Management in Materials Science and Engineering

Advanced Engineering Materials, EarlyView.
This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi, Ebrahim Norouzi, Kostiantyn Hubaiev, Jörg Waitelonis, Harald Sack   +4 more
wiley   +1 more source

Development of a hepatocellular carcinoma imaging database and structured imaging reports based on PACS, HIS, and repository

Frontiers in Oncology, 2023
PurposeTo establish a hepatocellular carcinoma imaging database and structured imaging reports based on PACS, HIS, and repository.MethodsThis study was approved by the Institutional Review Board.
Yushu Shi, Yufeng Tao, Jing Li, Zhi Li, Rui Zhang, Feng Chen   +5 more
doaj   +1 more source

Synchrotron Radiation for Quantum Technology

Advanced Functional Materials, EarlyView.
Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader, Sakura Pascarelli, Klaus Attenkofer, Anna A. Makarova, Karsten Holldack, Kai Rossnagel, Kristiaan Temst, George Kourousias, Stefano Carretta, Caterina Biscari, Helmut Dosch   +10 more
wiley   +1 more source

VirPLC: a Methodology to Developing Capacities, Skills and Self-esteem by the Logical Stimulus with a Simple, Functional and Dynamic Tool

Education in the Knowledge Society, 2017
The proliferation of programming environments such as Logo, Minecraft, Code or Scratch is a consequence of the effectiveness of a graphic language for the introduction of students in programming but, some of the newer systems, such as App Inventor, are ...
Antoni FERRER ROJAS
doaj   +1 more source

Functional gradients in the human lateral prefrontal cortex revealed by a comprehensive coordinate-based meta-analysis

eLife, 2022
The lateral prefrontal cortex (LPFC) of humans enables flexible goal-directed behavior. However, its functional organization remains actively debated after decades of research.
Majd Abdallah, Gaston E Zanitti, Valentin Iovene, Demian Wassermann   +3 more
doaj   +1 more source

Prospects of Electric Field Control in Perpendicular Magnetic Tunnel Junctions and Emerging 2D Spintronics for Ultralow Energy Memory and Logic Devices

Advanced Functional Materials, EarlyView.
Electric control of magnetic tunnel junctions offers a path to drastically reduce the energy requirements of the device. Electric field control of magnetization can be realized in a multitude of ways. These mechanisms can be integrated into existing spintronic devices to further reduce the operational energy.
Will Echtenkamp, Brahmdutta Dixit, Yifei Yang, Deyuan Lyu, Thomas Peterson, Qi Jia, Yu‐Chia Chen, Jian‐Ping Wang   +7 more
wiley   +1 more source

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students

Vietnam Journal of Computer Science
As the complexity of software systems is ever increasing, so is the need for practical tools for formal verification. Among these are automatic theorem provers, capable of solving various reasoning problems automatically, and proof assistants, capable of
Simon Tobias Lund, Jørgen Villadsen
doaj   +1 more source

Designing experiments to discriminate families of logic models

Frontiers in Bioengineering and Biotechnology, 2015
Logic models of signaling pathways are a promising way of building effective in silico functional models of a cell, in particular of signaling pathways.
Santiago eVidela, Santiago eVidela, Santiago eVidela, Santiago eVidela, Irina eKonokotina, Leonidas eAlexopoulos, Julio eSaez-Rodriguez, Torsten eSchaub, Anne eSiegel, Anne eSiegel, Carito eGuziolowski   +10 more
doaj   +1 more source

Reconfigurable Three‐Dimensional Superconducting Nanoarchitectures

Advanced Functional Materials, EarlyView.
3D superconducting nanostructures offer new possibilities for emergent physical phenomena. However, fabricating complex geometries remains challenging. Here 3D nanoprinting of complex 3D superconducting nanoarchitectures is established. As well as propagating superconducting vortices in 3D, anisotropic superconducting properties with geometric ...
Elina Zhakina, Luke Alexander Turnbull, Weijie Xu, Markus König, Paul Simon, Wilder Carrillo‐Cabrera, Amalio Fernández‐Pacheco, Uri Vool, Dieter Suess, Claas Abert, Vladimir M. Fomin, Claire Donnelly   +11 more
wiley   +1 more source