Results 101 to 110 of about 22,340,656 (310)

Symbolic Data Analysis : Conceptual statistics and data Mining

, 2006
The first book to present a unified account of symbolic data analysis methods in a consistent statistical framework, Symbolic Data Analysis features a substantial number of examples from a range of application areas, including health, the social sciences,
Diday, Edwin, Billard, Lynne
core   +1 more source

High‐Resolution Corrosion Fingerprinting of Alloy Libraries via Microdroplet Spectroelectrochemistry

Advanced Engineering Materials, EarlyView.
Ionic‐liquid microdroplet spectroelectrochemistry enables stable, localized electrochemical measurements over extended timescales. By coupling impedance spectroscopy, wetting analysis, finite‐element simulations, and operando Raman spectroscopy, it disentangles geometrical and electrochemical effects, opening new opportunities for rapid corrosion ...
Ekaterina Kurchavova, Oumaïma Gharbi, Mireille Turmine, Vincent Vivier   +3 more
wiley   +1 more source

OntOMat: Toward Ontology‐Based Product and Process Design Engineering and Optimization Solutions Fueling Circular Value Chains

Advanced Engineering Materials, EarlyView.
The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ, Jörg Hohe, Martin Kördel, Michael Giese, Niklas Toffert, Christian Seidel, Olaf Rehme, Patrik Schneider, Oliver Focke, Elie Abi Aoun, Claas Falldorf, Beñat Gutierrez, Alexandra Kühn, Sven Torstrick-von der Lieth, Christoph Herden, Erik Johannsen, Jan‐Uwe R. Schmidt, Felix Winkelmann, Andreas Schott, Daniel Schott   +19 more
wiley   +1 more source

SymScal: symbolic multidimensional scaling of interval dissimilarities [PDF]

Multidimensional scaling aims at reconstructing dissimilaritiesbetween pairs of objects by distances in a low dimensional space.However, in some cases the dissimilarity itself is unknown, but therange of the dissimilarity is given.
Rodriguez, O., Groenen, P.J.F., Winsberg, S., Diday, E.   +3 more
core  

Symbolic Execution for (Almost) Free: Hijacking an Existing Implementation to Perform Symbolic Execution [PDF]

, 2014
Symbolic execution of a language is traditionally achieved by replacing the language s interpreter with an entirely new interpreter. This may be an unnecessary burden, and it is tempting instead to try to use as much of the existing interpret ...
Near, Joseph P., Jackson, Daniel
core  

Using symbolic computation in buckling analysis [PDF]

, 1985
Asymptotic buckling analysis of elastic structures can be considered a well established procedure (Budiansky, 1974) . It consists in bifurcation analysis of a system of oneparameter differential equations: balance, compatibility and constitutive ...
Tatone, A., Rizzi, Nicola, Tatone, Amabile, RIZZI, Nicola Luigi, RIZZI N   +4 more
core   +1 more source

Elastic Properties and Thermal Expansion Behavior of a Polycrystalline VMnFeCoNi High‐Entropy Alloy

Advanced Engineering Materials, EarlyView.
The high‐entropy alloy (HEA) V20Mn20Fe20Co20Ni20 (composition in at.%) can be made single‐phase face‐centered cubic (FCC) when annealed above 1338 K followed by water quenching. In this state, the alloy exhibits the greatest strength‐ductility combination of any quinary single‐phase FCC HEA.
Guillaume Laplanche, Marie Münchhalfen, Aditya Srinivasan Tirunilai, Jürgen Schreuer   +3 more
wiley   +1 more source

Abstract Model Counting: A Novel Approach for Quantification of Information Leaks [PDF]

, 2014
acmid: 2590328 keywords: model checking, quantitative information flow, satisfiability modulo theories, symbolic execution location: Kyoto, Japan numpages: 10acmid: 2590328 keywords: model checking, quantitative information flow, satisfiability modulo ...
Quoc-Sang Phan, Phan, Q-S, Malacaria, P, ASIA CCS '14 Proceedings of the 9th ACM symposium on Information, computer and communications security, Pasquale Malacaria   +4 more
core   +1 more source

Enhancing Fatigue Crack Growth Resistance in Heterostructured Aluminum Bimetals by Tailored Interface Design

Advanced Engineering Materials, EarlyView.
Different Al/Al bimetals with a single engineered interface reveal how mechanical mismatch governs fatigue crack growth under cyclic loading. Additionally, loading–unloading–reloading tests link the microyielding behavior to the fatigue crack growth resistance, while crack‐path analysis reveals toughening mechanisms at the interface, highlighting ...
Sebastian Vollath, Philip Manuel Pohl, Heinz Werner Höppel   +2 more
wiley   +1 more source

Rapidly Solidified High‐Strength Invar 36 Prepared by Planar‐Flow Melt Spinning

Advanced Engineering Materials, EarlyView.
The Invar 36 alloy was rapidly solidified using the planar‐flow melt‐spinning technique. Ribbon samples with thicknesses ranging from 20 to 160 mm were produced. As the grain size of the ribbon decreased to sub‐micron levels, the hardness increased by more than 2 times.
Bekir Akgül, Mehmet Kul
wiley   +1 more source