solidot新版网站常见问题,请点击这里查看。

信息流

  •  

    JSON Feed

    05-18 Hacker News 69
  • BrianFagioli quotes a report from BetaNews: Amazon's tablets have needed a refresh for a while now, and today it happened. The company announced two newly updated models -- the Fire 7 ($49) and the Fire HD 8 ($79). They both feature Alexa support, of course, and are designed for a quality experience with all types of media, such as movies, music, and books. The 7-inch has a 1024 x 600 resolution, while the 8-inch variant has 1280 x 800. Best of all, they are extremely affordable. At these insanely low prices, you might expect anemic performance, but both come with a respectable Quad-core 1.3 GHz processor. The Fire 7 has 1GB of RAM, while the HD 8 has 1.5GB. Regardless of which model you select, you will also get both front and rear cameras. The low cost might make you think they will be cheaply made, but Amazon claims they are more durable than Apple's newest iPad.

    发表评论 查看更多 翻译此文

    收起

  • Google's Amazon Echo competitor is gradually becoming more capable.

    发表评论 查看更多 翻译此文

    收起

  • Pai praises Clinton, whose FCC enforced open networks and boosted competition.

    发表评论 查看更多 翻译此文

    收起

  • Introducing the TensorFlow Research Cloud

    发表评论 查看更多 翻译此文

    收起

  • A pair of new chips show that scaling up quantum devices looks increasingly plausible.

    发表评论 查看更多 翻译此文

    收起

  • Neural implants are all the rage in Silicon Valley. Now the well-known chip designer thinks its low-power processors could help make them a reality.

    发表评论 查看更多 翻译此文

    收起

  • LHC Micro Models: Build Your Own Particle Detector

    发表评论 查看更多 翻译此文

    收起

  • News came Tuesday afternoon that Maria Sharapova, the winner of five major tournaments in her long career, would not be offered one of two possible wild cards into the French Open, a tournament she has won twice. She was denied a wild card into the hundred-and-twenty-eight-woman main draw of the event, and she was denied a wild-card entry into the qualifying rounds, which begin in Paris, at Roland Garros, next week. Sharapova needed a wild card to play the French Open because her current ranking is not in the top two hundred, the cutoff to earn an invite to be a qualifier. Her ranking is outside the top two hundred because she has not been earning ranking points, having just returned to the women’s tour at the end of last month after serving a fifteen-month doping ban, which was originally meant to last two years but was reduced on appeal.

    发表评论 查看更多 翻译此文

    收起

  •  

    A Case of Stolen Source Code

    05-18 Hacker News 72

    A Case of Stolen Source Code

    发表评论 查看更多 翻译此文

    收起

  • An anonymous reader writes: A new report has revealed that VPN usage in the UK has increased with almost one in six people now using a VPN alongside their internet connection. According to YouGov's 'Incognito Individual' report, 16 percent of British adults have used either a VPN or proxy server. This up-tick in users trying a VPN was often the direct result of trying access region-locked content or websites. Of those surveyed, 48 percent of respondents admitted to using a VPN or a proxy to access content they would otherwise be unable to view. VPNs are often used by security conscious individuals who are concerned with their privacy and not having their browsing data logged. YouGov's report found that 44 percent of VPN users utilised such a service for better security and that 37 percent did so for improved privacy.

    发表评论 查看更多 翻译此文

    收起

  • Self-Hosted “SQL-Not-required” Data Analytics and BI Tool. Inspired by Looker

    发表评论 查看更多 翻译此文

    收起

  • Show HN: 3DC.io – A dead simple cross-platform 3D design tool

    发表评论 查看更多 翻译此文

    收起

  • ExtraTorrent, the world's second largest torrent index, on Wednesday said it is permanently shutting its doors. The site, which launched in 2006, had steadily climbed the ranks in the piracy world to become the second most popular torrent site, observing millions of daily views. TorrentFreak adds: "ExtraTorrent with all mirrors goes offline.. We permanently erase all data. Stay away from fake ExtraTorrent websites and clones. Thx to all ET supporters and torrent community. ET was a place to beâ¦." TorrentFreak reached out to ExtraTorrent operator SaM who confirmed that this is indeed the end of the road for the site. "It's time we say goodbye," he said, without providing more details. [...] ExtraTorrent is the latest in a series of BitTorrent giants to fall in recent months. Previously, sites including KickassTorrents, Torrentz.eu, TorrentHound and What.cd went offline.

    发表评论 查看更多 翻译此文

    收起

  •  

    Open sourcing the Firebase SDKs

    05-18 Hacker News 72

    Open sourcing the Firebase SDKs

    发表评论 查看更多 翻译此文

    收起

  • “You have to be your own mechanic.”

    发表评论 查看更多 翻译此文

    收起

  • Show HN: Goka – distributed stream processing library for Kafka written in Go

    发表评论 查看更多 翻译此文

    收起

  • An anonymous reader quotes a report from Digital Trends: Comcast already pipes internet into millions of homes, and now it wants to take its service to the airwaves. In April, the media giant announced the details of a new service, Xfinity Mobile, that will compete toe-to-toe with Google Fi, US Cellular, and incumbents like AT&T and T-Mobile. Now it appears the company is in the initial stages of launching the service nationwide. If you're already an Xfinity subscriber, you can head to the company's new mobile website now to get started. The service is available in all markets in which Comcast already operates. Xfinity Mobile features an unlimited data, talk, and text plan starting at $65 a month for up to five lines ($45 per line for customers with Comcast's top X1 TV packages), or $12 per GB a month a la carte. The unlimited option has been reduced to $45 a month through July 31 for the network's first customers. A combination of Comcast's 16 million Wi-Fi hot spots and Verizon's

    发表评论 查看更多 翻译此文

    收起

  • Nim Programming Language v0.17.0 released

    发表评论 查看更多 翻译此文

    收起

  •  

    Google.ai

    05-18 Hacker News 71
  • An anonymous reader writes: "Tens of thousands" of Peruvians have been getting online using Project Loon, the ambitious connectivity project from Google's parent company, Alphabet. Project Loon uses tennis court-sized balloons carrying a small box of equipment to beam internet access to a wide area below. The team told the BBC they had been testing the system in Peru when serious floods hit in January, and so the technology was opened up to people living in three badly-hit cities. Until now, only small-scale tests of the technology had taken place. Project Loon is in competition with other attempts to provide internet from the skies, including Facebook's Aquila project which is being worked on in the UK. Project Loon recently announced it had figured out how to use artificial intelligence (AI) to "steer" the balloons by raising or lowering them to piggy-back weather streams. It was this discovery that enabled the company to use just a "handful" of balloons to connect people in Lima, Ch

    发表评论 查看更多 翻译此文

    收起

  • At Google's developer conference IO 2017, CEO Sundar Pichai said Android is now running on more than two billion active devices. The milestone, Pichai said, Google achieved this month. CNET adds: It took three years for Android to double its user base, having disclosed that it had 1 billion active devices at its developer conference in 2014. In 2015, Google said that it had 1.4 billion active users on Android. While phones make up a bulk of its devices, it's starting to see a proliferation of other gadgets running on the software.

    发表评论 查看更多 翻译此文

    收起

  • In addition to Java and C++, Google announced at its I/O 2017 conference today that Android is gaining official support for the Kotlin programming language. VentureBeat reports: Kotlin is developed by JetBrains, the same people who created IntelliJ. Google describes Kotlin, which is an open sourced project under the Apache 2.0 license, as "a brilliantly designed, mature language that we believe will make Android development faster and more fun." The company notes that some have already adopted the programming language for their production apps, including Expedia, Flipboard, Pinterest, and Square. There are already many enthusiastic Kotlin developers for Android, and the company says it is simply listening to what the community wants. But Google's choice didn't just come down to the team believing Kotlin will make writing Android apps easier. Developers will be happy to know that Kotlin's compiler emits Java byte-code. Kotlin can call Java, and Java can call Kotlin. Indeed, "the effortl

    发表评论 查看更多 翻译此文

    收起

  •  

    Android O Beta Program

    05-18 Hacker News 72

    Android O Beta Program

    发表评论 查看更多 翻译此文

    收起

  •  

    Android now supports Kotlin

    05-18 Hacker News 71

    Android now supports Kotlin

    发表评论 查看更多 翻译此文

    收起

  • This omnidirectional eight-rotor drone flies like no other aircraft

    发表评论 查看更多 翻译此文

    收起

  •  

    Can You Copyright a Joke?

    05-18 Slashdot 54

    Reader AnalogDiehard writes: Writer Alex Kaseburg has filed a lawsuit against TBS and Time Warner alleging that jokes recited on the Conan O'Brien show were stolen from his blog shortly after they were published. The case gets heard in August and could create new protections in a legal forum in which there is little precedent or clear definition in what defines a joke as "original" and subject to legal protection, especially in an industry where theft of humor occurs on a regular basis. But the outcome of any judicial decision opens a big can of worms and raises serious questions: Will YouTube videos get shut down from DMCA notices citing copyrighted jokes? Will compliance staff have to be retained to ensure that their magazine or news article, TV show, movie, or broadway act is not infringing on copyrighted jokes? Will copyrights on jokes get near-perpetual protection like the controversial Sonny Bono Copyright Extension Act? Will people be able to recite limericks without fear of inf

    发表评论 查看更多 翻译此文

    收起

  • Spawn items and enemies whenever and wherever you want with this code.

    发表评论 查看更多 翻译此文

    收起

  • At the next Ars Live, Tested.com’s Norman Chan talks about crazy tech experiments.

    发表评论 查看更多 翻译此文

    收起

  • Apache Allura, open source Git manager with discussions, wikis, blogs, and more

    发表评论 查看更多 翻译此文

    收起

  • Commercial ventures in artificial photosynthesis have struggled but the science is marching on

    发表评论 查看更多 翻译此文

    收起

  • WaPo confirms long-held suspicions as NSA cyberweapons crisis threatens to grow worse.

    发表评论 查看更多 翻译此文

    收起

  • Available for newer Pixel and Nexus devices, final version will be out this fall.

    发表评论 查看更多 翻译此文

    收起

  • Oft-delayed series comes to CBS All Access this fall.

    发表评论 查看更多 翻译此文

    收起

  • Up to 256 chips can be joined together for 11.5 petaflops of machine-learning power.

    发表评论 查看更多 翻译此文

    收起

  • Also: New “visual position system” is an AR Google Maps for indoors.

    发表评论 查看更多 翻译此文

    收起

  • Google's mission is to steer people to the information they need in their daily lives. One crucial area the Internet giant says could use some work: Jobs. USA Today adds: So Google is launching a new feature, Google for Jobs, that collects and organizes millions of job postings from all over the web to make them easier for job seekers to find. In coming weeks, a Google search for a cashier job in Des Moines or a software engineering gig in Boise will pop up job openings at the top of search results. With Google for Jobs, job hunters will be able to explore the listings across experience and wage levels by industry, category and location, refining these searches to find full or part-time roles or accessibility to public transportation. Google is determined to crack the code on matching available jobs with the right candidates, CEO Sundar Pichai said during his keynote address Wednesday at Google's annual I/O conference for software developers here. "The challenge of connecting job seeke

    发表评论 查看更多 翻译此文

    收起

  • At its developer conference, Google unveiled Android Go, a project wherein Google will offer a version of Android that runs swiftly on budget, low-specced smartphones. With the new strategy, Google hopes to further improve the low-budget smartphone ecosystem in developing markets. Android Go will be focused around building a version of Android for phones with less memory, with the System UI and kernel able to run with as little as 512MB of memory. Apps will be optimized for low bandwidth and memory, with a version of Play Store designed for those markets that will highlight these apps. From a report: Another feature of Android Go will be data management. Android Go will let you easily see your data usage, and thanks to carrier integration, it'll also let you top-up with more data right on your device.

    发表评论 查看更多 翻译此文

    收起

  • The new chip and a cloud-based machine-learning supercomputer will help Google establish itself as an AI-focused hardware maker.

    发表评论 查看更多 翻译此文

    收起

  • What flower are you snapping a photo of? Google can tell you that.

    发表评论 查看更多 翻译此文

    收起

  •  

    Google I/O 2017

    05-18 Hacker News 73

    Google I/O 2017

    发表评论 查看更多 翻译此文

    收起

  • Google has announced several news features for Google Home to help it better compete against the Amazon Echo. The six new features coming to Google Home include: notifications, free calling to phones in the U.S. and Canada, calendar and reminders, more streaming services, a TV interface, and new locations. The Verge details each feature in its report: Notifications: Google calls this feature "proactive assistance." Essentially, Google Home will do its best to alert owners to things they need to know, like reminders, traffic alerts, or flight delays. Free Calling To Phones In U.S. and Canada: Google is one-upping Amazon by letting the Home dial out to actual landline and mobile phones. Whenever this feature rolls out, you'll be able to ask the Home to call anyone on your contacts list, and it'll dial out to them on a private number. Calendar and Reminders: You can finally set reminders and calendar entries. Finally. More Streaming Services: Google Home has already been able to contro

    发表评论 查看更多 翻译此文

    收起

  • Further hardening glibc malloc() against single byte overflows

    发表评论 查看更多 翻译此文

    收起

  • Apple has successfully completed its first trial run assembly of the iPhone SE in India, reports The Wall Street Journal. "We are beginning initial production of a small number of iPhone SE in Bengaluru," Apple said in a statement to TechCrunch. "iPhone SE is the most popular and powerful phone with a four-inch display in the world and we'll begin shipping to domestic customers this month." From the report: The four-inch SE is Apple's least expensive model, running $399 in the States. Some retailers in the country have managed to undercut the cost, lower the entry level price of the handset by around $80 -- but even at that price, it's still substantially more expensive than most. In spite of its relatively low pricing, the SE doesn't appear to have made quite the splash Apple was initially anticipating in the country. Apple has long been working to move production to the country, hoping, in part, to retake some of the market it has lost in China in recent years, as domestic handset sa

    发表评论 查看更多 翻译此文

    收起

  • Human physiology changes with age in the same way as the behavior of nematode worms. Understanding why could be a crucial clue for the science of aging.

    发表评论 查看更多 翻译此文

    收起

  • The same exploits that enabled WannaCry to spread globally have been in use in another malware attack since April, making far more money in the process.

    发表评论 查看更多 翻译此文

    收起

  • Security updates have been issued by Debian (shadow), Fedora (rpcbind), Gentoo (gst-plugins-bad and tomcat), Red Hat (ansible and openshift-ansible, openstack-heat, and Red Hat OpenStack Platform director), and Ubuntu (bash, FreeType, linux-aws, linux-gke, linux-raspi2, linux-snapdragon, and linux-lts-xenial).

    发表评论 查看更多 翻译此文

    收起

  • Forgot to share photos of your party with friends? Google Photos will help.

    发表评论 查看更多 翻译此文

    收起

  •  

    Patching the Electric Grid

    05-18 MIT Technology 6

    Our electric supply is increasingly vulnerable to cyberattack, and new technologies aim to sound the alarm earlier.

    发表评论 查看更多 翻译此文

    收起

  • The Android Developers blog looks at the latest Android O Developer Preview, which is now in public beta. The developer preview also contains an early version of a project called Android Go which is built specifically for Android devices that have 1GB or less of memory.

    发表评论 查看更多 翻译此文

    收起

  • Android Go extends and continues past efforts to reduce resource usage.

    发表评论 查看更多 翻译此文

    收起

  • A virulent ransomware worm attacked a wide swath of Windows machines worldwide in mid-May. The malware, known as Wcry, Wanna, or WannaCry, infected a number of systems at high-profile organizations as well as striking at critical pieces of the infrastructure—like hospitals, banks, and train stations. While the threat seems to have largely abated—for now—the origin of some of its code, which is apparently the US National Security Agency (NSA), should give one pause.

    发表评论 查看更多 翻译此文

    收起

  • On April 29, Al Viro posted a patch on the linux-api mailing list adding a new flag to be used in conjunction with the ...at() family of system calls. The flag is for containing pathname resolution to the same filesystem and subtree as the given starting point. This is a useful feature to have for implementing file I/O in programs that accept pathnames as untrusted user input. The ensuing discussion made it clear that there were multiple use cases for such a feature, especially if the granularity of its restrictions could be increased.

    发表评论 查看更多 翻译此文

    收起

  •  

    Where Have All the Insects Gone?

    05-18 Slashdot 57

    Entomologists have been assessing diversity and abundance across western Germany and have found that between 1989 and 2013 the biomass of invertebrates caught had fallen by nearly 80 percent. From an article on Science magazine: Scientists have tracked alarming declines in domesticated honey bees, monarch butterflies, and lightning bugs. But few have paid attention to the moths, hover flies, beetles, and countless other insects that buzz and flitter through the warm months. "We have a pretty good track record of ignoring most noncharismatic species," which most insects are, says Joe Nocera, an ecologist at the University of New Brunswick in Canada. [...] A new set of long-term data is coming to light, this time from a dedicated group of mostly amateur entomologists who have tracked insect abundance at more than 100 nature reserves in western Europe since the 1980s. Over that time the group, the Krefeld Entomological Society, has seen the yearly insect catches fluctuate, as expected. Bu

    发表评论 查看更多 翻译此文

    收起

  •  

    [$] IPv6 segment routing

    05-18 LWN 54

    In November 2016, a new networking feature, IPv6 segment routing (also known as "IPv6 SR" or "SRv6"), was merged into net-next and subsequently included in Linux 4.10. In this article, we explain this new feature, describe key elements of its implementation, and present a few performance measurements.

    发表评论 查看更多 翻译此文

    收起

  •  

    Why Kotlin Is Better

    05-18 Hacker News 68

    Why Kotlin Is Better

    发表评论 查看更多 翻译此文

    收起

  • An anonymous reader quotes a report from Washington Post: Federal regulators will move to roll back one of the Obama administration's signature Internet policies this week, launching a process to repeal the government's net neutrality rules that currently regulate how Internet providers may treat websites and their own customers. The vote on Thursday, led by Federal Communications Commission Chairman Ajit Pai, will kick off consideration of a proposal to relax regulations on companies such as Comcast and AT&T. If approved by the 2-1 Republican-majority commission, it will be a significant step for the broadband industry as it seeks more leeway under government rules to develop new business models. For consumer advocates and tech companies, it will be a setback; those groups argue that looser regulations won't prevent those business models from harming Internet users and website owners. The current rules force Internet providers to behave much like their cousins in the legacy teleph

    发表评论 查看更多 翻译此文

    收起

  •  

    Verbling is hiring a VP of Sales

    05-18 Hacker News 69

    Verbling is hiring a VP of Sales

    发表评论 查看更多 翻译此文

    收起

  • AI software that can help make AI software could accelerate progress on making computers smarter.

    发表评论 查看更多 翻译此文

    收起

  •  

    Transform Data by Example

    05-18 Hacker News 71

    Transform Data by Example

    发表评论 查看更多 翻译此文

    收起

  • UH Researchers Report New, More Efficient Catalyst for Water Splitting

    发表评论 查看更多 翻译此文

    收起

  • The LWN.net Weekly Edition for May 18, 2017 is available.

    发表评论 查看更多 翻译此文

    收起

  • To some it’s “auto-worker heaven,” while others say they’re operating in “working conditions of the past.”

    发表评论 查看更多 翻译此文

    收起

  •  

    The Google Assistant comes to iOS

    05-18 Ars Technica 56

    New standalone Google Assistant app has voice command interface.

    发表评论 查看更多 翻译此文

    收起

  •  

    US Household Debt Surpasses 2008 High

    05-18 Hacker News 75

    US Household Debt Surpasses 2008 High

    发表评论 查看更多 翻译此文

    收起

  • The effect is small, but it points to older doctors losing their edge.

    发表评论 查看更多 翻译此文

    收起

  • An anonymous reader writes: Amazon is going to start shipping TV sets powered by the company's own smart TV operating system soon: The company began listing Element's Fire TV Edition TV sets for pre-order Tuesday, and is expected to start shipping them next month, when the devices will also reach other retailers. Amazon and Element as well as Element's sister company Westinghouse first announced Fire TV-based TV sets at CES in Las Vegas earlier this year. Now, the companies shared a number of additional details, including pricing. Element's 43-inch Fire TV Edition will retail for $449. A 50-inch model and a 55-inch model will cost $549 and $649, respectively, and a $65-inch model will retail for $899. Each of these devices support 4K video, and pack a quad-core processor, 4GB of RAM and 16GB of internal storage for apps -- beefed-up specs that won't just guarantee smooth app performance and streaming, according to Amazon's VP of Smart TVs Sandeep Gupta, but are also meant to future-pro

    发表评论 查看更多 翻译此文

    收起

  • A proposal to move Gnome to GitLab

    发表评论 查看更多 翻译此文

    收起

  • MojoKid writes: Today, at its financial analyst day, AMD lifted the veil on a number of new products based on the company's Zen CPU architecture and next generation Vega GPU architecture. AMD CEO Lisa Su lifted a very large server chip in the air that the company now has branded EPYC. AMD is going for the jugular when it comes to comparisons with Intel's Xeon family, providing up to 128 PCI Express 3.0 lanes, which Su says "allows you to connect more GPUs directly to the CPU than any other solution in the industry." EPYC currently scales to 32 cores/64 threads per socket and supports up to 8-channel DDR4 memory (16 DIMMs per CPU, up to 4TB total memory support). AMD also confirmed the previously rumored Threadripper CPU, a 16-core/32-thread beast of a chip for the enthusiast desktop PC space. AMD's Raja Koduri, Senior Vice President and Chief Architect for Radeon Technologies Group, also unveiled Radeon Vega Frontier Edition, a workstation and pro graphics card targeted at VR content c

    发表评论 查看更多 翻译此文

    收起

  • Stanford University economist Tony Seba forecasts in his new report that petrol or diesel cars, buses, or trucks will no longer be sold anywhere in the world within the next eight years. As a result, the transportation market will transition and switch entirely to electrification, "leading to a collapse of oil prices and the demise of the petroleum industry as we have known it for a century," reports Financial Post. From the report: Seba's premise is that people will stop driving altogether. They will switch en masse to self-drive electric vehicles (EVs) that are ten times cheaper to run than fossil-based cars, with a near-zero marginal cost of fuel and an expected lifespan of 1 million miles. Only nostalgics will cling to the old habit of car ownership. The rest will adapt to vehicles on demand. It will become harder to find a petrol station, spares, or anybody to fix the 2,000 moving parts that bedevil the internal combustion engine. Dealers will disappear by 2024. Cities will ban hu

    发表评论 查看更多 翻译此文

    收起

  • AMD Unveils “EPYC” CPUs Featuring Up to 32 Cores and 64 Threads for the Datacenter

    发表评论 查看更多 翻译此文

    收起

  • A general vanishing result for the first cohomology group of affine smooth complex varieties with values in rank one local systems is established. This is applied to the determination of the monodromy action on the first cohomology group of the Milnor fiber of some line arrangements, including the monomial arrangement and the exceptional reflection arrangement of type $G_{31}$.

    发表评论 查看更多 翻译此文

    收起

  • We will prove a reverse Rogers-Shephard inequality for log-concave functions. In some particular cases, the method used for general log-concave functions can be slightly improved, allowing us to prove volume estimates for polars of $\ell_p$-diferences of convex bodies whose polar bodies under some condition on the barycenter of their polar bodies.

    发表评论 查看更多 翻译此文

    收起

  • Tautological classes, or generalised Miller-Morita-Mumford classes, are basic characteristic classes of smooth fibre bundles, and have recently been used to describe the rational cohomology of classifying spaces of diffeomorphism groups for several types of manifolds. We show that rationally tautological classes depend only on the underlying topological block bundle, and use this to prove the vanishing of tautological classes for many bundles with fibre an aspherical manifold.

    发表评论 查看更多 翻译此文

    收起

  • In this paper, we construct an equivariant coarse homology theory with values in the category of non-commutative motives of Blumberg, Gepner and Tabuada, with coefficients in any small additive category. Equivariant coarse K-theory is obtained from the latter by passing to global sections. The present construction extends joint work of the first named author with Engel, Kasprowski and Winges by promoting codomain of the equivariant coarse K-homology functor to non-commutative motives.

    发表评论 查看更多 翻译此文

    收起

  • It is generally argued that the solution to a stochastic PDE with multiplicative noise---such as $\dot{u}=\frac12 u"+u\xi$, where $\xi$ denotes space-time white noise---routinely produces exceptionally-large peaks that are "macroscopically multifractal." See, for example, Gibbon and Doering (2005), Gibbon and Titi (2005), and Zimmermann et al (2000). A few years ago, we proved that the spatial peaks of the solution to the mentioned stochastic PDE indeed form a random multifractal in the macroscopic sense of Barlow and Taylor (1989; 1992). The main result of the present paper is a proof of a rigorous formulation of the assertion that the spatio-temporal peaks of the solution form infinitely-many different multifractals on infinitely-many different scales, which we sometimes refer to as "stretch factors." A simpler, though still complex, such structure is shown to also exist for the constant-coefficient version of the said stochastic PDE.

    发表评论 查看更多 翻译此文

    收起

  • In this paper, we give some low-dimensional examples of local cocycle 3-Lie bialgebras and double construction 3-Lie bialgebras which were introduced in the study of the classical Yang-Baxter equation and Manin triples for 3-Lie algebras. We give an explicit and practical formula to compute the skew-symmetric solutions of the 3-Lie classical Yang-Baxter equation (CYBE). As an illustration, we obtain all skew-symmetric solutions of the 3-Lie CYBE in complex 3-Lie algebras of dimension 3 and 4 and then the induced local cocycle 3-Lie bialgebras. On the other hand, we classify the double construction 3-Lie bialgebras for complex 3-Lie algebras in dimensions 3 and 4 and then give the corresponding 8-dimensional pseudo-metric 3-Lie algebras.

    发表评论 查看更多 翻译此文

    收起

  • Bell, Canada's largest telecommunications company, said a hacker had accessed customer information containing about 1.9 million active email addresses and about 1,700 names and active phone numbers. The breach was not connected to the recent global WannaCry malware attacks, the company added. From a report: The information appears to have been posted online, but the company could not confirm the leaked data was one and the same. "There is no indication that any financial, password or other sensitive personal information was accessed," the company wrote in a statement. Bell said the incident was unrelated to the massive spike in ransomware infections that affected an estimated 200,000 computers in more than 150 countries late last week. It is not clear when the breach occurred, how the data was accessed, or how long the attacker had access to Bell's systems.

    发表评论 查看更多 翻译此文

    收起

  • Modal description logics feature modalities that capture dependence of knowledge on parameters such as time, place, or the information state of agents. E.g., the logic S5-ALC combines the standard description logic ALC with an S5-modality that can be understood as an epistemic operator or as representing (undirected) change. This logic embeds into a corresponding modal first-order logic S5-FOL. We prove a modal characterization theorem for this embedding, in analogy to results by van Benthem and Rosen relating ALC to standard first-order logic: We show that S5-ALC with only local roles is, both over finite and over unrestricted models, precisely the bisimulation invariant fragment of S5-FOL, thus giving an exact description of the expressive power of S5-ALC with only local roles.

    发表评论 查看更多 翻译此文

    收起

  • Letters $x$ and $y$ alternate in a word $w$ if after deleting in $w$ all letters but the copies of $x$ and $y$ we either obtain a word $xyxy\cdots$ (of even or odd length) or a word $yxyx\cdots$ (of even or odd length). A graph $G=(V,E)$ is word-representable if and only if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy\in E$. Word-representable graphs generalize several important classes of graphs such as circle graphs, $3$-colorable graphs and comparability graphs. This paper offers a comprehensive introduction to the theory of word-representable graphs including the most recent developments in the area.

    发表评论 查看更多 翻译此文

    收起