1,725,431 research outputs found
Zur Gründung des neuen AKS Hamburg – 2011
No full textTeil einer Broschüre des AKS Hamburg, mit der die Veranstaltung "Kontinuitäten, Brüche und Alternativen einer "Sozialarbeiteropposition" auf der Fachtagung "1960-1980: Die bewegten und bewegenden Jahre in Ausbildung, Praxis und Wissenschaft der Sozialen Arbeit" an der HAW Hamburg im Department Soziale Arbeit dokumentiert ist.NonPeerReviewe
Mechanisation of the AKS Algorithm
No full textThe AKS algorithm (by Agrawal, Kayal and Saxena) is a significant theoretical result, establishing “PRIMES in P” by a brilliant application of ideas from finite fields. This paper describes an implementation of the AKS algorithm in our theorem prover HOL4, together with a proof of its correctness and its computational complexity. The complexity analysis is based on a conservative computation model using a writer monad. The method is elementary, but enough to show that our implementation of the AKS algorithm takes a number of execution steps bounded by a polynomial function of the input size. This establishes formally that the AKS algorithm indeed shows “PRIMES is in P”
2012 AKS Research Grant
No full textThe Academy of Korean Studies (AKS) invites graduate students majoring in Korean Studies to apply for the new AKS Research Grant program. 1. Eligibility and Requirements ◦ Graduate students who are working on a thesis in the field of Korean studies at an overseas university or who have completed the required coursework (non-Korean citizens) ※ Korean citizens who has completed more than 16 years of education outside of Korea that is compatible with Korea’s elementary, middle, high school and ..
2011 AKS Research Grant
No full textThe Academy of Korean Studies invites both undergraduate and graduate students majoring in Korean Studies to apply for the new AKS Thesis and Research Grant program. □ AKS Research Grant (Visiting) -This is to provide graduate students preparing for a thesis in Korean Studies an opportunity to do research in Korea. 1. Grant Benefits ◦ Monthly Stipend: 900,000KW ◦ Travel allowence (amount of round trip air-fare) ◦On-campus Accommodation available (Students must pay for their own accommodation...
Improvement to AKS algorithm
No full textWe propose to verify the AKS algorithm identities not for sequential integers, but for integers which are sequentially squared. In that case a number of elements, for which the identities are valid, doubles. 1
2019 AKS Hanmun Fellowship
No full text2019년 한국학중앙연구원 한문 연수 펠로십 모집 한국학중앙연구원에서는 해외 차세대 한국학자들의 한문역량 제고를 통한 한국학 연구의 균형적 발전을 도모하고자 한문 연수 펠로십을 운영하고 있습니다. 2019년 한국학의 본산인 한국학중앙연구원에서 한문 프로그램을 수강할 참가자를 모집하오니 관심 있는 분들의 많은 지원 바랍니다. AKS 한문 연수 펠로십(AKS Hanmun Fellowship) 내 용: 한문 강좌, 암송, 자유 연구, 답사 등(한국어로 진행) 기 간: 2019. 9. 2. ~ 2019. 12. 20. 장 소: 한국학중앙연구원 지원자격: 해외 대학(원)에서 한국학을 전공하는 학부3~4학년 및 석·박사 과정생(한국 국적자 제외) 제출서류 - 소정양식 지원서 1부 - 재학(또는 수료)증명서 1부 - 추천서 1부(한문이 학업에 필요한 이유를 기재한 지도교수 추천서) - 한국어능력시험(TOPIK)에 응시한 적이 있는 경우 해당 성적표 사본 1부 ※ 모든 서..
Auswirkungen und Evaluation von Lernberatungen. Ergebnisse einer empirischen Fallstudie
No full textClaußen T. Auswirkungen und Evaluation von Lernberatungen. Ergebnisse einer empirischen Fallstudie. In: Arntz R, Kühn B, eds. Autonomes Fremdsprachenlernen in Hochschule und Erwachsenenbildung. Erträge des 1. Bremer Symposions zum autonomen Fremdsprachenlernen. Fremdsprachen in Lehre und Forschung . Vol 43. Bochum: AKS; 2008: 119-130
Lernendenautonomie und Portfolioarbeit? Zum selbstbestimmten Handeln von Studierenden bei der Portfolioarbeit im DaF-Unterricht
No full textBallweg S. Lernendenautonomie und Portfolioarbeit? Zum selbstbestimmten Handeln von Studierenden bei der Portfolioarbeit im DaF-Unterricht. In: Harsch C, Krings HP, Kühn B, eds. Inhalt und Vielfalt – Neue Herausforderungen für das Sprachenlernen und -lehren an Hochschulen. Erträge des 5. Bremer Symposions. Fremdsprachen in Lehre und Forschung. Vol 50. Bochum: AKS; 2017: 109-120
Improvement to AKS algorithm
Get PDFWe propose to verify the AKS algorithm identities not for sequential integers, but for integers which are sequentially squared. In that case a number of elements, for which the identities are valid, doubles
- …
