Suchergebnisse - "SAT"

Cumulative Risk as a Marker of Social Context

Autoren: Treiber, Kyle Wikström, Per-Olof H

Quelle: CBMH. Criminal behaviour and mental health. 35(2):106-114

Schlagwörter: PADS+, SAT, cumulative risk, situational action theory, social context

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-75010
https://doi.org/10.1002/cbm.2378

First order logic of random sparse structures

Autoren: Larrauri Borroto, Lázaro Alberto

Weitere Verfasser: University/Department: Universitat Politècnica de Catalunya. Facultat de Matemàtiques i Estadística

Thesis Advisors: Noy Serrano, Marcos

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: Random graphs, First-order logic, Limit laws, Preservation theorems, Random SAT, Random structures, Sparse graphs, Minor-closed classes, Àrees temàtiques de la UPC::Matemàtiques i estadística

Time: 519.1

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/10803/689495
https://dx.doi.org/10.5821/dissertation-2117-398034

Academic psychological capital: Implications for organizational crises.

Autoren: Welsh, Dianne H. B. Avey, James B. Mhatre, Ketan H. et al.

Quelle: Canadian Journal of Administrative Sciences (John Wiley & Sons, Inc.). Jun2025, Vol. 42 Issue 2, p219-234. 16p.

Schlagwörter: *ORGANIZATIONAL behavior, *UNIVERSITIES & colleges, SAT (Educational test), EDUCATIONAL outcomes, GRADUATION rate

Exploring the Computational Complexity of Uniform Random Sampling and SAT Counting with Phase Transitions

Autoren: Olivier Zeyen Maxime Cordy Gilles Perrouin et al.

Weitere Verfasser: Olivier Zeyen Maxime Cordy Gilles Perrouin et al.

Quelle: Zeyen, O, Cordy, M, Perrouin, G & Acher, M 2025, Exploring the Computational Complexity of Uniform Random Sampling and SAT Counting with Phase Transitions. in M R Luaces, T V Rodeiro, S Greiner, J Galindo Duarte, T Yue, K Yoshimura, L Semini, M Cordy, M Azanza, J Kruger, G Perrouin, S Fortz, I Groher, D-J Munoz, K Schmid, F Perez, J Galasso-Carbonnel, J M Horcas & K Feichtinger (eds), SPLC 2025 : 29th ACM International Systems and Software Product Line Conference-Proceedings. SPLC 2025: 29th ACM International Systems and Software Product Line Conference-Proceedings, vol. A, ACM Press, New York, NY, USA, pp. 149–160. https://doi.org/10.1145/3744915.3748473

Schlagwörter: Controlled Experiments, Uniform Random Sampling, Scalability, SAT, Model Counting

Dateibeschreibung: application/pdf

Zugangs-URL: https://pure.unamur.be/ws/files/112977734/3744915.3748473-2.pdf

A Demo of ConfigFix: Semantic Abstraction of Kconfig, SAT-based Configuration, and DIMACS Export

Autoren: Gyimah, Jude Sollmann, Jan Schuerks, Ole et al.

Quelle: 19th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2025, Rennes, France Proceedings 19th International Working Conference on Variability Modelling of Software Intensive Systems Vamos 2025. :91-96

Schlagwörter: Linux Kernel, SAT solving, configuration, configuration conflicts

Dateibeschreibung: electronic

Zugangs-URL: https://research.chalmers.se/publication/547485
https://research.chalmers.se/publication/547485/file/547485_Fulltext.pdf

Polarised random κ-SAT

Autoren: Danielsson, Joel Larsson Markström, Klas

Quelle: Combinatorics, probability & computing. 32(6):885-899

Schlagwörter: k-SAT, phase transition, random constraint satisfaction problem, satisfiability

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-212544
https://doi.org/10.1017/S0963548323000226

Harnessing Public Engagement for Peace: A SAT Framework Analysis of Crisis-driven Cooperation in Non-conflict States

Autoren: Riswanda Imawan Surwandono Surwandono

Quelle: Obrana a Strategie, Vol 25, Iss 1, Pp 213-226 (2025)

Schlagwörter: Military Science, public engagement, sat theory, global energy disruption, refugee crisis, peacebuilding, non-conflict states, systemic transformation

Zugangs-URL: https://doaj.org/article/b6f7839ba41448959721fa69a2a5f206
https://doi.org/10.3849/1802-7199.25.2025.01.213-226

Addendum to How Small Can S-boxes Be?

Autoren: Sun, Yu Wu, Lixuan Jia, Chenhao et al.

Quelle: IACR Transactions on Symmetric Cryptology, Vol 2025, Iss 2 (2025)
IACR Transactions on Symmetric Cryptology; Vol. 2025 No. 2; 192-205

Schlagwörter: TK7885-7895, Computer engineering. Computer hardware, SAT, automatic search, low-latency, S-box

Dateibeschreibung: application/pdf

Zugangs-URL: https://doaj.org/article/eae2dcee5ed0458d82169717953694af
https://tosc.iacr.org/index.php/ToSC/article/view/12248

TINJAUAN TEMPERATUR PERMUKAAN DAN ANGIN DI WILAYAH TROPIS DUNIA

Autoren: Suhadi, Suhadi Khairunnisa Putri, Jamiatul

Quelle: JOURNAL ONLINE OF PHYSICS; Vol. 10 No. 2 (2025): JOP (Journal Online of Physics) Vol 10 No 2; 73-78

Schlagwörter: variabilitas iklim, anomali SAT, angin timuran, pemanasan global, Temperatur Permukaan Udara

Dateibeschreibung: application/pdf

Zugangs-URL: https://online-journal.unja.ac.id/jop/article/view/42452

An infant brucellosis meningitis caused by Brucella strain

Autoren: Guowu Shen Xiaohua Zhao Jie Chen et al.

Quelle: Biosaf Health
Biosafety and Health, Vol 7, Iss 2, Pp 117-121 (2025)

Schlagwörter: Infant brucellosis, Diagnosis, Standard tube agglutination test (SAT), Rose Bengal plate test (RBPT), Meningitis, Case Report, Infectious and parasitic diseases, RC109-216, Public aspects of medicine, RA1-1270, Brucella strain

Zugangs-URL: https://doaj.org/article/943018ab1e5c4f45a628657379bdee52

Compact N-Way Recombining Wilkinson Power Dividers for SatCom Applications

Autoren: Pfrommer, Dennis Waldschmidt, Christian Hitzler, Martin

Quelle: 2025 16th German Microwave Conference (GeMiC). :554-557

Schlagwörter: N-Way-Divider, Wilkinson, Radar, Sat-Com, Divider, Mikrowellentechnik, Recombining, Oscillators, Microwave, Electric lines

Dateibeschreibung: application/pdf

Rhetorical Distortion and Conversational Rerouting in Large Language Models: A Signal Clarity Audit

Autoren: Tanner, Christopher

Schlagwörter: LLM Gaslighting AI, Alignment, SAT

Beyond the Structure of SAT Formulas

Autoren: Giráldez Crú, Jesús

Weitere Verfasser: University/Department: Universitat Autònoma de Barcelona. Departament de Ciències de la Computació

Thesis Advisors: Levy Díaz, Jordi, González Sabaté, Jordi

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: Resolució de SAT, Resolución de SAT, SAT solving, Xarxes complexes, Redes complejas, Complex networks, Estructura de problemes reals, Estructura de problemas reales, Structure of real-word problems, Tecnologies

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/10803/386422

Gender-related differential item functioning in SweSAT verbal subtests: the role of extramural English activities in first and foreign language performance.

Autoren: Neagu, Teodora Laukaityte, Inga

Quelle: Frontiers in Education; 2025, p1-16, 16p

Schlagwörter: GENDER differences (Sociology), DIFFERENTIAL item functioning (Research bias), VERBAL behavior testing, READING comprehension, LITERACY, SECOND language acquisition, SAT (Educational test), VIDEO gamers

Complete Issue.

Autoren: Tremblay, Christopher W. Camilo, Diana Malcolm, Moya et al.

Quelle: Journal of College Access; Oct2025, Vol. 10 Issue 4, p1-104, 104p

Schlagwörter: COLLEGE entrance examinations, EDUCATIONAL evaluation, EQUALITY, SAT (Educational test), COVID-19 pandemic, COLLEGE enrollment

Geografische Kategorien: IOWA

Development and Evaluation of an Aptitude Test for Pharmaceutical Studies.

Autoren: Schütte, Clara Hofmann, Arvid Müller, Fabian et al.

Quelle: Hochschulmanagement. 2024, Issue 3/4, p102-108. 7p.

Schlagwörter: SAT (Educational test), TEST validity, GRADE point average, ABILITY testing, SCIENTIFIC knowledge

A Compact SAT Encoding for Non-Preemptive Task Scheduling on Multiple Identical Resources

Autoren: Kieu Tuyen Van To Khanh Van

Quelle: Cybernetics and Information Technologies, Vol 25, Iss 3, Pp 104-122 (2025)

Schlagwörter: non-preemptive scheduling, identical resources, sat encoding, sat solving, symmetry-breaking, Cybernetics, Q300-390

Dateibeschreibung: electronic resource

Relation: https://doaj.org/toc/1314-4081

Zugangs-URL: https://doaj.org/article/af6519f9fce24ca2ac05b5b39c8dd0d9

Selector: Ensemble-Based Automated Algorithm Configuration

Autoren: Weiß, Dimitri Schede, Elias Arnold Tierney, Kevin

Quelle: Journal of Heuristics. 31

Schlagwörter: SAT, Algorithm configuration, CVRP, Ensemble optimization, TSP, MAX-SAT, MILP

Zugangs-URL: https://pub.uni-bielefeld.de/record/3005899
https://doi.org/10.1007/s10732-025-09561-6

Determination of approaches to the use of the sat methodology in the domestic quality management system of training of military specialists

Quelle: Military Education; № 1 (51) 2025; 211-223
Военное образование; № 1 (51) 2025; 211-223
Військова освіта; № 1 (51) 2025; 211-223

Schlagwörter: Defense Forces, Armed Forces, training of military specialists, higher education institutions, SAT methodology, Сили оборони, Збройні Сили, підготовка військових фахівців, вищи навчальні заклади, методика SAT

Dateibeschreibung: application/pdf

Zugangs-URL: http://znp-vo.nuou.org.ua/article/view/336145

Investigation of different strategies for access to space of small satellites on a defined LEO orbit

Autoren: Barato F. Toson E. Milza F. et al.

Quelle: Acta Astronautica. 222:11-28

Schlagwörter: constellations deployment, dedicated launch, LEO, sat carrier, self-propelled dispenser, small sats, Constellations deployment, Dedicated launch, Sat carrier, Self-propelled dispenser, Small sats

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/11577/3543339
https://hdl.handle.net/11577/3543331
https://doi.org/10.1016/j.actaastro.2024.05.045