Filters








173,054 Hits in 6.5 sec

Writing Composable Software with InterpreterLib [chapter]

Mark Snyder, Nicolas Frisby, Garrin Kimmell, Perry Alexander
2009 Lecture Notes in Computer Science  
InterpreterLib is a Haskell library for building and composing modular syntactic and semantic definitions. We identify two forms of composition within this domain.  ...  These types must be ascribed because the constraints accumulated via the SubFunctor and MonadError modularity mechanisms only restrict the types without determining a specific type.  ...  Compositionality is achieved via modularity interfaces and composition mechanisms.  ... 
doi:10.1007/978-3-642-02655-3_12 fatcat:zifoctrvdvcezphqotnidowulq

Semantic Solutions to Program Analysis Problems [article]

Sam Tobin-Hochstadt, David Van Horn
2011 arXiv   pre-print
For over thirty years, higher-order program analysis has been sold as a hard problem. Its solutions have required ingenuity and complex models of approximation.  ...  Problems in program analysis can be solved by developing novel program semantics and deriving abstractions conventionally.  ...  Contracts are a form of specification, which we treat as values in a novel semantics. What other kinds of specifications can be treated as values?  ... 
arXiv:1105.0106v1 fatcat:z3athpd4dzcqhbnavmnwqfi7oq

Driver Attribute Filling for Genes in Interaction Network via Modularity Subspace-Based Concept Learning from Small Samples

Fei Xie, Jianing Xi, Qun Duan, Jianxin Li
2020 Complexity  
In consideration of gene interaction network as a complex network, previous studies have made efforts on the driver attribute filling of genes via network properties of nodes and network propagation of  ...  Our model can overcome the curse of dimensionality due to small samples via dimension reduction in the task of attribute concept learning and explore the features of genes through modularity subspace beyond  ...  Fourth, the approximate residual term with tuning parameter λ ε is aimed to bridge the modularity subspace features from network H and the low-dimension features from mutation data H, via a small value  ... 
doi:10.1155/2020/6643551 fatcat:nxvn2whfcjfsrngifspni4unny

Governance implications of modularity in sourcing relationships

Nukhet Harmancioglu, Stefan Wuyts, Peren Ozturan
2020 Journal of the Academy of Marketing Science  
We provide empirical support for the developed moderated mediation model through an analysis of 194 innovation projects.  ...  We argue that (i) buyer firms employ governance mechanisms (monitoring and socialization) to cope with the strategic hazards of innovation sourcing relationships (knowledge specificity, knowledge asymmetry  ...  H5b: System modularity strengthens the positive indirect effect of knowledge specificity on relationship performance via socialization.  ... 
doi:10.1007/s11747-020-00748-w fatcat:pkzwphlg5vdqnecv2fypzlguq4

Basics and Implementation of Document Automation in the Image Processing Industry

Dirk Quilitzsch, Wolfgang Ziegler, D. Roy, G. Fragulis
2022 SHS Web of Conferences  
When developing a modularization concept, a suitable module structure as well as an appropriate module size should be determined.  ...  These considerations include a viable metadata concept and a modularization concept suitable for the product portfolio.  ...  The realization of customer solutions via the reuse of hardware and software from the configurable modular system forms the basis for transferring this concept to technical documentation as well.  ... 
doi:10.1051/shsconf/202213902005 fatcat:pbbjv4q4njb53lgd6mf6ffvhxy

Component complementarity and transaction costs: the evolution of product design

Nicholas Burton, Peter Galvin
2018 Review of Managerial Science  
The fact that product architectures potentially oscillate between the modular and integrated designs, as well as often adopting a hybrid form, highlights the need for an integrated explanation concerning  ...  By considering the trade-offs between different types of value capture that are possible in modular and integrated architectures we are able to build a basic explanation for the evolution of product architectures  ...  to external demands for variety and hence capture value from developing internal modular product components and firm-specific interface specifications via their own capabilities, but it is also a decision  ... 
doi:10.1007/s11846-018-0310-3 fatcat:lytvsyg7bvah3gnilya4tkd2ny

Hierarchical clustering for graph visualization [article]

Stéphan Clémençon , Fabrice Rossi
2012 arXiv   pre-print
An application of this method to HIV epidemic analysis in Cuba is outlined.  ...  This paper describes a graph visualization methodology based on hierarchical maximal modularity clustering, with interactive and significant coarsening and refining possibilities.  ...  With 11 clusters, the modularity reaches 0.81, a similar value as the maximally refined graph.  ... 
arXiv:1210.5693v1 fatcat:xzpjrhb7evcjdkmvhsj2kspd5u

Understanding and predicting binding between human leukocyte antigens (HLAs) and peptides by network analysis

Heng Luo, Hao Ye, Hui Wen Ng, Leming Shi, Weida Tong, William Mattes, Donna Mendrick, Huixiao Hong
2015 BMC Bioinformatics  
To examine the significance of signals in the yielded models, the modularity was compared with the modularity values generated from 1,000 random networks.  ...  Conclusions: Network analysis is a useful approach for analyzing large and sparse datasets such as the HLApeptide binding dataset.  ...  Feixiong Cheng of Vanderbilt University Medical Center for providing us the code of NBI and for discussing on the data analysis.  ... 
doi:10.1186/1471-2105-16-s13-s9 pmid:26424483 pmcid:PMC4597169 fatcat:bjvsg7yg7jhhhnoeje7rbc7ipu

Automated Network Analysis Identifies Core Pathways in Glioblastoma

Ethan Cerami, Emek Demir, Nikolaus Schultz, Barry S. Taylor, Chris Sander, Sridhar Hannenhalli
2010 PLoS ONE  
modules involve signaling via p53, Rb, PI3K and receptor protein kinases.  ...  Key elements in the approach include combined analysis of sequence mutations and DNA copy number alterations; use of a unified molecular interaction network consisting of both protein-protein interactions  ...  Developed the algorithms, performed the network analysis, created the software, and wrote the paper: EC. Created the BioPAX-to-binary interaction mapper: ED.  ... 
doi:10.1371/journal.pone.0008918 pmid:20169195 pmcid:PMC2820542 fatcat:qkwf4rihsrdlxokf6poavlxqhy

Methods for Specifying Scientific Data Standards and Modeling Relationships with Applications to Neuroscience

Oliver Rübel, Max Dougherty, Prabhat, Peter Denes, David Conant, Edward F. Chang, Kristofer Bouchard
2016 Frontiers in Neuroinformatics  
We introduce the concept of Managed Objects, enabling semantic components of data formats to be specified as self-contained units, supporting modular and reusable design of data format components and file  ...  We describe the formal specification of scientific data standards, which facilitates sharing and verification of data and formats.  ...  BRAINformat supports the formal specification and verification of scientific data formats and supports the organization of data in a modular, extensible, and reusable fashion via the concept of managed  ... 
doi:10.3389/fninf.2016.00048 pmid:27867355 pmcid:PMC5095137 fatcat:i73aoz4f2nbfvpxjarpzngtjhu

Deep Learning Network Anomaly-Based Intrusion Detection Ensemble For Predictive Intelligence To Curb Malicious Connections: An Empirical Evidence

2021 International Journal of Advanced Trends in Computer Science and Engineering  
MNN is used as a learning paradigm for modular learning components. Model validation return a confusion matrix with these values: TP = 50, TN = 2, FN = 5, FP = 3.  ...  These values were subsequently applied to obtain sensitivity,specificity and accuracy of model. Model portrays a sensitivity value of 93%, specificity value of 25% and an accuracy value of 89%.  ...  HGAMNN shows sensitivity value of 93%, specificity value of 25% and an accuracy value of 89%.  ... 
doi:10.30534/ijatcse/2021/851032021 fatcat:hstnnuc5s5cinjvxbodp33bcdq

Applying Model Transformation and Event-B for Specifying an Industrial DSL

Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, Tom Verhoeff
2013 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
The main objective of this work is to enable the industrial use of the broad spectrum of specification analysis tools that support Event-B.  ...  The model transformations implement a modular approach for specifying the semantics of the DSL and, therefore, improve scalability of the specifications and the reuse of their verification.  ...  These works support modularity of a DSL specification by modularizing target formalisms.  ... 
dblp:conf/models/TikhonovaMBAV13 fatcat:6mc4agwzyvbntdfgygtsduw6za

Anomalous subgraph detection via Sparse Principal Component Analysis

Navraj Singh, Benjamin A. Miller, Nadya T. Bliss, Patrick J. Wolfe
2011 2011 IEEE Statistical Signal Processing Workshop (SSP)  
We characterize the anomaly in a subgraph via the well-known notion of network modularity, and we show that the optimization problem formulation resulting from our setup is very similar to a recently introduced  ...  We show via results on simulated data that the technique is very promising.  ...  SPCA to a graph's modularity matrix (as opposed to a covariance matrix in the case of traditional data analysis).  ... 
doi:10.1109/ssp.2011.5967738 fatcat:lkmrxmp2zzewdpahgjk3jzrjzm

Modularization Business Case Analysis Tool: Learning from Industry Practices

Jin Ouk Choi, James T. O'Connor
2015 Modular and Offsite Construction (MOC) Summit Proceedings  
The tool identifies the optimum level of work hours to move offsite, providing specific savings, not just an indicative value.  ...  Modularization is a method of enhancing project value by exporting a portion of site work to fabrication/assembly shops/yards.  ...  The authors wish to thank the CII Modularization COP for their support.  ... 
doi:10.29173/mocs177 fatcat:ofrd6cwhb5gh5ppsxzzurccooi

Strategy for Modular Tagged High-Throughput Amplicon Sequencing

Daniel Aguirre de Cárcer, Stuart E. Denman, Chris McSweeney, Mark Morrison
2011 Applied and Environmental Microbiology  
The strategy allows a modular approach, in that the same bar code can be used with two or more target-specific primer sets, even simultaneously.  ...  Moreover, the community profiles produced by the modular tagged PCR methods were not significantly different from those produced by the three technical replicates generated via the standard pyrotagging  ...  (9) , shorter linkers can be readily developed and the same method used with other high-throughput technologies such as Illumina analysis.  ... 
doi:10.1128/aem.05146-11 pmid:21764953 pmcid:PMC3165417 fatcat:r6pkjmlwi5harawat73ijoldrm
« Previous Showing results 1 — 15 out of 173,054 results