실시간 인기검색어
1 온스콜라
2 Ssat 4
3 crm 6
4 G4 1
5 수강 2
6 상담 2
7 수업 1
8 수강신청 6
9 sat 4
10 물리
네이버 전문자료검색결과 (73,725건)
NAVER OpenAPI
SATCheck: SAT-directed stateless model checking for SC and TSO
Thread (computing), Stateless protocol, Scalability, Programming language, Parallel computing, Model checking, Implementation, Concu
The natural satellites ephemerides facility MULTI-SAT
Theoretical models, The Internet, Software, Satellite, Planet, Physics, Numerical models, Natural satellite, Ephemeris, Computer gra
A Novel SAT-Based Approach to Model Based Diagnosis
Theoretical computer science, Range (mathematics), Preprocessor, Medical diagnosis, Mathematics, Encoding (memory), Compiler, Cardin
Solving #SAT and MAXSAT by Dynamic Programming
Treewidth, Structure (category theory), Proof of concept, Maximum satisfiability problem, Mathematics, Dynamic programming, Discrete
On the possibility of faster SAT algorithms
Unrecognized circulation of SAT 1 foot-and-mouth disease virus in cattle herds around Queen Eliz
BackgroundFoot-and-mouth disease (FMD) is endemic in Uganda in spite of the control measures used. Various aspects of the maintenance
A SAT Approach to Clique-Width
Clique-width is a graph invariant that has been widely studied in combinatorics and computational logic. Computing the clique-width of
A 40–67 GHz Power Amplifier With 13 dBm ${rm P}_{rm SAT}$ and 16% PAE in 28 nm CMOS LP
Pushed by the availability of large fractional bandwidths, many well-established applications are focusing mm-wave spectrum for produc
The effect of math SAT on women's chemistry competency beliefs
Science instruction, Psychology, Psychological intervention, Predictor variables, Mediation (statistics), Mathematics education, Gen
Profiling brain expression of the spermidine/spermine N1-acetyltransferase 1 (SAT1) gene in suic
Altered stress reactivity is considered to be a risk factor for both major depressive disorder and suicidal behavior. The authors have