실시간 인기검색어
1 온스콜라
2 Ssat 4
3 G4
4 crm 5
5 수강 2
6 상담 2
7 수업 1
8 수강신청 6
9 sat 4
10 물리
네이버 전문자료검색결과 (73,725건)
NAVER OpenAPI
SAT-LHUC: Speaker adaptive training for learning hidden unit contributions
This paper extends learning hidden unit contributions (LHUC) unsupervised speaker adaptation with speaker adaptive training (SAT). Con
A Probabilistic Algorithm for k -SAT Based on Limited Local Search and Restart
AbstractA simple probabilistic algorithm for solving the NP-complete problem k -SAT is reconsidered. This algorithm follows a well-kno
FA-SAT Is an Old Satellite DNA Frozen in Several Bilateria Genomes.
Animals, Base Sequence, Carnivora, genetics, Cats, Chromosome Mapping, methods, veterinary, Chromosomes, Mammalian, Cloning, Molecul
Simple algorithm portfolio for SAT
AbstractThe importance of algorithm portfolio techniques for SAT has long been noted, and a number of very successful systems have bee
Human sat III and Drosophila hsr transcripts: a common paradigm for regulation of nuclear RNA pr
Exposure of cells to stressful conditions elicits a highly conserved defense mechanism termed the heat shock response, resulting in th
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT
For constraint programming, many well performing dynamic symmetry breaking techniques have been devised. For propositional satisfiabil
LoPher: SAT-Hardened Logic Embedding on Block Ciphers
Block ciphers are widely regarded as concrete realizations of pseudorandom permutations with established security features. However, t
Perceptions of a reproductive health self-assessment tool (RH-SAT) in an urban community health
Physicians face barriers to incorporating recommended contraceptive and preconception health services, including reproductive life pla
Concurrent Validity of the American Scholastic Aptitude Test (SAT) and the Israeli Inter-Univers
Admissions test scores were available for a sample of 84 students who had taken both the Scholastic Aptitude Test (SAT) and the Israel
Massively Parallel Local Search for SAT
Parallel portfolio-based algorithms have become a standard methodology for both complete and incomplete solvers for SAT solving. In th