Results 111 to 120 of about 3,746,779 (357)
2nd Symposium on theoretical aspects of computer science
Theoretical Computer Science, 1984 openaire +2 more sources
The Evaluation of the Number and the Entropy of Spanning Trees on Generalized Small-World Networks
Journal of Applied Mathematics, 2018 Spanning trees have been widely investigated in many aspects of mathematics: theoretical computer science, combinatorics, so on. An important issue is to compute the number of these spanning trees.
Raihana Mokhlissi +4 more
doaj +1 more source
Advanced Engineering Materials, EarlyView.The study presents an efficient simulation approach for the polymer laser powder bed fusion process polymers process, validated with polyamide 12, polyamide 6, and polyetherketoneketone. It shows that inter layer time affects part density, with 90s yielding dense parts.
Claas Bierwisch +4 more
wiley +1 more source
Iranian Journal of Information Processing & Management, 2014 Machine indexer is referred to as a kind of indexing system in which keywords are extracted from the title or body of a text and organized in the index entries using computer algorithm.
Ammar Jalalimanesh +2 more
doaj
, 2010 We present three new approximation algorithms with improved constant ratios for selecting $n$ points in $n$ disks such that the minimum pairwise distance among the points is maximized.
Dumitrescu, Adrian, Jiang, Minghui
core +2 more sources
Assessing the Ecological Value: Monetizing Process Innovations in Tailored Forming
Advanced Engineering Materials, EarlyView.This article introduces a method for evaluating the sustainability of innovations, even with limited data. The method is illustrated through an analysis of the “Tailored Forming” technology, which explores the impact of sustainability on economic value added.
Jonas Schneider +4 more
wiley +1 more source
Forward analysis for WSTS, Part I: Completions [PDF]
26th International Symposium on Theoretical Aspects of Computer
Science - STACS 2009 (2009) 433-444, 2009 Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute a finite representation of the set of successors of the downward closure of a state, is harder: Until now, the theoretical framework for manipulating downward-closed sets was
arxiv
Mechanisms of De‐icing by Surface Rayleigh and Plate Lamb Acoustic Waves
Advanced Engineering Materials, EarlyView.Ice accretion impacts daily life, renewable energy generation, maintenance, and security in industries and aeronautics. Acoustic waves (AW) are a promising method for ice removal, although de‐icing mechanisms require further investigation to optimize energy efficiency.
Shilpi Pandey +15 more
wiley +1 more source
An Off-Label Use of Parental Rights? The Unanticipated Doctrinal Antidote for Professor Mnookin’s Diagnosis [PDF]
, 2014 In the intersection of technology, curriculum and intentions, a specific issue of interest is found in the gap between teachers’ intentions and implementations of curriculum.
Buss, Emily
core +1 more source
Analytic aspects of the shuffle product [PDF]
Dans Proceedings of the 25th Annual Symposium on the Theoretical
Aspects of Computer Science - STACS 2008, Bordeaux : France (2008), 2008 There exist very lucid explanations of the combinatorial origins of rational and algebraic functions, in particular with respect to regular and context free languages. In the search to understand how to extend these natural correspondences, we find that the shuffle product models many key aspects of D-finite generating functions, a class which contains
arxiv