3,001 Hits in 2.4 sec

Fast, flexible MUS enumeration

Mark H. Liffiton, Alessandro Previti, Ammar Malik, Joao Marques-Silva
2015 Constraints  
Recently, two papers independently presented a new MUS enumeration algorithm well suited to partial MUS enumeration [21, 28] .  ...  In the face of the latter issue, when complete enumeration is not feasible, a partial enumeration of MUSes can be valuable, ideally with a time cost for each MUS output no greater than that needed to extract  ...  The structure of the basic MARCO variant (Algorithm 1) provides a great deal of flexibility in its implementation.  ... 
doi:10.1007/s10601-015-9183-0 fatcat:n75nrgckknfmvamgafzjmwy57e

Automatic Generation of Exams inR

Bettina Grün, Achim Zeileis
2009 Journal of Statistical Software  
Correction should be fast and easy.  ...  into $\Sexpr{mu}$ml packages.  ... 
doi:10.18637/jss.v029.i10 fatcat:3hxcx4la2zfchpext54god4jgu

Table of Contents

2021 IEEE Transactions on Power Systems  
Mu, and L. Zhu 3260 Definition and Classification of Power System Stability -Revisited & Extended . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  ...  Ren 3248 A Lagrange Multiplier Based State Enumeration Reliability Assessment for Power Systems With Multiple Types of Loads and Renewable Generations . . . . . . . . . . . . . . . . . . . . . . . . .  ... 
doi:10.1109/tpwrs.2021.3084726 fatcat:hfbyo6bahjgbzezir7kzrogf3y

Page 35 of Medical Times and Register Vol. 1, Issue 3 [page]

1870 Medical Times and Register  
Tetanus, when the pharyngeal mus- cles are spasmodically closed, may present some re- semblance to rabies, but its supervention on injuries, the fact that the spasms are not intermitting, that tris- mus  ...  This gentleman, some months after this event, suddenly, after eating a very hearty break- fast, exclaimed that he was seized with hydrophobia.  ... 

Resource Virtualization and Allocation for TDD-F-OFDM Systems with MU-MIMO

Baoguo Yu, Yachuan Bao, Kexin Cheng, Ruoxu Chen, Xiaofeng Lu
2020 IEEE Access  
To support multiple on-demand services over fixed communication networks, network operators must allow flexible customization and fast provision of their network resources.  ...  In a small-scale case, the BIP problem can be optimally solved by enumeration method.  ... 
doi:10.1109/access.2020.3041824 fatcat:danb57f2czffhl35xctn6bjnyu

Evaluation of Fast Food Behavior in Pre-School Children and Parents Following a One-Year Intervention with Nutrition Education

Yongqing Gao, Yuee Huang, Yongjun Zhang, Fengqiong Liu, Cindy Feng, Tingting Liu, Changwei Li, Dongdong Lin, Yongping Mu, Siobhan Tarver, Mao Wang, Wenjie Sun
2014 International Journal of Environmental Research and Public Health  
Consumption of western style fast food at breakfast in Chinese children and parents is not high.  ...  The time of children's consumption of western style fast food is mostly likely to be in the weekends.  ...  Cindy Xin Feng and Dongdong Lin analyzed the data; Yongjun Zhang, Yongping Mu contributed reagents/materials/analysis tools. Yuee Huang, Fengqiong Liu, Yongqing Gao wrote the paper.  ... 
doi:10.3390/ijerph110706780 pmid:24983391 pmcid:PMC4113844 fatcat:n3xnwphskbaevpv5ym7xsn6x34

Arithmetic for Those Who Excel

Foster E. Grossnickle
1956 The Arithmetic Teacher  
Sometimes this pupil is designated as the fast learner, the gifted pupil, or by some other descriptive phrase.  ...  ’ exa mu tha dif wo!  ...  The proposals for enrichment previously enumerated represent differentiation of the curriculum.  ... 
doi:10.5951/at.3.2.0041 fatcat:oj63piiwgzcszjcuiwblcfav3a

Optimizing data intensive window-based image processing on reconfigurable hardware boards

Haiqian Yu, M. Leeser
2005 IEEE Workshop on Signal Processing Systems Design and Implementation, 2005.  
Reconfigurable hardware boards provide a convenient and flexible solution to speed up these algorithms.  ...  An FPGA-based system can provide a fast and flexible solution for these applications by combining both fine-grained parallelism and coarse-grained parallelism to achieve a high performance implementation  ...  Based on the fact that the number of memory ports k is not large, we can enumerate all the input/output memory port allocation possibilities to obtain the maximum D ml and D mu .  ... 
doi:10.1109/sips.2005.1579918 fatcat:swva3yvqkvbklb25veu6kvirtm

Towards Deep Interpretability (MUS-ROVER II): Learning Hierarchical Representations of Tonal Music

Haizi Yu, Lav R. Varshney
2017 International Conference on Learning Representations  
The outcome is a new rover, MUS-ROVER II, trained on Bach's chorales, which outputs customizable syllabi for learning compositional rules.  ...  axis enumerates features; and every cell is a feature distribution.  ...  Pace Control and Syllabus Customization We present a simple yet flexible pace control panel to the users of MUS-ROVER II, enabling personalized set-up of their learning puppet.  ... 
dblp:conf/iclr/YuV17 fatcat:ikcpb5pxfbbtrn6hwthvi6234m

Defect-Aware High-Level Synthesis Targeted at Reconfigurable Nanofabrics

Chen He, Margarida F. Jacome
2007 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
Finally, for the general case where m different basic flows, without such dominance ordering, are mapped into n regions of an MU, the yield estimate is obtained by exhaustively enumerating all possible  ...  Note that this ranking function gives priority to operations on the critical path(s), thus providing more flexibility for those more difficult/constrained operations.  ...  chip -critical towards achieving cheap and fast mass-production.  ... 
doi:10.1109/tcad.2006.884401 fatcat:3mec75w5wbfxlbcwhxdajrq27u

Analysis of allosteric signal transduction mechanisms in an engineered fluorescent maltose biosensor

J. D. Dattelbaum
2005 Protein Science  
Structure-derived solvent accessible surface areas of the three FAST proteins are consistent with experimentally observed quenching data.  ...  Here we investigate the microscopic mechanisms that may be responsible for the macroscopic fluorescent changes in such Fluorescent Allosteric Signal Transduction (FAST) proteins.  ...  The minimum-energy conformation of the seven natural and one nonnatural side-chains was determined by enumeration of all possibilities.  ... 
doi:10.1110/ps.041146005 pmid:15659363 pmcid:PMC2253422 fatcat:4l7k3znazzaznejhxeigcr6onq

Fast-SNP: a fast matrix pre-processing algorithm for efficient loopless flux optimization of metabolic models

Pedro A. Saa, Lars K. Nielsen
2016 Bioinformatics  
The pre-processing step employs a fast matrix sparsification algorithm-Fast-sparse null-space pursuit (SNP)-inspired by recent results on SNP.  ...  Overall, Fast-SNP is an effective and simple algorithm for efficient formulation of loop-law constraints, making loopless flux optimization feasible and numerically tractable at large scale.  ...  We further compared the computational improvement of Fast-SNP against recent approaches for efficient loopless flux optimization, namely: fast-tFVA ( ller and Bockmayr, 2013) and CycleFreeFlux (Desouki  ... 
doi:10.1093/bioinformatics/btw555 pmid:27559155 pmcid:PMC5167067 fatcat:qb2shraxw5cb5jvxee2nzywhle

Fully Symmetric Kernel Quadrature

Toni Karvonen, Simo Särkkä
2018 SIAM Journal on Scientific Computing  
Instead, we want to find nodes for which the weights can be computed easily and fast.  ...  The flexibility comes with the price of having to solve the weights from a linear system of n equations, a task of cubic time and quadratic space complexity.  ...  --The node selection scheme remains quite flexible, and the number of nodes does not grow too fast with the dimensions (see (3.2) and Table 3 .1), as happens when, for example, full Cartesian grids  ... 
doi:10.1137/17m1121779 fatcat:kuc7sj5zoneexbyrkphdmiem2e

Fast Flux Module Detection Using Matroid Theory

Arne C. Reimers, Frank J. Bruggeman, Brett G. Olivier, Leen Stougie
2015 Journal of Computational Biology  
Using the mathematical definition of module introduced by ller and Bockmayr (2013b), we discovered useful connections to matroid theory, through which efficient algorithms enable us to compute the decomposition  ...  FAST FLUX MODULE DETECTION USING MATROID THEORY  ...  Now it is very simple and fast, and it can be done even for very small changes.  ... 
doi:10.1089/cmb.2014.0141 pmid:25565150 fatcat:y3xdawq4ujd4lb3btepej3pzim

Performance evaluation of a process bus architecture in a zone substation based on IEC 61850-9-2

Shantanu Kumar, Narottam Das, Syed Islam
2015 2015 IEEE PES Asia-Pacific Power and Energy Engineering Conference (APPEEC)  
Integrates all substation and control function in the substation.Merging Units (MUs) 1.  ...  In this ring topology, the average LAN speed considered is 100-Mb/s as enumerated in TableII. Fig. 9A : 9A Fig. 9A: Overall GOOSE delay time based in a ring topology.  ... 
doi:10.1109/appeec.2015.7381017 fatcat:52ffpzgk4na2vk25haj54yp45a
« Previous Showing results 1 — 15 out of 3,001 results