Zobrazeno 1 - 10
of 7 797
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
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
Autor:
Jay B. Lusk, Beau Blass, Hannah Mahoney, Molly N. Hoffman, Amy G. Clark, Jonathan Bae, Robert J. Mentz, Tracy Y. Wang, Manesh Patel, Bradley G. Hammill
Publikováno v:
Journal of the American Heart Association: Cardiovascular and Cerebrovascular Disease, Vol 13, Iss 16 (2024)
Background Understanding the relationship between neighborhood environment and cardiovascular outcomes is important to achieve health equity and implement effective quality strategies. We conducted a population‐based cohort study to determine the a
Externí odkaz:
https://doaj.org/article/ba650e54c78f41cf935c4d0eb8cb1b81
Publikováno v:
Revista Insignare Scientia, Vol 7, Iss 2 (2024)
A Sala de Aula Invertida é uma metodologia de ensino e aprendizagem ativa, em que os estudantes se tornam protagonistas da própria aprendizagem. Sob uma reflexão teórica e prática, este estudo tem por objetivo investigar e comparar as percepçõ
Externí odkaz:
https://doaj.org/article/e92f2ff6985141b9bf26ef8d95d6b023
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