Zobrazeno 1 - 10
of 7 912
pro vyhledávání: '"Blass A"'
Publikováno v:
A shorter version in CSL 2010, 19th EACSL Annual Conference on Computer Science Logic, Springer Lecture Notes in Computer Science 6247, 2010, 140--154
Recent analysis of classical algorithms resulted in their axiomatization as transition systems satisfying some simple postulates, and in the formulation of the Abstract State Machine Theorem, which assures us that any classical algorithm can be emula
Externí odkaz:
http://arxiv.org/abs/2410.10706
Autor:
Gurevich, Yuri, Blass, Andreas
Publikováno v:
Bulletin of the EATCS 143, June 2024
A hundred years ago, logic was almost synonymous with foundational studies. The ongoing AI revolution raises many deep foundational problems involving neuroscience, philosophy, computer science, and logic. The goal of the following dialog is to provo
Externí odkaz:
http://arxiv.org/abs/2409.14465
Autor:
Jamba Team, Lenz, Barak, Arazi, Alan, Bergman, Amir, Manevich, Avshalom, Peleg, Barak, Aviram, Ben, Almagor, Chen, Fridman, Clara, Padnos, Dan, Gissin, Daniel, Jannai, Daniel, Muhlgay, Dor, Zimberg, Dor, Gerber, Edden M, Dolev, Elad, Krakovsky, Eran, Safahi, Erez, Schwartz, Erez, Cohen, Gal, Shachaf, Gal, Rozenblum, Haim, Bata, Hofit, Blass, Ido, Magar, Inbal, Dalmedigos, Itay, Osin, Jhonathan, Fadlon, Julie, Rozman, Maria, Danos, Matan, Gokhman, Michael, Zusman, Mor, Gidron, Naama, Ratner, Nir, Gat, Noam, Rozen, Noam, Fried, Oded, Leshno, Ohad, Antverg, Omer, Abend, Omri, Lieber, Opher, Dagan, Or, Cohavi, Orit, Alon, Raz, Belson, Ro'i, Cohen, Roi, Gilad, Rom, Glozman, Roman, Lev, Shahar, Meirom, Shaked, Delbari, Tal, Ness, Tal, Asida, Tomer, Gal, Tom Ben, Braude, Tom, Pumerantz, Uriya, Cohen, Yehoshua, Belinkov, Yonatan, Globerson, Yuval, Levy, Yuval Peleg, Shoham, Yoav
We present Jamba-1.5, new instruction-tuned large language models based on our Jamba architecture. Jamba is a hybrid Transformer-Mamba mixture of experts architecture, providing high throughput and low memory usage across context lengths, while retai
Externí odkaz:
http://arxiv.org/abs/2408.12570
Autor:
Gurevich, Yuri, Blass, Andreas
According to Dirac's bra-ket notation, in an inner-product space, the inner product $\langle x\,|\,y\rangle$ of vectors $x,y$ can be viewed as an application of the bra $\langle x|$ to the ket $|y\rangle$. Here $\langle x|$ is the linear functional $
Externí odkaz:
http://arxiv.org/abs/2405.10055
Autor:
Blass, Andreas, Kulshreshtha, Dhruv
We consider several notions of well-foundedness of cardinals in the absence of the Axiom of Choice. Some of these have been conflated by some authors, but we separate them carefully. We then consider implications among these, and also between these a
Externí odkaz:
http://arxiv.org/abs/2310.09643
Autor:
Gurevich, Yuri, Blass, Andreas
Primal logic arose in access control; it has a remarkably efficient (linear time) decision procedure for its entailment problem. But primal logic is a general logic of information. In the realm of arbitrary items of information (infons), conjunction,
Externí odkaz:
http://arxiv.org/abs/2307.06454
Publikováno v:
Journal of Medical Internet Research, Vol 26, p e53986 (2024)
BackgroundTo cope with the enormous burdens placed on health care systems around the world, from the strains and stresses caused by longer life expectancy to the large-scale emergency relief actions required by pandemics like COVID-19, many health ca
Externí odkaz:
https://doaj.org/article/7dc11dd6f68143b18fe0266e824f6182
Publikováno v:
Educação & Formação, Vol 9 (2024)
Este artigo investiga a eficácia dos mapas mentais colaborativos como ferramenta de ensino e aprendizagem na disciplina de Tecnologias Aplicadas ao Ensino da Matemática II. A pesquisa, realizada com estudantes de licenciatura em Matemática, utiliz
Externí odkaz:
https://doaj.org/article/34ecc9dd9be04b76ae8a11f2a8eb1c83
Autor:
Bryanne Brissian de Souza Nobre, Luciana Rezende, Mariana Barbosa Câmara-Souza, Alfonso Sanchez-Ayala, Rodrigo Blass, Ana Claudia Carbone, Ana Cristina Manso, Malin Ernberg, Nikolaos Christidis, Giancarlo De la Torre Canales
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-9 (2024)
Abstract The present study aimed to assess the effectiveness and functional adverse effects of a single and multiple injections of botulinum toxin A (BoNT-A) for masseter hypertrophy (MH). Twenty-six women complaining about lower third facial enlarge
Externí odkaz:
https://doaj.org/article/294b1ac6760f46adbe5693a3385c0784
In a Private section intersection (PSI) protocol, Alice and Bob compute the intersection of their respective sets without disclosing any element not in the intersection. PSI protocols have been extensively studied in the literature and are deployed i
Externí odkaz:
http://arxiv.org/abs/2209.13913