Literatura científica selecionada sobre o tema "SAT reasoning test"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Índice
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "SAT reasoning test".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "SAT reasoning test"
Liu, Jinghua, Miriam Feigenbaum e Neil J. Dorans. "INVARIANCE OF LINKINGS OF THE REVISED 2005 SAT REASONING TEST™ TO THE SAT® I: REASONING TEST ACROSS GENDER GROUPS". ETS Research Report Series 2005, n.º 2 (dezembro de 2005): i—14. http://dx.doi.org/10.1002/j.2333-8504.2005.tb01994.x.
Texto completo da fontePowers, Donald E., e Donald A. Rock. "Effects of Coaching on SAT I: Reasoning Test Scores". Journal of Educational Measurement 36, n.º 2 (junho de 1999): 93–118. http://dx.doi.org/10.1111/j.1745-3984.1999.tb00549.x.
Texto completo da fonteHaberman, Shelby J., Hongwen Guo, Jinghua Liu e Neil J. Dorans. "CONSISTENCY OF SAT® I: REASONING TEST SCORE CONVERSIONS". ETS Research Report Series 2008, n.º 2 (dezembro de 2008): i—20. http://dx.doi.org/10.1002/j.2333-8504.2008.tb02153.x.
Texto completo da fonteKochte, Michael A., Melanie Elm e Hans-Joachim Wunderlich. "Accurate X-Propagation for Test Applications by SAT-Based Reasoning". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 31, n.º 12 (dezembro de 2012): 1908–19. http://dx.doi.org/10.1109/tcad.2012.2210422.
Texto completo da fontePowers, Donald E. "PREPARING FOR THE SAT®I: REASONING TEST-AN UPDATE". ETS Research Report Series 1998, n.º 2 (dezembro de 1998): i—23. http://dx.doi.org/10.1002/j.2333-8504.1998.tb01783.x.
Texto completo da fonteBrown, Nina W. "Cognitive, Interest, and Personality Variables Predicting First-Semester GPA". Psychological Reports 74, n.º 2 (abril de 1994): 605–6. http://dx.doi.org/10.2466/pr0.1994.74.2.605.
Texto completo da fonteAMENDOLA, GIOVANNI, CARMINE DODARO e MARCO MARATEA. "Abstract Solvers for Computing Cautious Consequences of ASP programs". Theory and Practice of Logic Programming 19, n.º 5-6 (setembro de 2019): 740–56. http://dx.doi.org/10.1017/s1471068419000164.
Texto completo da fonteGraff, A. Steven. "The New SAT: The Future of Transition Assessment". Education Libraries 17, n.º 3 (5 de setembro de 2017): 7. http://dx.doi.org/10.26443/el.v17i3.51.
Texto completo da fonteBenbow, Camilla Persson. "Sex differences in mathematical reasoning ability in intellectually talented preadolescents: Their nature, effects, and possible causes". Behavioral and Brain Sciences 11, n.º 2 (junho de 1988): 169–83. http://dx.doi.org/10.1017/s0140525x00049244.
Texto completo da fonteJohannesen, Jason K., Jessica B. Lurie, Joanna M. Fiszdon e Morris D. Bell. "The Social Attribution Task-Multiple Choice (SAT-MC): A Psychometric and Equivalence Study of an Alternate Form". ISRN Psychiatry 2013 (20 de junho de 2013): 1–9. http://dx.doi.org/10.1155/2013/830825.
Texto completo da fonteTeses / dissertações sobre o assunto "SAT reasoning test"
Cherif, Mohamed Sami. "Reasoning and inference for (maximum) satisfiability : new insights". Electronic Thesis or Diss., Aix-Marseille, 2022. http://www.theses.fr/2022AIXM0589.
Texto completo da fonteAt the heart of computer science and artificial intelligence, logic is often used as a powerful language to model and solve complex problems that arise in academia and in real-world applications. A well-known formalism in this context is the Satisfiability (SAT) problem which simply checks whether a given propositional formula in the form of a set of constraints, called clauses, can be satisfied. A natural optimization extension of this problem is maximum satisfiability (Max-SAT) which consists in determining the maximum number of clausal constraints that can be satisfied within the formula. In our work, we are interested in studying the power and limits of inference and resoning in the context of (Maximum) Satisfiability. Our first contributions revolve around investigating inference in SAT and Max-SAT solving. First, we study statistical inference within a Multi-Armed Bandit (MAB) framework for online selection of branching heuristics in SAT and we show that it can further enhance the efficiency of modern clause-learning solvers. Moreover, we provide further insights on the power of inference in Branch and Bound algorithms for Max-SAT solving through the property of UP-resilience. Our contributions also extend to SAT and Max-SAT proof theory. We particularly attempt to theoretically bridge the gap between SAT and Max-SAT inference
Py, Matthieu. "Inférence et certificats pour le problème de satisfiabilité maximum". Electronic Thesis or Diss., Aix-Marseille, 2021. http://www.theses.fr/2021AIXM0631.
Texto completo da fonteIn this thesis, we are interested in the maximum satisfiability problem (Max-SAT), which consists,given a Boolean formula in conjunctive normal form, in finding an assignment of the variables of the formula which allows to satisfy as many clauses as possible. The most widely used Max-SAT proof system is based on the Max-SAT resolution inference rule which is the adaptation for Max-SAT of the resolution rule used for the SAT problem. The resolution rule deduces a new clause from two opposing clauses, enabling to certify that a formula is unsatisfiable by gradually deducing new clauses until deducing a contradiction, represented in the form of an empty clause. The adaptation of such proofs, referred to as resolution refutations, for Max-SAT without considerably increasing its size is an open problem since the introduction of Max-SAT resolution.We propose in this thesis two methods to adapt any resolution resfutation into a valid refutation for Max-SAT, referred to as max-refutation. Another contribution is the construction of certificates to demonstrate the optimality of a solution for the Max-SAT problem. To generate such certificates, we use the max-refutations that we are now able to generate from the resolution refutations. Finally, we are interested in the problem which consists, given an initial formula and a given information (clause or formula), of inferring this information by Max-SAT-equivalence-preserving inference rules. As the max-resolution is incomplete for the inference in Max-SAT, we propose a new proof system as well as an algorithm allowing to infer, if possible, a given clause or formula
Fennoy, Donald E. II. "The Relationship Among African American Students' SAT Reasoning Test Scores and Participation in Advanced Placement Courses in One Large Urban School District in A Southern State in 2010-2011". Doctoral diss., University of Central Florida, 2012. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/5204.
Texto completo da fonteID: 031001452; System requirements: World Wide Web browser and PDF reader.; Mode of access: World Wide Web.; Adviser: Rosemarye Taylor.; Title from PDF title page (viewed July 3, 2013).; Thesis (Ed.D.)--University of Central Florida, 2012.; Includes bibliographical references (p. 90-98).
Ed.D.
Doctorate
Educational and Human Sciences
Education and Human Performance
Educational Leadership
Lindstrom, Jennifer Hartwig. "The role of extended time on the sat® reasoning test for students with disabilities". 2006. http://purl.galileo.usg.edu/uga%5Fetd/lindstrom%5Fjennifer%5Fh%5F200608%5Fphd.
Texto completo da fonteLivros sobre o assunto "SAT reasoning test"
Bobrow, Jerry. Cliffs SAT I reasoning test: Preparation guide. Lincoln, Neb: Cliffs Notes, 1994.
Encontre o texto completo da fontePowers, Donald E. Effects of coaching on SAT I: Reasoning scores. New York: College Entrance Examination Board, 1998.
Encontre o texto completo da fonteMometrix Exam Secrets Test Prep Team. SAT exam secrets study guide: Your key to exam success : SAT test review for the Sat Reasoning Test. Beaumont, Texas?]: Mometrix Media LLC, SAT Exam Secrets Test Prep Team, 2014.
Encontre o texto completo da fontePowers, Donald E. Preparing for the SAT I, reasoning test, an update. New York: College Entrance Examination Board, 1998.
Encontre o texto completo da fonte1960-, Bell Robert A., ed. The best coaching and study course for the SAT I: Scholastic Assessment Test I : reasoning test. Poscataway, NJ: Research & Education Association, 1997.
Encontre o texto completo da fonte1960-, Bell Robert A., e Research and Education Association, eds. The best coaching and study course for the SAT I: Scholastic Assessment Test I : reasoning test. Piscataway, N.J: Research & Education Association, 1998.
Encontre o texto completo da fonte1960-, Bell Robert A., e Research and Education Association, eds. The best coaching and study course for the new SAT: Scholastic Assessment Test I : reasoning test. Piscataway, N.J: Research & Education Association, 1994.
Encontre o texto completo da fonte101 ways to score higher on your SAT reasoning test: What you need to know explained simply. Ocala, Fla: Atlantic Pub. Group, 2010.
Encontre o texto completo da fontePowers, Donald E. Performance by gender on an unconventional verbal reasoning task: Answering reading comprehension questions without the passages. New York: College Entrance Examination Board, 1995.
Encontre o texto completo da fonteMaguire, Marti Anne. 101 ways to score higher on your SAT reasoning test: What you need to know explained simply. Ocala, Fla: Atlantic Pub. Group, 2010.
Encontre o texto completo da fonteCapítulos de livros sobre o assunto "SAT reasoning test"
Banbara, Mutsunori, Haruki Matsunaka, Naoyuki Tamura e Katsumi Inoue. "Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers". In Logic for Programming, Artificial Intelligence, and Reasoning, 112–26. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16242-8_9.
Texto completo da fonte"SAT Reasoning Test". In Encyclopedia of Child Behavior and Development, 1285. Boston, MA: Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-79061-9_5963.
Texto completo da fonteNathan, Amy. "Play On". In The Young Musician’s Survival Guide, 145–57. Oxford University PressNew York, NY, 2008. http://dx.doi.org/10.1093/oso/9780195367386.003.0010.
Texto completo da fonteGratzer, Walter. "The success of the operation and the death of the patient". In Eurekas and euphorias, 64. Oxford University PressNew York, NY, 2002. http://dx.doi.org/10.1093/oso/9780192804037.003.0040.
Texto completo da fonteGratzer, Walter. "From mania to miracle". In Eurekas and euphorias, 270–71. Oxford University PressNew York, NY, 2002. http://dx.doi.org/10.1093/oso/9780192804037.003.0168.
Texto completo da fonteTrabalhos de conferências sobre o assunto "SAT reasoning test"
Elm, Melanie, Michael A. Kochte e Hans-Joachim Wunderlich. "On Determining the Real Output Xs by SAT-Based Reasoning". In 2010 19th Asian Test Symposium (ATS). IEEE, 2010. http://dx.doi.org/10.1109/ats.2010.16.
Texto completo da fonteAmendola, Giovanni, Carmine Dodaro e Marco Maratea. "A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract)". In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/652.
Texto completo da fonteSaha, Pranab, e John Chahine. "The Thought and Reasoning Behind Developing SAE J1637 - Vibration Damping Test Method". In Noise & Vibration Conference & Exposition. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 1993. http://dx.doi.org/10.4271/931320.
Texto completo da fonteBorgo, Stefano, Loris Bozzato, Alessio Palmero Aprosio, Marco Rospocher e Luciano Serafini. "Towards integration of ontology and text-extracted data for event coreference reasoning". In SAC 2017: Symposium on Applied Computing. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3019612.3019916.
Texto completo da fonte