Results 71 to 80 of about 2,176 (251)

Using Ordered Decision Diagrams for Computer-Aided Manipulation of Boolean Functions [PDF]

, 2017
Odločitveni grafi so uspešna podatkovna struktura za predstavitev logičnih funkcij. V diplomskem delu so podane potrebne matematične osnove za njihovo razumevanje in računalniški algoritmi za njihovo učinkovito realizacijo.
Meolic, Robert
core   +1 more source

Exploration of Pseudobinary Alloys (Al–Mn)‐(Co–Fe–Ni) to Design High‐Entropy and Compositionally Complex Alloys to Stabilize the τ Phase in Al–Mn‐Based Ferromagnetic Alloys

Advanced Engineering Materials, EarlyView.
This experimental study investigates the thermodynamic limits of the Al–Mn τ ferromagnetic phase within complex‐composition alloys (CCAs). Using nine rare‐earth‐free compositions, it explores a broad region of the pseudobinary AlMnCoFeNi system. The results reveal intricate links between composition, phase stability, and magnetic behavior, highlighting
Sacha Plagnol‐Chauzu, Laurent Peltier, Fodil Meraghni, Stéphane Delalande, Frédéric Mazaleyrat   +4 more
wiley   +1 more source

Binary Decision Diagrams for First Order Predicate Logic [PDF]

, 2008
We present an extension of Binary Decision Diagrams (BDDs) such that they can be used for predicate logic. We present a sound and complete proof search method which we apply to a number of examples.
Jan Friso Groote
core  

Influence of Geometric Design on Mechanical Performance of Auxetic Metastructure

Advanced Engineering Materials, EarlyView.
Strategic geometric reinforcement transforms auxetic performance. This study evaluates 3D‐printed arrowhead metastructures, revealing that a modified design with local ring reinforcement suppresses premature failure to achieve superior energy absorption and structural efficiency.
Muhammad Gulzari, Supharoek Sornsomrit, Muhammad Ayaz Akbar, Stephan Rudykh   +3 more
wiley   +1 more source

Quadtrees as an Abstract Domain [PDF]

, 2010
Quadtrees have proved popular in computer graphics and spatial databases as a way of representing regions in two dimensional space. This hierarchical data-structure is flexible enough to support non-convex and even disconnected regions, therefore it is ...
Howe, J. M., King, A., Howe, Jacob M., Lawrence-Jones, Charles, Andy King, Jacob M. Howe, Lawrence-Jones, C., King, Andy, Charles Lawrence-Jones   +8 more
core   +1 more source

Precipitation Simulations of the O‐Phase in Ti2AlNb Alloys Processed by Laser Powder Bed Fusion

Advanced Engineering Materials, EarlyView.
Simulated and experimental evolution of the O‐phase volume fraction during postprocessing of a Ti‐21Al‐25Nb (at.%) alloy processed by laser powder bed fusion. With results of sensitivity to input parameters from a thorough and quantified analysis, the interfacial energy matrix/precipitate is the most relevant input parameter for the simulation of the O‐
Silvana Tumminello, Joachim Gussone, Suzana G. Fries, Marcus Rackel, Andreas Stark, Norbert Schell, Jan Haubrich, Guillermo Requena   +7 more
wiley   +1 more source

Using Ordered Binary-Decision Diagrams for Compressing Images and Image Sequences [PDF]

, 1995
The Ordered Binary-Decision Diagram (OBDD) has been used to reduce the amount of space and computation required for verifying digital circuits by removing redundant copies of subfunctions.
Mike Starkey, Randy Bryant, Y Bryant
core  

Ferroelectricity in Antiferromagnetic Wurtzite Nitrides

Advanced Functional Materials, EarlyView.
We establish MnSiN2${\rm MnSiN}_2$ and MnGeN2${\rm MnGeN}_2$ as aristotypes of a new multiferroic wurtzite family that simultaneously exhibits ferroelectricity and antiferromagnetism with altermagnetic spin splitting. By strategically substituting alkaline‐earth metals, we predict new materials with coexisting switchable polarization, spin texture, and
Steven M. Baksa, Lin‐Ding Yuan, Stephen D. Wilson, James M. Rondinelli   +3 more
wiley   +1 more source

Optoelectronic Synaptic Devices Using Molecular Telluride Phase‐Change Inks for Three‐Factor Learning

Advanced Functional Materials, EarlyView.
Optoelectronic synaptic devices based on solution‐processed molecular telluride GST‐225 phase‐change inks are demonstrated for three‐factor learning. A global optical signal broadcast through a silicon waveguide induces non‐volatile conductance updates exclusively in locally electrically flagged memristors.
Kevin Portner, Dhananjeya Kumaar, Giacomo Torti, Killian Keller, Till Zellweger, Florian M. Schenk, Christoph Weilenmann, Daniel Chelladurai, Vara Prasad Jonnalagadda, Ghazi Sarwat Syed, Vanessa Wood, Jürg Leuthold, Alexandros Emboras, Maksym Yarema, Mathieu Luisier   +14 more
wiley   +1 more source

Oxygen‐Tunnel Indium Tin Oxide Vertical Channel Transistors with Enhanced Current Density and Reliability for Monolithic 3D Compute‐In‐Memory Systems

Advanced Functional Materials, EarlyView.
Oxygen‐tunnel (OT) indium tin oxide (ITO) vertical channel transistors (VCTs) enable reliable, high‐density gain‐cell memory for monolithic 3D integration. A sandwiched SiN/SiO2/SiN OT stack selectively regulates oxygen transport, suppressing parasitic electrode oxidation while stabilizing channel oxygen vacancies, thereby suppressing carrier injection
Hyeonho Gu, Haksoon Jung, Yongwoo Lee, Hoichang Jeong, Yanfeng Zhao, Heesoo Yang, Minho Park, Hyeonjin Lee, Seunghun Baek, Minju Song, Junghwan Kim, Youngmin Jo, Hyunjin Park, Munhyeon Kim, Jae‐Joon Kim, Kyuho Jason Lee, Byungjo Kim, Jimin Kwon   +17 more
wiley   +1 more source